胡元闯
- 作品数:16 被引量:14H指数:3
- 供职机构:贺州学院更多>>
- 发文基金:广西壮族自治区自然科学基金国家自然科学基金广西青年科学基金更多>>
- 相关领域:自动化与计算机技术文化科学经济管理电子电信更多>>
- 模型检测中状态爆炸及其优化策略研究
- 模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到了广泛的应用,其主要缺陷是状态爆炸问题。阐述了模型检测的基本思想和相关理论,给出一些处理状态爆炸问题的优化技术,并与其它...
- 王飞明胡元闯董荣胜
- 关键词:时态逻辑
- 基于信息素机制的Ad Hoc网络安全路由协议
- 2010年
- 研究无线网络性能问题,针对Ad Hoc网络比较容易遭受恶意节点攻击的特点,基于群体智能算法,为防止攻击,提高网络安全性能,提出了一种基于信息素机制的安全多路路由方案。方案考虑了节点局部信息,根据多路路由中的吞吐量特性,通过周期性传输的BANTs对路由信息素值进行更新,信息素值及节点局部信息进行路由决策,建立了相应的多路路由传输模型及其攻击模型。使用NS-2对方案的模型进行仿真验证,结果表明,该方案能够较好保持分组投递率,有效地避开包含恶意节点的路由,提高了网络的安全性。
- 胡元闯董荣胜王飞明刘建明
- 关键词:群体智能算法恶意节点信息素安全路由协议
- WebQuest-Classroom教学模式在UML教学中的探索被引量:1
- 2014年
- 针对WebQuest教学模式在应用型课程教学中的优势和不足,提出一种WebQuest教学模式与传统课堂教学模式相整合的教学模式(WebQuest-Classroom),该教学模式既发挥WebQuest教学模式在调动学习兴趣、培养创新精神、注重实践能力等方面的优点,也发挥课堂教学在注重认知结构、重视基本思想方法等方面的优点。
- 张波胡元闯
- 关键词:UMLWEBQUEST建构主义
- 基于半实物仿真的采摘机器人视觉定位研究被引量:4
- 2017年
- 针对基于实物采摘机器人的视觉定位的准确度、稳定性以及试验验证易出错、周期长、不易于室内进行等问题,结合采摘机器人视觉定位机理和机器人运动学,提出了一种基于半实物仿真技术的采摘机器人视觉定位研究方法。该方法采用虚拟采摘机器人代替实物机器人,在虚拟仿真环境下对水果目标采摘点进行定位研究,即视觉定位半实物仿真。试验结果表明:在视觉定位半实物仿真环境下,水果目标定位的平均绝对误差和相对误差分别仅约为2.89 mm和0.43%,满足实际视觉定位精度的要求,从而验证了该仿真方法的有效性和可行性。
- 陈科尹邹湘军彭红星梁海英胡元闯
- 关键词:采摘机器人视觉定位机器人运动学半实物仿真
- 基于思科模拟器的高校机房网络安全性研究
- 2016年
- 文章通过在思科模拟器Cisco PT6.1.1上给出了高校机房VLAN典型的划分方法,根据实际应用通过二层交换机VLAN进行的灵活划分,让同一VLAN可以自由通信数据,通过对三层交换机的不同配置方法,实现了不同的VLAN间的数据通信,并通过测试验证。结果表明,给出的方案可以提高网络带宽利用率,减少碰撞,提高网络的灵活性,增强了网络的安全性。
- 胡元闯千文朱建锋
- 关键词:网络安全虚拟局域网三层交换机高校机房网络安全性
- 基于WebGIS的三维智慧校园系统架构研究
- 2017年
- 随着信息技术、云计算、物联网、GIS等技术的不断完善,互联网覆盖和网络速度的快速发展,使得智慧校园信息化建设成为必然趋势和重要目标。本文首先介绍了智慧校园、Web GIS、三维可视化、物联网、360度全景等技术,提出建立融合多数据的智慧校园系统,通过Arc GIS Server数据发布平台,使用Arc GIS Server.Net Web ADF组件库实现Web端的三维数据显示,并设计了系统的整体结构,把GIS的空间优势和智能化校园结合实现三维智慧校园的开发提供整体思路,为实现功能提供参考。
- 王凤领梁海英何顺胡元闯孙全亮赵方珍
- 关键词:智慧校园WEBGIS三维可视化
- 模型检测研究进展被引量:5
- 2008年
- 阐述模型检测的基本思想和工作方式,介绍二叉决策图、符号模型检测、偏序规约等几种在模型检测中抑制状态爆炸的优化技术,并分析模型检测在应用上的优势,最后展望模型检测今后的研究热点。
- 王飞明胡元闯董荣胜
- 关键词:时态逻辑
- 基于信息素机制的Ad Hoc网络路由协议及其应用研究
- Ad Hoc网络是一种没有中心节点、无需固定基础设施的多跳无线网络,网络中节点的资源(能量、内存、带宽等)受限,在不少情况下,Ad Hoc网络中的节点能量较难得到补充。另外,由于Ad Hoc网络固有的特点,其安全性较差,...
- 胡元闯
- 关键词:路由协议群体智能算法
- 文献传递
- 一种基于FPGA图像采集的水印处理装置
- 本实用新型公开了一种基于FPGA图像采集的水印处理装置,包括底座和控制系统,所述底座的上表面固定连接有伸缩装置,所述伸缩装置的顶端固定连接有U型卡板,所述U型卡板上表面的一侧固定连接有金属软管,所述U型卡板上表面的另一侧...
- 何顺凌永发莫达隆姚剑波谭晓东胡元闯
- 基于时间扩展的Web服务模型检测
- 2017年
- 由于传统的形式化方法不能保证带时间约束的组合Web服务安全可靠地运行,为了有效地分析并确保带时间约束的组合Web服务的正确性,利用时间自动机验证工具UPPAAL将带时间约束的组合Web服务的每个原子服务建立自动机模型,给出ASEHA语义描述,并用模拟器模拟带时间约束的Web服务的运行过程,对带有时间约束的Web服务的属性进行分析。最后,以旅行预订票组合系统为例,验证其死锁、活性和安全性。实例证明此方法有效。
- 王雪红刘柯威陈冠萍胡元闯
- 关键词:WEB服务UPPAAL