CPN

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=系统仿真学报x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN的智能合约交易顺序依赖漏洞的验证被引量：2
《系统仿真学报》2022年第7期1629-1638,共10页郑红 刘泽润 黄建华 钱诗慧 
国家自然科学基金(61472139);产学研项目:区块链关键技术研究(H300-41819)。
智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自...
关键词：区块链 智能合约 着色PETRI网 形式化验证 交易顺序依赖漏洞 
基于着色Petri网的舰艇指挥控制信息流建模研究被引量：10
《系统仿真学报》2019年第5期828-842,共15页周学广 吕伟栋 袁志民 
国家自然科学基金(61672531);海军工程大学自然科学基金(HGDQNJJ15 031)
针对海军舰艇指控模型复杂度高、易受人为因素干扰、复用率不高等问题,应用CPN Tools建立舰艇指挥信息流模型,通过命令信息流与反馈信息流的流动构建舰艇指挥控制模型。定义了标准的信息流结构与舰艇部位结构,较好地解决了模型重用问题...
关键词：CPN(colored PETRI net) 舰艇 指挥控制信息流 建模研究 
基于CPN的信息系统安全防护能力建模方法被引量：1
《系统仿真学报》2018年第10期3699-3709,3716,共12页陈强军 张明清 孔红山 刘小虎 邵连杰 
建模对安全防护能力评估具有重要作用。结合安全防护能力评估方法多、更新快的特点,提出了基于监测、分析和响应的安全防护能力分析框架;针对防护设备智能学习和协作交互难以建模的问题,基于CPN(Colored Petri Nets)构建了安全防护能力...
关键词：安全防护能力 分析框架 CPN 分析模型 
基于CPN Tools的可重入自动组合设备的建模与仿真被引量：1
《系统仿真学报》2015年第12期2927-2934,2941,共9页张梅 陈广森 游佳 
中央高校基本科研业务费专项资金资助(2014zz0033;x2zd-D2153910);广州市科技重大专项计划-产学研专项资助(2012Y5-00004)
提出将全自动免疫分析检测设备看作一种可重入的双臂自动组合设备。采用时间着色的Petri网(TCPN)对该类检测设备的检测过程进行建模,并利用CPN tools评价模型性能及仿真实验。为优化检测过程,设计了DPC动态投料策略和LSPON、FIFO调度策...
关键词：可重入 自动组合设备 调度 PETRI网 CPN TOOLS 
基于CPN仿真的排队系统建模及性能分析被引量：9
《系统仿真学报》2013年第2期228-234,共7页方欢 陆阳 黄镇谨 魏臻 
国家自然科学基金资助项目(60873195;61070220);高等学校博士点基金资助项目(20090111110002)
排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相...
关键词：排队系统 颜色PETRI网 建模仿真 性能分析 
基于CPN的联邦概念模型形式化建模与验证(英文)被引量：3
《系统仿真学报》2012年第7期1361-1365,1372,共6页杨惠珍 郝莉莉 
提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助...
关键词：着色Petri网(CPN) 验证 联邦概念模型(FCM) 形式化模型 
基于CPN的可信路由器发现协议建模与仿真分析被引量：2
《系统仿真学报》2012年第3期701-709,共9页张珺 刘靖 叶新铭 许智君 
973计划(2007CB310702);国家自然科学基金(60873242);内蒙古自然科学基金(2011MS0902;20080404ZD20);中国科学院重大科研装备研制项目(YZ200824);863计划(2009AA01A344)
为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成...
关键词：接入路由器身份认证 着色PETRI网 仿真分析 协议验证 性能分析 
复线列车运行调度的层次Petri模型及仿真被引量：7
《系统仿真学报》2011年第12期2793-2798,2804,共7页王宏刚 
山西省自然科学基金(2008011033)
在对列车运行调度问题进行分析的基础上,通过综合受控Petri网、颜色Petri网和赋时Petri网的优势,提出一种混合Petri网模型并给出形式化描述和运行规则;采用混合Petri网建立包含设备故障和设备维修两种异常情况的列车运行调度的层次Petr...
关键词：列车运行调度 PETRI网 CPN TOOLS 仿真 
基于CPN的在轨服务概念建模被引量：2
《系统仿真学报》2011年第B07期262-265,281,共5页史建伟 蔡远文 苏明 
概念建模是建立仿真系统的第一步。首先介绍了着色Petri网(Colored Petri Net,CPN)的建模基础,其次分析了在轨服务概念及其流程,然后运用CPN-Tools建立了在轨服务的CPN模型,并生成了模型的状态空间报告,分析了模型的回归性、有界性、活...
关键词：在轨服务 概念建模 UML CPN CPN-Tools 
基于Agent和CPN的Web信息传播系统建模研究被引量：3
《系统仿真学报》2010年第3期715-719,共5页贺筱媛 胡晓峰 罗批 
国家863项目(2006AA01Z337);国家自然科学基金(60774035;60874086)
Web信息传播问题的复杂性是系统宏观结构和微观个体行为两方面因素共同作用的结果。在分析Web信息传播建模难点及解决思路的基础上,研究了将基于Agent的仿真方法和Petri网的描述机制相结合,利用Petri网擅长描述系统的整体逻辑结构和动...
关键词：复杂网络 信息传播 建模方法 CPN AGENT建模 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部