权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

プログラムの連続的変化を表現する代数的表現論の研究

表达程序连续变化的代数表示论研究

基本信息

批准号：
10139232
负责人：
佐藤周行
金额：
$ 1.28万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas (A)
财政年份：
1998
资助国家：
日本
起止时间：
1998 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139232/
关键词：
論理プログラム導出木メタ計算系分散共有メモリ PCクラスタ

项目摘要

論理型プログラムの局所化我々の解析対象は論理プログラムの作る導出木の構造である。しかしその構造はプログラムの規模が大きくなるほど解析が難しくなる。そこで、ある少数の節の集合に注目して、それがプログラム中にどのような構造を与えているかを解析し、その後で全体にまとめる方針をとる。本年度は導出木とモデルの間にある「部分的に商をとった」構造の究明を進めた。そこでは導出木が、部分的な商の構造から復元できるという意味でスキームの導出木版になっていることを示した。連続的変化が起こる分散並列環境の構築本年は数値計算ライブラリを計算リソースとして分散環境のなかで利用するシステムを構築した。具体的に外部環境に存在する高速計算機資源を数値計算ライブラリのインターフェイスでトランスペアレントに利用できるメタ言語処理系を構築した。ここでは外部分散環境とのインタラクションを実行時環境の提供とコンパイラディレクティブの形で提供している。このコンパイラシステムのソフトウェアアーキテクチャを検討し、実装を行った。また、分散環境の実現として、分散共有メモリシステムを実現した。分散共有メモリ上では共有オブジェクトが各スレッドに見えるので、理論の構築が容易であるので実際と理論を結ぶときの有効なプラットフォームになる。本年度はcommodityを使ったハードウェア/ソフトウェア環境で効率よく分散共有メモリを実現するための機構を実現した。具体的にはPCクラスタ上のPVM環境で分散共有メモリを実現し、さらに性能面での欠点を克服するためにキャッシュシステムを構築した。

On the theory of type プログラムのbureau 化我々のANALYSIS 対 resemble は on 理プログラムの作るDERIVE MU のSTRUCTURE である. It is difficult to analyze the size of the structure of the structure and the size of the structure.そこで、ある小の节の集に心して、それがプログラム中にどのようなstructureを and えているかをanalysisし, その后でOVERALL にまとめるPlan をとる. This year, we will introduce the structure of "part of the wooden shop floor".そこでは出木が, part of the な商のstructural からFU元できるというmeans でスキームのderived woodblock になっていることをshows した. The continuous change of the environment and the construction of a distributed and parallel environment. This year's calculation of the numerical value. Calculate the distributed environment and use it to build the distributed environment. Specific external environment exists and high-speed computer resources are used to calculate the numerical value.ーフェイスでトランスペアレントに is built using the できるメタ speech processing system.ここでは external dispersed environment とのインタラクションを実行时 Environmentのprovideとコンパイラディレクティブのshapedでprovideしている.このコンパイラシステムのソフトウェアアーキテクチャを検问し、実装を行った.また, dispersed environment の実appears として, dispersed shared メモリシステムを実appears した. Dispersed shared ownership, shared ownership, shared ownership, and the structure of the theory It's easy to build the theory that it's easy to build, it's easy to build, and it's easy to build. This year's commodity and efficiency of the environment and the efficiency of the environment are dispersed and shared. The specific PVM environment on the PC system is distributed and shared by the company. In terms of performance, the shortcomings have been overcome and the performance has been improved.