文献

J-GLOBAL ID：202202226392415506   整理番号：22A1091925

非決定性選択によるフォークジョインプロセスの定量的研究:状態空間の統計的探索への応用【JST・京大機械翻訳】

A quantitative study of fork-join processes with non-deterministic choice: Application to the statistical exploration of the state-space

著者 (3件)： Genitrini Antoine (Sorbonne Universite, CNRS, Laboratoire d’Informatique de Paris 6, LIP6 - UMR 7606, F-75005 Paris, France) ,  Pepin Martin (Sorbonne Universite, CNRS, Laboratoire d’Informatique de Paris 6, LIP6 - UMR 7606, F-75005 Paris, France) ,  Peschanski Frederic (Sorbonne Universite, CNRS, Laboratoire d’Informatique de Paris 6, LIP6 - UMR 7606, F-75005 Paris, France)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 912  ページ： 1-36  発行年： 2022年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 著者らは,非決定論的選択,ループ,および結合器のレンズの下の協調のフォーク-ジョインスタイルによる同時プロセスを研究する。出発点として,これらのプロセスをコンビナトリアル構造として解釈した。解析的組合せに基づくフレームワークを提案し,選択オペレータによって誘起される実行経路の平均数,または実行プレフィックスの数に関するプロセスの実行の割合のようなそれらの定量的側面を分析した。この理論的研究に基づいて,それらの状態空間の統計的探査を目的とする効率的なアルゴリズムを開発した。最初のアルゴリズムは有界実行の均一ランダムサンプラであり,良好なデフォルト探索戦略を提供した。第2のアルゴリズムは,与えられた有界長さの実行プレフィックスの均一ランダムサンプラであり,制御された方法で探査をバイアスすることを可能にする。これらのアルゴリズムの基本的特徴は,それらがプログラムの構文に働き,状態空間の明示的な構築を必要としないことである。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *アルゴリズム ,  レンズ ,  オペレータ ,  解析 ,  結合器 ,  選択 ,  長さ ,  経路 ,  *空間 ,  *計算機処理方式 ,  非決定性 ,  フレームワーク【ソフトウェア開発】
準シソーラス用語： プレフィックス ,  状態空間 ,  *ジョイン ,  有界 ,  構文 , 【Automatic Indexing@JST】

著者キーワード (6件)： 同時性 ,  非決定性 ,  フォークジョインプロセス ,  ループ ,  均一ランダム生成 ,  組合せ論

分類 (5件)： 計算機システム開発  (JD02010R) ,  応用プログラミング言語  (JD03052Y) ,  生体計測  (EL03020C) ,  オペレーティングシステム  (JD03020J) ,  データ保護  (JD01020V)

タイトルに関連する用語 (6件)： 非決定性 ,  定量的研究 ,  状態空間 ,  統計 ,  探索 ,  応用