仿生型DNA计算编码算法研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
DNA计算是以DNA分子和生物酶等为载体,以生化反应作为“信息处理工具”的一种新的计算模式。近年来,DNA计算得到了广泛的研究和发展。由于DNA计算中的信息需编码成生物序列,有效的编码设计能够提高DNA计算的可靠性。然而DNA编码序列的设计需要同时考虑物理化学属性以及热动力学特性等约束条件,传统的优化方法很难对其进行求解。鉴于DNA编码问题的重要性和复杂性,本文主要围绕DNA计算的编码设计问题,提出了仿生型DNA编码设计算法,并给出了DNA编码在GMR型DNA计算中的应用。本文的主要工作包括:
     详细讨论了论文的研究背景和意义,系统的介绍了与本文有关的研究概况,以及DNA计算所面临的问题,从而提出了本文所研究的主要问题-编码问题,建立了DNA编码约束的数学模型,并给出了DNA编码问题的适应度函数。
     膜计算是从生物细胞以及由细胞所组成的组织和器官的功能与结构中抽象出来的计算模型,具有良好的分布式、并行性、非确定性等优点。虽然膜计算已经取得了很多好的成果,但在DNA序列编码优化方面,鲜有膜计算对此的研究成果。基于此,本文构造了DNA序列设计膜系统,提出了字符串优化膜系统DNA序列编码算法。仿真结果表明,该方法对DNA编码序列设计是有效的,可以生成好的DNA编码序列。
     量子进化算法是将量子计算和进化计算相结合的一种新的优化算法,近年来已经被广泛的研究和应用。本文在这一新颖的算法基础上,提出了改进的量子进化算法DNA编码序列设计方法。在文中,通过引入一种新的量子比特位表示—量子角,并使用粒子群算法自动更新量子角大小。与此同时,为了克服粒子群算法后期易于陷入局部最优解的不足,本文将Tent映射混沌搜索引入到量子进化算法中,提出了一种新的混合量子进化算法,并将其应用于DNA编码序列优化问题。通过融入粒子群算法和Tent映射,该算法不仅能够具有快速的收敛性,而且也能克服算法后期易陷入局部最优解的不足。对DNA序列编码问题进行仿真,结果表明,有效的DNA序列能够获得。
     针对DNA编码优化是一个多目标优化问题,传统的加权法存在权值选取困难的不足,本文将幂函数载波混沌搜索融入到强度Pareto进化算法中,提出了多目标载波混沌进化算法(MCCEA),并将其应用于求解DNA序列的设计问题。在算法中,每一代交叉变异操作和外部存档更新之后,该算法从外部存档集合中随机选择部分个体,对这些拷贝的个体进行幂函数载波混沌搜索,以产生更多非支配解。同传统的优化算法相比,如:粒子群算法(PSO),遗传算法(GA),权重法等,该算法不但能避免选取权重的困难,而且能够易于逃脱局部最优,增强了算法的搜索能力。仿真结果表明,该算法是有效的,能够生成质量较好的DNA编码序列。
     最后讨论了DNA编码在可满足性问题中的应用,并提出了基于巨磁电阻检测(GMR)技术芯片的DNA计算模型。与传统的检测技术相比,GMR芯片具有结构简单、无需标记、检测时间短、检测信号易处理等特点。本文在这一新型的DNA芯片和新兴学科DNA计算的基础上,提出了GMR型可满足性问题DNA计算模型,给出了相应的具体算例。与此同时,利用改进的量子进化算法,产生了算例中所需要的DNA编码序列。通过使用Primer Premier 5.0测试,结果表明,该编码能有效的避免非特异性杂交。
DNA computing is a novel computation paradigm with DNA molecules and enzymes as“carrier”, and biochemistry trials as“information processing instruments”. In recent years, DNA computing has been extensively researched in recent years. Since information is encoded in DNA sequences, the design of DNA sequences is crucial for successful DNA computation. DNA sequence design need meet simultaneously several physical, chemical and logical constraints, which is difficult to be solved by the traditional optimization methods. Therefore, this thesis focus on DNA sequences design based on various Bio-inspired algorithm to make the molecular computation more reliable. The main research works are as follows:
     The first part details the background, the aim and the meaning of study, surveys related domestic and foreign researches, proposes the main work of our study, and interprets the DNA encoding problem.
     A novel algorithm based on membrane computing for DNA sequences design is proposed. Membrane computing, also called P systems, is a branch of natural computing, which is a class of distributed non-deterministic parallel computing devices of a biochemical type. Membrane computing has been used to solve various optimization hard problems, but it hasn’t been employed so far in DNA encoding. In the paper, the new membrane system is constructed, and is firstly used to solve the DNA sequence optimization problem. By using the novel algorithm, a set of good DNA sequences are generated. Furthermore, the simulation results show the efficiency of our method.
     A novel quantum chaotic swarm evolutionary algorithm (QCSEA) is presented, and is firstly used to solve the DNA sequence optimization problem. Quantum evolutionary algorithm is a novel algorithm based on the quantum computation and evolutionary computation, and has been extensively researched in the recent years. In the paper, a new definition of Q-bit expression called quantum angle is introduced, and the particle swarm optimization is employed to update the quantum angles automatically. By merging the particle swarm optimization and the chaotic search, the hybrid algorithm can not only avoid the disadvantage of easily getting into the local optional solution in the later evolution period, but also keep the rapid convergence performance. And the simulation results demonstrate that the proposed quantum chaotic swarm evolutionary algorithm is valid and outperforms the genetic algorithm and conventional evolutionary algorithm for DNA encoding.
     DNA sequence design relates to a number of design criteria, which is difficult to select the proper weight values for each vriterion by the weight methods. In this paper, the carrier chaotic searching was merged into multi-objective evolutionary algorithm, and a multi-objective carrier chaotic evolutionary algorithm (MCCEA) for designing DNA sequences was developed. In each generation of MCCEA algorithm, carrier chaotic search is performed on the copy of several individuals chosen randomly from the external archive to obtain new non-dominated solutions. The more non-dominated solutions will be produced by ergodic regularity of chaos. Compared with the traditional algorithm, such as PSO algorithm, GA, weight methods, and so on, our algorithm not only avoids the difficulty of selecting the proper weight values for each criterion, but also escapes from local optimal solution. The simulation results show that the comprehensive performance of multi-objective carrier chaotic evolutionary algorithm is improved by merging chaos in MOEA algorithm.
     The application of DNA sequecse design is discussed in this paper too. The DNA computation based on Giant Magnetoresistance (GMR) Effect Chip is proposed. Compared with traditional gene assay technology, GMR chip has the simple construction, label-free feature, time-saving detection speed, and conveniently processed information. In the paper, based on the GMR chip and DNA computing theory, a new DNA computing method to solve satisfiability problem is proposed. The DNA sequences of a computational example are generated by quantum chaotic swarm evolutionary algorithm. By using the Primer Premier 5.0, these DNA sequences are tesitified that they are good for avoiding the non-specific hybridization.
引文
[1] Adleman L. Molecular computation of solution to combinatorial problems. Science, 1994, 266(11): 1021~1024.
    [2] Sakamoto K, Gouzu H, Komiya K, et al. Molecular computation by DNA hairpin formation. Science, 2000, 288(5469):1223~1226.
    [3] P?un G, Rozenberg G, Salomaa A. DNA computing: new computing paradigms. Springer, Berlin, 1998.
    [4]许进,张雷. DNA计算机原理、进展及难点(Ⅰ) :生物计算系统及其在图论中的应用.计算机学报, 2003, 26(1): 1~11.
    [5]许进. DNA计算与运筹学发展的新机遇.中国运筹学会第6届学术交流论文集,中国,香港: Golbal-Link Publishing Company, 2000.
    [6] Feyman R P. There’s plenty of room at the bottom. In: Gilbert D H, Editor, Minaturization, New York, 1961, 282~296.
    [7] Bennett C H. On constructing a molecular computer. IBM Journal of Research and Development, 1973, 17: 525~532.
    [8] Conrad M. On design principles for a molecular computer. Communications of the ACM, 1985, 28: 464~480.
    [9] Lipton R. DNA solution of hard computational problems. Science, 1995, 268 (28): 542~545.
    [10] Jonoska N. Trends in computing with DNA. Journal of Computer Science and Technology, 2004, 19 (1): 98~113.
    [11] Head T. Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bulletin of Mathematical Biology, 1987, 49: 737~759.
    [12] Sakamoto K, Kiga D, Komiya K, et al. State transitions by molecules. 4th International Meeting on DNA-Based Computing, Baltimore, Pennysylvania, 1998.
    [13] Liu Q, Wang L, Frutos A, et al. DNA computing on surfaces. Nature, 2000, 403(13): 175~178.
    [14] Wu H Y. An improved surface-based method for DNA computation. Biosystems,2001, 59(1): 1~5.
    [15] Head T, Rozenberg G, Bladergroen R B, et al. Computing with DNA by operating on plasmids. BioSystems, 2000, 57: 87~93.
    [16]高琳,马润年.基于质粒求解最大匹配问题的DNA算法.生物化学与生物物理学进展,2002, 29(5): 820~823.
    [17]张连珍,许进.基于质粒的DNA计算模型研究.计算机工程与应用, 2004, 4, 51~53.
    [18] Landweber L F, Lipton R J, Rabin M O. DNA 2 DNA computations: a potential‘killer app?’. In: Rubin H, Wood D, Editors, DNA Based Computers III: DIMACS Workshop, University of Pennsylvania, 1997, 161~172.
    [19] Cukras A, Faulhammer D, Lipton R, et al. Chess games: a model for RNA-based computation. 4th International Meeting on DNA-Based Computing, Baltimore, Pennysylvania, 1998.
    [20] Hagiya M, Arita M, Kiga D, et al. Towards parallel evolution and learning of Boolean u-formulas with molecules. In: Proceedings of 3rd DIMACS Workshop on DNA Based Computers, University of Pennsylvania, Baltimore, 1997, 105~114.
    [21] Benenson Y, Gil B, Ben-Dorl Uri, et al. An autonomous molecular computer for logical control of gene expression, Nature, 2004, 429 (27): 423~429.
    [22] Ravinderjit S B, Nickolas C, Cliff J, et al. Solution of a 20-variable 3-SAT problem on a DNA computer. Science, 2002, 296 (19): 499~502.
    [23]王延峰. DNA计算中的编码理与方法研究: [博士学位论文].武汉:华中科技大学, 2007.
    [24]刘西奎. DNA计算和遗传算法的编码与几个优化模型的研究: [博士学位论文].武汉:华中科技大学, 2003.
    [25] Ouyang Q, Kaplan P D, Liu S, et al. DNA solution of the maximal clique problem. Science, 1997, 278 (17): 446~449.
    [26] Yin Z X, Zhang F Y, Xu J. A Chinese postman problem based on DNA computing. Journal of Chemical Information and Computer Sciences, 2002, 42 (2): 222~224.
    [27] Yin Z X, Cui J Z, Shi X L, et al. The semi-automated DNA computing model for solving the satisfiability problem. International Journal of Computer Science andNetwork Security, 2006, 6 (1): 163~167.
    [28] Liu W B, Zhu X O, Gao L. Solving the 3-SAT based on DNA evolutionary algorithm. Chinese Journal of Electronics, 2006, 15(3): 437~440.
    [29] Yin Z X, Zhang F Y, Xu J. The general form of 0-1 programming problem based on DNA computing. Biosystems, 2003, 70 (1): 73~79.
    [30]殷志祥,石晓龙,徐涛等. 0-1整数规划问题的半自动化DNA计算模型.生物信息学, 2006, 4 (3): 113~116.
    [31] Zhang F Y, Yin Z X, Liu B, et al. DNA computation model to solve 0–1 programming problem. BioSystems, 2004, 74: 9~14.
    [32] Liu Y C, Xu J, Pan L Q, et al. DNA solution of a graph coloring problem. Journal of Chemical Information and Computer Science, 2002, 42 (3): 524~528.
    [33] Liu W B, Xu J. A DNA algorithm for the graph coloring problem. Journal of Chemical Information and Computers, 2002, 42: 1176~1178.
    [34]许进,强小利,方刚等.一种图顶点着色DNA计算机模型.科学通报, 2006, 51(4): 480~487.
    [35] Xu J, Qiang X L, Fang G, et al. A DNA computer model for solving vertex coloring problem. Chinese Science Bulletin, 2006, 51 (20): 2541~2549.
    [36] Yin Z X, Pan L Q, Shi X H. DNA algorithm of minimal spanning tree. Proceedings of SPIE, 2006, 6358: 1~5.
    [37]董亚非,张家秀,殷志祥等.最小顶点覆盖问题的改进粘贴模型.电子与信息学报, 2005, 27 (4): 556~560.
    [38]王淑栋,刘文斌,许进.图的最小顶点覆盖问题的质粒DNA计算模型.华中科技大学学报(自然科学版), 2004, 32 (11): 59~61.
    [39]高琳,许进.最小顶点覆盖问题的DNA分子算法.系统工程与电子技术, 2004, 26 (4): 544~548.
    [40] Frutos A G, Liu Q, Thiel A J, et al. Demonstration of a word design strategy for DNA omputing on surfaces. Nucleic Acids Research. 1997, 25: 4748~4757.
    [41] Smith L M. A surface-based approach to DNA computation. Journal Computational Biology, 1998, 5: 255~267.
    [42] Liu Q, Thiel A, Frutos T, et al. Surface-based DNA computation: hybridize anddestruction. In: Proceedings of 3rd DIMACS Workshop on DNA Based Computers, University of Pennsylvania, Baltimore, 1997.
    [43] Manca V, Martin-Vide C, P?un Gh. New computing paradigms suggested by DNA computing by carving. In: Proceedings of 4th DIMACS Workshop on DNA Based Computers, University of Pennsylvania, Baltimore, 1998.
    [44] Wang L, Liu Q, Frutos A, et al. Surface-based DNA computing operations: DESTROY and READOUT. In: Proceedings of 4th DIMACS Workshop on DNA Based Computers, University of Pennsylvania, Baltimore, 1998.
    [45]许进,谭钢军,范月科等. DNA计算机原理、进展及难点(Ⅳ) :论DNA计算机模型.计算机学报, 2007, 30(6): 881-893.
    [46] Roweis S, Winfree E, Burgoyne R, et al. A sticker based architecture for DNA computation. In: Baum E B, et al. Editor, DNA Based Computers, Proceeding 2nd Annual Meeting, Princeton, 1999, 1~27.
    [47] Kari L, P?un Gh, Rozenberg A, et al. DNA computing, sticker systems and universality. Acta Information, 1998, 35: 401~420.
    [48] P?un Gh, Rozenberg G. Sticker systems. Theoretical Computer Science, 1998, 204: 183~203.
    [49] Gao L, Xu J. DNA solution of vertex cover problem based on sticker model. Chinese Journal of Electronics, 2002, 11 (2): 280~284.
    [50] Karl-Heinz Z. Efficient DNA sticker algorithms for NP-complete graph problems. Computer Physics Communications, 2002, 144: 297~309.
    [51] Xu J, Dong Y F, Wei X P. Sticker DNA computer model (I): theory. Chinese Science Bulletin, 2004, 49 (7): 1~8.
    [52] Head T. Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors, Bulletin Mathematic Biology, 1987, 49: 737~759.
    [53] Head T. Splicing schemes and DNA. In: Rozenberg G, Salomaa A, Editors, Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics and Developmental Biology, Springer-Verlag, 1992, 371~383.
    [54] Csuhaj-Varju E, Freund L, Kari L, et al. DNA computing based on splicing: universality results. Proceedings of 1st Annual Pacific Symposium on Biocomputing,Hawaii, 1996.
    [55] P?un Gh, Salomaa A. DNA computing based on splicing operation. Mathematica Japonica, 1996, 43(3): 607~632.
    [56] Freund G, Kari L. DNA computing based on splicing: the existence of universal computers. Theory of Computing Systems, 1999, 32: 69~112.
    [57] Smith L M. A surface-based approach to DNA computation. Journal Computational Biology, 1998, 5: 255~267.
    [58]刘文斌,王淑栋,许进.最大匹配问题的DNA表面计算模型.电子学报, 2003, 31 (10): 1496~1499.
    [59] Pan L Q, Xu J, Liu Y C. A surface-based DNA algorithm for the maximal clique problem, Chinese Journal of Electronics, 2002, 11 (4): 469~471.
    [60]张凤月,殷志祥,许进. DNA芯片在0-1规划问题中的应用.生物化学与生物物理进展, 2003, 30 (3): 412~415.
    [61] Suyama A. DNA chips-integrated chemical circuits for DNA diagnosis and DNA computers. In: Proceedings of 3rd International Micromachine Symposium, 1997, 7~12.
    [62] Sakakibara Y, Suyama A. Intelligent DNA chips: logical operation of gene expression profiles on DNA computers. Geneme Informatics, 2002, 11: 33~42.
    [63]马润年,张强,高琳等.图的最大权图的DNA计算.电子学报, 2004, 32 (1): 1~16.
    [64] Jonoska N, Karl S A, Saito M. Three dimensional DNA structures in computing. Biosystems, 1999, 52: 143~153.
    [65] Seeman N C, Chen J. Synthesis from DNA of a molecule with the connectivity of a cube. Nature, 1991, 350(6319): 631~633.
    [66] Seeman N C, Zhang Y, Du S M, et al. Construction of DNA polyhedral and knots through symmetry minimization. In: Siegel J Editor, Supramolecular Stereochemistry, NATO Advanced Research Workshops Series, Kluwer, Dordrecht, 1995, 27~32.
    [67] Liu G W, Yin Z X, Xu J, et al. Algorithm of graph isomorphism with three dimensional DNA graph structures. Progress in Natural Science, 2005, 15(2): 181~184.
    [68] Adleman L, Cheng Q, Goel A, et al. Running time and program size for self-assembled squares. ACM Symposium on Theory of Computing, 2001, 740~748.
    [69] Adleman L, Cheng Q, Goel A, et al. Combinatorial optimization problems in self-assembly. ACM Symposium on Theory of Computing, 2002, 1~8.
    [70] Winfree E. Design and self-assembly of two-dimensional DNA crystals. Nature, 1998, 394: 1223~1226.
    [71] Martin-Vide C, P?un Gh, Salomaa A. Characterizations of recursively enumerable languages by means of insertion grammars. Theoretical Computer Science, 1998, 205(1~2): 195~205.
    [72] Kari L, P?un Gh. Thierrin G. At the crossroads of DNA computing and formal languages: characterizing recursively enumerable languages by insertion-deletion systems. In: Rubin H, Wood D, Editors, DNA Based Computers III, DIMACS Series, AMS Press, 1999, 48, 329~347.
    [73] Takahara A. On the computational power of insertion-deletion systems. In: Proceeding of 8th International Meeting on DNA Based Computers, Sapporo, 2002, 139~150.
    [74] Benenson Y, Paz-Elizur T, Adar R, et al. Programmable and autonomous computingmachine made of biomolecules. Nature, 2001, 414 (22): 430~434.
    [75] Rothemund P. A DNA and restriction enzyme implementation of Turing machine. In: Lipton, R J, Baum E B, Editors, DNA based Computers: Proceedings of the DIMACS Workshop, Princeton University, 1995, 75~119.
    [76] Ogihara M, Ray A. Simulating Boolean circuits on a DNA computer. Algorithmica, 1999, 25 (2~3): 239~250.
    [77] Amos M, Dunne P E, Gibbons A. DNA simulation of Boolean circuits. In: Proceedings of the 3rd Annual Conference, University of Wisconsin, Madison, Wisconsin, 1998, 679~683.
    [78] Dunne P E, Amos M, Gibbons A. Boolean transitive closure in DNA. In: P?un Gh, Editor, Computing with Bio-Molecules: Theory and Experiments, Springer-Verlag, Singapore, 1998, 127~137.
    [79] Mulawka J J, Wasiewicz P, Plucienniczak A. Another logical molecular NAND gatesystem. Seventh International Conference on Microelectronics for Neural, Fuzzy and Bio-Inspired Systems, Granada, Spain, 1999, 340~346.
    [80] Wasiewice P. DNA computing: implementation of data flow logical operations. Future Generation Computer Systems, 2001, 17 (4): 361~378.
    [81] Sakakaibara Y, Ferretti C. Splicing on tree-like structures. Theoretical Computer Science, 1999, 210: 227~243.
    [82] Asiewicz P W, Janczak T, Mulawka J J. The inference based on molecular computing. Cybernetics and Systems, 2000, 31: 283~315.
    [83] Lee I H, Park J Y, Jang H M, et al. DNA implementation of theorem proving with resolution refutation in propositional logic. Springer-Verlag, Berlin Heidelberg, 2003, 156~167.
    [84]王镜岩,朱圣庚,徐长法.生物化学(上),第三版.北京:高等教育出版社, 2002.
    [85]刘承建,蔡武城译.分子生物学导论.上海:复旦大学出版社, 1989.
    [86]范维珂.分子生物学:基因工程的原理与技术.重庆:重庆大学出版社, 1999.
    [87]吴乃虎.基因工程原理.北京:科学出版社, 2002.
    [88]萨姆布鲁克,拉塞尔.分子克隆实验指南,黄培堂等译.北京:科学出版社, 2002.
    [89]范忠骏.基于碱基匹配的DNA计算系统及其编码研究: [硕士学位论文].上海:上海理工大学, 2005.
    [90]朱翔鸥. DNA计算编码研究及其算法实现: [硕士学位论文].杭州:浙江工业大学,2005.
    [91]刘宏坤. DNA计算在NP问题中的应用及程序模拟: [硕士学位论文].长春:吉林大学, 2006.
    [92] Garzon M, Deaton R, Neathery P, et al. On the encoding problem for DNA computing. In: Proceedings of 3rd DIMACS Workshop on DNA-base Computer, University of Pennsylvania, Baltimore, 1997, 230~237.
    [93] Garzon M H, Deaton R J. Codeword design and information encoding in DNA ensembles. Natural Computing, 2004, 3 (3): 253~292.
    [94] Deaton R, Murphy R C, Garzon M, et al. Good encodings for DNA-based solutions to combinatorial problems. In: Proceedings of 2nd Annual DIMACS Meeting on DNABased Computers, Princeton University, 1996, 131~140.
    [95] Deaton R, Murphy R C, Garzon M, et al. Genetic search of reliable encodings for DNA-based computation. In: Kozon J R, Goldberg D E, Fogel D B, et al. Editors, Proceedings of the 1st Annual Conference on Genetic Programming, Princeton University, 1996, 9~15.
    [96] Baum E B. DNA sequences useful for computation. In: Proceedings of 2nd Annual DIMACS Meeting on DNA Based Computers, Princeton University, 1996, 122~127.
    [97] Deaton R, Murphy R C, Rose J, et al. DNA Based implementation of an evolutionary search for good encodings for DNA computation. In: Kennedy J, Editor, Proceedings of IEEE International Conference on Evolutionary Computation, Indianapolis, Illinois, American, 1997, 267~271.
    [98]刘文斌. DNA计算中的编码问题及模型研究: [博士学位论文].武汉:华中科技大学, 2003.
    [99] Feldkamp U, Banzhaf W, Rauhe H. A DNA sequences compiler. In: Condon A, Rozenberg G, Editors, Proceedings of 6th DIMACS Workshop on Based, Leiden, the Netherlands, 2000, 253~263.
    [100] Arita M, Nishikawa A, Hagiya M, et al. Improving sequence design for DNA computing. In: Whitley D, Goldberg D E, Cant E, Editors, Proceedings of the Genetic and Evolutionary Computation Conference, Las Vegas USA, 2000, 875~852.
    [101] Marathe A, Condon A E, Corn R M. On combinatorial DNA word design. In: Proceedings of 5th DIMACS Workshop on DNA Based Computers, Cambridge, MA, USA, 1999, 75~89.
    [102] Zhang K, Pan L Q, Xu J. A global heuristically search algorithm for DNA encoding. Progress in Natural Science, 2007, 17 (6): 745~749.
    [103] Tanaka F, Nakatsugawa M, Yamamoto M, et al. Developing support system for sequence design in DNA computing. In: Preliminary Proceedings of 7th international Workshop on DNA-Based Computers, 2001, 340~349.
    [104] Cui G Z, Niu Y Y, Wang Y F, et al. A new approach based on PSO algorithm to find good computational encoding sequences. Progress in Natural Science, 2007, 17 (6): 712~716.
    [105] Wang W, Zheng X D, Zhang Q, et al. The optimization of DNA encodings based on GA/SA algorithm. Progress in Natural Science, 2007, 17 (6): 739~744.
    [106] Xiao J H, Xu J, Geng X T, et al. Multi-objective carrier chaotic evolutionary algorithm for DNA sequences design. Progress in Natural Science, 2007, 17(12): 1515~1520.
    [107] Qiu Q R, Mukre P, Bishop M, et al. Hardware acceleration for thermodynamic constrained DNA code generation. DNA13, 2008, 4848: 201~210.
    [108] D'yachkov A G, Macula A, Rykov V, et al. DNA codes based on stem similarities between DNA sequences. DNA 13, 2008, 4848: 146~151.
    [109] Kawashimo S, Ono H, Sadakane K, et al. Dynamic neighborhood searches for thermodynamically designing DNA sequence. DNA 13, 2008, 4848: 130~139.
    [110] Zhang M, Tao W, Fisher W, et al. A mathematical formulation of DNA computation. IEEE Transactions on NanoBioscience, 2006, 5 (1): 32~40.
    [111] Tanaka F, Nakatsugawa M, Yamamoto M, et al. Towardgeneral-purpose sequences design system in DNA computing. In: Proceedings of the Congress on Evolutionary Computation, 2002, 73~78.
    [112] Kim D, Shin S Y, Lee I H, et al. NACST/Seq: A sequences design system with multiobjective optimization. Lecture Notes in Computer Science, 2003, 2568: 242~251.
    [113] Faulhammer D, Cukras A R, Lipton R J, et al. Molecular computation: RNA solutions to chess problems. In: Hagiya M, Ohuchi A, Editors, Proceedings of the National Academy of Science of the United States of America, 2000, 1385~1389.
    [114] Arita M, Kobayashi S. DNA sequence design using templates. New Generation Computer, 2002, 20 (3): 263~278.
    [115] Tulpan D C, Hoos H H, Condon A. Stochastic local search algorithms for DNA word design. In: Hagiya M, Ohuchi A, Editors, Proceedings of 8th International Workshop on DNA-based Computers, Hokkaido University, 2002, 229~241.
    [116] Andronescu M, Dees D, Slaybaugh Y Z, et al. Algorithms for testing that DNA word designs avoid unwanted secondary structure. In: Hagiya M, Ohuchi A, Editors, Proceedings of 8th International Workshop on DNA-based Computers, HokkaidoUniversity, 2002, 182~195.
    [117] Zhang B T, Shin S Y. Molecular algorithms for efficient and reliable DNA encoding. In: Koza J, Deb K, Dorigo M, et al, Editors, Proceedings of 3rd Annual Genetic Programming Conference, Morgan Kaufman, 1998, 735~742.
    [118] Feldkamp U, Banzhaf W, Rauhe H. DNA sequences generator: a program for the construction of DNA sequences. In: Jonoska N, Seeman N C, Editors, Proceedings of the 7th International Workshop on DNA Based Computers, University of South Florida, 2001, 179~188.
    [119] Hartemink A J, Gifford D K, Khodor J. Automated constraint-based nucleotide sequence selection for DNA computation. In: Proceedings of 4th Annual DIMACS Workshop on DNA-Based Computers, University of Pennsylvania, Baltimore, 1998.
    [120] Deaton R, Chen J, Bi H, et al. A PCR-based protocol for in vitro selection of noncrosshybridizing olgionucleotides. In: Hagiya M, Ohuchi A, Editors, Proceedings of 8th International Workshop on DNA-Based Computers, Hokkaido University, 2002, 196~204.
    [121] Deaton R, Chen J, Bi H, et al. A software tool for generating noncrosshybridizing libraries of DNA olgionucleotides. In: Hagiya M, Ohuchi A, Editors, Proceedings of 8th International Workshop on DNA-Based Computers, Hokkaido University, 2002, 196~204.
    [122] Santalucia J. A unified view of polymer, dumbbell, and oligonucleotide DNA nearest-neighbor thermodynamics. In: Proceedings of Natl. Acad. Science, 1998, 1460~1465.
    [123] Borer P N, Dengler B, Tinoco I J. Stability of ribonucleic acid double-stranded helices. Mol Biology, 1974, 86(4): 843~853
    [124] Breslauer K J, Frank R, Blocker H, et al. Predicting DNA duplex stability from the base sequences. PANS, 1986, 86 (11): 3746~3750.
    [125] Santaucia J, Allawi H T, Seneviratne P A. Improved nearest-neighbor parameters for predicting DNA duplex stability. Biochemistry, 1996, 35 (11): 3555~3562.
    [126] Sugimoto N, Nakamo S, Yoneyama M, et al. Improved thermodynamic parameters and helix initiation factor to predict stability of DNA duplexes. Nucleic AcidResearch, 1996, 24 (22): 4501~4505.
    [127] Deaton R, Garzon M. Thermodynamic constraints on DNA-based computing, in computing with Bio-molecules: Theory and experiments. Springer-Verlag, Singapore, 1998, 138~152.
    [128] Rose J A. The fidelity of DNA computation: [PhD Dissertation]. The University of Memphis, 1999.
    [129] Braich R S, Johnson C, Paul W K, et al. Solution of a satisfiability problem on a Gel-Based DNA computer. DNA 2000, LNCS 2054, 2001, 27~42.
    [130] Shin S Y, Lee I H, Kim D, et al. Multi-objective evolutionary optimization of DNA sequences for reliable DNA computing. IEEE Transactions on Evolutionary Computation, 2005, 9 (2): 143~158.
    [131] Wetmur J G. DNA probes: applications of the principles of nucleic acid hybridization. Critical Reviews in Biochemistry and Molecular Biology, 1991, 26 (3): 227~259.
    [132]黄亮.膜计算优化方法研究: [博士学位论文].杭州:浙江大学, 2004.
    [133]翟中和,王喜忠,丁明孝.细胞生物学.高等教育出版社, 2002.
    [134] P?un Gh. Computing with membranes. Journal of Computer and System Sciences (First circulated at TUCS Research Report No. 208, 1998), 2000, 61(1): 108~143.
    [135] P?un Gh. Membrane computing: an introduction. Springer-Verlag, 2002.
    [136] P?un A, P?un Gh. The power of communication: P systems with symport/antiport. New Generation Computers, 2002, 20(3): 295~305.
    [137] Martin-Vide C, P?un A, P?un Gh. On the power of P systems with symport rules. Journal of Universal Computer Science, 2002, 8(2): 317~331.
    [138] Alhazov A, Martin-Vide C, Pan L Q. Solving a PSPACE-complete problem by P systems with restricted active membranes. Fundamenta Informaticae, 2003, 58(2): 66~77.
    [139] Sosik P. Solving a PSPACE-complete problem by P systems with active membranes. In: Proceedings of the Brainstorming Week on Membrane Computing (Report GRLMC 26/03), 2003, 305~312.
    [140] Pan L Q. Solving multidimensional 0-1 knapsack problem by P systems with input and active membranes. Journal Parallel and Distributed Computing, 2005, 65:1578~1584.
    [141] Diaz-Pernil D, Gutierrez-Naranjo M A, Perez-Jimenez M J, et al. A linear-time tissue P system based solution for the 3–coloring problem. Electronic Notes in Theoretical Computer Science, 2007, 171(2): 81~93.
    [142] Garcia-Arnau M, Manrique D, Rodriguez-Paton, et al. A P system and a constructive membrane-inspired DNA algorithm for solving the maximum clique problem. BioSystems, 2007, 2(5): 1~11.
    [143] Huang L, He X X, Wang N, et al. P systems based multi-objective optimization algorithm. In: Pre-proceedings of the International Conference Bio-inspired Computing-Theory and Applications, Wuhan, 2006, 113~123.
    [144] Nishida T Y. An application of P-system: A new algorithm for NP-complete optimization problems. In: Proceedings of the 8th World Multi-Conference on Systems, Cybernetics and Informatics, 2004, 109~112.
    [145] Nishida T Y. An approximate algorithm for NP-complete optimization problems exploiting P-systems. In: Proceedings of Brainstorming Workshop on Uncertainty in Membrane Computing, 2004, 185~192.
    [146] Leporati A, Pagani D. A membrane algorithm for the min storing problem. In: Pre-proceedings of Membrane Computing, International Workshop, WMC7, Leiden, the Netherlands, 2006, 397~416.
    [147] P?un Gh, Yu S. On synchronization in P systems. Fundamenta Informaticae, 1999, 38(4): 397~410.
    [148] Dassow J, P?un Gh. On the power of membrane computing. Journal of Universal Computer Science, 1999, 5(2): 33~49.
    [149] P?un Gh. P systems with active membranes: Attacking NP complete problems. Journal of Automata, Languages, Combinatorics, 2000, 5(1): 59~75.
    [150] Alhazov A, Pan L Q, P?un Gh. Trading polarizations for labels in P systems with active membranes. Acta Informatica, 2004, 41(2): 111~144.
    [151] Alhazov A, Pan L Q. Polarizationless P System with Active Membranes. Grammar, 2004, 7(1): 141~159.
    [152] Castellanos J, P?un Gh, Rodriguez-Paton A. Computing with membranes: P systemswith worm-objects. IEEE Conf. SPIRE, 2000.
    [153] Krishana S N, Rama R. A variant of P systems with active membranes: solving NP-complete problems. Romanian J. of Information Science and Technology, 1999, 2(4): 357~367.
    [154] Krishana S N, Rama R. Breaking DES using P Systems. Theoretical Computer Science, 2003, 299(1~3): 495~508.
    [155] Alhazov A, Martin-Vide C, Pan L Q. Solving a PSPACE-complete problem by P systems with restricted active membranes. Fundamenta Informaticae, 2003, 58(2), 66~77.
    [156] P?un Gh, P?un R. Membrane computing and economics: numerical P systems. Fundamenta Informaticae, 2006, 73(1~2): 213~227.
    [157] Korczynski W. P?un’s systems as models of economic systems. Progress in Natural Science, 2007, 17(4): 466~470.
    [158] Enguix G B. Preliminaries about some possible applications of P systems in linguistics. LNCS, 2003, 2597, 74~89.
    [159] Jimenez-Lopez M D. Grammar systems: a formal-language-theoretic framework for linguistics and cultural evolution: [PhD Dissertation]. Rovira i Virgili University, Tarragona, 2000.
    [160] Fontana F, Bianco L, Manca V. P systems and the modeling of biochemical oscillations. Proc. WMC6, Vienna, 2005, 214~225.
    [161] Bernardini F, Gheorghe M, Krasnogor N, et al. On P systems as a modeling tool for biological systems, Proc. WMC6, Vienna, 2005, 193~213.
    [162]蒙文川,邱家驹,张彦虎.约束优化问题的免疫混沌算法.浙江大学学报(工学版), 2007, 41(2): 299~303.
    [163] Han K H, Kim J H. Quantum-inspired evolutionary algorithm for a class of combinatorial optimization. IEEE Transactions on Evolutionary Computation, 2002, 6(6): 580~593.
    [164] Kim J H, Hwang J Y, Han K H, et al. A quantum-inspired evolutionary computing algorithm for disk allocation method. IEICE Transactions on Information and Systems, 2003, 86(3): 645~649.
    [165] Jang J S, Han K H, Kim J H. Face detection using quantum-inspired evolutionary algorithm. In: Proceedings of the 2004 IEEE Congress on Evolutionary Computation, 2004, 2100~2106.
    [166] Kim Y, Kim J H, Han K H. Quantum-inspired multiobjective evolutionary algorithm for multiobjective 0/1 knapsack problems. In: Proceedings of the 2006 IEEE Congress on Evolutionary Computation, 2006, 9151~9156.
    [167] Benioff P. The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines, J. Stat. Phys. 1980, 22: 563~591.
    [168] Feynman R. Simulating physics with computers. International Journal of Theoretical Physics, 1982, 21: 467~488.
    [169] Yang J, Zhuang Q. Research of quantum genetic algorithm and its application in blind source separation. Journal of Electronics, 2003, 20(1): 62~68.
    [170] Han K H, Kim J H. Quantum-inspired evolutionary algorithm for a class of combinatorial optimization, IEEE Transaction Evolutionary computation, 2002, 6: 580~593.
    [171] Eberhart R, Kenndy J. A new optimization using particle swarm theory. In: Proceeding of the 6th International Symposium on Micro Machine and Human Science, IEEE Press, Nagoya, 1995, 39~43.
    [172]李冰,蒋蔚孙.混沌优化方法及其应用.控制理论与应用, 1997, 14(4): 613~615.
    [173]张彤,王宏伟,王子才.变尺度混沌优化方法及其应用.控制与决策, 1999, 14(3): 285~288.
    [174]单梁,强浩,李军等.基于Tent映射的混沌优化算法.控制与决策, 2005, 20(2): 179~182.
    [175] Wang Y, Feng X Y, Huang Y X, et al. A novel quantum swarm evolutionary algorithm and its applications. Neurocomputing, 2007, 70, 633~640.
    [176] Lee J Y, Shin S Y, Zhang B T. Solving travel salesman problems with DNA molecules encoding numerical values. BioSystems, 2004, 78, 39~47.
    [177]郑金华.多目标进化算法及其应用.北京:科学出版社, 2007.
    [178]崔逊学.多目标进化算法及其应用.北京:国防工业出版社, 2006.
    [179] Rosenberg R S. Simulation of genetic populations with biochemical properties: [PhD Dissertation]. University of Michigan, 1967.
    [180] Schaffer J D. Multiple objective optimization with vector evaluated genetic algorithms. In: Grefenstette J, Editor, Proceedings of an International Conference on Genetic Algorithms and Their Applications, 1985: 93~100.
    [181] Zitzler E, Thiele L. Multiobjective evolutionary algorithms: a comparative case and the strength Pareto approach. IEEE Transactions on Evolutionary Computation, 1999, 3(4): 257~271.
    [182]唐魏.基于幂函数载波的混沌优化方法及其应用.控制与决策, 2005, 20(9): 1043~1046.
    [183] Aihara K, Takabe T, Toyoda M. Chaotic neural network. Physics Letter A, 1990, 144(6): 333~340.
    [184]雷德明,严新平,吴智铭.多目标混沌进化算法.电子学报, 2006, 34(6): 1142~1145.
    [185] Kalyanmoy D, Thiele L, Laumanns M, et al. Scalable test problems for evolutionary multi-objective optimization. Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology, Zurich, Switzerland, 2001.
    [186]王永进,兰中文,余忠等. GMR生物传感器的原理及研究现状.微纳米电子技术, 2007, 7~8: 304~307.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700