期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
含无关项布尔函数的对称变量检测算法
被引量：
1
1
作者
张永波
厉晓华
《浙江大学学报（理学版）》
CAS
CSCD
北大核心
2017年第2期186-190,共5页
为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函...
为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.
展开更多
关键词
对称变量
有序特征值矩阵
布尔函数
真值表
任意项
在线阅读
下载PDF
职称材料
题名
含无关项布尔函数的对称变量检测算法
被引量：
1
1
作者
张永波
厉晓华
机构
浙江旅游职业学院信息中心
浙江大学信息中心
出处
《浙江大学学报（理学版）》
CAS
CSCD
北大核心
2017年第2期186-190,共5页
基金
国家自然科学基金资助项目(61471314)
浙江省公益技术研究社会发展项目(2014C33042)
文摘
为简化布尔函数中12类对称变量的检测过程,提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明,与现有方法相比,算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.
关键词
对称变量
有序特征值矩阵
布尔函数
真值表
任意项
Keywords
symmetric variable
the order eigenvalues matrix
Boolean function
truth table
don’t-care-terms
分类号
TN431 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
含无关项布尔函数的对称变量检测算法
张永波
厉晓华
《浙江大学学报（理学版）》
CAS
CSCD
北大核心
2017
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
