蕴涵项扩展技术在多输出逻辑函数中的应用

文章给出一个适用于大变量多输出逻辑函数蕴涵项扩展的算法。多输出函数在它的矩阵表示中分为输入、输出两个部分，但是在扩展过程中，这两个部分处理的方式极为相似，从而使计算机程序简化，并节省了机器的时间、空间资源。     

用蕴涵关系化简多输出逻辑函数

本文提出利用多输出逻辑函数之间的蕴涵关系,化简多输出逻辑函数的方法。这一方法能使多输出逻辑函数的总最小项数目减少,公有的本原蕴涵项的数目增多。这一化简法,较适合于中、大规范集成逻辑组件的综合。文中,通过具体例子将该法同常规化简法作了比较。最后,指出了这一化简法的局限性和有待进一步研究的问题。     

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

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

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

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

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

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

用Karnaugh图化简多输出逻辑函数

提出了用Karnaugh图化简多输出逻辑函数的方法,并给予了该方法正确性和最简性的证明。     

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

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

多输出开关函数的比简

本文提出一种化简多输出开关函数的新方法,该方法的主要特点是直接对本质蕴含项进行确定。文中介绍了方法的主要依据,给出了方法的步骤,最后用例子进行说明。     

逻辑函数中的约束项与任意项

逻辑函数中的约束项和会意项是两个不同的概念，但就它们对逻辑函数的影响而言，又没什么不同。本文在指出它们的不同基础上，说明在逻辑函数中又不加区别的原因。     

相关衰落多输入多输出系统的参数化信道估计

针对多输入多输出(MIMO)系统中信道空域相关影响信道估计性能的问题,提出了一种基于多径参数估计的信道估计方法.该方法适用于多径稀疏信道环境下的双端部署均匀线性阵列的MIMO系统,通过构建信道的多径参数化模型,用多径的径参数描述信道矩阵和信道空域相关,将信道估计问题转化为多径参数的估计,并采用波达矩阵算法估计出多径参数以完成信道估计.由于利用了信道的多径结构,在不需预知信道空域相关的情况下,能够获得比Least-Square方法更好的信道估计性能.仿真实验表明,与Least-Square方法相比,当信道估计均方误差达到10-1时,该方法在4×4和6×6的MIMO系统中分别能够获得2.5 dB和5 dB的信噪比增益.     

直接序列码分多址的多输入多输出系统中的空时多用户检测

针对直接序列码分多址(DS—CDMA)的多输入多输出(MIMO)系统，设计了几种天线结构，提出利用空时分组码分别进行空时线性多用户检测和空时串行干扰对消多用户检测．通过分析误码率和算法的复杂性，比较了这两种方法的性能．仿真结果表明，空时线性多用户检测方法优于空时串行干扰对消多用户检测方法．     

部分反馈信息下多用户多输入多输出下行链路的容量优化

针对多用户多输入多输出下行链路中，基于部分信道状态信息反馈的联合发送方法不能有效抑制多用户间相互干扰的问题，提出了一种支持各用户信号独立检测的多用户联合发送方案．该方案只需要各用户信道响应矩阵的主右奇异向量作为反馈信息，在计算预处理矩阵时引入正变化操作，与已有方案相比，在增加少量前馈信息的条件下，可以最小化多用户问相互干扰，提升系统容量．仿真结果表明，所提出的方案能够提高检测信干噪比，降低系统的平均误码率，在发送、接收天线数为4、平均发送信噪比为20dB时，系统容量比无正交化时提高了1倍以上．     

多输入多输出系统中基于多级维纳滤波的均衡算法

基于多级维纳滤波器,提出了一种多输入多输出系统中的降秩自适应均衡算法.该算法利用多级维纳滤波器得到一组子空间基向量,通过子空间投影,把均衡器输出限定在低维子空间内,从而降低了自适应均衡的迭代复杂度,加快了收敛速度.理论分析和仿真表明,降秩均衡算法有效地提高了均衡器的收敛速度,降低了计算复杂度,并在多级维纳滤波器的级数不超过 10 的情况下,就能达到近似满秩均方误差性能.     

亚纯函数的重值与唯一性问题

讨论了亚纯函数的重值与唯一性问题,得到了若干结果。这些结果推广并改进了熊庆来、谢军春,仪供勋等人得到的有关定理。     

基于数据选择器输出函数关系的逻辑电路设计

为完善用数据选择器进行组合逻辑电路设计的方法, 分析了数据选择器输出函数的与或形式逻辑表达式, 发现利用输出原函数、输出反函数互为反函数的关系, 对于某些逻辑问题的设计可使数据选择器的数据输入端有变量接入时都为原变量, 而不需要附加非门对反变量进行取非运算, 简化了电路结构。     

基于Raptor编码的多输入多输出光通信系统设计

为了提高可见光通信(Visible Light Communication, VLC)系统的复用增益,本文提出一种基于多输入多输出(Multiple Input Multiple Output, MIMO)的固定比例像素化VLC系统。系统首先执行空间-角度映射,使数据的传送可在角域中进行;同时利用Raptor编码方法来跟踪由于窗口截断而引起的数据信道特性变化;然后对于使用高速相机捕捉到的一系列时变图像,利用散景效应获得所有链路距离上的固定比例图像。实验利用液晶显示器和高速相机,对所提出的VLC系统进行了验证。与传统的像素化MIMO系统相比,本文所提出的系统在未对准朝向的情境下具有更高的鲁棒性,从而在多路复用场景有着广泛的应用前景。     

叠函数的泰勒展开式

本文讨论了叠函数ｆ（Σ＾∞ｎ＝０ａｎｘ＾ｎ）的泰勒展开式，给出并证明了泰勒系数的一般公式。为方便实际应用，给出了５类专用函数的泰勒系数递推公式。     

多时滞非线性系统的H∞控制--线性矩阵不等式法

为得到关于非线性多时滞系统的更具一般性的结论，利用目前广泛使用的线性矩阵不等式方法研究了不确定有界的多时滞非线性系统的任意阶鲁棒H∞输出反馈控制器的设计问题，给出了该类问题有解的充分条件，同时设计了控制器．该方法的要旨在于只要相应的矩阵不等式存在正定解，就能够设计任意阶的H∞输出反馈控制器．典型算例说明了此类控制律的设计步骤，仿真结果表明该方法对干扰输入具有较强的抑制能力．     

多输出直流稳压电源设计

该直流电源提供多个以固定式三端线性集成稳压器为核心的直流电压输出,适合为放大器等模拟控制系统供电,同时该电源还提供一个基于MC34063的可调式开关电源,具有效率高、带负载能力强等特点,适合为单片机等数字控制电路供电．该电源系统结构紧凑、性能稳定,可满足多种工作电压系统的需求．