论文部分内容阅读
基于数据挖掘中的聚类分析思想提出一种借助数值测试判断几何图形之间关系 ,以简化定理自动证明中搜索过程的新方法 ,该方法已成功地应用于作者参与开发的平面几何教育软件中 ,达到了加速推理引擎的目的。
几何定理自动证明的一种数值测试辅助算法
【摘 要】
：
基于数据挖掘中的聚类分析思想提出一种借助数值测试判断几何图形之间关系 ,以简化定理自动证明中搜索过程的新方法 ,该方法已成功地应用于作者参与开发的平面几何教育软件中 ,达到了加速推理引擎的目的。
【机 构】
：
中国科学院成都计算机应用研究所
【出 处】
：
计算机应用
【发表日期】
：
2002年10期
其他文献
高中班主任是接触学生最多的老师,是把学校与学生连接起来的中间力量。班主任所具有的科学的、恰当的班级管理方法,能够促进高中生和谐、前面的发展,也会成为建立规范的班级
文章结合某核电站1,2号两台机组采用的KIT工业过程数据采集系统,对该系统的功能和应用程序接口软件的使用进行了分析和研究,介绍了该系统软件部分采用的基于DCE(DistributedComputingEnvironment)的分布式计算技术。实践证明采用DCERPC远程过程调用的编程技术与基于Web的数据发布技术的结合,可用来有效地创建一个实时工业数据采集与远程发布系统。
目的 报告1例颅骨缺损修补术后颅骨钛网下新骨形成的患者，并复习相关文献方法女性患者，因脑外伤颅骨缺损修补术后4年，头皮破溃感染1月人院。头皮出现破溃，予以换药等处理历未愈合
目的分析痔上黏膜环切钉合术患者接受局部麻醉与硬膜外麻醉的麻醉效果及手术术后镇痛效果。方法将480例PPH患者随机分为两组,每组患者240例,分别术中给予局部麻醉（局麻组）及硬
目的：探讨低年资护士的培训模式和方法，努力为低年资护士提供科学化、规范化的培训。方法根据护理部、科室二级培训，采取多种形式的教学方法进行培训。结果通过多元化的教学，低年
本文选用长春台1957年至1978年观测的短周期地磁变化资料,研究短周期地磁变化参量△Z/△H、转换函数A及威斯(H. wiese)矢量?随时间变化特征.指出:榆树地震(Ms=5.8)、范家屯地震(Ms=5.2)之前有△Z/△H及A值明显的下降异常.wiese矢量的方位角逐年由北东东(NEE)向北北东(NNE)演变,其中矢量指向1962-1967年背向范家屯地震震中区;海城唐山震后日趋垂直并背向伊
介绍了一种新型的、基于IEEE 1394串行总线的通用数据采集系统的实现方法。借助于IEEE 1394的优点 ,通过此系统高速地传输数字信息 ,使设备通过简单的互联进行高速通信成为可能
给出了数据挖掘工具评价的主要指标 ,结合指标对PolyAnalyst的功能和特点进行了较为详尽的介绍 ,并对PolyAnalyst的关键算法进行了分析。对从事数据挖掘软件系统开发和数据挖掘算法研究的人员有所借鉴。
<正>5月10日,中共中央政治局常委、国务院总理李克强主持召开专题座谈会,就减税降费政策实施情况听取企业负责人意见建议。李克强指出,更大规模减税降费是优化营商环境、激发
中学历史的学科特点决定了它拥有丰富的美学资源．因此在历史的教学过程中教师应充分发挥出其美育功能。历史教学中的美可以分为自然美、社会美、艺术美等。在新课程改革的今天