1) logical function of structure
逻辑构造函数
3) logic structure
逻辑构造
1.
From the purpose of benefiting to people seeking and realizing social justice,the structure of social justice can be considered to be unity of course structure and logic structure.
从有利于人们在实践中追求和实现社会正义的目的出发,可以将社会正义的构造理解为过程构造与逻辑构造的统一。
4) logic functions
逻辑函数
1.
Algebraic method of detecting linear variables in logic functions.;
检测逻辑函数中线性变量的代数方法
2.
For multi-input multi-output logic functions of two-level SOP,a program.
对于二级SOP型的多输入多输出逻辑函数,设计了基于积项扩展的多输入多输出集成电路逻辑优化软件,允许的最大输入变量数为128、最大输出变量数为256、最大输入输出变量总和为300、最大输入积项数为20 000,并通过了Benchmark例题的测试和正确性验证。
3.
An approach of design for testability(DFT) for logic functions is presented in the paper, which employs AND gates and XOR gates tree to realize the generalized Reed Muller expression of arbitrary logic functions.
在逻辑函数Reed Muller模式的电路可测性设计方面 ,文章采用AND门阵列和XOR门树结构来设计电路 ,提出了一种设计方案 ,可实现任意逻辑函数的功能 ,而且所得电路具有通用测试集和完全可故障定位的特点。
5) logic function
逻辑函数
1.
Implementation of logic function simplification using ant algorithm;
基于蚁群算法的逻辑函数化简
2.
Discussion of designing logic function method using MSI data selector;
用MSI数据选择器实现逻辑函数的方法讨论
3.
Expression in rough set for logic function and a method of minimization;
逻辑函数的粗糙集表达及最小化方法
6) logical function
逻辑函数
1.
Tabular method of calculating Boolean difference and partial derivative of logical functions;
计算逻辑函数布尔差分及布尔偏导数的表格方法
2.
Based on the theory of the K map simplification of logical function(KSLF),this article releases a ICAI Realization for KSLF.
笔者从CAI、ICAI的现状出发 ,结合《数字电路》课程逻辑函数卡诺图化简理论 ,介绍了逻辑函数卡诺图化简的ICAI实现方法 ,并将这种方法最终产品化 ;该产品支持带任意项化简并提供普通、教学、练习 3种教学方式。
3.
Based on the analyses of manual and Q M tabular simplification methods for the computer logical functions, the multidimension cube representation method for the functions and its simplification technique are presented.
在分析逻辑函数的手工化简方法和计算机辅助 Q- M列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。
补充资料：构造逻辑
| 构造逻辑 constructive logic 一种非经典的逻辑系统。它主要由对数学持直觉主义、构造主义或致力于构造性数学研究和发展的数学家和逻辑学家建立和使用。在数理逻辑和数学基础中，“构造性”一词有几种不同的理解并在几种不同的意义下使用，其共同之处在于它们都满足下列构造性要求：①对存在命题$xAx的一个证明是构造性的，如果从这个证明能找到（构造出）一个特殊的对象x，它满足A。②不能无条件地使用排中律。按照构造性观点，对于p∨  p，只有在有一个方法能判明p与 p中哪一个是真的情况下，才能承认它是真的，而不承认任一命题非真即假。按照这些构造性观点建立的逻辑就是构造逻辑。在构造逻辑中，对于逻辑联结词  (非）、∧(并且）、∨(或者)、→(如果，则，)和量词$x(存在一个x，有一个x)、"x(所有x）的理解如下：①对A∧B的一个证明由A的一个证明和B的一个证明一起构成。②对A∨B的一个证明由特别指定的A的一个证明或者由特别指定的B的一个证明构成。③对A→B的一个证明由一个构造c构成，构造c可把A的任一证明转换成B的一个证明，即构造c具有如果d是A的一个证明，把c与d结合起来就产生B的一个证明这种性质。④以符号⊥表示一个不可证的命题，对 A的一个证明由一个构造c构成，构造c把对A的任一证明转换成对⊥的一个证明。⑤如果个体变元x取值于某个基本的个体域D，则对"xA(x)的一个证明由一个构造c组成，当把构造c应用于域D中的任一个体d时，就产生对A(d）的一个证明c(d)。⑥如果个体变元x取值于某个基本的个体域D，则对$xA(x）的一个证明由一个构造c和域D中的一个个体d构成，并且构造c是对A(d）的一个证明。在构造逻辑中，各个联结词和量词都是彼此独立、不能相互定义的。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条