着色PETRI网

作品数：281被引量：649H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王明哲叶新铭刘靖朱连章陆以勤更多>>
相关机构：内蒙古大学清华大学华中科技大学中国石油大学（华东）更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CPN模型的工控网络应用层脆弱性研究
《自动化仪表》2024年第12期112-117,共6页洪超 刘媛 杨祎巍 陆力瑜 梁志宏 曹扬 莫蓓蓓 陈文迪 
广西电网公司科技基金资助项目(GXKJXM20210143)。
随着工业控制系统的网络安全问题越发严重,从机理上对工控网络安全脆弱性进行研究变得更加迫切。针对工控网络应用层基于加密安全通信机制的网络安全问题,将着色Petri网(CPN)理论引入工控网络应用层的脆弱性分析。对基于加密通信机制的...
关键词：工控网络 脆弱性分析 着色PETRI网 网络安全 DIFFIE-HELLMAN算法 加密通信 安全漏洞 
动车组列控车载子系统故障机理建模与分析
《安全与环境学报》2024年第11期4171-4180,共10页齐金平 刘皓皓 
国家自然科学基金项目(71861021,72361019);甘肃省重点研发项目(23YFGA0050)。
针对传统Petri网(P/T系统)无法根据后继标识确定系统失效部位的问题,采用着色Petri网(Colored Petri Net,CPN)建立动车组列控车载子系统的故障传播模型。首先,通过CPN与传统Petri网理论的对比说明采用CPN建模的可行性。其次,根据车载子...
关键词：安全工程 车载子系统 故障机理 故障树分析(FTA) 着色Petri网(CPN) 共因失效 
基于NSGA-Ⅱ的着色Petri网维修任务资源分配
《科学技术与工程》2024年第30期13189-13198,共10页刘涛 雷涛 舒龙诚 
国家重点研发计划(2023YFB4302901)。
针对民用飞机在设计维修任务过程模型时主要关注维修拆卸流程中的顺序问题,但是缺乏对维修资源分配问题的分析。提出了一种基于NSGA-Ⅱ的着色Petri网维修资源分配方法,以提高民用飞机维修任务过程的维修效率并降低维修成本。该方法利用...
关键词：维修任务 NSGA-Ⅱ算法 着色PETRI网 资源分配 
基于CPN的敏捷开发业务流程建模方法
《智能计算机与应用》2024年第8期78-84,共7页严志超 倪枫 刘文诚 刘姜 陈年年 周兴郡 
国家自然科学基金(12371508);教育部产学合作协同育人项目(220603760210846);上海市“大学生创新创业训练计划”(SH2022072)。
着色petri网(Colored Petri Net,CPN)建模面对大型系统时的复杂性可能会随着系统规模的增大而显著增加,通常需要较多的时间和资源。敏捷开发的方法可以通过迭代和增量的方式,将大型系统分解为多个小模块,从简化模型出发逐步增加复杂性,...
关键词：着色PETRI网 敏捷开发 需求管理 租车系统 
基于GSCPN的硬件木马攻击建模与安全性分析
《网络与信息安全学报》2024年第4期72-84,共13页梅波 郭威 曹志鹏 李沛杰 张文博 
国家重点研发计划(2022YFB4401401)。
针对硬件木马(hardware trojan,HT)的研究主要集中在HT设计和防御的具体策略,缺乏面向HT攻击的系统安全性量化评估模型的问题,提出了基于广义随机着色petri网(generalized stochastic coloring petri net,GSCPN)的HT攻击和安全评估模型...
关键词：硬件木马 广义随机着色petri网 攻击建模 连续时间马尔可夫链 
基于HCPN的复杂BPMN协作模型数据流建模与验证被引量：2
《计算机集成制造系统》2024年第5期1754-1769,共16页黄凤兰 倪枫 刘姜 陶蒙怡 周奕宁 李业勋 
国家自然科学基金资助项目(12371508);教育部产学合作协同育人资助项目(220603760210846);上海市“大学生创新创业训练计划”资助项目(SH2022072)。
为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重...
关键词：着色PETRI网 BPMN协作模型 数据流错误 模型验证 形式化 
基于身份认证的BACnet/IP分析与改进
《通信学报》2024年第3期227-243,共17页谢鹏寿 朱家锋 康永平 冯涛 李威 冉玉翔 
国家自然科学基金资助项目(No.61862040,No.62162039)。
为了解决BACnet/IP身份认证存在多种可攻击漏洞和密钥泄露带来的安全问题,提出了一种安全增强的BACnet/IP-SA协议认证方案。研究协议身份认证消息流模型,基于着色Petri网理论和CPNTools对身份认证消息流建模,采用Dolev-Yao攻击者模型和...
关键词：BACNET/IP 形式化分析 着色PETRI网 BAN逻辑 协议改进 
一种多用户协同的BOM数据一致性校核与检测算法设计被引量：2
《电子设计工程》2024年第6期11-15,共5页邓乐富 马江林 
国防基础科研计划资助项目(JCKY2018213A001)。
针对航空航天制造领域中多用户协同工作场景下,由人为错误操作或数据库共享异常导致的数据一致性较差问题,文中基于改进函数依赖和着色PETRI网构建了BOM数据一致性校核与检验模型。该模型根据多用户BOM数据的结构特点,界定了零部件的层...
关键词：BOM数据 一致性校核与检测 多用户协同 改进函数依赖 着色PETRI网 
订单驱动的服装供应链生产自动化协同Petri网模型
《建模与仿真》2024年第1期213-224,共12页徐月梅 董平军 
针对订单驱动服装供应链生产协同的必要性、复杂性和人工交互工作占比高的现状,提出基于PDCA管理思想的服装供应链生产协同过程概念框架以及不同供应链协同主体之间的信息协同交互协议机制,运用着色Petri网建模工具CPN Tools平台对上述...
关键词：订单驱动 服装供应链 着色PETRI网 自动化协同 
基于ROAD-CPN业务架构的可执行建模方法被引量：5
《上海理工大学学报》2023年第5期534-542,共9页黄凤兰 倪枫 刘姜 张敬鸿 拓开慧 
国家自然科学基金资助项目(12371508);教育部产学合作协同育人项目(220603760210846);上海市“大学生创新创业训练计划”资助项目(SH2022072)。
开放组架构框架(TOGAF)业务架构作为数据架构、应用架构和技术架构的基准,在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性,存在无法对系统业务架构框架动态特征进行分析的问题,故提出一种基于ROAD业务架构的着色petri...
关键词：系统架构 着色PETRI网 开放组织架构框架 业务流程 可执行模型 
全选清除导出
共28页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部