论文部分内容阅读
基于左右语言的优化是完全基于自动机理论的优化方法。所谓左语言是指从初始状态到指定状态的语言，而右语言是指从指定状态到接受状态的语言。K-模拟为左右语言的计算提供了一个高效的算法，研究了基于K-模拟的左右语言的Kripke结构、Btichi自动机的优化方法。
基于左右语言的状态迁移系统的优化
【摘 要】
：
基于左右语言的优化是完全基于自动机理论的优化方法。所谓左语言是指从初始状态到指定状态的语言，而右语言是指从指定状态到接受状态的语言。K-模拟为左右语言的计算提供了一
【机 构】
：
华中科技大学计算机科学与技术学院,广东商学院信息学院,武汉理工大学汽车学院
【出 处】
：
计算机科学
【发表日期】
：
2009年5期
【基金项目】
：
本文工作得到广东自然科学基金（No.06023961）及广东省教育厅自然科学基金（No.052013）的支持.
其他文献
起源于群体智能的微粒群优化技术已经得到广泛的应用。一般情况下，我们假定微粒处于均匀分布的线性空间内。流形是几何学中的概念，概括地说，它是一个非线性空间。提出了一种基于
多宿主是克服路径失效，提高站点服务可靠性的有效途径之一。然而囿于当前TCP／IP体系结构的限制，多宿主还没有得到很好的普及。其中一个重要原因就是IP地址语义过载，IP地址既代表
一般来说，外存访问的数据文件中针对多属性的区域查询有两个改进其效率的方向。一个是在其上建立索引，另一个是在物理层按照某种规律重新安排记录。探讨如何通过第二种方法来提
由于多角度多度量的统计方法存在种种问题，提出了通过分形维数从整体上刻画互联网拓扑性质。以传统分形理论为基础，结合互联网拓扑所具有的自相似性质，给出网络拓扑维数的相关概
在现有的UML到Petri网模型转化规则的基础上，引入本体将其作为各种模型到Petri网模型之间转化的桥梁，研究各种模型到Petri网的通用转化方法。为每个模型包括Petri网模型建立本
从大量Web信息中获取有用的信息是web数据挖掘的关键问题。如何评价web信息是否可信，现在主要方法是通过BadRank算法进行内容评测，或是通过链接权重进行相关引用数计算。可信数
针对DeepWeb查询界面集成问题，定义了一种面向专门领域的域序列模式图（FSRG）模型，用于表示和发现同一领域查询界面中的所有域序列模式。该模型将领域内不同查询页面的域序列模式
分析了简单向量距离文本分类算法的不足，提出了相应的改进算法。把反馈思想引入简单向量距离分类模型，使文本分类系统具备了不断学习的能力。实验证明，改进后的文本分类模型适合
Mobile Ad Hoc Network（MANET）网络的路由行为依赖于开放环境下自治移动节点间的相互合作。在对MANET路由信任关系及其特性进行分析的基础上，将节点的路由信任度量表述为基于转