文献

J-GLOBAL ID：201902264080584362   整理番号：19A1421619

微分等価性の記号計算【JST・京大機械翻訳】

Symbolic computation of differential equivalences

著者 (4件)： Cardelli Luca (University of Oxford, UK) ,  Tribastone Mirco (IMT School for Advanced Studies Lucca, Italy) ,  Tschaikowski Max (Vienna University of Technology, Austria) ,  Vandin Andrea (DTU Compute, Technical University of Denmark, Denmark)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 777  ページ： 132-154  発行年： 2019年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 通常の微分方程式(ODEs)は,化学,生態学,およびシステム生物学を含む多くの自然科学,および制御理論と電気工学のような分野において広く存在している。計算機-プロセスパラダイムに基づいて,それらは計算機科学においてますます一般的になり,高水準言語およびPetriネット,プロセス代数,およびODEsと解釈されるルールベースシステムなどの形式的方法を用いている。ODEsを自動的に比較し最小化する問題を考察した。プログラミングの理論における伝統的アプローチによって影響を受けて,著者らは微分等価性関係を提案した。著者らは,基本的中間言語のためにそれらを研究して,それのために,著者らは,高水準仕様のクラスによって目標とすることができる脱落可能性結果を持った。ODEは陰的な状態空間を暗黙的に表現し,したがって,推論技術は有限状態Markov連鎖意味論による確率論的プログラムのような確立された領域から借borすることができない。充足可能性モジュール理論を用いる分割精密化アルゴリズムを介して,等価性をチェックし,最大値を計算するための新しい記号手順を提供した。微分等価性は,(i)連続時間Markov連鎖(集中性)の最小化に対する良く知られた概念,(ii)Cardelliらにより最近提案された化学反応ネットワークに対する双シミュレーション,(iii)ODE意味論によるプロセス代数に対する挙動関係を含むことを示した。著者らの技術を実装するツールを用いて,競合する自動技術を用いて削減できない文献からの生化学的モデルにおける等価性を検出することができる。Copyright 2019 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 計算機科学 ,  Markov連鎖 ,  計算機械 ,  制御理論 ,  *微分 ,  化学反応 ,  ネットワーク ,  プロセス代数 ,  精密化 ,  連続時間系 ,  確率論 ,  アルゴリズム ,  意味論
準シソーラス用語： バイシミュレーション ,  状態空間 , 【Automatic Indexing@JST】

著者キーワード (4件)： 定量的等価関係 ,  充足可能性モジュロ理論 ,  常微分方程式 ,  分割精密化

分類 (4件)： グラフ理論基礎  (IA02020S) ,  人工知能  (JE08000Z) ,  図形・画像処理一般  (JE04010I) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： 微分 ,  等価性 ,  記号計算