同步与共享合成操作中子网的求解方法

Petri网同步合成与共享合成是复杂系统分析中两种重要的方法。为了适应更为复杂的系统分析需要，本文将同步合成与共享合成拓展为多个Petri网之间的操作，证明了任给一个结构复杂的网系统均可由一组结构简单的子网合成，并分别给出了合成操作中子网的求解方法。     

基于Petri网的保密性策略建模与验证

为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程.     

楼宇门禁系统基于petri网的分析和设计

Petri网具有优势,比如同步、并发、冲突等特点,因此可用来对复杂系统进行建模。但是在复杂的系统建模过程中,设计者会常遇到子系统的合成问题,本文介绍了一种共享P-型子网的合成。本文以楼宇门禁系统为例,分析了门禁系统的各种情况及该情景下的Petri-网模型,最后根据各个Petri子网的特点,采用了共享P-型合成方法,合成为一个系统的整体建模图。     

Petri网系统并行化方法的研究

对Petri网系统并行化一般方法的研究.给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法.     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。     

基于图形转换的构件组装研究与应用

Padberg J,Ehrig H等使用代数规格语义的Petri,基于图形转换理论提出一种通用构件组装框架,该框架可以适用于不同领域的动态和静态的构件组装.但由于其限制连接件的输入接口是互不相交的,即割裂了与传统Petri网的同步合成和共享合成的联系,也限制了其实际应用的灵活性.给出一种较弱的唯一性条件,及基于该条件的结构唯一性和内容兼容性的证明,并讨论在此框架体系中融合传统Petri网综合方法.最后将该框架体系实际应用于联锁逻辑的描述.     

有界Petri网的进程演算表达

为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致性.同时,证明了该方法在网的标号互模拟上满足完全抽象性.     

并发进程死锁检测的一种新方法

并发进程具有明显的异步并发性,而Petri网是模拟与分析异步并发系统的有效工具。为此通过引入Petri网,给出了并发进程等待的Petri网模型及死锁检测方法。     

任务分解的Petri网方法及有效性研究

任务的分解是实现多主体系统的关键,运用形式化的方法对任务分解进行描述和验证是十分必要的。对于一般的任务逻辑分解表达式,利用Petri网对任务的分解进行建模,得到任务分解Petri网,进而通过剔除不合理的任务分解结构得到任务有效分解的Petri网系统。通过检查任务有效分解的Petri网的存在与否,可以判断任务的分解结构是否有效。另外,对于任意一个有限的P/T网系统,给出了判断是否存在无效任务分解的充分条件,从而论证了在任务有效分解的Petri网系统中只存在一级活变迁。将任务分解的有效性判断与Petri网活性分析联系起来,实现了多主体系统的一个亟待解决的基础性问题。     

基于两类同步点的双尺度多媒体动态同步模型

基于"自然同步点"和"准同步点"两类不同同步点,分2个层次,采用Petri网和Agent两种不同方法,提出一种双层多媒体动态同步模型构建方法,在两种不同尺度下完成多媒体同步.     

一个经典进程同步例题的通用算法

针对一个进程同步经典问题的解答进行讨论，提出更为通用的算法，并对进程同步问题的求解给出有关准则。     

一类设备故障过程的故障趋势预测方法研究

研究了一类带有指数故障过程的故障趋势预测问题。在测量变量受到平稳噪声干扰的情况下,首先依据对测量数据的统计检验判断出故障过程,然后根据对故障过程的先验知识,利用强跟踪滤波器辨识指数趋势项的参数,同时对建模误差进行ARMA时序分析,最后结合趋势项和时序预测给出故障趋势的总体预测。仿真实验结果验证了该方法的有效性。     

基于虚拟仪器技术的过程实时数据管理系统研究

针对流程工业过程实时数据的高效管理问题,提出了一种基于虚拟仪器技术的过程实时数据管理系统设计方法,给出了系统的体系结构;构建了一种基于Hash二叉树的改进型数据查询和索引结构,该结构提高了实时数据访问和索引的效率。通过基于ADO.NET的接口程序和数据压缩模块实现了对历史数据的管理。实验测试表明,该系统在处理实时数据方面具有高度的稳定性和可靠性。     

任务关键系统可生存性的形式化建模方法

通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。     

一种测试驱动的过程模型研究

分析了敏捷过程和几种传统软件生命周期模型,在总结测试驱动开发核心理念的基础上提出了测试驱动过程模型,并对测试驱动过程模型进行了详细阐述.通过在.net平台上进行文件管理系统的开发,分析了其相对于传统开发模型高效率、低成本、适应需求变化的特点,具有可操作性.     

Integration of chemical product development, process design and operation based on a kilo-plant

Presented in this paper is an integrated approach of computer-aided product development, process design and operation analysis based on a kilo-plant. The implemented kilo-plant, as a research platform to manufacture product in kilogram-scale, was designed especially for fine and specialty chemicals. The characteristics of product synthesis, process operation and product quality control are investigated coupled with computer-aided monitoring, online modeling, simulation and operation process optimization. In this way, chemical product discovery, process design and operation are integrated in a systematic approach, in the aim to respond to rapid changing marketplace demands to new products.     

一种DNAN基熔铸炸药铸装工艺安全性分析

为确保DNAN基混合炸药在铸装工艺过程中的安全性,以RZD-1炸药为研究对象,通过工艺安全性分析,获得了安全性风险因素及分类。利用数值仿真和试验测试,对炸药本质安全特性、相容性、热刺激等安全性影响因素进行了研究与分析。结果表明,炸药本质上是安全的,工艺过程中含能固相组分热损伤导致炸药本身机械感度的升高有限(≤40%),符合安全使用要求。装药在熔混和冷却凝固工艺过程中内部温升最大不超过3.5℃,不存在热爆炸的可能。由此证明DNAN基熔铸炸药铸装工艺是安全的。     

门极换向晶闸管的纵向结构研究

基于对影响门极换向晶闸管(GCT)阻断能力的限制因素的理论分析，对其N基区的宽度进行了计算．结果表明，在同等耐压下，GCT所采用的硅片厚度较传统门极可关断晶闸管减薄约1／3．利用二维工艺模拟器对器件进行了二维工艺模拟，并对器件的纵向结构参数进行了优化．采用湿法腐蚀工艺实现了门极和阴极的隔离结构，实验结果表明：当腐蚀的深度大于20μm后，由于腐蚀反应生成的副产物阻止了腐蚀液与硅表面充分接触，使得腐蚀反应速率下降，且横向腐蚀宽度与纵向腐蚀深度的比值约为0．8，此结论也为GCT的横向参数设计提供了重要的依据．     

一种集成SPC与EPC的过程控制方法

在多品种、小批量生产模式下,不合格品经常发生在由一种水平过渡到另一种水平的暂态阶段.采用由一阶动态过程和稳态干扰ARMA(1,1)组成的系统模拟制造过程,针对当输入发生阶跃变化时过程出现的暂态阶段,设计了集成统计过程控制(SPC)与工业过程控制(EPC)的过程控制方法.以往,SPC与EPC是减少过程波动的两种截然不同的方法,而集成控制方法是应用ARMA控制图对制造过程进行监视,同时PI控制器对过程进行调整.模拟结果表明:集成控制方法不但能减少过程输出波动,提升系统性能;并且在调整涉及成本因素时,集成控制方法更具有潜在的成本优势.