状态化简

作品数：26被引量：18H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：刘政怡李炜陈泽华张凯英姚素芬更多>>
相关机构：安徽大学太原理工大学解放军信息工程大学清华大学更多>>
相关期刊：《微电子学与计算机》《计算机辅助设计与图形学学报》《商丘师范学院学报》《科技信息》更多>>
相关基金：国家自然科学基金安徽高校省级自然科学研究基金山西省自然科学基金山西省回国留学人员科研经费资助项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于等价关系的完全确定时序逻辑电路状态化简算法被引量：2
《计算机科学》2018年第1期118-121,共4页尚奥 裴晓鹏 吕迎春 陈泽华 
国家自然科学基金资助项目(61402319);山西省自然科学基金项目(2014021022-4)资助
完全确定时序逻辑电路状态化简是指找到并合并逻辑电路中的等价状态,进而简化电路,提高电路安全性,节约硬件电路成本。电路状态化简的关键是依据等价关系找到电路中的最大状态等价类集合。针对此类问题,提出了一种基于等价关系构建状态...
关键词：状态化简 等价关系 粒计算 时序逻辑电路 
基于粒计算的完全确定时序逻辑电路状态化简算法被引量：2
《小型微型计算机系统》2016年第8期1786-1789,共4页张凯英 张裕 陈泽华 
国家自然科学基金项目(61402319)资助;山西省回国留学人员科研项目(2013-031)资助
状态化简是指通过一定算法消除时序逻辑电路中的冗余状态,进而降低电路复杂性、减少功耗和提高系统可靠性.完全确定时序逻辑电路指是指输出和次态不存在不确定状态的电路,其状态化简的本质是根据等价关系,寻找最大状态等价类的过程.本...
关键词：粒计算 状态化简 最大等价类 输出矩阵 转移矩阵 
软件Markov链使用模型生成与化简技术被引量：3
《计算机工程与设计》2015年第8期2114-2119,共6页冯俊池 于磊 刘洋 
为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描...
关键词：统一建模语言 马尔科夫链 使用模型 软件可靠性测试 状态化简 
数字电路中状态化简新方法探讨
《中国教育技术装备》2014年第2期49-50,共2页杜鹃 鞠建平 胡荣强 
在现有的同步时序逻辑电路状态化简常用方法的基础上,提出一种状态化简方法——等效状态替换法。通过对多个实例中状态进行化简,得到与隐含表法状态化简相同的结果,且化简过程更加简单,化简方法更容易被学生接受和掌握。
关键词：状态化简 同步时序逻辑电路 
基于敏感位置识别的状态化简技术研究
《电子与信息学报》2013年第3期742-748,共7页高洪博 李清宝 王炜 朱瑜 
国家863计划项目(2009AA01Z434)资助课题
模型构建是模型检验的基础,在微控制器代码模型构建过程中面临状态爆炸的问题。由于生成模型的状态数量与代码规模密切相关,通过简化代码可以有效缩减生成的状态数量。该文提出了敏感变量和敏感位置的概念,并以此为基础提出了结合子程...
关键词：模型检验 状态爆炸 敏感变量 敏感位置 
同步时序电路设计中状态化简方法探讨被引量：2
《自动化与仪器仪表》2010年第5期120-122,共3页赵贺 孙凤茹 
本文通过实例分析了同步时序电路设计中状态化简的过程,指出了隐含表化简法在实际应用中出现的问题,进而提出了相应的改进方法。
关键词：同步时序电路 状态化简 隐含表 改进 
数字设计中基于图的状态等价类集生成算法
《计算机应用与软件》2009年第5期247-248,257,共3页孙志卓 徐凤生 任传成 唐忠莉 
在完全确定状态的时序电路、状态机等数字系统设计中,确定全部状态等价类,是进行最优状态化简的前提。结合图论理论提出一种等价类集生成算法,首先建立等价类与图中连通分支的联系,然后给出了通过化简图的邻接矩阵而得到等价类集的方法...
关键词：等价类 状态化简 连通分支 邻接矩阵 
用隐含表法化简同步时序逻辑电路设计中的原始状态表的探讨被引量：1
《湖北广播电视大学学报》2009年第2期159-160,共2页李碧芬 
本文在实用步骤、方法和技巧方面全面探讨了用隐含表法化简原始状态表的具体操作方法,并通过展示直观的实例来加强理解和掌握这种方法的具体运用。
关键词：隐含法 等价状态 状态化简 
时序逻辑电路设计时的状态化简
《科学之友（中）》2009年第2期104-106,共3页罗云旭 
时序逻辑电路的一般设计是数字电路设计的重要方面,在设计过程中的状态化简是设计结果是否最佳的关键环节。文章就状态等效的基本概念、状态化简的步骤作了详细的介绍。
关键词：状态等效 等效类 隐含表 
有限状态机的状态化简方法及其Verilog实现研究
《科技信息》2008年第32期24-25,共2页曲英杰 赵庆 
青岛市科技计划项目-可移动高性能电脑加密机的研究与设计提供支持
本文提出了一种新的有限状态机的状态划简方法。该方法是通过列表法判断出等价状态进而合并,以达到简化状态转移表的目的。该方法可以节省硬件资源,提高状态机效率。具体实例表明该方法简洁、高效,对所有状态机化简均适用。
关键词：状态化简 等价状态 有限状态机 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部