1) logic inverse function
逻辑反函数
2) feedback logic function
反馈逻辑函数
3) 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门树结构来设计电路 ,提出了一种设计方案 ,可实现任意逻辑函数的功能 ,而且所得电路具有通用测试集和完全可故障定位的特点。
4) 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;
逻辑函数的粗糙集表达及最小化方法
5) 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列表化简方法的基础上 ,给出了在计算机中逻辑函数通常采用的多维体表示方法 ,分析了一种便于用计算机编程实现的代数化简方法——多维体化简方法 ,并给出化简步骤。
6) logical functional formula
逻辑函数式
1.
The geometrical conditions of rectangular blocks of rock slope are summed up aslogical functional formulas.
将岩石边坡上楔形块体的几何条件归纳成逻辑函数式。
补充资料：反函数
反函数
inverse function
反函数t~加“出佣;o6paT皿aa中，K”抓] 函数的完全逆象，即对给定函数值域的每个元素y都对应所给函数定义域的一切那样的元素的集合，使它们被映成y若用f表示给定的函数，则用f一‘表示f的反函数.这样，若f:X~Y且Yf为f的值域，玛CY，则对任意夕〔玛有厂’(y)一{‘:f(x)=y}· 若对一切y“Yf，夕的完全逆象恰由一个元素x任X组成，即若映射f:X~Yf为一一映射，则反函数是单值的( sin乡e一val喇)，否则便是多值的。朋ny·喇t犯d)‘ 若集合X与Y为实直线(或更一般地，某有序集)的子集，则f的严格单调性是使反函数也是严格单调的存在的充要条件. 反函数的许多性质可由f的相应性质确定.例如，若f为实直线的某一区间上严格单调且连续的函数，则它的反函数也是对应区间上严格单调且连续的.若一个由紧集到Hal肠do叮拓扑空间上的一一映射是连续的，则逆映射也是连续的，即原映射是映到其象集上的同胚(ho~morp恤m).当映射f是由Banach空间X到Banach空间Y上的一一有界线性算子时，则逆算子f一’也是线性与有界的. 设G为R”(。)2)中具有充分光滑边界的有界域，f为G的闭包百上的连续映射.设f为G中可微函数并映G的边界为f(G)的边界，并设f的Jacobi式的零点集为孤立集，则当f为在G的边界上一一映射时，在百上为一一的.为使局部逆映射在一给定点邻域存在，只需映射的犯cobi式在此点的某个邻域不为零若广G~R”，GCR”是在所有点x任G有非零玩obi式的可微映射，则对任意x。〔G，存在邻域U=U(x。)，使f在U上的限制月U为U到y。=f(x。)的某个邻域V二V(y。)上的一一映射，且逆映射厂’(在V上)也是可微的.此定理可以推广到无穷维情形:设X与Y为完全赋范空间，GC=X为开集，且令f:G~Y为连续可微映射.若f’(x。)为有界线性算子空间了(X，Y)中的可逆元(f’为R闭以导数(F迁(het deri碳泣ti二))，x。任G，则在X与Y中分别存在x。的邻域U二U(x。)与夕。“f(x。)的邻域V二V(y。)，使映射广U~v与其逆映射(mve招e InapP吨)为连续可微同胚.【补注】本文末段中的论断常称为反函数定理(m习e巧C-丘川ctionl比orelll). 现今“函数”一词常保留它的单值意义的场合，而“映射”是它的一个同义词.按此规定，只有双射(一一映上的函数)有反函数.在其他情形下，逆关系f一’(本文中称为多值函数)不是函数，除非像有时规定的那样把它看成集值函数.这样便引起孤立子集与其唯一元之间的重要且简单的区别. 郑维行译沈祖和校
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条