许明
- 作品数：6 被引量：7H指数：1
- 供职机构：厦门理工学院更多>>
- 发文基金：厦门市科技计划项目福建省教育厅A类人文社科/科技研究项目福建省教育厅科技项目更多>>
- 相关领域：自动化与计算机技术兵器科学与技术军事电子电信更多>>
- MPLS-VPN环境中数据安全隐患分析与防护
- 2015年
- 通过对MPLS-VPN网络环境进行分析,得出MPLS VPN环境中数据传输存在的安全隐患,针对安全隐患分析提出路由间认证、安全审计、Ipsec数据加密、冗余链路解决方案和措施。对网络环境防护前后进行对比得出MPLS-VPN的应用特点。
- 许明陈剑清
- 关键词：MPLSVPN安全隐患
- 融合A*和Bresenham的游戏路径规划算法设计与实现被引量：1
- 2013年
- 网络游戏中角色的路径规划一直是网络游戏研究领域的难点问题。寻路算法的优劣能最大程度地影响网络游戏的智能性和可玩性。针对游戏中路径搜索的特点,在对一般搜索算法和启发式搜索技术进行详细分析与研究的基础上,通过对传统的A*算法中的估价函数进行加权修正,并与Bresenham算法相结合后,有效地提高路径搜索的效率。实验结果表明,本算法不论在扩展的节点数,搜索的次数,消耗的时间等方面取得更好的效果,同时智能性也得到了较大的提高。
- 钟瑛许明
- 关键词：BRESENHAM
- 用Python实现从XMI到SMV的程序转换器
- 2014年
- 在使用NuSMV模型检验工具时,常常先使用UML的状态图对系统进行行为建模,然后再使用NuSMV输入语言的语法描述该模型,这个过程繁琐,有时会出现人为的转换错误.为此,设计了XMI2SMV代码转换器,并用Python编程语言实现了这个工具,降低了模型检验工具的使用难度.
- 许明开金宇
- 关键词：PYTHONXMI
- 反应式软件形式化系统研究系统分析被引量：1
- 2014年
- 从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件系统理论描述方面的应用进行总结,为形式化方法在更广泛的软件系统特定理论应用理清了思路.
- 许明开金宇肖蕾
- 关键词：形式化方法形式化语言
- 四大导航系统在舰船作战系统中的应用被引量：5
- 2019年
- 军事舰船在海上执行任务时,为了获取侦测目标的准确信息,需要借助导航系统实现航行线路的规划和目标的定位。本文介绍了全球范围内最为常用的4种导航系统:GPS导航系统、北斗卫星导航系统、伽利略导航系统和格洛纳斯(GLONASS)全球卫星导航系统,重点介绍了北斗卫星导航系统和GPS导航系统的原理,并基于成熟的导航技术,研究了舰船作战系统中导航系统的信息融合问题,开发了一种基于卡尔曼滤波算法的舰船组合导航系统的信息融合技术。试验表明,本文研究了舰船作战系统的导航信息融合技术可以提升侦察目标的准确度,提升作战水平。
- 许明
- 关键词：GPS导航系统北斗卫星作战系统卡尔曼滤波
- 基于LSC的形式化验证方法
- 2014年
- 调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.
- 许明开金宇
- 关键词：形式化验证技术LSC
