诊断多智能体重构过程的Petri网模型

为适应故障诊断中动态变化的环境和满足求解复杂系统全部任务的要求,本文以诊断决策问题的结构及建模过程的层次性为基本思想,提出用立体分层Petri网作为可视化建模支持工具支持嵌套式建模,研究了诊断系统重构的立体分层Petri网框架,并详细分析了诊断系统资源调度的Petri网模型、多智能体诊断系统重构的Petri网模型以及功能智能体执行重构的Petri网模型,全文通过实例说明了Petri网模型的设计方法,最后给出了立体分层Petri网模型的求解方法。     

基于通信的列车控制系统的有色Petri网模型的研究

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN／Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台奠定了良好的基础。     

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

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

同步及共享合成操作对Petri网汇合性质的保持性

若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。     

基于Petri网的作战单元状态模型及可用性分析

以作战单元为整体研究其可用性具有重要意义.提出了作战单元可用性分析的Petri网建模方法,建立了不同基本任务可靠性关系下的系统状态Petri网模型和以此为基础的复杂任务关系模型.研究了复杂维修保障过程模型的简化分析方法,推导了简单GSPN模型的可用度解析算法.最后,应用实例对模型的解析方法进行了验证.     

网格计算资源调度方案及其Petri网建模与分析

通过对现有网格计算资源调度方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点。利用Petri网这一具有描述并发、异步、动态等事件能力的图形与数学工具,对所提出的调度方案进行了模拟与分析。为不同层次的调度者构造了不同的扩展有色时延Petri网模型,并利用Petri网的共享合成技术得到整个系统的Petri网模型。同时给出了资源调度所对应的Petri网的可达任务图的概念,利用可达任务图,分析了诸如吞吐量、负载平衡、调度时间等资源调度的一些重要特性。     

基于Petri网共享合成的网格计算资源调度方案

网格计算资源具有分布、异构、动态、自治等特点,一方面需要一个有效的资源调度方案,另一方面需要强有力的图形与数学工具对其进行建模与分析.通过对现有方案的分析,提出了网格计算资源的三层调度方案,该方案与已有的方案相比,更能体现网格资源的特点.为不同层次的调度者构造了不同的有色时延Petri网模型,并利用Petri网的共享合成得到整个系统的Petri网模型.通过对Petri网可达性的分析,获得如吞吐量、负载平衡、调度时间等资源调度的一些重要特性.     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

敏捷后勤系统的分布式仿真体系结构

针对敏捷后勤分布式仿真系统的构造需求,分析了仿真体系结构及系统描述方法的研究现状。应用主体信念-目标-意图(belief-desire-intention,BDI)的Petri网建模方法建立了描述敏捷后勤系统智能和分布特性的Petri网模型。在此基础上,提出了基于高层体系结构(high level architecture,HLA)的敏捷后勤系统分布式仿真体系结构,给出了该类系统的仿真策略。该仿真体系结构将集中式仿真和分布式仿真相结合,较好地反映了敏捷后勤系统的智能性、层次性、分布性、自治性、交互性、动态性等特性。     

大型复杂系统平均寿命评定的Monte Carlo方法

随着现代武器系统和工程系统的大型化与复杂化趋势，大型复杂系统可靠性评定是急待解决的问题，工程中常用可靠性指标有可靠度和平均寿命，平均寿命指标由于直观、物理概念清晰，使用更加方便。基于可靠性框图建模，采用最小路集计算分析，提出了大型复杂系统平均寿命评定的Monte Carlo方法。解决了有限样本条件下，大型复杂系统平均寿命评定问题，对工程中大型复杂系统平均寿命评定具有重要应用价值。     

基于广义连续时间贝叶斯网络的指挥控制网络系统可靠性分析

指挥控制网络作为典型的复杂网络系统，其可靠性通常可以利用动态贝叶斯网络(dynamic Bayesian network, DBN)来分析。由于DBN并不能很好地解决包含时间和非时间事件的指挥控制网络系统可靠性问题，因此提出一种具有二态条件概率表的广义连续时间贝叶斯网络(generalized continuous time Bayesian network, GCTBN)的建模方法。在此模型的基础上，得到了不同逻辑门的可靠度算法求解，进而针对指挥控制网络系统提出了无线电传播、通信设备以及网络的可靠性分析方法，从而综合地考虑到指挥控制网络执行不同任务的可靠性问题。通过对指挥控制网络可靠性问题的实际案例分析，验证了所提方法的有效性。     

Modeling workflow using XML and Petri net

Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.     

装备基本任务单元可用度Petri网仿真模型及应用

提出了装备基本任务单元可用度建模方法,建立了基于使能延迟机制的Petri网理论模型。基于ExSpect(executable specification tool)仿真语言的托肯时间戳延迟机制,通过模型转换建立了基本任务单元可用度分析仿真模型。应用模型研究了作战任务要求和维修力量配置对基本任务单元可用度的影响,分析了基本任务单元与单装可用度分析的差异,揭示了导致不同层次可用度综合差异的内在机理。结果表明,模型形象、直观,物理意义明确,具有通用性和可拓展性,是装备基本任务单元可用度分析的有力工具。     

基于资源预留的成像卫星鲁棒性任务规划方法

随着新型成像卫星的智能化发展,成像卫星鲁棒性任务规划是一个迫切需要解决的理论和实践问题.综合考虑卫星姿态转换时间,固存和电量等约束条件,建立了成像卫星鲁棒性任务规划模型.在保证任务规划收益最大化的前提下,提出了一种基于资源预留的成像卫星任务鲁棒性规划方法.基于任务之间卫星的转换时间约束及资源预留规则,保证资源的高效利用及地面观测任务的有效安排.通过对不同规模的实例进行求解,实验结果表明本方法具有很好的鲁棒性.本文方法对其它相同类型相关问题具有指导及借鉴作用.     

IDEF3过程模型转换为对象Petri网模型方法研究

IDEF3过程模型是描述复杂、并发系统业务逻辑强有力的建模工具,具有完备的建模语义,在业务建模中有广泛的应用。然而IDEF3过程模型虽然描述了系统的复杂业务过程,却没有对业务过程的动态逻辑,特别是随着时间的演变,业务过程能否正确、合理地反映系统的需求进行描述。提出了一种如何将IDEF3过程模型转换为对象Petri网模型的方法,给出了转换规则和步骤。并利用对象Petri网模型对大型、复杂并发系统强有力的建模、仿真能力,对转换后的IDEF3过程模型进行执行,获取了IDEF3过程模型的行为特性。     

任务调度启发式信息的卫星数传ACO算法应用

针对卫星数传调度问题,建立了任务调度启发式信息体系框架,提出了基于任务开始时间、任务调度收益、任务可用资源灵活度和任务调度冲突度的启发式信息,研究了任务调度启发式信息在卫星数传蚁群优化算法中的应用。针对不同规模场景的仿真结果表明,任务调度启发式信息有助于蚁群算法求解卫星数传调度问题。     

大型复杂系统多态可靠性快速评估算法

开展装备系统可靠性评估工作, 对于发挥装备固有性能、提升装备使用效能、降低装备管控风险, 具有重要工程应用价值。针对大型装备复杂系统, 通过构建面向不同耦合结构的极限序列核和极限可靠度逼近函数, 探索了一类计算资源要求低, 计算便捷, 且逼近精度满足工程需要的多状态可靠性建模、分析与快速评估方法。案例研究表明: 算法突破了装备复杂系统大维度可靠性解算技术瓶颈, 提升了可靠性评估效率, 且评估与风险预报效果好; 算法丰富了装备复杂系统多状态可靠性建模、分析与评估体系, 可为可靠性工程的设计、使用与管理人员, 提供前沿理论储备和工程技术借鉴。     

面向任务的装备体系作战能力需求满足度分析方法

针对军事威胁的不确定性与模糊性和武器装备体系作战能力目标的抽象性,以任务需求为牵引,提出了一种面向任务的武器装备体系作战能力需求满足度分析方法。通过构建作战能力与作战任务质量屋,构建了面向任务的作战能力需求分析与指标权重计算模型;通过固有作战能力与作战能力需求的对比分析,提出了面向任务的作战能力需求满足度模型;进而提出了面向领域的多维度作战能力分析方法,实现了武器装备体系整体作战能力与领域作战能力的综合分析。最后,以某地面突击装备体系作战能力分析为例,分析了该方法的可用性与有效性。