一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现

提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵，对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合，形成输入积项扩展后的积项形式．对于二级SOP型的多输入多输出逻辑函数，设计了基于积项扩展的多输入多输出集成电路逻辑优化软件，允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20000，并通过了Benchmark例题的测试和正确性验证．     

多输出逻辑函数的一种化简方法

多输出逻辑函数的化简，目前还没有成熟的方法．凭经验决定蕴涵项的取舍，往往不能确定方案是否最简．由于将多个输出电路作为一个整体电路看待，每个单输出函数最简单并不能保证整体方案最简单．若能找出各输出函数间的公共项，即使它不是质蕴涵项，由于公用，也可能得到最简的方案一作者提出了一种规范而又切实可行的化简方法，用此方法最终可解决多输出函数的化简问题．     

一种基于积项扩展的大变量多输出逻辑优化算法的设计与实现

提出的算法是根据给定的输入积项计算出无共享积项的假集矩阵、阻塞矩阵和覆盖矩阵,对阻塞矩阵和覆盖矩阵依据最小列覆盖的选择算法得到最小列覆盖集合和提升集合,形成输入积项扩展后的积项形式.对于二级SOP型的多输入多输出逻辑函数,设计了基于积项扩展的多输入多输出集成电路逻辑优化软件,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000,并通过了Benchmark例题的测试和正确性验证.     

多输入-多输出系统级联的多输入单输出均衡器研究

针对多输入-多输出(MIMO)系统接收端信号之间的相关性影响其盲均衡效果的问题,提出一种级联的多输入单输出(MISO)均衡器。每级MISO均衡器恢复一个发射信号,之后利用信道估计算法对混合信号进行修改,修改后传递到下一级MISO均衡器进行类似的处理。通过原理分析以及性能仿真可见,级联的MISO均衡器能够克服信号相关性对均衡效果的不良影响,与传统MIMO均衡器相比,算法收敛后信号星座点更集中,全局用户间总干扰比也更低;并且下一级MISO均衡器的均方误差低于上一级。     

多输出逻辑函数简化方法的探讨

本文提出一种用相关乘积卡诺图对多输出逻辑函数进行简化的新方法,即用一张相关乘积卡诺图便可求出所有的公有质蕴涵项,在单个函数的卡诺图上可求出最佳简化结果.文中论述了它的原理和使用方法,给出了简化步骤和优化准则,介绍了这种方法在设计中规模集成电路中的应用.     

多输入多输出系统的加权多模型自适应控制研究

针对单入单出系统设计的加权算法无法在多输入多输出系统中得到较好的控制效果,对加权多模型自适应控制中的加权算法进行研究,并设计矢量与标量两种加权算法,研究多变量系统中标量以及矢量权值对系统的影响.同时,对加权算法中的误差性能指标进行研究,选取不同的误差性能指标,研究不同误差性能指标对权值收敛速度的影响.通过Matlab搭建Simulink仿真模型,对加权算法进行仿真.仿真结果显示,采用定常系数的误差性能指标的标量加权算法能对多输入多输出系统做出理想的控制效果.     

MIMO系统级联的多输入单输出均衡器研究

针对MIMO系统接收端信号之间的相关性影响其盲均衡效果的问题,提出一种级联的多输入单输出(MISO)均衡器。每级MISO均衡器恢复一个发射信号,之后利用信道估计算法对混合信号进行修改,修改后传递到下一级MISO均衡器进行类似的处理。通过原理分析以及性能仿真可见,级联的MISO均衡器能够克服信号相关性对均衡效果的不良影响,与传统MIMO均衡器相比,算法收敛后信号星座点更集中,全局用户间总干扰比也更低;并且下一级MISO均衡器的均方误差低于上一级。     

多输入多输出系统特征模发射最小化误码率优化功率分配

在多输入多输出系统特征模发射设计中,基于最小化误码率准则优化发射功率分配问题没有简单的闭式解,求解方法有通用优化算法(如内点法)和Q函数契尔诺夫近似功率分配法.前者计算量大且不能理论分析,而后者只能获得近似功率分配解.文中将此约束优化问题的解用W主分支函数表示,将其转化为求解关于W函数的问题,提出了W函数求解法.利用W函数的简单求解算法,所提出方法能获得更精确的优化功率分配解.数值模拟结果也显示,该方法获得了较其他求解方法更低的系统误码率.     

多输出Bent函数有关性质的研究

讨论了多输出Bent函数的自相关特征,给出了Bent函数自相关的两个充分必要条件;研究了多输出Bent函数的代数次数、扩散特性及计数;归纳了多输出Bent函数的等价性质;给出了多输出Bent函数的两种构造方法.     

基于立方扩展法的多输入多输出逻辑综合算法的实现

逻辑综合是数字系统自动化设计的重要理论之一。本文通过对现有算法的深入研究,介绍一种快速有效的逻辑综合算法,即立方扩展法直接求出多输入多输出函数的最小覆盖,用Delphi6.0编写相应的算法程序。大量的实验证明该算法可以减少存储容量加快程序运行速度,在电子设计自动化中具有广泛的应用前景。     

逻辑函数最简式的构成研究

运用对函数最小项进行分类的方法对有多个最简式的逻辑函数进行了研究,发现这些最简式在构成上具有一定的规律,而这些规律与函数最小项的不同"活动能力"密切相关.     

数字通信与信号处理ASIC的逻辑优化设计

专用集成电路的正向设计，需依次经历如下一些设计步骤：系统设计→逻辑设计→电路设计→版图设计→工艺设计。逻辑设计在整个设计环节中起着重要的主导作用，它将系统设计思想映射到芯片制做技术上，是系统设计过渡到芯片设计的第一步。如何成功地完成这一过渡，并使结果最佳，这就是ＡＳＩＣ的逻辑优化设计需要讨论的问题。本文结合我们在这一方面所做的工作，主要探讨在数字通信与信号处理ＡＳＩＣ中一些典型电路的逻辑优化设计问题。     

基于可观测无关项的多级逻辑优化

文章在对可观测性无关项相关问题进行研究的基础上,给出了通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化的方法;同时对已有算法做了一定改进,以适用大输入和输出变量逻辑网络的优化。     

带函数的正规逻辑程序设计系统

带函数的回答集程序设计（FASP）允许在正规逻辑程序中嵌人函数符号,描述了这个系统fasp的设计与实现。其基本思想是把简单函数和原子当成变量,程序的Clark完备化和环公式约束处理（CSP）中的约束,然后通过已有的CSP求解器来计算其CSP例的解。ASP的测试用例也可通过fasp应用于CSP中。我们用汉密尔顿回路问题和N-皇后问题测试了该系统,并与其它系统进行了比较,实验结果表明,fasp对N-皇后问题有较好的效率。     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

一维逻辑阵布图的一个启发式算法

一维逻辑阵布图中列排序问题已被证明是一个ＮＰ－完全问题，本文提出一个新的启发式算法，算法的时间复杂度为Ｏ，其中ㄧＧ｜是逻辑阵的总门数。Ｓ为单个线网连接的最多门数，ｒ为单门连接的最多线网数；其空间复杂度为Ｏ，其中ㄧＮㄧ为线网总数。