Search results for "ハイブリッドモデル" | NDL Search

Search results 7

Group by title

Paper図書

堀憲之, 筑波大学 [著][堀憲之]2005-2007<Y151-H17560202>

National Diet Library

Paper図書

山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>

National Diet Library

Paper図書

高橋まさえ, 東北大学 [著][高橋まさえ]2004-2006<Y151-H16310080>

National Diet Library

Subject Headingシリコン系ナノ粒子 / π電子材料 / クラスター成長 / モンテカルロ直接法 / 希薄流 / 第一原理計算 / ハイブリッドモデル / 階層化モデル

Paper図書

川添良幸, 東北大学1999-2000<Y151-H11650714>

National Diet Library

Paper図書

安保哲夫, 帝京大学1998-1998<Y151-H10041063>

National Diet Library

Digital文書・図像類

山根, 智, Yamane, Satoshi金沢大学理工研究域電子情報通信学系2002-03平成13(2001)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2001 Fiscal Year Final Research Report1999-2001p.110p.-

Other Libraries in Japan

Subject Heading...詳細化検証時間オートマトンハイブリッドモデル Assume-Guarantee receptivenes...
Note (General)...ムをとらえて、実時間モデル及びハイブリッドモデルの観点からモデル化して、自動検......細化設計が可能となった。(4)ハイブリッドモデルに基づく開放分散システムの設計支援:開放型分散システムの仕様...

Digital文書・図像類

山根, 智, Yamane, Satoshi金沢大学理工研究域電子情報通信学系2005-03平成16(2004)年度科学研究費補助金基盤研究(C) 研究成果報告書 = 2004 Fiscal Year Final Research Report2002-2004p.182p.-

Other Libraries in Japan

Subject Headingハイブリッドモデル組込みシステム高信頼性設計方法演繹的詳細化検証モジュ...
Note (General)...様が使われている。制御仕様からハイブリッドモデルへの変換を含む、統合的な開発手......:2002-2004 出典：「ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開...

Reached to the end of result.