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

有理数プレスブルガー文真偽判定の高速処理系

用于判断有理普雷斯堡句子真假的高速处理系统

基本信息

批准号：
11780219
负责人：
岡野浩三
金额：
$ 1.41万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2000
项目状态：
已结题

项目摘要

本研究では,実用的な実時間システムの諸性質(安全性,設計の正しさ)を自動判定することを目標に,有理数プレスブルガー文の真偽判定アルゴリズムの実用的高速化方法を考案し,実際にそのような応用システムに使用できる真偽判定プログラムを実装する.昨年までに基本アルゴリズムは完成し,また高速化のためのアルゴリズムの検討が終わっていた.そこで今年度はその高速アルゴリズムの実装と評価を行った.また評価実験の結果をまとめ論文投稿を行った.本研究の基本となるアルゴリズムは,従来の種々提案されてきた判定アルゴリズムとは大きく異なり,計算幾何学上のアルゴリズムに基づくものである.実装にあたり,表現データ構造である凸多面体の数をなるべく少なくする,真偽判定の処理に伴って必要であるデータ構造の変形をなるべく効率よく行う,冠頭標準形ではない,一般の形の式を扱えるようにするなどの工夫を行った.実装した有理数プレスブルガー文の真偽自動判定ルーチンに対して評価実験を行った結果を,非同期バス転送プロトコルの試験系列の自動生成など実用的な検証例題に適用した結果,十分実用時間で試験系列の生成ができることが確かめられた.また,一般のプレスブルガー文に対してアルゴリズムの振る舞いを調べた結果,改良前よりも高速に判定できることがわかった.

In this study, the purpose of automatic determination of the properties (safety, design integrity) of the actual time system is to investigate the high speed method for the implementation of the reasonable number of documents for authenticity determination, and to implement the method for authenticity determination using the actual time system. Last year, we completed the basic research project, and we completed the research project of speeding up the research project. This year's high speed car crash was launched. Comments on the results of the paper The basic theory of this study is to determine whether there is a difference between the two, and to calculate the geometry of the two. The number of convex polyhedra in the performance structure is less than the number of convex polyhedra in the performance structure. The processing of authenticity determination is accompanied by the necessary number of convex polyhedra in the performance structure. The number of convex polyhedra in the performance structure is less than the number of convex polyhedra in the performance structure. The automatic determination of the authenticity of the test series is based on the results of the evaluation of the test series. The automatic generation of the test series is based on the results of the evaluation of the test series. The results of the adjustment of the vibration of the general and special purpose vehicles were improved.