本文關(guān)鍵詞：幾類非確定型量子程序的終止驗(yàn)證

  更多相關(guān)文章： 量子通訊 量子程序 程序驗(yàn)證 信息安全

【摘要】：程序驗(yàn)證是保證程序正確性的關(guān)鍵技術(shù).由于經(jīng)典世界和量子世界的本質(zhì)不同,經(jīng)典程序驗(yàn)證的技術(shù)和工具不能直接應(yīng)用到量子系統(tǒng).而量子程序設(shè)計(jì)語言是描述量子系統(tǒng)的一種新的形式化模型,量子程序的驗(yàn)證問題就顯得更為迫切和必要.本文首先討論了量子通訊中常用的比特翻轉(zhuǎn)、相位翻轉(zhuǎn)、去極化、幅值阻尼、相位阻尼等信道作為特殊的非確定型量子程序從計(jì)算基態(tài)開始運(yùn)行時(shí)的可達(dá)集合和終止集合等程序驗(yàn)證問題.其次,把上述五種量子程序兩兩組合組成非確定型量子程序,根據(jù)這五種量子程序的可達(dá)集合之相似點(diǎn),最終合并成三種非確定型量子程序,重點(diǎn)討論了這三種非確定型量子程序從計(jì)算基態(tài)開始運(yùn)行時(shí)的終止和發(fā)散等程序驗(yàn)證問題.研究表明:這三種非確定型量子程序從計(jì)算基態(tài)0開始運(yùn)行時(shí)都是終止的;而從計(jì)算基態(tài)1開始運(yùn)行時(shí):比特翻轉(zhuǎn)信道和去極化信道組成的非確定型量子程序的終止和發(fā)散與分別刻畫它們的兩個(gè)參數(shù)有關(guān);比特翻轉(zhuǎn)信道和相位翻轉(zhuǎn)信道組成的非確定型量子程序的終止和發(fā)散只與刻畫比特翻轉(zhuǎn)信道的參數(shù)有關(guān);幅值阻尼信道和相位阻尼信道組成的非確定型量子程序是發(fā)散的,其發(fā)散條件與刻畫量子信道的兩個(gè)參數(shù)都沒有關(guān)系.本文的結(jié)果可以為量子信息安全中量子通訊協(xié)議的驗(yàn)證提供理論和技術(shù)支持.
【作者單位】： 內(nèi)江師范學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院;四川省高等學(xué)校數(shù)值仿真重點(diǎn)實(shí)驗(yàn)室;
【關(guān)鍵詞】： 量子通訊 量子程序 程序驗(yàn)證 信息安全
【基金】：四川省教育廳重點(diǎn)科研項(xiàng)目(No.14ZA0242);四川省教育廳科研創(chuàng)新團(tuán)隊(duì)基金(No.15TD0027) 教育部數(shù)學(xué)與應(yīng)用數(shù)學(xué)專業(yè)綜合改革(No.ZG0464) 四川省數(shù)學(xué)與應(yīng)用數(shù)學(xué)專業(yè)綜合改革(No.01249) 四川省應(yīng)用基礎(chǔ)研究計(jì)劃(No.2015JY0120)
【分類號(hào)】：TP311.1
【正文快照】： 1引言Shor[1]關(guān)于大數(shù)的質(zhì)因子分解算法以及Grover[2]關(guān)于數(shù)據(jù)庫搜索算法的相繼出現(xiàn),顯示出量子計(jì)算在某些計(jì)算領(lǐng)域比經(jīng)典計(jì)算更有效[3].當(dāng)前,量子算法還處在較低水平的量子線路的探索階段.正如Abram-sky[4]所說的,高水平的概念化的方法對(duì)量子系統(tǒng)的設(shè)計(jì)、編程、推理是很必要

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前5條

1 王擁兵;張麗霞;雷紅軒;;基于量子邏輯的確定型正則文法[J];計(jì)算機(jī)工程與科學(xué);2013年09期

2 Paul Bourret;Patrice Cros;邵維忠;;一個(gè)確定型的操作系統(tǒng)模型[J];計(jì)算機(jī)科學(xué);1981年05期

3 許道云;王曉峰;;一個(gè)可控制變遷系統(tǒng)模型[J];廣西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年02期

4 李平;李永明;;偽加權(quán)轉(zhuǎn)換器的極小確定實(shí)現(xiàn)化[J];陜西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年06期

5 ;[J];;年期

中國重要報(bào)紙全文數(shù)據(jù)庫 前1條

1 ;經(jīng)營管理（35）[N];中國電力報(bào);2000年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 張文華;確定型和不確定型的施工成本管理研究[D];山東大學(xué);2010年

2 李瑩;大眾購書行為及其模型研究[D];同濟(jì)大學(xué);2008年

，

本文編號(hào)：979394