CPN模型

作品数：24被引量：43H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘靖刘烁林煜明蔡国永叶新铭更多>>
相关机构：内蒙古大学桂林电子科技大学南京航空航天大学同济大学更多>>
相关期刊：《山东交通学院学报》《信息安全与通信保密》《指挥控制与仿真》《兵工自动化》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划武器装备重点基金内蒙古自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN模型的工控网络应用层脆弱性研究
《自动化仪表》2024年第12期112-117,共6页洪超 刘媛 杨祎巍 陆力瑜 梁志宏 曹扬 莫蓓蓓 陈文迪 
广西电网公司科技基金资助项目(GXKJXM20210143)。
随着工业控制系统的网络安全问题越发严重,从机理上对工控网络安全脆弱性进行研究变得更加迫切。针对工控网络应用层基于加密安全通信机制的网络安全问题,将着色Petri网(CPN)理论引入工控网络应用层的脆弱性分析。对基于加密通信机制的...
关键词：工控网络 脆弱性分析 着色PETRI网 网络安全 DIFFIE-HELLMAN算法 加密通信 安全漏洞 
基于CPN模型Auction智能合约的形式化验证被引量：6
《小型微型计算机系统》2020年第11期2292-2297,共6页董春燕 谭良 
国家自然科学基金项目(61373162)资助;四川省科技厅重点研发项目(2019YFG0183)资助.
区块链智能合约是运行在区块链网络中的代码,它能够根据外部环境条件自动执行相应的规则,完成对应的交易和数字资产的转移.Auction合约是一个公开拍卖的智能合约,广泛应用到竞拍、游戏和博彩等行业,吸引了众多用户参与.近年来,该合约暴...
关键词：Auction智能合约 漏洞 形式化验证 CPN 
复杂装备维修项目风险评估与控制CPN模型被引量：3
《火力与指挥控制》2019年第10期32-37,共6页董鹏 颜功达 余鹏 卢苇 
国家自然科学基金资助项目(71320107001)
复杂装备维修工程范围广、周期长,易产生安全、质量、进度及费用风险。为解决维修工程整体风险评估问题,通过定义维修单元任务,明确了维修工程整体风险评估建模需求和模型框架;建立了单元任务风险仿真以及单元任务逻辑关联的CPN模型;构...
关键词：风险评估 维修工程 整体 单元任务 CPN 
基于CPN模型的REST服务架构标准特征验证方法研究被引量：4
《计算机工程与科学》2018年第6期1093-1102,共10页赵玉强 刘靖 
国家自然科学基金(61262017;61662051)
当前REST服务架构广泛应用于大规模、可扩展的分布式Web系统中,若应用REST服务架构时不遵循其标准特征,则可能导致基于REST服务架构的Web系统出现性能下降、可扩展性低等问题。因此,实现基于REST服务架构的Web系统前,需要对该系统设计...
关键词：REST服务架构 CPN模型 标准特征验证 
基于GSCPN模型的网络安全加固措施制定方法被引量：2
《系统仿真学报》2016年第5期1009-1016,共8页高翔 刘洋 贺筱媛 
国家自然科学基金(61403401;61374179;61174156;61273189;61174035;71401168);军民共用重大研究计划联合基金(U1435218);全军军事科学研究计划课题(13QJ003-063)
为了从整体上提高网络安全性,提出了一种基于广义随机着色Petri网模型的网络安全加固措施制定方法。该方法引入主机节点利用率指数和主机节点关键度等概念,通过计算主机节点的关键度对网络中需要修补的脆弱节点进行排序,在此基础上根据...
关键词：安全评估 GSCPN模型 建模 安全加固 
云环境下的程序运行性能自适应模拟方法研究
《太原理工大学学报》2015年第6期727-734,共8页周艺华 解高纯 段淑凤 张常有 
中国科学院院地合作项目:面向众核平台的高能效大规模图并行算法研究(61379048)
针对Julia程序运行的时限约束,提出一种基于有色Petri网的程序运行性能自适应模拟方法。面向特定领域构建适应底层计算资源特点的工具库,抽取针对Julia语言的计算原语;程序员通过Julia语言实现原语,动态选取领域工具,适应运行时限约束...
关键词：云编程环境 时限约束 性能自适应 CPN模型 性能标定 
PN4TS:一种基于CPN模型的IOCO测试选择方法被引量：1
《计算机学报》2014年第12期2451-2463,共13页刘靖 李茹 叶新铭 李军 
国家自然科学基金(61163011;61262017;61262082);内蒙古自然科学基金重点项目(20080404Zd20);内蒙古大学高层次引进人才基金项目资助~~
文中将IOCO(Input-Output Conformance)一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种使用CPN描述测试目的模型并驱动IOCO一致性测试选择的新方法,称为PN4TS方法.PN4TS方法首先定义了面向一致性测试的CPN...
关键词：测试选择 测试目的 IOCO一致性 着色PETRI网 同步模拟执行 
有色Petri网模型中死标志合理性分析与验证被引量：1
《计算机应用研究》2014年第12期3651-3654,共4页马国富 刘文良 周建勇 刘久富 
针对使用CPN Tools对系统进行建模仿真得到的状态空间报告中出现的死标志是否会影响系统的安全性和模型的正确性进行了研究,提出了一种基于ASK-CTL及模型检验理论的死标志合理性验证算法。该算法采用模型检验技术通过ML语言编辑相关功...
关键词：死标志 电梯门系统 模型检验 CPN模型 
一种计算机网络对抗战术情报的生成模型
《系统仿真学报》2013年第3期509-513,共5页姚珊 李肖坚 焦健 魏晴 夏春和 
国家部委资助项目(A2120110006);北京市教育委员会共建项目建设计划基金项目(JDE00060630);北京市教委面上项目(KM201211232010)
情报提供及时、完整、准确的对抗态势,使得作战的指挥决策者能顺利完成决策任务。情报生成是保证情报质量的关键,现有计算机网络对抗缺少独立的情报生成系统。基于着色Petri网,为计算机网络对抗的战术情报提出一种生成模型。明确计算机...
关键词：计算机网络对抗 战术情报 情报生成模型 CPN模型 
基于CPN模型的COA状态空间搜索算法被引量：1
《电脑知识与技术（过刊）》2012年第5X期3377-3380,共4页王武华 陈新宁 
信息化条件下战场节奏加快,行动方案(COA)开发成为作战计划制定的关键步骤,在各国军队指挥信息系统研究中得到了高度关注,并发展迅速。在梳理作战计划制定一般过程及相关概念逻辑关系的基础上,设计了基于CPN的COA建模与开发的工程化过...
关键词：作战计划 行动方案 状态空间 着色PETRI网 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部