様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ＡＬＧＯＰＡＫ | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): BITMTRX (A603) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 増沢　善子21SS1159 | 文書作成者･学生番号: 増沢善子21SS1159 | +-------------------------------------+---------------------------------------+ | 作成期間: 62/ 1/ ー / / | 文書作成期間: 62/ 2/ ー / / | +-------------------------------------+---------------------------------------+ | 親モジュール: ＡＬＧＯＳ | 子モジュール: | +-------------------------------------+---------------------------------------+ | 講義名・課題名: 卒業研究 | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 移植 | SARA BAASE,COMPUTER ALGORITHMS, | +-------------------------------------+ | | 形式: サブルーチン | ADDISON WESLEY,1978. | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: | | +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | ブール行列の推移的閉包を求める +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | サブルーチン プログラム | ＰＣ−９８０１，ＭＳ−ＤＯＳ | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | WARSHALL'S FOR BIT MATRICES | | +-------------------------------------+---------------------------------------+ | 呼び出し法: BITMTRX (N,A,R) | | | +-----------------------------------------------------------------------------+ | 操作手順(ｺﾝﾌﾟﾘｰﾄﾌﾟﾛｸﾞﾗﾑ(ﾒｲﾝﾌﾟﾛｸﾞﾗﾑ)の場合:1.システム起動手順､2.データ入出力 | | 手順と形式､3.終了手順) | | (ｻﾌﾞﾙｰﾁﾝの場合:1.呼び出し形式-引き数の並べ方-､2.親ルーチン､3.子ルー | | チン､4.その他) | | | | | | １． Ｎ （入力）： 行列Ａの次数 （整数型，Ｎ≦10） | | | | Ａij （入力）： 行列Ａのi,j成分 （Ａij=0 or 1，i,j=1,･･･,N） | | | | Ｒij （出力）： Ａの推移的閉包行列Ｒのi,j成分 （Ｒij=0 or 1， | | | | i,j=1,･･･,N） | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加) 様式７ +-------------------------------------+----------------+----------------------+ | システム名: ＡＬＧＯＰＡＫ | | 問題解説 | +-------------------------------------+ +----------------------+ | モジュール名: BITMTRX (A603) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 森木 京子 10SS1249 | 文書作成者: 森木 京子 10SS1249 | +-------------------------------------+---------------------------------------+ | 作成期間: 58/ 7/ ー 58/ 8/ | 文書作成期間: 59/11/ ー 59/12/ | +-------------------------------------+---------------------------------------+ | | | TRANSCLOSとWARSHALLと同様、二項関係を表すｎ＊ｎ行列Ａの推移的閉包を求め | | | | るプログラム。 | | | | BITMATRIXでは、行列Ａと行列Ｒを０と１のブール行列と解釈して その論理和 | | | | を求めることにより推移的閉包を求められる。 | | | | 論理和 or は、v で表され | | | | １v１＝０v１＝１v１＝１ | | | | かつ | | | | ０v０＝０ | | | | を意味する。 | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式６ +-------------------------------------+----------------+----------------------+ | システム名: ＡＬＧＯＰＡＫ | | アルゴリズム流れ図 | +-------------------------------------+ +----------------------+ | モジュール名: BITMTRX (A603) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者: 森木 京子 10SS1249 | 文書作成者: 森木 京子 10SS1249 | +-------------------------------------+---------------------------------------+ | 作成期間: 58/ 7/ ー 58/ 8/ | 文書作成期間: 59/11/ ー 59/12/ | +-------------------------------------+---------------------------------------+ | | | | | | | | | | | | | | | ++-------++ +---------+ | | !! BITMA !! ! ! | | !! TRIX !!---->! R:=A ! | | !! !! ^ ! ! | | ++-------++ ! +---------+ | | ! ! T: | | ! +--------++ +--------++ +-------+ +---------+ | | ! ! FOR !! ! FOR !! ! IF + ! Ri := ! | | !-! k:=1 !!---->! i:=1 !!---->! Rik=1 +---->! Ri v Rk ! | | ! TO N !! ! TO N !! ! + ! ! | | +--------++ +--------++ +-------+ +---------+ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 様式９ +-------------------------------------+----------------+----------------------+ | ｼｽﾃﾑ名(ｺｰﾄﾞ): ＡＬＧＯＰＡＫ | | システム報告書概要 | +-------------------------------------+ +----------------------+ | ﾓｼﾞｭｰﾙ名(ｺｰﾄﾞ): CBITMTRX (P603) | ﾗｲﾌﾞﾗﾘ-登録番号: | +-------------------------------------+---------------------------------------+ | 作成者･学生番号: 森木京子 10SS1249 | 文書作成者･学生番号: 森木京子10SS1249 | +-------------------------------------+---------------------------------------+ | 作成期間: 58/ 7/ ー 58/ 8/ | 文書作成期間: 59/11/ ー 59/12/ | +-------------------------------------+---------------------------------------+ | 親モジュール: ＡＬＧＯＰＡＫ | 子モジュール: BITMTRX (A603) | +-------------------------------------+---------------------------------------+ | 講義名・課題名: 卒業研究 | 参考文献(著者名、書名、出版社、発行年)| +-------------------------------------+ | | 開発形態: 移植 | SARA BAASE,COMPUTER ALGORITHMS, | +-------------------------------------+ | | 形式: コンプリート | ADDISON WESLEY,1978. | +-------------------------------------+---------------------------------------+ | 利用対象者: 一般 | 格納ﾒﾃﾞｨｱ形式: フロッピーディスク | +-------------------------------------+---------------------------------------+ | 目的（問題解説、機能解説−制限事項）| 格納ﾒﾃﾞｨｱ番号、ﾌｧｲﾙ名: | | +---------------------------------------+ | | 記述言語・走行ＯＳ: TURBO PASCAL | | ブール行列の推移的閉包を求める +---------------------------------------+ | | 走行条件（ハードウェア、ソフトウェア）| | テスト プログラム | ＰＣ−９８０１，ＭＳ−ＤＯＳ | | | | | | | +-------------------------------------+---------------------------------------+ | キーワード（適用分野、手法など） ： | 分類コード（ＣＲコードを使用） ： | | WARSHALL'S FOR BIT MATRICES | | +-------------------------------------+---------------------------------------+ | 呼び出し法: CBITMTRX | | データ | +-----------------------------------------------------------------------------+ | 操作手順(ｺﾝﾌﾟﾘｰﾄﾌﾟﾛｸﾞﾗﾑ(ﾒｲﾝﾌﾟﾛｸﾞﾗﾑ)の場合:1.システム起動手順､2.データ入出力 | | 手順と形式､3.終了手順) | | (ｻﾌﾞﾙｰﾁﾝの場合:1.呼び出し形式-引き数の並べ方-､2.親ルーチン､3.子ルー | | チン､4.その他) | | １．＞ ＣＢＩＴＭＴＲＸ．ＳＲＣ 　　　　　 | | | | 　　　　　　　　　　　　　　　　　　　　　　　　　 | | | | 　　　　　　　　　 | | | | データ | | | | ２．1)入力データ | | | | Ｎ：行列Ａの次数 （整数型，Ｎ≦10） | | | | Ａij：行列Ａのi,j成分 （Ａij=0 or 1，i,j=1,･･･,N） | | | | 2)出力データ | | | | Ａ：もとのデータ | | | | Ｒ：Ａの推移的閉包行列 | | | | | | | | | | | | | | | +-----------------------------------------------------------------------------+ 注. システム１つにつき１枚作成 必要な場合モジュール１つにつき１枚作成(ｲﾝﾀｰﾌｪｰｽ仕様書-様式１-に追加)