【摘 要】
：
文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系
论文部分内容阅读
文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型,避免了传统Petri网建模模型时引起的状态空间爆炸问题。然后利用CPN Tools对模型进行动态分析并生成状态空间报告以分析模型的回归性、有界性、活性及公平性。活性分析存在死标识时,提出基于ASK-CTL模型检验理论的死标识合理性算法验证模型中不存在自循环终端和死锁标识,进而验证了死标识存在的合理性,证实了电梯门系统CPN模型的正确性。
其他文献
在不增加系统带宽和发射功率的前提下,多输入多输出技术(MIMO)可以显著提高无线通信系统的信道容量和频谱利用率,因而被认定为下一代无线通信的核心技术之一。MIMO系统的信号
<正>推动造纸工业向节能、环保、绿色方向发展。加强造纸纤维原料高效利用技术,高速纸机自动化控制集成技术,清洁生产和资源综合利用技术的研发及应用。竹浆造纸产业:重点推
无线频谱是一种不可再生的宝贵资源。提高频谱资源的利用率以满足无线通信业务的需求,是无线通信领域一个永恒的话题。采用认知无线电技术实现认知用户在信号的时域、频域和
目的研究胃癌组织中环氧合酶-2（COX-2）的表达,探讨其与临床病理特征的关系。方法采用免疫组化S-P法检测COX-2在85例胃癌组织和20例正常胃组织中的表达。结果COX-2在胃癌组织中
目的探讨各级原发性高血压（primary hypertension，PH）患者血浆中纤维蛋白原（fibrinogen，Fib）、D-二聚体（D-dimer，D-D）和超敏 C-反应蛋白（higth-sensitiviyCreactiveprotein，hs-CRP）水平变
电影是一门综合艺术，它已成为了现如今大众的主要休闲方式之一，从教育的角度来看，它成为大众接受教育，灌输新思想，推动社会主义精神文明建设的重要途径之一，也成为了发扬中华传统文
提出了一种基于正交设计并结合层次分析法、灰色关联法和模糊综合评判法的分层评价方法，用来评价输气管道设计方案。该方法根据正交设计和多指标的模糊综合评判方法确定满足实
对防腐层老化管道进行大修时，由于开挖段传热系数增大，必然影响站间的运行参数。为保证输油管道的安全运行，研究了输油管道不停输大修对站间运行参数的影响。根据输油管道防腐层