An algorithm for identifying symmetric variables of Boolean function with don't-care-terms(含无关项布尔函数的对称变量检测算法)

An algorithm for identifying symmetric variables of Boolean function with don't-care-terms(含无关项布尔函数的对称变量检测算法)

为简化布尔函数中12类对称变量的检测过程，提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明，与现有方法相比，算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优....

Full description

Saved in:
Bibliographic Details
Published in:Zhejiang da xue xue bao. Journal of Zhejiang University. Sciences edition. Li xue ban Vol. 44; no. 2; pp. 186 - 190
Main Authors: ZHANGYongbo(张永波), LIXiaohua(厉晓华)
Format: Journal Article
Language:Chinese
Published: Zhejiang University Press 01-03-2017
Subjects:
任意项
对称变量
布尔函数
有序特征值矩阵
真值表
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:为简化布尔函数中12类对称变量的检测过程，提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明，与现有方法相比，算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.
ISSN:1008-9497
DOI:10.3785/j.issn.1008-9497.2017.02.011