スポンサーリンク
金沢大学大学院自然科学研究科電子情報工学専攻 | 論文
- 確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
- 拡張現実感を利用した森林調査支援システムにおける魚眼画像と樹木モデルの位置合わせ(インタラクティブシステム・画像入力デバイス・方式、及び一般)
- コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- CPUと動的再構成可能プロセッサとの協調システムのモデル検査(ペトリネット,離散事象システム,一般)
- 組込みシステムのUML分析設計からタスク設計までの設計検証方法論(UML/開発方法論)
- 樹木測量データによる森林空間の可視化と魚眼画像の重ね合わせ(インタラクティブシステム・画像入力デバイス・方式,及び一般)
- 単一指向性アレーマイクロホンの帯域分割設計 (応用音響)
- 単一指向性アレーマイクロホンの広帯域化設計
- 降雪Z-R関係と降雪粒子画像解析のためのユーザ支援システム(一般セッション,一般物体認識・画像特徴量)
- 降雪モニタリングにおける画像計測と粒子分類(インタラクティブシステム・画像入力デバイス・方式,及び一般)
- 並列動作する確率時間システムに対する拡張CEGAR(モデル化・仕様記述)
- 階層時間オートマトン群の並列動作の述語抽象化精錬検証手法(グラフ,ペトリネット,ニューラルネット,及び一般)
- ライダとレーダによる冬季下層大気境界層の降水粒子の可視化(一般セッション,一般物体認識・画像特徴量)
- P324 地上観測データを用いた雲解像モデルCReSSにおける雪と霰の割合の検証
- 降雪粒子の形状特徴量のZ-R関係への影響
- 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)
- 複数台ビデオカメラによる落下中降雪雪片画像を用いた落下運動解析(映像・マルチメディア処理及び一般)
- 複数台ビデオカメラによる落下中降雪雪片画像を用いた落下運動解析
- 一定サイドローブ量の指向性アレースピーカの設計法
スポンサーリンク