抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
計算機モデリングは生物学における実験研究を補完するために効果的に使用され,研究した生物学的システムの理解におけるギャップを特定し,機構モデルに基づくシステム挙動を予測する。形式的検証がうまく使用された生物学におけるいくつかの分野の概要を提供した。天然および工学的生物系の両方からの例を強調する。自然生物システムにおいて,主な目標は,システムがどのように動作し,その挙動を予測するかを理解することであり,一方,工学的生物システムに対して,主な目標は,例えば,生物学ベースの計算デバイスを構築するための,新しい目的のための生物学的システムを設計することである。生物学における形式的検証と従来のドメインへの応用における課題を比較した。最後に,著者らは,フィールドに寄与するための形式的検証専門家の将来の研究方向と機会を概説する。Copyright 2021 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】
