具有紧急消息的航电总线Petri网建模与性能分析

在航空电子综合化系统的设计过程中，总线系统的性能指标与整个航电系统的总体指标有着密切的关系。给出了一套完整的基于确定与随机Petri网的综合航电总线系统的性能评价的模型和算法。通过对总线系统的确定与随机Petri网模型的求解，给出了具有紧急消息的总线系统的两个重要性能指标总线负载、延迟时间，通过对性能曲线的分析，可以为综合航电系统的设计和完善提供重要的理论依据。     

航空电子综合化数据传输网络建模方法研究

采用Petri网理论对航空电子综合化数据传输网络系统的建模方法进行研究。通过对研究对象的基本假设、研究对象与Petri网理论之间的关系,给出了航空电子综合化数据传输网络系统的Petri网模型     

航空电子综合化仿真系统的设计与实现

讨论了航空电子综合化仿真系统的设计与实现 ,主要探讨了此仿真系统的软硬件开发、系统组成以及整个系统的总线信息流。仿真系统的设计是采用某型飞机的总线拓扑结构 ,将各个子系统连接起来 ,以达到综合显示、综合处理、综合控制、数据综合传输、资源共享的目的。各个子系统分别用一台计算机进行数字仿真 ,以代替其实体     

综合航电任务机仿真系统的设计与实现

介绍了航空电子综合化仿真系统中任务计算机子系统的设计与实现,详细讨论了此系统的功能、组成以及具体的硬件与软件设计方法.仿真系统的设计采用某型飞机的总线拓扑结构,将各个子系统连接起来,以达到综合显示、综合处理、综合控制、数据综合传输、资源共事的目的,并在综合航电仿真系统的联合调试中,验证了此系统的可行性和正确性.     

航空电子火控综合系统仿真研究

本文研究了基于１５５３Ｂ总线的分布式航空电子火控综合仿真系统软件。给出了仿真系统的结构以及系统仿真软件组成，着重讨论了系统仿真软件的设计和动态联试。该系统软件已应用于飞机主机厂航电火控综合仿真实验，具有良好的可靠性和实时性，可用于航空电子综合火控系统的开发有主优化设计，同时也可用于飞行模拟训练。     

航空电子综合化网络系统研究

采用Petri网理论建立航空电子综合化网络系统的模型 ,通过模型对航空电子综合化网络系统的结构和动态特性进行了描述、分析和研究。     

基于Petri网的双重数字签名的描述与验证

双重数字签名是保障电子交易中持卡人、商户及银行三方安全传输信息的重要技术之一。Petri网是一种描述和验证密码协议的有效手段。利用Petri网从静态和动态两方面仿真分析双重数字签名在电子支付系统中的应用。在静态描述方面,建立了双重数字签名的Petri网模型,并给出形式化描述。在动态验证方面,采用可达树分析此密码协议,验证了可达性、有界性、活性等性质。同时分析表明双重数字签名具有抵抗非法入侵的能力,可以提高电子支付系统的安全性。     

面向对象Petri网在舰炮武器系统建模中的研究

研究并实现了一种基于Petri网的系统建模方法，它将面向对象技术与Petri网相结合，从而综合了两种方法的优势，降低了Petri网模型的复杂性，增加了Petri网的应用范围。舰炮武器系统是一种大规模的、复杂的并具有并发性、分布式、非确定性等特点的系统，因此我们应用面向对象的Petri网(OOPN)对其进行了建模。通过对舰炮武器系统的建模，我们发现面向对象的Petri网建模方法可以有效的降低系统模型的规模和复杂性。     

现场通信系统的仿真建模及其性能评价方法

由于Petri网适于描述系统冲突和竞争，故在较多场合中引入了Petri网对通信协议及系统进行建模，但目前采用Petri网对现场通信系统建模和评价还很少，通过Petri网协议描述实现现场通信和评价系统性能双重功能更无先例，本文在时间Petri网的基础上加以拓展，提出了现场通信协议的类时间Petri网描述方法，针对多协议现场通信控制装置FCCD，从理论上建立了FCCD系统的类时间Petri网模型，实现了多协议智能设备的互连及其系统的性能仿真评价。     

基于确定随机Petri网的AFDX航电系统建模研究

通过结合AFDX航空电子系统和确定随机Petri网的特点,给出了一种基于确定随机Petri网的AFDX航电系统的建模方法。该方法以AFDX中的虚链路调度算法为中心,依照组件开发的思想,并利用系统各部分的子模型对航空电子系统整体进行建模。从而为分析航空电子系统的性能提供了有力的参考。     

基于随机Petri网的装备维修保障系统性能分析

考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

高速数据总线性能评价工具设计

高速数据总线是先进军机航空电子综合化的关键支撑技术。如何对其性能指标进行评价是一个非常重要的理论和工程问题。从高速数据总线的网络模型和消息模型出发 ,建立了基于离散事件系统仿真方法的系统仿真模型 ,编制了基于VisualC ++平台的系统仿真程序 ,最后在给定ICD接口控制文件的条件下 ,得出了高速数据总线性能指标 (网络负载率、消息延迟率 )的评价结果     

综合航电火控系统模拟系统设计

当前军机广泛的使用指令/响应型数据总线作为其多功能综合航空电子火控系统的数据传输和控制系统,应用实时数据库的数据管理方法,采用面向组件的方法,仿真1553B总线的总线控制器和各远程终端的运行,设计实现了这种类型的专用综合航电模拟系统,并满足了实时性的要求。     

基于随机Petri网的机载软件更新系统性能评价

近年来,航电系统发展的趋势由联合式航电系统向综合化航电系统逐步演进,许多应用将原来专用集成电路实现的功能采用软件实现。软件更新系统在机载航电系统中的地位日益重要。提出了一种高效机载软件更新系统OBSUS,并运用随机Petri网理论对其性能评价。首先,提出了OBSUS的系统结构与组件间的通信协议。其次,根据OBSUS的系统结构与通信协议,建立了系统的随机Petri网模型。最后,对随机Petri网模型进行了瞬态概率分析,针对影响系统的诸多因素,如flash芯片烧写时间、数据传输丢包率和数据传输速率等,对系统的综合性能的影响进行了量化分析。仿真研究结果对于机载软件更新系统的结构与数据传输协议设计,以及如何提高系统性能,具有较强的指导意义。     

组件化的变结构Petri网建模仿真方法

Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。     

基于多色Petri网的产品开发过程建模

为了更好地描述产品开发过程,支持产品开发过程管理和优化,提出了一种基于多色Petri网(PolyPN)的产品开发过程建模方法.将多色图理论的着色思想融入Petri网中,形成了多色Petri网;结合产品开发ProA递阶分解,给出了构建产品开发多色Petri网过程模型的层次化方法;在此基础上,以汽车油泵单项阀测试器的开发为例进行了建模和仿真分析.