スポンサーリンク
金沢大学工学部情報システム工学科 | 論文
- 確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
- 雷空電を用いた非線形最小二乗法による雷撃電流波形及び電荷量推定(アンテナ・伝搬)
- コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 動的再構成可能プロセッサ向け仕様記述言語の開発と実問題の適用 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 確率ゲーム理論による組込みシステムのモデル化とモデル検査
- CPUと動的再構成可能プロセッサとの協調システムのモデル検査(ペトリネット,離散事象システム,一般)
- 組込みシステムのUML分析設計からタスク設計までの設計検証方法論(UML/開発方法論)
- 並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法(分析・設計技法)
- UMLと価値関数を用いたソフトリアルタイムシステムの設計検証手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 降雪粒子の形状特徴量のZ-R関係への影響
- 114)99m-Tc心筋血流製剤を用いた心筋梗塞領域測定ソフトウェアの開発
- ラットの片肺全摘モデルにおけるResovist胸腔内注入による電磁誘導加温法の安全性と加温効果についての検討
- 相変化メモリを利用した不揮発性SRAM
- 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)
- 組込みシステム設計検証のためのゲーム理論(「エージェント基礎」及び一般)
- 確率時間ゲーム理論に基づくリアルタイム組込みシステム設計検証手法
- FFT方式のGPSにおける搬送周波数変動に対する相関計算の高速化(ディジタル信号処理,スペクトル拡散及び一般)
- 相関ルールを用いた組織内における文書校正支援
スポンサーリンク