【摘 要】
：
可持续发展的几何自动推理平台（sustainable geometry automated reasoning platform,SGARP）支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发
【机 构】
：
广州大学计算机科学与教育软件学院,电子科技大学计算机科学与工程学院,贵州省教育科学院
论文部分内容阅读
可持续发展的几何自动推理平台（sustainable geometry automated reasoning platform,SGARP）支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Theb
其他文献
人力资本管理是上世纪80年代以来随着社会经济因素的变化而发展起来的。随着社会主义市场经济、知识经济、信息经济的快速发展,人力资本的管理的作用越来越大。
智慧旅游是基于新一代信息技术，为满足旅游者个性化需求，提供高品质、高满意度服务，而实现旅游资源及社会资源的共享与有效利用的系统化、集约化的管理变革。本文介绍了智慧旅游
文章通过对《冯谖客孟尝君》中言谈与场面、人物言行与别人印象、怪异行为与常人思维反差、人物与人物及人物自身言行的对照艺术的简要分析,阐述了对照手法在文学作品中突出
以双螺杆挤出机制备出的短碳纤维为增韧材料,以聚乳酸为基体,制备出一种新型的聚乳酸/碳纤维复合材料。通过扫描电子显微镜（SEM）、红外光谱、力学性能测试等手段,考察碳纤维含
针对1种六自由度四旋翼模型,设计滑模控制器来提高控制系统的鲁棒性。首先将四旋翼模型划分为全驱动和欠驱动2部分,全驱动子系统由高度和偏航角2个独立回路组成,而欠驱动子系
为了缩小贫富差距,实现我国政府在经济发展与社会进步当中的引导作用,金融扶贫工作在各地开展了起来,为人们的生活带来了保障。这其中小额信贷为地方人民脱贫致富带来了帮助
目的探讨增强梯度同波T2＊加权血管成像序列（EnhancedgradientechoT2。weightedangiography，ESWAN）对兔急性期脑梗死后出血（Hemorrhagic transformation，HT）的预测价值。方法对48只兔
于2008、2009年连续两年采用模拟田间自然扩散法,系统地研究了棉花型棉蚜和甜瓜型棉蚜有翅蚜对11种夏寄主的选择性。结果表明,棉花型棉蚜对杂交葫芦、小西葫芦表现出强选择性
体医结合是贯彻落实健康中国战略的有效路径,文章基于此,首先分析介绍体医结合的内涵及其时代价值,然后就如何从体医结合的角度出发,促进高校教职工的健康提出了对策,包括提
中医药治疗慢性阻塞性肺疾病（COPD）的具体方法有单纯中药治疗、中西药结合治疗、综合疗法治疗等,能有效改善气道、促进排痰,提高临床疗效,并在一定程度上减少西药使用的毒副作