文献

J-GLOBAL ID：201902233928539535   整理番号：19A2094253

局所探索による信号時間論理式のパラメータ最適化【JST・京大機械翻訳】

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search

著者 (2件)： Kagan Aydin Sertac (Bilgisayar Muehendisligi, ODTUe, Ankara, Tuerkiye) ,  Gol Ebru Aydin (Bilgisayar Muehendisligi, ODTUe, Ankara, Tuerkiye)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： SIU  ページ： 1-4  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 信号時間論理(STL)は,実値信号の時間的およびリアルタイム特性を表現するための形式的言語である。本論文では,ラベル付きデータセットからSTL式を生成する問題を研究した。テンプレート式のパラメータを合成するための局所探索アルゴリズムを提案した。ランダム初期点から出発して,パラメータ空間を,式評価を改善する方向において調査した。さらに,適応ステップとしての公式合成のために開発された遺伝的アルゴリズムに局所探索法を統合した。本論文の知見を事例研究で示し,以前の結果と比較し,適応ステップが収束を改善することを示した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 事例研究 ,  アルゴリズム ,  遺伝的アルゴリズム ,  *近傍探索法 ,  言語 ,  *時間論理
準シソーラス用語： パラメータ空間 ,  実時間 ,  *パラメータ最適化 , 【Automatic Indexing@JST】

分類 (5件)： 信号理論  (ND02020G) ,  制御工学一般  (IC01000V) ,  システム同定  (IA02040O) ,  図形・画像処理一般  (JE04010I) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (3件)： 局所探索 ,  論理式 ,  パラメータ最適化