刘荣胜
- 作品数：7 被引量：12H指数：2
- 供职机构：湖南铁道职业技术学院信息工程系更多>>
- 发文基金：湖南省重点科技攻关项目湖南省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于Mobile Ambients的网络实时模拟方法
- 2009年
- 在通信协议中,很多性质都与时间相关。为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambients描述了三次握手协议,结果表明了该方法的可行性。
- 陈承欢刘荣胜高春鸣
- 关键词：形式化MOBILE通信协议
- Web服务组合的互模拟验证被引量：6
- 2006年
- 为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
- 袁勇福高春鸣刘荣胜
- 关键词：Π-演算
- 基于类型化Pi-演算的Web服务组合相容性检测被引量：2
- 2007年
- 定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相容性的可行性。
- 刘荣胜黄邵高春鸣
- 关键词：PI-演算WEB服务相容性
- 离散实时Mobile Ambients
- 随着计算机技术和网络技术的发展，移动计算与实时计算已经成为计算机科学领域的两个研究热点，受到越来越多的关注。不同领域的学者对这一问题的研究有不同的方法。形式化方法作为研究分布式、并发计算的一个重要重要方法，近年来得到了飞...
- 刘荣胜
- 关键词：时态逻辑可判定性
- 文献传递
- 基于B/S的高职院校人才培养工作状态数据管理系统被引量：1
- 2012年
- 基于ASP.NET技术开发了B/S架构的高等职业院校人才培养工作状态数据管理系统,该系统实现学校人才培养工作状态数据采集、审核、汇总等功能,系统大大提高了人才培养状态数据收集工作的效率。
- 翁健红刘荣胜
- 关键词：ASP.NET代码自动生成
- 一种基于Pi演算的数字电路仿真检验方法
- 2011年
- Pi演算已经在软件工程,Web服务等领域有了广泛的应用,取得很多的研究成果。该文尝试用Pi演算对数字电路进行仿真,分析数字电路的性质,为Pi演算在数字电路和芯片设计领域的应用基础。
- 刘荣胜
- 关键词：PI演算数字电路
- 一种基于异步回调机制的NFS服务端设计与实现被引量：3
- 2013年
- 随着计算机应用的普及和网络技术的快速发展,传统的磁盘阵列存储技术由于受到地域和技术的局限性,已无法完全满足目前要求,针对信息对存储空间、访问速度和安全性能要求越来越高等问题,在网络存储技术中,通过异步回调机制的实现,在提高网络存储技术的并发访问和访问速度方面取得了较好的效果.
- 刘荣胜
- 关键词：NFS异步回调并发访问
