论文部分内容阅读
探讨了在初等平面几何范围内定理机器证明切实可行的2种方法：Grobner基方法与吴方法，介绍了它们相应的算法原理和实现方法，并进行了实践与比较．
Grobner基方法与吴方法在平面几何定理机器证明中的应用与比较
【摘 要】
：
探讨了在初等平面几何范围内定理机器证明切实可行的2种方法：Grobner基方法与吴方法，介绍了它们相应的算法原理和实现方法，并进行了实践与比较．
【机 构】
：
广州市荔湾电视大学计算机系,广州大学软件所
【出 处】
：
海南大学学报：自然科学版
【发表日期】
：
2004年2期
其他文献
对海南省3～6岁幼儿的身高、体重和克托莱指数与全闰平均水平进行了比较分析，结果表明：不同年龄、性别、地区的个体或群体之间存在体格特征方面的差异．这可能与我省地处热带、亚热
写是英语基本技能之一。是学生进行交际的重要形式。所谓写就是运用书面语表达思想。输出信息的能力。英语写作是一门综合性很强的实践课，通过对学生英语写作的训练可以丰富学生的想象力，提高学生的思维能力，促进语言的表达和创新能力。写作是初中英语教学中不可或缺的重要环节。在教学中，不少教师只是布置写作题目，讲解写作要求。读范文，然后学生开始自己的孤独的写作之旅，独自承受写作中的困惑、痛苦和煎熬。难怪有人把这种
体育与健康课程改革突出了健康第一的指导思想，强调了目标引领教学内容，教学手段，教学语言和教学方法的全新理念。所以教学目标的选择和确定是上好一节课的前提和基础。而在五个目标领域，运动技能目标又是重中之重，运动技能学习领域体现了体育与健康课程以身体练习为主的基本特征，是重点突出体育课程性质的，也是其他领域目标实现的载体。所以说运动技能目标的达成是体育课教学所具有的特色，也是区别于其他课程的最大特点之一
采用不同打顶高度、整枝对“湘扁豆3号”的植株性状与早期产量形成影响进行了研究，结果表明：125cm的打顶高度最有利于植株形成子蔓和花序，且鲜荚商品性好，其产量也显著高于75cm打
摘要：在初中语文教学中，许多教师还是固守老一套教学手段，一本教材一支粉笔走上讲台，即使用到教学设备也非常简单，难以有效激发学生的学习兴趣，导致语文教学成效难以实现有效提升。在新课程改革不断深入的背景下，初中语文教学手段的改进与变革势在必行，以多媒体为主要代表的信息化教学手段已经逐步走进了语文教学课堂，其形象化的演示手法、丰富的教学信息容量，都是一般教学手段所无法相比的，因此，广大初中语文教师应当在
所谓有效教学：就是在符合时代和个体积极价值建构的前提下其效率在一定时空内不低于平均水准的教学。主要是指通过教师在一段时间的教学后，学生所获得的具体进步或发展。教学有没有效益，并不是指教师有没有教完内容或教得认不认真，而是指学生有没有学到什么或学生学得好不好。如果学生不想学或者学了没有收获，即使教师教得再辛苦也是无效教学。同样如果学生学得很辛苦，但没有得到应有的发展，也是无效或低效教学。因此，学生有
情境教学是在建构主义教学观的理论背景下产生的教学模式之一，目前，对情境教学研究越来越多，创设情境的方式也多种多样。通过查阅文献及教学实践，本人认为以下几种方式的情境创设比较适合初中思想品德教学。 一、再现生活，创设情境 生活世界是每个人相互交往的土壤，人和生活的关系好比是鱼与水的关系。生活是与每个人的生存息息相关的领域，而且初中学生认识事物仍以具体形象思维为主。因此，教学过程中应遵循他
介绍了有机畜牧业的起源、发展现状和有机畜产品的国际市场需求现状，论述了发展有机畜牧业的重要性．结合海南省的资源环境和市场优势，提出了海南省发展有机畜牧业的对策。
玻璃纤维片材在我国产量大，价格便宜，但受到应用研究的限制，在结构的加固改造行业中应用较少。介绍了14根钢筋混凝土梁的试验研究情况，其中10根试验梁为抗弯加固，其余为抗剪加固。
随着网络时代的到来,网络语言作为一种新兴的语言现象,也在飞速的发展与兴起。然而,网络语言是一柄美丽与邪恶共存的双刃剑,作为语文老师要运用智慧,让网络语言焕发出生命和
期刊