データ抽象化に基づく超並列処理シテスムの記述と処理方式に関する研究

基于数据抽象的大规模并行处理系统描述与处理方法研究

• 批准号: 04235208
• 负责人: 荒木 啓二郎
• 金额: $ 1.92万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1992
• 资助国家: 日本
• 起止时间: 1992 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04235208/
• 关键词: 超並列処理; データ抽象化; 仕様記述; 共有データ空間; 味覚センサー; ゲノムデータベース; スケジューラ; ニューラルネットワーク

1.形式的仕様記述とそれに基づくシステム開発データ抽象化に基づく超並列処理システムの記述法を提案するための準備として,形式的仕様記述言語Zを用いて,データ抽象化に基づいて関数型プログラミング言語処理システムの形式的仕様記述を行った。また,その形式的仕様に基づいて,言語処理システムの実現を,関数型プログラミング言語Mirandaを用いて行った。同じくデータ抽象化に基づいて共有データ空間を仕様記述し,その共有データ空間を介した並行動作プロセスの相互作用を記述する方法を考案した。2.超並列珍を有する具体的問題超並列処理システム記述に対する要件を明確するために,超並列処理を伴う現実の問題を実際に取り扱った。具体的には,生体情報処理の分野から,約10000個もの味の受容細胞によって処理されている味覚の認識を,人工的に合成した脂質膜を用いた味覚センサーによって得られた情報をニューラルネットワークによって解析した。また,遺伝子情報処理の分野から,約30億個もの文字(塩基)からなるヒトの遺伝子に関するデーたの検索を行うための演繹データベースの構成法および検索アルゴリズムに関する研究を行った。3.超並列処理システムの構成法と処理方式効率の高い超並列処理しステムの構成と処理方式の設計および実現を行うために必要な多くの基本要素に関する研究課題の中から,並列プロセス間の相互作用のフロー制御の方式の提案,一重Doacrossループを効率よく並列処理するために必要な最適プロセッタ数を求める方法の提示,プロセッサグループによる二レベルスケジューラの構成法を提示および処理方式の評価を行うためのシミュレータの開発を行った。

1. The formal description and abstraction of speech processing are based on the preparation of the formal description of speech processing. In addition, the system of speech processing is based on the system of speech processing, and the system of speech processing is based on the system of speech Miranda. A study on the method of describing the interaction between the common space and the abstract space 2. Super-parallel processing has a specific problem. Super-parallel processing has a specific requirement. Super-parallel processing has a specific problem. Specifically, the biological information processing is divided into about 10000 taste receptor cells, and the artificial synthetic lipid membrane is used to analyze the taste receptor cells. In the field of genetic information processing, there are about 3 billion words (base), and the genetic information of the genetic information is related to the construction of the genetic information system, and the research on the genetic information system is carried out. 3. The composition method of super-parallel processing system and the design method of processing system with high efficiency of super-parallel processing system and high efficiency of super-parallel processing system and the design method of processing system with high efficiency of super-parallel processing system and the design method of processing system with high efficiency of super-parallel processing system. The development of the system is based on the evaluation of the process and the suggestion of the composition of the system.

项目成果

Akira Fukuda: "Analysis of Input Control with Control Delay" J.Information Processing. 15. 168-176 (1992)

Akira Fukuda：“具有控制延迟的输入控制分析”J.信息处理。

Tomohiro Oda: "Development of Functional Programming Languag Systems based on Formal Method" Proc.1992 International Computer Symposium. 85-91 (1992)

Tomohiro Oda：“基于形式方法的函数式编程语言系统的开发”Proc.1992 国际计算机研讨会。

Keizo Saisho: "Toward the Pptimal Parallel Processing of a Single Doacross Loop on NUMA Multeprocessors" Proc.1992 International Computer Symposium. 132-1327 (1992)

Keizo Saisho：“走向 NUMA 多处理器上单个 Doacross 循环的完美并行处理”Proc.1992 国际计算机研讨会。

高木 利久: "ゲノムデータベース" 情報処理. 33. 1126-1133 (1992)

Toshihisa Takagi：“基因组数据库”信息处理 33. 1126-1133 (1992)。

Akira Suganuma: "Applitation of Neural Network to Human Tasting" Proc.COMPSAC 92. 277-282 (1992)

Akira Suganuma：“神经网络在人类品尝中的应用”Proc.COMPSAC 92. 277-282 (1992)