共查询到20条相似文献,搜索用时 62 毫秒
1.
逻辑函数数求补是大变量逻辑优化的算法基础,采用二叉树结构,用C语言实现了大变量逻辑函数求补递归算法。详述了求补二叉树的结构和形成过程,以及在求补二叉树上补集的收集方法。 相似文献
2.
逻辑函数求补算法及其改进 总被引:2,自引:1,他引:2
逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。 相似文献
3.
4.
在逻辑综合的领域内,经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法,求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比,该算法大大节省了计算机时间和内存空间。 相似文献
5.
6.
在逻辑验证和综合中,布尔匹配利用有序二叉判定图OBDD来检验两个给定的逻辑函数是否相等。为了提高匹配算法的效率,文中用最小项数作为标签标定变量(变量组)。对比两函数中变量(变量组)的“标签”,可以删除不可能的排序,从而加快匹配过程。在提取变量标签时,提出简约二分决策图-SBDD,并利用其节点少的特性进一步提高“标签”提取算法的效率。实验结果表明本算法执行速度快,变量区分能力强。 相似文献
7.
大变量逻辑函数最佳覆盖问题研究 总被引:2,自引:0,他引:2
逻辑函数的最佳覆盖,一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖,对复杂的逻辑综合更为重要,但也更加困难。本文在对逻辑覆盖算法研究的基础上,提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明,改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。 相似文献
8.
9.
《计算机辅助设计与图形学学报》2016,(1)
针对大变量逻辑函数的ESOP最小化求解问题,提出一种面向任意完全规定逻辑函数的精确ESOP最小化方法.该方法引入逻辑函数的n维分层超立方体表示模型,采用立方体几何图形映射Exorlink操作,实现一种立方体EXOR转换图的精确最小化转换;使用立方体集合划分与变量置换完成逻辑函数的分层超立方体结构映射以减少函数覆盖;在此基础上,给出基于分层超立方体的ESOP精确最小化算法.在MCNC基准电路上的实验结果表明,与其他ESOP最小化方法相比,文中方法可在多项式计算时间内实现大变量逻辑函数的ESOP最小化. 相似文献
10.
二叉树逻辑结构表示形式的多样性,说明二叉树在日常生活及计算机科学技术中的重要性.以不同的形式表示的二叉树的逻辑结构作为输入数据序列建立二叉树的二叉链表存储结构算法也是多样的.描述了几种不同形式的输入数据建立二叉树二叉链表的算法. 相似文献
11.
Cybernetics and Systems Analysis - 相似文献
12.
13.
机车空调逆变电源设计 总被引:1,自引:0,他引:1
本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。 相似文献
14.
深圳市远望谷信息技术股份有限公司 《中国自动识别技术》2006,(1):55-56
针对国家烟草管理的现状,有关主管部门在全国推行“行业卷烟生产经营决策管理系统工程”,利用条码等自动识别技术手段实时掌握全国的生产经营信息。但某卷烟厂此前的物流环节已经是“件烟成垛”运输,如何在尽可能保持原有企业管理体系的前提下,达到有关部门的数据统计要求,解决成垛卷烟的物流和信息流的交互与统一问题成为技改的核心。该项目成功的将条码识别与射频识别有机结合起来,为烟草行业信息化提供了生动的应用案例。 相似文献
15.
16.
17.
18.
19.
机械臂绝对定位精度测量 总被引:2,自引:1,他引:1
提出了用激光跟踪仪标定机械臂的D-H参数、测量机械臂绝对位姿以及对机械臂的绝对定位精度进行分析的方法;用激光跟踪仪测量机械臂各个关节单独运动时得到的一系列离散点,就可确定机械臂各个关节的轴线,由此建立机械臂的D-H坐标系,并对D-H参数进行标定;然后,给出了由6D激光头位姿确定机械臂末端位姿的方法;最后,推出了由测量位姿值与命令位姿值相比较,得到机械臂绝对定位的位置和姿态偏差的方法;这些方法可以有效、迅速地完成对机械臂绝对定位精度的测量. 相似文献
20.
Cybernetics and Systems Analysis - 相似文献