講演抄録/キーワード |
講演名 |
2009-06-04 15:15
色つき量子ペトリネットによる量チューリング機械のモデル化と解析 ○伊藤慎祐・太田 淳・辻 孝吉(愛知県立大) CST2009-10 |
抄録 |
(和) |
量子コンピュータは素因数分解などの発見から,現在のコンピュータよりも高速な処理が期待されている.一方で,コンカレントシステムに有効とされているペトリネットに基づいたモデルによる量子コンピュータのモデル化と解析が研究されており,従来のペトリネットの応用と同様の利用が期待されている.本論文では,量子ペトリネットの色つきモデルである色つき量子ペトリネットとそのサブクラスによる量子チューリング機械のモデル化と解析の方法を示す.また,その解析は量子チューリング機械のテープ長に依存しない計算量となることを示す. |
(英) |
Quantum computers have been expected to run faster than classical ones since the algorithm for prime factorization and etc. were found. On the other hand, modeling and analysis of quantum computers by using models based on Petri nets which are effective tool for concurrent systems, have been studied. These models are expected to use for quantum computers in the same way as conventional Petri nets applications. In this paper, first, we define coloured quantum Petri nets and its subclass. Next, we show the modeling and analysis methods for quantum Turing machine by using these models, and the complexities of the analyses are independent from the tape length of quantum Turing machine. |
キーワード |
(和) |
量子コンピュータ / 量子チューリング機械 / ペトリネット / 量子ペトリネット / 色つき量子ペトリネット / / / |
(英) |
Quantum computers / Quantum Turing machine / Petri nets / Quantum Petri nets / Coloured quantum Petri nets / / / |
文献情報 |
信学技報, vol. 109, 2009年6月. |
資料番号 |
|
発行日 |
2009-05-27 (CST) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CST2009-10 |