收藏本站
《2005年“数字安徽”博士科技论坛论文集》2005年
收藏 | 手机打开
二维码
手机客户端打开本文

非完全确定有限状态机最小化有效算法的研究

李炜  许中卫  刘政怡  刘露露  
【摘要】:有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大的FSM最小化。本文给出了一种有效的求解非完全确定有限状态机的状态最小化算法。该算法利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法实现。
【作者单位】:安徽大学计算机学院
【基金】:安徽省高等学校去年教师科研资助项目(No.2004jql05)
【分类号】:TP301.6

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 贺景霞;;FPGA与GPS_OEM板的UART设计[J];电子产品世界;2011年09期
2 吴琼;张明;田明才;;基于有限状态机的Morse码识别算法的VHDL实现[J];沈阳大学学报;2011年03期
3 庞平;;历史信息约束的角色访问控制模型[J];网络安全技术与应用;2011年09期
4 王晓飞;封吉平;何强;;基于有限状态机的角度信息采集电路设计[J];计算机测量与控制;2011年06期
5 吴成富;张江霞;段晓军;陈楸;;余度飞控软件单PC仿真测试技术[J];测控技术;2011年08期
6 汪志宾;周颢;赵保华;;协议一致性测试生成的路径叠加方法[J];计算机系统应用;2011年07期
7 邹北骥;孟志刚;向遥;曾羽;;实时双向群组搜索及其在蚁群觅食动画中的应用[J];小型微型计算机系统;2011年06期
8 詹瑾瑜;陈忠湘;郝宗波;;基于有限状态机的指针解引用静态检测方法[J];四川大学学报(工程科学版);2011年04期
9 连恒兴;赵彩霞;沈三民;熊继军;;基于USB的多路数据读数接口的设计[J];化工自动化及仪表;2011年08期
10 林晓勇;糜正琨;陈奎成;;基于FSM的VPN自动部署设计与应用[J];计算机工程与设计;2011年08期
中国重要会议论文全文数据库 前10条
1 李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
2 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年
3 王宗义;;有限状态机原理在OA系统中的运用[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年
4 周瑗;杨丽华;;有限状态机的VHDL设计[A];2004年电子技术学术研讨会论文集[C];2004年
5 朱维勇;傅桂生;;基于VHDL语言的有限状态机设计方法[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
6 刘晓明;赖祥;黄松;;一种基于邻接矩阵的有限状态机路径产生方法[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
7 秦宁宁;曾勇波;徐保国;;无线通信中有限状态机的设计研究[A];2007中国控制与决策学术年会论文集[C];2007年
8 肖军;贾宁宇;于淼;席宁;;小型爬壁机器人步态规划的研究[A];2007中国控制与决策学术年会论文集[C];2007年
9 傅钦翠;陈剑云;;基于有限状态机的远动规约的设计和实现[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
10 张剑鸣;杨正球;;基于Struts架构的考核系统软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国重要报纸全文数据库 前2条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 中国电子系统设备工程公司研究所 韩柯;软件质量谁把关?[N];计算机世界;2004年
中国博士学位论文全文数据库 前10条
1 杜海江;高压无换向器电机及其控制技术研究[D];华北电力大学(河北);2005年
2 杨修涛;集成电路寄存器传输级故障模型与测试生成研究[D];中国科学院研究生院(计算技术研究所);2006年
3 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
4 金虎;自动化软件测试技术研究[D];四川大学;2006年
5 刘莉;VXI测试平台中动态可重构多DSP系统设计方法的研究[D];浙江大学;2003年
6 高庆吉;基于粗糙集理论的移动机器人自主导航研究[D];哈尔滨工业大学;2006年
7 高嵘;基于物联网的猪肉溯源及价格预警模型研究[D];电子科技大学;2011年
8 唐雄民;大功率串联负载谐振式臭氧发生器供电电源的研究[D];湖南大学;2007年
9 李侠;低功耗嵌入式微处理器的VLSI设计研究[D];复旦大学;2004年
10 张峰;基于网络处理器的高性能虚拟专用网研究与实现[D];浙江大学;2003年
中国硕士学位论文全文数据库 前10条
1 张颖蓓;LDP协议一致性测试研究与实现[D];国防科学技术大学;2003年
2 董刚;基于自主智能体的群体动画创作方法研究与实现[D];国防科学技术大学;2004年
3 孙栋栋;全地面汽车起重机制动防抱死系统仿真研究[D];吉林大学;2006年
4 董焕珍;基于EFSM的UIO序列的生成研究[D];青岛大学;2009年
5 黄丽雯;嵌入式Web服务器中有限状态机的设计与实现[D];东北大学;2005年
6 于颖书;智能流量计量控制系统及其VHDL实现[D];天津大学;2005年
7 柯金水;基于SIP的NAT/防火墙穿透研究及SBC的设计与实现[D];华中科技大学;2005年
8 朱志伟;基于有限状态机的体育视频比赛类型识别[D];吉林大学;2006年
9 孙梅娟;水表自动检定装置与管理信息系统的研究[D];天津大学;2005年
10 王佑卿;高可靠微处理器定时器及中断控制器研究[D];哈尔滨工程大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026