催化剂离心分离机故障频度高的原因分析及处理

主要介绍了催化剂污水处理装置中卧式螺旋卸料离心分离机的使用情况及在生产中出现的主要故障,通过监测分析和生产能力核算找出这些故障产生的原因,并从3方面介绍几种故障解决办法以及改造建议．     

基于加权模糊Petri网的电子电路故障诊断

提出了一种适用于电子电路故障诊断的加权模糊Petri网,给出了用加权模糊Petri网表示电子电路故障诊断模糊知识的方法及故障诊断过程中的反向推理算法。     

基于广义随机Petri网的轨道车辆门系统可靠性分析

轨道车辆车门系统的安全性和可靠性极为重要。采用广义随机Petri网建立轨道车辆车门系统工作过程的可靠性模型,描述系统的静态结构及动态运行过程;对该模型进行Monte-Carlo仿真计算,计算系统在各时间段的可靠性指标。研究表明,应用Petri 网建立的车门系统可靠性模型结构清晰,拓展性强,便于仿真实现,能够为车门系统设计及维保安排提供指导。     

基于随机Petri网工作流档案管理系统的建模与分析

随着信息时代的发展,档案管理系统的功能和规模也在不断扩大。对档案管理系统建模,并进行相关的定性和定量分析也成为研究档案管理系统的主要内容之一。由于档案管理系统流程本质上等价于工作流,所以将档案管理系统与工作流技术相结合,建立了档案管理系统的工作流网模型,并利用随机Petri对档案管理系统进行了分析,包括对所建模型的正确性进行了定性分析,对工作流的性能进行了定量分析,最后通过实例进行了说明。     

转换生成语法术语的缘起变迁与理论发展

转换生成语法发展已近半个世纪,学科系统内部产生并修正了诸多理论,伴随产生了大量的学科专业术语。文章力图从转换生成语法的哲学背景、学科背景及其自身理论发展过程等方面,剖析其术语的缘起过程、学科来源和发展变迁,进而宏观理性地梳理该学科术语变化与学派理论发展之间的关系。     

基于构件的若干图算法开发和生成

软件构件技术可显著提高程序的可靠性和开发效率,极大减少开发成本.泛型程序设计有助于降低编程的复杂度,为重用构件开发提供有效支持.介绍了生成式程序设计思想及泛型程序设计技术,分析了图算法领域的关键特征及领域共性问题,并对广度优先搜索、单源最短路径、所有顶点对最短路径等一类问题进行抽象,设计出相应的泛型图算法构件,进一步借助PAR方法中的泛型机制进行描述,并在PAR平台程序生成系统上进行构件组装生成具体的算法程序.     

基于CPN的可信路由器发现协议建模与仿真分析

为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。     

逻辑Petri网变迁使能的判定方法

逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。     

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

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

基于流态随机Petri网的工业混合系统模型分析

工业中的混合动态系统模型所隐含的是连续与离散相混合的随机过程,使得对模型的数值分析和性能评价变得十分困难.针对此类系统,采用二阶流态随机Petri网进行模型的描述,将模型抽象为二阶偏微分方程组,并采用数值分析方法对模型进行求解.实例仿真表明,该方法能对工业中连续和离散相混合系统进行有效的建模与分析,具有重要实际价值.