多输入多输出单边逻辑函数优化系统的设计研究

逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。     

主/被动雷达模糊自适应IMM融合跟踪算法

在主/被动雷达复合制导背景下,提出一种基于模糊自适应交互多模型(IMM)的分布式融合算法。该算法将交互多模型和模糊推理的优点相结合,通过模糊推理机制在线调节模型集合中部分模型的参数,使这些模型对不同的目标机动模式有更强的自适应能力。避免了传统交互多模型算法的模型冲突问题,大大减少了计算量。数字仿真结果表明了算法的有效性。     

一种基于 CPLD 的 π/4-DQPSK 调制器的设计与实现

根据π/4-DQPSK信号的特点,对它的调制实现方法进行了研究.在研究的基础上,提出了一种用VHDL语言设计实现π/4-DQPSK调制器的设计方案.详细叙述了其工作原理及设计思想,用复杂可编程逻辑器件CPLD实现了映射编码和逻辑选相,在D/A转换器等配合下实现了π/4-DQPSK调制并给出了用复杂可编程逻辑器件CPLD实现部分的仿真波形.     

基于Petri网的皮带机控制模型分析

文章以Petri网理论为基础,构建了煤矿井下皮带机顺序控制系统的网络模型,并根据皮带机控制系统的设计要求,分析了控制模型的组织结构和行为特征。利用该模型对皮带机控制系统的设计进行了探讨,并得到符合控制要求的逻辑规则表达式。     

基于绝热电路三要素理论的绝热定时器设计

为了设计低功耗定时器,首先利用钟控传输门绝热逻辑电路设计绝热触发器,然后在分析C54X的定时器结构基础上,利用绝热电路三要素理论,结合钟控传输门绝热逻辑电路及其绝热触发器的特性,提出绝热定时器的设计新方案。最后,在采用TSMC 0.25μm CMOS工艺器件参数情况下,对依此理论设计的绝热定时器进行HSPCIE模拟,结果表明:该定时器逻辑功能正确,低功耗特性明显。     

用逻辑方程解集关系求逻辑方程组的解集

给出了逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１,ｍｉ＝１　ＦｉＧ－ｉ＝１及逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集关系定理,得到了如下结论：若逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１和ｍｉ＝１　ＦｉＧ－ｉ＝１解集分别为Ｓ１和Ｓ２,则逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集为Ｓ１－Ｓ２．     

基于模糊学习方法的非线性系统智能容错控制

提出了一种基于自适应模糊逻辑学习方法的非线性系统智能容错控制方案.整个控制方案集自适应模糊控制器、监督控制器和调节控制器为一体,是一个功能强大的控制体系结构.仿真结果表明:提出的控制方案能有效地识别和调节非线性系统的未知错误,而且控制系统在不确定或错误的情况下具有稳定性和鲁棒性.     

基于本体的元数据扩展模型的检验

借鉴本体的思想,利用描述逻辑建立了面向语义的元数据模型,它是一个7元组,包括术语集、实例集、术语定义集、实例声明集、属性分配集、术语注释集和术语约束集.将元数据模型的检验抽象为术语检验和实例检验两大问题,并对术语检验和实例检验及其转换问题进行研究.研究表明,两类检验问题可分别细化为4类和2类子问题,这些子问题可以相互转换.     

真值限定的直觉模糊推理方法

针对直觉模糊逻辑推理,提出一种利用真值限定的直觉模糊推理方法,给出了相关的推理合成运算公式。以具体算例验证了该方法的正确性和有效性,表明了推理计算过程的详细步骤。计算结果分析表明,在一定条件下,真值限定的直觉模糊推理方法与直觉模糊推理的基本形方法在相同的前提下可得出相同的结论。真值限定的直觉模糊推理方法的最大优点是更具有抽象逻辑的特点。     

一种非均匀概率空间下二值命题逻辑中命题的真度理论

将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.