吴名欢

作品数：12被引量：41H指数：4
导出分析报告
供职机构：桂林理工大学更多>>
发文主题：形式化分析通信顺序进程物联网计算机网络网络仿真更多>>
发文领域：自动化与计算机技术电子电信文化科学金属学及工艺更多>>
发文期刊：《计算机应用研究》《计算机时代》《计算机仿真》《广西科学院学报》更多>>
所获基金：国家自然科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
嵌入式通信系统远程高速数据准确识别仿真被引量：6
《计算机仿真》2018年第11期362-365,共4页蒋小华 张飙 吴名欢 
广西"嵌入式技术与智能系统"重点实验室(培育基地)开放基金(2016214);广西高等学校资助项目(KY2015YB120)
针对当前方法进行远程高速数据准确识别时,存在着数据识别执行时间过长、能量消耗较大、识别率较低等问题。提出基于交叉信息的远程高速数据识别方法。通过对远程高速数据进行分析,得到数据增幅预警值,以此构建远程数据通信传输模型,利...
关键词：通信系统 数据识别 决策树 
利用CSP方法对IEEE 802.11w形式化分析被引量：1
《计算机应用研究》2015年第5期1489-1492,1502,共5页吴名欢 程小辉 李雄伟 
国家自然科学基金资助项目(61262075);广西高等学校资助项目(KY2015YB120);广西高等学校重大科研基金资助项目(201201ZD012)
运行在IEEE 802.11i基础上的IEEE 802.11w增加了对无线网络管理帧的保护,针对IEEE 802.11w协议的安全性问题,利用了通信顺序进程(CSP)对其进行形式化分析。对协议运行在恶意环境中,存在攻击者的情况下,利用CSP方法建立了攻击者和协议主...
关键词：无线网络 形式化分析 故障发散改进器 通信顺序进程 
Casper/FDR和串空间在物联网通信协议中的形式化分析被引量：4
《桂林理工大学学报》2014年第2期338-344,共7页吴名欢 程小辉 
国家自然科学基金项目(61262075);广西高等学校重大科研项目(20120120012)
通过应用实例研究了如何用Casper/FDR和串空间两种分析方法对通信协议进行形式化分析:用Casper/FDR对协议的有穷状态进行穷举验证,当发现协议漏洞时会自动给出攻击的迹,但是此方法会产生状态爆炸的问题;串空间方法正好可以解决状态爆炸...
关键词：CASPER FDR 协议形式化分析方法 串空间 
基于CSP的物联网David数字图书馆协议的改进与形式化分析被引量：2
《计算机科学》2014年第1期225-229,270,共6页吴名欢 程小辉 
国家自然基金项目(61262075);广西高等学校重大科研项目(20120120012);广西教育厅项目(201010LX192)资助
在分析了物联网通信节点使用的David数字图书馆通信协议运行的基础上,指出了此协议存在阅读器非法扫描标签和协议主体没有会话密钥的安全隐患,提出了解决安全隐患的方案。采用通信顺序进程(CSP)的形式化分析方法对提出的方案进行了建模...
关键词：物联网 形式化分析 David数字图书馆协议 通信顺序进程 
物联网中安全通信协议的形式化分析被引量：6
《桂林理工大学学报》2013年第2期333-338,共6页吴名欢 程小辉 
国家自然科学基金项目(61262075);广西高校重大科研项目(201201ZD012);广西矿冶与环境科学实验中心资助项目(KH2011YB006)
针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析。该通信协议对传送的信息进行加...
关键词：物联网 形式化分析 安全协议 通信顺序进程 
计算机网络实习教学中网络仿真技术的应用与实践
《广西科学院学报》2010年第4期538-540,共3页吴名欢 
广西教育厅项目(201010LX192)资助
结合梅里尔教学原理,在计算机网络实习教学中引入网络仿真技术,解决传统实习教学中存在网络实习教学设备不完善、更新不及时等问题,提高了计算机网络实习教学效果,丰富了教学手段。
关键词：网络实习 网络仿真 教学 改革 
网络仿真在计算机网络教学中的应用研究被引量：6
《桂林航天工业高等专科学校学报》2010年第3期315-316,共2页吴名欢 刘迪迪 
文章分析了计算机网络教学现状和网络仿真技术基础,探讨了网络仿真技术应用到计算机网络教学中产生的作用;重点用实例论述了网络仿真技术与计算机网络教学相结合后老师提高的教学效果,丰富了教学手段,学生拓宽了视野,激发了对计算机网...
关键词：计算机网络 网络仿真 PACKET TRACER 
CNC插补算法的VHDL建模设计与实现
《计算机时代》2009年第9期37-39,共3页刘迪迪 吴名欢 
数控机床加工的零件轮廓一般都可以用直线或圆弧去逼近。插补计算是数控系统根据输入的基本数据,描述工件轮廓的一种技术。文章针对硬件电路实现插补运算柔性差和精度低的缺陷,探索了一种以软IP实现插补运算的思路。并以较常用的逐点比...
关键词：逐点比较 插补算法 VHDL建模 软IP 
校园网络方案设计仿真被引量：1
《计算机与信息技术》2009年第4期74-76,共3页吴名欢 蒋小华 
本文介绍了网络仿真技术现状、发展趋势,探讨了基于Packet Tracer仿真软件的网络仿真过程。分析了校园网络设计方案中涉及的关键技术。重点论述了利用Packet Tracer实现校园网络设计方案的详细步骤和过程。
关键词：校园网络 仿真 PACKET TRACER 
单片机波形发生器的设计被引量：4
《桂林航天工业高等专科学校学报》2008年第2期38-40,共3页蒋小华 吴名欢 王文成 
该波形发生器能产生正弦波、方波、三角波和锯齿波,波形为双极性,频率和幅值可由键盘设定,频率在0~8kHz范围内可任意设定,并可按步进120μs调整,幅值在-5^+5V范围内可任意设定,并可按步进0.04V调整。该波形发生器基于AT89S51单片机,由D/...
关键词：波形发生器 单片机 D/A转换 正弦波 双极性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部