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

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

基于Petri网的飞机复杂系统可靠性分析方法研究

Petri网在建模方面具有较强的可视性及良好的动态表达性,提出一种利用Petri网对飞机复杂系统进行可靠性建模的方法,并通过蒙特卡洛仿真方法对Petri网模型进行仿真求解,形成一套完整的可靠性分析理论;以某型机电传飞控系统为例进行建模计算,验证上述方法的可行性和精确性.结果表明:本文提出的基于Petri网的可靠性分析理论,能够有效应用于飞机复杂系统的可靠性分析.     

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

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

Petri网在制造系统建模与仿真中的应用

依据面向对象的Petri网的理论,给出了制造系统的建模过程,最后将统一建模语言(UML)融入到制造系统的建模与仿真中,通过实例进一步阐明了Petri网在制造系统建模与仿真中是如何应用的。     

三种系统可靠性评估方法的比较与分析

故障树、故障Petri网和贝叶斯网络是评估系统可靠性、安全性的三种重要模型。其中,故障树在工程中应用最广,而后两种模型其各自具有不可替代的优点,可以弥补故障树在实际应用中的不足。在介绍三种模型的基础上,通过对故障树向故障Petri网转化方法、故障树向贝叶斯网络转化方法的研究,给出描述三种模型的典型逻辑关系等价结构图的表格,揭示三种模型的内在联系。结合该表,提出故障Petri网向贝叶斯网络的转化方法。同时,利用上述三种模型对导弹发动机故障进行对比分析,结果表明故障Petri网使故障传播过程一目了然,而通过故障Petri网络或故障树转化而来的等价贝叶斯网络可计算出更多定量结果。     

基于Petri网的导弹安全自毁系统实时安全分析

安全自毁系统对于防止导弹发射出现重大事故具有重要作用,为此,通过对导弹安全自毁系统工作过程的分析,建立了该系统的Petri网模型。并依据此模型采用解析和仿真两种方法,根据导弹发射阶段获得的测试信息,对导弹安全自毁系统进行了实时安全分析。利用文巾所提方法可以获取发射指挥员关心的系统层次的导弹发射安全信息,为发射决策提供依据,减少对发射指挥员经验的过分依赖。     

智能反舰导弹攻防作战的Petri网模型描述

针对未来海战的发展趋势,发展一种远程化、智能化、多平台反舰导弹成为一种必要。文章构建了智能反舰导弹作战运用过程,并应用Petri网模型对智能反舰导弹攻防对战过程进行了描述。     

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

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

基于面向对象随机Petri网的军用飞机飞行机务准备建模

讨论了军用飞机飞行前机务准备建模问题。分析了其主要内容和特点;提出了一种基于面向对象随机Petri网的军用飞机飞行前机务准备模型。该模型的可扩展性强,能用于该型飞机以及其他机型的维修保障研究及更高层次军事系统仿真的组成部分。     

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

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

舰船空气尾流场对直升机着舰的影响研究

舰船空气尾流场是直升机舰上起降时的主要环境条件,对直升机的操稳性能及飞行安全有很大的影响。通过某型舰模风洞试验的PIV结果,介绍了舰船空气尾流场特性,如:等速度场和截面流线图、舰船机库脱体涡等,分析了下冲气流、涡流区及开/关机库大门等对直升机着舰的影响,对保障直升机飞行安全有重要价值。     

飞机装配进度三维可视化技术研究

为了将飞机装配进度以一种直观、可视化的方式展现出来,提出用三维简化模型展示飞机装配进度的方法.首先研究了三维设计模型的简化方法;其次将生产信息与三维简化模型关联起来,建立了飞机装配进度信息模型;再次研究了在信息模型支持下的组件装配状态信息提取技术;最后通过某飞机制造企业的应用实例,验证了方法的可行性和有效性.     

系统级芯片设计研究

根据国内外电子行业及微电子IC设计行业的发展现状和军用航空电子系统的特殊性,本文提出了SOC设计构想,详细讨论了SOC设计过程。并以视频字符发生器设计为例,对航空电子进行了SOC新设计概念的探索。     

基于多智能体的捕食者—被捕食者系统研究

以Swarm软件系统为编程平台,利用多智能体仿真思想,模拟研究了捕食者与被捕食者系统。在不改变智能体行为准则的前提下,通过改变智能体的数量和遗传特性,模拟了智能体之间在相互合作、竞争关系下系统的演化过程,体现了竞争与合作在多智能体系统中的作用。仿真结果与数学模型结论相符。     

基于FMECA的测试性验证分析

随着装备元件的集成度越来越高,对装备测试性的要求越来越高。良好的测试性设计可以有效地提高产品维修性,降低全寿命周期费用。在对通用处理单元进行故障模式、影响和致命度分析(FMECA)的基础上,建立了产品的测试性模型,进行了测试性验证试验,并对验证结果进行分析。     

先进上风格式跨声速CFD计算研究

介绍了空气动力学跨音速计算中应用广泛的几种上风格式,同时引入了JAMSON中心差分格式作为比较,针对激波分辨率,格式精度,计算效率等方面的问题对ONERAM6机翼进行了对比性计算,讨论了ROE的FDS格式,AUSM+格式和AUSMDV格式的计算性能,得出了很有意义的结论。     

基于数据库的CAPP系统研究

简述了航空产品基于数据库的CAPP的必要性,介绍这种CAPP的体系结构、数据流程和特点。论述以产品结构树为核心的用户化工艺文件信息模型、工艺文件的表达、面向产品或BOM的工艺设计方法、CAPP与PDM、MRPII之间的信息集成等关键技术。     

Access—list技术应用研究

访问表是网络防御外来安全威胁的第一关 ,它是通过允许或拒绝信息流通过路由器的接口来实现的一种机制。本文介绍了访问表的基本概念、基本原理以及具有高级安全特性的新一代访问表 ,给出了一个建立应用访问表的实例 ,最后对各种网络安全威胁给出了对策及实现方案。     

基于IETM技术的数据要求分析

比较了MIL-D-87269A和S1000D两个标准的IETM数据要求,分析出CSDB是数据库构建的有效解决方案.基于CSDB的IETM系统实现全寿命信息管理"一次生成,多次使用"的理念.     

云存储环境下的负载均衡策略研究

云存储系统具有高容错性、部署在低廉的硬件上、易扩展性、提供高传输率访问数据的优点,但是在云存储环境下的HDFS架构中,原有的数据节点选择策略有可能造成大文件存储负载不均衡,从而影响整个系统的性能。针对这一问题,综合考虑多个因素对其进行改进,提出了设备选择策略算法,用以均衡系统的负载。并设计仿真实验,验证了算法的有效性。