CPN在海上防空建模中的应用

着色 Petri网 (CP-网或 CPN )是一种面向图形的语言 ,用来设计、说明、模拟和验证系统。尤其适用于通信系统等同步和资源共享占有重要地位的系统。在通信协议、分步式系统、嵌入系统、自动生产系统、工作流分析、VL SI芯片等方面都有典型的应用。本文简单介绍了 CPN的发展过程和基本原理 ,重点就 CPN在海上防空系统建模仿真中的应用进行了探讨     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

考虑资源约束的复杂维修任务时间预计模型

在分析装备维修过程时间影响因素的基础上,研究了维修过程时间模型的建模要素关系。采用Petri网技术建立了反映子任务基本关系、资源约束和调度策略的典型维修过程模型,并对典型子任务执行过程进行了细化建模,研究了模型冲突和资源调度策略。针对典型实例进行了维修时间预计和资源利用率分析。     

基于Petri网的指挥流程建模与优化

鉴于Petri网在企业业务流程优化与重组方面的成功运用,遂将Petri网原理应用于作战指挥流程的建模与优化,以期获得最优作战指挥流程.文中首先阐述Petri网基本原理,然后介绍指挥流程建模的Petri网模型,最后给出指挥流程优化的原则及基本模型,并利用Petri网对指挥流程进行建模和优化,结果表明Petri网理论能够明显优化作战指挥流程.提高作战指挥效率.     

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

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

基于任意分布随机Petri网的装备维修保障建模与分析

通过将任意分布随机Petri网的基本理论和算法应用到装备维修保障的建模与分析,建立了维修保障系统的任意随机Petri网模型,实现了随机Petri网中变换概率服从指数分布的限制.根据实际系统中相关数据的统计分析和经验估计,以便为利用矩姆函数分析方法对维修保障系统的性能进行分析,为维修保障决策层提供参考,获得了一些有价值的性能指标信息.     

云模型和混合Petri网相结合的系统可靠性评价

针对复杂系统可靠性评价中工作环境可变的情形,提出基于云模型和混合Petri网相结合的可靠性评价方法。首先采用云模型描述系统的环境适应能力指数,并将其作为混合Petri模型中连续库所的托肯值来控制该模型中变迁的变迁率,然后采用基于Petri网的蒙特卡罗方法对不同环境下的系统可靠性进行仿真求解,得到系统在不同时刻下的失效率。最后以一个C4ISR系统为例,验证了该方法在解决可变工作环境下的系统可靠性评估是可行的。     

基于贪婪算法的影响网络行动方案优选

针对影响网络中行动方案的优选问题,分析了现有方法存在的不足,提出了一种基于贪婪算法的行动方案优选方法。该方法采用自顶向下的搜索方式,通过分析行动组合对期望效果的整体影响来选择较优的行动方案。并进行实例验证。结果表明,与灵敏度分析法和穷举搜索法相比,该方法能够在较短时间内找到较优的可行行动方案集合,可有效支持行动方案的优选。     

基于Petri网的综合电子系统总线建模与性能优化

针对综合电子系统运用中总线效率不高等问题,以某型步兵战车综合电子系统为例,通过对系统进行信息流规划,结合总线协议和实现机制,采用赋时颜色Petri网对综合电子信息系统通信机制进行建模,实现综合电子系统总线通信协议机制的仿真。通过对系统总线性能指标参数的分析,提出综合电子信息系统总线的优化方案。关键词：赋时颜色Petri网;综合电子系统;总线建模;性能优化     

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

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