连续泛布尔代数公理体系

本文在文献[1]基础上给出了连续泛布尔代数公理系统,证明了布尔代数和泛布尔代数系统都是连续泛布尔代数系统的“离散化”。     

基于泛布尔代数的三电平SVPWM算法

介绍了泛布尔代数和三电平逆变器的系统组成;阐述了三电平空间矢量脉宽调制(SVPWM)的原理,将泛布尔代数应用于SVPWM算法中,利用泛布尔代数将其化简并转化为逻辑表达式,简化了分析难度,并为进一步的仿真研究和实际电路设计提供了逻辑基础;给出了具体的算法步骤,并对所提出方案进行仿真研究,仿真曲线正确.     

Matlab在数字电路设计中的应用

针对传统数字电路设计、调试中存在的不足,提出了运用Matlab仿真软件进行数字电路设计、调试的新方法.建立了译码器、计数器电路的Simulink仿真模型,在MATLAB/SIMULINK环境下进行仿真实验.仿真结果验证了该模型的正确性和有效性,为数字电路的设计提供了参考和依据.     

面向对象程序设计与泛型程序设计

目前在程序设计领域中面向对象程序设计占据着的主导地位,而随着面向对象程序设计的广泛应用,其自身固有的一些不足和缺陷也就显露出来。于是,一种新的程序设计方法———泛型程序设计近年来开始倍受人们的关注。因此对面向对象和泛型这两种程序设计方法进行介绍、分析讨论是非常必要的。     

Fuzzy布尔代数结构

本文在Fuzzy点概念的基础上,给出了Fuzzy布尔代数的定义,讨论了Fuzzy布尔代数的一些性质。最后指出了由已知的Fuzzy布尔代数构造新的Fuzzy布尔代数的方法     

泛布尔代数在智能交通系统中的数据挖掘研究

针对城市交通控制系统实时性要求,提出用基于泛布尔代数的数据挖掘技术来作为智能交通系统的数据分析和数据解释方法,以解决其建模和模型求解的问题.根据城市单个交叉口的交通流,利用这种新的数据挖掘技术的初步分析结果,选择采用多相位实时控制策略;对提取的决策规则,建立起决策系统的泛布尔模型.     

基于EWB的数字电子电路设计

使用EDA(电子设计自动化)技术设计电子电路已经成为时代潮流,EWBEDA软件是目前各种电子电路辅助分析与设计软件中最优秀的软件之一,该软件具有模拟和数字电路的设计、分析、仿真能力.本文介绍了一种基于EWB(电子工作台)软件设计数字电路的新方法,它改变了传统的设计方法,通过设计数字电子钟,说明了该软件是人们设计电子电路的有效工具.     

基于泛布尔代数的交通灯逻辑控制模型研究及其仿真

以泛布尔代数理论为依据,以城市主干道十字路口为研究对象,设计了一种新的交通灯逻辑控制模型.该模型根据实时交通流量灵活控制,突破了传统固定配时模式,全面考虑了同时通行的各种车道组合,且逻辑表述简单、实现方便.仿真表明,该模型比固定配时模式能更好地提高车辆通行效率,具有实际应用前景.     

EDA技术在数字电路设计中的应用

在数字电路设计中引入先进的EDA技术是数字电路设计发展的方向,本文通过一个数字电路设计的实例,说明了在数字电路设计中采用EDA技术的优越性以及与传统设计方法的区别。     

计数器设计部分的教学讨论

本文针对《数字电路》计数器设计部分现行教材中内容的缺陷,由集成电路代替触发器,并结合例题讨论了新的设计方法.     

概念的EI代数表示与布尔矩阵表示的研究

AFS方法是一种新的模糊数学分析方法，它包括AFS代数——一种非布尔代数的分子格，AFS结构——一种特殊的“system”(“system”是组合数学中的一个主要的数学对象)和认知域．在AFS代数和AFS结构的基础上，用AFS方法给出了EI代数和布尔矩阵环之间的一个同态关系，并证明了与每个布尔矩阵对应的所有概念的集合在EI代数上形成一个子代数．并且找到了子代数的一些性质和研究子代数的新方法．应用这些新方法和子代数的性质可以深入研究概念的数学本质．     

高速数字电路设计技术的发展研究

科学技术的快速发展推动了高速数字电路技术的广泛应用，其在电路设计领域所占比例也不断增大，对于进一步满足经济发展需求起到了巨大的促进作用。目前，高速数字电路设计虽然取得了较大的发展，但仍然存在一定的问题。本文慨述了高速数字电路的含义，分析了信号完整性对于系统的影响，研究了高速数字电路中的信号完整性设计和电源设计，阐述了高速数字电路设计的发展。     

“竞争—冒险”现象判别及消除的线段布尔代数法

本文根据“线段布尔代数”理论,给出了组合逻辑设计中“竞争—冒险”现象判别及消除的一种新方法。     

模型检验方法与数字电路教学的结合

数字电路是电子相关专业中一门重要的专业基础课。模型检验是一种先进的形式化方法,可用于数字电路设计的验证。本文使用模型检验工具,针对时序逻辑电路设计是否具有自启动能力,给出了一种新的教学方法。应用实例表明该方法具有运算速度快、自动化程度高、结果显示明确的优点,可以提高学生对时序逻辑电路设计的理解和兴趣。     

FPGA动态可重构数字电路容错系统的研究

在介绍ＦＰＧＡ动态可重构技术原理的基础上,探讨了该技术在数字电路容错系统中的应用方法和构成,并针对某心脏 搏器电路系统,采用ＦＰＧＡ动态可重构方法进行了系统的容错设计与实验。结果表明,ＦＰＧＡ动态可重构容错系统作为数字电路容错系统设计的新方法,和传统的容错系统相比,不仅大大节省硬件资源的开销,且自适应能力强,可靠性。     

加法器的逻辑结构

加法是计算机的基本运算。加法线路设计的好坏往往决定了运算器的性能。因此如何设计既快又简的加法线路是一个重要的问题。近来有许多人在加法线路的逻辑设计方面做了许多工作。在这些设计工作中,大都运用了布尔代数这个有效的工具。但是,由于布尔代数不能表现出时间关系,因此这个工具未免有一些缺点。近来,有些人研究了含有时间参数的各种逻辑线路,例如引入含时间参数的逻辑函     

基于泛布尔代数的GDP利率宏观调控算法

国民经济GDP的宏观调控是复杂的系统工程，由于系统的制约因素较多，具有不稳定性。目前货币政策的利率调控是世界各国调控的主要措施，不少学者从不同的角度作出了一些探讨。本文从泛布尔代数的思想体系出发，给出了控制的模型并设计了新型逻辑控制算法，对GDP的控制进行了仿真分析。仿真结果表明，该控制算法较好地反映出控制的时间和力度，为GDP的利率科学调控提供了比较系统的数学理论依据。     

基于粒子群算法的数字电路测试生成

在已有的数字电路测试生成算法基础上，通过对一种结构简单且容易实现的算法——粒子群算法的研究，提出了一种基于模拟的测试矢量生成的新方法，即应用粒子群算法来进行数字电路的测试生成．对一些组合电路进行了仿真，并将其与基于遗传算法的测试生成方法进行比较，实验结果表明该方法比基于遗传算法的测试生成更为有效．     

数字电路测试中的虚拟测试资源模型研究

针对数字电路测试中对测试资源管理方法通用性的需求,以测试泛环境ABBET(A Broad-Based Environment for Test)资源管理软件接口和IEEE1445标准为基础,采用面向信号的测试资源管理方法,构建了虚拟测试资源模型,论述了虚拟测试资源模型的基本组成．在数字电路测试中,通过使用虚拟测试资源模型来隔离测试软件和硬件设备,使ATS中仪器和信号通道的变化与测试软件的开发及使用没有关联性,从而实现测试软件对仪器访问控制的通用性．以实际电路板为被测对象,对基于虚拟测试资源模型开发的TPS(Test Program Set),选取两套不同厂家的数字电路ATE设备作为运行的硬件平台,测试结果表明：TPS可以运行在不同的ATE上,实现了测试资源管理方法的通用性,提高了数字电路TPS的适用性．     

纳米电路交叉冗余容错技术研究

提出了一种针对纳米电路的数字电路容错设计新方法.该方法基于交叉冗余原理,利用两种二进制错误的不对称性,采用模块化方法对纳米电路进行容错设计.以阵列乘法器为例,采用新方法对电路进行设计和仿真,并结合实验结果与传统的可重构和三模冗余容错方法进行比较.交叉冗余方法无需检测模块及表决器,不会增加系统延时,并且在资源消耗方面远低于传统方法,对纳米电路尤其适用.