-
题名判定平方布尔函数的计数算法
- 1
-
-
作者
丁左流
-
机构
上海师范大学
-
出处
《应用科学学报》
CAS
CSCD
1996年第1期35-40,共6页
-
基金
上海师范大学校科研基金
-
文摘
一个n元函数是否为平方布尔函数?如果是,如何得到其所有的平方项?文中就此判定问题提出了一个时间复杂度为O(mn ̄3)的计数算法.与经典的Q-M算法不同,该算法基于直观的真值计数,并适合于并行实现.
-
关键词
平方布尔函数
判定
Q-M算法
计算算法
-
Keywords
quadratic Boolean functions, decision, Q-M Algorithm, primeimplicant,miniterm
-
分类号
O153.2
[理学—基础数学]
-
-
题名一类可优化的平方伪布尔函数
- 2
-
-
作者
刘永才
徐慧刚
-
机构
上海大学
-
出处
《应用科学学报》
CAS
CSCD
1995年第3期299-308,共10页
-
基金
上海自然科学基金和高教局科技发展基金资助课题
-
文摘
该文给出一类平方伪布尔函数f(x)=xQx ̄T+cx ̄T+d,它的最小点与最小值可在线性时间内找到。其基本思想在于将Q和C所关联的图转换为由NOT,AND,OR,NAND,NOR,XOR和XNoR门组成的逻辑电路,后者的相容信号值对应伪布尔平方函数的最小点。这种方法建立了平方伪布尔函数与逻辑电路之间的结构关系。
-
关键词
平方伪布尔函数
神经网络
逻辑模拟
布尔函数
-
Keywords
quadratic pseudo-Boolean function, neural network,logic simulation.
-
分类号
O153.2
[理学—基础数学]
-
-
题名逻辑电路的神经网络
被引量:1
- 3
-
-
作者
刘永才
-
机构
上海大学计算机工程与科学学院计算机科学系
-
出处
《上海大学学报(自然科学版)》
CAS
CSCD
1997年第1期82-87,共6页
-
基金
高等学校科技发展基金
-
文摘
M.L.Bushnel教授和作者给出了NOT,AND,OR,NAND,NOR,XOR和XNOR门的神经网络.以这些门的神经网络为基础,可构成任何逻辑电路的神经网络.由此,将电路的相容信号转换为平方伪布尔函数的全局极小.从而。
-
关键词
神经网络
HOPFIELD网
平方伪布尔函数
逻辑电路
-
Keywords
neural network
Hopfield network
quadratic pseudo Boolean function
-
分类号
TN791
[电子电信—电路与系统]
-
-
题名工程数学
- 4
-
-
-
出处
《中国无线电电子学文摘》
1996年第5期3-4,共2页
-
-
关键词
工程数学
小波变换
平方布尔函数
计数算法
判定问题
N元函数
师范大学
应用科学
时间复杂度
许可条件
-
分类号
TN
[电子电信]
-