量子連続時間Markov連鎖に対する連続確率論理の検査【JST・京大機械翻訳】

Mei Jingyi; Xu Ming; Guan Ji; Deng Yuxin; Yu Nengkun

プレプリント

J-GLOBAL ID：202202221034237116 整理番号：22P0288024

量子連続時間Markov連鎖に対する連続確率論理の検査【JST・京大機械翻訳】

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (5件)： , , , ,
資料名：
発行年： 2022年02月10日プレプリントサーバーでの情報更新日： 2023年06月30日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

量子システムの検証は,過去数十年間,多くの興味を引きつけた。本論文では,量子連続時間Markov連鎖(量子CTMCs)の定量的モデル検査を研究した。量子CTMCsの分岐時間特性を連続確率論理(CSL)によって特定し,それは古典的CTMCsを含む実時間システムを検証するために有名な。CSL公式の検査のコアは,公式まで混相する多相にある。経路式の確率測度を記号的に計算するために,適切な投影,行列指数化,および明確な積分を用いた代数的方法を開発した。このように,CSLの殺菌性を確立した。効率的であるために,時間複雑性が入力モデルの符号化サイズにおいて多項式であり,入力式のサイズにおいて線形であることを保証するために,数値的方法を組み込んだ。Apollonianネットワークの走行例をさらに提供して,著者らの方法を実証した。【JST・京大機械翻訳】

, , , , , , , , , , , ,
, , , 【Automatic Indexing@JST】

システム・制御理論一般 , 計算理論

, , , ,

前のページに戻る