| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2008-06-03 14:30 量子ペトリネットによる量子コンピュータのモデル化 ○伊藤慎祐・太田 淳・辻 孝吉（愛知県立大）  CST2008-8 |
|
| 抄録 | （和） | 量子コンピュータは従来のコンピュータより高速であることが期待されているコンピュータである．その研究では様々な古典計算モデルが量子計算モデルへ拡張され研究されている．コンカレントシステムのモデル化や解析に有効とされているペトリネットも量子ペトリネットに拡張され，これによるモデル化や解析について研究され始めている．しかし，従来の定義とモデル化方法ではより一般的な計算過程にある量子コンピュータのモデル化にいくつかの問題点がある．本報告ではまず，この問題点を解決するための新しいモデルの定義やモデル化のための条件の検討を行う．次に，量子チューリング機械のモデル化の検討から新しいモデルの提案し，このモデルが従来のモデル化対象の計算過程より一般的な計算過程のシミュレーションを行えることを示す． |
| （英） | Quantum computer has been expected to run faster than classical ones. In reserch of qunatum computer, various classical computation models have been extended to quantum ones. On the other hand, Petri Net, that is an effective tool for modeling and analysis concurrent systems, has been extended to Quantum Petri Net, and modeling and analysis by Qunatum Petri Net is begining to be studied. However, conventional definition and modeling method have several drawbacks with modeling qunatum computer in more general calculation processes. In this paper, first, we define new models and examine a condition for modeling in order to solve these drawbacks. Next, we propose new model from examination of modeling quantum Turing machine, and show that these models can simulate a more general calculation process than a process which conventional model can simulate. | |
| キーワード | （和） | 量子コンピュータ / ペトリネット / 量子ペトリネット / 量子チューリング機械 / / / / |
| （英） | Petri Net / Quantum Petri Net / quantum computer / modeling / quantum Turing Machine / / / | |
| 文献情報 | 信学技報, vol. 108, 2008年6月. | |
| 資料番号 | ||
| 発行日 | 2008-05-27 (CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CST2008-8 |
|
| 研究会情報 | |
| 研究会 | MSS |
| 開催期間 | 2008-06-02 - 2008-06-03 |
| 開催地（和） | 名古屋大学野依記念学術交流館 |
| 開催地（英） | Nagoyo University, Noyori Conference Hall |
| テーマ（和） | コンカレントシステム、離散事象システム、ハイブリッドシステム、および一般 |
| テーマ（英） | Concurrent Systems, Discrete Event Systems, Hybrid Systems, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2008-06-CST |
| 本文の言語 | 日本語 |
| タイトル（和） | 量子ペトリネットによる量子コンピュータのモデル化 |
| サブタイトル（和） | |
| タイトル（英） | Modeling of Quantum Computer by using Quantum Petri Net |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 量子コンピュータ / Petri Net |
| キーワード(2)（和/英） | ペトリネット / Quantum Petri Net |
| キーワード(3)（和/英） | 量子ペトリネット / quantum computer |
| キーワード(4)（和/英） | 量子チューリング機械 / modeling |
| キーワード(5)（和/英） | / quantum Turing Machine |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 伊藤 慎祐 / Shinsuke Ito / イトウ シンスケ |
| 第1著者 所属（和/英） | 愛知県立大学 (略称： 愛知県立大) Aichi Prefectural University (略称： Aichi Prefectural Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 太田 淳 / Atsushi Ohta / オオタ アツシ |
| 第2著者 所属（和/英） | 愛知県立大学 (略称： 愛知県立大) Aichi Prefectural University (略称： Aichi Prefectural Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 辻 孝吉 / Kohkichi Tsuji / ツジ コウキチ |
| 第3著者 所属（和/英） | 愛知県立大学 (略称： 愛知県立大) Aichi Prefectural University (略称： Aichi Prefectural Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2008-06-03 14:30:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CST2008-8 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | no.79 |
| ページ範囲 | pp.19-24 |
| ページ数 | 6 |
| 発行日 | 2008-05-27 (CST) |
[研究会発表申込システムのトップページに戻る]