刘晓明
- 作品数：127 被引量：289H指数：9
- 供职机构：解放军理工大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信军事天文地球更多>>
- 一种基于行为模型的软件安全性测试用例生成方法
- 本发明公开了一种基于行为模型的软件安全性测试用例生成方法，包括如下步骤：(1)确定软件安全性测试需求；(2)使用测试需求行为模型对安全性测试需求进行描述；(3)使用UML状态图对测试需求行为模型进行描述；(4)将UML图...
- 黄松任正平姚奕刘晓明惠战伟胡斌洪宇郑长友饶莉萍蒋圆圆袁利华刘艳云
- 多Agent系统在作战仿真中的应用被引量：7
- 2006年
- 针对传统的作战仿真方法的不足,研究了分析复杂系统的一种新方法,即基于A gent的仿真ABS(A gent-based sim u lation),将ABS应用于作战仿真是一种有意义的新尝试。以作战仿真为背景,介绍了作战智能体的模型设计与实现方法,讨论了作战智能体的行为规则与元规则设置。在此基础上,设计实现了一个基于A gent的作战仿真原型系统,模拟出了作战过程中的一些有意义的现象。仿真结果表明,新的研究方法在作战仿真领域具有良好的前景。
- 贺建民刘晓明
- 关键词：多AGENT系统作战仿真
- 基于改进BNF的作战管理语言语法形式化方法被引量：8
- 2012年
- 作战管理语言是一种旨在实现指控与仿真系统间无歧义通信的关键技术,有助于解决指控与仿真系统之间的互操作问题。首先阐述了作战管理语言的体系结构;然后通过比较分析形式化语法方法,并结合作战命令语言结构特点,提出了一种基于改进BNF的BML语法形式化描述方法;最后利用该方法对典型作战命令进行了语法形式化描述,并给出了具体实例。
- 罗晨鲍广宇刘晓明袁黎苗
- 关键词：作战管理语言形式化
- 基于模拟退火遗传算法的多agent系统任务分配被引量：7
- 2012年
- 针对标准的遗传算法在任务分配中收敛速度慢的问题,对多agent系统中的任务分配进行形式化描述的基础上,融合模拟退火算法的优化思想,提出了一种基于模拟退火遗传算法的任务分配方法,详细阐述了该算法的基本思想和关键步骤,并通过仿真实验进行验证。仿真实验结果表明,基于模拟退火遗传算法比标准的遗传算法具有更快的收敛速度和寻优效果。
- 罗晨李渊刘勇刘晓明
- 关键词：多智能体系统模拟退火遗传算法
- “全球信息栅格”和建模与仿真的融合
- 1999年,美国国防部提出了全球信息栅格,成为美军新的信息技术革命。全球信息栅格在建设过程中不断吸收新的技术加以完善。分析了建模与仿真在GIG中的应用,介绍了相关技术框架,对我军的信息化建设提出了一些意见。
- 刘晓明秦磊黄松
- 关键词：全球信息栅格可扩展建模与仿真框架
- 语言值关联规则在气象系统仿真中的应用被引量：1
- 2001年
- 在信息处理领域，大型关系数据库中的数据挖掘是一个热点。文中应用模糊c-方法算法（FCM）将数据库中记录的值划分成多个语言值，并借助语言值来软化数量属性论域的划分边界，由此生成一系列的语言值关联规则。接着文中根据最大隶属原则将数据库中的记录映射到语言值，并定义了语言值关联规则的支持率和信任度。最后讨论了语言值关联规则在气象系统仿真中的应用。
- 黄松陆建江刘晓明宋自林
- 关键词：数据挖掘语言值关联规则系统仿真气象系统
- Ad Hoc网络中TCP协议的性能及其改进策略
- 2004年
- 王海涛刘晓明
- 关键词：ADHOC网络TCP协议传输层协议
- 分布式指挥控制决策冲突一致性问题研究
- 分布式指挥控制决策模式更利于战场环境下海量决策信息的交换与共享和形成一致决策。本文基于复合标度的二元语义评价方法,提出了一种用于分布式指挥控制决策冲突问题的一致性模型,可以较好解决决策过程中由于个人认知不同而产生的冲突问...
- 黄海燕鲍广宇刘晓明
- 文献传递
- 基于服务集成的C4ISR系统仿真环境研究(英文)被引量：5
- 2008年
- 未来的 C4ISR系统将建立在使用服务集成技术的信息栅格环境下,相应地,C4ISR建模与仿真系统也将基于服务集成技术构建。介绍了服务集成技术的原理,基于仿真服务总线技术,提出一个基于服务集成的C4ISR系统仿真环境,分析了该环境的技术体系结构和关键技术,为支持面向服务体系下的C4ISR系统仿真实验提供了一种可选解决方案。
- 鲍广宇毛少杰居真奇刘晓明
- 关键词：仿真环境SOA
- INSIGNIA带内信令机制及其改进措施被引量：3
- 2005年
- 信令机制通常是网络中最复杂的功能部件之一。文章首先阐述了Ad hoc网络中采用QoS信令机制的必要性, 回顾了相关的工作, 详细分析了INSIGNIA信令机制及其改进方法, 并探讨了其它相关问题。
- 王海涛刘晓明
- 关键词：信令机制HOC网络QOS
