CPN

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机应用技术x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN的敏捷开发业务流程建模方法
《智能计算机与应用》2024年第8期78-84,共7页严志超 倪枫 刘文诚 刘姜 陈年年 周兴郡 
国家自然科学基金(12371508);教育部产学合作协同育人项目(220603760210846);上海市“大学生创新创业训练计划”(SH2022072)。
着色petri网(Colored Petri Net,CPN)建模面对大型系统时的复杂性可能会随着系统规模的增大而显著增加,通常需要较多的时间和资源。敏捷开发的方法可以通过迭代和增量的方式,将大型系统分解为多个小模块,从简化模型出发逐步增加复杂性,...
关键词：着色PETRI网 敏捷开发 需求管理 租车系统 
基于CPN的智能合约交易顺序依赖漏洞的验证被引量：2
《系统仿真学报》2022年第7期1629-1638,共10页郑红 刘泽润 黄建华 钱诗慧 
国家自然科学基金(61472139);产学研项目:区块链关键技术研究(H300-41819)。
智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自...
关键词：区块链 智能合约 着色PETRI网 形式化验证 交易顺序依赖漏洞 
基于CPN的安全协议形式化建模及安全分析方法被引量：6
《通信学报》2021年第9期240-253,共14页龚翔 冯涛 杜谨泽 
国家自然科学基金资助项目(No.62162039,No.61762060);甘肃省高等学校科研基金资助项目(No.2017C-05);甘肃省科技厅重点研发计划基金资助项目(No.20YF3GA016)。
为了解决有色Petri网(CPN)对安全协议进行形式化建模分析时,仅能判断协议是否存在漏洞而无法找出漏洞具体位置和攻击路径的问题,以及CPN建模时随着攻击者模型引入,安全协议的形式化模型可能的消息路径数量激增,状态空间容易发生爆炸导...
关键词：有色PETRI网 安全协议 形式化分析 状态空间 攻击路径 
轮转调度算法中动态时间片的CPN实现被引量：1
《软件》2020年第8期129-131,共3页赵丽敏 郑文艳 王文博 
基于时间片的轮转调度算法中时间片大小影响着进程切换次数以及等待时间等方面。本文改进了时间片的取值方法,并通过颜色Petri网对该算法进行建模仿真,实验结果证明改进后的算法在进程切换次数,等待时间方面有着更好的性能。
关键词：轮转调度算法 颜色PETRI网 时间片 
智能合同网协议的CPN实现被引量：1
《计算机系统应用》2020年第8期280-283,共4页王文博 郑文艳 赵丽敏 
鉴于传统合同网协议居高不下的通信量,本文提出了智能合同网协议(ICP).该协议对任务的发起者增加友好度因子,对投标者加入信任度因子,双方互相选择,并及时动态更新友好度及信任度;对每个动作添加时间因素,用全局时钟控制整个模型;为了...
关键词：颜色PETRI网 合同网协议 信任度 
基于改进CPN的人体关键点定位算法研究被引量：1
《现代计算机》2020年第12期86-92,共7页林怡雪 高尚 王光彩 刘晓欣 范迪 
人体骨骼关键点定位是计算机理解图片或视频中人物行为的重要步骤,但定位的准确率很容易受到遮挡、干扰、复杂背景等因素的影响。把注意力模型引入CPN特征金字塔网络对之进行改进,以提升网络定位的准确率。注意力模型CBAM通过学习权重,...
关键词：人体关键点定位 注意力机制 CPN 通道注意力 空间注意力 
复杂装备维修项目风险评估与控制CPN模型被引量：3
《火力与指挥控制》2019年第10期32-37,共6页董鹏 颜功达 余鹏 卢苇 
国家自然科学基金资助项目(71320107001)
复杂装备维修工程范围广、周期长,易产生安全、质量、进度及费用风险。为解决维修工程整体风险评估问题,通过定义维修单元任务,明确了维修工程整体风险评估建模需求和模型框架;建立了单元任务风险仿真以及单元任务逻辑关联的CPN模型;构...
关键词：风险评估 维修工程 整体 单元任务 CPN 
基于UML和CPN的列控系统等级转换建模与分析被引量：1
《计算机应用研究》2019年第1期140-143,16,共5页朱爱红 宋丽梅 
国家自然科学基金资助项目(61661027)
针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方...
关键词：中国列车控制系统 等级转换 统一建模语言 有色PETRI网 建模 
基于CPN的OAuth协议建模与分析被引量：1
《计算机系统应用》2018年第2期212-215,共4页张婷 张鑫 张新刚 
河南省教育厅2016年度教师教育课程改革研究项目(2016-JSJYYB-080);河南省科技攻关项目(172102310702);河南省教育厅科技研究重点项目(17A520049;17A630046);南阳师范学院校级项目(QN2017064)
在云计算环境下,网络安全协议的执行环境变得更为复杂,应用Web安全问题开放授权协议,可以提高信息共享的安全性.本文采用CPN(Colored Petri Net)对OAuth协议进行建模,使用仿真工具CPNTools分析OAuth协议授权码模式的相关性质,并通过仿...
关键词：Web安全开放授权协议 PETRI网 OAuth协议 协议分析 
一种高安全的融合指纹识别与NFC技术的门禁系统认证协议被引量：4
《南开大学学报（自然科学版）》2017年第5期1-7,共7页金志刚 解冰珊 
国家自然科学基金(61571318);青海省科技项目(2015-ZJ-904)
针对现有门禁控制系统存在的无法保证用户身份合法、操作繁琐、成本高昂的问题,提出了1种融合指纹识别和NFC技术的门禁系统认证协议,针对安全性进行了设计.首先在手机内部通过随机信息的交换生成动态AES密钥,对指纹特征信息以1次1密方...
关键词：门禁控制 指纹识别 NFC 身份认证 CPN 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部