【摘 要】
：
提出并实现了可由用户持续发展的几何自动推理平台(SGARP).它由知识库、知识编辑器、信息库、推理引擎、信息查询窗口和动态几何作图系统等六部分组成.在这个平台上,用户可以
【机 构】
：
广州大学计算机科学与教育软件学院,
论文部分内容阅读
提出并实现了可由用户持续发展的几何自动推理平台(SGARP).它由知识库、知识编辑器、信息库、推理引擎、信息查询窗口和动态几何作图系统等六部分组成.在这个平台上,用户可以添加几何对象、谓词和规则,也可以综合使用多种推理方法进行推理.
A new geometric auto-reasoning platform (SGARP) that can be developed by users is proposed and implemented.It consists of six parts: Knowledge Base, Knowledge Editor, Information Base, Reasoning Engine, Information Query Window and Dynamic Geometric Mapping System. , Users can add geometric objects, predicates and rules, but also can use a variety of reasoning methods combined reasoning.
其他文献
深水中环境复杂多变且有很强的不可预知性，因此水下试验平台在深水工作时面临着各式各样的故障和危险。研究建造水下试验平台需要大量的人力物力资源，且水下试验平台每次在水下
本文对圆柱壳以及非圆截面柱壳的国内外研究状况进行了概述，首先综述了真空中、流场中圆柱壳的声振特性及稳定性，接着详细概述了截止到目前真空中、流场中非圆截面柱壳的声振特
目前,舰船的振动噪声性能正得到越来越多的重视。长时间的振动,尤其是共振,很容易导致舰船结构和设备的破坏。同时,舱室和工作区域的振动与噪声会使人感到疲倦和烦躁,甚至对
准确的预报船舶砰击载荷对船体结构强度评估和优化设计意义重大。本文主要基于船舶水弹性理论，对船舶砰击响应计算方法进行了研究。计算结果与本文中的模型试验结果进行了比较
分析讨论从风火论治新型冠状病毒肺炎(COVID-19,简称新冠肺炎)发热不退验案的治疗过程.杜少辉教授从《黄帝内经》五运六气分析,认为新冠肺炎虽以病太阳寒水为主,但兼少阳相火
壳舾涂一体化和设计、生产、管理一体化是现代造船模式的基础和核心。而生产技术准备是实现两个一体化的纽带,是纲领性的工作。它是一项全系统、全过程、全方位的综合性管理
水下目标声探测与跟踪是水下机器人视觉领域研究的内容，是一个困难而有意义的课题。运动目标检测与跟踪一般处于视觉应用系统的最底层，是各种后续高级处理如目标分类、行为分析
真实流场中的柔性立管在横流向与顺流向均会发生涡激振动，两个方向的涡激振动会相互耦合，进一步引起两个方向上水动力的耦合，从而使得发生涡激振动的柔性立管的水动力特别复杂。
2008年6月9日,国人翘首期待的我国第一颗直播卫星中星9号终于在西昌卫星发射中心成功发射。虽然,这颗直播卫星初期主要用于“村村通”工程,向全国发送公益性的电视节目和广播
目标跟踪技术被广泛的应用于监控、导航、避障等需要确定目标的数目、位置、运动速度和身份的系统中。尤其是水下目标跟踪技术,没有空中目标跟踪技术那么成熟,研究它具有理论