文献

J-GLOBAL ID：202002273319286595   整理番号：20A2590497

衝突解析回数に関与する動的学習子句評価戦略【JST・京大機械翻訳】

Dynamic learnt clause evaluation strategy based on number of participations in conflict analysis

著者 (3件)： Sun Jing (西南交通大学 数学学院,成都610031;系統可信性自動験証国家地方聯合工程実験室,成都610031) ,  Zhong Xiaomei (西南交通大学 数学学院,成都610031;系統可信性自動験証国家地方聯合工程実験室,成都610031) ,  Xu Yang (西南交通大学 数学学院,成都610031;系統可信性自動験証国家地方聯合工程実験室,成都610031)
資料名： Jisuanji Yingyong Yanjiu  (Jisuanji Yingyong Yanjiu)
巻： 37  号： 10  ページ： 2902-2906  発行年： 2020年 
JST資料番号： C2536A  ISSN： 1001-3695  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 既存の学習子句評価戦略の単一性に対して、学習子句が衝突分析回数に参与する評価策略を提案し、そして、この策略をそれぞれ古典的文字ブロック距離評価策略と活性値評価策略と結合し、2つの動的学習子句評価策略を形成した。2018年SAT国際コンテストの基準実例に基づき、動態評価策略と原評価策略をパラメータ適応性比較実験を行って、2018と2017年の基準実例を通じて評価を行った。結果は,動的評価戦略が学習節の品質をよりよく評価でき,それにより,解決器は,解決の数と速度において,より良い解性能を達成することを示した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： *学習 ,  コンクール ,  単一性 ,  比較試験
準シソーラス用語： 句 ,  パラメータ適応 , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (4件)： 衝突解析 ,  学習 ,  評価 ,  戦略