1995 Fiscal Year Annual Research Report

並列及び分散計算とその応用(Parallel and Distributed Computing and its Applications)

Research Project

Project/Area Number	07045019
Research Institution	Gunma University
Principal Investigator	五十嵐善英群馬大学, 工学部, 教授 (60006260)
Co-Investigator(Kenkyū-buntansha)	WILKINSON Ti シティ大学, 研究員 MCCANN Julie シティ大学, 講師 MURRAY Kevin シティ大学, 講師 DOWLING Geof シティ大学, 講師 OSMON Peter シティ大学, 教授茂木和弘群馬大学, 工学部, 助手 (00251124) 阿久津達也群馬大学, 工学部, 助教授 (90261859) 白石洋一群馬大学, 工学部, 助教授 (80261858) 西谷泰昭群馬大学, 工学部, 助教授 (60198463)
Keywords	並列・分散処理 / 並列オペレーティングシステム / 並列・分散アルゴリズム / 耐故障性 / VLSIレイアウト / AND-EXOR論理式 / 遺伝情報解析 / デバイスシミュレーション
Research Abstract	インターネットを利用した両機関の研究成果の相互参照については,双方でWWWサーバを立ち上げ,相互参照を可能にするとともに研究成果の集積が図られている。並列計算機TOPSYシステムの遠隔利用は,ネットワーク通信容量の関係で困難であることがわかったため,TOPSYを発展させた並列オペレーティングシステムであるAngelオペレーティングシステムを群馬大学の計算機に搭載し,応用システム開発のためのプラットフォームを構築中である. 並列オペレーティングシステムにおける通信,同期などの基本的な並列・分散アルゴリズムについては,ビザンチン故障に対するブロードキャストアルゴリズム,ハイパーリングアーキテクチャに関するスパナ-の生成法及びハイパーキューブへの埋め込み手法を開発した. 半導体自動設計においては,配置配線処理の並列処理による高速化を目的に,概略配線手法の検討,及び階層的な配置手法の検討と実験プログラムの開発を実施した.その結果,並列処理をベースとしてこれらの手法を実現出来る見通しを得た.また,排他的論理和を含む論理回路の簡単化アルゴリズムを開発した.このアルゴリズムは従来の式変形による逐次的なアルゴリズムと異なり並列化が可能であり,並列度に伴って解の精度が改善されるものである.遺伝情報解析については,タンパク質立体構造の類似性を調べるためのアルゴリズムを動的計画法を用いて設計し逐次計算機上に実装し,並列化についての考察を行なった.また,半導体デバイスシミュレーションの並列化に伴う問題点・アルゴリズムを検討した.

Research Products
(23 results)

All Other

All Publications (23 results)

[Publications] Y.Hamada,A.Mei,Y.Nishitani,and Y.Igarashi: "Embeddings of hyperrings in hypercubes" IEICE Trans. Fundamentals. E78-A. 1606-1613 (1995)
[Publications] F.Bao,Y.Igarashi,and K.Katano: "Broadcasting in hypercubes with randomly distributed Byzantine faults" IEICE Trans. Fundamentals. E78-A. 1239-1246 (1995)
[Publications] T.Altman,Y.Igarashi,and K.Obokata: "Hyper-ring connection machines" Parallel Computing. 21. 1327-1338 (1995)
[Publications] F.Bao and Y.Igarashi: "Break finite automata public key cryptosystem" ICALP'95,Lecture Notes in Computer Science. 944. 147-158 (1995)
[Publications] A.Mei and Y.Igarashi: "A shortest path algorithm for banded matrices by a mesh connection without processor penalty" IEICE Trans. Fundamentals. E78-A. 389-394 (1995)
[Publications] F.Bao,Y.Igarashi,and X.Yu: "Some results on decomposability of weakly invertible finite automata" IEICE Trans. Information and Systems. E79-D. 1-7 (1996)
[Publications] F.Bao,Y.Igarashi,and S.R.Ohring: "Reliability of hypercubes for broadcasting with random faults" IEICE Trans. Information and Systems. E79-D. 22-28 (1996)
[Publications] 平澤知久,白石洋一: "電気系レイアウトDAに於ける概略配線問題を対象とした超大規模整数計画問題について" 情報処理学会研究報告. 95-MPS2-5. (1995)
[Publications] 平澤知久,白石洋一: "電子系DAに於いて部品配置を同時に行う概略配線問題の定式化について" 情報処理学会研究報告. 96-MPS5-4. (1996)
[Publications] 平澤知久,白石洋一: "親の形質を詳細に利用する遺伝的アルゴリズムを用いた電子系DAに於ける部品配置手法" 情報処理学会研究報告. 96-MPS-6-4. (1996)
[Publications] T.Hirayama and Y.Nishitani: "A Simplification algorithm of AND-EXOR expressins for multiple-output functions" IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design. 88-93 (1995)
[Publications] 平山貴司,西谷泰昭: "論理関数のあるクラスについて最小性を保証するAND-EXOR論理式の簡単化アルゴリズム" 電子情報通信学会論文誌. J78-D-I. 409-415 (1995)
[Publications] Y.Hamada,A.Mei,Y.Nishitani,and Y.Igarashi: "Embeddings of hyper-rings in hypercubes" ISAAC95,Lecture Notes in Computer Science. 1004. 312-321 (1995)
[Publications] 平山貴司,西谷泰昭,清水賢資: "対称関数のAND-EXOR論理式最小化" 第9回回路とシステム軽井沢ワークショップ. (1996)
[Publications] T.Akutsu: "Approximate string matching with don't care characters" Information Processing Letters. 55. 235-239 (1995)
[Publications] T.Akutsu: "A parallel algorithm for determining the congruence of point sets in three-dimensions" IEICE Trans. Information and Systems. E75-D. 321-325 (1995)
[Publications] T.Akutsu: "Protein structure alignment using a graph matching technique" Proceedings of Genome Informatics Workshop 1995. E75-D. 1-8 (1995)
[Publications] 阿久津達也: "二つの点集合の最大共通部分点集合を求めるランダマイズド・アルゴリズム" 情報処理学会研究報告. 96-AL-46-14. 105-109 (1995)
[Publications] 阿久津達也,鮑豊: "最小キ-および最適部分構造スクリーンの近似" 情報処理学会研究報告. 96-AL-47-3. 17-24 (1995)
[Publications] T.Akutsu and H.Tashimo: "Protein structure comparison using representation by line segment sequences" Proceedings of Pacific Symposium on Biocomputing'96. 25-40 (1996)
[Publications] J.A.McCann,N.J.Williams,P.Osmon,and D.Bolton: "Dynamic File Migration to Support Parallel Database Systems" Proceedings of IEEE/ACM Mascots'95. (1995)
[Publications] A.Saulsbury,T.Wilkinson,J.Carter,and A.Landin: "An Argument for Simple COMA" 1st International Symposium on High Performance Computer Architecture. (1995)
[Publications] T.Wilkinson and K.Murray: "Extensible,flexible and secure services in Angel,a single address space operating system" 1st International Conference onParallel Architectures and Algorithms. (1995)

1995 Fiscal Year Annual Research Report

並列及び分散計算とその応用(Parallel and Distributed Computing and its Applications)

Principal Investigator

五十嵐 善英 群馬大学, 工学部, 教授 (60006260)

Research Products

[Publications] Y.Hamada,A.Mei,Y.Nishitani,and Y.Igarashi: "Embeddings of hyperrings in hypercubes" IEICE Trans. Fundamentals. E78-A. 1606-1613 (1995)

[Publications] F.Bao,Y.Igarashi,and K.Katano: "Broadcasting in hypercubes with randomly distributed Byzantine faults" IEICE Trans. Fundamentals. E78-A. 1239-1246 (1995)

[Publications] T.Altman,Y.Igarashi,and K.Obokata: "Hyper-ring connection machines" Parallel Computing. 21. 1327-1338 (1995)

[Publications] F.Bao and Y.Igarashi: "Break finite automata public key cryptosystem" ICALP'95,Lecture Notes in Computer Science. 944. 147-158 (1995)

[Publications] A.Mei and Y.Igarashi: "A shortest path algorithm for banded matrices by a mesh connection without processor penalty" IEICE Trans. Fundamentals. E78-A. 389-394 (1995)

[Publications] F.Bao,Y.Igarashi,and X.Yu: "Some results on decomposability of weakly invertible finite automata" IEICE Trans. Information and Systems. E79-D. 1-7 (1996)

[Publications] F.Bao,Y.Igarashi,and S.R.Ohring: "Reliability of hypercubes for broadcasting with random faults" IEICE Trans. Information and Systems. E79-D. 22-28 (1996)

[Publications] 平澤知久,白石洋一: "電気系レイアウトDAに於ける概略配線問題を対象とした超大規模整数計画問題について" 情報処理学会研究報告. 95-MPS2-5. (1995)

[Publications] 平澤知久,白石洋一: "電子系DAに於いて部品配置を同時に行う概略配線問題の定式化について" 情報処理学会研究報告. 96-MPS5-4. (1996)

[Publications] 平澤知久,白石洋一: "親の形質を詳細に利用する遺伝的アルゴリズムを用いた電子系DAに於ける部品配置手法" 情報処理学会研究報告. 96-MPS-6-4. (1996)

[Publications] T.Hirayama and Y.Nishitani: "A Simplification algorithm of AND-EXOR expressins for multiple-output functions" IFIP WG 10.5 Workshop on Applications of the Reed-Muller Expansion in Circuit Design. 88-93 (1995)

[Publications] 平山貴司,西谷泰昭: "論理関数のあるクラスについて最小性を保証するAND-EXOR論理式の簡単化アルゴリズム" 電子情報通信学会論文誌. J78-D-I. 409-415 (1995)

[Publications] Y.Hamada,A.Mei,Y.Nishitani,and Y.Igarashi: "Embeddings of hyper-rings in hypercubes" ISAAC95,Lecture Notes in Computer Science. 1004. 312-321 (1995)

[Publications] 平山貴司,西谷泰昭,清水賢資: "対称関数のAND-EXOR論理式最小化" 第9回回路とシステム軽井沢ワークショップ. (1996)

[Publications] T.Akutsu: "Approximate string matching with don't care characters" Information Processing Letters. 55. 235-239 (1995)

[Publications] T.Akutsu: "A parallel algorithm for determining the congruence of point sets in three-dimensions" IEICE Trans. Information and Systems. E75-D. 321-325 (1995)

[Publications] T.Akutsu: "Protein structure alignment using a graph matching technique" Proceedings of Genome Informatics Workshop 1995. E75-D. 1-8 (1995)

[Publications] 阿久津達也: "二つの点集合の最大共通部分点集合を求めるランダマイズド・アルゴリズム" 情報処理学会研究報告. 96-AL-46-14. 105-109 (1995)

[Publications] 阿久津達也,鮑豊: "最小キ-および最適部分構造スクリーンの近似" 情報処理学会研究報告. 96-AL-47-3. 17-24 (1995)

[Publications] T.Akutsu and H.Tashimo: "Protein structure comparison using representation by line segment sequences" Proceedings of Pacific Symposium on Biocomputing'96. 25-40 (1996)

[Publications] J.A.McCann,N.J.Williams,P.Osmon,and D.Bolton: "Dynamic File Migration to Support Parallel Database Systems" Proceedings of IEEE/ACM Mascots'95. (1995)

[Publications] A.Saulsbury,T.Wilkinson,J.Carter,and A.Landin: "An Argument for Simple COMA" 1st International Symposium on High Performance Computer Architecture. (1995)

[Publications] T.Wilkinson and K.Murray: "Extensible,flexible and secure services in Angel,a single address space operating system" 1st International Conference onParallel Architectures and Algorithms. (1995)

五十嵐善英群馬大学, 工学部, 教授 (60006260)