逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例．实例验证了上述方法有效性．该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发．     

基于信号行为的二值组合电路冒险检测

数字电路中的冒险现象不仅会导致电路的误操作,而且消耗了能量、增加了操作时间,因此在电路设计中冒险的检测非常重要．文章介绍了信号行为四值模型的基本概念,并进一步提出了基于信号行为四值逻辑的二值组合电路冒险检测方法．此方法与传统的冒险检测方法相比更直接,而且可以同时检测出电路的静态冒险和动态冒险．     

多元逻辑电路中的开关分析

本文从开关信号理论出发，提出开关是任何数字电路的核心元件的观点，并以此对现有多元逻辑电路(DYL)的各种开关单元设计进行了分析.计算机模拟表明这些单元都不能与极高速的线性与或门的优异特性相配，由此认为，线性与或门在数字电路中实用化的关键在于开关单元的正确设计.     

一种可伸缩的支持向量机的硬件实现方法

提出了支持向量机（Support Vector Machine）学习过程硬件实现的一种新的数字电路结构,它可以在保证向量机学习速度的同时,提高支持向量机的硬件资源利用效率;此外基于此结构的支持向量学习机还可以适用于低于设计数的样本集．由于该设计的灵活性以及其对硬件要求的减小,使得支持向量学习机可以更好、更方便地应用于嵌入式系统中．     

一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

基于熵和灰色关联的耕地系统研究

运用文献资料法、改进的熵值法以及灰色关联分析法确定了影响系统总熵变的各因素及其权重,建立了熵流模型．研究结果表明：实现耕地系统集约利用的关键在于较好地控制系统内熵的增长速度,因地制宜地从外界环境中获取负熵流．认为基于耗散结构的熵流模型是研究耕地系统的有效方法之一,通过熵值法和灰色关联法确定不同地区各指标的权重,可以为耕地系统集约节约提供有效方法．     

考虑信息过程影响的配电信息物理系统可靠性评估

针对传统配电网日渐发展为一个配电信息物理融合系统,提出采用改进的最小路方法对考虑信息过程影响的信息物理配电系统进行可靠性评估.建立评估信息层网络拓扑连通性、传输时延和误码模型,以此进行信息层故障对物理层故障处理过程的影响分析.构建信息层与物理层的最小路模型,计算配电信息物理系统的可靠性,分析不同类型信息层元件故障以及接...     

OOPN与嵌入式系统开发

提出了一种适合于嵌入式系统的OOPN建立方法,并给出了嵌入式系统软硬件协同设计OOPN模型建立实例．该模型使得复杂的嵌入式系统描述更加模块化,具有可重用性．     

模式评价理论模型及其应用

基于事前评价过程和自然界生物进化过程的相似性，提出了系统结构、系统结构模式和系统环境模式矩阵的概念，并根据系统结构、系统结构模式与系统环境模式矩阵的适应程度，建立了模式评价决策模型，制定了评价系统的评价分类准则，并对评价系统作了一定的理论分析．将此模型和方法应用于城市生态安全评价中，通过与模糊综合评价法的比较，表明了该评价模型和方法的优越性．     

无线移动信道的离散时间模型及其应用

基于慢衰落无线移动信道的统计特性，针对数字通信系统的计算机仿真要求，利用蒙特卡罗方法得到了一种无线移动信道的离散时间模型，并运用此信道模型构造了GD-OFDM系统仿真模型，研究了OFDM系统的性能．仿真结果表明，该信道模型有效地描述了无线移动信道的多普勒扩展和时延扩展的特点，在无线移动通信系统的软件仿真中具有实用性．     

行为序列及基于多值逻辑的产生技术

本文在分析传统数字电路信号行为的基础上,提出了描述信号行为的三值序列产生技术,文中首先讨论了行为序列在低功耗估计技术中的应用及其多值描述,然后运用多值逻辑理论设计了三值行为序列变换电路,并结合SPICE模拟程序给出了行为序列的软件产生技术,最后讨论了如何产生相互独立的三值行为序列。     

对称二值电流型CMOS电路设计

应用开关信号理论，建立了基于对称二值逻辑的传输电流开关理论。该理论能从开关级指导设计对称二值电流型CMOS电路。应用该理论设计的对称二值电流型CMOS电路可以利用零电流作为区分二值电流信号的现成阈值，因此，不仅具有简单的电路结构，而且能处理具有双向特性的信号。计算机模拟结果表明：具有理想的逻辑功能。     

基于FPGA的42英寸全色PDP存贮控制电路的实现

从等离子体平板显示器(PDP)的发光原理出发，分析和研究了存贮控制电路的工作原理，提出基于FPGA的电路设计方案，并给出数据整理电路和驱动信号产生电路的具体电路框图，最后给出部分仿真波形．     

具有缓冲功能的三值 GaAs电路的研究

本文探讨了具有缓冲功能的三值 GaAs电路的基本结构 ,特别是对三值 GaAs逻辑输出级电路 进行了讨论 ,提出了 2种三值 GaAs电路的逻辑级电路的结构 ,经过 PSPICE程序的模拟 ,选取了较理想 的一种电路结构 ,并由此建立了对应的开关模型. 根据该模型提出了适用于三值 GaAs在开关元件级的 电路设计方法 .     

线性与或门与DYL电路

本文介绍了线性与或门的结构与工作原理，综述了配合线性与或门组成多元逻辑电路(力YL)的开关反相单元设计.根据线性与或门具有较强逻辑功能，高速工作特性，可多级级联工作及可处理数字信号与模拟信号等特点，本文讨论了它在高速数字电路、多值电路与连续值电路中的应用，并指出了它的巨大应用前景及在其实用化进程中的关键性研究工作.     

基于PNP-PNP的二值BiCMOS通用驱动电路设计

首先提出了基于PNP—PNP的二值BiCMOS电路的一般结构,然后应用传输电压开关理论,从开关级设计基于PNP—PNP的二值BiCMOS通用驱动电路,进而设计二值全摆幅BiCMOS通用驱动电路,并运用所设计的二值全摆幅BiCMOS通用驱动电路设计各种二值全摆幅BiCMOS电路,例如：反相器电路、与非门电路和或非门电路．PSPICE模拟结果表明,所设计的电路不仅具有理想的逻辑功能,而且电路结构简单．更重要的是：该二值通用驱动电路可应用于任何其他二值BiCMOS电路的设计中．     

数字逻辑的稳健神经网络实现

多层二进前向神经网络或布尔神经网络作为典型的人工神经网络模型，研究和应用的十分广泛，这里在分析数字逻辑基本运算和神经元关系后，提出了一种改进的利用三层前向感知器神经网络实现任意数字逻辑函数的新算法，该算法由稳健的感知器构造神经网络，并引入汉明距离化简、卡诺图化简和最小项抑制来降低网络的复杂性，由此算法构造的神经网络不但具有稳健性能，而且消除了对数字输入变量所作的变换，使其更加简单、规范，容错能力更强，可广泛应用于对数字电路设计、编码密码的研究。     

2-4混值/8值绝热加减法计数器开关级设计

通过对8值逻辑编码技术、绝热电路和加减法计数器工作原理及结构的研究,提出带进位/借位的2-4混值/8值绝热加减法计数器设计方案.首先,该方案以开关信号理论为指导,分别推导出2-4混值/8值触发型绝热正循环门和进位/借位电路的开关级结构式,然后利用多阈值NMOS管和交叉存贮结构实现相应电路,并在此基础上实现带进位/借位的2-4混值/8值加减法计数器.最后,PSPICE模拟验证所设计的电路具有正确的逻辑功能,在55.6 MHz工作频率下,与常规CMOS 2-4混值/8值加减法计数器相比,节省功耗约95%.     

基于传输电压开关理论的单栅极SET电路设计

在分析了单电子晶体管(SET)的I-V特性后,通过对SET背景电荷的设置,使之具有类似PMOS或NMOS的电学特性;同时将传输电压开关理论引入到SET的电路设计中,并用单栅极SET实现了该理论的基本运算电路.随后以异或门和一位比较器为例,利用这些基本运算电路,进行了基于SET的开关级电路设计.最后,利用Pspice软件验证了所设计的电路逻辑功能正确,设计方法可行;电路的输入输出高低电平一致,具有良好的电压兼容性,易于级联.仿真结果表明,与基于互补结构设计的SET电路相比,基于开关级设计的SET电路具有结构简单、功耗低、延迟小的特点.