逻辑方程相关论文
众所周知，数理逻辑是以符号化为特点的形式化理论，它注重形式推理而不重视数值计算，与此相反，数值计算的目的则在于借助各种手段，采用插......
对美国135个小麦矮腥黑穗病菌(Tilletia controversa Kuehn,以下简称TCK)及小麦网腥黑穗病菌(T.caries Tul.以下简称TCT)进行的比......
中美双方为探讨适用于进口粮检疫的小麦矮腥黑穗病菌(Tilletia controversa Kuehn,以下简称TCK)准确简便的鉴定方法,于1989～1992年......
简要论述了布尔代数和数字逻辑的概念,根据逻辑方程的基本理论提出将二次回路转化为方程的基本原则,将电气二次回路抽象成方程分析......
简要论述了布尔代数和数字逻辑的概念,根据逻辑方程的基本理论提出将二次回路转化为方程的基本原则,将电气二次回路抽象成方程分析......
本文根据绍兴道变电站的实际情况，分析了内桥接线的三种具体的运行方式及逻辑方程，这几种方式很好的解决了常规备自投对保护动作的适......
通过在定义逻辑运行符、逻辑函数和变量实现逻辑方程,采用虚拟机在微机保护中实现PLC功能,详细分析了利用PLC功能实现分布式备自投......
该文介绍了利用单片可编程逻辑器件扩展MCS96系列单片机外部中断源的方法，给出了设计思想，可编程器件逻辑方程，程序流程等，对单片机用......
本文对具有逐段常值变元逻辑方程的振动性和全局吸引性进行了研究。文章共分为三部分：第一章介绍泛函微分方程的发展状况与本文所要......
众所周知，数理逻辑的特点在于形式化和符号化，无论是二值逻辑还是多值逻辑，都注重形式推理，而较少关心数值计算。2001年王国俊教授基于......
通过定义逻辑运行符、逻辑函数和变量实现逻辑方程,采用虚拟机在微机保护中实现可编程序功能。根据微机保护特点和应用的需求,提出......
二值命题逻辑中τ(A→X)=α型逻辑方程在有限理论结论集的结构以及近似推理研究中有着重要应用.给出了二值命题逻辑中公式是逻辑方......
[摘 要]对现有继电保护数量与型号众多、维护工作量大、版本混乱等问题，提出一种可编程继电保护方法，对现有继电保护可编程逻辑方程......
二值命题逻辑中r（A→x）=α型逻辑方程在有限理论结论集的结构研究中有着重要应用,讨论基于真度的r（A→x）=m／2^n型逻辑方程的解在逻辑运......
考虑一类具有逐段常变地的逻辑方程，它的正的平衡位全局稳定的充分条件。...
针对传统程序设计方法难以对具有并发、协调、竞争等复杂事件的PLC控制系统编程的问题,探讨了一种基于Petri网模型的PLC程序设计方......
一、项目概况主变保护装置配置中，差动保护作为主保护应用于各个厂家，但各个厂家差动保护动作方程及曲线却不尽相同。尽管是同一厂家......
利用命题演算可以解决一类逻辑推理问题，但就在命题演算过程中，常会遇到一些困难，本文通过典型例子说明利用逻辑方程求解技巧可避免这......
主要涉及大亚湾核电站KIT/KPS系统升级改造中与KPS功能开发相关的内容。KPS功能为运行人员提供各种与安全相关的执行机构的工作状......
为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化，给出了F=G成立的充要条件，将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的......
【正】 四、基本方法1.理解并掌握反证法,归谬法的原理,能运用反证法证明有关集合论的命题。2.理解并掌握数学归纳法的原理,能运用......
为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F＋G=1、FU=1的解集关系定理，将逻辑方程F=G化为0型或......
本文通过研究逻辑变量之间的函数关系,利用分解定理和函数最小项展开式理论,总结出求解逻辑方程的一般方法.......
给出了逻辑方程m↑∏↓i=1（Fi＋-Gi）=1,m↑∏↓i=1Fi-↑Gi=1及逻辑方程组{F1=G1,… Fm=Gm的解集关系定理,得到了如下结论：若逻辑方程m↑......
首先给出了一类线性逻辑方程组的解法，然后通过主和取范式把F（x1，x2，…，xn）=1、F（x1，x2，…，xn）=0，F（x1，x2，…，xn）=G（x1，x2，…，xn）等类型的逻辑方程转化为......
研究一个带有延迟的逻辑方程．通过分支分析可以发现当系统参数取一些特殊值的时候出现了霍普夫分支，证明了当参数取λ=λ＊＋O（h^p）时，产生......
用软件来解决故障问题，其目的是缩短系统的开发的时间和降低开发的成本，实现系统的可移植性和可操作性，提高学习和工作的效率．介绍了关......
给出了（F（S）,ρ）中公式的一种逻辑等价分解,利用这种逻辑等价分解讨论公式的真度、伪距离和相似度的计算问题,并且引入了（F（S′）,ρ）中公式......
中央维护系统(CMS)是对飞机系统进行故障诊断和提供维护信息的主要系统,在提高飞机的测试性和维修性方面起着重要的作用。针对CMS......
给出了逻辑方程F=G、F+G=1、FG=1的解集关系定理和相应的推论及证明.得到了若逻辑方程F+G=1和FG=1的解集分别为S1、S2,则逻辑方程F......
论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法.......
研究了一类泛函微分方程的解的渐近性,对已有的结果作了推广.同时给出了所考虑的方程为全局吸引的一个充分条件.......
把描述牲畜生长规律的逻辑(Logistic)方程扩大应用于自然、半自然经济的草原畜牧业发展的生态、经济、社会系统。利用内蒙古40年牲......
PLD器件具有灵活方便、设计周期短、保密性强等特点,可反复编程....
The fixed points in logistic mapping digital-flow chaos strange attractor are studied in detail. When k=n in logistic eq......
以二值命题逻辑的真度理论为基础，提出了基于真度理论的逻辑方程的概念，并给出了此种逻辑方程解的存在性定理，并就τ（A→x）=α的逻辑方......
设F为逻辑式,则称F=1为Ⅰ型逻辑方程;F=0为0型逻辑方程.并且若干个逻辑方程可组成逻辑方程组.其一般解法为:例如(A+B)(B+(?))=1推......
针对飞机故障的产生逻辑和处理方法，详细分析了中央维护计算机系统故障数据处理模块的主要功能，建模思想和处理流程；再现了故障信息产......
介绍了8098单片机内存访问空间扩展技术及运用先进的PLD器件实现系统功能的设计方法。...
随着互联网的普及与快速发展,网络服务质量成为了最受关注的问题之一.本文利用矩阵半张量积方法,研究互联网网络中的故障定位问题.......
由高勤主编高等教育出版社的《电器及PLC控制》教材中,关于"PLC在电梯控制中的应用"一节里,其设计方案在实施时,从静态思维角度来......
