买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
申请/专利权人:华中师范大学;西北师范大学
摘要:本发明提供一种基于已有习题自动合成新的几何证明题的方法及系统,该方法包括:分别获取多道已有几何证明题中每道几何证明题的原始几何关系,得到二元组集合;每个二元组包括一组几何关系和一个向量方程,所述向量方程由所述几何关系转换得到;基于所述二元组集合,筛选出可以重组的几何关系,以生成多道新的几何证明题;其中,所述可以重组的几何关系来自多道不同的已有几何证明题。本发明能够生成一些现有同类方法所无法生成的更具新颖性的习题,为通用新习题生成技术的研究提供了一些新的思路。
主权项:1.一种基于已有习题自动合成新的几何证明题的方法,其特征在于,该方法包括:分别获取多道已有几何证明题中每道几何证明题的原始几何关系,得到二元组集合;每个二元组包括几何关系和向量方程,所述向量方程由所述几何关系转换得到;基于所述二元组集合,筛选出可以重组的几何关系,以生成多道新的几何证明题;其中,所述可以重组的几何关系来自两道不同的已有几何证明题;可以重组的几何关系的筛选方式包括:满足和同构,即存在一一映射,使得将中的所有变量按照替换后得到的结果,其中;满足和相容,即和所包含的所有几何关系可以同时成立;满足使;或使;其中,和分别表示源自不同已有几何证明题的两组几何关系;和分别表示和所对应的向量方程;、分别表示方程、所包含的变量的集合;为中点的名称按照替换后的结果,或表示新的几何证明题的已知条件,表示新的几何证明题的待求结论。
全文数据:
权利要求:
百度查询: 华中师范大学 西北师范大学 一种基于已有习题自动合成新的几何证明题的方法及系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。