1、软件工程专业毕业论文 精品论文 DNA 自组装计算模型研究及其在图着色问题中的应用关键词：DNA 计算 DNA 自组装 三维 DNA 瓦片 图着色问题摘要：快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA 自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过
2、形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3
3、 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。正文内容快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型
4、由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA 自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示
5、方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可
6、行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线
7、性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20”
8、。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型
9、被提出以解决各种 NP 问题。DNA自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提
10、出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类
11、数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下
12、文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA
13、自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA自组装凭
14、借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模
15、型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3
16、着色问题，瓦片种类数为“62” 。快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。
17、本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的
18、图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA自组装凭借其自治性与可编程性被认为是实现 DNA 计
19、算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；
20、其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。快速、强大
21、且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 D
22、NA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的
23、解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。快速、强大且通用的 DNA 计算模型是 DNA 计算机实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装
24、计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；
25、最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。快速、强大且通用的 DNA 计算模型是 DNA 计算机
26、实现的基础。利用 DNA 自组装执行计算的想法已从实验上被证明具有可行性。基于 DNA 自组装的计算模型由于其通用性正被广泛研究，已有多种理论模型被提出以解决各种 NP 问题。DNA自组装凭借其自治性与可编程性被认为是实现 DNA 计算芯片化的可行手段。因此，对 DNA 自组装计算模型进行研究具有理论与实际意义。 本文首先研究了线性自组装、树状自组装及二维自组装的计算能力。回顾了几个通过形式语言表示法已经被证明的理论：线性自组装等价于正则语言；树状自组装等价于上下文无关语言；二维自组装等价图灵可识别语言。 本文的主要工作有： 1本文提出了一种三维 DNA 自组装计算模型。首先，从实验的角度描述
27、了三维DNA 瓦片构造的可行性；其次，在二维瓦片组装模型的基础上，完善了三维模型的数学理论与形式化表示方法，为模型的进一步应用打下基础。 2本文提出了一种枚举型的三维 DNA 自组装图着色模型。首先，引入一种简单的图着色非确定性算法；其次，根据算法设计不同种类的 DNA 瓦片；最后，说明自组装过程并对模型复杂性进行讨论。分析表明模型的组装时间为在线性，组装所需的瓦片种类数为常数。对于 3 着色问题，瓦片种类数为“20” 。 3本文提出了一种非枚举型的三维 DNA 自组装图着色模型。首先，设计一种带剪枝策略的图着色非确定性算法，算法可以降低自组装模型的解空间；其次，设计瓦片组装系统以实现这一算法
28、：最后，通过理论证明，该瓦片组装系统可以非确定性地对任意图进行 k 可着色判断，并从成功的组装中输出可行的 k 着色方案。分析表明系统所需瓦片种类数与问题规模无关，组装时间为线性。对于 3 着色问题，瓦片种类数为“62” 。特别提醒 ：正文内容由 PDF 文件转码生成，如您电脑未有相应转换码，则无法显示正文内容，请您下载相应软件，下载地址为 http:/ 。如还不能显示，可以联系我 q q 1627550258 ，提供原格式文档。“垐垯櫃 换烫梯葺铑?endstreamendobj2x 滌?U 閩 AZ箾 FTP 鈦X 飼?狛P? 燚?琯嫼 b?袍*甒?颙嫯?4)=r 宵?i?j 彺帖 B3
29、锝檡骹笪 yLrQ#?0 鯖 l 壛枒l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛枒 l 壛渓?擗#?“?# 綫 G 刿#K 芿$?7. 耟?Wa 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 皗 E|?pDb 癳$Fb 癳$Fb癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$Fb 癳$F?責鯻 0 橔 C,f 薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵薍秾腵秾腵薍秾腵%?秾腵薍秾腵薍秾腵薍秾腵薍
