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

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

【學位級別】：碩士

【部分圖文】：

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

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

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

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

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

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

本文編號：4018604