有限状态机的状态化简方法及其Verilog实现研究

本文提出了一种新的有限状态机的状态划简方法。该方法是通过列表法判断出等价状态进而合并,以达到简化状态转移表的目的。该方法可以节省硬件资源,提高状态机效率。具体实例表明该方法简洁、高效,对所有状态机化简均适用。     

消除EFSM中状态迁移不确定的方法

扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。     

状态分配规则及相邻状态链分配技术

本文全面分析了时序逻辑电路设计中的5个状态分配规则.在分析一个例子的基础上,提出了相邻状态链的概念和分配技术.并进一步介绍了利用相邻状态链进行状态分配的方法和步骤.设计实例表明,有关的状态分配规则及相邻状态链分配技术是有效的.     

有限状态机(FSM)的实现

本文主要介绍了IP模块的有限状态机（FSM）的实现。详细说明了有限状态机的状态变迁图和状态机的流程图。同时解释了描述状态／事件／动作／规则的类。     

不确定带权有限状态机的最小化问题

本文提出一个不完全确定带权有限状态机的状态最小化问题：找一个状态间权值最小的机器覆盖确定机。在详细讨论了与这一问题解决有关的概念基础上，借助于ｂｉｎａｔｅ覆盖问题，给出了它的两个分枝限界算法。     

同步时序电路设计的状态分配技术

给出寻求较佳或最佳状态分配的六条一般规则,并通过实例设计说明其应用。     

基于蕴含图的状态分配技术

分析了一个例子的基础上,给出蕴含图的概念,并介绍利用蕴含进行状态分配的方法,该方法可获得较佳获得分配,得到较简单的电路。     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例,针对电话会议汇接系统的实时性多任务的特点、运用有限状态机模型,从状态和状态转移的设计入手,结合面向对象程序语言编程,探讨此类系统的软件设计的思路和方法。     

基于相邻状态链的多重态分配技术

本文全面分析了时序逻辑电路设计中的5个状态分配规则和相邻状态链分配技术.在分析一个例子的基础上,提出了利用冗余态进行多重态状态分配的方法,并进一步介绍了基于相邻状态链的多重态分配技术.设计实例表明,基于相邻状态链的多重态分配技术是有效的.     

电力系统两级状态估计法

利用大系统分割原理,提出了电力系统两级状态估计法,该法提高了状态估计的计算速度。在18结点系统上进行数字仿真实验,得到了良好的效果。     

基于两跳邻居的ZigBee网络借地址分配算法

针对标准DAAM算法可能产生网络深度折回问题及父节点可分配的地址空间分布不均,提出一种基于两跳邻居的ZigBee网络借地址分配算法。通过控制子节点发送地址请求信息的监测范围设为两跳通信距离内的邻居节点,并改进实时路由,实现优化网络拓扑结构,减少孤立节点。理论和仿真分析表明改进算法在地址分配成功率,地址分配平均耗时等方面优于DAAM算法。     

基于混合算法求解指派问题

本研究建立了指派问题的数学模型,提出了以遗传算法和蚁群算法相结合的思想及其解决方案．算法主要是将每一个任务作为一个基因位形成染色体,以遗传算法控制寻优方向,更适宜解决组合优化问题．实验结果表明,使用此算法解决指派问题,提高了搜索效率,能够在短时间内找到最优分配方案,证明该算法是可行的．     

不完全能控系统极点配置算法的实现

极点配置是以状态方程为基础的状态反馈综合法的重要方法。它的基本思想是通过零极点重新配置,达到改善系统性能指标的目的。但现有的算法都要求系统状态完全能控。没有可直接用于不完全能控系统极点配置的算法。为解决这个问题,分析了状态不完全能控系统的性质,讨论了系统镇定问题,利用完全能控系统极点配置的算法,提出了状态不完全能控系统极点配置的算法,并给出了实现程序,取得了预期的功能。     

自动化立体仓库的货位分配模糊算法研究

针对自动化立体仓库的入库货位分配优化问题,提出了基于模糊数学的货位分配算法.该算法将货品的质量和使用频率属性设为模糊量,并将该模糊量带入最优货位分配算法中计算,再从计算所得模糊量结果中得到精确的货品位置.结果表明,该算法能够有效地提高入库的效率.     

基于特征结构配置的系统状态与输出控制

动态系统的反馈控制目的之一是获得期望的状态或输出动态特性.本文研究通过状态反馈特征结构配置使系统状态或输出实现这样的期望特性.首先通过矩阵的实约旦标准型与系统初值的选取获得系统状态不同的模态形式;然后给出状态反馈使系统特征根均为实根与含复根的实特征结构配置的参数化结果;进而在给定初值的情况下,通过调整特征向量矩阵的参数与新的输入获得系统状态或输出的期望特性.数值算例说明了所给的方法可以实现期望的状态或输出性能.     

基于单亲遗传算法的飞行机组指派技术

航空公司机组人员指派是一个NP疑难问题.现在航空公司的排班工作存在着排班人员工作量大,排班过程效率低,值勤成本高,排班结果机组人员不满意等等的问题.为解决这些问题,采用单亲遗传算法,利用计算机技术,对机组人员进行合理的排班.通过与改进遗传算法进行比较,单亲遗传算法收敛速度更快,能够得到更合理的机组指派结果.     

一种基于状态机的总线桥设计

随着半导体工艺技术的飞速发展,系统芯片SOC正逐渐成为集成电路设计中的主流发展趋势,基于IP重用的设计方法是提高SOC设计效率的有效途径。SOC设计通常采用层次化片上总线的体系结构,不同的IP集成在不同类型的总线上。为了实现SOC中集成在不同总线上的IP之间进行有效通信,可以采用设计总线桥的方法。文章提出了一种基于状态机的总线桥设计方法,设计结果通过了RTL功能验证。     

基于自动测试生成的寄存器分配算法

提出了在寄存器分配时考虑可测性的一个新算法。它采用前向 /后向算法 ,将一个已调度好的 CDFG (ControlData Flow Graph)中的变量分配到相应的寄存器。通过对变量生命时间定义的扩展 ,本算法可以对带反馈的电路进行处理。在定义变量之间的寄存器复用相关函数时同时考虑了 3个准则 ,达到提高设计可测性的目的。实验结果表明了算法的有效性     

基于指派问题的Bay位排箱优化模型与算法

提出了解决集装箱船全航线配载问题的分解算法,将配载问题分解为Bay位选择和Bay位中集装箱箱位指定两个子问题.主要研究了Bay位中装载同一目的港集装箱时,不同重量集装箱在Bay位中的排箱方法.以重心高度最低、横倾力矩最小为目标建立优化模型,将Bay位中不同重量集装箱排箱问题看成是箱位指派问题,采用禁忌搜索算法求解.实际...     

认知网络中基于快速多赢家多频段拍卖的动态频谱分配

针对传统拍卖方法在动态频谱分配中的低效问题,本文提出了一种基于FADM(fast auction with multiple bands and multiple winners)算法的动态频谱分配方法.FADM算法将传统的多物品拍卖问题转化为整数型0/1背包问题,从而可用动态规划寻求最佳的出清向量;新算法采用了保留价格和差异定价抑制共谋,且根据供求关系动态调整保留价格和竞标价格,兼顾了频谱分配的经济效益和社会效益.性能分析和计算机仿真结果表明,FADM算法可以使频谱有效利用率逼近实际需求率,同时尽可能提高分配收益.