HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

基于有序特征值矩阵的对称变量检测算法

作者:邵梁; 厉晓华对称变量有序特征值矩阵布尔函数真值表

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

科技通报

《科技通报》(CN:33-1079/N)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《科技通报》多次评为“浙江省优秀期刊”、“华东地区优秀期刊”,是《中国科技论文统计源期刊》、《中国科学引文数据库来源期刊》,中国科技优秀期刊。2000年后先后被《中文优秀期刊要目总览》、《中国优秀期刊(遴选)数据库》、《中国学术期刊文摘》、《中国生物学文摘》、《中国生学文献数据库》等收录。获奖情况:浙江省优秀科技期刊一等奖。

杂志详情