CPN

作品数：356被引量：730H指数：11
导出分析报告
相关领域：自动化与计算机技术医药卫生更多>>
相关作者：叶新铭李华朱连章杨春辉冯涛更多>>
相关机构：内蒙古大学北京交通大学华南理工大学中国石油大学（华东）更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN的列控系统等级转换建模与分析被引量：6
《计算机工程与应用》2018年第2期208-213,共6页董健 戴胜华 
科技部"科技支撑计划"(No.2013BAG19B00-03-01-01)
在高速列车运行过程中,列控系统等级转换过程所用的时长和转换成功概率,直接影响列车运行安全和行车效率。利用有色Petri网对CTCS-3级列控系统和CTCS-2级列控系统之间等级转换以及典型设备故障导致降级场景分别建模,模拟等级转换过程中R...
关键词：中国列车控制系统(CTCS) 有色PETRI网 等级转换 
基于CPN的等级转换场景建模分析被引量：4
《计算机工程与应用》2015年第10期266-270,共5页王瑞峰 李媛 程金山 
国家科技型中小企业创新基金(No.11c26216203816)
针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型,模拟在GSM-R网络中RBC(无线闭塞中心,Radio Block Centre)与车载设备之间消息的传送过程,...
关键词：列控系统 无线闭塞中心(RBC) 等级转换场景 有色PETRI网 
进路建立过程的时间有色petri网建模与仿真被引量：2
《计算机工程与应用》2015年第8期266-270,共5页秦发园 戴胜华 徐昱 
计算机联锁软件作为计算机联锁系统的核心主控软件,可靠性和安全性需建立在好的安全模型之上,提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模,时间戳可以得知联锁设备的精确动作时刻以及操作持续时间,通过CPN Tools进行...
关键词：计算机联锁 有色PETRI网 时间PETRI网 CPN TOOLS 
基于CPN的程序测试用例生成方法的研究
《计算机工程与应用》2014年第11期39-45,共7页郑文艳 
德州市社会科学研究基地项目
采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模,而且对并行程序中的并行结构也进行了建模和仿真。在不针对某些具体语言比如C语言的情况下,提出了生成测试用例的新方法,该方法对具备三种基本结构特性...
关键词：程序测试 颜色PETRI网 强连通图 测试路径 并行结构 状态空间 状态空间爆炸 
基于CPN的物流配送系统模型正确性的证明被引量：3
《计算机工程与应用》2013年第11期228-231,共4页郑文艳 
利用分层有色Petri网建立物流配送模型,一方面减少了建立模型的复杂性,另一方面为模型正确性的证明提供了数据支持。对所建模型进行仿真获得的数据,可以从四个方面确保模型的正确性。使用分层有色Petri网进行层次化设计不仅可以增加模...
关键词：分层有色Petri网 仿真 物流配送系统 替代变迁 
一种适于带时间戳安全协议的形式化分析方法被引量：1
《计算机工程与应用》2012年第36期116-120,共5页范玉涛 苏桂平 
中国科学院研究生院院长基金(No.Y15102HN00)
提出了一种适用于带有时间戳的安全协议的有色Petr(iCPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPN Tools,采用CPNML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分...
关键词：形式化分析 有色Petri网(CPN) 时间戳 安全协议 
基于着色Petri网的联合反导作战系统建模被引量：3
《计算机工程与应用》2011年第6期235-238,共4页韩朝超 黄树彩 
国家重点基础研究发展规划(973);国家863计划资助项目~~
防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的...
关键词：联合反导 着色Petri网(CPN) 建模 仿真 
基于schemata的Agent通信模型
《计算机工程与应用》2003年第13期190-193,共4页吕钊 顾君忠 
首先分析了现有的Agent通信方式和各种描述方法,指出了它们的优缺点,在此基础上,引入了基于schemata的Agent通信模型;然后,介绍了该模型中涉及到的通信主题概念、通信schemata概念、通信schemata的CPN表示方法和通信管理器的结构;最后...
关键词：AGENT Schemata 通信主题 CPN 通信策略 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部