堀憲之, 筑波大学 [著][堀憲之]2005-2007<Y151-H17560202>
国立国会図書館
- 件名厳密離散時間化 / ハイブリッドモデル / 非線形ディジタル制御 / 姿勢制御 / 小型無人飛翔ロ...
山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>
国立国会図書館
- 件名ハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理...
高橋まさえ, 東北大学 [著][高橋まさえ]2004-2006<Y151-H16310080>
国立国会図書館
- 件名シリコン系ナノ粒子 / π電子材料 / クラスター成長 / モンテカルロ直接法 / 希薄流 / 第一原理計算 / ハイブリッドモデル / 階層化モデル
川添良幸, 東北大学1999-2000<Y151-H11650714>
国立国会図書館
- 件名モンテカルロ直接法 クラスター堆積過程 希薄流シミユレーシヨン 古典分子動力学法 ボルツマン方程式 最適作製条件 材料設計 ハイブリツドモデル
安保哲夫, 帝京大学1998-1998<Y151-H10041063>
国立国会図書館
山根, 智, Yamane, Satoshi金沢大学 理工研究域電子情報通信学系2002-03平成13(2001)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2001 Fiscal Year Final Research Report1999-2001p.110p.-
全国の図書館
- 件名...詳細化検証 時間オートマトン ハイブリッドモデル Assume-Guarantee receptivenes...
- 一般注記...ムをとらえて、実時間モデル及びハイブリッドモデルの観点からモデル化して、自動検......細化設計が可能となった。(4)ハイブリッドモデルに基づく開放分散システムの設計支援:開放型分散システムの仕様...
Nauck, Detlef, Kruse, Rudolf, 髙木, 英行[訳]朝倉書店1996-04-01
インターネットで読める全国の図書館
- 件名海外動向 ニューロ的ファジィモデル ハイブリッドモデル 応用 ソフトウェア開発環境 モデル選択指針
山根, 智, Yamane, Satoshi金沢大学 理工研究域電子情報通信学系2005-03平成16(2004)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2004 Fiscal Year Final Research Report2002-2004p.182p.-
全国の図書館
- 件名ハイブリッドモデル 組込みシステム 高信頼性設計方法 演繹的詳細化検証 モジュ...
- 一般注記...様が使われている。制御仕様からハイブリッドモデルへの変換を含む、統合的な開発手......:2002-2004 出典:「ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開...