スポンサーリンク
仙台高等専門学校 | 論文
- Composition Method of Service and protocol Specifications
- 並行計算πFを用いたモバイルシステム管理
- 動的再構成システム仕様の挙動検証
- 地理的制約を考慮した並行計算
- 位相的観点に基づく段階的仕様記述
- 位相的観点からの仕様記述
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- LOTOSに基づいたプロトコルの論理検証支援システムの実現
- LOTOS仕様の分割支援システム
- C-1-30 Pre-Cantor構造を持つマイクロストリップ線路(C-1.電磁界理論,一般セッション)
- D-6-4 Cellプロセッサにおける時空間パイプラインを用いたFDTD法の高速化(D-6.コンピュータシステムA,一般セッション)
- 内心の定理による正5胞体の折りたたみとその折り紙モデル
- 形式的手法によるWebアプリケーションのモデル化と検証
- D-6-6 PCクラスタ用Live Linux自動再構成システムの開発と評価(D-6.コンピュータシステムA,一般セッション)
- B-1-71 偏波独立・二周波共用クロスダイポールリフレクトアレー(B-1.アンテナ・伝播B(アンテナ一般),一般セッション)
- B-1-42 Maximum Transfer Efficiency of Wireless Power Transfer System
- 紫外レーザー伝送用中空ファイバー
- インピ-ダンス面をもつ円形中空導波路の曲げ損失(技術談話室)
- 2次元周期光導波路の解析
- 光ファイバ伝送の基礎-5完-(講座)