布尔表达式的化简与并行排序网络验证
作者：王德才 徐建国 吴哲辉 罗永亮 王传民
摘要：为设计出能够验证并行排序网络正确性的有效工具，根据[0，1]原理和布尔函数的特点和性质，提出一种布尔表达式的化简算法，并根据此算法设计出验证工具。对[0，1]原理和布尔函数的特点和性质进行了讨论，指出有利于化简操作的性质。设计出的工具能够根据并行排序网络的参数显示网络图形、自动生成布尔表达式并实现化简验证，工具的输出有利于对排序网络的分析，也可以用于辅助排序网络的设计和优化。实验结果表明了该工具的有效性。
分类：
- 期刊
- >
- 自然科学与工程技术
- >
- 信息科技
- >
- 电子信息科学综合
收录：
- 北大期刊(中国人文社会科学期刊)
- 统计源期刊(中国科技论文优秀期刊)
- 知网收录(中)
- 维普收录(中)
- 万方收录(中)
- SA 科学文摘(英)
- JST 日本科学技术振兴机构数据库(日)
- Pж(AJ) 文摘杂志(俄)
- 哥白尼索引(波兰)
- 国家图书馆馆藏
- 上海图书馆馆藏
关键词：
- 比较器网络
- 原理
- 布尔对称函数
- 并行排序
- 验证
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
