スポンサーリンク
岡山県立大学情報工学部情報システム工学科 | 論文
- 握手ロボットシステムのための揺すり動作移行モデルの開発(機械力学,計測,自動制御)
- 半溶融成形法による比較的厚いAZ91D合金製平板の相対密度と曲げ強度に及ぼす溶湯温度とゲート流速の影響
- 音声駆動型身体引き込みキャラクタに眼球動作モデルを付与した身体的コミュニケーションシステム(機械力学,計測,自動制御)
- 真空吸引式試験によるADC12合金の流動長と流動停止時間の実験的検討
- 超音速二重せん断層の発達に及ぼすスパン方向渦の蛇行の効果
- アルコール系燃料二液滴の燃焼における干渉効果
- D-7-12 動画像による健常者の膝関節運動機能解析法の検討(D-7. MEとバイオサイバネティックス,一般セッション)
- 無人搬送車のための画像処理と倉庫内の3次元モデルを用いた自己位置認識手法の開発(機械力学,計測,自動制御)
- Stochastic Timed Petri Net でモデル化した大規模論理回路の性能評価ツール
- リングセグメント型Globally Asynchronous Locally Synchronous Systemの構成法(ネットワークオンチップ,システムオンシリコンを支える設計技術)
- モデル検査ツールUPPAALを用いたGALSシステムの形式的検証(ネットワークオンチップ,システムオンシリコンを支える設計技術)
- DMEを用いた廃熱の燃料再生システム(ガスタービンの燃料として"ゴミ"は使えないか?)
- 120 金属結晶の成長に関する分子動力学シミュレーション(材料力学VI)
- 112 タングステン細線の引張強度に関する実験的研究(材料力学IV)
- 遷移金属原子間ポテンシャルと融点および熱膨張特性との関連
- ジメチルエーテル(DME)の乱流拡散燃焼特性 : 都市ガスとの比較(オーガナイズドセッション2 高温エネルギー変換)
- DMEの乱流拡散燃焼を対象とした数値シミュレーション法の開発(FP2 燃料多様化・環境技術1)
- 電子機器用マグネシウム成型品の革新的製造技術の研究開発
- 記号モデル検査を用いた状態マシン図とシーケンス図の無矛盾性の検証(設計支援)
- 有界モデル検査を用いた複数UML図の形式的検証