CPN

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用研究x
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
SDN全局状态视图构建及应用被引量：1
《计算机应用研究》2020年第9期2835-2839,共5页李元平 李华 赵俊岚 
国家自然科学基金资助项目(61862047);内蒙古自治区科技计划资助项目(201802028);赛尔网络下一代互联网技术创新项目(NGII20150112)。
随着云计算、大数据以及物联网的兴起,网络流量以爆炸性的速度增长,与此同时网络带宽的增长速度却无法与之相应匹配。在可预见的将来,日益增长的网络流量与缓慢增长的网络带宽之间的矛盾将长期存在。如何改变当前粗放式的网络管理手段,...
关键词：网络模型 状态视图栈 CPN Open Flow 
基于UML和CPN的列控系统等级转换建模与分析被引量：1
《计算机应用研究》2019年第1期140-143,16,共5页朱爱红 宋丽梅 
国家自然科学基金资助项目(61661027)
针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运行和行车效率的因素,即转换时长和转换成功率,验证了该建模方...
关键词：中国列车控制系统 等级转换 统一建模语言 有色PETRI网 建模 
基于CPN状态空间分析的复杂系统脆性度量
《计算机应用研究》2017年第11期3247-3250,共4页冯丽萍 彭其渊 文超 
高速铁路基础研究联合基金项目(U1234206);国家自然科学基金资助项目(61503311)
为进一步解决复杂系统脆性理论既有研究工具存在的系统状态定量描述困难、系统边界条件约束较多等问题,将有色Petri网及其仿真工具CPN Tools引入到复杂系统脆性度量研究中。有色Petri网及CPN Tools内置的查询工具、既有的高级状态空间...
关键词：复杂系统 脆性度量 有色PETRI网 CPN TOOLS 状态空间 
一种CPN中基于DHCP扩展的IPSec安全关联参数管理机制
《计算机应用研究》2015年第9期2812-2815,2819,共5页钱炜烁 马迪 毛伟 王伟 
思科公司高校研究基金资助项目(2011-90406)
IPSec(Internet security,互联网协议安全性)通信方之间通过IPSec SA(security association,安全关联)来维护安全信道,而现有的SA参数管理机制过于复杂,导致用户主机与目标服务器建立SA所需的时间、CPU负载、报文尺寸较大,降低了用户体...
关键词：动态主机配置协议 互联网协议安全性 安全关联参数管理 
基于CPN的进路式联锁调度建模及其分析被引量：1
《计算机应用研究》2012年第7期2575-2578,共4页李国强 林果园 马栋 
中国矿业大学青年科技基金资助项目(2011QNB23)
提出一种基于有色Petri网(CPN)的进路式联锁调度算法模型,其中包括对联锁调度过程中机车的任务内正常行驶、进路联锁运算、机车驶离任务路线、闯入未开放进路、故障处理恢复等情况建立了清晰的模型。并利用CPN Tools对模型进行仿真验证...
关键词：联锁调度 有色PETRI网 运输监控 锁闭 联锁运算 CPNTools 
基于有色Petri网的BPEL中flow活动建模被引量：2
《计算机应用研究》2011年第2期632-635,共4页王玉英 陈平 
国家"十一五"国防预研基金资助项目( 513060601)
面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行...
关键词：组合服务 BPEL 流程活动 模型 CPN 
基于Petri网的概念模型验证方法研究被引量：5
《计算机应用研究》2010年第3期999-1001,1005,共4页樊浩 黄树彩 
针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错...
关键词：PETRI网 概念模型验证 CPN TOOLS 防空导弹作战过程 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部