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

並列プログラムの形式的設計法とその実現

并行程序的形式化设计方法及其实现

基本信息

批准号：
08780312
负责人：
猪股俊光
金额：
$ 0.64万
依托单位：
Shizuoka Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1996
资助国家：
日本
起止时间：
1996 至无数据
项目状态：
已结题

项目摘要

本研究では,並列プログラム設計法の開発,ならびにその方法に基づいた設計システムの実現を目的とした.研究は3つのステップに分けて実施し,それぞれ以下の結論を得た.1.設計仕様を記述するための表現法の考案:設計仕様の表現法には,並列計算に固有な動作が記述できるなどの性質が要求される.そのため,並列計算のためのモデル概念としてはペトリネットを,要求・条件の形式的記述や妥当性判定のために論理式を用いることとした.具体的には,ペトリネットで表現される並列動作や計算資源などを記述するために,古典論理の枠組としてではなく,線形論理に基づいた仕様記述言語を考案した.2.論理式による仕様の記述:ペトリネットと線形論理の対応関係を次のように定めることとした.プレースを命題(あるいは述語),トランジションを推論規則,トランジションの発火を推論規則の適用.これにより,仕様は,初期マ-キングを始式として,最終マ-キングを結論(を表す式)として表される.3.仕様を実現するペトリネットの構成:論理式で記述された仕様の妥当性を構成的に証明することができるならば,そのときの証明からペトリネットが構成される.具体的には,証明の中に含まれる推論規則ごとにトランジションをもうけ,推論規則の上式の論理式を入力プレース,下式の論理式を出力プレースすることによりペトリネットが構成される.現在,考案した設計法の有効性を確かめるために,設計システムの計算機上での実現を試みている.今後の課題として,得られたペトリネットのもつ性質を検討,設計システムの実現があげられる.

This study aims at the development of parallel design methods and the realization of basic design methods. The research has been carried out in three stages, and the following conclusions have been drawn. 1. Examination of the expression method of the design official: The expression method of the design official requires the nature of the inherent actions in parallel computing to be described. The concept of parallel calculation and the description of the form of the requirement and the appropriateness of the logical expression are used. The concrete expression of the expression is parallel to the description of the computational resources. The classical logic is composed of two groups. The linear logic is composed of two groups. The application of inference rules to the development of a problem. 3. The composition of the case: the proof of the appropriateness of the case: the proof of the composition of the case. The concrete proof includes inference rules, inference rules, Now, consider the effectiveness of the design method, and try to realize the design system on the computer. In the future, we will discuss the nature of the design and implementation of the system.