介绍一种逻辑函数的表示及其简化法

利用乔治·布尔(George Boole)代数和卡诺图(Karnaugh Map)表示和简化逻辑函数是目前逻辑电路设计中最常用的方法。前者是利用逻辑代数的基本公式,基本规则和由此而引出的一些常用公式来完成逻辑函数的简化。对使用者来说则要求记忆并能较熟练地应用它们,才能达到逻辑函数的最简结果,这往往要求经常的使用和实践技巧。卡诺图法比较起来是一种容易掌握和运用的函数表示法和简化法。在利用卡诺图的过程中,把图视为一个封闭的球面,根据相邻小方格中最小项的函数取值彼此只有一个变量不同的排列规则,按2~n数(n=1、2、3……)来圈画并化简,一般来说是很方便的。但对初学者来说,如果“相邻”的概念未能很好地建立起来,则不能正确地圈画和化简。这里介绍一种逻辑函数“拓扑表示法”(Topological representations)及其简化,虽然对多变量函数画图比较复杂一些,但“相邻”的概念比较清晰,因而也容易辨认。对初学者可作为参考和借鉴。     

轻轻松松学数字电路（上）

学习目的与要求 门电路是构成组合逻辑电路的基本单元,学习中注意理解各种门的工作原理和逻辑功能;掌握逻辑代数的运算方法及其卡诺图化简逻辑函数的方法;熟悉组合逻辑电路的几种描述方法,掌握组合逻辑电路的分析步骤和方法;了解和熟悉各类常用中规模集成逻辑部件的逻辑功能、工作原理及应用。     

利用卡诺图快速准确地化简逻辑函数

为了快速准确地化简逻辑函数，可以直接利用观察法填出卡诺图，圈１（或圈０）后再用虚位移法就可以写出化简的逻辑函数表达式。     

基于逻辑代数的电气二次图设计方法及其应用

电气二次图的设计要体现二次设备日趋复杂的逻辑功能.针对实现电气二次图的逻辑功能以及简化、优化逻辑回路结构的问题,提出了将逻辑代数引入电气二次图设计的方法,阐述了利用卡诺图对逻辑表达式进行化简的具体步骤,并通过工程实例呈现了该设计方法对工程设计人员的指导价值及其广阔的应用前景.     

分析和设计逻辑电路的新方法和新理论

本文以集合的基本概念和卡诺图为基础,提出了分析逻辑电路的一整套规则和揭示了对偶式的内在联系,也提出了多级网络的设计方法,避免了传统的布尔运算和逻辑化简。达到直观、方便、简单、正确,与现行的各种方法和理论相比,具有无可苧议的优越性。     

组合逻辑电路多故障测试生成算法的研究

针对布尔差分算法需要进行大量的异或运算,特别是求解多故障测试矢量时,求解高阶布尔差分更是繁琐的问题,依据卡诺图求解异或运算的方法,提出了获得多故障测试矢量的简便算法。该算法对单故障特别是多故障的测试矢量生成,无论故障数为多少,只要函数的变量数不变,就不会因故障数增加而使卡诺图法的求解难度增加,从而减少了多故障测试矢量生成时间。     

卡诺图用于机械程序锁闭锁逻辑组合布置

以某配电工程为例,说明有些情况下,机械程序锁的应用优于电气闭锁.重点介绍了对于配电工程中闭锁逻辑比较复杂的情况,如何应用卡诺图快捷有效地得到合理的机械程序锁组合布置的方法及其良好效果.     

施耐德S40保护装置在变电站备用电源自动投切系统中的应用

1原保护配合存在的问题 我公司6kV3号变电站担负着分厂绝大部分的供电任务，其电气设备系统均采用施耐德S40保护装置。施耐德S40保护装置具有电网运行和监视功能，从而减少了二次继电器的使用。该保护装置除基本的保护和运行监视功能外还可借助简单的逻辑函数用逻辑方程编辑器来修改预定义功能，以添加新的处理工作，使用灵活方便。3号变电站6kV系统单线图见图1。其进线配置定时限过流保护（定值为8A、0．5S，变比1000／5）。     

基于能量传递函数法的风电机组液压变桨距系统的建模及仿真

液压变桨距系统作为风力发电机组的重要组成部分,对保证风电机组的正常运行起着至关重要的作用。能量传递函数法是在功率键合图基本理论基础上,提出的一种对多能量耦合系统进行建模的方法。本文利用能量传递函数法对变桨距液压系统进行建模,为风电机组变桨距控制策略的研究以及控制算法的改进提供了精确的对象模型。通过对仿真结果的分析,证明了这种建模方法的正确性和有效性。     

基于能量传递函数法的风电机组液压变桨距系统的建模及仿真

液压变桨距系统作为风力发电机组的重要组成部分,对保证风电机组的正常运行起着至关重要的作用。能量传递函数法是在功率键合图基本理论基础上,提出的一种对多能量耦合系统进行建模的方法。本文利用能量传递函数法对变桨距液压系统进行建模,为风电机组变桨距控制策略的研究以及控制算法的改进提供了精确的对象模型。通过对仿真结果的分析,证明了这种建模方法的正确性和有效性。     

基于二维变分模态分解和Hilbert变换的局放信号特征提取方法

本文通过对二维Hilbert-Huang变换方法的改进,提出了一种基于二维变分模态分解(VMD)和Hilbert变换的局部放电灰度图像特征提取方法。首先,利用局部放电样本生成相应放电灰度图;其次,以二维VMD算法分解各放电灰度图像,获取各个不同中心频率的模态分量;然后,通过四元数Hilbert变换得到各模态函数对应的特征图,并提取灰度纹理特征,构成各放电样本对应的特征向量;最后,以BP神经网络分类器对提取出的局部放电特征量进行分类和识别。实验结果验证表明,同二维Hilbert-Huang变换和传统放电灰度图特征提取方法相比,基于本文方法所得特征量具有更高的正确识别率,验证了该方法的可行性。另外,本文所采用的二维VMD-Hilbert方法为局部放电信号的频谱分析拓展了新的思路。     

机组组合问题的罚函数法

机组组合问题是一个大规模的非线性、0、1变量混合整数规划问题 ,是一个难问题。以罚函数方法解决0、1变量整数规划问题是一个新的尝试。文中考虑包括发电机爬坡约束和时间约束等动态约束在内的多种约束条件 ,对机组组合问题的 0、1变量进行松弛 ,并在目标函数中增加一个惩罚函数项 ,将问题变换成一个非线性连续变量的规划问题 ,以SQP法求解。本算法经过一个简单的算例检验 ,说明是行之有效的。     

机组组合问题的罚函数法

机组组合问题是一个大规模的非线性、0、1变量混合整数规划问题,是一个难问题.以罚函数方法解决0、1变量整数规划问题是一个新的尝试.文中考虑包括发电机爬坡约束和时间约束等动态约束在内的多种约束条件,对机组组合问题的0、1变量进行松弛,并在目标函数中增加一个惩罚函数项,将问题变换成一个非线性连续变量的规划问题,以SQP法求解.本算法经过一个简单的算例检验,说明是行之有效的.     

发电机变结构模糊逻辑稳定器

本文基于发电机速度和加速度相平面上的正态型模糊隶属函数以及控制和机端电压平面上戒上型模糊隶属函数，提出了电力系统发电机的变结构的模糊逻辑的励磁器。     

E目标下量子卡诺热机有限时间热力学性能界限

研究了量子卡诺热机输出功率和熵产率的协调优化性能，得到了量子热机在Ｅ目标函数最大时的最佳特性参数     

火电机组协调控制系统前馈控制逻辑设计

为满足电网调峰调频需要,火电机组自动发电控制(AGC)指令频繁大幅变化,导致机组燃料量波动加剧,严重影响机组运行安全性及经济环保性。依据简化的非线性动态模型,对炉跟机方式协调控制系统发电负荷指令对燃料量的前馈控制逻辑进行推导,发现其基本结构为超前补偿环节,超前补偿环节的大微分作用造成变负荷工况下燃料量的波动。因此,重新构造了非线性微分环节超前补偿逻辑,在施加相同微分控制量时,降低微分输出的瞬时变化幅度并缩短调节时间,从而降低由前馈微分作用带来的燃料量波动。将重新构造的非线性前馈控制逻辑应用于亚临界330 MW机组,调试结果表明优化后的控制方案能够在实现相同控制指标的前提下,显著降低变负荷工况下燃料量波动幅度。     

开关电路与逻辑代数

在数字逻辑电路中,经常用逻辑代数中的一些基本运算和基本定律来简化逻辑电路,为了便于初学者更好地理解和记忆逻辑代数中的基本运算和基本定律,现将其各基本运算和基本定律与继电器开关电路一一对应起来。最基本的逻辑运算一般有逻辑加(“或”逻辑)、逻辑乘(“与”逻辑)、逻辑非(“非”逻辑)三种。把逻辑函数和逻辑变量之间的关系用逻辑加、逻辑乘、逻辑非等符号连接起来就成为逻辑式。对逻辑式的运算叫逻辑运算。用逻辑式可以描述逻辑线路图(简称逻辑图),反过来,逻辑图又可以形象地表达逻辑式。     

步进电机实用驱动电路

在程序控制中,步进电机的应用日益广泛。例如,用来带动温控仪毫伏定值器中的多圈电位器,可实现升、降温的程控;如带动调速电路中的调速多圈电位器,则可实现转速的程控;用来连动传动机构,还可以实现光路系统的调焦和准直等。步进电机需要专用的驱动电路,其驱动框图如图1所示。图中的脉冲源实际上是一个振荡器,改变其振荡频率可调节步进电机的工作频率,即调节程控速度。 1.环形分配器环形分配器又叫脉冲分配器,是实现步进电机各相绕组按一定的顺序通电的控制电路。设计环形分配器常用的方法是根据步进电机不同通电方式,列出真值表,然后用卡诺图或逻辑代数简化得出逻辑电路图。     

异步计数器设计方法的改进

本文揭示了以往异步计数器卡诺图设计法出现错误的原因是存在"混态控制",同时提供了解决"混态控制"的方法.     

开关量控制过程的智能化模拟仿真

提出了一种开关量控制过程的智能化模拟仿真方法,以逻辑展开图作为编制模拟仿真组态程序的＂脚本＂。区别了2种开关量输入：对人工操作输入,用触摸屏窗口的软元件改变PLC对应的输入通道状态;对控制过程输入,依照逻辑展开图确定由此输出作用而产生的输入状态,智能化设定为逻辑展开图中所要求的状态。PLC根据输入通道状态执行梯形图程序,产生相应的输出驱动。程序对仿真结果进行自动判断和提示。