科技视界
科技視界
과기시계
Science&Technology Vision
2015年
15期
96-97,168
,共3页
质点几何%证明器%消点法%机器证明%自动推理
質點幾何%證明器%消點法%機器證明%自動推理
질점궤하%증명기%소점법%궤기증명%자동추리
本文针对质点法生成的目标关系式的过程不简明,缺少明显几何意义的问题,提出了一种具有较高可读性算法的几何定理证明器MMP.首先,直接从消点公式推导目标关系式,该方法不再使用质点坐标而直接对质点进行运算;其次,利用三个模块架构证明器,彤成了具有完全性的消点过程;最后,利用待定系数法判定结论语句.由于可以对点直接进行运算,该证明器的消点过程比原有质点法具有明显的几何意义和较高运算效率.
本文針對質點法生成的目標關繫式的過程不簡明,缺少明顯幾何意義的問題,提齣瞭一種具有較高可讀性算法的幾何定理證明器MMP.首先,直接從消點公式推導目標關繫式,該方法不再使用質點坐標而直接對質點進行運算;其次,利用三箇模塊架構證明器,彤成瞭具有完全性的消點過程;最後,利用待定繫數法判定結論語句.由于可以對點直接進行運算,該證明器的消點過程比原有質點法具有明顯的幾何意義和較高運算效率.
본문침대질점법생성적목표관계식적과정불간명,결소명현궤하의의적문제,제출료일충구유교고가독성산법적궤하정리증명기MMP.수선,직접종소점공식추도목표관계식,해방법불재사용질점좌표이직접대질점진행운산;기차,이용삼개모괴가구증명기,동성료구유완전성적소점과정;최후,이용대정계수법판정결론어구.유우가이대점직접진행운산,해증명기적소점과정비원유질점법구유명현적궤하의의화교고운산효솔.