【摘 要】
:
介绍以隐含最大相容类集为基础的经济型状态化简新算法。该算法是从最大隐含相容类集得出最小闭覆盖的初始候选集,通过对初始候选集的不断调整,得到化简结果。通过与一个具有代
论文部分内容阅读
介绍以隐含最大相容类集为基础的经济型状态化简新算法。该算法是从最大隐含相容类集得出最小闭覆盖的初始候选集,通过对初始候选集的不断调整,得到化简结果。通过与一个具有代表性的经济型算法软件的比较发现,用该算法实现的软件,除少数情况外,可对大量状态机进行更有效的状态化简。
This paper introduces a new economical state-based algorithm based on implied maximum compatible class sets. The algorithm obtains the initial candidate set of the minimum closed cover from the maximum implicit compatible set, and through the continuous adjustment of the initial candidate set, the simplified result is obtained. Comparisons with a representative economic algorithm software show that software implemented with this algorithm can, with a few exceptions, be able to more efficiently state-scale a number of state machines.
其他文献
本文报道了Au/a-Ge双层膜的分形晶化现象,并首次测量了An/a-Ge双层膜分形晶化的V-I特性.实验结果表明:分形晶化后的An/a-Ge双层膜具有反常的非线性V-I特征,应用隧道结网络(RTJN)模型对实验
首先建立缺陷空间分布和粒径分布的模型,并讨论了缺陷通过版图产生电路错误的过程,给出了IC功能成品率模拟器XD-YES的实现。用XD-YES对微电子测试图和实际IC的功能成品率模拟和分析表明,其结果与
如何激发学生学习英语的兴趣,让学生能够轻松、愉快、主动地学习英语,培养学生综合语言运用能力,创设高效的英语课堂教学,是摆在小学英语教师面前的一个重大课题。教师要为学
[新闻]马尔蒂尼拒绝欧洲杯5月18日,特拉帕托尼宣布了意大利队欧洲杯23人大名单。前锋线上伤愈不久的大英扎吉与状态极佳的吉拉迪诺没有入选,两人均表示了不同程度的失望。国
5年斥资 2 0 0亿元修路 ,相关工程包括皇岗路改造、香蜜湖路建设等近百项。深圳市交通局负责人日前透露 ,今后 5年内 ,全市将投资 2 0 0亿元左右建设近百项公路工程 ,到“十
7月20日,网友“沙澧剑客”发帖爆料:漯河市长祁金立骑自行车调研当地背街小巷改造及城中村建设情况,并帮助市民解决相关问题。该帖引起众多网友跟帖讨论,有网友对此提出质疑:
几个好朋友聚在一起,乐享欢聚的时光,还能做各自喜欢的事情,与人快乐、于己快乐,就是一场睡衣派对成功的秘诀。这些又何尝不是人与人平时相处的秘诀呢?在马蒂和妈妈将最后几
请下载后查看,本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
冬季带给我们的不只是寒冷,它给大地披上的银装是为我们的心灵插上的翅膀。当雪板与雪杖像平日手中的方向盘一样变得听话,当两旁的林木飞一般从眼前掠过,我们开始领悟飞翔的快感,也不会再抱怨这个冬天太漫长。 滑雪器材总动员 滑雪板 一般滑雪板有木质、玻璃纤维和金属之分,最受滑雪者欢迎的是这三种材质混合制成的滑雪板。想更容易地学习一些滑雪动作,建议使用短一点的滑雪板。 雪杖 选择雪杖的长度以适合
本文利用RHEED、X射线双晶衍射及TEM等技术,研究了在Si(001)衬底上,用晶化了的无定形Ge层做缓冲层MBE生长Ge时,引入表面活化剂Sb所产生的影响.研究表明,Sb的引入将会使Si(001)衬底上无