逻辑方程相关论文
众所周知，数理逻辑是以符号化为特点的形式化理论，它注重形式推理而不重视数值计算，与此相反，数值计算的目的则在于借助各种手段，采用插......
本文对具有逐段常值变元逻辑方程的振动性和全局吸引性进行了研究。文章共分为三部分：第一章介绍泛函微分方程的发展状况与本文所要......
众所周知，数理逻辑的特点在于形式化和符号化，无论是二值逻辑还是多值逻辑，都注重形式推理，而较少关心数值计算。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型逻辑方程的方法和相应的......
为了使解非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′）,ρ）中公式......
给出了逻辑方程F=G、F+G=1、FG=1的解集关系定理和相应的推论及证明.得到了若逻辑方程F+G=1和FG=1的解集分别为S1、S2,则逻辑方程F......
论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法.......
研究了一类泛函微分方程的解的渐近性,对已有的结果作了推广.同时给出了所考虑的方程为全局吸引的一个充分条件.......
PLD器件具有灵活方便、设计周期短、保密性强等特点,可反复编程....
The fixed points in logistic mapping digital-flow chaos strange attractor are studied in detail. When k=n in logistic eq......
以二值命题逻辑的真度理论为基础，提出了基于真度理论的逻辑方程的概念，并给出了此种逻辑方程解的存在性定理，并就τ（A→x）=α的逻辑方......
针对飞机故障的产生逻辑和处理方法，详细分析了中央维护计算机系统故障数据处理模块的主要功能，建模思想和处理流程；再现了故障信息产......
随着互联网的普及与快速发展,网络服务质量成为了最受关注的问题之一.本文利用矩阵半张量积方法,研究互联网网络中的故障定位问题.......
由高勤主编高等教育出版社的《电器及PLC控制》教材中,关于"PLC在电梯控制中的应用"一节里,其设计方案在实施时,从静态思维角度来......
