ようこそ ゲスト さん
ログイン
入力補助
English
カテゴリ
インデックスツリー
ランキング
アクセスランキング
ダウンロードランキング
その他
法政大学
法政大学図書館
インデックスツリー
資料タイプ別
学位論文
修士論文
スポーツ健康学研究科
国際文化研究科
情報科学研究科
理工学研究科
理工学研究科生命機能学専攻
工学研究科
政策科学研究科 (旧)
このアイテムのアクセス数:
124
件
(
2025-02-16
02:20 集計
)
Permalink : https://hdl.handle.net/10114/6366
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
近藤大介
pdf
606 KB
145
論文情報
ファイル出力
アイテムタイプ
学位論文
タイトル
ホモトピー理論による線形モジュール追加型抽象階層を用いた履修管理システムのπ算法におけるモデリング
その他のタイトル
π Calculus Modeling Methodology for Registration Management System using the Incrementally Modular Abstraction Hierarchy based on Homotopy Theory
著者
著者名
近藤, 大介
著者名
KONDO, Daisuke
言語
jpn
発行年
2010-03-24
著者版フラグ
Not Applicable (or Unknown)
学位授与年月日
2010-03-24
学位名
修士(理学)
学位授与機関
機関名
法政大学 (Hosei University)
内容記述
情報科学研究科情報科学専攻; 指導教授: 大森健児
抄録
サイバーワールドシステムは, 並列処理の元で動的に通信相手が変わるシステムである. このようなシステムの設計とモデリングは, 非常に複雑であり従来とは異なる形式的手法が必要とされる. そこで, その手法として有効なのがπ算法でのモデリングであるが, このπ算法でのモデリング自体も複雑であり決して容易であるとは言えない. そこで, IMAH を用いることによって, π算法でのプロセスを得る手法を考える. これは抽象的なレベルから具体的なレベルへと7つの階層を下る中で, 段階的に不変量を増大させ設計していく手法である. さらに, このIMAHの最も抽象的なレベルを構成するホモトピーはHomotopy Lifting Property (HLP)とHomotopy Extension Property (HEP)という重要な性質を持つが, このHLPを利用することで, 複雑なシステムを複数の簡単な要素へと分解しボトムアップにて設計を行うことが可能となる. 本論では, 実際にサイバーワールドの一例である履修管理システムを設計することによって, 複雑であるπ算法でのモデリングを理論的に体系立てて行えることを示し, 同時にこれらの手法による開発の有用性を示すことを目的とする. また, 本論ではπ算法でのプロセスを得るまでに留まったが, この得られたプロセスにHEPを適用することでXMOS XC言語へ変換し実際に実装することができる. これにより,確実な動作確認やデバッグ, パフォーマンスの評価を行うことが可能となるため, 非常重要である.本システムのXC言語での実装は今後の課題としたい.
Cyberworlds are complicated and sophisticated systems because the system dynamically switches the communication on parallel processing. Such a system should be designed and modeled by a different conventional formal method. One of the useful methods is the Pi-calculus modeling. However, the modeling is also complicated for a system engineer. Therefore, using the incrementally modular abstraction hierarchy (IMAH), the pi-calculus process is obtained from general concepts to specific entities by climbing down the abstraction hierarchy consisting of 7 levels. Moreover, the homotopy on the most abstraction level has the two important properties which are called the homotopy lifting property (HLP) and the homotopy extension property (HEP). At the homotopy level, the HLP is utilized for composing a given system from several parts of the whole system. Designing the registration management system as one of the cyberworlds explained the usefulness of the methods. In this paper, the pi-calculus process is obtained. As the future work, the HEP is utilized for the process transforming to the XMOS XC languages and the obtained codes are implemented on a PC.
資源タイプ
Thesis
インデックス
資料タイプ別
 > 
学位論文
 > 
修士論文
 > 
情報科学研究科
109 情報科学部・情報科学研究科
 > 
学位論文
 > 
修士論文
ホームへ戻る