飞行器神经元控制系统的研究与设计

提出了一种基于神经元网络的飞行控制系统设计方法 ,该方法设计的神经元飞行控制器具有良好的鲁棒性 ,使飞行器在整个飞行包络内都能保持某种最优的操纵品质。给出的计算机仿真结果显示出神经元网络作为飞行控制器在处理飞行器参数大范围变化的非线性特性方面具有潜在的优良品质     

应用有色Petri网的复杂系统四性一体化综合评估方法

为避免复杂系统以可靠性、维修性、测试性和安全性为四性的设计中仍存在"割裂"现象,在确定四性一体化基本参数的基础上,约束可靠性等四性单性指标,建立了基于有色Petri网的复杂系统四性一体化综合评估方法。在JAVA环境下,基于有色Petri网,利用工具PIPE分别建立了复杂系统结构有色Petri网模型和综合评估有色Petri网模型,形成四性一体化综合评估有色Petri网模型。变迁触发时,将复杂系统的四性状态分为3类并分别染色。根据库所中的托肯颜色,判断复杂系统各项指标满足情况以及所处状态。重复迭代评估,实时跟踪复杂系统四性所处状态,实现四性一体化综合权衡设计。算例证明,四性一体化综合评估方法全面合理,验证了方法的有效性和准确性。     

基于UML—OOPN的可重构制造单元建模

以可重构制造单元为研究对象，以实现其可重组性为研究目标。提出了一种集成标准建模语言UML和面向对象Petri网的建模方法－UML－OOPN，该方法同时具备了标准建模语言UML和Petri网的优点，不仅能够提供了支持需求分析，模型描述和设计，模型分析和仿真，直至模型实现的一块化框架，而且所建立的系统模型具有较好的可重用性和可扩展性。     

基于克隆选择算法的学习型Petri网及在潜在通路分析中的应用

传统学习型Petri网(LPN)有2个缺陷:1)都是针对无回路PN模型,这不符合实际情况;2)大部分都是利用BP算法进行学习,带来BP算法固有的缺陷.针对这2个缺陷,提出基于克隆选择算法(CSA)的LPN(CSALPN).首先对系统进行PN建模,然后利用CSA训练PN,使得PN既可以学习先验知识又可以利用系统的结构信息...     

扩展高级判断Petri网及其在FMS决策和控制中的应用

 提出一种新的更适合ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍｓ柔性制造系统）决策和控制的扩展高级判断Ｐｅｔｒｉ网（ＥＨＬＥＰ－Ｎ）,并着重介绍它的建模方法及其在ＦＭＳ决策和控制中的应用。建立基于ＥＨＬＥＰ－Ｎ的ＦＭＳ决策控制专家系统的实践证明,ＥＨＬＥＰ－Ｎ是描述ＦＭＳ的结构、状态和动态行为的有力建模工具。部分成果已经用于航空航天部１５９厂的高级ＤＮＣ系统的设计之中。     

面向可重构制造系统的设备建模

可重构制造系统的建模是分析和控制可重构制造系统的关键技术，而可重构制造系统中的设备建模是可重构制造系统建模的基础。本文提出面向可重构制造系统的设备的赋时面向对象Petri网模型，并通过实例研究证实了其正确性。面向可重构制造系统的设备的赋时面向对象Petri网模型能够表示可重构制造系统重构前后设备的作业安排的变化情况．因此它是可重构制造系统中设备的正确的形式化表示。     

基于扩展Petri网的除冰软件安全需求建模和验证

Petri网是形式化的系统建模方法,以严格的数学基础来保证系统的正确构建,但在支持复杂软件建模和自动化验证方面存在不足.扩展了Petri网的形式语义,区别定义了状态型和数值型库所,区别定义了变迁的激发和抑制状态,引入了无前置、一元和组合判断规则,同时根据形式化定义将模型自动转换为检验程序实施安全性验证.最后给出了以上方法在典型安全关键软件-除冰系统上的应用,过程和结果表明扩展的模型和方法增强了Petri网对复杂软件系统的建模能力,提高了软件的安全性,从模型到验证代码的自动转换解决了完善模型时人工修改相应代码的工作量和因此而引入人为错误的重复工作量的问题.     

基于遗传算法的大型空间结构模型降阶

 采用遗传算法求解大型空间结构的模型降阶问题。给出了模型降阶的数学表示和所用遗传算法的有效形式，即编码方式、适值方式、交叉方式和变异方式等。仿真实例说明，遗传算法优于标准内平衡法和Hopfield神经网络方法。     

基于扩展Petri网的飞机装配系统设备调度方法

针对飞机装配过程中设备调度的复杂性,提出了基于扩展Petri网构建设备调度模型的新方法。结合飞机装配的实际特点,论述了模型定义过程和建立方法。该模型以面向对象Petri网表达飞机装配过程,以赋时Petri网将装配过程与辅助设备相关联,利用混合算法以时间和设备利用率为目标对模型进行优化求解。以某模型飞机中机身装配过程为例,应用该方法进行建模并求解,实例应用与分析表明该方法对实际装配设备调度具有较大的指导意义。     

基于Petri网的UML状态迁移策略

分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进.