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

用模糊Petri网表示小卫星在轨故障诊断知识

为了提高诊断效率,对于小卫星在轨故障诊断系统中的具有模糊性和不确定性的诊断知识,用模糊Ｐｅｔｒｉ网代替常用的模糊产生式规则进行表示、存储和推理。同时以ＨＩＴＳＡＴ小卫星的电源分系统的故障诊断为例,证明该模型在小卫星在轨故障诊断系统中的有效性和可用性。     

一类模糊Petri网的动态特性及应用

提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子.     

模糊系统论

本文从讨论系统观出发,给出了一般模糊系统的形式定义和表示方法,全面讨论了模糊系统的静态结构、动态行为、学习机制、数字特征及问题求解过程等问题。论文还讨论了这种模糊系统的表示能力问题,证明了诸如逻辑电路系统、Petri网、H网、各种数据驱动的系统、用流程图表示的程序系统等都是这种系统的特例。论文提出的模糊系统及其“浸润式”执行机制为新型计算机系统的设计提供了一种新模式。一个物理的模糊系统可用一个由大量微处理器构成的互联网络来实现。为此,论文提出了一些具体实现这种系统的设想以及在已有计算机上进行模拟的具体设计。     

流程仿真的多层次PERT-Petri网模型

复杂流程中的工序持续时间有着很强的随机性,并存在资源约束问题。首先分析了常见的PERT和Petri网在流程仿真中的应用特点,提出了多层次PERT Petri网模型,给出了该模型的建模过程和递归仿真算法。该模型在上下层次分别采用PERT和Petri网对流程进行描述,充分利用了PERT直观简便的特点和Petri网在随机性和资源约束上的描述能力,有效地解决了复杂流程的建模与仿真问题。最后给出了一个例子,表明该模型更容易理解和构造。     

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

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

A Fuzzy Neural Model for Face Recognition

Introduction1 Nowadays, biometric (e.g., face, finger print, iris, palm)identification is becoming more and more important [1] [2] and there are numerous commercial and law enforcement applications. Compared with other biometric identifications, face recognition has attracted more attention for its characteristics ofuser-friendly, intuitionistic and convenient. Much work hasbeen done on face recognition over the last 20 years. Generally speaking, face recognition is composed of three procedure…     

基于多Agent的多机协同空战仿真系统设计和实现

设计了一种基于多Agent的多机协同空战仿真系统,分别对该系统的建模框架和仿真框架进行了构建。在建模部分提出了系统各类Agent的Petri网模型和基于知识查询处理语言（knowledge query manipulation language, KQML）的模糊通信机制,仿真部分则采用独立于建模框架的仿真信息控制结构和小规模协同分配算法实现。仿真结果表明,该系统与实际符合较好,仿真速度和精度高,验证了该系统的有效性。     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

基于Petri网的并发系统控制器设计

针对并发系统的死锁现象,通过原系统Petri网模型的状态可达图和行为规范,产生目标系统的可达图,进一步生成控制器的Petri网模型。同此为这类问题的控制器Petri网模型的生成提供一条有效途径。     

模糊模型辨识中模糊聚类方法应用分析

模糊聚类算法已广泛应用于模式识别、数据聚类以及从数据中提取模糊规则的过程。介绍了基于模糊聚类的非线性系统模糊辨识方法 ,并通过著名的Box和Jenkins煤气炉数据仿真实例详细研究了模型性能指标与输入变量及模糊聚类数之间的关系 ,指出了应用模糊聚类方法的优势与不足。对于模糊建模中正确应用模糊聚类方法具有重要指导意义     

用于前向网络的自适应模糊训练算法

在对前向网络的学习机制和寻优机制进行研究的基础上,提出了一种自适应模糊加速训练算法,可在网络学习过程中,通过模糊推理,对网络拓扑结构、学习因子、惯性因子及激励函数进行自适应调整,实例验证表明该算法具有收敛速度快、不易陷入局部极小、网络综合性能好等特点.     

基于模糊有色Petri网的不确定性学习和推理方法

模糊Petri网模型可以用于模糊推理,但在Petri网中不得不用独立子网表示所有类型的过程,即使这些过程具有相同的行为,这导致整个Petri网变得很大.文中提出基于模糊有色Petri网的不确定性推理方法和基于遗传算法的学习过程.在减少网络规模,计算时间和克服解释网络困难的同时,它能保持等量的信息,提供结构化的表示,使知识库中的规则之间的关系易于表示.     

基于模糊规则的双机格斗行为建模方法研究

研究了基于模糊规则的双机斗空战行为建模方法，提出了一种用模糊规则建立的三层决策模型，并运用遗传算法对层飞机状态模糊控制器进行了优化。文中给出了实验仿真结果，结果表明这种用模糊规则建立的行为模型产生了逼真的空战格斗行为。     

机场行李流程仿真建模和分析

仿真建模在机场运行中的运用日趋增多,但此类仿真系统大多以旅客和飞机为仿真的实体,行李流程的仿真建模则很少。以行李为仿真对象,以Petri网为建模工具,应用事件调动仿真策略,对行李流程进行了建模,并在Service Model平台上实现了浦东国际机场行李流程仿真系统。最后进行了大量的仿真试验,仿真结果较真实地再现了机场的实际运行情况,得到了进出港行李流程的行为特性,对于行李系统的规划设计以及行李系统的日常运行具有重要参考价值。     

着色Petri网在性能评价中的应用

着色Petri网作为一种高级Petri网,引入了时间,颜色集,层次结构等概念,并与编程语言相结合,使之更适合对大型复杂系统的建模与分析,具有更强的数据处理能力。利用CPN Tools为模型加入多个数据监控器（Monitor）,得到多种相应的性能分析结果,从而使得对系统性能的分析更加精确,同时实现了对系统行为仿真和对系统行为监控的完全分离,解决了通过马尔科夫过程求解进行性能分析得局限性的问题。     

模糊定性建模与仿真集成实现

定性推理是使用定性模型 ,推理演绎物理系统以获取有用信息的技术 ,在系统诊断、功能行为仿真、产品设计与分析等领域得以广泛应用 .其面对的主要挑战是定性模型构造比较困难 ,仿真效率不高 ,得到有效解的仿真过程代价较大 .本文就此进行了研究 :利用模型片断库和面向对象的方法实现图形化建模环境 ,使得建模过程直观且易操作 ;采用模型定性仿真技术 ,拓展了传统定性仿真算法 ,提高了仿真效率 .文章最后给出软件实现和实例验证 .     

Fuzzy Modeling of Non-Uniformly Sampling Nonlinear Systems Based on Clustering Method and Convergence Analysis

The studying motivation of this paper is that there exist many modeling issues of nonuniformly sampling nonlinear systems in industrial systems. Based on multi-model modeling principle,the corresponding model of non-uniformly sampling nonlinear systems is described by the nonlinear weighted combination of some linear models at local working points. Fuzzy modeling based on multimodel scheme is a common method to describe the dynamic process of non-linear systems. In this paper, the fuzzy modeling method of non-uniformly sampling nonlinear systems is studied. The premise structure of the fuzzy model is confirmed by GK fuzzy clustering, and the conclusion parameters of the fuzzy model are estimated by the recursive least squared algorithm. The convergence perfromance of the proposed identification algorithm is given by using lemmas and martingale theorem. Finally, the simulation example is given to demonstrate the effectiveness of the proposed method.     

航空电子综合化数据传输网络建模方法研究

采用Petri网理论对航空电子综合化数据传输网络系统的建模方法进行研究。通过对研究对象的基本假设、研究对象与Petri网理论之间的关系,给出了航空电子综合化数据传输网络系统的Petri网模型