文献

J-GLOBAL ID：202102248576277064   整理番号：21A0027541

離散力学系に関する方程式の解【JST・京大機械翻訳】

Solving Equations on Discrete Dynamical Systems

著者 (5件)： Dennunzio Alberto (DISCo, Universita degli Studi di Milano-Bicocca, Milan, Italy) ,  Formenti Enrico (Universite Cote d’Azur, CNRS, I3S, Nice, France) ,  Margara Luciano (Universita degli Studi di Bologna, Campus di Cesena, Cesena, Italy) ,  Montmirail Valentin (Avisto Telecom, Vallauris, France) ,  Riva Sara (Universite Cote d’Azur, CNRS, I3S, Nice, France)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12313  ページ： 119-132  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 離散動的システム(DDS)は,膨大な多様な科学領域で生じる多くの現象の動的挙動をモデル化するための有用なツールである。Booleオートマトンネットワーク,遺伝的調節ネットワーク,および代謝ネットワークは,バイオインフォマティクスで使用されるDDSのほんの少しの例である。DDS上の方程式を実験データに対するモデルをチェックするための形式的ツールとして導入した。DDSに関する一般的方程式を解明することは,不可解であることを証明した。本論文では,一定部分を持つ方程式から成る,決定可能な抽象化を解くことを提案した。抽象は,DDSの周期的挙動のみを含む方程式に対する解を制限することに焦点を当てた。そのような抽象化を解くための高速でスケーラブルな方法を提供した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *ネットワーク ,  動的系 ,  遺伝的調節
準シソーラス用語： バイオインフォマティクス ,  代謝ネットワーク ,  動的挙動 , 【Automatic Indexing@JST】

著者キーワード (3件)： 離散力学系 ,  決定可能性 ,  Booleオートマトンネットワーク

分類 (4件)： 生体系モデル一般  (EL02010K) ,  数値計算  (JE02000J) ,  分子・遺伝情報処理  (JE15040B) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： 離散力学系 ,  方程式 ,  解