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

書換え計算モデル論に基づく宣言型言語の並列性の解析および制御

基于重写计算模型理论的声明式语言并行性分析与控制

基本信息

批准号：
05219201
负责人：
井田哲雄
金额：
$ 1.6万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
财政年份：
1993
资助国家：
日本
起止时间：
1993 至无数据
项目状态：
已结题

项目摘要

宣言型言語で書かれたプログラムに暗黙的に存在する並列性を活用し、超並列計算環境下で高速に宣言型プログラムを実行できることを実証しようというのが、本研究の目的である。本研究では、宣言型言語の計算モデルとして、項書換え系に着目している。研究の課題を、(1)項書換え系の超並列計算の理論的な問題点の解明、(2)項書換え超並列計算の実現、(3)項書換え系を計算モデルとする超並列計算に適した宣言型言語の設計に分け、研究を推進した。以下に具体的な研究成果を述べる。項書換え系の簡約戦略項書換え系の簡約戦略における並列処理と逐次処理の長短得失について、理論的な検討を行った。逐次戦略には計算可能性と計算コストの双方を損なわないで、より広いクラスの項書換え系を対象とする正規化戦略がある。これまでに、簡約における巡経路を巧妙に検出し、逐次でも正規化戦略となる知的逐次戦略を見出した。この新たな逐次戦略は従来の逐次戦略の限界であった強逐次正交項書換え系より広い項書換え系に適用することができる。項書換え超並列計算の実現条件付き項書換え系のナローイング戦略を検討した。ナローイングの完全性を保証する戦略として、LOI戦略(Leftmost Outside-In戦略)を定義し、その完全性を示した。完全性は、strict-equationを条件にもつ正交条件付き項書換え系に対して保証される。この結果をさらに作用型条件付き項書換え系に拡張し、高階プログラミングが可能な言語の計算モデルを設計した。並列/分散環境下での制約解決系ナローイング計算系と制約解消系を組み合わせた計算系、制約ナローイング計算系を設計した。

Declarative language is a book that has a dark existence, parallelism, and utilization in a hyper-parallel computing environment. The purpose of this study is to express the high-speed declaration type of the vehicle. This research is based on the calculation of the declarative language and the project of the project. Research topics: (1) Explanation of problems in the theory of super-parallel computing based on the book-changing system, (2) Super-parallel computing based on the book-changing system Now, (3) Item (3) The book exchange system is calculated and super parallel computing is adapted and declared language is designed and divided, and the research is promoted. The specific research results are described below. The simple war strategy of the item book exchange for the system is a simple war strategy for the item book exchange. Calculate the likelihood and calculate the probability of the war strategy one by one.これまでに, simple における patrol the road を ingenious に検出し, regular 戦strategy step by step となるKnowing the step by step tactic を见出した.この新たな successive battle strategy は従来の successive battle strategy のlimited であったstrong successive orthogonal item book change え system より広い item book change え system にapplicable することができる. Item book exchange is a super parallel calculation of the current condition of payment. Item book exchange is a department of the system. The completeness of ナローイングのguaranteeする戦strategyとして, LOI戦strategy (Leftmost Outside-In 戦strategy)をDefinitionし, and the completeness of その戦strategyした. Completeness, strict-equation, condition, orthogonal condition, item book exchange, system, guarantee, etc.このRESULTS をさらにAction type conditional payment き item book exchange え system に拡张し, high-order プログラミングがpossible なverbal のcalculation モデルをdesign した. In the parallel/distributed environment, the constraint solution system and the constraint elimination system are combined and designed, and the constraint solution calculation system and the constraint elimination system are designed.