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

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

基于PHM的航空电子装备维修保障系统建模研究

对基于PHM的航空电子装备维修保障系统进行了可视化分析与建模,利用统一建模语言(UML)建立了系统功能需求、静态结构和动态行为的模型,为本系统及同类系统的实现提供了有效参考。     

基于引用Petri网的导弹攻防对抗仿真研究

导弹攻防对抗是一个攻防双方相交互的复杂动态系统,尤其对于交战级仿真,会涉及到更多的对象及其交互.Petri网是一种图形化的描述,具有并发、分布、不确定性等特征的复杂系统的有力工具,通过将传统Petri网理论同面向对象技术相结合,形成了面向对象Petri网.引用Petri网作为具有面向对象特征的Petri网的一种,具有更多优良的特性.应用引用网的基本理论,探讨了引用网在导弹对抗仿真中的应用,完成了一个攻防对抗算例的仿真研究.     

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

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

基于UML的无人机飞控系统建模

针对无人机飞控系统功能及其复杂而又难以比较全面的描述,提出利用面向对象统一建模语言UML对飞控系统进行建模,可直观地描述飞控系统,并可以从不同角度较全面地描述飞控系统。首先简要介绍了飞控系统的原理和功能,在此基础上,利用UML例图、类图、协作图、顺序图、活动图,分别从整体、静态、动态角度描述了飞控系统。使用这种方法对飞控系统建模可应用在无人机系统仿真建模中,对无人机系统仿真建模具有积极的研究意义。     

事故推演建模技术研究

 在总结现有事故模型、复杂系统特性分析的基础上,提出基于系统学的事故模型——事故推演模型,该模型强调从分析系统各组成部分的耦合关系及系统涌现特性的角度揭示事故是如何发生的。针对目前尚缺乏成熟的方法来支持基于系统学的事故分析的现状,建立了与事故模型匹配的事故推演建模方法,层次化面向对象的Petri网（HOOPN）,给出HOOPN的形式化描述,分析了HOOPN对事故推演建模的支持能力,介绍了基于HOOPN的事故推演建模程序。最后利用HOOPN建立民用航空器盘旋进近过程的事故推演模型,并对模型进行定性分析,验证该方法的适用性。     

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

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

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

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

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

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

基于UML的网上选课系统的研究与设计

UML统一建模语言,是软件分析设计中的标准语言,可用于软件分析、设计和实现的全过程.通过网上选课系统开发实例,介绍了如何应用UML的方法,设计和开发一个软件模型.实践证明,在基于RUP以体系结构为中心的建模方法的指导下,应用UML丰富的可视化建模元素,可以快速、准确地构建面向对象的应用模型.     

装备保障系统配置管理模型

对装备保障系统分解结构进行了研究,分析了装备保障系统分解结构建立过程中的配置管理需求,抽象出了装备保障系统配置管理的范树模型,根据保障系统数据结构的特点建立了信息模型,利用统一建模语言(UML)中的活动图建立了保障系统配置管理的过程模型,并给出了基于飞机装备保障系统配置管理的实际简化案例,可以为保障系统自上而下的设计过程提供建模指导,对保障系统设计过程中多系列、多方案、多视图的繁杂产品数据配置过程进行有效的处理.     

飞机维修保障远程技术支援系统建设方案初探

现阶段部队外场新换装飞机使用维修保障支持难度大、外场服务保障能力有限等问题日益凸显。依托信息化技术的发展,建立飞机维修保障远程技术支援系统,是解决上述问题的有效途径。本文从飞机维修保障远程技术支援系统组成及功能、系统构成及关键技术和系统工作流程三方面对系统建设方案进行了初步探索。     

基于扩展的UML活动图的质量工作流建模

本文使用了UML类图表达了工作流参考模型,统一了UML活动图与工作流过程模型的概念,并根据工作流的概念扩展了UML活动图,弥补了活动图的不足,并以实例说明。     

基于UML自动化立体仓库管理系统的建模方法

本文结合实例讨论了运用UML的机制为复杂系统建模的方法。建立了自动化立体仓库管理系统的分析模型，并给出部分用倒图、类图以及交互图。简述UML技术与软件复用的关系。     

基于UML的航空发动机仿真建模研究

面向对象建模技术是建立可重用和扩展灵活的航空发动机仿真软件的有效途径。本文论述了应用可视化面向对象统一建模语言(UnifiedModelingLanguage)建立航空发动机仿真软件模型的方法和过程,首次运用UML表示法中的用例图、类图、顺序图和活动图描述了发动机仿真软件模型,并用C++编程实现了仿真软件中发动机模型类库、算法类及图形界面类,在此仿真平台上成功的实现了某双轴涡扇发动机的稳态仿真和动态仿真。结果表明,UML是建立扩展灵活的发动机仿真软件的有力工具。      

顺序图的形式化方法描述

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.     

工作流执行逻辑的实现

介绍了工作流技术及对象管理组织(ObjectManagementGroup,OMG)工作流管理设施的模型,采用统一建模语言(U nifiedModelingLanguage,UML)的静态类图分析了工作流执行中各个对象的联系和对应关系。在这个基础上,探讨了工作流的执行逻辑的实现,并给出UML的顺序图描述。     

基于UML的电子商务系统设计

随着互连网的日益普及 ,越来越深刻而广泛地影响到人们生活的方方面面。电子商务作为互连网世界中的一颗璀璨的明珠 ,将从根本上改变几千年来形成的传统商业模式 ,充分体现现代科学技术给人们生活带来的便利。UML是一种定义良好 ,易于表达 ,功能强大 ,且适应广泛的建模语言。文章介绍了UML定义的 5类、共10种模型图 ,给出了构建电子商务系统的步骤 ,对其应用进行了评价和展望。