スポンサーリンク
信州大 工 | 論文
- 滝用水車に関する研究 : 曲面流路を用いた水流方向制御の検討
- 部分安全係数を用いたコンクリ-ト構造物の耐久性設計について
- 構造設計問題へのエントロピ-理論の適用に関する基礎的研究
- 最適設計における計算の効率に関する研究
- 40419 長野県北部地域における気象台のデータを基準とした気象特性に関する研究 : その15. 内陸の地方都市における都市気候の実態(リモートセンシング,環境工学I)
- 上流設計からモデル検査プロセスまでの一貫設計検証環境 : UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法
- 静的解析により抽出されたAPI推移に基づくマルウェアの分類
- 調停者の選出方法を考慮した分散合意アルゴリズムのPROMELAモデルと検証
- 格子ボルツマン法による単一粘弾性皮膜固体のせん断流れ場における挙動解析
- 噴流現象の制御技術
- 円管内流れにおけるリップル状凍結層の発生限界
- B-028 UMLアクティビティ図から構造変換された自由選択ワークフローネットに対する活性化マーキング(テスト・検証・解析,B分野:ソフトウェア)
- RA-003 自由選択ネットの活性・安全性判定解析アルゴリズム改善と援用ツールへの実装(数理モデル(2),A分野:モデル・アルゴリズム・プログラミング)
- B-006 ロボット制御システム設計のUMLアクティビティ図に対するペトリネットによる正当性検証(テスト・検証,B分野:ソフトウェア)
- B-029 WeBアプリケーション設計のUMLアクティビティ図に対するセマフォア導入とモデル検査(テスト・検証・解析,B分野:ソフトウェア)
- C310 加速度センサとウェーブレット変換を用いた球体の回転速度および回転軸の推定と検証(計測と推定)
- B-028 UMLシーケンス図の構造記述から線形時相論理式への自動変換手法(ソフトウェアサイエンス,B分野:ソフトウェア)
- C-026 上位ハードウェア設計言語Melasy+によるNuSMVコード生成と設計検証(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
- C-006 高水準ペトリネットを記述可能な援用ツールHiPS2と非同期回路検証への適用(ディペンダブルシステム,C分野:ハードウェア・アーキテクチャ)
- 253 旋回流を用いた非接触搬送装置に関する研究 : 渦室内部への円柱設置による圧力変動の抑制(流体パワーによる駆動と制御II)