文献

J-GLOBAL ID：202202271907042036   整理番号：22A0797699

Dixon結果における余分な因子に対するヒューリスティックス【JST・京大機械翻訳】

Heuristics to sift extraneous factors in Dixon resultants

著者 (8件)： Qin Xiaolin (Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, PR China) ,  Qin Xiaolin (School of Science, Civil Aviation Flight University of China, Guanghan 618307, PR China) ,  Qin Xiaolin (University of Chinese Academy of Sciences, Beijing 100049, PR China) ,  Zhang Lige (Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, PR China) ,  Zhang Lige (University of Chinese Academy of Sciences, Beijing 100049, PR China) ,  Yang Lu (Laboratory for Automated Reasoning and Programming, Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, PR China) ,  Yang Lu (University of Chinese Academy of Sciences, Beijing 100049, PR China) ,  Cao Sheng (School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, PR China)
資料名： Journal of Symbolic Computation  (Journal of Symbolic Computation)
巻： 112  ページ： 105-121  発行年： 2022年 
JST資料番号： D0359D  ISSN： 0747-7171  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： Dixonは,パラメータ多項式システムPから,場の係数を持つ多くの変数を同時に除去する効率的で実用的な方法である。それは,自動定理証明,生物システム,コンピュータビジョン,ロボット運動学などを含むさまざまな科学分野で広く使われてきた。しかし,Dixonの結果として生じる方法は,同様に他の結果の方法のように外来因子にさらされる。これらの外来因子は望ましくなく,それらは特定の応用において厄介な問題を作り出す。言い換えれば,著者らは,いくつかの余分な因子によっておそらく乗り出すDixonを計算した。したがって,Dixonから余分の一因子の数を減らすか,少なくとも低減できる技術を開発し,構築する必要がある。Dixon結果の一連の因子を考えて,著者らは,外来因子への発見的方法を提示する。それは多項式システムにおけるパラメータの特殊化を用いて特殊化システムPに依存する。一方,この方法から特殊化したシステムPから規則的チェーンを得る必要があり,この方法の並列化は自然に起こる。特殊化式を用いることによって,この原理を他の結果として生じる方法に一般化できる。Dixon結果における外来因子に立地するこのアルゴリズムのいくつかのベンチマーク例について報告した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  運動学 ,  多項式 ,  システム ,  生体系 ,  チェーン ,  変数 ,  立地 ,  *発見的方法 ,  並列演算 ,  コンピュータビジョン ,  ベンチマーク
準シソーラス用語： ロボット運動学 ,  自動定理証明 , 【Automatic Indexing@JST】

著者キーワード (5件)： パラメトリック多項式システム解法 ,  結果的方法 ,  Dixonの結果 ,  余分な因子 ,  並列計算

分類 (1件)： システム設計・解析  (IA02030D)

タイトルに関連する用語 (2件)： 因子 ,  ヒューリスティックス