基于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模型的状态图和顺序图,描述地面导航装备维修系统组织结构和系统的静态特征。最后验证了这种方法在地面导航装备维修保障系统建模应用中的实效性、科学性。     

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

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

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

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

基于赋时可重构Petri网的可重构制造系统建模

系统建模是可重构制造系统生产管理控制技术的基础。分析了可重构制造系统的建模需求,提出基于赋时可重构Petri网的可重构制造系统建模的方法。该建模方法是先建立可重构制造系统当前系统的赋时可重构Petri网模型,再通过修改其建模元素得到可重构制造系统重构后系统的赋时可重构Petri网模型。实例研究表明基于赋时可重构Petri网的可重构制造系统建模方法能够满足可重构制造系统的建模需求,因此它是可重构制造系统的正确的形式化表示。     

基于Petri网的建模方法在叶片制造流程重组中的应用

采用基于Petri网的流程建模方法,结合数字化条件下叶片工艺流程设计与评估的相关理论,对叶片制造流程进行重组,并绘制流程框图.利用可达树对Petri网模型进行死锁分析,从而减少流程重组的盲目性和风险.最后通过工程事例说明Petri网模型的死锁分析过程.     

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

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

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

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

基于数据分发服务动态发现的通信监控设计

数据分发服务（DDS）在复杂航电系统中的应用越来越广泛，其以数据为中心的发布/订阅机制，解决了复杂系统异构、分布式、动态扩展、互操作和可移植的问题，同时也带来了系统描述和通信监控的困难。基于DDS实体动态发现的原理，提出了一种能够动态构建应用主题类型化接口，实现对网络中DDS实体间通信进行监控的通用设计方法。该方法能够满足基于DDS网络的通信监控需求，提高复杂系统快速集成和联调排故的效率。     

一个面向服务的DCPS信息库的设计与实现

DDS是对象管理组织（OMG）针对实时数据分发系统制定的一个规范。DCPS信息库节点是DDS系统的核心服务节点，保存了系统内所有节点的状态信息。从面向服务的角度，提出了一个DCPS信息库的设计方案，定义了一个全局数据空间，并通过对全局数据空间的维护实现了分布式系统空间解耦合、动态扩展的特性。基于DCPS信息库搭建了一个发布订阅系统，分析了系统运行的实时性。结果表明，设计方案可以保证节点间高效、快速的进行数据分发。     

基于用户的细粒度可控群体感知模型

综合分析了国内外群体感知机制的研究现状,提出了一种基于用户的细粒度可控的群体感知模型.该模型基于多成员组成的有机群组结构和事件处理机制,通过对用户的角色和任务分解来计算协作感知强度,构建高效的群组感知网络,避免产生和发送无效的感知信息.模型对授权用户的感知行为有良好的支持,同时还支持感知信息的订阅/撤销,对用户的感知信息提供过滤机制.     

民用飞机起落架设计与适航

民用飞机的适航认证是非常重要的,没有得到适航许可的民用飞机不能投入使用。而适航工作从飞机方案设计阶段就应相应开展。本文通过AC-500公务机起落架的方案设计来说明新机起落架方案如何考虑适航条款,才能设计出既满足飞机性能技术指标要求,又满足适航部门颁布的适航条款要求的起落架。     

基于DDS的实时中间件的研究与设计

为满足分布式实时应用的需求,项目管理组（OMG：ObjectManagementGroup）提出并发布了实时系统用数据分配业务（DDS：DataDistributionServiceforReal-timeSystems）规范。基于该规范,本文研究了发布／订阅系统的理论模型,设计了一个灵活、可靠的实时中间件（RTDDS...     

Material optimization: bridging the gap between conceptual and preliminary design

This paper presents a collection of tools for conceptual structure design. The underlying model is the ‘free material optimization’ problem. This problem gives the best physically attainable material and is considered as a generalization of the sizing/shape optimization problem. The method is supported by powerful optimization and numerical techniques, which allow us to work with bodies of complex initial design and with very fine finite-element meshes. The computed results are realized by composite materials. We consider a particular class of fibre-reinforced composite materials, manufactured by the so-called tape-laying technology. In the post-processing phase, stress/strain-trajectories are plotted which indicate how to place these tapes; they also show the proposed thickness of the tapes. Several examples demonstrate the efficiency of this approach to conceptual design of engineering structures.     

开放式飞机总体设计环境的原型研究

 为综合集成飞机总体设计过程中所使用的各种设计分析工具以更大程度地发掘软件资源的技术价值、提高设计质量和设计效率,提出了采用开放式系统进行资源整合的方法。分析了飞机总体设计中软件应用所存在的问题及典型集成系统发展现状,定义了飞机总体设计中的模块、组件、子系统等功能实体单元及开放式系统架构的概念,并以此为基础设计了包含资源层、中间层、应用层和协同层4个层次的系统软件架构以及构建于网络之上的系统硬件架构体系。规划了系统集成与数据传输逻辑,提出了采用智能体进行飞机总体设计分析工具集成的途径,完成了包括组件自定义开发、方案设计和任务管理在内的各子系统构建逻辑并实现其正常运转。最后给出了基于系统开放式架构所形成的战斗飞机总体设计环境以说明系统集成的可行性及应用前景。     

System Considerations for the New DME/P International Standard

The International Civil Aviation Organization (ICAO) has completed technical standards for the precision distance measuring equipment (DME/P). The DME/P is an integral element of the microwave landing system (MLS) and will provide the precision ranging function to complement the already standardized azimuth and elevation guidance functions of the system. In 1978 an ICAO meeting concluded that the DME/P should be integrated into the existing standards for the conventional DME (DME/N) as a compatible service. The motivation for this was economic. It was reasoned that a single L-band airborne unit could satisfy the need for both existing enroute and the new precision approach and landing services, thereby avoiding unnecessary duplication of on-board ranging equipment. Furthermore, this approach would permit existing conventional airborne equipment to obtain service from the new DME/P ground facilities at least during the initial stages of MLS implementation. These compatibility requirements were later incorporated into the DME/P statement of operational requirements which was accepted at an ICAO meeting in April 1981. Further, they have been a primary focus in the DME/P standardization effort which has been actively pursued since late 1980. The conceptual design of the DME/P that evolved from the ICAO process is discussed here. The comptability issues are highlighted, and it is shown how they are accommodated in the system synthesis which also treats the obvious need for a guidance function of high integrity and robust performance in the severe multipath environment encountered in approach and landing operations.     

基于全寿命周期成本的民用飞机总体参数优化

针对民用飞机给出了其全寿命周期成本的计算模型,并提出了以该模型为目标的面向民用飞机总体参数的优化方法。同时,在Matlab开发平台上,开发出了该方法所需的遗传算法优化程序。为检验该方法的有效性,本文在历史数据的统计分析和处理的基础上,基于回归分析给出了相关公务机总体参数的估算公式,并以该类飞机为案例进行了计算。计算结果表明,优化方法可行,结果有一定的实际意义,可为飞机总体设计参数的选取提供一种依据。     

A methodology for constructing the aircraft design schema

Aircraft collaboration design is based on a unified set of schemas containing data and model representations and interfaces across disciplines. The aircraft design schema is a central data model that specifies the paradigm for the representation of a full lifecycle model of aircraft design. The construction of the schema currently lacks theoretical guidance. This paper designs a novel methodology to construct the aircraft design schema, a fully functional, logical, and self-consistent methodology. The methodology defines a schema matrix that includes implementation strategies, principles, processes, meta-object facility, views, scenarios, and products. The aircraft conceptual design schema is constructed according to the methodology, which is a hands-on approach to help understand the concept and implementation. The features of the methodology are analyzed, and the methodology and the aircraft conceptual design schema are presented to address the pain points of multiple solution trade-offs, multiple iterations, and multidisciplinary coupling in aircraft conceptual collaboration design.