基于FWFPN的装备保障性定性指标评价算法

以模糊Petri网为基础,将权重、可信度等约束条件应用到模糊Petri网中,建立了一种新的、称之为加强的带权模糊Petri网;给出了加强带权模糊Petri网的形式化推理算法,并将推理算法与矩阵运算相结合,用Matlab进行计算;最后,结合舰炮装备的一些保障性定性指标对该推理算法进行了验证.     

基于分层着色Petri网的地空导弹装备维修建模

讨论了一种基于分层着色Petri网理论建立地空导弹装备基地级维修系统模型的方法.该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,有利于模型分析和仿真实现.     

基于Petri网的建模分析

Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于离散事件系统的模拟和分析中。随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。在介绍工作流和Petri网概念的基础上,通过实例研究如何使用Petri网建立模型,并进一步做了可达性分析。     

基于引用Petri网的导弹攻防对抗仿真研究

导弹攻防对抗是一个攻防双方相交互的复杂动态系统,尤其对于交战级仿真,会涉及到更多的对象及其交互.Petri网是一种图形化的描述,具有并发、分布、不确定性等特征的复杂系统的有力工具,通过将传统Petri网理论同面向对象技术相结合,形成了面向对象Petri网.引用Petri网作为具有面向对象特征的Petri网的一种,具有更多优良的特性.应用引用网的基本理论,探讨了引用网在导弹对抗仿真中的应用,完成了一个攻防对抗算例的仿真研究.     

基于OPN和UML的导航装备维修建模方法研究

探讨了一种基于面向对象Petri网与UML模型的系统层次建模方法,结合UML和Petri网分析方法的各自优势,首先利用面向对象Petri网模型描述和分析地面导航装备维修保障系统的动态特性,然后按照一定的映射算法将Petri网模型转化成UML模型的状态图和顺序图,描述地面导航装备维修系统组织结构和系统的静态特征。最后验证了这种方法在地面导航装备维修保障系统建模应用中的实效性、科学性。     

机场场面运行控制仿真软件开发及关键技术

针对飞行区场面运行控制仿真的需求,在Anylogic仿真平台上设计和开发了基于Petri网的飞行区场面运行控制仿真软件,并用于实现A-SMGCS冲突监控算法。通过分析基于Petri网的场面运行建模与控制仿真需求,确定了软件的功能目标和体系结构。研究了软件实现和开发中的几个关键技术问题,如Petri网模型基本类的设计、面向闭环控制的Petri网模型扩展定义、开环和闭环场面运行Petri网模型的仿真算法设计。某机场飞行区的场面运行控制仿真表明,软件可以完成场面运行的闭环控制仿真,支持实现冲突监控算法。     

基于CPN Tools的机场主要资源调度研究

针对机场跑道、停机位等主要资源调度的问题,Petri网以其固有的特性,非常适合实时处理这类并发事件的问题.CPN Tools是一种Petri网仿真分析软件,具有大量的自动化分析工具,使建模、仿真和结果分析过程更加简单、高效、可控:本文基于CPN Tools软件,实现了用有色-时间Petri网对过站航班使用机场主要资源进行建模,并定义了各种监视器用于采集仿真数据,通过分析这些数据以及系统生成的仿真报告、状态空间报告等,得出了机场主要资源的使用情况.     

基于Delphi-模糊Petri 网的航空发动机故障诊断

针对航空发动机故障诊断的实际问题,给出了模糊Petri 网的定义,同时在各类模糊式规则的基础上,建立了故障诊断 推理方法及故障原因判断准则。通过对航空发动机滑油系统最小滑油压力信号灯燃亮故障的实例分析,将Delphi 法与模糊Petri 网结合,综合2 种方法的优势,采用反向故障诊断,用Delphi 法计算出所有可能的故障原因的置信度,验证了Delphi- 模糊Petri 网在故障诊断方面的有效性与所建立模型的可行性,为航空发动机的故障定位与故障原因推理提供了1种可行方法。     

Petri网模型在智能型电话管理系统开发中的应用

基于Petri网模型的智能仪器监控软件设计方法是一种新型的软件设计方法。运用该方法 ,在对智能型电话管理系统中的内部因素和外部因素综合分析的基础上 ,结合Petri网模型理论 (Petri -net-modeltheo ry) ,找到了智能仪器监控软件的形式化描述技术和数学化设计方法 ,给出了其工程化的解决方案。工程应用实践表明 ,Petri网模型及其在智能仪器监控软件设计中的应用是可行而成功的。     

基于模糊推理Petri网的A320飞机偏航阻尼系统

分析了普通Petri网和模糊推理Petri网的特点,采用形式化的极大代数矩阵算法,利用模糊推理Petri网描述并发系统的能力,对飞机偏航阻尼系统的故障建模并分析,得到各级故障发生的概率,用以指导飞机维修中的故障排除,既有严格的数学理论基础,又能准确描述故障之间的关联,也利于计算机编程实现。     

维修效能评估与定检周期优化研究

飞机定检周期与维修保障效能有着直接而紧密的联系,本文利用petrinet建模技术,构建了内场维修保障模型,仿真分析定检周期变化对维修保障效能的影响。仿真结果表明,定检周期的延长显著提升了各专业内场维修保障活动的效率及反应能力,缓解了内场维修调度的压力,也为缩减内场编制创造了条件。     

基于Petri网的飞机交流发电机故障诊断系统研究

针对目前飞机交流发电机故障诊断专家系统存在的知识表示复杂、诊断速度慢等问题,基于故障Petri网方法来进行知识表达,以快速准确对故障进行诊断,首先利用故障Petri网来建立飞机交流发电机的故障诊断模型,然后采用关联矩阵和状态方程的推理算法进行故障诊断推理,提高了推理速度,易于编程实现。最后通过实例分析验证了该方法的可行性和有效性。     

具有混合约束的DES Petri网控制器的设计

针对基于Petri网离散事件系统库所和变迁混合不等式约束反馈控制器的设计问题,提出一项新型设计具有库所和变迁混合约束的Petri网控制器的方法——利用Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显。借助一个应用实例．将该控制器设计方法与Yamalidou等人提出的控制器设计方法作比较,表明所提出的控制器设计方法不仅更简单、更有效而且可以应用到推广Petri网。     

基于拆卸及扩展广义随机 Petri网的维修性仿真

在装备研制早期,难以有效地利用试验的方法进行维修性估计,此时适合采用仿真手段。对于机械系统拆卸路径的分析与优化,先基于赋时变迁Petri网建立拆卸Petri网模型,再利用A＊算法搜索最优拆卸路径,并确定拆卸时间。为了建立系统整个维修事件的过程模型,对广义随机Petri网进行了扩展,将其延时变迁与实际分布关联,对基于变迁的维修作业之间的逻辑关系进行了描述,并给出了基于蒙特卡罗法的维修时间仿真算法。最后,以对某火炮装备发射系统不击发故障的分析与排除为例,仿真计算了维修时间均值与方差,并对结果进行了分析。     

航天器电缆网快速协同设计方法及关键技术

以航天器电缆网传统研制模式的局限性为出发点,提出了电缆网全息模型的概念及其通用模型体系,实现了包含全要素设计信息的完整产品数字化定义;基于先"修路"后布线的设计理念,系统地提出了导航式电缆网快速协同设计方法及其相关算法,建立了航天器整器级统一的电缆网络通道"地图",有效增强了电缆网的顶层设计,减少了每束电缆并行设计时路径统筹规划不够和走向不优化的问题;构建了电缆网机电一体化协同模式和面向研制全周期的一体化业务流程,建立了跨型号跨专业的通用模型库、参数库、算法与规则库,完善了电缆网系统级设计和底层数据模型,实现了不同专业间的并行协同;开发了导航式电缆网快速协同设计系统,实现了基于参数驱动的复杂电缆网快速三维布线,提升了设计效率效益,并在以空间站为代表的载人航天型号中开展了应用,为复杂电缆网的研制提供了一种有效方法和手段。     

基于SPN的跑道利用率模型分析与研究

采用随机Petri网(SPN)建立了跑道系统运行约束方程;通过构造同构马尔科夫链建立了系统处于各种状态时的稳态概率表达式;改变变迁的触发速率,分析跑道利用率的变化情况。证明了模型的可达性、有界性,且不存在死点。     

网络社会问题的探讨

全面阐述了网络社会所引发的社会问题的表现形式，特点及其社会根源、在此基础上，提出了加强网络社会建设的几点建议。     

飞行程序发布订阅服务Petri网建模分析

发布订阅服务是未来航行情报管理所面临的主要问题之一。利用UML建立了飞行程序发布订阅概念模型,刻画了系统需求和发布订阅的具体过程。建立了相应的Petri网模型,通过可达树分析和P不变量分析得出所建Petri网模型的有界性、守衡性和活性,从而证明了概念模型的正确性和有效性。