【摘 要】
：
运用数论理论中素数的性质和特点，将符号计算问题转化为数值计算问题，设计了一个布尔表达式化简工具。在理论上根据素数的性质重新定义了布尔函数的合取、析取以及非运算，并提供
【机 构】
：
吉林大学通信工程学院,吉林大学计算机科学与技术学院
论文部分内容阅读
运用数论理论中素数的性质和特点，将符号计算问题转化为数值计算问题，设计了一个布尔表达式化简工具。在理论上根据素数的性质重新定义了布尔函数的合取、析取以及非运算，并提供了相应的推理规则；提出基于素数性质的布尔函数约简算法。用VC＋＋实现了布尔表达式约简工具，并为该工具在底层构建了大数据计算模块，以确保对变量个数没有局限性。该工具既可独立使用，也可以提供DLL作为其它软件、工具、算法的一部分。在移动通信用户流失分析中应用了该工具，取得较好的效果。
其他文献
目的：观察斜角肌切断术治疗前斜角肌综合征的疗效。方法：对16例16侧诊断明确,保守治疗疗效不佳的前斜角肌综合征患者行斜角肌切断术治疗,并随访6月至4年。结果：13例患者3月内症
文章主题阐述了中学古筝教学技艺结合的重要性,并结合工作经验提出有助于提升中学学生古筝技艺能力的教学方法,以供业内人士交流探讨之用。
“怒发冲冠”是人们熟悉并常用的一个成语，出自《史记·廉颇蔺相如列传》，含义表示“非常愤怒”。由于这个成语整体上的意思较为浅显易懂，甚至可以“望文生义”，于是很多人想
三角形全等是初中数学教学的核心知识点,也是高频考点.通过研读一些中考或模拟试题,发现构造三角形全等的试题在坐标系下的动态型压轴题中出现较频,导致因动点而产生的三角形
"异化"是西方后现代主义文学作品的基本主题之一。后现代主义作家认为,使人异化的除了金钱,还有物质世界。它在思想内容上呈现出悲观主义、虚无哲学,在艺术形式上往往打破常
●我们从中医药科学中挖掘新的生物医学问题,从中医药技术中设计新的疾病防治方法,而从中医药文化中寻找什么?也许只有当你发现中医药学是如何极其巧妙地将感性与理性以及科
针对唐宋时期岭南野象分布变迁的区域特点,本文以河流流域为基础进行分区论述,以期细化该时期岭南各区域内野象分布的研究,并有助于探析野象在岭南不同流域渐次灭绝的历史过
《义务教育数学课程标准(2011年版)》中明确指出:数学在应用方面需要大力加强,鼓励学生发现数学的规律和问题解决的途径,使他们经历知识的形成过程.“新定义型”试题是考查学
几何是研究图形之间的关系,当题目的条件相对较分散时,可考虑图形变换,如平移、旋转、翻折等方法变换图形的位置,使题目条件在新的情境中发生联系.现以一道中考试题为例,着重