摘要
基于中介数学,研究一种有别于模糊数学和粗集的数值化处理模糊现象的理论——中介真值程度的度量,并将其应用于计算机系统结构研究。
全文的主要内容如下:
在介绍模糊现象的研究历史及分析了处理模糊现象主要方法的特点后,简要说明课题的研究目的及意义,并以新思想、新概念为线索简述计算机系统结构的研究历史及进展。
阐述了研究模糊否定词和真值程度词的数值化方法对于应用的必要性。在建立了谓词的标准度并将其用于描述一般应用的数值区域与其对应谓词的真值之间的关系后,提出相对于谓词的距离比率函数定义,并由此建立了一维情形下个体的真值程度函数。以此为基础,讨论了n维情形下个体的真值程度的度量。再以个体的真值程度度量为基础,讨论了离散型和连续区间群体的真值程度的度量。由于提出超态概念,理论上能把真值程度域从[0,1]拓宽到(-∞,+∞)。应用示例表明:真值程度函数具有合理性和有效性。
在建立了中介标准度后,提出模糊程度概念、离散型中介熵定义和连续区间中介熵定义。以中介熵和传统的随机熵为基础,探讨了不确定度量。
针对计算机技术中出现的硬件与软件的界限模糊不清的现象,提出兼容原定义的软件、硬件定义;根据中介思想提出中介件,并以中介真值程度度量讨论了中介件的主要性能,随之自然地赋予了计算机系统结构新的含义。提出评价设计质量的性能成本比的观点,并由此讨论了中介件的设计原则。
针对反对对立概念强调“最大的差异”,提出弱化“两极”,突出“过渡”的观点。在对过渡与对立进行了一般性讨论后,建立了标准数值化映射和广义数值化映射概念,构造性地证明了过渡情形能转换为反对对立情形的充分条件,由此自然地引出广义中介件概念。针对传统的一维多层次结构存在的弱点,提出HCW(hierarchical- component-ware)三维结构。应用示例表明:HCW多层次结构适应计算机系统结构研究的新局面,有利于计算机技术的创新与发展。
分子生物计算是当今世界科学前沿的研究热点。分子计算领域研究者的兴趣已从验证性的算法阶段开始走向实际应用,研究通用分子生物计算机是一件刻不容缓的事。设计了面向不同用户的分子生物计算机逻辑层次结构,并以本文提出的面向用户和面向专家的程序设计语言分别求解有向Hamilton路径为例,描述各层的作用和对各类用户的知识要求。在建立一种分子生物计算机物理组成模型之后,对分子生物计算机结构和组成进行了较详细的讨论。从设计角度用HCW结构描述了分子生物计算机系统。这些工作使我们在研究分子生物计算机时,有了不同的研究方向和途径。
A new numerical quantification approach for processing vague phenomenon, measure of medium truth scale (MMTS), has been developed. The MMTS is based on medium mathematics, so it is different from fuzzy set and rough set. This approach has been further applied to computer architecture research. The main contents of this dissertation are as follows:
After introducing the history of studying vague phenomenon and surveying the main features of several methods of processing it, the goal of our research is explained. The history and progress of computer architecture are also recounted by following the advancement of new ideas and concepts.
We then demonstrate that a numerical quantification method for fuzzy negation and truth-value degree is essential for applications. After establishing the standard pointer of the predicate and describing the relation between truth-values of the predicate and numerical value areas of general application, the definition of the function of distance ratio is proposed. From this the individual truth grad function in one-dimensional and n-dimensional is found. Additionally, the MMTS of sets is discussed for both discrete and continuous based on MMTS of individual. With the concept of super-truth presented in this paper, the interval of truth scale can be extended from[0,1] to (-∞,+∞) in theory. Application examples are shown to demonstrate that MMTS is reasonable and effective.
After establishing medium standard pointer, fuzzy scale and medium entropy are proposed, and the measure of uncertainty is explored on the basis of medium entropy and random entropy.
Because of the indistinct boundary between hardware and software in computer technology, new concepts of software and hardware, that are compatible with existing definitions, are proposed. According to medium concept, medium-ware is defined and its primary performance is discussed with MMTS. The new significance of computer architecture is subsequently revealed. The ratio of performance and cost, which serves as a reference for design evaluation, is proposed. Finally, design principle of medium-ware is discussed.
In accordance with de-emphasizing‘maximum difference’between concepts with opposite properties, the idea of weakening polarization and strengthening transition is presented. After a general discussion on transition and polarization, normal numerical quantification mapping and generalized numerical quantification mapping are constructed, and the sufficient condition for converting transition to opposing polarization is established. From this generalized medium-ware concept is defined. To overcome problems in traditional one-dimensional multi-layer structure, the HCW (hierarchical- component-ware) multi-layer structure that describes computer systems in three-dimensions is proposed. We demonstrate that HCW structure adapts to the new situation of computer architecture research, so that it is beneficial to the innovation and development of computer technology.
Bio-molecular computation has already been the focus in cutting edge science research. As the interest in molecular computation has already advanced from validating algorithms to practical applications, it is urgent to develop general-purpose bio-molecular computers. A hierarchical structure of bio-molecular computers is designed; the rules of each hierarchical level and the specific requirements for users at different levels are described with the example of solving the Hamilton Path Problem by using the proposed user-oriented and expert-oriented programming languages. After establishing the physical model of bio-molecular computers, the detailed architecture and organization of these computers are discussed,and the bio-molecular computer system is described with HCW structure. The concept of hierarchical structure provides different directions and avenues to study the bio-molecular computer.
引文
[1] A Flew. A dictionary of philosophy. St.Martin’s Press, 1984,266-267
[2] Encyclop?dia Britannica. Encyclop?dia Britannica, Inc., 1960,17:702-703
[3] G W F Hegel 著,贺麟、王太庆译.哲学史演讲录(4).商务印书馆,1997,19-20
[4] J Lock 著,关文运译. 人类理解论.商务印书馆,1997,338-349
[5] G W Leibniz 著,陈修斋译. 人类理智新论.商务印书馆,1996,266-277
[6] E B Condillac 著,洪洁求、洪丕柱译.人类知识起源论.商务印书馆,1997,18-19
[7] G Frege 著,王路译.算术基础.商务印书馆,2001,4-5
[8] 沙夫. 语义学引论. 商务印书馆,1979,352-353
[9] 赵元任. 汉语的歧义问题. 载?语言学论丛(15)?.商务印书馆,1988,221-223
[10] 石安石.语义论.商务印书馆,1993,58-59
[11] L A Zadeh. Fuzzy sets. Information and Control, 1965,(8):338-353
[12] 汪培庄. 模糊集合论及其应用. 上海科技出版社,1983, 33-34, 32-33
[13] 朱梧槚,肖奚安. 数学基础概论. 南京大学出版社,1996, 214-235,191, 243-244,370-377, 191,237-239
[14] B Russell. Human knowledge, its scope and limits. Simon and Schuster, 1948, 147-148,507
[15] M Black. Vagueness. Philosophy of science, 1937(4): 427-455
[16] C G Hompel. Vagueness and logic. Philosophy of science, 1939(6): 163-180
[17] Deng Ju-Long. Control problems of grey systems. Systems & Control Letters, 1982,(1) 5:288-294
[18] 刘凯.灰色集合与灰色系统的稳定性.华中工学院学报,1982,10(3):25-27
[19] J A Goguen. The logic of inexact concepts. Syntheses, 1968,19: 325-373
[20] C L Chang. Fuzzy topological spaces. Journal of Mathematical Analysis and Applications, 1968,24(1): 182-190
[21] Azriel Rosenfeld. Fuzzy groups. Journal of Mathematical Analysis and Applications. 1971, 35(3): 512-517
[22] L A Zadeh. Fuzzy algorithms. Information and Control, 1968,12(2) : 94-102
[23] E S Santos. Maximin automata. Information and Control, 1968,13(4): 363-377
[24] E Ruspini. A new approach to clustering. Information and Control, 1969, 15:22-32
[25] S K Chang. Picture-processing grammar and its application. Information Science, 1971, 3:121-148
[26] 何新贵.模糊关系型数据库的数据模型. 计算机学报.1989,12(2): 120-126
[27] P S King, E H Mamdani. The application of fuzzy control systems to industrial processes. Automatica, 1977,13: 235-242
[28] G Lakoff. Hedges: A study in meaning criteria and the logic of fuzzy concepts. Journal of Philosophical Logic, 1973,2:458-508
[29] S C Lee, E T Lee. Fuzzy sets and neural networks. Journal of Cybernetics, 1974, 4(2): 83-103
[30] 粟载福. 中医辨证的乏晰模型——一种中医施治的量化方法. 华中工学院学报,1980,S2:95-102+10-11
[31] V Dimitrov. Social choice and self-organization under fuzzy management. Kybernetes, 1977,6:153-156
[32] G C Oden, N H Anderson. Integration of semantic constraints. Journal of Verbal Learning and Verbal Behaviour, 1974,13:138-148
[33] H W Gottinger. Competitive processes: application to urban structures. Cybernetics, 1973, 16(3): 177-197
[34] E H Mamdani. Application of fuzzy algorithms for control of simple dynamic plant. Proceedings of the Institution of Electrical Engineers, 1974, 121(12): 1585-1588
[35] Miyamoto Shoji, Yasunobu Seiji, Ihara Hirokazu. Predictive fuzzy control and its application to automatic train operation systems. Anal of Fuzzy Inf, 1987,59-72
[36] L A Zadeh 著,陈国权译.模糊集合、语言变量及模糊逻辑.科学出版社,1982,2-4
[37] C Elkan. The paradoxical success of fuzzy logic. IEEE Expert, 1994, 9(4):3-8
[38] 高庆狮. Zadhe 模糊集合理论存在问题证明及其改进── 一个满足全部经典集合公式的C-模糊集合系统.大连理工大学学报,2005,45(5):772-780
[39] S Haack. Philosophy of Lojics. Cambridge University Press, 1978,167-168
[40] A J Weidner. Fuzzy sets and Boolean-valued universes. Fuzzy sets and Systems, 1981,6:61-72
[41] Z Pawlak. Rough sets. International Journal of Information and Computer Science. 1982, 11(5): 341-356
[42] Z Pawlak.Rough classification. Man-Machine Studies.1984, (5): 469-483
[43] Z Pawlak. On rough relations. Bulletin of the Polish Academy of Sciences: Technical Sciences, 1986, (9-10): 587-590
[44] Z Pawlak. Some remarks on rough sets. Bulletin of the Polish Academy of Sciences: Technical Sciences, 1985, (11-12): 567-572
[45] Z Pawlak. Rough concept analysis. Bulletin of the Polish Academy of Sciences: Technical Sciences, 1985, (9-10): 495-498
[46] Z Pawlak. Rough logic. Bulletin of the Polish Academy of Sciences: Technical Sciences.1987, (5-6): 253-258
[47] I Duntsch. Rough set Algebras of relations. In E Orlowska. Incomplete Information, Rough Sets Analysis. Physical-Verlag, 1998, 95-108
[48] A Skowron, H Nguyen. Rough sets in data mining: Towards approximate description of decisionclasses. Proceeding of the 4th European congress on Intelligent Techniques and Soft Computing, EUFIT’96, Sept.6-8, Aachen, Verlag Mainz 1, 1996, 149-154
[49] A Skowron, J Stepanniuk, S Tsumoto. Information granules for spatial reasoning. Bulletin of the Rough Sets Society, 1996, 3/4: 147-154
[50] R Slowinski. Intelligent decision support: handbook of applications and advance of the rough sets theory. Kluwer Acasemic Publisher, 1992
[51] 刘清. Rough 集及Rough 推理. 科学出版社, 2001,ⅲ-ⅹ
[52] 朱梧槚,肖奚安.数学基础和模糊数学基础.自然杂志,1984,7:723
[53] 肖奚安,朱梧槚.中介逻辑的命题演算系统(Ⅰ).自然杂志,1985,8(4):315
[54] 朱梧槚,肖奚安.中介逻辑的命题演算系统(Ⅱ).自然杂志,1985,8(5):394
[55] 肖奚安,朱梧槚.中介逻辑的命题演算系统(Ⅲ).自然杂志,1985,8(6):473
[56] 朱梧槚,肖奚安.中介逻辑的谓词演算系统(Ⅰ).自然杂志,1985,8(7):540
[57] 肖奚安,朱梧槚.中介逻辑的谓词演算系统(Ⅱ).自然杂志,1985,8(8):601
[58] 朱梧槚,肖奚安.中介逻辑的命题演算的扩展(Ⅰ).自然杂志,1985,8(9):681
[59] 肖奚安,朱梧槚.中介逻辑的命题演算的扩展(Ⅱ).自然杂志,1985,8(10):716
[60] 朱梧槚,肖奚安.中介逻辑的谓词演算的扩展.自然杂志,1985,8(11):841
[61] 肖奚安,朱梧槚.中介逻辑同异性演算系统.自然杂志,1985,8(12):916
[62] 朱梧槚,肖奚安.中介公理集合论系统(Ⅰ).----两种谓词的划分和定义.自然杂志,1986,9(7):554
[63] 肖奚安,朱梧槚.中介公理集合论系统(Ⅱ).----集合的运算.自然杂志,1986,9(8):632
[64] 朱梧槚,肖奚安.中介公理集合论系统(Ⅲ).----谓词与集合.自然杂志,1986,9(9):714
[65] 肖奚安,朱梧槚.中介公理集合论系统(Ⅳ).----小集与巨集.自然杂志,1986,9(10):794
[66] 朱梧槚,肖奚安.中介公理集合论系统(Ⅴ).----MS与ZFC的关系.自然杂志,1986,9(11):873
[67] 肖奚安,朱梧槚.中介公理集合论系统(Ⅵ).----逻辑数学悖论在 MS 中的解释方法.自然杂志,1986,9(12):948
[68] 朱梧槚,肖奚安. 中介公理集合论系统MS. 中国科学(A),1988,(2):113-123
[69] Xi’an Xiao, Wujia Zhu. A system of medium axiomatic set theory. SCIENTIA SINICA (Science in China), 1988,11:1320-1335
[70] 朱梧槚,肖奚安.从古典集合论和近代公理集合论到中介公理集合论.自然杂志,1987,10(1):3-6
[71] 朱梧槚,肖奚安.答《中介数学没有包括经典数学》一文及其它. 数学研究与评论,1989,9(1):149-151
[72] 张东摩,肖奚安.经典公理集合论系统与中介公理集合论系统之间的包含关系.数学研究与评论,1997,17(3):475-478
[73] 张东摩,施庆生,姜宁根,朱梧槚. MS 中的自然数系统.南京航空航天大学学报,1997,29(2):179-184
[74] Pan Yin, Wu Wangming. Medium algebras. Proceedings of The International Symposium on Multiple-Valued Logic, 1989, 19:300-304
[75] 朱梧槚,张东摩.中介自动推理的理论与实现(Ⅰ)――中介命题逻辑的表推演系统.模式识别与人工智能,1994,7(2):87-93
[76] 邹晶. 带等词的中介谓词逻辑 ME*的语义解释及可靠性、完备性. 科学通报, 1988,33(13):961-963
[77] Pan Zhenhua. On the reliability of the predical calculus system (MF) of medium logic. Proceedings of The International Symposium on Multiple-Valued Logic, 1989, 19:64-69
[78] 盛建国. 中介逻辑命题演算系统的一些特征. 应用数学,1989,4:40-44
[79] 朱朝晖,施庆生,朱梧槚. 程序兼纳集:由力迫描述的中介逻辑程序语义,中国科学(E辑),1996,(6):567-573
[80] 钱垒,周以铨. 中介逻辑的模型论性质. 南京航空学院学报,1992,24(3):57-63
[81] Zou Jing, Qui Weide. Medium modal logic - formal system and semantics. Proceedings of The International Symposium on Multiple-Valued Logic, 1989, 19:20-23
[82] 宫宁生,张东摩.中介自动推理的理论与实现(Ⅳ)――一类基于中介逻辑的模态逻辑系统. 模式识别与人工智能,1995,8(1):6-13
[83] Shi Qingsheng, Zhu Wujia. Model characters of medium temporal logic. Journal of NanjingUniversity of Aeronautics & Astronautics, 1996, 28(6): 800-805
[84] Qian Lei. Gentzen system of medium logic. Proceedings of The International Symposium on Multiple-Valued Logic, 1989, 19:75-81
[85] 谭乃. MP*系统中命题联结词的完全性. 石油天然气学报, 1987,2:75-78
[86] 张东摩, 朱梧槚. 中介自动推理的理论与实现(Ⅲ)――中介逻辑定理证明器. 模式识别与人工智能, 1994,7(4):263-268
[87] 毛宇光. 不完全信息数据库的理论及其应用研究. 南京大学博士后研究工作报告, 2002,3
[88] 朱梧槚,肖奚安,宋云波. 中介逻辑程序设计语言MILL 及其解释系统的研制. 载《“中介逻辑推理的理论及应用”课题成果论文集》. 南京航空航天大学,1994, 25-31
[89] 毛宇光, 朱梧槚. 中介逻辑演算系统MPN及MFN. 模糊系统与数学, 1999,13(2):45-51
[90] 毛宇光,徐洁磐. 用于不完全信息数据库的中介逻辑演算系统 MPM. 计算机科学,2001,28(8增):365-368,412
[91] 毛宇光,徐洁磐. 用于不完全信息数据库的中介逻辑演算系统 MFM. 计算机科 学,2001,28(9增):144-148
[92] 周勇,毛宇光,王建东. 中介粗集及其在数据挖掘中的应用. 南京航空航天大学学报,2000,32(6):609-613
[93] 潘正华.中介谓词逻辑系统的λ?归结. 软件学报. 2003,14(3): 345-349
[94] Pan Zheng-Hua. An interpretation of infinite valued for medium propositional logic. Proceedings of 2004 International Conference on Machine Learning and Cybernetics, 2004, (4): 2495-2499
[95] Zhu Jianying. On the application perspective of medium logic calculus (ML) and medium axiomatic set theory (MS). Proceedings of The International Symposium on Multiple-Valued Logic, 1989, 19:295-299
[96] 朱水林. 中介数学没有包括经典数学. 数学研究与评论,1988,8(4):649-650
[97] 肖奚安,朱梧槚.MP 系统的命题联结词的闵氏距离不增性. 空军气象学院学报, 1988,9(4):61-67
[98] A G Ganek, E H Sussenguth. Turning points in systems architecture. IBM Systems Journal, 1999,38(2-3): 335-339
[99] G M Amdahl, G A Blaauw, F P Brooks. Architecture of the IBM system/360. IBM Journal Research and Development, 1964,8(1): 86-101
[100] C C Foster. View of computer architecture. Communications of the ACM, 1972, 15(7): 557-565
[101] B Gavish, H Kock. Hierarchy of computer architectures. Tsement, 1978, 39-44
[102] G J Lipovski, K L Doty. Developments and directions in computer architecture. Computer, 1978,11(8): 54-67
[103] A J Bernstein, P Siegel. Computer architecture for level structured systems. IEEE Transactions on Computers, 1975,24(8): 785-793
[104] A S Tanenbaum. Structured computer organization. Prentice Hall, 1976, 1-10, 10-11
[105] Kai Hwang, F A. Briggs. Computer architecture and parallel processing. McGraw-Hill Book Company,1984
[106] J L Hennessy, D A Patterson. Computer architecture: a quantitative approach, 3rd. ed.. Morgan Kaufmann publishers, 2002, ⅩⅦ,678,774,775
[107] C G Bell; A Newell. PMS and ISP descriptive systems for computer structures. Proc., Spring Jt Comput Conf., 1970,74
[108] D A Patterson, D R Diitzel. The case for the reduced instruction set computer. Computer Architecture News, 1980,8(6): 25-33
[109] R P Colwell, R Steck. A 0.6um BiCMOS processer with dynamic execution. Proc. of Int’l Symposium on solid State Circuits, 1995,176-177
[110] A Nicolau, J A Fisher. Measuring the parallelism available for very long instruction word architectures. IEEE Transactions on Computers, 1984,33(11): 968-976
[111] U O Gagliardi. Report of workshop 4 – software related advances in computer hardware. Proc. Symosium on the High Cost of Software, 1973,99-120
[112] H M Bloom. Structure of a direct high-level language processor. Water, Air and Soil Pollution, 1973, 70-80
[113] P L Crews, W M Lively, D B Simmons. Multi-lingual high level language computer architecture. Digest of Papers - IEEE Computer Society International Conference, 1977, 309-313
[114] J Fisher. Very long instruction work architecture and the eli-512. Conference Proceedings - Annual Symposium on Computer Architecture, 1983,140-150
[115] A W Burks, H H Goldstine, J von Neumann. Preliminary discussion of the logic design of an electronics computing instrument, (1946), in W Aspray, A Burks eds. Papers of John vonNeumann. MIT Press, 1987,97-146
[116] T Kilburn, D B G Edwards, M J Lanigan, F H Sumner. One level storage system. in D P Siewiorek, C G Bell, A Newell. Computer structures: principles and examples. McGraw-Hill Book Company, 1982,135-148
[117] C K Chow. On optimization of storage hierarchies. IBM Journal of Research and Development, 1974,18(3): 194-203
[118] M Wilks. Slave memories and dynamic storage allocation. IEEE Transaction Electronic Computer, 1965,14(2): 270-271
[119] A J Smith. Cache memories. Computing Surveys, 1981,14(3)
[120] M Rezaei, K M Kavi. Intelligent memory manager: Reducing cache pollution due to memory management functions. Journal of Systems Architecture, 2006,52(1): 41-55
[121] Liu Lishing.. Issues in multi-level cache designs. Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1994,46-52
[122] Wang Wen-Hann, J L Baer, H M Levy. Organization and performance of a two-level virtual-real cache hierarchy.Conference Proceedings - Annual Symposium on Computer Architecture, 1989,(16):140-148
[123] J K Peir, W W Hsu, H Young, S Ong. Improving cache performance with balanced tag and data paths. Computer Architecture News, 1996,24(Special Issu): 268-278
[124] G E Suh, L Rudolph, S Devadas. Dynamic partitioning of shared cache memory. Journal of Supercomputing, 2004,28(1): 7-26
[125] D A Patterson, G A Gibson, R H Katz. A case for redundant arrays of inexpensive disks (RAID). ACM SIGMOD Conf. Proc., 1988, 109-116
[126] C Eddington. InfiniBridge: An infiniBand channel adapter with integrated switch. IEEE Micro, 2002,22(2): 48-56
[127] M Rezaei; K M Kavi. Intelligent memory manager: Reducing cache pollution due to memory management functions. Journal of Systems Architecture, 2006,52(1):41-55
[128] J E Hughes, M LScollard, R Land, etc. BladeCenter processor blades, I/O expansion adapters, and units. IBM Journal of Research and Development, 2005,49(6): 837-859
[129] J Allen. Computer architecture for signal processing. Proceedings of the IEEE, 1975, 63(4): 624-633
[130] H C Kancler. Architecture of aerospace computer simplifies programming. Computer Design,1976,15,(5):159-166
[131] J Banerjee, D K Hsiao, R I Baum. Concepts and capabilities of a database computer. ACM Transactions on Database Systems,1978,3(4):347-384
[132] S H Unger. A computer oriented towards spatial problems. Proc. Institute of Radio Engineers, 1958,46(10):1744-1750
[133] G H Barnes, R M Kato, M Kuck, et al. The Illiac IV computer. IEEE Transactions on Computers, 1968,17(8): 746-757
[134] L C Higbie. Supercomputer architecture. Computer, 1973,6(12): 48-58
[135] S Y Kung, C E Leiserson. Systolic arrays(for VLSI). SIAM Sparse Matrix Proc., 1978,245-282
[136] J B Dennis. Data flow supercomputers. Computer, 1980,13(11):48-56
[137] R E GOODSON. Distributed system simulation using infinite product expansions. Simulation, 1970,15(6): 255-263
[138] P H J Enslow. What is distributed data processing system? Computer, 1978,11(1): 13-21
[139] A S Tanenbaum. Distributed operating systems. Prentice-Hall,Inc, 1995
[140] G Coulouris, J Dollimore, T Kindberg. Distributed systems: concepts and design, 3rd ed. Addison Wesley, 2001,2-5
[141] M J Flyyn. Very high speed computing systems. Proc.IEEE, 1966,1901-1909
[142] 沈绪榜, 张发存, 冯国臣,等. 计算机体系结构的分类模型. 计算机学报, 2005,28(11): 1759-1766
[143] G M Amdahl. Validity of single-processor approach to achieving large scale computing capability. Proc. AFIPS Conf., 1967,483-485
[144] J L Gustafson. Reevaluating Amdahl's law. Communications of the ACM, 1988, 31(5): 532-533
[145] http://www.top500.org/
[146] G W Strok. Optical computing. IEEE Spectrum, 1972, 9(12): 24-41
[147] R P Birge . Protein based computers. Scientific American, 1995, 272(3): 90-95
[148] R Feynman. Simulating physics with computers. Int.J.Theory.Phys. 1982,21:467-469
[149] D Deutsch. Quantum theory, the church-turing principle and the universal quantum computer. Proceedings of The Royal Society of London, Series A: Mathematical and Physical Sciences, 1985,400(1818): 97-117
[150] D Deutsch. Quantum computation network. Proceedings of The Royal Society of London, Series A: Mathematical and Physical Sciences, 1989,425:73-79
[151] P W Shor. Algorithms for quantum computation: Discrete logarithms and factoring. Annual Symposium on Foundations of Computer Science - Proceedings, 1994,124-134
[152] 李承祖等. 量子通信和量子计算. 国防科技大学出版社,2000
[153] M A Nielsen, L C Isaac. Quantum computation and quantum information. Cambridge University Press, 2000
[154] R Raussendorf, H J Brieger. A one-way quantum computer. Physical Review Letters, 2001,86:5188-5191
[155] P Walther, K J Resch, T Rudolph, et al. Experimental one-way quantum computing. Nature, 2005,434:169-176
[156] M A Nielsen, M R Dowling, Gu Mile, A C Doherty. Quantum computation as geometry. Science, 2006,311:1133-1135
[157] L M Adleman . Molecular computation of solutions to combinatorial problems. Science, 1994, 266:1021-1024
[158] R J Lipton. DNA solution of hard computational problems. Science, 1995,268:542-545
[159] Q Ouyang, P D Kaplan, S M Liu, et al. DNA solution of the maximal clique problem. Science, 1997,278:446-449.
[160] S Ravinderju, et al. Solution of a 20-variable 3-sat problem on a DNA computer. Science, 2002,296:499-502
[161] D. Boneh, C. Dunworth, R. J. Lipton, et al. On the computational power of DNA. Discrete Applied Mathematics, 1996,71:79-94
[162] G. Paun, S. A. Rozenberg,. DNA computing: New Computing Paradigms. Springer-Verlag, 1998
[163] L Qinghua, W Liman, G. Anthony, et al. DNA computing on surface. Nature, 2000,403:175-178.
[164] K Sakamoto, H Gouzu, K Komiya, et al. Molecular computation by DNA hairpin formation. Science, 2000,288:1223-1226
[165] G Frank, F Makiko, B Carter. Making DNA add. Science, 1996,273:220-223
[166] Y Benenson, B Gil, U Ben-Dor, R Adar, et al. An autonomous molecular computer for logical control of gene expression. Nature, 2004,429: 423-429
[167] Y Benenson, T Paz-Elizur, R Adar, et al. Programmable and autonomous computing machine made of biomolecules. Nature, 2001,414:431-434
[168] 许进, 张雷. DNA 计算机原理、进展及难点(Ⅰ):生物计算系统及其在图论中的应用. 计算机学报, 2003,26(1): 1-11
[169] L Kari, S Konstantinidis, P Sosik. On properties of bond-free DNA languages. Theoretical Computer Science, 2005,334(1-3):131-159
[170] J Tanida, Y Ogura, S Saito. Photonic DNA computing: Concept and implementation. Proceedings of SPIE - The International Society for Optical Engineering, v 6027 I, ICO20: Optical Information Processing, 2006
[171] 陈省身,陈维桓. 微分几何讲义.北京大学出版社, 1983,1-2
[172] 黄昆,韩汝琦. 半导体物理基础. 科学出版社.1979, 8-13
[173] 金岳霖. 知识论. 商务印书馆, 2003, 687-728
[174] L A Zadeh. Probability measures of fuzzy events. Journal of Mathematics and Applications, 1968,23:421-427
[175] A De Luca, S Termini. A definition of a nonprobabilistic entropyin the setting of fuzzy sets theory. Information and Control, 1972,20:301-312
[176] 李德毅, 孟海军, 史雪梅. 隶属云和隶属云发生器. 计算机研究与发展, 1995, 32(11):15-20
[177] 李德毅. 知识表示中的不确定性. 中国工程科学,2000,2(10):73-79
[178] 王同亿. 新世纪现代汉语词典. 京华出版社, 2001, 982-983, 309,455
[179] 复旦大学. 概率论(第一册). 高等教育出版社, 1988
[180] 沈世镒, 陈鲁生. 信息论与编码理论. 科学出版社,2002, 18-44
[181] A Ralston, E Reilly. Encyclopedia of computer science and engineering, 2nd edit. Von Nostrand Reinhold Company, Inc., 1983, 1346-1384
[182] D P Siewiorek, C G Bell, A Newell 著,陈炳从 等译. 计算机系统结构:原理与实例(上册). 科学出版社,1988, 15-17
[183] 李学干. 计算机系统结构(第三版). 西安电子科技大学出版社, 2000,2-3,94-95
[184] 郑纬民,汤志忠. 计算机系统结构,第 2 版. 北京: 清华大学出版社,1998,30-31, 36-37, 2-4
[185] A S Tanenbaum. Structured computer organization, 4th ed. Prentice Hall,1999, 8-9
[186] V Illingworth. Oxford dictionary of computing, 4th ed. Oxford University Press, 1996
[187] Zhang Xiao-xiang. Encyclopedia of Computer Science and Technology. Tsinghua University Press, 1998.
[188] T Gunton. The penguin dictionary of information technology, 2nd ed. Penguin Books Ltd, 1993. 110, 279
[189] V Claus, A Schuill. Encyclopedia of Information Technology. Ellis Horwood, Ltd., 1992
[190] The British Computer Society. A glossary of computing terms, 10th ed.. Addison Wesley,2002
[191] T F Hoad. Oxford concise dictionary of English etymology. Oxford University Press, 1996
[192] S Collin. Dictionary of information technology, 3rd ed. Peter Collin Publishing Ltd, 2002
[193] 《无机化学》编写组. 无机化学. 人民教育出版社,1979,183-185
[194] J L Hennessy, D A Patterson. Computer architecture: a quantitative approach, 3rd. ed.. Morgan Kaufmann publishers, 2003, 6-7
[195] 洪龙, 李爱群, 周宁宁, 陈燕俐. 计算机系统设计:概念与技术. 西安电子科技大学出版社, 2004
[196] A Flew. A dictionary of philosophy, 2nd ed.. St. Martin’s Press, 1984, 278-279
[197] Aristotle[古希腊]著, 方书春译. 范畴篇 解释篇. 商务出版社,1959, 38-44
[198] D Knuth. The Art of Computer Programming, Vol. 1. Addison-Wesley Publishing Company, Inc, 1973, 620-621
[199] E Horowitz, S Sahni. Fundamentals of data structure. Computer Science Press, Inc.1976, 5-6
[200] Hong Long, Zhu Wu-jia. A Program and Its Execution Time. Proceedings of 2nd Asian Workshop on Foundations of Software, 2003, 95-97
[201] A S Tanenbaum, M Steen. Distributed systems: principles and paradigms. Prentice Hall, Inc.,2002, 4-5, 16-21
[202] G Coulouris, J Dollimore, T Kindberg. Distributed systems: concepts and design, 3rd ed., Addison-Wesley Publishing Company, Inc, 2001,15-16
[203] 沈绪榜, 张发存, 冯国臣,等. 计算机体系结构的分类模型. 计算机学报, 2005,28(11): 1759-1766
[204] 张尧学. 透明计算:概念、结构和示例. 电子学报, 2004, 32(12A):169-174
[205] N Jonoska. Trends in computing with DNA. Journal of Computer science & technology. 2004. 19(1): 98-113
[206] 张昌颖. 生物化学(第2 版). 人民卫生出版社, 1988, 44-57
[207] G Paun, S A Rozenberg. DNA computing: New Computing Paradigms. Springer-Verlag,1998,1-10
[208] J Dale, M Von Schantz. From Genes to Genomes: Concepts and Applications of DNA Technology. John Wiley & Sons Ltd, 2002, 5-12
[209]卢圣栋. 分子生物学实验室常用技术(第2 版). 中国协和大学出版社. 1999, 722-724,79
[210] L Qinghua, W Liman, G Anthony, et al. DNA computing on surface. Nature, 2000.403: 175-178
[211] 洪龙,朱梧槚.Hamilton 圈问题的 DNA 算法.南京航空航天大学学报, 2006,38(2): 222-226