电梯门系统

作品数：111被引量：154H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：顾菲马善红胡明陈文华王文斌更多>>
相关机构：宁波永良电梯技术发展有限公司奥蒂斯电梯公司展鹏科技股份有限公司永大电梯设备(中国)有限公司更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家科技支撑计划天津市科技计划天津市重点科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 作者=刘久富x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于ASK-CTL的有色Petri网模型检验算法研究被引量：2
《计算机应用与软件》2015年第10期302-305,333,共5页马国富 刘文良 周建勇 刘久富 
针对使用CPN Tools工具建立系统CPN(Colored Petri Net)模型并进行仿真所得到的状态空间报告中出现的死标识是否会影响系统的安全性和模型的正确性进行研究,提出基于ASK-CTL的有色Petri网模型检验算法及死标识合理性验证算法。算法描述...
关键词：模型检验 死标识 电梯门系统 CPN 模型 
基于有色Petri网的电梯门系统建模与仿真被引量：4
《计算机技术与发展》2015年第3期162-166,共5页刘文良 刘久富 周建勇 
国家自然科学基金资助项目(60674100)
文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型,避免了传统Petri网建模模型时引起的状态空间爆炸问题...
关键词：电梯门系统 有色PETRI网 ASK-CTL 死标识 活性 
有色Petri网模型中死标志合理性分析与验证被引量：1
《计算机应用研究》2014年第12期3651-3654,共4页马国富 刘文良 周建勇 刘久富 
针对使用CPN Tools对系统进行建模仿真得到的状态空间报告中出现的死标志是否会影响系统的安全性和模型的正确性进行了研究,提出了一种基于ASK-CTL及模型检验理论的死标志合理性验证算法。该算法采用模型检验技术通过ML语言编辑相关功...
关键词：死标志 电梯门系统 模型检验 CPN模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部