基于数值计算的布尔表达式约简工具

• 作者: 刘光远 苑森淼 董立岩
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 布尔表达式 约简 素数 数偶
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 学术探讨
• 页码范围: 83-85,103
• 页数: 4页
• 分类号: TP18
• 字数: 4880字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.12.028

摘要

运用数论理论中素数的性质和特点,将符号计算问题转化为数值计算问题,设计了一个布尔表达式化简工具.在理论上根据素数的性质重新定义了布尔函数的合取、析取以及非运算,并提供了相应的推理规则;提出基于素数性质的布尔函数约简算法.用VC++实现了布尔表达式约简工具,并为该工具在底层构建了大数据计算模块,以确保对变量个数没有局限性.该工具既可独立使用,也可以提供DLL作为其它软件、工具、算法的一部分.在移动通信用户流失分析中应用了该工具,取得较好的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苑森淼	吉林大学计算机科学与技术学院	69	850	15.0	26.0
2	刘光远	吉林大学通信工程学院	16	215	8.0	14.0
3	董立岩	吉林大学计算机科学与技术学院	55	566	12.0	22.0