| 基于布尔代数的功能树简化研究 |
| |
| 引用本文： | 路强,刘晓平.基于布尔代数的功能树简化研究[J].合肥工业大学学报(自然科学版),2009,32(7). |
| |
| 作者姓名： | 路强 刘晓平 |
| |
| 作者单位： | 合肥工业大学,计算机与信息学院,安徽,合肥,230009 |
| |
| 基金项目： | 国家自然科学基金，国家自然科学基金国际(地区)合作交流项目 |
| |
| 摘 要： | 当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.
|
| 关 键 词： | 概念设计 布尔代数 功能树 创新推理 |
Research on simplifying the function tree based on Boolean algebra |
| |
| LU Qiang,LIU Xiao-ping.Research on simplifying the function tree based on Boolean algebra[J].Journal of Hefei University of Technology(Natural Science),2009,32(7). |
| |
| Authors: | LU Qiang LIU Xiao-ping |
| |
| Abstract: | Aiming at huge solving space and difficult conflict-orientation for a large-scale function tree, a method for simplifying the and/or function tree based on Boolean algebra is proposed. The theorems of simplifying by means of contracting, deleting or distilling are put forward,and a simplifying algorithm based on Boolean algebra is given. An instance is presented, and it is proved that the new method can effectively reduce complexity while logic equivalence is held,so that the designers' work efficiency in conceptual design is enhanced. |
| |
| Keywords: | conceptual design Boolean algebra function tree innovative reasoning |
| 本文献已被 万方数据 等数据库收录！ |
|
