中国科学院计算技术研究所机构知识库

（本次检索基于用户作品认领结果）

浏览/检索结果: 共5条，第1-5条

帮助

限定条件	作者：刘靖    第一作者

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序WOS被引频次升序WOS被引频次降序提交时间升序提交时间降序期刊影响因子升序期刊影响因子降序题名升序题名降序发表日期升序发表日期降序
	有限空间下的自治移动云存储协议 期刊论文 计算机科学与探索, 2017, 卷号: 11.0, 期号: 002, 页码: 271 作者:  崔波;  李茹;  刘靖;  张玉军;  李忠诚 收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04 自治移动云  存储服务  数据副本维护  数据丢失率
	PN4TS：一种基于CPN模型的IOCO测试选择方法 期刊论文 计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2451 作者:  刘靖;  李茹;  叶新铭;  李军 收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04 测试选择  测试目的  IOCO一致性  着色Petri网  同步模拟执行
	基于CPN的可信路由器发现协议建模与仿真分析 期刊论文 系统仿真学报, 2012, 卷号: 24.0, 期号: 003, 页码: 701 作者:  张珺;  刘靖;  叶新铭;  许智君 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 接入路由器身份认证  着色Petri网  仿真分析  协议验证  性能分析
	BitTorrent协议的Petri网建模方法研究 期刊论文 系统仿真学报, 2011, 卷号: 23.0, 期号: 011, 页码: 2312 作者:  刘靖;  叶新铭;  李军 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 BitTorrent协议  着色Petri网  层次建模  模型确认  模型检验
	PS2P网络中视频点播系统的设计与实现 期刊论文 计算机应用研究, 2009, 卷号: 26.0, 期号: 010, 页码: 3821 作者:  刘靖;  任小西;  张杰;  李仁发 收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04 视频点播  对等网络  片选策略  激励机制