确定有限自动机

作品数：42被引量：126H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：闵兰段振华雷丽晖刘益孙玉强更多>>
相关机构：西安电子科技大学成都理工大学国防科学技术大学宜宾学院更多>>
相关期刊：《航空计算技术》《计算机技术与发展》《计算机工程与设计》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于UML2.0序列图的Web服务运行时验证方法被引量：3
《计算机科学》2013年第7期138-142,共5页张亚红 张琳琳 赵楷 陈佳丽 冯在文 
国家自然科学基金资助项目(61100017;61262089);自治区高校科研计划项目(XJEDU2011S24);福建省自然科学基金项目(2012J01250;2011J05146);新疆大学博士毕业生科研启动基金项目(BS090142)资助
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列图进行扩展,将QoS属性和功能属性的描述统一起来,以精确表达Web服务的需求规约。然后,提出利用确定有限自...
关键词：UML2 0序列图 确定有限自动机 WEB服务 运行时验证 
确定有限自动机最小化算法的并行处理被引量：3
《计算机科学》2008年第1期298-300,共3页孙玉强 李玉萍 王海燕 陈继光 
江苏省高校自然科学基金(项目编号:06KJB520022);河南省高校自然科学基金(项目编号:200510476016)资助
对有限自动机模型最小化做了深入分析,提出了一种基于可区分状态表结构的并行最小化算法,以实例详细描述了算法并行处理过程并验证其算法的可行性。
关键词：并行化 确定有限自动机 可区分状态表 
有限状态自动机的并行确定化及过程分析被引量：5
《计算机科学》2006年第10期293-294,F0003,共3页孙玉强 刘三阳 王明斐 邹凌 
河南省自然科学基金(0211021600和0324220079)资助。
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究,详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法,并以实例给出了其间并行转化的过程。
关键词：并行转换 非确定有限自动机 确定有限自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部