CSpace

浏览/检索结果: 共32条,第1-10条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
PN4TS:一种基于CPN模型的IOCO测试选择方法 期刊论文
计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2451
作者:  刘靖;  李茹;  叶新铭;  李军
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
测试选择  测试目的  IOCO一致性  着色Petri网  同步模拟执行  
计算机系统与计算机网络中的动态优化:模型、求解与应用 期刊论文
计算机学报, 2012, 卷号: 35.0, 期号: 007, 页码: 1339
作者:  林闯;  万剑雄;  向旭东;  孟坤;  王元卓
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
动态优化  马尔可夫决策过程  随机Petri网  马尔可夫决策Petri网  随机博弈网  
基于CPN的可信路由器发现协议建模与仿真分析 期刊论文
系统仿真学报, 2012, 卷号: 24.0, 期号: 003, 页码: 701
作者:  张珺;  刘靖;  叶新铭;  许智君
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
接入路由器身份认证  着色Petri网  仿真分析  协议验证  性能分析  
无权访问的条目 期刊论文
作者:  郭云川;  殷丽华;  刘礼才
Adobe PDF(310Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2011/06/07
BitTorrent协议的Petri网建模方法研究 期刊论文
系统仿真学报, 2011, 卷号: 23.0, 期号: 011, 页码: 2312
作者:  刘靖;  叶新铭;  李军
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
BitTorrent协议  着色Petri网  层次建模  模型确认  模型检验  
企业集成模式组合建模方法 期刊论文
计算机集成制造系统, 2011, 卷号: 17.0, 期号: 005, 页码: 1096
作者:  陈皓;  梁英;  唐皓;  虎嵩林
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
企业集成模式  消息处理  组合建模方法  企业服务总线  建模  
面向普适计算的分布式模糊推理Petri网建模及仿真 期刊论文
系统仿真学报, 2011, 卷号: 23.0, 期号: 007, 页码: 1329
作者:  叶剑;  李锦涛;  朱珍民;  史红周;  杜静
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
普适计算  分布式推理  模糊推理Petri网  上下文感知  
无权访问的条目 期刊论文
作者:  叶剑;  朱珍民;  陈援非;  何哲
Adobe PDF(247Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/11
无权访问的条目 期刊论文
作者:  胡瑜;  李晓维
Adobe PDF(1312Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/03/30
无权访问的条目 期刊论文
作者:  万长林
Adobe PDF(2382Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/06/25