搜索结果: 16-30 共查到“知识库 自动机理论”相关记录107条 . 查询时间(2.359 秒)
Syntax-Tree Regular Expression Based DFA FormalConstruction
Automata Theory Compiler Verification Lexical Analyzer Automated Tools Z Specification
2013/1/28
Compiler is a program whose functionality is to translate a computer program written in source language into an equivalent machine code. Compiler construction is an advanced research area because of i...
针对自动信任协商(ATN)可能出现协商过程无限循环的问题,对循环产生的原因进行了分析并设计相应的检测算法以及时发现并终止协商循环。协商双方策略间的依赖关系存在环是无限循环协商产生的原因,将策略间的依赖关系建模成简单图并证明了模型的正确性;分析简单图的可达矩阵计算过程并给出简单图环检测定理,基于该定理设计检测算法对环策略依赖进行检测。最后,通过实例验证了算法的可行性。
为克服传统二叉树防碰撞算法搜索效率低的缺点,提出了一种基于启发式函数的自适应多叉树防碰撞算法。新算法通过定义和计算启发式函数,有效地利用碰撞比特信息来估计节点内待识别标签的数量。新算法根据节点内的标签数量,可在不同节点和深度,自适应地调整搜索叉数,从而有效地提高了算法的搜索效率。理论分析和仿真实验证明:新算法克服了传统防碰撞算法的缺点,尤其在待识别标签数量较多场合,可有效地减少搜索和识别时间,提高...
基于元胞自动机理论的快速公交系统能耗研究
元胞自动机 快速公交 交通流 能耗
2012/3/15
交通运输能源消耗已经成为决策管理者高度关注的信息。采用元胞自动机（CA）理论研究了快速公交系统能耗问题,以元胞自动机NaSch交通流模型为基础,通过结合动能定理,建立了快速公交系统的元胞自动机能耗动力学仿真模型。并以目前建设的兰州市快速公交系统为例,仿真研究了周期性边界条件下,不同行车密度、不同停靠站时间以及驾驶员行为差异下随机慢化对快速公交车系统能耗的影响,得到了相应的定量分析结论。仿真结果表明...
为了在图像轮廓处获得更好的压缩效果,在多级树集合分裂(SPIHT)算法的基础上提出了一种优先编码周围邻域中重要系数较多的系数与集合的小波图像压缩算法。在编码之前对系数或集合按照周围重要系数的个数进行排序,而且在扫描完周围有重要系数的集合后,就精细扫描已经得到的重要系数。这种编码次序是自适应确定的,不需要任何额外的存储空间,而且在到达指定压缩比时能够编码更多的重要系数。实验结果表明,对比原来的SPI...
半速率高速串行接口同时使用时钟的正/负边沿作为发送数据的定时基准，数据码元的定时长度直接由时钟的占空比决定，因此锁相环的输出时钟的占空比显得尤为重要。本文基于0.13μm CMOS工艺设计实现了一款1.25GHz的高频锁相环。该锁相环基于环形振荡器结构，使用互补相位调节技术实现输出时钟的占空比平衡。流片测试结果表明，该锁相环能够稳定输出1.25GHz的高频时钟，实测输出时钟的占空比能够稳定在49....
为了解决流媒体直播在Internet中传输带宽不足、用户接入多样性等问题，本文探讨了流媒体在IP网络中一般的传输控制技术，提出了一种基于联播的流媒体实时传输控制策略以适应网络带宽的动态变化。首先通过组播方式以及RTP/RTCP协议实现流媒体的实时传输；之后对自适应传输的算法进行了详细的分析和设计，并采用多线程技术实现了网络状况监测和实时码流切换控制；最后通过研究及实验数据分析对比，证明该方案可提高...
一种基于知网的句子相似度计算方法
句子相似度 知网 表层相似度 语义偏移量
2012/3/14
句子相似度是衡量文档相似度的基础，在自然语言处理领域中有着非常重要的作用。目前的句子相似度计算方法忽略了句子的结构对相似度的影响。本文在分析已有研究工作的基础上，提出了一种改进的句子相似度计算方法。依据知网对“实体概念”的描述，构造出义原的语义层次树，由各个义原在树中的相对位置，计算出义原之间的相似度。对三种义原加权求和得到词语之间的语义相似度。综合句子的表层相似度和句子的词语语义以及词语的相对位...
一种改进的变步长自适应GSO算法
全局优化 局部最优 萤火虫群优化算法 自适应
2012/3/12
基本萤火虫群优化(GSO)算法在求解全局优化问题时，存在收敛速度慢、求解精度不高等问题。为此，提出一种变步长自适应GSO算法。该算法在一定程度上可以避免GSO算法过早陷入局部最优，且步长随迭代次数的增加而自适应地调整，从而使算法在后期获得精度更高的解。运用6个标准测试函数进行实验，结果表明，与GSO算法相比，该算法的收敛速度及精度均有明显提高。
线性支持向量机多类分类器几何构造方法
支持向量机 最优分类线 点集凸包 Delaunay三角剖分 多边形中轴线 多类分类
2012/3/12
针对支持向量机多类分类问题，根据样本点集凸包找寻模式类间隙，通过提取模式类间隙多边形中轴线构造多类分类边界。当基本支持向量机扩展为多类分类问题时，该方法克服了OAO和OAA等传统方法存在的决策盲区和类别不平衡等缺陷。基于仿真数据集的 实验结果表明，构造的分类边界在保证分类精度的同时，能够使分类空隙最大化，实现对线性可分多类数据的最优分类。
基于效用的个性化推荐方法
个性化推荐 多属性效用 变精度粗糙集 推荐服务
2012/3/12
当前的推荐方法未能从个性化效用角度评价推荐项目，因此用户需按自己的偏好，在推荐结果中进行再次筛选。针对该情况，提出一种基于效用的个性化推荐方法。该方法采用逼近于理想值的排序法(TOPSIS)作为衡量推荐对象效用的基本方法。为克服TOPSIS中静态权重设置的不足，采用可变精度粗糙集发现用户对属性的偏好。实验结果表明，该方法能为用户提供更好的个性化效用及准确性的推荐服务。
为验证嵌入式实时系统开发过程中任务集的可调度性，设计并实现一种嵌入式系统调度分析工具。提出通用任务模型，建立任务与事件到达自动机和任务状态自动机的状态关系映射，利用基于模型检测的时间自动机可达性方法判定系统的可调度性。仿真实例结果表明，该工具的分析准确性较高。
秘书问题中聘用双方策略研究
秘书问题 截止阀法则 适应性主体 多主体系统
2012/3/9
秘书问题是一类概率最优化问题，鉴于现实应用中其理论最优策略缺乏可操作性，而传统启发式策略仅关注阀值确定，不涉及阀值和标杆关系的定量分析。为此，推导“截止阀法则”中阀值与标杆的最优组合关系，提出一种“三分决策法”聘用策略，以总量的1/3为样本，并以1号~3号标杆为参照选取目标，运用多主体系统的建模方法，对应聘策略进行分等级讨论，分析2种不同竞争模式下，优劣各异的应聘者在应聘队列中最大化录用概率。应用...
在服务组合中，动态环境的变化可能导致参与组合的Web服务行为发生变化。为此，提出基于自适应框架的Web服务选择算法，用于获取公共服务注册处的信息，并将其记录在本地绑定库中，利用链接分析算法获得绑定库某一时刻高链接度的Web服务，实现服务选择。实验结果证明，该算法可在服务组合中动态选择高质量的Web服务，降低由服务质量变化造成的服务组合失败率。