【摘 要】
：
该论文具体包括以下内容:第一、第二章主要介绍论文的背景知识.第一章将介绍定理机器证明的历史、现状及核心的思想.另外本章还要介绍本论文涉及到的一些代数几何方面的基础
论文部分内容阅读
该论文具体包括以下内容:第一、第二章主要介绍论文的背景知识.第一章将介绍定理机器证明的历史、现状及核心的思想.另外本章还要介绍本论文涉及到的一些代数几何方面的基础知识:包括一元多项式根的分布的Sturm定理,平面代数曲线对平面的剖分,即将平面分成诸多互不连通的连通区域.在第二章介绍柱行代数剖分:CAD.包括CAD的主要思想及其算法.论文的三、四两章是作者的工作.第三章阐述连通移动算法.在介绍完算法的原理后,在第三章最后给出了算法的核心的函数,也就是算法的整体实现.第四章通过具体的实例来展示和验证作者的算法.每一个实例都给出原始的样本点集,规约后的代表点集,及图示.
其他文献
本文讨论了两类不确定系统在外界干扰存在下的离散自适应滑动模态控制。第一类针对状态空间模型的系统进行讨论；第二类是针对输入输出模型进行讨论。 在第二章中，讨论了对于
笔者在美术教学中发现,一个班级中往往只有少数几个学生思维比较活跃,能创作出一些新颖、独特的美术作品。而大多数学生创新能力较差,处于模仿阶段,他们的绘画功底大都比较扎
论文提出了一个全关系空间数据的存储模型,模型重点探讨了空间数据的各种空间关系表达算法,空间数据和属性数据在数据库中的组织方式和存储结构,如何在空间数据库中实现"时态
中国政府网刊发《国务院关于印发生物产业发展规划的通知》。规划提出,到2015年,生物农业年工业产值达到3000亿元,推广一批新技术与重大新产品,培育一批年产值超百亿元的生物
该文的研究分两部分:圈量子引力,体积算符.在第一部分中,系统地介绍了圈量子引力的基本理论框架,如态空间,自旋结网圈、圈变量与量子算符等.在第二部分中,先简要地介绍了体积
《制作基本动画》是苏教版信息技术七年级下册第七章中的第三节,由于学生的信息技术水平不一,学生个体之间对计算机的认识也存在差异,本节的知识对于学生来说有一定的难度,制
该文分三章,第一章是在熵损失下限制参数空间θ∈[α,β]讨论两点先验下参数的Bayes估计以及所得Bayes估计的重要性质.第二章限制参数空间为θ∈[0,β] ,在同样的损失同样的
该文概括总结了地下水流数学模型及有效的数值方法,即有限元法,结合鞍山市西郊区地下水具体情况,首次建立了鞍山市西郊区混合型水位预测模型及数值模型.该文应用小参数扰动法
非布司他作为一种新型的治疗痛风的药物在临床上具有显著的疗效。为了更好的了解非布司他在人体中的代谢过程，各国学者进行了非布司他的药代动力学研究。我们通过分析研究数据
现阶段,随着我国社会经济的发展,医疗康复事业的发展水平也逐渐提高.相对而言,我国的康复医学起步较晚,康复医学教育水平较低,关于康复医学人才培养模式的研究,逐渐成为康复