论文部分内容阅读
对Bachi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系，延迟模拟关系和公平模拟关系的概念，算法进行了比较，并探讨了基于这些模拟关系的自动机优化方法。最后对未来的研究方向作了简要的介绍。
模拟的概念、计算及在自动机最小化上的应用
【摘 要】
：
对Bachi自动机进行优化是提高基于自动机的模型检测效率的重要手段。本文对直接模拟关系，延迟模拟关系和公平模拟关系的概念，算法进行了比较，并探讨了基于这些模拟关系的自动机
【机 构】
：
华中科技大学计算机科学与技术学院
【出 处】
：
计算机科学
【发表日期】
：
2007年7期
【基金项目】
：
本文工作得到国家自然科学基金（70271069）的支持.
其他文献
既能减少数据量又能直接快速地进行运算是图像表示方法所追求的目标。本文为克服传统的图像层次结构限制条件过多的缺陷,在借鉴Packing问题的思想的基础上,提出了非对称逆布局模式表示模型(Non-Symmetry and Anti-Packing Pattern Representation Model,NAM)。NAM模型的非对称层次结构使其在表示一幅图像时没有过多的限制条件,因此可以获得更高的压缩
混合无线网络是在Ad hoc网络中添加基站的新型网络模型，其容量是评估网络性能的重要参数。本文研究了混合无线网络的容量问题。首先建立了谊网络的网络模型，在考虑延迟时间的基
移动服务巨大的市场潜力使许多行业纷纷加入这一商业领域,从而形成了移动服务的价值链,该链参与各方商业策略的博弈决定了价值链的结构。为了分析提供移动内容服务的各参与方
动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法.为了支持
自适应网站能够根据用户需要快速灵活地改变自身，动态适应不断变化的用户需求和应用环境.本文基于图的频繁闭项集从站点一定时期内的日志中挖掘出闭相关页面集，据此提供在线动
利用M-矩阵和拓扑学等有关知识，通过构建向量李雅普诺夫函数，研究了一类包含分布时滞和可变时滞的神经网络的平衡点的存在性、唯一性及其全局指数稳定性。在没有假定激励函数有
基于信息系统的整体安全解决，国内外信息安全专家提出了信息安全保障、信息安全体系结构等概念，其中最著名的是美国国家安全局推出的《信息保障技术框架（IATF）》3．1版和国内专家提
处理非线性最优化问题的常规方法是采用启发式策略，但这些启发式算法多数只能得到局部最优解。本文结合最优化理论及遗传算法，提出了一种新的优化方法，并通过用例对此方法进行了
提出了一种新的复制机制：温和一致性代理复制机制（MCARM）。MCARM采用了主节点的复制管理器与辅助节点的MSS-Agent协调工作的架构，吸取严格一致性协议和弱一致性协议的优势，又避开