计算机在逻辑代数化简中的应用

利用计算机对逻辑代数进行化简，使复杂的逻辑代数分材化简工作的速度大大提高，不仅结果准确可靠，同时避免了传统人工分析中由于人为因素造成的差错。它可广泛应用于数字电路的分析、设计和教学等。     

四值逻辑代数及触发器

本文讨论了四值逻辑代数和T运算,指出四值模代数运算不是完备系。文中给出了四值D,T,JK以及全功能触发器的逻辑设计及性能。     

代数拓扑方法应用于逻辑综合

张弛法进行逻辑综合其规律性、逻辑性强，尤其是对于多变量的情况，克服了卡诺化简法的局限性。     

WBR_0-代数的正则性及与其他逻辑代数的关系

通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有：（1）证明了正则剩余格与WBR0-代数是相同的代数结构;（2）通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;（3）通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。     

用逻辑代数设计PC程序

通过介绍用逻辑代数设计ＰＣ程序,使控制机床运行的程序变得更为简洁一些,在实际的设计过程中应用了这种技巧,取得了良好的效果。     

IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL＊-代数,并通过实例证明了IMTL＊-代数结构的存在性;其次,构造了一个非IMTL＊-代数的IMTL-代数,说明了IMTL＊-代数是IMTL-代数的真的强化形式,并基于IMTL-代数给出了IMTL＊-代数的一些等价刻画;最后,给出了IMTL＊-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。     

数据库逻辑询问语言

介绍数据库逻辑询问语言的基本概念和询问求值的方法，并扼要介绍逻辑询问语言的研究现状和研究方向。     

逻辑代数与图论中的运算符号“⊙”

“⊙”运算在逻辑代数和图论中定义形式不同，运算性质却类似，原因是对于“⊙”，逻辑函数集合与某个图的集合同构。     

时态数据库的时态代数分析

以传统关系数据模型为基础建立了多种时态数据库模型。传统数据库具有一些集合运算：选择、投影、连接、笛卡尔积、差、并和交，这些关系代数只是一种瞬像代数，没有考虑时态关系。本文重点介绍了适合于时态数据库的时态关系代数。结果证明时态关系代数运算与传统关系代数运算是相容的。     

逻辑代数卡诺图化简方法与技巧

逻辑代数卡诺图化简是数字电子技术的一个重要内容,本文讨论了卡诺图化简逻辑代数的基本方法和实用技巧。     

一种布尔代数——围棋布尔代数及其应用

研究布尔代数一种形式－围棋布尔代数,它由元素０,１所组成的四个复合元素,Ｏ,Ｉ,Θ,Θ′,即Ｏ＝（０,０）,Ｉ＝（１,１）,Θ＝（０,１）,Θ′＝（１,０）,可看作为元素０,１所组成集合子集,给出其运算规则,符合布尔代数的幂等律,交换律,结合律,吸收律,分配律,互补律,讨论了它在围棋棋团的图像轮廓识别等方面的应用。     

泛布尔代数在智能交通系统中的数据挖掘研究

针对城市交通控制系统实时性要求,提出用基于泛布尔代数的数据挖掘技术来作为智能交通系统的数据分析和数据解释方法,以解决其建模和模型求解的问题.根据城市单个交叉口的交通流,利用这种新的数据挖掘技术的初步分析结果,选择采用多相位实时控制策略;对提取的决策规则,建立起决策系统的泛布尔模型.     

矩阵在“高等代数”中的应用基础分析

矩阵理论在＂高等代数＂中有着十分重要的应用。分析矩阵应用的基本点,把握其内在规律,促进教学质量的提高。     

Delphi数据库应用程序中查询的设计

文章讨论了在DelpIli数据库应用程序中定制查询条件设置对话框的实现方法，并给出了相应的事件响应程序的源代码。     

ATMD网络管理数据库的分析及应用

通过对 ATM交换机网络管理工具 ATMD在 Sybase SQL Server数据中的用户表结构进行分析 ,得出数据表中各字段的信息 ,对各字段的含义进行分析 ,从中得出 ATM主干网络中相关网络配置情况 ,并提出了一个基于该信息数据库的 ATM交换机运行情况监测系统。     

原子Boolean格代数的模中有限秩算子的性质

本文对原子 Boolean格代数模中的有限秩算子进行了讨论,得到了一些结论,这些结论是子空间格代数中相应结论的推广 .     

前向多层代数神经网络隐层神经元数目估计方法

结合目前估计前向三层神经网络隐层神经元数目的方法 ,提出一种向量不交关系来确定多层(层数 >3)前向代数神经网络隐层神经元的数目 ,该方法只须估计出第一隐层神经元的数目 ,其余各层神经数目利用不交关系的算法随之确定 ,通过多项式代数函数实例表明 ,该方法有效     

多元逻辑电路(DYL)线性“与或”门均匀性的研究

Comparing the theoretical ana1ysis with the experimental results the authors have proved that the uniformity of linear "and/or" gates mainly depends on imput voltage and load resistance. When imput voltage is low, the uniformity changes a little with the load resistance. When imput voltage is high, the smaller the load resistance is, the more obviously the uniformity changes with imput voltage.     

水资源效益综合评价的可变模糊决策理论及应用

水资源效益评价体系是一个综合经济效益、生态环境效益和社会效益,既有定量指标又有定性指标的多层次半结构性体系.为提高评价的可靠性,综合考虑了定性指标和定量指标对水资源经济效益、生态环境效益和社会效益的影响,并将两级可变模糊决策模型与可变模糊模式识别模型同时应用于半干旱地区灌区水资源综合效益评价研究中.结果表明,可变模糊模...     

标准熵S_T~O的概念和求法

阐述了标准熵的概念，说明纯固体、液体、气体物质的标准熵是正值，离子的标准熵是相对于Ｈ＋离子的标准熵的相对值，有正值，也有负值。