论文部分内容阅读
该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统．该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的定理搜索．
基于数值计算的几何定理自动搜索方法
【摘 要】
：
该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统．该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的
【机 构】
：
曲阜师范大学计算机学院,宁波大学理学院
【出 处】
：
华东师范大学学报：自然科学版
【发表日期】
：
2006年1期
【基金项目】
：
国家自然科学基金（60273095）,浙江省新世纪151人才工程,宁波市科技发展规划项目
其他文献
运用文献资料、专家咨询、问卷调查、数理统计等研究方法，对网络环境下体育专业学生信息获取的渠道、障碍等进行分析，揭示高校体育专业学生信息获取决策过程规律。结果显示：认知
摘要：随着Android操作系统的不断进化发展，Android智能终端已经成为新型智能终端最为重要的操作系统之一。2016年第三季度，国内新型智能终端市场搭载Android操作系统的设备出货量占比已经达到88%。但是伴随着Android智能终端市场占有率的提高，Android智能终端受到恶意软件攻击、被“种植”木马的情况也越来越严重。该文提出一种以Android开源项目AOSP为基础，通过改造An
研究了海藻酸钙包埋法固定化技术在甾体化合物的生物转化中的应用．利用固定化Penicillium raistrickii细胞实现对左旋乙基甾烯双酮（13-ethyl-estr-4-ene-3，17-dione）的15α位羟基
摘要：算法与程序设计是高中信息课程的重要组成，但是由于其内容难度高出高中阶段学生的认知能力，在学习的时候容易使得学生产生学习的疲劳感进而丧失学习的兴趣。如何上好课，那么对教学内容的优化就很重要。如何优化是我们现阶段信息老师需要注意的。 关键词：算法与程序设计；教学内容；趣味性；完整性 中图分类号：G424 文献标识码：A 文章编号：1009-3044（2016）09-0158-02 高二算法
随着创新教育的逐步推进,尤其在李克强总理提出了"大众创业、全民创新"的号召以来,要求把学生推向前台,还主动权给学生,最大限度地激发学生的乐学情绪,培养学生创新精神,机器
采用主动脉大体染色、HE染色等实验方法，根据病理形态判断AS（动脉粥样硬化）模型的建立，根据资料和小鼠体重、饮食、运动状况等生长情况判断运动量，对这一双重模型的合理性进行判断
1．小康社会与和谐社会 全面建设小康社会和构建社会主义和谐社会统一于建设有中国特色社会主义伟大事业中。构建社会主义和谐社会是抓住用好重要战略机遇实现全面建设小康社会
摘要：句子匹配问题及其评价极具研究价值。本文针对存在天然空格分隔符的语言提出一种快速形式匹配算法，该算法将字符进行打包，充分利用单词中字符的内聚性，使源句子与目标句子在形式上进行快速匹配，有效提高匹配性能，缩短匹配时间。我们在双语句子数据集上进行了实验，并采用BLEU、ROUGE_L和ROUGE_S三种评价指标进行评价。实验结果表明快速形式匹配能够在缩短87.6%时间的前提下将传统Levensht
目的:构建乙肝病毒adr型基因疫苗pCMVS2-S,观察其免疫小鼠的特异性体液免疫应答.方法:将构建的乙肝病毒基因疫苗注射于C57BL/6小鼠胫骨前肌内,运用ELISA检测不同时间小鼠血清