可逆逻辑门与可逆逻辑电路的Petri网建模与分析

代理获取

页面导航

目录
摘要
著录项
相似文献
相关主题

摘要

Petri网是对离散并行系统建模的有效工具之一。Petri网的结构有直观的图形表示，也有基于数学工具的抽象表述方式。它的理论发展为分析系统行为和计算机科学提供坚实的理论基础。Petri网已被广泛的应用于计算机科学，分布式计算以及并发系统的建模与分析当中。
　　本文利用Petri网对量子计算模型的核心可逆逻辑门与大型的可逆逻辑电路进行建模与分析。首先根据逻辑电路门（包括与门和非门等）的Petri网模型得到可逆逻辑门Fredkin门的Petri网模型，进而对建立的Petri网模型的可达性、并发性、有界性、结构有界性、死锁和活性等特性进行分析。将Fredkin门的Petri网模型转化为严格的数学表达方式后进行分析。通过分析得到Fredkin可逆逻辑门的Petri网模型是结构有界、结构守恒的、不存在死锁、陷阱和冲突，并且存在两对并发变迁，但是Fredkin可逆逻辑门的Petri网模型不是活性网。
　　可逆逻辑电路是量子计算模型的核心结构，利用可逆逻辑门可以组建大型的可逆逻辑电路。在Fredkin门的Petri网基础上，本文进一步对大型的可逆逻辑电路进行Petri建模。由可逆逻辑门组成的可逆逻辑电路在一定程度上能够保持Petri网的可达性、并发性、有界性、结构有界性、死锁、活性等特性；反之，一部分可逆逻辑电路的Petri网模型具备的特性是Fredkin可逆逻辑门所不具备的，通过分析得到死锁、活性以及可达性是比较典型的三个满足上述特征的特性。通过分析可逆逻辑门的每个输入与输出的关系以及可逆逻辑电路中数值的计算过程，本文给出基于Fredkin可逆逻辑门的大型可逆逻辑电路Petri网建模的一般算法。

著录项

作者
刘洋;
展开▼
作者单位

山东科技大学;

展开▼
授予单位山东科技大学;
学科计算机应用技术
授予学位硕士
导师姓名曾庆田;
年度 2010
页码
总页数
原文格式 PDF
正文语种中文
中图分类图论;理论、方法;
关键词
可逆逻辑门; Petri网; 离散并行系统; 量子计算模型;

相似文献

中文文献
外文文献
专利

1. 非可逆逻辑门的量子可逆实现研究 [J] . 吕洪君 ,彭斐 ,吴天昊 . 量子电子学报 . 2009,第6期
2. 基于NCV门库的可逆逻辑门进化设计与优化 [J] . 赵曙光 ,崔平 ,罗霄 . 电子科技 . 2017,第009期
3. 基于常规逻辑门和原理图方式的可逆逻辑描述 [J] . 郭荣田 ,赵曙光 ,梁晓雄 . 电子科技 . 2016,第009期
4. 可逆逻辑门进化设计方法的CUDA实现 [J] . 俞经龙 ,赵曙光 ,王祥 . 电子科技 . 2015,第001期
5. 可逆逻辑门网络的表示与级联 [J] . 管致锦 ,秦小麟 ,陶涛 . 电子学报 . 2010,第010期
6. 可逆逻辑电路多余门错误的检测 [C] . 赵骏 ,陈汉武 ,陈开中 . 全国第十三次光纤通信暨第十四届集成光学学术会议 . 2007
7. 可逆逻辑门进化设计方法及其CUDA实现 [A] . 俞经龙 . 2014

可逆逻辑门与可逆逻辑电路的Petri网建模与分析

目录

摘要

著录项

相似文献

相关主题

期刊订阅