论文部分内容阅读
在离散数学这本书中求主合取范式有两种方法。本文对这两种方法进一步推广。共给出四种方法。即,真值表法,推演法以及用真值表法求7G的主合取范式,用推演法求7G的主析取范式等四种方法。
离散数学中的主合取范式
【摘 要】
：
在离散数学这本书中求主合取范式有两种方法。本文对这两种方法进一步推广。共给出四种方法。即,真值表法,推演法以及用真值表法求7G的主合取范式,用推演法求7G的主析取范式
【机 构】
：
呼伦贝尔学院数学系
【出 处】
：
呼伦贝尔学院学报
【发表日期】
：
2006年06期
其他文献
A new method of extraction of blend surface feature is presented. It contains two steps: segmentation and recovery of parametric representation of the blend. Th
人脑MR图像中的海马结构存在低对比度、边界模糊等缺点,给海马的轮廓分割带来较大干扰。为解决水平集分割海马时边界容易停留在非目标区域梯度极值处的问题,提出一种改进的水平集方法。从图像全局出发考虑方差信息,在水平集函数的外部能量泛函中增加波动能量项,驱动零水平集曲线向灰度波动较小的区域运动。实验结果表明,该方法可提取出MR图像中的海马轮廓,分割效果较好,演化速度有所提高。
<正>本文通过介绍早期台湾地区的语言接触、日据时期的语言接触与翻译管窥、战后五十年台湾重要的翻译出版机构简述,以及《笔汇》与《现代文学》等内容,指出台湾是一个多元民
期刊
针对大规模救援物资调运的多目标中转运输网点定位问题,考虑运输费用、中转网点的作业变动费用和运输时间,建立一个救援物资中转运输网点的非线性多目标混合整数规划模型。为
高职院校毕业环节考核模式的合理与否及存废与否的问题,早就是一个业界争论不休的热点,高职商务英语专业的跨学科性更是为这一问题增加了难度。笔者最近在全国范围内对53所高
针对统计与规则这2种方法的优缺点,提出一种基于转换的错误驱动学习与知网相结合的中文人名自动识别方法。利用标注语料库,根据在人名识别中的作用对人名上下文环境进行角色
针对学生的发现问题能力薄弱现象,本文借鉴认知心理学有关"创造过程"研究成果,提出了一个以问题为线索的"五步"教学模式。五步是:立足现实、启动思考,审视感知、引入主题,明
针对当前湖库水质监测及水华预测预警信息化发展相对落后的现状,开发一套集水质监测、水华预测预警功能于一体的智能化信息系统。采用Visual Studio 2010中的C++语言进行系统平台搭建,将网络通信、地理信息系统、SQL2005数据库等技术相结合,对湖库水质信息进行实时监测,并通过灰色-BP神经网络模型实现对湖库藻类水华较高精度的中长期预测预警的功能,为环保部门进行湖库水华防治提供有效的信息化
企业文化素养是指学生了解、认同、适应并参与企业文化建设的一种职业素养。培养中职生的企业文化素养,是整体构建学生职业素养的需要,也是培养就业创业能力的需要。职业学校