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

素子数と段数に基づく回路計算量の階層性の証明と論理合成システムの評価への応用

基于元件和级数的电路复杂度层次证明及其在逻辑综合系统评估中的应用

基本信息

批准号：
09780297
负责人：
岩本宙造
金额：
$ 1.28万
依托单位：
Hiroshima University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
起止时间：
1997 至 1998
项目状态：
已结题

项目摘要

論理最適化システムの性能は,定数個のテスト回路からなる標準ベンチマーク集合に対して,素子数や段数をどれだけ減らせるかで評価されてきた.しかし,ベンチマーク集合による評価では,「テスト回路を意識したシステム開発」という不正を防止できないという欠点があった.このような背景から本研究では,次の二つの目標を設定し,研究を進めて来た.(1)素子数や段数を増やせば計算能力が真に増加するという「回路計算量の階層性」を理論的に証明する.(2)この理論的裏付けをもとに,「素子数と段数の最適性を証明できる具体的関数」を見つけ出す.この関数を計算する回路を論理合成システムで構成し,素子数や段数が最適値にどれだけ近いかを検討することでシステムの性能を評価する.平成10年度は,以下の研究成果を公表した.1.直列計算における時間量と領域量に関する稠密な階層性を証明した.領域量階層に関しては,電子情報通信学会論文誌に採録が決定している.また,時間量階層に関しては,チェコ共和国で開催された国際会議(23rd International Symposium on Mathematical Foundations of Computer Science),および,竹原市で開催された「情報基礎理論ワークショップ」にて成果を公表した.2.回路計算量については,対数時間一様と呼ばれるある種の論理回路族の計算量階層に関する論文を,国際学術雑誌(Journal of Computer and System Sciences)に投稿中である.また,1.と2.は,電子情報通信学会第11回「回路とシステム(軽井沢)ワークショップ」にて招待講演として研究成果を公表した.

The performance of logic optimization system is to determine the number of time loops from the standard set to the set, the number of elements and the number of segments from the set to the set. The answer to this question is,"The loop is conscious of the development of the system" and "The error is prevented." The background of this study is different, the second is different, the purpose is different, the study is different. (1)The number of elements and the number of segments increase, and the computational power increases. (2)The theory of "prime number and segment number of optimal proof" is presented in this paper. The number of elements and the number of segments are optimal. The performance of the system is evaluated. The following research results were presented in the 10th year of Heisei. 1. In-line calculation, time, field, density and hierarchy were proved. The domain quantity hierarchy is related to the electronic information communication society paper acquisition and recording. The Republic of Korea is opening an international conference.(23rd International Symposium on Mathematical Foundations of Computer Science), Takehara City, Japan, 2006."Basic Theory of Information," 2007."Calculation of Loop," 2007."Calculation of Logic Loop," 2007. Journal of Computer and System Sciences The 11th session of the Electronic Information Communication Society,"The Loop and the System", presented the results of its research.