No |
24183 |
標題(和) |
強連結状態機械の複合によるSMAネットの合成 |
標題(英) |
A Modular Synthesis Algolithm of SMA Nets Based on Strongly Connected State Machine |
研究会名(和) |
回路とシステム; 通信方式; ディジタル信号処理 |
研究会名(英) |
Circuits and Systems; Communication Systems; Digital Signal Processing |
開催年月日 |
1992-03-05 |
終了年月日 |
1992-03-06 |
会議種別コード |
2 |
共催団体名(和) |
電気学会 |
資料番号 |
CAS91-165 // CS91-125 // DSP91-92 |
抄録(和) |
一般に、並行システムを設計するにはそのシステムの全体を理解する必要があるが、それを理解するにはシステムがあまりにも複雑すぎる。そのため、並行システムの設計には1つのシステムを独立したサブシステムやモジュ-ルに分割する設計手法が有効である。本論文では、システムのサブシステムが有限オ-トマトンで構造化される並行システムの複合アルゴリズムを与えた。具体的には、与えられた強連結な状態機械の集合を複合してSMAネットを合成する効率的アルゴリズムを構築した。SMAネットはそのライブかつセ-フなマ-キングの存在が保証されているクラスであり、適当な資格を配置することによって、そのシステムではデッドロック、デ-タのオ-バ-フロ-が起こらないことが保証される。 |
抄録(英) |
In the paper,we consider a modular synthesis algorithm for a net to be an SMA net.The structural properties of SMA nets based on SCSM-components (Strongly Connected State Machines) have been obtained by Lee,et.al.The results are complete in the sense that it gives a necessary and sufficient condition for a net to be an SMA net in terms of SCSM-components.However,there are several difficulties to establish the synthesis rules directly from the results.The aim of this paper is to establish an efficient modular synthesis algorithm for a net to be an SMA net based on SCSM-components. |
収録資料名(和) |
電子情報通信学会技術研究報告 |
収録資料の巻号 |
Vol.91 No.493〜498 |
ページ開始 |
31 |
ページ終了 |
36 |
キーワード(和) |
禁止ハンドル |
キーワード(英) |
forbidden handle |
本文の言語 |
JPN |
著者(和) |
西村忠昭 |
著者(ヨミ) |
ニシムラタダアキ |
著者(英) |
Nishimura Tadaaki |
所属機関(和) |
大阪大学工学部電子工学科 |
所属機関(英) |
Department of Electronic Engineering,Faculty of Engineering,Osaka University |
著者(和) |
児玉慎三 |
著者(ヨミ) |
コダマシンゾ- |
著者(英) |
Kodama Shinzou |
所属機関(和) |
大阪大学工学部電子工学科 |
所属機関(英) |
Department of Electronic Engineering,Faculty of Engineering,Osaka University |
著者(和) |
熊谷貞俊 |
著者(ヨミ) |
クマガイサダトシ |
著者(英) |
Kumagai Sadatoshi |
所属機関(和) |
大阪大学大型計算機センタ- |
所属機関(英) |
Computation Center,Osaka University |
著者(和) |
李東翊 |
著者(ヨミ) |
リ-ドン・イク |
著者(英) |
Lee Dong-Ik |
所属機関(和) |
大阪大学工学部電子工学科 |
所属機関(英) |
Department of Electronic Engineering,Faculty of Engineering,Osaka University |
著者(和) |
永津秀雄 |
著者(ヨミ) |
ナガツヒデオ |
著者(英) |
Nagatsu Hideo |
所属機関(和) |
大阪大学工学部電子工学科 |
所属機関(英) |
Department of Electronic Engineering,Faculty of Engineering,Osaka University |