| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2014-03-06 13:25 行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化 ○河村 喬・佐藤洋一郎・横川智教（岡山県立大）・近藤真史（川崎医療福祉大）・有本和民（岡山県立大）  CAS2013-106 SIP2013-152 CS2013-119 |
|
| 抄録 | （和） | 筆者等は，大規模デジタルシステムを確率時限ペトリネット(STPN)でモデル化し，ペトリネットシミュレーションを繰り返し実行することで性能評価を行う方法を提案したが，多大の時間を要することが問題となっている．本研究では，この性能評価を高速化するための3つの手法を提案している．STPNの構造の表現方法には接続行列およびリストがあり，それぞれに対して，列方向と行方向の圧縮を適宜施す行列圧縮手法およびSTPNの各ノードの入出力の双方向にリストを拡張する拡張隣接リスト手法を提案している．さらに，1回のペトリネットシミュレーションを単位としてGPGPUを利用した並列化手法を提案している．これらの手法を用いた評価結果によれば，行列圧縮手法および拡張リスト手法により，それぞれ，従来法に比して約99.8%および約99.4%の高速化を達成でき，行列圧縮手法と並列化手法を併用することでさらに短縮できる． |
| （英） | We proposed a method of evaluating performance of large scale digital systems by modeling with the STPN and executing petri net simulations. In this method, however, it takes very much time to execute petri net simulations. This study propose high-speed methods of executing petri net simulations. First, we propose two methods: matrix compression technique to give the compression of row direction and column direction appropriately and expansion adjacency list technique to bi-directionally expand the list of the input and output of each node of STPN. Furthermore, we propose a concurrency technique using GPGPU. According to the experimental results using these techniques, by the matrix compression technique and the expansion list technique, speedup of about 99.8% and about 99.4% can be achived in comparison with conventionally, respectively. And then it is shown that using both the matrix compression technique and the concurrency technique in combination is most effective. | |
| キーワード | （和） | GALSシステム / 性能評価 / ペトリネット / 接続行列 / リスト / / / |
| （英） | GALS system / performance evaluation / petri net / incidence matrix / list / / / | |
| 文献情報 | 信学技報, vol. 113, no. 463, CAS2013-106, pp. 91-96, 2014年3月. | |
| 資料番号 | CAS2013-106 | |
| 発行日 | 2014-02-27 (CAS, SIP, CS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| 査読に ついて |
本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります． | |
| PDFダウンロード | CAS2013-106 SIP2013-152 CS2013-119 |
|
| 研究会情報 | |
| 研究会 | CS CAS SIP |
| 開催期間 | 2014-03-06 - 2014-03-07 |
| 開催地（和） | 大阪市立大学 学術情報総合センター |
| 開催地（英） | Osaka City University Media Center |
| テーマ（和） | ネットワークプロセッサ，通信のための信号処理，無線LAN/PAN，一般 |
| テーマ（英） | Network Processor, Signal Processing for Communication, Wireless LAN/PAN, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | CAS |
| 会議コード | 2014-03-CS-CAS-SIP |
| 本文の言語 | 日本語 |
| タイトル（和） | 行列圧縮とGPGPUを利用したペトリネットシミュレーションの高速化 |
| サブタイトル（和） | |
| タイトル（英） | High-speed Petri Net Simulation Using Matrix Compression and GPGPU |
| サブタイトル（英） | |
| キーワード(1)（和/英） | GALSシステム / GALS system |
| キーワード(2)（和/英） | 性能評価 / performance evaluation |
| キーワード(3)（和/英） | ペトリネット / petri net |
| キーワード(4)（和/英） | 接続行列 / incidence matrix |
| キーワード(5)（和/英） | リスト / list |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 河村 喬 / Takashi Kawamura / カワムラ タカシ |
| 第1著者 所属（和/英） | 岡山県立大学 (略称： 岡山県立大) Okayama Prefectural University (略称： Okayama Prefectural Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 佐藤 洋一郎 / Yoichiro Sato / サトウ ヨウイチロウ |
| 第2著者 所属（和/英） | 岡山県立大学 (略称： 岡山県立大) Okayama Prefectural University (略称： Okayama Prefectural Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 横川 智教 / Tomoyuki Yokogawa / ヨコガワ トモユキ |
| 第3著者 所属（和/英） | 岡山県立大学 (略称： 岡山県立大) Okayama Prefectural University (略称： Okayama Prefectural Univ.) |
| 第4著者 氏名（和/英/ヨミ） | 近藤 真史 / Masafumi Kondo / コンドウ マサフミ |
| 第4著者 所属（和/英） | 川崎医療福祉大学 (略称： 川崎医療福祉大) Kawasaki University of Medical Welfare (略称： Kawasaki Univ. of Medical Welfare) |
| 第5著者 氏名（和/英/ヨミ） | 有本 和民 / Kazutami Arimoto / アリモト カズタミ |
| 第5著者 所属（和/英） | 岡山県立大学 (略称： 岡山県立大) Okayama Prefectural University (略称： Okayama Prefectural Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2014-03-06 13:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | CAS |
| 資料番号 | CAS2013-106, SIP2013-152, CS2013-119 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | no.463(CAS), no.464(SIP), no.465(CS) |
| ページ範囲 | pp.91-96 |
| ページ数 | 6 |
| 発行日 | 2014-02-27 (CAS, SIP, CS) |
[研究会発表申込システムのトップページに戻る]