Petri網(wǎng)是對離散并行系統(tǒng)建模的有效工具之一。Petri網(wǎng)的結(jié)構(gòu)有直觀的圖形表示也有基于數(shù)學(xué)工具的抽象表述方式。它的理論發(fā)展為分析系統(tǒng)行為和計算機科學(xué)提供堅實的理論基礎(chǔ)。Petri網(wǎng)已被廣泛的應(yīng)用于計算機科學(xué),分布式計算以及并發(fā)系統(tǒng)的建模與分析當(dāng)中。 本文利用Petri網(wǎng)對量子計算模型的核心可逆邏輯門與大型的可逆邏輯電路進(jìn)行建模與分析。首先根據(jù)邏輯電路門(包括與門和非門等)的Petri網(wǎng)模型得到可逆邏輯門Fredkin門的Petri網(wǎng)模型,進(jìn)而對建立的Petri網(wǎng)模型的可達(dá)性、并發(fā)性、有界性、結(jié)構(gòu)有界性、死鎖和活性等特性進(jìn)行分析。將Fredkin門的Petri網(wǎng)模型轉(zhuǎn)化為嚴(yán)格的數(shù)學(xué)表達(dá)方式后進(jìn)行分析。通過分析得到Fredkin可逆邏輯門的Petri網(wǎng)模型是結(jié)構(gòu)有界、結(jié)構(gòu)守恒的、不存在死鎖、陷阱和沖突,并且存在兩對并發(fā)變遷,但是Fredkin可逆邏輯門的Petri網(wǎng)模型不是活性網(wǎng)。 可逆邏輯電路是量子計算模型的核心結(jié)構(gòu),利用可逆邏輯門可以組建大型的可逆邏輯電路。在Fredkin門的Petri網(wǎng)基礎(chǔ)上,本文進(jìn)一步對大型的可逆邏輯電路進(jìn)行Petri建模。由可逆邏輯門組成的可逆邏輯電路...

【文章頁數(shù)】：56 頁

【學(xué)位級別】：碩士

【部分圖文】：

圖2.2.Toffoli可逆邏輯門結(jié)構(gòu)

圖2.2.Toffoli可逆邏輯門結(jié)構(gòu)FigZ·2.ThestructureofTOffoligate·逆邏輯電路電路的廣義的概念是指由可逆邏輯門作為基本組成單元，對應(yīng)于每的邏輯電路�？赡孢壿嬀C合，就是用給定的可逆門和可逆網(wǎng)絡(luò)的所需要的可逆邏輯網(wǎng)絡(luò)，并使得代價盡可能小�？赡孢壿嬀C....

圖3.5.Toffoli可逆邏輯門的Petri網(wǎng)模型

鏗少仁_..一一一一一一一一一一一一一一型些絲旦竺加。因此，用來描述輸出的庫所應(yīng)該是兩個輸入變遷的任意的一標(biāo)識數(shù)目的累加。因為Toffoh可逆邏輯門的輸入往往是二進(jìn)制慮分量為0或1的情形。在Toffeli可逆邏輯門的Petri網(wǎng)模型中，如下定義:當(dāng)庫所中含有1....

圖4.4.，A運算與，v運算的Petri網(wǎng)建模流程

用另一個庫所表示乓。圖4.3給出根據(jù)SteP2.1和SteP2.2進(jìn)行建模。若存在“否”運算，則圖5.3中的Petri網(wǎng)模型可以根據(jù)steP3進(jìn)一步修改，如圖4.4所示。，廠、，八參與畢x’口xl口=月夕x2Ox‘任沖口一洲OxZo--呻口一O“纓繆x，O一口一OxZG一口一Ox....

本文編號：4018604