基于有色Petri网的项目投资决策仿真分析

在应用净现值辅助投资决策时，为了综合考虑决策者的市场敏感度、风险偏好以及项目滚动开发的特征，在分析项目运行过程特性基础上建立了基于有色Petri网的过程动态模型。模型描述了项目投资回收的总过程，综合考虑了5个影响项目运行的因素: 项目本身的投入-产出关系、市场因素对项目产出的影响、项目再生产能力、决策者对市场的把握和决策者自身的风险偏好。设计了过程模型的计算机仿真框图来预测项目净现值。实例分析表明，模型误差较小，结果精度较高；基于有色Petri网的过程动态模型可以作为辅助投资决策的有效工具。     

一种基于有色Petri网的工作流网模型

使用工作流网（WF-nets）描述工作流的业务流程时，可能产生由于托肯含义的不确定性而导致的工作流逻辑的二义性。在分析产生这种二义性原因的基础上，定义了一种基于有色Petri网的工作流网模型CWF-nets，给出了严格的定义和变迁发生机制，并分析了其正确性。利用CWF-nets可以准确描述业务流程的工作流逻辑，且这种逻辑结构与工作流具体案例的属性数据无关，避免了上述问题。     

雷达装备战场抢修等级量化决策研究

针对雷达装备战场抢修(battlefield damage assessment and re-pair,BDAR)中存在的问题,结合雷达部队组成和部署的特点,定义了雷达装备的战场抢修等级,分析了影响抢修等级决策的要素及其在抢修时间计算模型中的贡献关系,建立了抢修等级决策的数学模型,为上级决策层提供了决策依据.最后,通过实际应用实例,说明了该决策模型的可行性.     

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。     

基于面向对象技术与有色Petri网的FMS建模

在柔性制造系统建模中，结合应用面向对象技术和有色Ｐｅｔｒｉ网。提出了该建模方法在ＦＭＳ中的应用思路和步骤：运用思想将ＦＭＳ抽象化、对象化并从整体上规划对象间的信息交流，建立系统级信息Ｐｅｔｒｉ网模型；在此基础上，建立了对象内部行为的有色Ｐｅｔｒｉ网模型。     

基于着色Petri网的反导预警信息流转仿真与效能评估

为有效评估反导作战预警信息流转效能,分析了反导预警的作战过程,建立了基于着色Petri网(colored Petri nets,CPN)的反导预警信息流转模型,并用仿真软件对所建立的模型进行了仿真．通过优选效能评估指标,对反导预警信息流转CPN模型进行效能评估和优化．结果分析表明,适当减少用户的数量和传递层级,可以增加信息在用户之间的流转速率,以满足反导预警作战的时效性要求．     

基于有色Petri网建模的AGVS优化调度规则研究

针对烟草行业卷接包生产车间的自动化物流系统，提出了基于有色Petri网建模的方法，设计出了一个有铲的AGVS优化调度规则专家系统，有效地提高了物流系统的生产效率。     

基于BP神经网络的战场网络攻击效能评估

战场网络攻击效能评估是网络攻击研究的重要内容.为了评估战场网络攻击效能,构建了战场网络攻击能力评估指标体系,提出了基于BP神经网络的评估方法,给出了构造样本的方法,并用构造的样本对BP神经网络进行训练,最后利用Matlab软件对该网络进行了仿真.通过与模糊综合评判法得出的评估结果相比较,验证了该方法的有效性.该方法减少了评估中人为因素的影响,使评估结果更可信.     

工程装备战场抢修能力评价及优化模型研究

针对工程装备战场抢修能力评价及优化问题,采用基于Frank-wolfe及其改进的算法,构建了抢修能力评价及优化的基本模型,推导了模型的一阶最优性条件,并对模型进行了静态网络扩展,最后通过实例对模型进行了验证。     

着色Petri网模型驱动的云测试生成方法与实现

为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

基于Petri网的多Agent系统设计与实现

以面向对象Petri网OPN为语义基础,从软件体系结构的角度,建立了一种直观的多Agent系统模型MASM,可以形象地描述Agent的内部结构和动态行为。为了缩小形式化模型与系统实现之间的差距,基于MASM设计了一个多Agent系统开发工具箱MASDT,提供了多Agent系统的基本实现框架。利用MASM对智能加油站系统进行建模和分析,并用MASDT开发了智能加油站系统原型,证实了所提出的一系列理论和方法对于实际系统开发具有一定的指导意义。     

Formalization and Verification of Business Process Modeling Based on UML and Petri Nets

In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

基于随机Petri网的冗余备份系统可信赖性研究

可信赖性的度量能客观反映冗余备份系统的可信性,是评价冗余系统服务能力的主要准则。随机Petri网（SPN）对系统的并发性、异步性和不确定性具有很强的动态分析能力,特别适合系统建模和可信赖性分析。讨论了冗余备份系统的概念及其随机Petri网描述,采用SPN对冗余备份系统进行建模和分析,在模型分析的基础上给出冗余备份系统的可靠性、可用性、可生存性、平均故障间隔时间等各种可信赖性重要指标。实例研究表明备份部件所处不同的状态会导致冗余备份系统具有不同的可用性。     

基于改进ADC方法的某型特种装备作战效能评估

为了在复杂电磁环境中更好地发挥某型装备的作战效能,提高某型装备在现代战争中完成任务的能力,针对某型装备使用环境的特点,借鉴有关作战效能指标体系设计方法,分析了对抗条件下战场环境对装备作战效能的影响,建立了某型装备作战效能的指标体系,提出了一种改进ADC模型.通过实例分析验证了该方法的正确性和有效性.这为某型装备的作战效能评估提供了科学决策依据     

基于效能仿真的航天装备体系效能评估方法

体系效能评估是航天装备体系发展的一项重要工作。首先分析了航天装备体系效能评估逻辑；然后运用多Agent建模思路，讨论了航天装备体系效能仿真框架；接着基于体系效能仿真建立了仿真统计信息表，并采用粗糙集方法处理仿真统计信息，获得效能评估规则；最后基于效能规则建立了基于模糊系统的航天装备体系效能评估方法，为体系效能评估提出了一个新方法。