收藏本站
收藏 | 论文排版

非完全确定有限状态机最小闭覆盖的有效算法

李炜  吴建国  刘政怡  
【摘要】:有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李轶,彭永进;基于有限状态机的电力电子电路仿真方法的研究[J];计算机仿真;2005年09期
2 王巍,高德远;有限状态机设计策略[J];计算机工程与应用;1999年07期
3 孙骏,朱忠奎,尹安东,羊拯民;汽车制动防抱系统的混合建模与仿真研究[J];系统仿真学报;2004年09期
4 刘松涛;周晓东;杨绍清;;基于元胞自动机的红外图像增强新方法[J];红外与激光工程;2006年S4期
5 石佳钦;;一种用于静态分析的规约语言设计与实现[J];现代计算机(专业版);2008年12期
6 孟彦京;陈卓;;事件驱动的程序设计方法在嵌入式系统中的应用[J];电气自动化;2009年06期
7 曾斌,邢继峰,黄道颖,黄志军;面向对象的用户层协议软件设计[J];计算机工程与应用;2002年23期
8 李艺,张占月;COSIX连网子系统的设计与实现[J];计算机工程与设计;2002年01期
9 刘伟;朱一凡;李群;周宏伟;;面向仿真训练系统的过程模型研究[J];计算机仿真;2005年12期
10 刘轶;刘涛;张兴军;伍卫国;;基于有限状态机的呼叫中心软件设计[J];微电子学与计算机;2006年02期
11 武楠;房立金;姜春英;张飞;;基于有限状态机的空间对接仿真平台控制系统设计[J];机器人;2007年04期
12 梁伟晟;李磊;;基于与或逻辑的界面关系模型表示方法[J];计算机科学;2008年04期
13 刘恒;陈友龙;唐杰;罗先敏;;基于FSM的某型制氧制氮车仿真系统设计[J];福建电脑;2009年01期
14 武楠;房立金;刘红娟;;空间对接模拟器控制系统设计[J];软件导刊;2009年06期
15 王宗宝,梁齐;Verilog HDL中阻塞与非阻塞过程赋值的区别与应用[J];现代电子技术;2005年18期
16 张宏立;;基于Stateflow和xPC的监控系统实现[J];计算机应用与软件;2005年12期
17 魏丙楠;;有限状态机在嵌入式软件中的应用[J];计算机与信息技术;2005年10期
18 颜玉兰;何克清;刘进;;一种基于有限状态机的模型转换方法[J];计算机工程;2006年01期
19 魏先民;;有限状态机在嵌入式软件中的应用[J];潍坊学院学报;2006年04期
20 郭凯红;;关于有限状态机最小化理论的一个注记[J];辽宁大学学报(自然科学版);2008年03期
中国重要会议论文全文数据库 前10条
1 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年
2 李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
3 王宗义;;有限状态机原理在OA系统中的运用[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年
4 刘晓明;赖祥;黄松;;一种基于邻接矩阵的有限状态机路径产生方法[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
5 张剑鸣;杨正球;;基于Struts架构的考核系统软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 刘松涛;周晓东;杨绍清;;基于元胞自动机的红外图像增强新方法[A];2006年全国光电技术学术交流会会议文集(D 光电信息处理技术专题)[C];2006年
7 邹循进;叶云青;陈孝威;;C++游戏开发中可重用动态有限状态机设计与实现[A];第三届和谐人机环境联合学术会议(HHME2007)论文集[C];2007年
8 李晓斌;刘辰;杨正球;;基于struts框架的软件流程设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
9 张磊;张胜;朱琳;;海军作战兵力行为仿真研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
10 严隽薇;宋国斌;张克技;;一种实时系统分析法——H-P扩展法[A];第三届全国控制与决策系统学术会议论文集[C];1991年
中国博士学位论文全文数据库 前10条
1 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
2 金虎;自动化软件测试技术研究[D];四川大学;2006年
3 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
4 李晓军;基于量子框架的开放式汽车电控系统体系架构及其应用研究[D];山东大学;2008年
5 吕新桥;联机手写汉字识别技术研究[D];华中科技大学;2009年
6 吕庆聪;普适计算语义服务发现与服务组合研究[D];东华大学;2009年
7 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
8 孟志刚;蚁群觅食仿真和动画的研究[D];中南大学;2011年
9 孟志刚;蚁群觅食仿真和动画的研究[D];中南大学;2011年
10 刘志军;电子证据完整性的几个关键技术研究[D];武汉大学;2009年
中国硕士学位论文全文数据库 前10条
1 许固镇;关于直觉模糊有限状态机若干问题的讨论[D];广西师范大学;2011年
2 张粟;大型多人在线角色扮演类游戏中有限状态机系统的设计与实现[D];北京交通大学;2010年
3 董刚;基于自主智能体的群体动画创作方法研究与实现[D];国防科学技术大学;2004年
4 董焕珍;基于EFSM的UIO序列的生成研究[D];青岛大学;2009年
5 常珂;基于有限状态机的建模技术在备品备件管理系统中的实现[D];北京邮电大学;2010年
6 朱志伟;基于有限状态机的体育视频比赛类型识别[D];吉林大学;2006年
7 孙梅娟;水表自动检定装置与管理信息系统的研究[D];天津大学;2005年
8 周萌萌;虚拟手术系统中行为引擎的研究与实现[D];山东大学;2009年
9 高勃;基于工作流的科研管理信息系统的设计与实现[D];北京交通大学;2010年
10 唐军;GSM移动终端软件MMI部分的设计与实现[D];西北工业大学;2003年
中国重要报纸全文数据库 前2条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 中国电子系统设备工程公司研究所 韩柯;软件质量谁把关?[N];计算机世界;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978