[发明专利]一种基于多项式约化的初等数列问题自动求解技术在审
| 申请号： | 201710456248.2 | 申请日： | 2017-06-16 |
| 公开（公告）号： | CN107291665A | 公开（公告）日： | 2017-10-24 |
| 发明（设计）人： | 黄雷;李洪波;邵长鹏 | 申请（专利权）人： | 中国科学院数学与系统科学研究院 |
| 主分类号： | G06F17/16 | 分类号： | G06F17/16 |
| 代理公司： | 长沙星耀专利事务所(普通合伙)43205 | 代理人： | 许伯严 |
| 地址： | 100190 北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于多项式约化的初等数列问题自动求解技术。其包括以下步骤1、拿到高中数学大纲中规定的等差等比数列试题；2、把试题的内容直译为一阶谓词逻辑语句；3、按照MAPLE软件平台的输入规则，按照事先设定好的格式，将有关数列问题的一阶谓词逻辑语句转化为MAPLE标准输入格式；4、在MAPLE软件平台上导入编写的自动答题程序；5、在MAPLE软件平台上输入由步骤3中得到的高考数列问题的MAPLE标准输入格式，并调用自动答题程序进行求解过程。本发明不仅可以解答已经发布的各省历年相关题目，而且可以自动解答相似题型的未知试题。 | ||
| 搜索关键词： | 一种 基于 多项式 初等 数列 问题 自动 求解 技术 | ||
【主权项】：
一种基于多项式约化的初等数列问题自动求解技术，其特征在于，包括以下步骤：(1)、拿到高中数学大纲中规定的等差等比数列试题；(2)、把试题的内容直译为一阶谓词逻辑语句；(3)、按照MAPLE软件平台的输入规则，按照事先设定好的格式，将有关数列问题的一阶谓词逻辑语句转化为MAPLE标准输入格式；(4)、在MAPLE软件平台上导入编写的自动答题程序；(5)、在MAPLE软件平台上输入由步骤3中得到的高考数列问题的MAPLE标准输入格式，并调用自动答题程序进行求解过程；(6)、如果自动答题程序可以把问题求解出来，在MAPLE软件平台上显示所求问题的结果；(7)、如果自动答题程序没有能力求解出来，在MAPLE软件平台上显示不能求解的原因。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院数学与系统科学研究院，未经中国科学院数学与系统科学研究院许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710456248.2/，转载请声明来源钻瓜专利网。
- 上一篇：一种电表能耗动态评估系统及方法
- 下一篇：一种数据处理方法及处理装置
