刘荣胜

作品数：6被引量：8H指数：2
导出分析报告
供职机构：湖南铁道职业技术学院信息工程系更多>>
发文主题：WEB服务组合Π-演算互模拟异步并发访问更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机工程与设计》《计算机工程与应用》《苏州市职业大学学报》《科技信息》更多>>
所获基金：湖南省重点科技攻关项目湖南省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于异步回调机制的NFS服务端设计与实现被引量：3
《苏州市职业大学学报》2013年第1期41-43,共3页刘荣胜 
随着计算机应用的普及和网络技术的快速发展,传统的磁盘阵列存储技术由于受到地域和技术的局限性,已无法完全满足目前要求,针对信息对存储空间、访问速度和安全性能要求越来越高等问题,在网络存储技术中,通过异步回调机制的实现,在提高...
关键词：NFS 异步回调 并发访问 
基于B/S的高职院校人才培养工作状态数据管理系统被引量：1
《科技信息》2012年第29期126-127,共2页翁健红 刘荣胜 
基于ASP.NET技术开发了B/S架构的高等职业院校人才培养工作状态数据管理系统,该系统实现学校人才培养工作状态数据采集、审核、汇总等功能,系统大大提高了人才培养状态数据收集工作的效率。
关键词：ASP.NET 人才培养工作状态数据 代码自动生成 
一种基于Pi演算的数字电路仿真检验方法
《电脑知识与技术（过刊）》2011年第9X期6425-6425,6429,共2页刘荣胜 
湖南铁道职业技术学院教研科研项目(编号:k201001)
Pi演算已经在软件工程,Web服务等领域有了广泛的应用,取得很多的研究成果。该文尝试用Pi演算对数字电路进行仿真,分析数字电路的性质,为Pi演算在数字电路和芯片设计领域的应用基础。
关键词：PI演算 数字电路 符号仿真 
基于Mobile Ambients的网络实时模拟方法
《计算机工程与设计》2009年第4期869-872,共4页陈承欢 刘荣胜 高春鸣 
湖南省重点科技攻关基金项目(05GK2002);湖南省自然科学基金项目(03JJY6023)
在通信协议中,很多性质都与时间相关。为了研究通信协议的时间性质,需要一种能够描述时间的形式化方法。在Mobile Ambients的基础上,用时间对其做扩展,提出一种新的形式系统——类型化实时Mobile Ambients演算。并采用实时Mobile Ambie...
关键词：形式化 类型系统 实时演算 MOBILE Ambients 通信协议 
基于类型化Pi-演算的Web服务组合相容性检测被引量：2
《计算机工程与应用》2007年第7期120-124,共5页刘荣胜 黄邵 高春鸣 
湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY6023);湖南省重点科技攻关项目(No.05GK2002)
定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEL4WS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相...
关键词：PI-演算 类型系统 WEB服务 相容性 
Web服务组合的互模拟验证被引量：2
《计算机应用》2006年第10期2466-2469,共4页袁勇福 高春鸣 刘荣胜 
湖南省重点科技攻关项目(05GK2002);湖南省自然科学基金资助项目(03JJY6023)
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互...
关键词：Π-演算 商业流程可执行语言 开互模拟 on-the-fly算法 模型验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部