文献

J-GLOBAL ID：201902227552958033   整理番号：19A1588014

物理性と計算を結合するサイバー物理システムの厳密な設計【JST・京大機械翻訳】

Rigorous design of cyber-physical systems Linking physicality and computation

著者 (4件)： Bliudze Simon (INRIA Lille - Nord Europe, Villeneuve d’Ascq, France) ,  Furic Sebastien (INRIA Centre de Paris, Paris, France) ,  Sifakis Joseph (Verimag, Batiment IMAG, Saint Martin d’Heres, France) ,  Viel Antoine (Siemens Industry Software SAS, Roanne, France)
資料名： Software and Systems Modeling  (Software and Systems Modeling)
巻： 18  号： 3  ページ： 1613-1636  発行年： 2019年 
JST資料番号： A1112A  ISSN： 1619-1366  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： サイバー物理システムは非常に活発な研究分野に開発されており,広範囲の挑戦と研究の方向が必要となり,本質的な特性を保証するための検証と同様に実施とシミュレーションが必要となっている。この調査論文では,著者らは,排他的に,物理学と計算を結びつける方法,離散的でないものによる連続的な時間空間動力学に焦点を合わせた。サイバー物理システム設計フローは次の3つの主要なステップを含むと考える。(1)サイバー物理システムモデリング;(2)実行可能性のための離散化;3)シミュレーションと実装。著者らは,これらの3つのステップのそれぞれに対して,アドレスに対する可能なアプローチへの洞察を提供することをレビューした。Copyright 2017 Springer-Verlag GmbH Germany, part of Springer Nature Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： システム設計 ,  *シミュレーション ,  モデリング
準シソーラス用語： アドレス ,  離散化 ,  システムモデリング ,  設計フロー , 【Automatic Indexing@JST】

著者キーワード (10件)： サイバー物理システム設計 ,  構造的等式モデリング ,  Modelica ,  線形グラフ ,  ボンドグラフ ,  理想化 ,  抽象化 ,  ハイブリッドデータフローネットワーク ,  離散化 ,  言語埋め込み

分類 (4件)： 電力系統一般  (NB02000E) ,  通信網  (ND07030A) ,  オペレーションズリサーチ一般  (KA03010Q) ,  システム設計・解析  (IA02030D)

タイトルに関連する用語 (3件)： 物理 ,  計算 ,  設計