便携式数字芯片检测仪的设计

针对高校科研和实验教学中数字芯片需要检测的问题,设计了一种新型便携式数字芯片检测仪.该检测仪通过单片机MSP430的可编程I/O给待测芯片输入引脚赋高低电平,并将输出引脚的结果与理论值进行比较,最终给出检测结果.该检测仪能对16脚以内74系列双列直插式常用数字芯片型号进行识别及逻辑功能检测.多次测试证明,该仪器具有体积小、成本低、准确度高的特点,实用价值较高.     

白盒测试技术概述

白盒测试又称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试.白盒测试是测试被测单元内部如何工作的一种方法.其目的是通过检查软件内部的逻辑结构,对软件中的逻辑路径进行覆盖测试.本文介绍6种白盒测试方法和适用场合:语句覆盖、判定覆盖、条件覆盖、判定条件覆盏、条件组合覆盖、路径覆盖.     

卡诺图在逻辑问题中的妙用

在数字电子技术中,卡诺图是用图形表示输入变量与函数之间逻辑关系的方法,在教学中卡诺图通常是在化简逻辑函数时引入的,通常只介绍如何使用卡诺图化简逻辑函数,所以初学者往往以为卡诺图只是数字电路分析和设计中用以化简逻辑函数的一种工具。其实灵活运用卡诺图,可以简化很多逻辑问题的分析和设计过程。本文将介绍几种卡诺图化简逻辑函数之外的几种巧妙应用。     

基于虚拟仿真技术的触发器工作过程分析

针对触发器工作特性的实验验证,提出了在计算机上应用Muhisim仿真软件仿真触发器工作波形的方法,即用Muhisim软件中的字信号发生器产生触发器的时钟脉冲、数据输入、异步控制等输入信号,用Multisim软件中的逻辑分析仪同步显示触发器的各种输入信号及状态输出信号的波形．特点是直观形象地描述了触发器的逻辑功能和状态变化特点、解决了触发器工作波形无法用电子实验仪器进行分析验证的问题．     

面向多任务调度的可重构算法设计

针对在单个逻辑芯片上实现多任务的应用场合,设计了面向多任务调度的可重构算法,以此提高逻辑芯片的资源利用率和任务的响应效率.详细描述了面向多任务调度的重构设计原理,并针对逻辑芯片中多任务的调度种类分别设计了逻辑芯片的重构调度算法,最后选取了多个典型的任务进行对比测试.测试结果表明,使用重构算法之后的逻辑芯片在资源占有率和任务响应延迟上均优于传统的逻辑芯片设计方法.     

强冲击2A12铝板产生等离子体对逻辑芯片模块的电磁毁伤

为研究强冲击2A12铝板产生等离子体对逻辑芯片模块的电磁毁伤效应,分别以航天控制系统中常用的CD54ACT32和CD74HC4075逻辑芯片模块为研究对象,利用二级轻气炮加载系统、朗缪尔三探针诊断系统和逻辑芯片模块逻辑状态的测试系统,开展了6组给定实验条件和方位角下弹丸高速撞击2A12铝板产生等离子体对逻辑芯片模块的毁伤效应实验,得到了等离子体电子温度和电子密度随时间的变化并通过实验数据拟合给出了电子温度及电子密度随时间变化的函数关系式.实验结果表明：在相同弹丸入射角度、相近撞击速度条件下高速撞击2A12铝板产生的等离子体造成了TTL电平信号CD54ACT32逻辑芯片模块的暂态毁伤和永久毁伤;等离子体对CMOS电平信号CD74HC4075只产生了暂态毁伤.证明了给定实验条件下CMOS逻辑芯片模块在抗等离子体毁伤方面强于TTL逻辑芯片模块.     

基于PLD的任意地址范围译码器设计方法

通过对微机应用系统中地址译码器设计方法的探讨 ,指出了传统 MSI器件的局限性 .提出一种用可编程逻辑器件 PLD设计任意地址范围译码器的简便方法 .该方法给出了利用地址区间边界值直接写出地址译码逻辑关系式的 3个设计规则以及为进一步简化设计过程的 2个补充设计规则 .此设计方法对于用 FM软件进行 PLD器件开发非常方便实用     

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

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

通用阵列逻辑GAL器编程方法的研究

介绍了通用阵列逻辑ＧＡＬ器件的输出逻辑宏单元结构及组态模式，重点就ＧＡＬ器件编程中选择输出方式，合理分配引脚处理相邻性问题，选择逻辑问题的描述方式以及ＡＢＥＬ软件编辑中的几个技术问题进行了分析与探讨。     

基于PLD的任意地址范围译码器设计方法

通过对微机应用系统中地址译码器设计方法的探讨，指出了传统MSI器件的局限性．提出一种用可编程逻辑器件PLD设计任意地址范围译码器的简便方法．该方法给出了利用地址区间边界值直接写出地址译码逻辑关系式的3个设计规则以及为进一步简化设计过程的2个补充设计规则．此设计方法对于用FM软件进行PLD器件开发非常方便实用．     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

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

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

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

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

用MSI数据选择器实现逻辑函数的方法讨论

目的讨论用中规模器件实现组合逻辑函数时,函数变量数小于数据选择器的地址变量数的情况。方法详细阐述了数据选择器的原理及应用,从逻辑函数表达式、真值表和卡诺图3方面进行分析。结果得出用MSI数据选择器设计组合逻辑函数能够实现任意组合逻辑函数,并通过实例验证了其有效性。结论用MSI数据选择器可实现任意组合逻辑函数。     

用解逻辑方程的方法化简互斥多变量逻辑函数

论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。     

基于粗集理论的逻辑函数简化方法

针对数字电路中逻辑函数真值表的特殊形式，利用粗集理论把它处理为一种决策表，用决策表的最小决策算法对其进行化简，然后从真值表中直接归纳出最简的逻辑表达式，此方法简单、快速、特别适用于数字电路中从已知真值表求出相应的逻辑表达式及其对应的逻辑电路，为粗集理论在数字电路中的应用提供有力工具。     

爱因斯坦引发的逻辑哲学问题

依爱因斯坦的观点,逻辑全等于演绎,与归纳并为西方科学的两大成就。认同爱因斯坦的逻辑观,试从"划界"的视角寻求根据。演绎和归纳的界线在于:前者以必然为真的逻辑真理即逻辑规律及相应的有效推理形式为研究对象;后者不研究逻辑真理及有效推理形式,其结论只是或然为真。是否以逻辑真理及相应的推理形式为研究对象,就是逻辑与非逻辑的分界线。演绎与归纳也有关联:均来源于经验。逻辑规律的前身就是归纳结论,经逻辑系统的整合而转身为必然的真命题。逻辑学家通过对逻辑系统的论域作出修正、限制或重新解释,以排除一切可能的反例,就可保证逻辑真理具有永恒的必然性。这就是逻辑学家使或然的归纳结论转化为必然的逻辑真理的诀窍。不能从演绎和归纳在认识中不可分离,推出逻辑必须包括归纳。归纳属于与逻辑同等重要的另一学科:科学方法论。     

一类典型模糊逻辑控制器的输出结构

研究一类特殊的多输入单输出的模糊逻辑控制器 ,其组成规则中的输入输出语言变量的语言值均取正规的三角形隶属函数 ,且分别作成其相应论域的模糊划分 ,在其输入输出之间存在一种特殊的映射关系———线性规则映射 .经分析得到结论 :模糊逻辑控制器的输出可以表示成输入的凸组合函数 .这一结论建立了模糊逻辑控制器的精确数学模型 ,对于模糊逻辑控制器的分析和调整提供了直接依据 .     

实时数字图像融合系统的研究

在像素级图像融合的研究基础上,对实时或者准实时图像融合系统进行技术探讨,设计了一套简单的实时或者准实时工作的图像融合装置,可实现可见光一热红外双通道实时图像融合,整个融合处理系统采用背板结构,由视频采集及显示输出板和融合处理板组成。其突出特点是使用大规模可编程逻辑器件完成了系统的复杂逻辑与时序控制,在视频采集及显示输出板又留有接口,方便板级调试与升级。     

一种高精度可调频调相的正弦信号源的实现方法

介绍了一种应用于电度表校表系统中的高精度的可调频调相正弦信号源的实现方法.以单片机作为控制器件,EPROM存储数据,利用大规模可编程逻辑器件设计实现大部分外围电路,通过D/A转换器实现两路正弦波形的输出,达到校表系统对频率和相位差调节的要求.