军事概念建模形式化描述语言比较分析

军事概念模型是对军事行为空间进行的第一次抽象,它对军事系统表达的准确性和合理性将是作战仿真模拟质量的关键.随着分布交互仿真和大规模作战仿真的需要,概念模型的通用性和规范化已开始受到人们重视.针对军事系统的复杂性,在众多的建模语言中,选用何种语言进行军事概念建模值得深入研究.IDEF、UML和Petri网是三种应用广泛、功能较强的建模语言,适合复杂系统建模.分析比较了它们的优缺点,探讨了三种方法综合运用的思路,最后给出了一个军事概念建模的实例.     

神经网络在随动系统测试中的应用研究

针对神经网络在故障测试中因训练样本集大而导致的诊断速度慢和性能下降等不足,提出区域法则,即将全系统化解为若干个子模块并用神经网络去分别匹配,以此达到加快诊断速度和提高诊断能力的目的,同时给出了典型训练样本的建立思路和网络结构的学习算法.实验表明,该方法在火炮随动系统测试中体现出了较好的诊断效果,具有一定的工程应用价值.     

复杂装备的层次诊断技术

首先从完备性的角度分析了对复杂装备进行层次诊断的可行性,论述了层次诊断模型应具备的组成内容.然后通过面向对象的知识表示方法建立了装备层次模型,通过对Petri网的分层细化建立了故障层次模型.最后,通过知识库的方式将装备层次模型和故障层次模型进行关联实现,并给出了相应的层次诊断策略.     

基于广义随机Petri网GSPN的系统安全性研究

针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理,提出了关键状态搜索算法,并进行了安全性仿真分析.将广义随机Petri网的扩展模型应用于安全性分析领域,丰富了动态系统安全性问题的研究手段。     

远程监控在靶场指挥显示系统中应用探讨

靶场指挥显示系统具有结构复杂、地域分散的特点,维护难度大。通过对靶场指挥显示系统使用和维护现状的研究,引入远程监控的思想,采用C/S网络结构的远程控制技术,在现有指挥显示系统中增加远程监控功能,对分布式的指挥显示系统进行集中管理,提高了指挥显示系统软件的可靠性和维护性,在试验任务中取得了较好的效果。     

基于PETRI网的防空指控系统的建模及分析

防空导弹武器指控系统是一个分布式实时多任务数据处理系统,其特点是实时性、并发、异步和多任务。PETR I网是一种描述和分析异步并发现象的一种有效的模型工具。以PETR I网为工具,建立了防空导弹武器指控系统模型,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,然后实现了模型和程序结构的自动转换。从一个新的角度对防空导弹武器指控系统进行了分析和评价,实践证明这种方法是可行的。     

基于赋时Petri网的自动测试系统建模

提出了利用赋时Petri网(Tim ed Petri Net)对自动测试系统建模和性能分析的方法。采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率。     

基于GSPN的编队网络化防空指挥流程研究

为了提高编队指挥员在信息化海战中的作战指挥效率和应变能力,利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的指挥流程时间性能分析的新方法,通过对模型进行分析与求解,得出了舰艇编队网络化防空作战指挥流程活动的准确作战周期,从而为指挥流程的优化提供有力的支撑,对评估系统效能水平也具有重要指导意义。     

基于有色Petri网的CAN总线仿真与性能分析

针对CAN总线的多主竞争模式通过解析法难以建模这一问题,运用CPN Tools工具构建了基于有色Petri网的CAN总线CSMA/CA竞争机制模型,模拟了CAN总线的静态结构和动态行为,对CAN总线性能进行了仿真与分析。仿真结果验证了所建CAN总线模型的合理性与正确性。     

陆战Agent自主协作机制模型研究

陆战Agent是陆军作战复杂系统ABMS核心的基础要素,友方陆战Agent之间的协作机制是陆军作战复杂系统演化运行的关键支撑之一。陆战Agent之间的协作可归纳为自主协作和上级统一组织协作两种模式。陆战Agent之间的自主协作,与一般Agent系统中的协作模式相同,但由于陆军作战的特殊性,必须研究符合作战特点的陆战Agent自主协作机制。针对陆战Agent自主协作特点,对合同网协议进行了改进,探讨了陆战Agent自主协作机制模型的功能结构、框架、策略、流程和实施步骤,为陆军作战复杂系统的ABMS奠定了基础。