一个新的经济型状态化简软件

来源 :哈尔滨工业大学学报 | 被引量 : 0次 | 上传用户:gusterlyb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍以隐含最大相容类集为基础的经济型状态化简新算法。该算法是从最大隐含相容类集得出最小闭覆盖的初始候选集,通过对初始候选集的不断调整,得到化简结果。通过与一个具有代表性的经济型算法软件的比较发现,用该算法实现的软件,除少数情况外,可对大量状态机进行更有效的状态化简。
其他文献
7月下旬以来,砀山县早熟梨陆续进人成熟期,“翠玉”“绿宝石”“翠冠”“早酥”等品种一上市就卖出好价钱,单果重250g以上的早熟梨2.60元/kg,同比价格上涨18.64%.近年来,该县
据秘鲁柑桔生产者协会(ProCitrus)总经理表示,2019年秘鲁柑桔类水果(宽皮柑桔、甜橙、桔柚、葡萄柚和柠檬)出口量预计将比2018年的18万t增长10%。从中长期来看,秘鲁柑桔将保
作物系数和水分生产效率是分析评估灌溉用水定额和灌溉效益的基础参数,本文基于滴灌灌区生产实际调研采用数理统计方法,对12种大田滴灌作物系数和灌溉水分生产率进行了分析,
随机选取我院2012年1月~2016年1月收治的83例椎间盘突出合并脊柱滑脱患者作为研究对象,根据患者的治疗方法将其进行分组,分入到观察组和对照组,其中观察组患者采用手术治疗(MA
“春雷”是从“红灯”与“先锋”杂交后代中选育出的大果中晚熟优质甜樱桃新品种。2017年3月通过河南省林木品种审定委员会认定。该品种果实大,肾形,平均单果重8.5 g,果顶凹,
以面粉、豆渣、黑茶、黄油等为主要原料,并用木糖醇部分替代糖粉,来研制一款特色饼干,通过单因素实验和L9(34)正交实验来优化饼干配方和焙烤条件。结果表明,饼干的最佳配方为
探讨哌拉西林舒巴坦联合痰热清在小儿支气管肺炎治疗中的临床疗效和安全性。选择2014年11月-2015年11月在我院接受治疗的支气管肺炎患儿38例,分为观察组和对照组,各19例。对
通过对奥棉6号亲本来源、品种特性和栽培技术的研究,发现该品种丰产、稳产、铃大、衣分高、早熟、抗枯萎病、抗黄萎病、抗棉铃虫、纤维品质较好,栽培技术体系完善。
"早玉"是从普通"玉环柚"中选育出的芽变新品种。2017年1月通过浙江省林木品种审定委员会审定并命名,编号"浙S-SV-CG-003-2016"。该品种果实扁圆形或高扁圆形,果皮光滑,成熟时呈淡绿
草莓产业的主要问题是质量安全的问题,而要生产出安全健康的草莓产品,既要充分利用市场自身的调控,还要搞好政府部门监管服务工作。