Properties of linear function and its application(线性函数的性质及其应用)

Properties of linear function and its application(线性函数的性质及其应用)

给出了线性函数、部分线性函数和线性变量的定义，提出了它们的性质.根据上述定义，利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用....

Full description

Bibliographic Details
Main Authors:	LUHui-juan(陆慧娟), CHENXie-xiong(陈偕雄)
Format:	Article
Language:	zho
Published:	Zhejiang University Press 2006-03-01
Series:	Zhejiang Daxue xuebao. Lixue ban
Subjects:	线性函数部分线性函数线性变量布尔函数
Online Access:	https://doi.org/zjup/1008-9497.2006.33.2.165-168

Similar Items

Tabular method of detecting linear function and linear variable(检测线性函数与线性变量的表格方法)
by: LIANYi-qun(练益群), et al.
Published: (2006-05-01)

Graphical method of detecting linear functions and partial linear functions(线性函数和部分线性函数的图形检测方法)
by: ZHAOMin-xiao(赵敏笑), et al.
Published: (2007-05-01)

New method of detecting special function of decomposition map(基于分解图检测特殊函数的新方法)
by: ZHAOMei-ling(赵美玲), et al.
Published: (2008-07-01)

Research on the properties of the Boolean difference and Boolean E-derivative on special logic functions(特殊逻辑函数布尔差分及布尔e-导数的性质研究)
by: FANGWei-jie(方伟杰), et al.
Published: (2013-09-01)

Detection of redundant function and linear function based on Haar transform(基于Haar变换的冗余函数和线性函数的检测)
by: QIUXiao-hua(邱晓华), et al.
Published: (2009-09-01)

Method of detecting special logic function based on Boolean e-derivative(基于布尔e导数的特殊逻辑函数检测方法)
by: ZHAOMeiling(赵美玲)
Published: (2014-07-01)

Graphic method of detecting special Boolean function based on dj-map(基于dj图检测特殊布尔函数的图形方法)
by: LIANYi-qun(练益群)
Published: (2007-07-01)

Graphic method for detecting special logical function including don't cares(含任意项特殊逻辑函数的图形化检测)
by: WANGYong-chao(王勇超), et al.
Published: (2009-09-01)

Algebraic method for calculating c-derivative, c-partial derivative and its application in detecting special boolean function(计算布尔函数c-导数、c-偏导数的代数方法及其在检测特殊布尔函数中的应用)
by: WANGFang(王芳)
Published: (2016-05-01)

Characterizations of multivariate quasi-copulas(多元拟连接函数的刻画)
by: SHENYin-fang(沈银芳)
Published: (2007-03-01)

Method of detecting special function with arbitrary term based on decomposition map(基于分解图检测含任意项特殊逻辑函数的方法)
by: LIXiao-hua(厉晓华)
Published: (2009-09-01)

Computer aided detection of special logical fuiction(计算机辅助特殊逻辑函数检测)
by: LIXiao-hua(厉晓华)
Published: (2009-05-01)

Graphical method of detecting special logic functions based on spectral coefficient map(基于谱系数图检测特殊逻辑函数的图形方法)
by: ZHOUZhen-feng(周振峰), et al.
Published: (2008-11-01)

Graphic method of detecting special logic function with arbitrary term(检测含任意项特殊逻辑函数的图形方法)
by: LIXiaohua(厉晓华), et al.
Published: (2014-01-01)

Tabular method of calculating Boolean difference and partial derivative of logical functions(计算逻辑函数布尔差分及布尔偏导数的表格方法)
by: LIANYi-qun(练益群), et al.
Published: (2006-07-01)

Research on properties of high-order e-derivative(关于高阶e导数性质之研究)
by: QIUXiao-hua(邱晓华), et al.
Published: (2013-07-01)

Detecting rotation symmetric function based on 0-1 coded spectral technique(基于0-1编码谱技术检测旋转对称函数)
by: MARu-xing(马汝星“), et al.
Published: (2012-11-01)

Research on the properties of rotation symmetric boolean function(关于旋转对称布尔函数性质之研究)
by: YUANShu-hong(袁书宏), et al.
Published: (2011-01-01)

Tabling decision method of monotonic functions(单调函数的列表判别法)
by: CHENGJie(程捷), et al.
Published: (2001-09-01)

Detection of redundant function, self-negative function and self-dual function based on tabular method(基于表格方法的冗余函数、自反函数及自双反函数的检测)
by: LIKe(郦可), et al.
Published: (2007-09-01)

An algorithm for identifying symmetric variables of Boolean function with don't-care-terms(含无关项布尔函数的对称变量检测算法)
by: ZHANGYongbo(张永波), et al.
Published: (2017-03-01)

Tabular method of calculating Boolean partial derivative and difference of the OC type logic function(计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法)
by: LIUGuan-sheng(刘观生), et al.
Published: (2007-03-01)

Tabular method of simplifying Boolean division/coincidence expansion of logic functions with fixed polarities(逻辑函数的布尔除/符合展开在固定极性下化简的表格方法)
by: LIANYi-qun(练益群), et al.
Published: (2008-09-01)

Detection of self-negative and self-dual function based on normalized Haar transform(基于归一化Haar变换的自反函数和自双反函数的检测)
by: QIUXiao-hua(邱晓华), et al.
Published: (2010-03-01)

New method of testing self-dual function and self negative function on bj-map(基于bj图检测自双反函数和自反函数的新方法)
by: ZHENGHui-qun(郑惠群), et al.
Published: (2007-05-01)

Method of computing e-derivative based on minterm table(基于最小项表计算e导数的方法)
by: MARu-xing(马汝星), et al.
Published: (2013-09-01)

Examination redundant function or self-negative function based on the graph method(基于图形方法的冗余函数与自反函数检测)
by: RENBing(任兵), et al.
Published: (2007-05-01)

The c-derivative of Boolean functions and its application in fault detection of combinational circuits(布尔函数的c导数及其在组合电路故障检测中的应用)
by: WANGFang(王芳), et al.
Published: (2014-03-01)

面向算力网络的多方安全协同线性回归研究
by: 潘洁，侯慧芳，陈曦，薛曌，徐连坤
Published: (2024-08-01)

New method of detecting rotation symmetric function based on normalized Haar transform(基于归一化Haar变换检测旋转对称函数的新方法)
by: QIUXiao-hua(邱晓华“), et al.
Published: (2012-11-01)

The application of simplify decomposition maps in calculating Boolean e-derivative(简化分解图在计算布尔e-导数中的应用)
by: LIXiao-hua(厉晓华), et al.
Published: (2013-11-01)

Two kinds of multi-parameter PQD copula families(两类多参数PQD连接函数(copula)族)
by: SHENYin-fang(沈银芳)
Published: (2008-07-01)

Properties and application of CRM type decomposition map(CRM分解图的性质及其应用)
by: ZHAOMei-ling(赵美玲), et al.
Published: (2006-05-01)

Optimizations of peak points and branch radius of nonlinear T-S fuzzy system based on triangular fuzzy numbers(基于三角形模糊数的非线性T-S模糊系统的峰值点和分量半径优化)
by: WANGHongzhi(王宏志), et al.
Published: (2016-05-01)

The K-map method for calculating c-derivative of Boolean function with don't-care-terms(计算含无关项布尔c-导数的K图方法)
by: LIXiaohua(厉晓华), et al.
Published: (2016-05-01)

Möbius invariant gradient and α-Bloch functions(Möbius不变梯度和α-Bloch函数)
by: ZHUOWen-xin(卓文新), et al.
Published: (2002-07-01)

Tabular synthesis of three-variable functions using one-bit full adders(基于一位全加器三变量逻辑函数的查表综合)
by: ZHOUChang(周畅), et al.
Published: (2003-09-01)

A reproducing kernel space Hm[a,b] and its properties(一类再生核空间Hm[a,b]及其性质)
by: JIAYuntao(贾云涛), et al.
Published: (2014-11-01)

Pointwise finiteness of some square functions(一些平方函数的点态有限性)
by: XUHan(徐罕)
Published: (2003-03-01)

On the existence and Lipschitz boundedness of maximal operator on homogeneous spaces(齐型空间上极大函数的存在性和Lipschitz有界性)
by: SUNYong-zhong(孙永忠), et al.
Published: (2002-09-01)