Results 11 to 20 of about 298 (180)
Zhejiang Daxue xuebao. Lixue ban, 2012 讨论了旋转对称函数在归一化Haar变换域中的谱特性，提出了基于归一化Haar变换检测旋转对称函数的新方法.该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点.
QIUXiao-hua(邱晓华“) +1 more
doaj +2 more sources
Zhejiang Daxue xuebao. Lixue ban, 2001 基于归一化Haar变换谱技术，讨论了检测逻辑函数对称性的一种新方法.实例表明该方法具有直观、简便和准确的特点.
CHENGJie(程捷) +1 more
doaj +2 more sources
Method of detecting special logic function based on Boolean e-derivative(基于布尔e导数的特殊逻辑函数检测方法)
Zhejiang Daxue xuebao. Lixue ban, 2014 布尔代数中的特殊逻辑函数具有独特的性质，而布尔e导数是一种新的特殊运算.为探索简化数字电路实现的方法，在介绍线性函数、自双反函数以及布尔e导数概念的基础上，提出了利用布尔e导数判别线性函数和自双反函数的定理，给出了基于布尔e导数检测线性函数、自双反函数的方法，并通过3个实例，展示了应用该方法检测线性函数和自双反函数的过程.进一步拓宽了布尔e导数的应用领域.
ZHAOMeiling(赵美玲)
doaj +2 more sources
PCA-based membership inference attack for machine learning models [PDF]
, 2022 Aiming at the problem of restricted access failure in current black box membership inference attacks, a PCA-based membership inference attack was proposed.Firstly, in order to solve the restricted access problem of black box membership inference attacks,
Changgen PENG +3 more
core +1 more source
Survey on approaches of stream cipher cryptanalysis [PDF]
, 2022 Cryptanalysis plays an essential role in the design of ciphers algorithm.Based on this, the common approaches were reviewed and investigated to clarify their relations.These approaches were categorized into four classes according to their main techniques,
Dengguo FENG, Zhaocun ZHOU
core +1 more source
Tabular method of detecting linear function and linear variable(检测线性函数与线性变量的表格方法)
Zhejiang Daxue xuebao. Lixue ban, 2006 讨论了线性函数、部分线性函数和线性变量的定义、性质和定理，提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.
LIANYi-qun(练益群) +2 more
doaj +1 more source