【摘 要】
:
几何定理的机器证明是自动推理和符号计算领域最为活跃的分支之一。在几何定理机器证明方法中,常用的有几何代数方法、演绎数据库方法和例证法等方法。其中,数学机械化思想的
论文部分内容阅读
几何定理的机器证明是自动推理和符号计算领域最为活跃的分支之一。在几何定理机器证明方法中,常用的有几何代数方法、演绎数据库方法和例证法等方法。其中,数学机械化思想的倡导者吴文俊院士提出的几何定理的代数证明方法,被认为是具有开创性意义的方法,带来了几何定理机器证明的新发展。近年来,随着计算机容量的扩大和计算速度的不断更新,计算机在数学领域的应用也不断深入,另一种几何定理机器证明方法—定理机器证明的数值方法,也得到了蓬勃发展。在该领域,先后出现了数值并行法、例证法、单例试验法等多种用数值方法对几何定理进行机器证明的方法,使得定理机器证明领域更得到了广阔的发展。然而,上述几何定理机器证明方法主要针对等式型定理的证明,不等式型定理的机器证明则一直是自动推理领域中的一个难题。 上世纪50年代初,Tarski发表了著名的《初等代数与初等几何的判定问题》,宣称在理论上可以解决实几何问题,但由于其方法复杂度太高效率太低不能实现。随后,Collins提出了柱面代数分析方法(CAD),效率得到了提高,能证明一些稍难的几何不等式;吴方法出现后,有人将吴方法与Lagrange乘子法结合,用求极值的方法处理一些有关不等式的几何问题,但这些方法通用性和效率不理想。1998年,杨路提出了基于胞腔分解的降维算法,这一算法能有效处理含参根式,并最大限度地缩减维数,使不等式证明能达到较高的效率。但是,这种降维方法较多地利用了实代数系统方法,因而在实现时对符号计算软件有很大的依赖性,也比较复杂。 在已有定理机器证明数值方法的启发下,侯晓荣提出了一种新的几何不等式自动生成和证明的方法,本文对该方法予以了具体的实现和测试,在该领域做了一次有意义的尝试。我们首先采用数值计算在例证法的基础上根据用户需求,猜测生成一些符合条件的几何不等式;然后引入区间计算这一数值计算方法,以此作为计算工具,用作图的方法完成对指定不等式的证明.由于采用了数值计算,使得系统效率有很大的提高,同时用区间计算的方法,也避免了计算机进行单纯数值计算时丢失数值信息的弊端;而后用作图的方法,能够使证明过程脱离符号计算软件和代数系统的束缚,达到简单明了的效果。我们在Windows平台上用Visual C++编程实现了该算法,达到了对方法有效性检验的目的,程序执行速度也表明其系统效率也是令人满意的。
其他文献
【摘要】人本理念,也被成为人性化管理,是一种针对人自身的自由发展的管理模式,在幼儿园管理中运用人本理念,就可以将个人生活以及工作习惯作为开展幼儿园管理工作的突破口,进而充分的提升教师的教学热情,为幼儿提供良好的学习环境,促进我国幼儿教育的长足发展。本文旨在研究人本理念在幼儿园管理中的运用。 【关键词】人本理念 幼儿园管理 运用 【中图分类号】G617 【文献标识码】A 【文章编号】2095-3
【摘 要】为满足素质教育理念和基础教育改革的标准,小学数学教学必须做到与时俱进,培养学生的独立思考能力。分析了目前小学数学课堂学生缺乏独立思考能力的原因,并借此提出相关的教学策略。 【关键词】小学数学 ;独立思考能力;策略 【中图分类号】G632 【文献标识码】A 【文章编号】2095-3089(2018)22-0297-02 数学学科的实际意义,就在于它能够提升学生的逻辑思维水平,从而培
【摘要】培养学生历史“家国情怀”,是学生学习历史和认识历史在思想、观念、情感、态度等方面的重要体现,是实现历史教育育人功能的重要标志。历史“家国情怀”素养的培养必须与具体知识的传授,具体能力和特定的思维方法的培养相结合,在历史教育教学实践中,不断探索出培养与发展学生“家国情怀”素养的有效途徑。 【关键词】历史教学 家国情怀 培养途径 【中图分类号】G633.51 【文献标识码】A 【文章编号】
粉末冶金技术具有能耗低、原料利用率高及近净成形的优势,能够克服传统熔铸钛合金及钛基复合材料加工成本高、复杂结构难制备等问题,因此在钛合金及钛基复合材料的制备方面得到了广泛应用。然而,由于粉末原料存在合金化元素或增强相与钛粉混合不均匀以及杂质污染等问题,这不但损害了材料的组织均匀性和力学性能,而且导致成形后零部件的形状与精度难以控制,严重制约了其工程应用。本论文提出通过制备包覆型钛粉,解决粉体原料中
背景和目的低氧(Hypoxia)是生物体在自然活动中可能受到的主要应激之一,它对包括人类在内的生物的发育、行为和健康状况等有着重要影响。它是一种非特异性应激原,它可诱导机
变点问题在统计学领域一直是国内外学者的研究热点问题之一。随着经济迅速发展以及不断的多样化,在金融时间序列中存在结构变点愈加频繁;与此同时,越来越多的金融数据会呈现
针对教育部制定2017年修订版普通高中《物理课程标准》。笔者以“楞次定律”教学为例,在分析课标要求,学生难以逾越的几个障碍基础上,着重寻求如何基于核心素养导向构建课堂
2012年11月27日下午,中国工程院刘昌孝院士应石京山校长邀请来我校讲学。学术讲座在图书馆二楼多功能厅举行,由石京山校长主持。刘昌孝教授于2003年当选中国工程院院士,是天津中
目的了解农村60岁以上的老年人高血压患病情况及生活方式对高血压的影响。方法2008年9月对江苏泗洪县农村60岁以上570位老年人进行高血压病患病情况进行调查分析。结果调查57
【摘要】在幼儿园美术教育中,色彩是美术课程的核心,它可以提高幼儿对审美的认知以及色彩的感知。本文将具体分析色彩审美如何運用到幼儿美术教育中,旨在提高幼儿各项能力。 【关键词】美术 幼儿 色彩 审美 【中图分类号】G613.6 【文献标识码】A 【文章编号】2095-3089(2018)26-0254-02 教师在进行美术教育时,应注意采取多样化的教学手段,使幼儿从关注简单的色彩线条转移到对自