布尔表达式的化简与并行排序网络验证

摘要：

为设计出能够验证并行排序网络正确性的有效工具,根据[0,1]原理和布尔函数的特点和性质,提出一种布尔表达式的化简算法,并根据此算法设计出验证工具.对[0,1]原理和布尔函数的特点和性质进行了讨论,指出有利于化简操作的性质.设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证,工具的输出有利于对排序网络的分析,也可以用于辅助排序网络的设计和优化.实验结果表明了该工具的有效性.

关键词：比较器网络、[0、1]原理、布尔对称函数、并行排序、验证

所属期刊栏目：30

分类号：TP301(计算技术、计算机技术)

在线出版日期：2009-08-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3322-3325