基于自由二元判决图转换的可测性优化方法

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:NoskyFox
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为FBDD表达形式,然后用切换单元为替换FBDD中的节点,以形成易测的多级网络,再通过冗余的认定是消除来达到可测性逻辑优化的目的,与以前的可测性设计方法相比,这种方法适用于任意电路,特别是规模较大,不能用两级逻辑表达的电路。
其他文献
以函数迭代型一维(1-D)离散动力系统为例,从统计学角度推导了混沌序列的自相关函数和自相关系数。理论分析表明1-D混沌序列与一阶AR过程具有相同形式的自相关特性,具有近乎理想的自相关结
利用物理光学法及平面板块元法,对涂覆型圆柱的顶面和侧面的散射矩阵进行了推导和计算;利用一致性几何绕射理论分析了曲棱的一阶绕射场的散射矩阵;提出文献中的错误,然后通过散射
提出了时间采样循环控制和状态变量循环控制的双进位控制算法,控制中状态变量的每个分量都对系统作用相同的时间,控制顺次轮流与状态变量的每个分量成比例,将一类特殊的双线性系
论述了氧化铝膜电容湿度传感器的性能,提出了采用α-Al2O3薄膜作湿敏层的新型氧化铝薄膜湿度传感器,简述了该湿敏元件的制备方法和基本特性。最后讨论了目前尚存在的问题。
阐述如何引出极限定义,重点从正反两个不同侧面对极限定义进行分析,并以几何直观进行了讨论。同时通过实例,讨论了极限定义在判定和性质两个方面的作用,指出了其要点及方法。
为了揭示微波低温预处理对硫化物包裹的微细粒分散金的助浸效果,以福建双旗山浮选金精矿为原料,以微波低温预处理为核心手段,研究了不同助浸条件对金浸出的影响.结果表明,在
推荐原因:魏智渊,网名铁皮鼓,曾在小学、初中、高中教过多门学科,是教育在线、中学语文教学资源网等著名教育网站的知名网友,在很多报刊上发表过文章,他的博文记录着生活中、教学中
在一个线性算子群应用于二阶线性发展方程求解的思路基础上[1],归纳其中的生成算子为n阶矩阵形式,进一步提出了该生成算子的线性算子群,在巴拿赫空间中证明了这个线性算子群的基本特
就限制性手写体汉字的预处理问题进行了一些讨论,对通过摄像机摄入的限制性手写体汉字提出了一种预处理方法,对汉字采用了位置正规化、大小正规化、平滑处理、细化处理的相结合
虽然高等中医教育已经开办有50余年的历史,但是由于现代文化因素的影响,使得中医理论的发展,既脱离了中国传统文化的滋润孕育作用而无法扩充,又难以受到现代科技融入的推波助澜作用而动力缺乏。在教学法则与教学行为方面,依然延续着“学”与“术”、“教”与“术”、“医”与“术”分离的传统方法。现代人们自诊、自治、自预的疾病越来越多,不直接干预病因的慢反应治疗方法难以适应现代生活的快节奏要求,中医学理论无法支持现代社会组织者的卫生行为准则和医事法律准则,这些问题造成了社会对于中医人才需要量的减少,医疗机构对于中医技术需