有穷自动机

作品数：105被引量：225H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李永明周清雷李翰芳罗海丽李平更多>>
相关机构：陕西师范大学贵州大学郑州大学哈尔滨工业大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划贵州省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于簇聚类和游程编码的正则表达式压缩算法被引量：1
《计算机工程》2014年第8期282-287,292,共7页杨嘉佳 姜腊林 姜磊 戴琼 谭建龙 
国家"863"计划基金资助项目(2012AA012502);中国科学院战略性先导科技专项基金资助项目(XDA06030602)
基于簇聚类的确定型有穷自动机(DFA)压缩算法,即ClusterFA算法,解决了正则表达式匹配中的空间爆炸问题,但该算法的分组个数取理想值较为困难,且其类中心向量表的每一行中连续重复转移状态出现频率较高。针对该问题,提出一种改善ClusterF...
关键词：正则表达式 ClusterFA算法 确定型有穷自动机 游程编码 压缩率 吞吐率 
基于有穷自动机的面向对象软件规约的测试被引量：1
《计算机工程》2007年第5期59-61,64,共4页程烨 高建华 
尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试而不是对面向对象规约...
关键词：测试 有穷自动机 形式化方法 软件规约 面向对象 
基于事件驱动模型的集装箱物流信息系统被引量：1
《计算机工程》2005年第17期220-222,共3页张春海 刘波 李华 
提出了基于约束规则集的事件驱动模型的概念,以之为基础并结合确定性有穷自动机的理论,建立了整个集装箱物流的工作流程,通过满足约束规则的事件来驱动物流和资金流的状态改变,并给出了系统的一个具体实现方案。
关键词：集装箱物流信息系统 约束规则集 事件驱动模型 确定性有穷自动机 
多通道整合的相关问题及算法被引量：2
《计算机工程》2004年第13期67-68,171,共3页张宏超 俸文 周方 孙亚民 
国家十五重点军事预研项目资助
多通道界面旨在充分利用一个以上的感觉和动作通道来捕捉用户的意向,提高人机交互的自然性和高效性,其核心问题就是通道整合的问题。该文针对该问题提出了一个基于分层的任务模型的整合算法,该算法处理中涉及到程序运行状态表示、任务...
关键词：多通道用户界面 有穷自动机 对象属性结构 交互原语 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部