C~4ISR系统任务实时性的评价方法

提出一种定量评价C4ISR(Command Control Communication Computer Intelligence Surveillance and Reconnaissance)系统任务实时性方法--时序着色模糊时间Petri网(TCFTPN)方法.用时序逻辑公式来限制着色Petri网的变迁引发行为,用模糊时间来表示各工作过程的时延特性和降级工作问题.通过估计在规定的时间内标识从任务开始状态到达任务完成状态的概率来确定C4ISR系统的任务实时性.     

战术数据链网络设计优化方法

网络设计优化问题直接关系到战术数据链系统效能的发挥。在分析数据链系统中不同消息类别有不同系统响应时间要求的基础上,提出了一种新的网络设计优化方法。通过建立模型讨论了单个数据链轮询网络的轮询周期、网络成员容量、每个轮询周期内各成员的点名次数等因素间的数学关系。并以Link-11为例进行分析计算。结果表明,该分析方法有效可行,为解决战术数据链网络设计及优化问题提供了一种思路。     

采用SHLPN分析特种车载总线网络可靠性

针对特种车载总线网络可靠性难以评估的问题,提出采用随机高级Petri网(Stochastic High-level Petri Net,SHLPN)分析特种车载总线网络可靠性。深入分析特种车载总线网络故障模式的基础上,将其等效为冗余总线控制器模块、远程终端模块和冗余链路模块的串联,分别建立各个模块的SHLPN模型,得到了各个模块的稳态可用度计算式,进而综合得到特种车载总线网络的稳态可用度计算式。最后,实例分析验证了所提方法的有效性。     

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

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

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

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

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

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

基于模糊Petri网的实时系统功能模型构建

Petri网在描述具有模糊行为的系统时是有缺陷的,为了更好地分析、评价和开发实时系统,提出了一种利用模糊Petri网构建实时系统功能模型的方法,阐述了模糊Petri网的基本原理,详细介绍了利用模糊Petri网的特征分析实时系统的功能及绘制实时系统功能模型的步骤。     

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

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

TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

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

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