文献

J-GLOBAL ID：201702236444592671   整理番号：17A0066182

共形幾何学代数とロボット運動学の形式化【JST・京大機械翻訳】

Formalization of Conformal Geometric Algebra and Robot Kinematics

著者 (6件)： Ma Sha (Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University) ,  Shi Zhiping (Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University) ,  Guan Yong (Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University) ,  Li Liming (Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University) ,  Shao Zhenzhou (Beijing Key Laboratory of Electronic System Reliability Technology,Capital Normal University) ,  Zhang Jie (College of Information Science & Technology,Beijing University of Chemical Technology)
資料名： Xiaoxing Weixing Jisuanji Xitong  (Xiaoxing Weixing Jisuanji Xitong)
巻： 37  号： 3  ページ： 555-561  発行年： 2016年 
JST資料番号： C2136A  ISSN： 1000-1220  CODEN： XWJXEH  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 共形幾何学代数は新しい幾何学的表現と計算システムとして、古典的幾何学に簡潔、直観と統一的な均一性代数枠組みを提供し、現在現代科学技術の各分野に広く応用されている。しかし,等価幾何学代数を用いて計算とモデリング解析を行う従来の方法は,数値計算法と記号法の計算が正確でないなどの問題がある。定理証明法はシステムの正しさを検証する厳密な形式化方法である。本論文では,高次論理証明ツールツール-LIGHTにおいて,共形幾何学的代数システムの形式的モデルを構築し,基本代数演算,幾何学的表現,および幾何学的変換を含むいくつかの理論的定義と特性を証明した。最後に,共形幾何学的代数学の形式的有効性と実用性を説明するために,5R直列ロボットの運動学的逆解法を,共形幾何学的論理モデルに基づいて形式的にモデル化して,検証方式を提案した。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 定理証明 ,  *代数学 ,  モデリング ,  数値計算 ,  代数系 ,  計算機システム ,  ロボット ,  *幾何学 ,  演算 ,  科学技術
準シソーラス用語： 論理モデル ,  逆解析 ,  実用性 ,  記号法 ,  *ロボット運動学 , 【Automatic Indexing@JST】

著者キーワード (5件)： Conformal Geometric Algebra ( CGA) ,  formal verification ,  theorem proving ,  HOL-Light ,  inverse kinematics

分類 (9件)： 計算理論  (JB02000A) ,  人工知能  (JE08000Z) ,  応用プログラミング言語  (JD03052Y) ,  システム同定  (IA02040O) ,  言語プロセッサ  (JD03040F) ,  システム・制御理論一般  (IA02010H) ,  数値解析,近似法  (AB04000F) ,  CAI  (JE09000G) ,  ニューロコンピュータ  (JC06010Q)

タイトルに関連する用語 (3件)： 代数 ,  ロボット運動学 ,  形式化