故障函数法及其应用

<正> 故障函数法是用图论的方法导出了逻辑网络的单故障和多故障的诊断测试函数的个数与逻辑函数的算符和函数结构的关系,给出了测试函数、测试和故障函数的求找方法。本方法理论上无需单故障假设,也无需事先假定故障点便可由函数的变态求出诊断逻辑可区分的全部故障的测试函数集。对单故障,可以作到其测试函数集最小,每个测试都有最大的信息增益。它既可诊断组合逻辑也可诊断时序逻辑,且只要测试存在便能求出。     

基于诊断证据静态融合与动态更新的故障诊断方法

提出一种将诊断证据静态融合与动态更新相结合的故障诊断方法.在静态融合阶段,利用Dempster组合规则融合每个时刻的多条局部诊断证据,获取静态融合证据,并给出基于证据距离的故障信度静态收敛指标;在动态更新阶段,基于条件化的线性组合更新规则,利用当前时刻静态融合证据更新历史证据,获取更新后的全局性诊断证据,并给出基于S函数的故障信度动态收敛指标.在两个阶段中,基于静态和动态信度收敛性指标函数,分别给出相应的优化学习方法,获取静态融合中局部诊断证据的静态折扣系数、动态更新中历史与当前证据的更新权重系数等参数的最优值.在最大信度原则下,利用更新后获取的诊断证据做出诊断决策.最后,通过在电机柔性转子实验台上的诊断实验,将所提方法与已有的典型融合诊断方法进行了对比分析,说明所提出的融合诊断方法及其性能指标函数和参数优化方法的有效性.     

关于逻辑函数化简方法的研究

变量个数大于6的逻辑函数可以称为高变量逻辑函数.逻辑函数的化简方法有公式法和图形法两种.一般认为,对于高变量逻辑函数的化简,图形法没有实用价值.本文观点与此不同,认为图形法对于高变量逻辑函数的化简仍然具有实用价值,同时提出了用图形法化简高变量逻辑函数的具体方法.提出并证明了一个定理,该定理揭示了将高变量逻辑函数转化为低变量逻辑函数并用小卡诺图来化简的一般意义和实用意义.通过本文,进一步丰富和完善了数字系统的设计工具--布尔代数的理论和实践.     

一种新型逻辑函数化简方法——立体化简法

文章在卡诺图化简法的思想基础上设计了一种新型的逻辑函数化简方法——“立体化简法”。用逻辑函数立方体代替卡诺图来表示逻辑函数,在三维立体空间进行逻辑函数的化简,既保持了卡诺图化简法方便、直观、容易掌握的优点,又使得可以方便化简的逻辑函数变量增加至六个;如果采用达到卡诺图化简法五、六变量逻辑函数化简的难易程度的方法,可使化简的逻辑函数变量增加至九个。这种新型的逻辑化简方法使得五、六变量逻辑函数的化简变得非常简单、方便,也使得九变量以内的逻辑函数的化简变得直观、可行。     

中断优先级改变对函数静态调用关系影响研究*

针对中断优先级的改变会对系统的运行产生非预期的执行逻辑,研究了由此所产生的函数之间调用关系的不确定性,提出一种结合中断优先级改变的嵌入式系统静态测试方法.以中断优先级状态机描述中断优先级改变行为,在不包含中断处理函数的函数静态调用路径基础上,应用迭代方程得到中断优先级序列,将此序列叠加到函数静态调用路径中.实验表明,结合中断优先级的函数静态测试方法,保证了嵌入式系统测试的完整性,提高了测试覆盖率.     

带控制流的静态函数调用分析方法

提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数间的调用次序,还可以了解程序设计的逻辑复杂度,有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程,并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。     

多变量逻辑函数的卡诺图化简方法

数字电路中的逻辑函数卡诺图化简是一种简单、直观的方法,常用于四变量化简。该文分析了多变量逻辑函数的卡诺图法化简,使卡诺图化简法得到了更广泛的应用。     

基于改进遗传算法的逻辑函数化简

代数法和卡诺图法是经典的逻辑函数化简方法,但它们难以化简规模大的逻辑函数,采用演化算法实现逻辑函数化简,能化简规模大的逻辑函数,但计算时间比较长;针对代数法、卡诺图法和演化算法的不足,提出了改进遗传算法应用于逻辑函数化简,新方法主要采用改进种群初始化方式和约束进化方向的措施;仿真表明,新方法能减少无效搜索,极大地提高进化速度,减少计算时间,新方法为规模大的逻辑函数化简提供新思路,在工程上有应用价值。     

基于单片机P89C61X2的FPGA配置

引言 大部分FPGA采用基于SRAM(静态随机存储器)的查找表逻辑形成结构,就是用SRAM构成逻辑函数发生器.SRAM工艺的芯片在掉电后信息就会丢失,需要外加一片专用配置芯片.     

用遗传算法实现逻辑函数的化简

在硬件设计中引入演化计算,在可编程逻辑器件上通过对基本硬件元器件进行演化而自动生成人工难以设计出的硬件结构,称为演化硬件设计。代数法和卡诺图法用来化简给定的逻辑函数,但它们难以化简规模很大的逻辑函数。这里用演化硬件设计方法实现了区别于传统的代数化简法和卡诺图化简法的一种新的对给定的某一逻辑函数进行化简的方法。实验表明演化硬件设计方法能够化简规模很大的逻辑函数。     

逻辑函数的立体化简法及其实现

逻辑函数的“立体化简法”是在卡诺图化简法的思想基础上设计的一种新型逻辑函数化简方法.这种方法用逻辑函数立方体代替卡诺图,在三维立体空间进行逻辑函数的化简.卡诺图法可以方便地化简四个变量以内的逻辑函数,而立体化简法可以方便地化简六个变量以内的逻辑函数.使用CubeScape在线网站的功能可以方便地表示逻辑函数立方体,让学生直观地感受逻辑函数最小项的逻辑相邻关系,更好地理解立体化简法化简逻辑函数的原理.     

基于区域内存模型的C程序静态分析

为了提高程序的静态分析精度,提出了一种应用基于区域的符号化三值逻辑(region-based symbolic threevaluedlogic,简称RSTVL)的静态分析方法.RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系,包括指向关系、层次关系与取值逻辑关系.为了提高静态分析的精度,提出了一种基于RSTVL的流敏感、域敏感的过程内分析与基于符号化函数摘要的上下文敏感的过程间分析,能够精确地分析出每个程序点上的形态信息、数据流信息与指针指向关系.实验结果表明,相对于基于符号化三值逻辑的方法,该分析方法在保证一定分析效率的前提下,能够实现较高准确度的分析.     

计算机温湿度控制系统节能静态最优工况的寻求

本文介绍了采用微型计算机系统使纺织工厂车间的空气调节达到节能静态最优的自动控制,分析了系统的约束条件及静态最优目标函数,提供了寻求温湿度控制系统节能静态最优工况流程图和程序.该系统采用数学模型和搜索法相结合的方法寻优,实践证明效果良好.     

基于多值方法的模糊逻辑函数最小化

首先提出了模糊逻辑和多值逻辑的相似性，并从开关信号理论出发建立了三值逻辑函数阈运算和模糊逻辑函数文字运算的对应关系，进而提出了基于差动电流开关理论的三值逻辑函数化简法求模糊逻辑函数最小化表达式的算法，并用该算法对几个模糊逻辑函数实例进行了化简，实例操作表明，该算法具有操作简单快捷的特点，是获得模糊逻辑函数最小化表达式的一种有效的方法。     

符合OSEK/VDX规范的操作系统逻辑仿真研究

通过设计规则, 搭建OSEK操作系统逻辑仿真系统平台, 克服了静态代码检测的不完备性, 实现动态检测逻辑错误。通过测试, 证明了基于规则的动态逻辑检测相对于传统静态分析的优越性。为结合标定技术实现系统逻辑监控提供了基础。     

《数字逻辑》课程教学方法研究及探讨

对<数字逻辑>课程中的一些教学方法和问题进行研究及探讨,包括逻辑函数的各种化简方法、时序逻辑电路分析与设计中的公式法与表格法、变量的排列顺序问题等,总结并且提出一些独创的教学方法.     

基于蚁群算法的逻辑函数化简

仿真硬件是一种新近发展起来的将仿真优化算法的思想应用于硬件物理结构设计的技术,特别是电子系统的设计.针对代数法和卡诺图法难以化简规模很大的逻辑函数问题,提出使用蚁群算法处理大规模逻辑函数化简.详细阐述了蚁群算法处理逻辑函数化简问题模型以及重要技术实现.试验表明演化硬件设计方法能够化简规模很大的逻辑函数.     

计算机辅助卡诺图化简逻辑

随着电子技术的迅速发展,卡诺图已经成为逻辑设计中常用的一种数学工具。由于卡诺图形象、直观,能把各种复杂的逻辑函数用图形表示出来。因此,卡诺图在电子技术中得到了广泛的运用。在数字电路中,逻辑函数的表示方法有:真值表,函数表达式,逻辑图以及卡诺图。卡诺图的人工化简逻辑函数历来为试凑法,无一定规律可循,繁琐而且易出错。而用计算机辅助卡诺图来化简逻辑函数的方法将克服人工算法的缺点,使化简更方便有效。     

ClearBug一种改进的自动化漏洞分析工具

随着软件漏洞的危害性不断增强,软件漏洞分析已经成为了国内外安全研究的热点。已有的工作大致可以分为静态分析和动态分析两类。本文在开源的软件漏洞静态分析工具Bugscam的基础上,提出了一种建立漏洞模型,映射漏洞模型为分析程序,并进行漏洞分析的思路。对于大量的软件漏洞,我们提出,将其分为函数漏洞和逻辑漏洞两类,并分别探讨了两种模型与程序之间的对应关系。最后,对我们编写的一个改进的自动化漏洞分析工具clearBug进行了介绍,并用实验验证了模型与程序的正确性和有效性。     

可执行程序缺陷函数的静态检测方法

可执行程序的缺陷函数检测是软件漏洞发现的重要技术手段之一。从二进制代码指令流的角度出发,研究了缺陷函数的签名机制,提出了一种基于可执行程序静态分析的缺陷函数检测方法。该方法通过静态分析应用程序的可执行代码,建立进程运行过程中可能的函数调用序列集合。以该集合为基础,通过对比分析缺陷函数签名,可以准确检测该程序调用的缺陷函数集合,以及分析可能导致的脆弱性。通过实验分析,验证了该方法对于缺陷函数检测的有效性。