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

• 作者: 吴哲辉 徐建国 王传民 王德才 罗永亮
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 比较器网络 [0 1]原理 布尔对称函数 并行排序 验证
• 年，卷（期）: 2009,（14）
• 所属期刊栏目: 软件与算法
• 页码范围: 3322-3325
• 页数: 4页
• 分类号: TP301
• 字数: 2672字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴哲辉	山东科技大学信息与工程学院	88	638	14.0	19.0
2	徐建国	山东科技大学信息与工程学院	26	125	6.0	10.0
3	王传民	山东科技大学信息与工程学院	3	5	2.0	2.0
4	王德才	山东科技大学信息与工程学院	2	16	2.0	2.0
8	罗永亮	山东科技大学信息与工程学院	2	16	2.0	2.0