已选(0)清除
条数/页: 排序方式: |
| PN4TS:一种基于CPN模型的IOCO测试选择方法 期刊论文 计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2451 作者: 刘靖; 李茹; 叶新铭; 李军 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 测试选择 测试目的 IOCO一致性 着色Petri网 同步模拟执行 |
| 计算机系统与计算机网络中的动态优化:模型、求解与应用 期刊论文 计算机学报, 2012, 卷号: 35.0, 期号: 007, 页码: 1339 作者: 林闯; 万剑雄; 向旭东; 孟坤; 王元卓 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 动态优化 马尔可夫决策过程 随机Petri网 马尔可夫决策Petri网 随机博弈网 |
| 基于CPN的可信路由器发现协议建模与仿真分析 期刊论文 系统仿真学报, 2012, 卷号: 24.0, 期号: 003, 页码: 701 作者: 张珺; 刘靖; 叶新铭; 许智君 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 接入路由器身份认证 着色Petri网 仿真分析 协议验证 性能分析 |
| BitTorrent协议的Petri网建模方法研究 期刊论文 系统仿真学报, 2011, 卷号: 23.0, 期号: 011, 页码: 2312 作者: 刘靖; 叶新铭; 李军 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 BitTorrent协议 着色Petri网 层次建模 模型确认 模型检验 |
| 企业集成模式组合建模方法 期刊论文 计算机集成制造系统, 2011, 卷号: 17.0, 期号: 005, 页码: 1096 作者: 陈皓; 梁英; 唐皓; 虎嵩林 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 企业集成模式 消息处理 组合建模方法 企业服务总线 建模 |
| 面向普适计算的分布式模糊推理Petri网建模及仿真 期刊论文 系统仿真学报, 2011, 卷号: 23.0, 期号: 007, 页码: 1329 作者: 叶剑; 李锦涛; 朱珍民; 史红周; 杜静 收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04 普适计算 分布式推理 模糊推理Petri网 上下文感知 |
| 基于随机博弈模型的网络攻防量化分析方法 期刊论文 计算机学报, 2010, 卷号: 000, 期号: 009, 页码: 1748 作者: 王元卓; 林闯; 程学旗; 方滨兴 收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04 网络安全 攻防模型 脆弱性 随机Petri网 随机博弈网 |
| 无权访问的条目 期刊论文 作者: 赵阳; 吕涛; 李华伟; 李晓维 Adobe PDF(556Kb)  |  收藏  |  浏览/下载:1/0  |  提交时间:2010/11/05 |
| 无权访问的条目 期刊论文 作者: 周剑; 朱耀琴; 唐卫清 Adobe PDF(541Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/09 |
| 无权访问的条目 期刊论文 作者: 孟维亮; 吴金钟; 吕伟伟; 吴恩华 Adobe PDF(779Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/10 |