基于分解的连续Petri网性质分析方法

讨论了最大速度恒定连续Petri网（CCPN）的分解方法以及如何通过子网分析得到原网的性质。首先给出基于库所归属的分解方法,实现了CCPN的分解。为了保证通过子网分析原网的正确性,对合成网的动态不变性进行了证明,并证明了CCPN子网结构性质与原CCPN网性质的对应关系。最后以实例验证了通过子网分析原网的正确性。     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Petri网,并用它为一类混杂系统建模:宏观为Petri网;微观为变形的线性时不变状态方程.同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程.     

基于混合随机Petri网的一类混合系统的模型及稳定性

混合动态系统是包含离散事件系统（ＤＥＳ）和连续变量系统（ＣＶＳ）的复杂系统。讨论了一类每个离散状态包含一个连续动态系统,且离散事件具有Ｍａｒｋｏｖ链性质的随机混合系统,在提出利用混合随机Ｐｅｔｒｉ网的建模方法的基础上,给出混合均方稳定的概念、稳定性和可镇定条件,最后以一个简单的例子做子说明和仿真。     

一类受控Petri网的控制器设计

通过挖掘Petri网的内在的结构特性, 获得了一种新的解决禁止状态避免问题的控制器设计方法. 这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计. 在非并发的假设条件下, 所综合的控制器是最大允许.     

一类受控Petri网的反馈控制综合方法

讨论受控Ｐｅｔｒｉ网的一类禁止状态避免问题，该类禁止状态用广义互 约束的形式给出。     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Ｐｅｔｒｉ网，并用它为一类混杂系统建模：宏观为Ｐｅｔｒｉ网；微观为变形的线性时不变状态方程．同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程．     

位置互连Petri网的分散与协调控制

本文引入位置互连Petri网,对能用位置互连Petri网描述的离散事件系统提出了一种分散与协调控制框架,在这个框架下,我们讨论了一类常见的禁止状态控制问题,给出了综合其量小约束协调控制的一种有效算法。     

连续Petri网的死锁和陷阱结构性态分析

连续Petri网是用来分析和描述具有连续变量的系统,被证明是有效的建模工具。本文主要讨论连续Petri网死锁和陷阱结构的性质,并结合算例对此进行了说明。     

基于对象Petri网的离散事件系统建模仿真环境(OPMSE)

首先论述了Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网发展状况,提出了一种高级Ｐｅｔｒｉ网,即对象Ｐｅｔｒｉ网。然后介绍了基于对象Ｐｅｔｒｉ网的离散事件系统建模仿真环境ＯＰＭＳＥ。文中详细介绍了ＯＰＭＳＥ的特点与组成,并对ＯＰＭＳＥ的核心－对象Ｐｅｔｒｉ网（ＯＰＮ）的语法描述进行了重点介绍。     

混合动态系统的混合Petri网（HSPN）模型

针对混合动态系统,提出一种混合Ｐｅｔｒｉ网（ＨＳＰＮ）模型,分析了该模型具有的特点及其运行规则。以冶金加热炉为例,给出了该系统的ＨＳＰＮ模型。     

T-组合Petri网的活性和公平性分析

同步合成是研究复杂Ｐｅｔｒｉ网系统性质的有效途径．文中通过引入可引发变迁序偶的概念,研究了Ｔ－组合（同步合成）Ｐｅｔｒｉ网对子网的活性和公平性继承关系,给出了一组Ｔ－组合Ｐｅｔｒｉ网活或公平的充要条件和充分条件．这些结果对网组合同步设计具有重要的指导意义     

一种QoS感知的基于着色Petri网的Web服务动态组合研究

随着计算机和网络技术的不断发展,Web服务的不断普及,单个Web服务的调用已经不能满足服务请求者的需求,服务组合已成为了一种必然趋势.提出一种QoS感知的基于着色Petri网的Web服务动态组合模型(QWS-CPN),介绍了模型中的颜色集、守卫函数和弧函数等关键元素,并给出一种基于使用概率的QoS计算方法,让服务请求者...     

Net Operations (Ⅱ)-The Iterated Addition Operation of Petri Nets

This paper presents the iterated addition operation of Petri nets and discusses its application in analysis and synthesis of cycle type systems and star type systems.A group of necessary and sufficient conditions for analysis of structural properties is obtained.In addition sufficient conditions for general systems are obtained.     

Petri网在经营过程重构（BRP）中的应用研究

在比较常用于过程描述的模型工具基础上,将扩展Petri网理论引入经营过程重构（BRP）。提出了用Petri网对动态、并行的产品开发过程进行描述,并细化建立产品零件设计与工艺设计过程Petri网模型,使产品开发过程在Petri网上得到了清晰、全面地描述。     

基于流程仿真的BPR

在企业流程再造中，流程仿真是再造人员对流程诊断及再造前后性能评价的一种重要手段。本文定义了基于Petri网的企业流程形式化模型，通过流程仿真的BPR实施过程，分析了仿真在再造过程中的作用，结合一具体再造实例，画出了企业流程，依据再造原则，采取对流程仿真结果分析，管理信息系统应用等手段，设计了一条组合合理、工作效率高的业务流程，对目前我国企业为增强国际竞争力而采取的流程再造有一定的借鉴作用。     

国内外人工腿(假肢)研究的进展及发展趋势

人工腿(假肢)一直是机器人学和生物医学工程领域 的一个前沿性研究课题．在这方面的研究中,英、日两国于90年代中期研制成功的智能型 人工腿反映了该研究的最新进展．本文共分五个部分,第一部分是引言;第二部分重点介绍 国外在90年代初以前人工腿的研究概况;第三部分重点介绍国外从90年代初至今人工腿 的研究概况,特别是智能人工腿的研究情况;第四部分重点介绍国内人工腿的研究现状;最 后一部分介绍人工腿研究的发展趋势．     

论(Cl_2BN_3)_n(n=1-4)簇合物

用密度泛函论B3LYP/6-311+G*法,计算(C1_2BN_3)_n(n=1-4)簇合物的结构和性质.发现,多聚体(C1_2BN_3)_n(n=2-4)的优化构型原来是由不同子体系的叠氮基α-N和B原子相连而形成的环状结构。几何参数的比较分析还发现N_α-B、N_α-N_β、N_β-N_Υ和B-Cl的键长与聚合度密切相关,环状构型中B-N_α-B键角总比N_α-B-N_α大。同时计算所有优化构型的振动频率,将其IR谱归类.通过热力学计算,发现簇合物的稳定性为3A>3B;4A>4B.由焓变可知,从单体形成二聚体于热力学不利,而形成最稳定三聚体和四聚体的温度分别达800K和500K仍是有利的.     

非常规三角形板元(TRUNC元)的新列式及其质量矩阵和几何刚度矩阵——非常规单元系列(Ⅰ)

国际有限元权威Argyris所创立的TRUNC元是一个精度高的优秀板元．本文提出了构造TRUNC元的刚度矩阵的新列式,它是对Argyris列式的重要改进．与Argyris列式相比,本文的新列式的精度更高,结构更简单,计算量更小和编程更容易．为了使TRUNC元能用于薄板的动力与稳定分析中,本文用作者所提出的新列式方法,建立了TRUNC元的两种新的质量矩阵和几何刚度矩阵．