基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ，ＤＥＤＳ），而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构，文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念，并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析，阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ     

航空独立电源系统保护控制行为混杂模型

为了准确描述独立电源系统保护离散事件与连续控制相互作用的混杂行为,提出一种对象混杂Petri网(OHPN)建模方法,构建了基于OHPN航空独立电源保护控制行为的混杂模型。该模型将混杂Petri网的混杂特性描述内置于对象之中,解决了传统混杂Petri网不能同时描述静态结构和动态过程的问题,增强了模型描述能力,使模型具有良好的封装性、可重用性和可维护性。最后,对某型航空交流电源系统的保护控制过程进行了仿真和验证。结果表明,所定义的模型能够有效描述和分析电源系统保护控制的混杂行为,为系统稳定性和故障预测的研究奠定基础。     

基于OO的CIMS信息分类编码研究

通过分析国内外现有各分类编码系统以及ＣＩＭＳ对信息集成的要求，结合面向对象（Ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄ，ＯＯ）方法提出了一种面向ＣＩＭＳ各环节的分类编码结构模型ＦＣＣ。该模型由复杂对象Ｏ和施加于Ｏ上的操作Ｍ构成，其中Ｏ可描述为一个三元组，用于类别标识，事物特征描述和图形特征描述。类别标识项是一个可用二元组描述的复杂对象；图形特征项是一个四元组，描述了图形标识，图形符号，图形特征数据和图形文件；     

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

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

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

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

随机高级Petri网在空中交通管理中的应用

首先给出了Ｐｅｔｒｉ网，高级Ｐｅｔｒｉ网和随机高级Ｐｅｔｒｉ网的定义。然后，在介绍空中交通管理系统中的机场终端区的基础上，为机场终端区建立了Ｐｅｔｒｉ网图模型。最后，借助Ｐｅｔｒｉ网仿真器，利用机场终端区的Ｐｅｔｒｉ网图模型，进行机场终端区管理系统的仿真优化分析。     

基于Petri网和UML的工作流模型设计

介绍了工作流的概念及发展过程,讨论工作流建模的基本方法。重点分析Petri网和UM L在工作流模型设计过程中的应用,结合Petri网语义定义工具和图形化界面以及UM L的面向对象特点,形成基于Petri网和UM L的工作流建模方法。工作流模型的语义定义采用Petri网表达,给出工作流网的形式化描述。工作流系统的设计模型采用UM L进行定义,对于业务逻辑、执行过程、数据结构分别采用用户实例图、顺序图、类图进行描述。在工作流的实现上,采用软组件实现工作流服务组件的分布布置,并通过接口定义语言对功能组件中的服务进行发布。最后给出工作流的发展趋势,并计划开展工作流仿真和优化方面的研究。     

一种面向对象的产品结构与配置管理

面向对象的建模方法是目前较为先进的建模方法之一，本文针对目前产品数据管理（Product data man-agement）系统中的产品结构与配置管理模块存在的一些不足，根据面向对象建模的思想提出了一种基于一类产品的结构模型，即产品类属模型，以此为基础，提取产品类属模型中的各实体并建立相应的类，从而实现一种面向对象的产品结构与配置管理。     

惯性坐标系下的旋翼气弹稳定性建模

为了较好地描述直升机铰接式、无铰式及无轴承式旋翼的动力学特性，本文根据Hamilton原理。采用中等变形粱理论，用Chopra的15自由度有限元梁元进行离散，并将挥舞、摆振和变距铰运动作为广义坐标，采用二维准定常气动力模型，直接在惯性坐标系下，建立了旋翼气弹分析的动力学模型，并用Pitt—Peters动态入流模型计入动态入流对稳定性的影响。本文基于惯性坐标系的旋翼气弹建模方法简化了建模，方便地嵌入了动态入流模型。通过与Princeton粱实验数据、ITR旋翼试验数据和直升机分析软件UMARC的计算值的对比，验证了本气弹分析模型的正确性，指出误差来源于气动模型。     

动态可重配置MIS分析与设计建模研究

开发支持BPR的企业管理信息系统（MIS）的首要问题是，在系统分析和设计阶段建立能够有效描述业务过程动态变化的模型。本文提出与BPR相适应的、以业务过程为中心的企业MIS系统建模方案。以CIMOSA企业模型为基础支撑框架，对业务过程的划分进行了研究；在此基础上以面向对象方法为指导，提出了动态可重配置MIS系统分析与设计的早期阶段的基础性模型；对其基本的构成要素-对象类和它们的层次关系进行了定义和分析，并提出了进一步提取和构建更大粒度可复用单元（设计模式、组件、框架和体系结构等）的基本方向。阐述了该建模方法实现动态可重配置性的主要机制。     

研究计划管理系统的Petri网论法

本文以图的形式给出Petri网的定义;通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);用EPN模拟计划管理系统,用EPN仿真器构画计划管理系统的图模型、求系统的时间参数、进行系统的优化。     

面向对象有限元程序的设计及工程应用

在综述面向对象有限元软件研究现状的基础上，主要介绍了作者用ROSE软件工具、采用UML建模语言和C^＋＋语言所编制的面向对象有限元程序（Object-oriented finite element program，OOFEP），对产生的类作了必要的说明，对OOFEP软件框架的建立、程序C^＋＋代码的产生过程作了阐述，最后OOFEP程序进行某型号发动机某级压气机盘的应力应变分析。尽管目前的OOFEP程序的功能有限，但包含在OOFEP之中的面向对象的机制使得它比较容易扩充所需功能而日趋完善。研究工作表明：面向对象方法很适合于进行有限元程序的框架设计和代码编制，所编制的OOFEP程序可以对工程问题进行初步的应力分析计算。     

一种基于面向对象原理的PDM产品模型框架

面向对象技术在信息系统建模方面的应用越来越普遍 ,本文针对 PDM的发展趋势及存在的问题 ,结合面向对象技术的思想和方法 ,借用人工智能语义网络中的术语对对象与类的关系加以描述 ,分析了产品数据模型 ,并将其在 PDM系统中划分为项目、组织、工作流程、设计资源、产品类属构型、产品构型和文档等 7个视图 ;在此基础上 ,利用面向对象建模方法对各视图在 PDM中的实现进行了研究。     

用Petri网仿真方法实现机械加工系统的规划设计

为了保证所设计的机械制造系统(MMS)能够获得最大的经济效益,必须对系统进行合理的规划设计。本文首先引入MMS规则设计中的几点原则,以及计算机仿真涉及到的生产调度问题及其决策规则,论述各生产调度规则在Petri网模型中的实现方法。并对Petri网运行中的冲突问题引入了解决冲突的规则。其次,基于包括工件流和刀具流的MMS的Petri网模型,根据最小事件时间推进原理,实现Petri网模型的计算机动态仿真,即实现MMS的计算机动态仿真。最后,将仿真程序应用于仿真实例,从而有效地评价MMS的规划设计方案。