CPN

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

检索结果分析

结果分析中...
选择条件：
  • 主题=着色PETRI网x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
动车组列控车载子系统故障机理建模与分析
《安全与环境学报》2024年第11期4171-4180,共10页齐金平 刘皓皓 
国家自然科学基金项目(71861021,72361019);甘肃省重点研发项目(23YFGA0050)。
针对传统Petri网(P/T系统)无法根据后继标识确定系统失效部位的问题,采用着色Petri网(Colored Petri Net,CPN)建立动车组列控车载子系统的故障传播模型。首先,通过CPN与传统Petri网理论的对比说明采用CPN建模的可行性。其次,根据车载子...
关键词：安全工程 车载子系统 故障机理 故障树分析(FTA) 着色Petri网(CPN) 共因失效 
基于CPN的敏捷开发业务流程建模方法
《智能计算机与应用》2024年第8期78-84,共7页严志超 倪枫 刘文诚 刘姜 陈年年 周兴郡 
国家自然科学基金(12371508);教育部产学合作协同育人项目(220603760210846);上海市“大学生创新创业训练计划”(SH2022072)。
着色petri网(Colored Petri Net,CPN)建模面对大型系统时的复杂性可能会随着系统规模的增大而显著增加,通常需要较多的时间和资源。敏捷开发的方法可以通过迭代和增量的方式,将大型系统分解为多个小模块,从简化模型出发逐步增加复杂性,...
关键词：着色PETRI网 敏捷开发 需求管理 租车系统 
基于ROAD-CPN业务架构的可执行建模方法被引量：5
《上海理工大学学报》2023年第5期534-542,共9页黄凤兰 倪枫 刘姜 张敬鸿 拓开慧 
国家自然科学基金资助项目(12371508);教育部产学合作协同育人项目(220603760210846);上海市“大学生创新创业训练计划”资助项目(SH2022072)。
开放组架构框架(TOGAF)业务架构作为数据架构、应用架构和技术架构的基准,在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性,存在无法对系统业务架构框架动态特征进行分析的问题,故提出一种基于ROAD业务架构的着色petri...
关键词：系统架构 着色PETRI网 开放组织架构框架 业务流程 可执行模型 
铁路时间同步网挑战应答身份认证安全性分析被引量：4
《中国安全科学学报》2022年第11期1-8,共8页兰丽 王潇霖 
甘肃省自然科学基金资助(20JR10RA218)。
为保障铁路系统可靠稳定运行,提高铁路时间同步网安全防护能力,利用着色Petri网(CPN)分析铁路时间同步网身份认证的安全性。首先,基于Autokey模型的时间同步协议认证过程,建立基于公共参数的挑战应答身份认证过程的CPN模型,同时,利用该...
关键词：铁路时间同步网 挑战应答 身份认证 安全性分析 着色Petri网(CPN) 中间人攻击 
基于CPN的智能合约交易顺序依赖漏洞的验证被引量：2
《系统仿真学报》2022年第7期1629-1638,共10页郑红 刘泽润 黄建华 钱诗慧 
国家自然科学基金(61472139);产学研项目:区块链关键技术研究(H300-41819)。
智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自...
关键词：区块链 智能合约 着色PETRI网 形式化验证 交易顺序依赖漏洞 
一种基于TPM的手机第三方安全移动支付协议
《高技术通讯》2021年第6期581-588,共8页刘永磊 金志刚 郝琨 张伟龙 
国家自然科学基金(61902273)资助项目。
为解决in-APP第三方支付中密钥泄漏、信息显示不全、商家APP缺乏预信任等问题,采用着色Petri网(CPN)模型对现有的订单篡改、通知假冒、订单替换、非授权查询4种攻击进行建模分析,并通过推导不安全状态的可达性验证in-APP第三方支付系统...
关键词：电子商务 移动支付 第三方 着色Petri网(CPN) 可信计算模块(TPM) 
面向低压电器的CPN协同装配任务建模与优化被引量：4
《计算机集成制造系统》2020年第7期1737-1748,共12页张立彬 吕焕培 胥芳 谭大鹏 陈教料 林琼 
国家自然科学基金项目(U1509212,51775501);浙江省公益技术研究资助项目(2016C31039)。
针对低压电器自动化装配中所存在的资源无序竞争及交互不平衡问题,提出一种基于着色Petri网(CPN)的协同装配方法;利用人工势场(APF)算法来实现机器人的协同交互控制;并提出了一种基于目标函数梯度的自适应量子遗传算法(AQGA),对装配时...
关键词：协同装配系统 人工势场 着色PETRI网 低压电器 自适应量子遗传算法 
基于着色Petri网的舰艇指挥控制信息流建模研究被引量：10
《系统仿真学报》2019年第5期828-842,共15页周学广 吕伟栋 袁志民 
国家自然科学基金(61672531);海军工程大学自然科学基金(HGDQNJJ15 031)
针对海军舰艇指控模型复杂度高、易受人为因素干扰、复用率不高等问题,应用CPN Tools建立舰艇指挥信息流模型,通过命令信息流与反馈信息流的流动构建舰艇指挥控制模型。定义了标准的信息流结构与舰艇部位结构,较好地解决了模型重用问题...
关键词：CPN(colored PETRI net) 舰艇 指挥控制信息流 建模研究 
OFDMA系统多业务频谱切换策略的CPN建模及性能评价
《郑州大学学报（工学版）》2016年第5期57-61,共5页陆彦辉 李兆平 韩书君 杨守义 
新世纪优秀人才支持计划资助项目(NCET-12-0699)
为保障用户的不同服务要求,对不同业务执行区分服务并实现频谱切换管理是通信系统亟需解决的主要问题之一.研究切换问题的传统方法是Markov建模,Markov模型具有无记忆特性,并且易于产生状态空间爆炸问题,这使得频谱切换策略的研究大多...
关键词：频谱切换 Markov 着色PETRI网 多业务 数学分布 
AADL2ECPN模型转换方法及其在IMA上的应用被引量：4
《北京航空航天大学学报》2016年第9期1884-1891,共8页刘畅 谷涛 周庆 王世海 李泽林 
国防基础科学研究计划(JCKY2013205C003)~~
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,...
关键词：架构分析和设计语言(AADL) 着色Petri网(CPN) 资源分配 综合模块化航空电子(IMA) 模型转换 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部