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

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

多元先验信息的融合问题

在多元先验信息条件下,运用Bayes理论讨论问题时,必然会遇到先验信息融合问题.文中提出了几种简化形式,并针对产品失效率的多个先验信息情形,结合实例与熵度量的拟合优度说明了该方法的合理性.     

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

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

一体化联合作战方法探析

作为信息化战争的基本作战形式,一体化联合作战不仅是对机动战、火力战、瘫痪战、网电一体战等作战样式的系统综合,也是对“空地一体战”、“网络中心战”、“整体作战”、“信息致胜”、“非接触打击”、“全纵深攻击”、“不对称攻击”等先进作战理念的高度融合。我们认为,实施一体化联合作战应确立“全域一体防护,集约精确打击”的基本方法,使“护能”、“聚能”、“释能”的行动三位一体。该方法主要体现在行动目标、行动手段、行动方式、行动范围等方面。从行动目标上,着眼节点,实施结构瘫痪信息化战场上,一体化联合部队作战效能的发挥…     

以对象Petri网为基础的C3I仿真系统的设计和实现

Petri网是描述具有分布、并发、异步特征的系统的有效工具.提出了对象Petri网(OPN)的概念,并对基于OPN的C3I仿真系统结构、设计及实现,作了较为详细的探讨.     

用于雷达监视的贝叶斯及登普斯特－－谢弗目标识别法

本文探讨了雷达监视系统中目标航迹的识别问题,为了跟踪器旁边建立目标识别器,这里使用了可用于空中监视系统实时处理的四个特征:从敌我识别系统(IEF)得到的目标标识符(TID).来自雷达的仰角量测、目标速度以及跟踪器估计的加速度。将这四个特征组合起来,可将空中目标分成五类:友方商用目标、友方军事目标、敌方商用目标(或未知目标)、敌方军事目标及假目标(雷达杂波)。两种流行的基于统计的技术,即贝叶斯和登普斯特——谢弗方法,用于开发本文的雷达目标识别算法。真实及仿真的空中监视雷达数据用于评估雷达监视系统的这种航迹识别方法的适用性及效能。     

一个分布式并行设计集成框架系统的研究与开发

复杂产品的设计日益复杂 ,推向市场的时间日益缩短 ,并行设计技术得到广泛应用。文中实现了一个支持复杂产品多领域并行设计的集成框架YC bridge。该集成框架的开发采用符合CORBA规范的Client/Server中间件 ,实现了基于设计体模型的设计数据管理、基于语义模型的工具封装和基于扩展网络图模型的设计过程管理。YC bridge已在实际设计工作中得到较好的应用     

PETRI网理论在航空电子综合化系统中的应用

提出航空电子综合化系统与PETRI网理论之间的关系,给出航空电子综合化系统组网元素的PETRI网表达方法,以及航空电子综合化系统中指令消息格式的PETRI网模型,并以某型飞机航空电子综合化系统为实例,进行了建模、分析和优化的仿真.     

态势估计中一种基于贝叶斯估计的统计时间推理方法

统计时间推理是态势估计中的一个重要组成部分。Ｋｉｒｉｌｏｖ的基于极大似然估计（Ｍａｘｉ－ｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ,ＭＬＥ）的推理方法将未知时间变量看作常数,估计方差较大。文中建立的已知时间信息和未知时间变量之间的关系模型,将未知时间变量扩展为随机变量,将贝叶斯估计（ＢａｙｅｓＥｓｔｉｍａｔｉｏｎ,ＢＥ）引入时间推理。经过对两种推理算法的性能进行分析和比较,发现在一定范围内,基于ＢＥ的方法性能优于基于ＭＬＥ的方法。     

动态均匀分布模型及Bayes预测

Ｂａｙｅｓ预测是在Ｂａｙｅｓ统计分析基础上得到的一种预测方法,本文给出了观测服从均匀分布的动态均匀分布模型,并在状态向量线Ｂａｙｅｓ最优估计基础上给出了模型参数的修正递推及Ｂａｙｅｓ预测。