论文部分内容阅读
如何利用计算机进行几何定理的自动证明，是学术界长期研究的课题。本文从直接启动自动推理、增加条件或结论的推理以及设置推理规则的推理三个方面对张景中院士领衔开发的Z＋Z智能教育平台——超级画板软件的功能展开论述，并举例介绍三种方法的操作过程。
基于超级画板的平面几何自动推理
【摘 要】
：
如何利用计算机进行几何定理的自动证明，是学术界长期研究的课题。本文从直接启动自动推理、增加条件或结论的推理以及设置推理规则的推理三个方面对张景中院士领衔开发的Z＋Z智
【机 构】
：
南阳师范学院数学与统计学院,江西省赣县中学
【出 处】
：
教育教学论坛
【发表日期】
：
2012年20期
其他文献
目的考察二羟丙茶碱注射液与盐酸莫西沙星氯化钠注射液配伍的稳定性。方法分别观察及测定二羟丙茶碱注射液与盐酸莫西沙星氯化钠注射液配伍液在室温[（22±1）℃]下放置8 h内
目的:评定蒙药额尔敦-乌日勒治疗脑梗死的临床疗效和对NIHSS评分指标的改善效果。方法:选择2017年2月~2019年4月河南省漯河市第二人民医院神经内科收入的62例脑梗死患者进行
介绍了绿色混凝土生态防护技术的原理、工艺和养护管理,并与传统的边坡防护比较,表明其技术具有稳定边坡、美化环境及降低成本等优点。
目的:观察电针联合吞咽障碍治疗仪治疗脑梗死后吞咽障碍的临床效果。方法:选取90例脑梗死后吞咽障碍患者作为研究对象,依据随机数字表法将其分为对照组和研究组,每组45例。对
前处理不良、有金属杂质、硼酸含量太少、镀液温度太低都会导致电镀镍层出现针孔，镀液维护及严格控制流程是关键所在。（1）麻坑（针孔）麻坑是有机物污染的结果。大的麻坑通常说明有
<正>本刊讯(梁丽莎,特约通讯员钱开胜)11月4日,由广西桂林市水果办举办的猕猴桃生产现场观摩及技术培训会在资源县召开。会议邀请了桂林市农业局总农艺师何祖任及香港日昇有
在“五四”话剧创作中,以西方近现代戏剧文学为文本参照的模式剧与译编剧是重要组成部分。从时代与现实背景上看,这是中国戏剧现代化转型过程中的必然产物,也是当时“五四”
保护环境、节约资源是构建可持续发展社会的必要条件,因此工业对低密度、高强度、高导电金属材料的需求与日俱增。其中铝合金本身密度低、导电率相对较高,所以铝合金成为工业产品的首选材料。6201铝合金主要合金元素是镁和硅,强化相为Mg2Si,属于可热处理强化铝合金,其强度中等,具有工艺性和耐蚀性良好,无应力腐蚀破裂倾向,焊接性能良好,挤压性能良好等优点。本文通过研究6201铝合金在不同温度轧制+不同时效制
服装动画作为计算机动画技术的分支之一,涉及计算机图形学、机器视觉与虚拟现实等多学科交叉,已经被广泛应用于影视动画、游戏娱乐以及服装工业等多个应用领域中。然而,要想
眼下，丹东欣泰电气股份有限公司（下称“欣泰电气”）二度冲击IPO并已过会，然而闯关之路并不平坦。$$ 欣泰电气在此前一年的首发申请便以半途夭折告终，记者在证监会网站了解到，创
报纸