文献

J-GLOBAL ID：201702238889050476   整理番号：17A0263868

この方法は,電子の復号回路のための最適化方法を適用することができない。【JST・京大機械翻訳】

Optimization method of decoding circuits’ synthesis using unsatisfiable subformulas

著者 (4件)： Zhang Jianmin (College of Computer, National University of Defense Technology) ,  Li Tiejun (College of Computer, National University of Defense Technology) ,  Ma Kefan (College of Computer, National University of Defense Technology) ,  Xiao Liquan (College of Computer, National University of Defense Technology)
資料名： Guofang Keji Daxue Xuebao  (Guofang Keji Daxue Xuebao)
巻： 38  号： 5  ページ： 1-6  発行年： 2016年 
JST資料番号： W0569A  ISSN： 1001-2486  CODEN： GKDXEM  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： BOOLE式が満たされない理由は多くの分野で実際の応用需要があり、最小限は電子のような回路の自動合成などの応用分野での満足できない原因に対して最も正確な解釈を提供することができる。そこで,2つのアルゴリズムは,電子-限界アルゴリズムと欲張り遺伝的アルゴリズムを効率的に解くことができ,それは復号回路の自動合成ツールに統合することができた。通信領域の標準符号化回路をテストセットとして採用し,2つのアルゴリズムを比較した。実験結果は,欲張り遺伝的アルゴリズムが,実行時間と1秒あたりの短時間において,分岐-限界アルゴリズムより優れていることを示した。電子は,復号回路の自動合成において重要な役割を果たす。Data from the ScienceChina, LCAS. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 遺伝的アルゴリズム ,  *最適化手法 ,  通信 ,  符号化 ,  アルゴリズム ,  *復号化
準シソーラス用語： 実行時間 ,  自動合成 , 【Automatic Indexing@JST】

著者キーワード (4件)： circuit synthesis ,  formal method ,  satisfiability solving ,  unsatisfiable subformula

分類 (1件)： ロボットの運動・制御  (IC04012J)

タイトルに関連する用語 (3件)： 電子 ,  復号回路 ,  最適化方法