UML在C~4I系统总体结构设计中的应用

面向对象技术是当今应用于过程工程和软件工程的技术热点。简要介绍了C4 ISR总体结构框架和新兴的面向对象建模语言UML ,并把二者有机结合起来用于复杂系统的建模与设计 ;给出了基于两个建模规范的系统建模方法 ,把UML应用到高度复杂的C4 I系统总体结构设计中 ,提出了一个在总体结构框架指导下 ,从UML模型描述到应用Petri网进行定性分析的系统设计方法。     

面向对象Petri网在舰炮武器系统建模中的研究

研究并实现了一种基于Petri网的系统建模方法，它将面向对象技术与Petri网相结合，从而综合了两种方法的优势，降低了Petri网模型的复杂性，增加了Petri网的应用范围。舰炮武器系统是一种大规模的、复杂的并具有并发性、分布式、非确定性等特点的系统，因此我们应用面向对象的Petri网(OOPN)对其进行了建模。通过对舰炮武器系统的建模，我们发现面向对象的Petri网建模方法可以有效的降低系统模型的规模和复杂性。     

基于UML的飞机维修保障仿真研究

统一建模语言(UML)是一种基于面向对象技术的标准建模语言,其不仅可以在软件开发过程中使用,也可在复杂系统仿真中应用。参照面向对象Petri网的建模过程,提出了一种基于UML的仿真建模方法,通过UML状态视图描述各个仿真实体的状态变化,使用顺序图描述消息交互的时间性,并通过协作图连接各个仿真实体。文中将该方法应用于飞机的维修保障仿真过程,并根据所建立的仿真模型,对仿真系统进行了实现,得到了较好的效果。     

基于高级对象Petri网的工作流过程建模研究

通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.     

基于Petri网的维修保障系统建设方案研究

根据装备的使用要求和设计特性,建立了基于Petri网的装备维修过程模型,通过对该模型的分析,提出了Petri网的优先触发规则,并按照此规则规划了与装备使用要求相对应的维修保障系统建设方案.     

UML通信图和Petri网转换方法的研究

软件建模是软件开发中的一个重要环节。UML是一种很有效的方法,但由于缺乏形式化的语义,使得其应用受到一定限制。Petri网具有形式化的语义和成熟的分析技术,因此,研究了将UML通信图转换为Petri网的转换规则,还讨论了这个转换的逆转换,以及自动转换程序的必要性及可行性。从而使得在系统建模的早期阶段就可以利用Petri网的各种分析方法对系统模型进行分析验证。     

采用面向对象模糊Petri网的侦察平台Agent建模

为适应侦察平台Agent中各种知识的分类及知识动态更新过程的需求,采用一种自下而上的面向对象的模糊Petri网建模方法,不仅考虑处理中的侦察平台Agent推理规则,而且更注重其结构、子系统及相互通信方式.在分析侦察平台Agent模型及其知识推理系统的基础上,研究了面向对象的模糊Petri网建模的理论、建模步骤及示例.示例演示证实了模型的可行性与有效性.     

UML状态图至Petri网转化方法的研究

作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证.状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题,而Petri网作为一种建模工具,有着严格的形式化语义,而且有很多成熟的分析方法.本文针对UML2.0状态图模型,对状态图至Petri网转化方法进行了研究,并提出了将状态图转换为Petri网的算法.     

CPN-TOOLS在装备维修规划中的应用研究

有色petri网(CPN)理论是对离散事件动态系统(DEDS)进行建模的有利工具,针对装备维修保障系统的特点,将CPN理论引入装备维修保障系统的建模与仿真,应用CPN对该系统进行建模,并利用CPN—TOOLS对模型进行仿真,针对一个假定条件提出了维修人员方案的合理配置。     

基于UML的C3I体系结构着色Petri网建模方法

着色Petri网模型对于C3I系统体系结构的功能和性能评价具有重要意义。面向对象分析是构筑C3I系统体系结构的基本方法。论述了C3I系统体系结构的基于UML的面向对象的开发方法。给出了一种根据C3I系统逻辑体系结构的UML模型建立着色Petri网模型的方法。应用实例表明了该方法的可行性和实用性。     

基于HTCPN和Extend的装备保障系统建模与仿真

构建支撑装备保障问题分析和决策的仿真平台是装备保障研究和实践的一条必由之路。装备保障系统仿真模型是仿真平台的重要组成部分。针对装备保障系统的运行流程及其层次性特点,基于层次时阃着色Petri网（HTCPN）提出了一种建立在层次化、模决化和标准化基础上的保障系统Petri建模思路,在此基础上,基于Extend平台设计了装备保障系统仿真模型,说明了基本功能组成模块。最后,以舰艇海上巡航任务条件下的装备保障系统为例,实现了仿真模型NEISSM,开展参数敏感性分析仿真试验,获得了较好的结论,证明了仿真模型设计的合理性和可行性．     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于UML和多线程的AGVS仿真工具设计

基于AGVS的有色时延Petri网和有向图模型，使用面向对象的方法，以基于多线程技术计算机动画仿真功能为目标；以统一建模语言(UML)Rational Rose为工具，Design View和Process View为重点进行了AGVS仿真工具的设计。按照该设计实现的仿真工具已经成功的应用于AGVS的仿真研究当中。     

防空武器系统网络化协同交战建模与仿真

对网络化作战条件下，防空武器系统协同交战的过程进行了建模与仿真研究。首先综合运用IDEF0和IDEF3建立了系统的静态模型，然后通过提出一种随机着色Petri(SPN)，建立了协同交战过程的动态仿真模型。建模仿真分析表明，上述建模仿真方法为多防空武器系统的集成与分析提供了一种行之有效的方法。     

并行自动测试系统分层建模及性能评估方法研究

对于大型的并行自动测试系统,传统的系统组建方法单纯的依靠人工经验使得组建的系统容易发生死锁、资源冲突和饥饿等问题,逐渐不能满足需求。因此,提出了一种新的并行自动测试系统分层化建模方法,指导工程人员快速优化系统设计方案。应用该方法,工程人员只需要使用直观、浅显的UML语言设计测试系统功能结构模型,UML到Petri网模型的映射和Petri网模型对系统的评估等步骤都可以用相应的软件自动实现,简化了人工设计过程,提高了系统组建效率。最后,利用广义随机有色Petri网理论对并行测试系统进行了性能评估,与基于NI公司TestStand软件设计的并行系统进行了对比。

Abstract：

The process of the Parallel Automatic Test System’s construction and design is more complicated than the serial ATS,and it can not be completed depending on the traditional method only based on the people’s experiences because it will bring the deadlock,resources confliction,hunger and so on.A new hierarchical modeling method was proposed to instruct the engineer in the good design of system.In the method,engineer only used the simple UML to design the system’s functional structure model.The UML-Petri map process and the system performance evaluation was finished by software.It made the design process simple and improved the organic efficiency.At last,the generalized coloured stochastic Petri net （GCSPN） was used to evaluate the performance of system and is compared with the parallel system designed by TestStand software.The result embodies the advantages of the hierarchical modeling method.     

基于TCPN的装备维修保障资源管理模型

探讨了一种带优先级的时间有色Petri网,并利用其建立了一种装备维修保障资源管理模型,尔后利用CPNTools进行了仿真;分析了维修过程的总体运行、资源利用率等情况,提出了资源优化配置和调度的方法。     

HTCPN在装备保障业务流程建模与优化中的应用

研究了Petri网在装备保障业务方面的应用,针对装备保障业务特点,讨论了基于HTCPN的装备保障业务流程建模与优化方法,这种方法克服了普通Petri网建模的不足之处,既可以给出简单直观的模型顶层结构,又可以根据需要对模型进行不同程度的细化,并有利于对模型进行分析和仿真实现。研究了基于HTCPN的装备保障业务流程模型性能评价指标,以某型装备维修过程为例,建立了其HTCPN模型,通过仿真与定量分析提出了优化方案,并对优化前后的业务流程进行了性能对比。