Petri网中基于E-CSPE约束的数据流测试

定义了Petri网中E-CSPE约束机制,给出了一个在Petri网中基于E-CSPE约束的数据流测试指标。在准确描述分布式程序及运行的基础上,解决了用Rapps-Weyuker数据流测试指标引起的测试路径空间爆炸问题。     

基于 TPNs 与 Flexsim 的空间飞行器测试流程仿真

为了优化空间飞行器测试流程,建立了空间飞行器测试的时间Petri网模型。通过分析时间Petri网模型的相关矩阵,对模型进行了验证。根据Petri网建立的模型,利用Flexsim仿真软件,建立了空间飞行器测试的仿真模型,运行该模型,对仿真结果进行分析,验证了设计的仿真模型的可行性,同时还分析了测试设备和操作人员的利用率,为设计批量空间飞行器技术测试的优化模型提供了依据。     

基于赋时Petri网的装配序列规划符号求解

赋时Petri网非常适合装配序列规划问题的建模,然而组合复杂性严重制约了基于赋时Pefri网模型的装配序列规划问题的求解规模.OBDD能为Petri网的状态空间及装配序列规划过程中的数据提供符号表示,并在规划过程中实现隐式操作,有效地缓解了组合复杂性.通过将赋时Petri网中的赋时迁移用等价的赋时迁移结构代替,赋时Petri网转换为等价的普通Petri网,基于此提出符号有序二叉决策图OBDD装配序列规划算法,求解最优装配序列.     

基于Petri网的不确定时间工作流成本分析

为了实现对不确定时间工作流Petri网的成本控制,在原型Petri网的基础之上,基于模糊理论,通过建立模糊时间Petri网,实现对不确定性时间信息的全面描述.在考虑工作流具体运作的情况下,扩展模糊时间Petri网,设定定义在变迁集上的价格函数,从而提出不确定时间价格Petri网.而后规定了该网的化简规则和算法,并通过实例演算该流程.     

加权Petri网的字符串序列相似性度量

由于现有的流程相似性度量方法大多只关注流程的单一维度,缺乏对流程信息的综合考虑,使得流程检索的准确率还有待提高。在综合考虑结构信息和行为信息下,提出了一种高效率、多维度的加权Petri网的字符串序列的相似性度量方法。该方法首先将事件日志信息加权至Petri网,然后使用广度优先遍历将加权Petri网模型转换为字符串序列,再将该序列分为一个带权重的紧邻变迁对集和一个结构序列并分别计算相似度值,最后加权得到流程之间的相似度值。实验结果表明,该度量方法准确率达到99.51%。另外,该方法在时间复杂度上也有着不错的优势。     

基于模糊Petri网的模糊推理算法

运用模糊Petri网进行模糊推理,有利于知识表示结构化,推理过程清晰化,且具有高度的并行处理能力,但在现实世界中无法直接确定命题的真实程度.该文利用相似度原理以及连续函数对模糊Petri网作标识,根据带标识的模糊Petri网变迁触发规则得到系统输出.此外,当知识库所中增加新的规则,只须在原有的模糊Petri网中增加相应结点,对原来专家系统中知识维护有较大的帮助.     

基于模糊Petri网的模糊推理算法

运用模糊Petri网进行模糊推理，有利于知识表示结构化，推理过程清晰化，且具有高度的并行处理能力，但在现实世界中无法直接确定命题的真实程度。该文利用相似度原理以及连续函数对模糊Petri网作标识，根据带标识的模糊Petri网变迁触发规则得到系统输出。此外，当知识库所中增加新的规则，只须在原有的模糊Petri网中增加相应结点，对原来专家系统中知识维护有较大的帮助。     

工程陶瓷弯曲强度测试中不确定度的评定

简要介绍了测量不确定度的基本概念,对TiB2陶瓷弯曲强度测试结果的相对不确定度进行了评定,对于工程陶瓷这类测试结果离散性比较大的脆性材料,用高精度的精密仪器测试时,A类标准不确定度是合成标准不确定度的主要来源,为其他工程陶瓷力学性能测试结果不确定度的评定提供了参考。     

火箭发动机启动过程的部分可观Petri网故障诊断

针对液氧/甲烷膨胀循环发动机启动过程中存在的不可观事件和不可观运行状态,现有故障诊断方法仍存在诊断不准确的问题,提出一种基于部分可观Petri网的故障诊断方法.首先,将系统获取的观测序列分解为单位长度的基础观测序列,应用线性矩阵不等式计算与基础观测序列相符的点火序列集;然后,采用向前-向后算法拓展诊断区间、参数K限定故障诊断序列长度,通过分析点火序列集中不可观变迁是否正常点火,判定观测序列是否包含故障;最后,将部分可观Petri网故障诊断算法应用于液氧/甲烷膨胀循环发动机启动过程.结果表明:所提出的算法使计算复杂性缩小为原来的h_o~(-1)·e~(h_o-K),避免随状态空间复杂性增大而出现的状态空间爆炸问题,同时算法能进行实时跟随、在线诊断,诊断准确性可达到99.134%.     

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

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

Research of the Assembly Model Based on Petri Net

Assembly model plans an important role in assembly sequence planning.Flexible assembly system (FAS) is a dis- crete event system (DES),so Petri net,as an important analytical tool for the DES,is used for modeling of an FAS.All of the feasible assembly sequences can be obtained by firing the Petri net model.In order to enhancing the efficiency of the assembly sequence planning,knowledge-based Petri net,combining an usual Petri net with expert's knowledge and experiences,is proposed to con- struct the assembly model.So the feasible assembly sequences can be reduced greatly,and the optimum assembly sequence could be generated without the combinatorial explosion of solutions.     

可达树分析法及其在测试中的应用

介绍了数字电路故障诊断的Petri网模型和Petri网的分析方法之一——可达树分析法。该方法应适用于各种Petri网,但由于状态空间的复杂,其限适用于较小Petri网。并研究了可达树分析法在数字电路故障测试中的应用。     

基于Petri Net的BPEL流程建模与分析验证

设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.     

模糊Petri网的合成运算

模糊Petri网是Petri网的一个重要方向,该文将Petri网的合成运算拓展到模糊Petri网系统,定义了模糊Petri网的共享合成和同步合成,并利用子网的关联矩阵构造出合成Petri网的关联矩阵,简捷方便地刻画了模糊Petri网的合成运算特点。     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

Petri网不变式和状态方程的求解

不变式和状态方程的求解是Petri网分析中的基本问题. 研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式. 这些方法都是基于网关联矩阵的满秩分解. 讨论了Petri网系统状态方程存在整数解的条件,即可达性的一个必要条件. 该条件对于Petri网可达性分析有着重要的意义和价值.     

顺序任务梯形图的一种设计方法

基于Ｐｅｔｒｉ网理论和方法,研究了可编程序控制器程序设计语言的一种自动设计方法．首先把控制任务自动综合为Ｐｅｔｒｉ网,其次研究了由该Ｐｅｔｒｉ网到梯形图的转换算法．这种方法尤其适合于小型可编程序控制器,其改进后还可以处理更复杂的多路径顺序任务问题．     

故障Petri网的状态方程研究

在比较其它研究人员关于故障Petri网定义的基础上给出了新的故障Petri网定义,根据给出定义提出了确定故障Petri网状态方程的算法,并通过实例证明了所提出的状态方程符合故障动态传播的物理特性．     

利用不变量综合具有不可控变迁DES的Petri网控制器

基于Petri网模型,研究在具有不可控变迁的离散事件系统中实现一组不等式约束Petri网控制器问题,给出了一类Petri网位置不变量存在的必要和充分条件,基于路增益的概念,通过构造Petri网位置不变量的方法综合一类结构无竞争Petri网的控制器。