文献

J-GLOBAL ID：201902230820218267   整理番号：19A0034107

分散述語を検出するためのシミュレーテッドアニーリングに基づくアルゴリズム【JST・京大機械翻訳】

A Simulated Annealing Based Algorithm for Detecting Distributed Predicates

著者 (1件)： Maghayreh Eslam Al
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CSCI  ページ： 1612-1617  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 分散アプリケーションの信頼性を改善することは挑戦課題である。分散述語検出技術(実行時間検証)は,分散アプリケーションの与えられた実行がある特性(予測子として形式的にモデル化された)を満足することを検証することによって,多くの点を助けることができる。一般的に,これらの技術は分散システムの特殊な実装の正当性の検証に利用できる。任意の分散アプリケーションにおいて,通常,いくつかのプロセスが同時に実行される。その結果,検出技術によって考慮されるべきグローバル状態の数は指数関数的(NP完全問題)である。本論文では,分散述語を検出する問題を解く際に,メタ発見的アルゴリズムを用いることの有効性を調べた。すなわち,シミュレーションアニーリング(SA)アルゴリズムを用いて,分散述語を検出するアルゴリズムを開発した。実験の結果は,SAベースの検出技術が状態列挙ベースの検出技術より優れていることを実証した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： NP完全問題 ,  応用プログラム ,  モデリング ,  *焼なまし ,  有効性 ,  シミュレーション ,  検出法 ,  *アルゴリズム ,  信頼性 ,  *シミュレーテッドアニーリング ,  指数関数
準シソーラス用語： 発見的アルゴリズム ,  分散システム ,  実行時間 ,  *述語 , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (3件)： 述語 ,  シミュレーテッドアニーリング ,  アルゴリズム