内蒙古自治区自然科学基金(20080404Zd20)

作品数：3被引量：3H指数：1
导出分析报告
相关作者：刘靖叶新铭周建涛李军李茹更多>>
相关机构：内蒙古大学中国科学院更多>>
相关期刊：《高技术通讯》《计算机科学》《计算机学报》更多>>
相关主题：着色PETRI网并发控制网络软件一致性CPN模型更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
PN4TS:一种基于CPN模型的IOCO测试选择方法被引量：1
《计算机学报》2014年第12期2451-2463,共13页刘靖 李茹 叶新铭 李军 
国家自然科学基金(61163011;61262017;61262082);内蒙古自然科学基金重点项目(20080404Zd20);内蒙古大学高层次引进人才基金项目资助~~
文中将IOCO(Input-Output Conformance)一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种使用CPN描述测试目的模型并驱动IOCO一致性测试选择的新方法,称为PN4TS方法.PN4TS方法首先定义了面向一致性测试的CPN...
关键词：测试选择 测试目的 IOCO一致性 着色PETRI网 同步模拟执行 
基于时间着色Petri网的SIP协议验证与分析
《计算机科学》2014年第7期122-129,共8页刘靖 叶新铭 马元飞 
国家自然科学基金项目(61262017);高校博士学科点专项科研基金(20101501110003);内蒙古自然科学基金重点项目(20080404Zd20);内蒙古大学高层次人才引进基金项目资助
随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,T...
关键词：SIP 时间着色Petri网 协议验证 死锁分析 
复杂网络软件的着色Petri网层次建模及模型集成确认方法被引量：2
《高技术通讯》2013年第11期1139-1147,共9页刘靖 叶新铭 周建涛 
国家自然科学基金(61262017;61262082);973计划(2012CB315802);内蒙古自然科学基金重点项目(20080404Zd20);内蒙古大学高层次引进人才基金资助项目
为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层次化建模及模型集成确认方法。给出了复杂数据抽象、并发行为控制、同类实体建模等层次建模关...
关键词：着色Petri网(CP-net) 网络软件 模型确认 并发控制 模型检验 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部