国家自然科学基金(61262017)
- 作品数：7 被引量：9H指数：2
- 相关作者：刘靖叶新铭赵文举刘晓霞崔波更多>>
- 相关机构：内蒙古大学中国科学院更多>>
- 发文基金：国家自然科学基金内蒙古自治区自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- “合作性学习”在软件设计模式课程教学中的实践被引量：4
- 2017年
- 针对软件设计模式课程理论内容抽象、实践内容较零散,以及学生普遍缺乏规模化软件开发经验的现状,分析"合作性学习"方式在软件设计模式课程教学中的应用必要性,提出"合作性学习"驱动的软件设计模式课堂讲授内容和实训教学环节的设计方法,说明通过强化合作实践环节的教学激励,促进学生对课程理论知识内容的深入理解,培养学生主动探索的学习能力和切实可用的软件设计模式分析与应用能力。
- 刘靖
- 关键词：合作性学习软件设计模式教学方法改革
- 着色Petri网模型驱动的云测试生成方法与实现
- 2016年
- 为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.
- 刘靖吴海博王少帅贾垒
- 关键词：着色PETRI网云计算MAPREDUCE
- 融合P2P技术的云平台快速内容分发方法被引量：2
- 2017年
- 云存储服务在内容分发过程中的数据传递协议通常采用超文本传输协议(HTTP),当大量客户端在短时间内向云存储服务器发出下载同一文件的请求时,会造成云服务端带宽压力过大以及客户端下载过慢的问题。为有效解决该问题,提出了一种融合Peer-to-Peer(P2P)技术的云平台快速内容分发方法,在内容分发过程中构建动态的HTTP和P2P协议转换机制,实现快速内容分发。选取用户类型、服务质量、时间收益、带宽收益等四种协议转换度量指标,并基于OpenStack云平台实现了所提出的动态协议转换方法。实验结果表明,与仅使用HTTP或P2P协议的内容分发方式相比,动态协议转换方法能够保证客户端用户总是获得较短的内容下载时间,同时,当P2P客户端数量较大时能够有效节约服务提供商的带宽资源。
- 刘靖赵文举
- 关键词：PEER-TO-PEER服务质量OPENSTACK
- 基于虚拟机部署策略的云平台容错即服务方法被引量：2
- 2015年
- 针对如何充分利用云基础架构层资源,满足上层云应用系统租户对应用系统容错的需求多样性和高可靠性要求的问题,提出一种面向租户和云服务提供商的、基于虚拟机部署策略的云平台容错即服务方法。该方法根据租户的特定容错需求适配适合的容错方法及容错级别,据此计算并最优化云服务提供商的收益和资源使用量,在此基础上对提供容错服务的虚拟机进行优化部署,充分利用底层虚拟机资源为租户的云应用系统提供更为可靠的容错服务。实验结果表明,所提方法能够在保障云服务提供商收益的基础上,为多租户云应用系统实现更灵活且可靠性更高的容错服务。
- 刘晓霞刘靖
- 关键词：高可靠性
- 基于时间着色Petri网的SIP协议验证与分析
- 2014年
- 随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。
- 刘靖叶新铭马元飞
- 关键词：SIP死锁分析
- 一种针对CP-nets并发模型的验证方法
- 2014年
- 状态爆炸问题导致CP-nets并发模型的正确性验证工作十分困难。提出了基于并发属性的模型化简方法和基于功能组合的模型抽象方法,用于对模型进行处理,移去与并发属性不相关的模型元素,提升模型的抽象层次,使模型状态空间规模得到显著降低,并在并发属性相关行为上与原模型保持一致;在处理后模型中运用状态空间分析、模型检测等验证方法完成模型验证,针对验证得出的模型错误,通过处理前后模型的对照关系在原模型中进行改正。这在一定程度上避免了状态爆炸问题并实现了模型验证。通过将上述方法应用于HMIPv6协议模型,验证了其有效性。
- 孙涛叶新铭
- 关键词：化简
- “大作业驱动”在数据库原理与应用课程教学中的应用实践被引量：1
- 2014年
- 针对数据库原理与应用课程理论性和综合性较强,且理论和实践脱节的现状,分析了以往教学中存在的问题以及"大作业驱动"在数据库原理和应用课程中应用的必要性,提出了以"大作业驱动"的理念为指导的课程教学方法,通过强化实践操作,促进学生对课程理论知识和方法的理解,培养学生掌握开发信息管理系统的技术和独立开发的能力,在本科教学中取得了较好的成果。
- 崔波刘靖
- 关键词：数据库原理与应用实践教学
