一种新的基于最小项逻辑优化的软件设计与实现

文章提出了一个新的产生本源蕴涵项的算法，并形成了相应的组合逻辑电路逻辑综合优化软件，测试表明，它在运算速度和存储性能上都是高效的。     

二叉决策图在逻辑综合中的应用

二叉决策图（BDDs）是布尔函数的一个表示方法，最近它被广泛于逻辑综合、布尔电路的模拟和测试等领域。在这些应用中，有些基本问题需要解决，其中包括电路图到决策图的转换。本文提出一个转换的方法。文中分两步叙述，首先是对无扇出电路的转换，然后是对有扇出电路的转换，最后把两者结合为一个通用算法。     

沥青软化点测试的试验条件影响分析

由于气候、人员素质、仪器设备等因素的影响,沥青软化点测试过程中往往会出现个别试验条件不具备或不严格.本试验采用4种不同型号的沥青,对沥青软化点测试中的烘样温度及时间、隔离剂的多少、注模后试样的室温冷却时间、割模时刮刀的状态、割模后水浴低温保养温度及时间、加热起始温度等试验条件设计了一系列相关的试验,以研究这些试验条件与软化点测试结果之间的关系.     

单边多输出逻辑函数补集软件的设计与实现

根据单边逻辑函数的特性，介绍了一种多输入多输出单边逻辑函数补集方法，该方法采用二进制特征矩阵和状态矢量来描述原函数，进行最小列覆盖的选择形成多输出补集函数的控制矩阵，由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数，通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件，在P-1．8GHz，512MBRAM的计算机上完成测试和运行。并通过测试检验程序，保证输出结果在逻辑上与输入条件求补等价。     

大变量多输出逻辑函数实质项识别算法

在对Espresso算法进行分析改进的基础上，提出了一种基于全域识别的多输入多输出逻辑函数实质本源项、完全冗余项和相对冗余项生成算法，该算法通过对基于积项表示的多输入多输出逻辑函数的余因子计算来进行全域判断，根据全域判断结果来识别实质本源项、完全冗余项和相对冗余项，从而构成实质本源项集合、完全冗余项集合和相对冗余项集合。对基于二级SOP型的多输入多输出逻辑函数设计了多输入多输出逻辑函数优化识别软件系统，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000。软件系统在Pentium 1.8GHz、512MB内存的计算机上通过了Benchmark例题的测试。     

基于蚁群优化与细菌趋化性的图像边缘检测算法

为解决基于蚁群优化的图像边缘检测算法中信息素的作用不明显,难以获得全局最优解,从而降低目标边缘的检测精确度与效率等问题,提出一种基于细菌趋化性(BC)耦合蚁群优化(ACO)的边缘检测算法.通过细菌趋化性找到最佳解决方案,用于产生信息素的初值;将BC得到的信息素初值作为ACO的初始信息素,计算每只蚂蚁的行走概率,从而选择...