面向对象的广义空间逻辑运算模型与推理研究
|
摘要
本课题的研究来源于国家自然科学基金资助项目“经验知识推理理论研究”(No．6027308)及北京市自然科学基金资助项目“不精确推理理论研究”(No．4032009)。
在广义相关性和广义自相关性的基础上，泛逻辑给出了逻辑学的一种统一理论框架，为研究复杂系统中的柔性逻辑推理奠定了理论基础。在软件工程中，面向对象技术发挥了重要作用，它大大简化了复杂问题的描述和编程。
本文在泛逻辑的基础上，利用面向对象的思想和方法，探讨了逻辑系统的组成结构、运算模型、推理规则、应用形式，提出了“面向对象的广义空间逻辑运算模型(Object-oriented Generalied Spatial Logic Operation Model，OGSLOM)”，并对其各个部分进行了系统地研究，主要的创新点有：
1．理论概念
在逻辑推理系统中引入了“面向对象”、“广义空间”等概念，分析了命题对象、连接词对象、量词对象、规则对象，给出了相关属性，讨论了研究面向对象的广义空间逻辑的必要性。
2．运算模型
在分析空间位置相关性的基础上，提出了“面向对象的广义空间逻辑运算模型OGSLOM”，其中包括多属性命题对象的封装模型、广义连接词运算的黑箱封装模型。在给出统一封装模型的基础上，定义了基础神经元和常用神经元，设计了非、与、或、蕴涵、等价、平均、组合七种连接词的广义神经元封装模型。
3．技术方法
在推理过程中引入了“真值向量”、“空间图像”、“升空变换”、“落影变换”等概念，把命题对象纳入到参考空间中进行处理，突破了传统的命题推理范式。研究了广义连接词的生成规则、面向对象的广义推理规则、信任逻辑推理规则，并给出了推理规则的面向对象表达。
4．仿真应用
设计并实现了OGSLOM模型的仿真系统，支持命题对象及其属性的管理，对
Universal logic put forward the conceptions of general correlation and general self-correlation, and gave the uniform logic frame. It established the theoretic foundation for flexible logic reasoning in complicated system. In the field of software engineering, object-oriented technology plays a important role. It has simplified the description and programming of complicated system greatly.
Based on the universal logic principle, and using the thinking and method, this dissertation discussed the logic structures, operation models, reasoning rules and application forms, put forward the "Object-oriented Generalied Spatial Logic Operation Model (Object-oriented Generalied Spatial Logic Operation Model,OGSLOM)", and studied its all parts detailedly. Here are the main innovative points.
1. Theoretic conceptions
It imprted the conceptions of "Object-oriented" and "Generalied sapce" into logic reasoning system, analyzed proposition object, connective object, quantifier object rule object, and their properties, and discussed the necessary of object-oriented generalied spatial logic.
2. Operation models
It put forward the "Object-oriented Generalied Spatial Logic Operation Model (OGSLOM)" based on analysis of the spatial position correlation. It include the encapsulation model of multi property object, the encapsulation model of generalied connective operation. On the bases of uniform encapsulation model, It defined basic neurons and common neurons, and designed the generalied neuron encapsulation models of the "Not, And, Or, Implication, Equivalence, Average, Combination" seven connectives operations.
在广义相关性和广义自相关性的基础上，泛逻辑给出了逻辑学的一种统一理论框架，为研究复杂系统中的柔性逻辑推理奠定了理论基础。在软件工程中，面向对象技术发挥了重要作用，它大大简化了复杂问题的描述和编程。
本文在泛逻辑的基础上，利用面向对象的思想和方法，探讨了逻辑系统的组成结构、运算模型、推理规则、应用形式，提出了“面向对象的广义空间逻辑运算模型(Object-oriented Generalied Spatial Logic Operation Model，OGSLOM)”，并对其各个部分进行了系统地研究，主要的创新点有：
1．理论概念
在逻辑推理系统中引入了“面向对象”、“广义空间”等概念，分析了命题对象、连接词对象、量词对象、规则对象，给出了相关属性，讨论了研究面向对象的广义空间逻辑的必要性。
2．运算模型
在分析空间位置相关性的基础上，提出了“面向对象的广义空间逻辑运算模型OGSLOM”，其中包括多属性命题对象的封装模型、广义连接词运算的黑箱封装模型。在给出统一封装模型的基础上，定义了基础神经元和常用神经元，设计了非、与、或、蕴涵、等价、平均、组合七种连接词的广义神经元封装模型。
3．技术方法
在推理过程中引入了“真值向量”、“空间图像”、“升空变换”、“落影变换”等概念，把命题对象纳入到参考空间中进行处理，突破了传统的命题推理范式。研究了广义连接词的生成规则、面向对象的广义推理规则、信任逻辑推理规则，并给出了推理规则的面向对象表达。
4．仿真应用
设计并实现了OGSLOM模型的仿真系统，支持命题对象及其属性的管理，对
Universal logic put forward the conceptions of general correlation and general self-correlation, and gave the uniform logic frame. It established the theoretic foundation for flexible logic reasoning in complicated system. In the field of software engineering, object-oriented technology plays a important role. It has simplified the description and programming of complicated system greatly.
Based on the universal logic principle, and using the thinking and method, this dissertation discussed the logic structures, operation models, reasoning rules and application forms, put forward the "Object-oriented Generalied Spatial Logic Operation Model (Object-oriented Generalied Spatial Logic Operation Model,OGSLOM)", and studied its all parts detailedly. Here are the main innovative points.
1. Theoretic conceptions
It imprted the conceptions of "Object-oriented" and "Generalied sapce" into logic reasoning system, analyzed proposition object, connective object, quantifier object rule object, and their properties, and discussed the necessary of object-oriented generalied spatial logic.
2. Operation models
It put forward the "Object-oriented Generalied Spatial Logic Operation Model (OGSLOM)" based on analysis of the spatial position correlation. It include the encapsulation model of multi property object, the encapsulation model of generalied connective operation. On the bases of uniform encapsulation model, It defined basic neurons and common neurons, and designed the generalied neuron encapsulation models of the "Not, And, Or, Implication, Equivalence, Average, Combination" seven connectives operations.
引文
[ABDI91] Abadi.M, Tuttle,M, "A semantics for a logic of authentication", Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, New York: ACM Press,1991, p201-216
[AIAK96] Aizenberg N N, Aizenberg N I, Krivosheev A G. Multi-valued and universal binary neurons: mathematical model, learning, networks, application to image processing and pattern recognition, In: IEEE Proc. of ICPR'96, 1996, p 185-189
[ALQU88] C.Alsina, J.J.Quesada, On the Associativity of C(x,y) and x-C(x,l-y), Int.Sym, on Multiple-valued Logic, 1988
[ALTV83] C.Alsina, E.Trillas, L.Valverde, On Some Logical Connectives for Fuzzy Sets Theory, J.of Math.Anal.and appli., 1983, Vol.93, p 15-26
[ARIS95] Patterson, Richard, Aristotle's Modal Logic: Essence and Entailment in the Organon. Cambridge University Press, 1995
[BACH98] Bailey S. A, Chen Ye-Hwa, A Two Layer Network using the OR/AND Neuron, In: Proc. IEEE-FUZZ, 1998, p1566-1571
[BAKO80] W.Bandler, L.J.Kohout, Semantics of Implication Operators and Fuzzy Relational Products, Int.J.Man-machine Studies, 1980, Vol. 12, p89-116
[BANL89] Burrows.M,Abadi,M, Needham,R. A logic of authentication. Technical Report 39, Digital Systems Research Center, 1989
[BJOR95] Anders Torvill Bjorvand, Fractal Logic-A New Approach to Intelligent Systems Theory, Computer Science Project report, The University of Trondheim, 1995
[BUAN89] Burrows.M, Abadi,M, Needham,R, A logic of authentication. Technical Report 39, Digital Systems Research Center, 1989
[CAOC05] CAOLi-li, CHENKe-fei, Towards the Idealization Procedure of BAN-Like Logics, Wuhan University Journal of Natural Sciences, 2005, Vol 10(1), p214-218
[CHAR20] (英)Charles Handy著，徐华，黄云译，超越确定性：组织变革的观念，北京：华夏出版社，2000
[CHDH01] 陈丹，何华灿，王晖，一种新的基于弱T范数簇的神经元模型，计算机学报，2001， Vol24(10)，p1115-1120
[CHDM89] C.Chen, J.S.Daponte, and M.D.Fox, Fractal feature analysis and classification in medical imaging, IEEE Transactions on Medical Imaging, 1989, Vol.8(2), p133—142
[CHDW02] 陈丹，王劭伯，单神经元模糊自适应内模控制器，福州大学学报(自然科学版)，2002，Vol30(6)，p818-821
[CHHL99] 陈晖，李德毅等，云模型在倒立摆控制中的应用，计算机研究与发展，1999，Vol．36(10)，p1180-1187
[CHHM03] Zhicheng Chen, Huacan He, Mingyi Mao, Correlation Reasoning of Complex System Based on Universal Logic, IEEE Proceedings of 2003 International Conference on Machine Learning and Cybernetics, Vol.3/5, Xi'an, 2003, 11, p1831-1835
[CHHM05] 陈志成，何华灿，毛明毅，任意区间上的广义N范数与生成元，西北工业大学学报，2005，Vol23(3)，p347-351
[CHML04] 陈志成，何华灿，毛明毅，刘峰，基于格图像的康托集分维与泛逻辑运算，计算机科学，2004，Vol31(4)，p92-95
[CHYY97] 陈衍仪，图像压缩的分形理论和方法，北京：国防工业出版社，1997
[CHZC04] 陈志成，复杂系统中分形混沌与逻辑的相关性推理研究，西安：西北工业大学博士学位论文，2004
[CHZH04] 陈志成，何华灿，毛明毅，基于泛逻辑的分形与混沌逻辑初探，计算机科学，2004，Vol31(6)，p149-152
[CONS91] Constantine A.G, Hall P, Characterising Surface Smoothness via Estimation of Effective Fractal Dimension, Tech.rept, CMA-SR20-91, Centre for mathmatics and its applications, Australian National University, Canberra, ACT, Australia, 1991
[CSJZ98] 陈守吉，张立明，分形与图象压缩，上海：上海科技教育出版社，1998
[CUTL93] Cutler, A review of the theory and estimation of ffactal dimension, In Dimension estimation and models, Nonlinear Time Set, Chaos I, World Sci Publishing, 1993, p1-107
[CYNT03] Cynthia Lanius, Fractal Properties, Fractal Dimension, http://math.rice.edu/-lanius/fractals/dim.html 2003
[DARW99] 戴汝为，复杂性研究文集，中科院自动化所复杂系统与智能科学实验室，1999
[DEWA92] R.L.Dewar, B.I.Henry, Nonlinear dynamics and chaos, Ingapore: World Scientific, 1992
[DITT95] William Ditto, et.al, Experimental chaos conference, Sponsored by the Office of Naval Research, Singapore: World Scientific, 1995
[DOTV81] X.Domingo, E.Trillas, L.Valverde, Pushing lukasiewicz-tarski Implication a Little Farther, Int.Sym.on Multiple-valued Logic, 1981
[DUSL98] 杜益鸟，宋自林，李德毅，基于云模型的关联规则挖掘方法，解放军理工大学学报，1998，Vol．1(1)，p29-34
[ELKA94] C.Elkan, The Paradoxical Success of Fuzzy Logic, Special Volume on Expert System, 1994, Vol.8, p3-8
[EOTT02] Edward Ott, Chaos in dynamical systems, Cambridge: Cambridge University Press, 2002
[ESTD81] F.Esteva, E.Trillas, X.Domingo, Weak and Strong Negation Functions for Fuzzy Set Theory, Int.Sym.on Multiple-valued Logic, 1981
[FEID04] 费定舟，邓达强，关于BAN逻辑的语义模型的分析与改进，计算机工程与应用，2004，Vol40(15)，p67-69，121
[FLCJ99] 方林，程景云，面向对象的逻辑图示语言，计算机辅助设计与图形学学报，1999，Vol．8(3)，p203-208
[FODA91] J.C.Fodor, A Remark on Constructing t-norms, Fuzzy Sets and Systems, 1991, Vol.41, p195-199
[FODA93] J.C.Fodor, Fuzzy Connectives via Matrix logic, Fuzzy Sets and Systems, 1993,Vol.56, p67-77
[FODC91] J.C.Fodor, Strict Preference Relations Based on Weak t-norm, Fuzzy Sets and Systems, 1991, Vol.43, p327-336
[FOKE94] J.C.Fodor, T.Keresztfalvi, A Characterization of the Hamacher Family of t-norms, Fuzzy Sets and Systems, 1994, Vol.65, p51-65
[FULH04] 付利华，何华灿，基于免疫进化规划的一种柔性神经模糊推理系统，计算机工程与应用，2004，Vol40(18)，p19-22
[FULM94] Fu L M, Rule generation from neural network, IEEE Trans on System, Man, and Cybernecics, 1994, Vol24(8), 1114-1124
[GEHU99] Geczy P, Hayasaka T, Usui S. Knowledge acquisition from networks of abstract bio-neurons, In: Proc. of the 6th International Conference on Neural Information Processing, 1999, Vo12, p610-615
[GEHY02] 耿宏运等，Delphi6.0组件大全，北京：电子工业出版社，2002
[GHFB00] 顾红芳，白鹏等，数理逻辑之研究对象、学科归属、定义及研究领域，自然杂志，2000，Vol．22(5)，p294-299
[GLOR96] Glorennec Pierre-Yves, Neuro-Fuzzy Logic, In: Proc. IEEE-FUZZ, 1996, p512-5 18
[GRAS83] P.Grassberger, On the fractal dimension of the Henon attractor, Phys.Lett, 1983, 97A, p224-226
[GUQI91] Gupta M M, Qi J, On fuzzy neuron models, In: IJCNN-91-Seattle International Joint Conference, 1991, Vo12, p431-436
[HACS96] Hacck. S, Deviant Logic and Fuzzy Logic, Beyond the Formalism, The University of Chicago Press, 1996
[HEAW03] Huacan He, Lirong Ai, Hua Wang, Uncertainties and the Flexible Logics, IEEE Proceedings of 2003 International Conference on Machine Learning and Cybernetics, Vol.4/5, Xi'an, 2003, 11, p2573-2578
[HEHC03] 何华灿，论第二次逻辑学革命，中国人工智能进展-中国人工智能学会第十界全国学术年会(特邀报告)，广州，2003，11，p32-41
[HEHC82] 何华灿，智能论(关于人脑和其他各种系统中信息处理规律的科学)，人工智能学报，1982，No．3，p1-18
[HEHC88] 何华灿，人工智能导论，西北工业大学出版社，1988
[HELB98] 何华灿，刘永怀，白振兴，艾丽蓉，王瑛，一级泛非运算研究，计算机学报，Vol．21(增刊)，1998，p24-28
[HELH96] 何华灿，刘永怀，何大庆，经验性思维中的泛逻辑，中国科学(E辑)，1996，Vol．26，72-78：(英文版，Vol．39，1996，No．2，p225-234)
[HELI98] 何华灿，刘永怀等，泛“蕴含”运算和泛“串行推理”运算研究，软件学报，1998，Vol．9(6)，p469-473
[HEWL01] 何华灿，王华，刘永怀等，泛逻辑学原理，北京，科学出版社，2001
[HIPE94] Hirota K, Pedrycz W, OR/AND neuron in modeling fuzzy connectives, IEEE trans on Fuzzy Systems, 1994, Vol2(2), p151-161
[HOFE94] S.Hofer, M.Pandit, Two-dimensional fractional brownian motion and its application in image analysis, In Proceedings Conference of Information and Management of Uncertainty in Knowledge-Based Systems, Paris, 1994
[HULC01] 黄麟雏，高科技时代与思维方式，天津，天津科学技术出版社，2001，p86-194
[HULZ05] 胡煜，李远杰，曾明，朱利，基于公理系统的面向对象自动测试研究，微电子学与计算机，2005，Vol22(7)，p16-18，23
[HYWX01] 洪源，王秀美等，面向对象数据库的逻辑设计方法，北京科技大学学报，2001，No．3．p382-385
[IANC97] I.Iancu, T-norm with Threshold, Fuzzy Sets and System, 1997, Vol.85, p83-92
[JAMR04] James Rumbaugh, Object-oriented Modeling and Design, Beijing: China Electric Power Press, 2004
[JENE20] S.Jenei, New Family of Triangular Norms via Contrapositive Symmetrization of Residuated Implications, Fuzzy Sets and Systems, 2000, Vol. 110, p157-174
[JHJG20] (美)Jack Hirshleifer，John G．Riley著，刘广灵，李绍荣译，不确定性与信息分析，北京：中国社会科学出版社，2000
[JINZ94] 金芝，面向对象逻辑语言SCKE中的限制推理，软件学报，1994，Vol．5(5)，p16-25
[JIYZ05] 贾国梁，杨树堂，诸鸿文，李谢华，BAN逻辑与串空间相结合的安全协议分析方法，信息安全与通信保密，2005，No．3，p147-149
[JYLC00] 蒋嵘，李德毅，陈晖，基于云模型的时间序列预测，解放军理工大学学报，2000，Vol．1(5)，p13-18
[KAIL90] Kailar R, Accountability in electronic commerce protocols, IEEE Transaction on Computer Systems, 1990, Vol.8 (1), p18-36
[KJFA85] K.J.Falconer, The Geometry of Fractal Sets, London: Cambridge University Press, 1985
[KOUR02] Kourosh Ardestani, Fabio Claudio, et al, Visual Basic.NET Threading Handbook, Beijing, Tsinghua University Press, 2002
[LAST94] Andrzej Lasota, Michael C.Mackey, Chaos, fractals, and noise, New York: Springer-Verlag, 1994
[LCJM99] 李长江，麻士华等，矿产勘查中的分形、混沌与ANN，北京：地质出版社，1999
[LHQC90] 李后强，程光钺，分形与分维：探索复杂性的新方法，成都：四川教育出版社，1990
[LIDY20] 刘大有等著，知识系统中不确定性和模糊性处理的数值方法，长春：吉林大学出版社，2000
[LIFA92] 李凡，人工智能中的不确定性，北京：气象出版社，1992
[LIF096] 刘伏贵，面向对象的软件系统抽象和逻辑模型，湘潭大学自然科学学报，1996，Vol．18(3)，p113-116
[LIHD01] 刘怀德，不确定性经济学研究，上海：上海财经大学出版社，2001
[LIHJ98] 刘华杰，分形艺术，长沙：湖南科学技术出版社，1998
[LILY95] 李拉亚，通货膨胀与不确定性，北京：中国人民大学出版社，1995
[LINY90] Li Gong, Need Ham,R, Yahalom,R, Reasoning about belief in cryptographic protocols, Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy. Los Alamitos,CA:IEEE Computer Society Press, 1990, p234-248
[LISY98] 廉师友，程度逻辑及其运算性质，现代电子技术，1998，No．4，p37-40
[LIWA99] 刘普寅，汪浩，正则模糊神经网络对于连续模糊函数的近似能力研究．，中国科学(E辑)，1999，Vol29(1)，p54-60
[LIWY05] 李维涛，应惠清，袁波，面向对象程序设计思想在大型基坑设计分析软件开发中的应用，岩土工程技术，2005，Vol19(4)，p173-176
[LIZW04] LiLi, ZhangHuan-guo, WangLi-na, An Improved Non-Repudiation Protocol and Its Security Analysis, Wuhan University Journal of Natural Sciences. 2004, Vol9(3), p288-292
[LPYL01] 刘培玉，刘法胜等，面向对象数据库建模方法与逻辑设计，计算机应用研究，1996，No．3．p39-41
[LUBH03] Lu Bin, He Huacan, Study on Modeling of Self-adaptive Neural Fuzzy System, Computer Science, 2003, Vol30(10), p40-44
[LUBH05] 鲁斌，泛逻辑神经元模型研究，计算机工程与应用，2005，Vol41(6)，p82-84
[LUBl03] 鲁斌，广义智能系统柔性超拓扑空间模型研究与应用，西安：西北工业大学博士学位论文，2003
[LUHE03] Lu Bin, He Huacan, Analysis of Universal-Logics-based fuzzy neural networks, The 5th International Symposium on Instrumentation and Control Technology, Beijing, 2003, 5253(14)
[LUND88] Stig Lundqvist, Norman H.March, and Mario P.Tosi, Order and chaos in nonlinear physical systems, New York: Plenum Press, 1988
[LUTZ95] Lutzenberger, Preissl, Pulvermueller, Fractal dimension of electroencephalographic time series and underlying brain processes, Biol, Cybern, 1995, 73:p477-482
[LXMJ94] 李晓敏，金芝，刘凤歧 面向对象逻辑语言中的常识知识表示，湘潭大学自然科学学报，1994，Vol．16(1)，p163-166
[MAND82] Mandelbrot B B. Fractal Geometry of Nature, Freeman, San Francico. 1982
[MAOH04] 毛明毅，何华灿，陈志成，正态分布参量的广义自相关性，计算机科学，2004，Vol31(11)，p1-3，10
[MAOC05] 毛明毅，陈志成，何华灿，复杂控制系统随机参量的广义自相关性研究，控制与决策，2005，Vol20(No．8)，p860-865
[MARG90] P.Maragos, F.Sun, Measuring Fractal Dimension: Morphological Estimates and Iterative Optimization, Technical Report CICS-P-198, Center For Intelligent Control Systems, Cambridge: Massachusetts, 1990
[MAYH05] 马盈仓，何华灿，泛逻辑的基本形式系统中的广义重言式理论，计算机科学，2005，Vol32(6)，p96-98
[MDBT99] Mandelbrot著，文志英，苏虹译，分形对象：形、机遇和维数，北京：世界图书出版公司北京公司，1999
[MIXH05] 缪祥华，基于BAN逻辑的密码协议分析，高性能计算技术，2005，No．1，p30-32
[MIZU89] M.Mizumoto, Pictorial Representations of Fuzzy Connectives, Part Ⅰ:Cases of T-norms, T-conorms and Averaging Operators, Part Ⅱ: Cases of Compensatory Operators and Self-dual Operators, Fuzzy Sets and Systems, 1989, Vol.31, p217-242; Vol.32, p45-79
[MRKL97] (美)Morris Kline著，李宏魁译，数学：确定性的丧失，长沙：湖南科学技术出版社，1997
[MRMV99] 马瑞民，袁文翠，朱玉玺，基于知识的星型决策支持系统及其面向对象设计，大庆石油学院学报，1999，No．1，p43-46
[MXER02] (美)米歇尔·沃尔德罗普(Mitchell Waldrop)，复杂，http://www.eshunet.com/,2002
[NOPE88] V.Novak, W.Perdrycz, Fuzzy Sets and t-norms in the Light of Fuzzy Logic, Int.j, Man-machine Studies, Vol.29(1988), p113-127
[NOPS88] A.D.Nola, W.Pedrycz, S.Sessa, Fuzzy Relation Equations with Equity and Difference Composition Operators, Fuzzy Sets and Systems, 1998, Vol.25, p205-215
[OVCH83] S.V.Ovchinnikov, General Negations in Fuzzy Set Theory, J.of Math.Anal, Appli, 1983, Vol.92, p234-239
[OVCH91] S.V.Ovchinnikov, Similarity Relations, Fuzzy Partitions and Fuzzy Orderings, Fuzzy Sets and Systems, 1991, Vol.40, p107-126
[PENT84] A.Pentland, Fractal-Based Description of Natural Scenes, IEEE Trans, on Pattern Analysis and Machine Intelligence, 1984, Vol.6(6), p661-674
[PERE02] Yuvat Peres, How likely is Buffon's needle to fall near a planar Cantor set? Pacific Journal of Math, 2002, 204, p473-496
[PERO93] Pedrycz W, Rocha A F, Fuzzy-set based models of neurons and knowledge-based networks, IEEE Trans. Fuzzy Systems, 1993, Vol1(4), p254-266
[QISH03] Qing Si-han, Twenty Years Development of Security Protocols Research, Journal of software, 2003, Vol14(10), p1741-1752
[SARK92] Sarkar, Chaudhuri, An Efficient approach to Estimate Fractal Dimension of Textural images, Pattern Recognition, 1992, vol.25 (9), p1035-1041
[SHAY20] 邵维忠，杨芙清，面向对象的系统分析，北京：清华大学出版社，2000
[SHAZ05] 邵蔚天，章雪梅，杨永亮，面向对象的系统分析设计方法，无线电通信技术，2005，Vol31(3)，p31-34
[SHIL04] 石曙东，李之棠，Kailar逻辑的缺陷及改进，计算机工程与设计，2004，Vol25(6)，p853-855，883
[SHLS94] 孙苓声，Coral++：增加面向对象到逻辑数据库语言，山东电子，1994，No．3，p37-40
[SHYJ94] 宋远骏，李德毅等，电子产品可靠性的云模型评价方法，电子学报，2000，Vol．28(12)，p74-76
[SIMO02] Karoly Simon, On the dimension of self-similar sets, Fractals, 2002, 10, p59-65
[SUBW99] 孙博文，电脑分形艺术，哈尔滨：黑龙江美术出版社，1999
[SYPF93] Syverson, P.F, Adding time to a logic of authentication, Proceedings of the 1st ACM Conference on Computer and Communications Security, New York:ACM Press, 1993, p97-101.
[SYVO94] Syverson.P,F, Van Oorschot,P.C, "On unifying some cryptographic protocol logics". Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy. Los Alamitos: IEEE Computer Society Press, 1994, p 109-121
[TAGH20] 汤光华，证券投资的不确定性，北京：中国发展出版社，2000
[TAKE80] F.Takens, Detecting Strange Attractors in Turbulence, In: Dynamical Systems and Turbulence, eds. D.A.Rand adn L.-S. Young, Lecture Notes in Mathematics, Springer-Verlag, New York, 1980, p366-381
[TANC05] 唐田秋，陈利平，高旭，面向对象的盘形链轮铣刀CAD系统的开发，机械工程与自动化，2005，No．4，p39-40，43
[TANZ05] 汤赛丽，郑逢斌，基于问题的面向对象知识表示方法的研究，现代计算机：下半月刊，2005，No．8，p13-15，49
[TUXY01] 涂序彦，广义人工智能，中国人工智能学会第9届全国学术年会论文集，北京：北京邮电大学出版社，2001，p1-6
[WALH04] 王澜，何华灿，基于广义相关系数的多Agent系统交互作用研究，计算机科，2004，Vol31(12)，p106-109
[WAME90] Watanabe T, Matsumoto M, Enokida M et al. A design of multiple-valued logic neuron, In: Proc. of the Twentieth International Symposium, 1990, p418-425
[WANX05] 王崇霞，面向对象软件中类和对象的识别，长治学院学报，2005，Vol22(2)，p23-26
[WAQY01] 王清印等著，预测与决策的不确定性数学模型，北京：冶金工业出版社，2001
[WASH96] 王国胤，施鸿宝，王栩，用前向神经网络获取特定结构的规则知识，西安交通大学学报，1996，Vol30(1)，p120-126
[WASH97] 王国胤，施鸿宝，TMLNNs：三值／多值逻辑神经网络，计算机学报，1997，Vol20(7)，p630-639
[WASH98] Wang Guoyin, Shi Hongbao, TMLNN: Triple-valued or multiple-valued logic neural network, IEEE Trans on Neural Networks, 1998, Vol9(6), p1099-1117
[WAYJ01] 王拥军，需求工程中的不确定性研究，西安，西北工业大学博士学位论文，2001
[WAYL05] 王英龙，王继志，王美琴，基于BAN逻辑的ad hoc移动网络路由协议的安全性分析，通信学报，2005，Vol26(4)，125-129
[WEBE83] S.Weber, A General Concept of Fuzzy Connectives: Negations and Implications Based on t-norms and t-conorms, Fuzzy Sets and Systems, 1983, Vol. 11, p115-134
[WSYY96] 王寿云，于静元，戴汝为等，开放的复杂巨系统，浙江科学技术出版社，1996
[WWSH05] 王万森，何华灿，基于泛逻辑学的逻辑关系柔性化研究，2005，Vol16(5)，软件学报，p754-760
[WXLS98] 王修伦，孙永强，事务逻辑对象库语言，软件学报，1998，Vol．9(10)，p760-765
[XDXZ97] 徐殿祥，郑国梁，类型化面向对象逻辑语言LKO的元级解释，计算机研究与发展，1997，Vol．34(9)，p164-168
[XUJZ00] 许剑卓，戴英侠，等，类BAN逻辑基本模型及缺陷，软件学报，2000，Vol11(12)，p1660-1665
[XUYA94] 徐扬等编著，不确定性推理，成都：西南交通大学出版社，1994
[XUYY03] Xu Wei-hong, Ye You-pei, Yang Jing-yu, Two new neuron models based on T/S norms and their application. Journal of computer, 2003, Vol26(9), p1123-1129
[XUZH00] 徐德，诸静，截断斜坡函数多值逻辑神经元，微电子学，2000，Vol30(2)，p83-87
[XUZH05] 薛占熬，何华灿，区间值逻辑柔性化的研究，计算机科学，2005，Vol32(7)，p142-144，155
[XUZZ05] 徐宝文，周超洪，周天琳，史亮，面向方面的程序设计：概念、实现与未来，计算机与数字工程，2005，Vol33(8)，p1-10
[YAGE80] R.R.Yager, On the Measure of Fuzziness and Negation,Part Ⅱ:Lattice, Information and Control, 1980, Vol.44, p236-260
[YAGE83] R.R.Yager, On the Implication Operator in Fuzzy Logic, Information Sciences, 1983, Vol.31, p141-164
[YAGE88] R.R.Yager, On Ordered Weighted Averaging Aggregation Operators in Multicriteria Decision Making, IEEE Transaction on Systems, Man, and Cybernetics, 1988, Vol.18, p183-190
[YAGE92] Yager R, OWA neurons: A new class of fuzzy neurons, In: Proc. IEEE-FUZZ, 1992. p2316-2340
[YAGE93] R.R.Yager, MAM and MOM Bag Operators for Aggregation,Information Science, 1993, Vol.69, p259-273
[YAGE94] R.R.Yager, Aggregative Operators and Fuzzy Systems Modeling, Fuzzy Sets and Systems, 1994, Vol.67, p129-145
[YAGE99] R.R.Yager, On Global Rrequirements for Implication Operators in Fuzzy Modus Ponens, Fuzzy Sets and Systems, 1999, Vol.106, p3-10
[YANG89] L.C.Yang, A Sufficient and Necessary Conditions for Functions to Be Zadeh Type Functions, Int.Sym.on Multiple-valued Logic, 1989, p248-254
[YZHL94] 杨朝晖，李德毅，二维云模型及其在预测中的应用，计算机学报，1998，Vol．21(11)，p961-969
[ZADE65] L.A.Zadeh, Fuzzy Sets, Information and Control,1965, Vol.8, p338-357
[ZADE79] L.A.Zadeh, A Theory of Approximate Reasoning, In:J.Hayes, D.Michie and L.I.Mikulich Ed., Machine Intelligence, 1979, Vol.9(Halstead Press, New York), p149-194
[ZAZI92] L.A.Zadeh, H.J.Zimmermann, On Computation of The Compositional Rule of Inference Under Triangular Norms, Fuzzy Sets and Systems, 1992, Vol.51, p267-275
[ZEFG01] 曾凡桂著，煤粉碎的分形机理，北京：煤炭工业出版社，2001
[ZEZX01] 曾珂，张乃尧，徐文立，典型T-S模糊系统足通用逼近器，控制理论与应用，2001，Vol18(2)，p293-297
[ZHCG94] 张春海，面向对象的数据库逻辑设计，青岛海洋大学学报，1994，No．S2，p75-80
[ZHLI96] 张文修，梁怡，不确定性推理原理，西安交通大学出版社，1996
[ZHSR01] 周守仁，复杂性研究与混沌控制及其哲学阐析，成都：四川教育出版社，2001
[ZHYL98] Zhu Hai-bin, Yang Guo-gui, Liu Zhong, The Principles and Applications of Object-oriented technology, ChangSha, National University of Defence Technology Press, 1998
[AIAK96] Aizenberg N N, Aizenberg N I, Krivosheev A G. Multi-valued and universal binary neurons: mathematical model, learning, networks, application to image processing and pattern recognition, In: IEEE Proc. of ICPR'96, 1996, p 185-189
[ALQU88] C.Alsina, J.J.Quesada, On the Associativity of C(x,y) and x-C(x,l-y), Int.Sym, on Multiple-valued Logic, 1988
[ALTV83] C.Alsina, E.Trillas, L.Valverde, On Some Logical Connectives for Fuzzy Sets Theory, J.of Math.Anal.and appli., 1983, Vol.93, p 15-26
[ARIS95] Patterson, Richard, Aristotle's Modal Logic: Essence and Entailment in the Organon. Cambridge University Press, 1995
[BACH98] Bailey S. A, Chen Ye-Hwa, A Two Layer Network using the OR/AND Neuron, In: Proc. IEEE-FUZZ, 1998, p1566-1571
[BAKO80] W.Bandler, L.J.Kohout, Semantics of Implication Operators and Fuzzy Relational Products, Int.J.Man-machine Studies, 1980, Vol. 12, p89-116
[BANL89] Burrows.M,Abadi,M, Needham,R. A logic of authentication. Technical Report 39, Digital Systems Research Center, 1989
[BJOR95] Anders Torvill Bjorvand, Fractal Logic-A New Approach to Intelligent Systems Theory, Computer Science Project report, The University of Trondheim, 1995
[BUAN89] Burrows.M, Abadi,M, Needham,R, A logic of authentication. Technical Report 39, Digital Systems Research Center, 1989
[CAOC05] CAOLi-li, CHENKe-fei, Towards the Idealization Procedure of BAN-Like Logics, Wuhan University Journal of Natural Sciences, 2005, Vol 10(1), p214-218
[CHAR20] (英)Charles Handy著，徐华，黄云译，超越确定性：组织变革的观念，北京：华夏出版社，2000
[CHDH01] 陈丹，何华灿，王晖，一种新的基于弱T范数簇的神经元模型，计算机学报，2001， Vol24(10)，p1115-1120
[CHDM89] C.Chen, J.S.Daponte, and M.D.Fox, Fractal feature analysis and classification in medical imaging, IEEE Transactions on Medical Imaging, 1989, Vol.8(2), p133—142
[CHDW02] 陈丹，王劭伯，单神经元模糊自适应内模控制器，福州大学学报(自然科学版)，2002，Vol30(6)，p818-821
[CHHL99] 陈晖，李德毅等，云模型在倒立摆控制中的应用，计算机研究与发展，1999，Vol．36(10)，p1180-1187
[CHHM03] Zhicheng Chen, Huacan He, Mingyi Mao, Correlation Reasoning of Complex System Based on Universal Logic, IEEE Proceedings of 2003 International Conference on Machine Learning and Cybernetics, Vol.3/5, Xi'an, 2003, 11, p1831-1835
[CHHM05] 陈志成，何华灿，毛明毅，任意区间上的广义N范数与生成元，西北工业大学学报，2005，Vol23(3)，p347-351
[CHML04] 陈志成，何华灿，毛明毅，刘峰，基于格图像的康托集分维与泛逻辑运算，计算机科学，2004，Vol31(4)，p92-95
[CHYY97] 陈衍仪，图像压缩的分形理论和方法，北京：国防工业出版社，1997
[CHZC04] 陈志成，复杂系统中分形混沌与逻辑的相关性推理研究，西安：西北工业大学博士学位论文，2004
[CHZH04] 陈志成，何华灿，毛明毅，基于泛逻辑的分形与混沌逻辑初探，计算机科学，2004，Vol31(6)，p149-152
[CONS91] Constantine A.G, Hall P, Characterising Surface Smoothness via Estimation of Effective Fractal Dimension, Tech.rept, CMA-SR20-91, Centre for mathmatics and its applications, Australian National University, Canberra, ACT, Australia, 1991
[CSJZ98] 陈守吉，张立明，分形与图象压缩，上海：上海科技教育出版社，1998
[CUTL93] Cutler, A review of the theory and estimation of ffactal dimension, In Dimension estimation and models, Nonlinear Time Set, Chaos I, World Sci Publishing, 1993, p1-107
[CYNT03] Cynthia Lanius, Fractal Properties, Fractal Dimension, http://math.rice.edu/-lanius/fractals/dim.html 2003
[DARW99] 戴汝为，复杂性研究文集，中科院自动化所复杂系统与智能科学实验室，1999
[DEWA92] R.L.Dewar, B.I.Henry, Nonlinear dynamics and chaos, Ingapore: World Scientific, 1992
[DITT95] William Ditto, et.al, Experimental chaos conference, Sponsored by the Office of Naval Research, Singapore: World Scientific, 1995
[DOTV81] X.Domingo, E.Trillas, L.Valverde, Pushing lukasiewicz-tarski Implication a Little Farther, Int.Sym.on Multiple-valued Logic, 1981
[DUSL98] 杜益鸟，宋自林，李德毅，基于云模型的关联规则挖掘方法，解放军理工大学学报，1998，Vol．1(1)，p29-34
[ELKA94] C.Elkan, The Paradoxical Success of Fuzzy Logic, Special Volume on Expert System, 1994, Vol.8, p3-8
[EOTT02] Edward Ott, Chaos in dynamical systems, Cambridge: Cambridge University Press, 2002
[ESTD81] F.Esteva, E.Trillas, X.Domingo, Weak and Strong Negation Functions for Fuzzy Set Theory, Int.Sym.on Multiple-valued Logic, 1981
[FEID04] 费定舟，邓达强，关于BAN逻辑的语义模型的分析与改进，计算机工程与应用，2004，Vol40(15)，p67-69，121
[FLCJ99] 方林，程景云，面向对象的逻辑图示语言，计算机辅助设计与图形学学报，1999，Vol．8(3)，p203-208
[FODA91] J.C.Fodor, A Remark on Constructing t-norms, Fuzzy Sets and Systems, 1991, Vol.41, p195-199
[FODA93] J.C.Fodor, Fuzzy Connectives via Matrix logic, Fuzzy Sets and Systems, 1993,Vol.56, p67-77
[FODC91] J.C.Fodor, Strict Preference Relations Based on Weak t-norm, Fuzzy Sets and Systems, 1991, Vol.43, p327-336
[FOKE94] J.C.Fodor, T.Keresztfalvi, A Characterization of the Hamacher Family of t-norms, Fuzzy Sets and Systems, 1994, Vol.65, p51-65
[FULH04] 付利华，何华灿，基于免疫进化规划的一种柔性神经模糊推理系统，计算机工程与应用，2004，Vol40(18)，p19-22
[FULM94] Fu L M, Rule generation from neural network, IEEE Trans on System, Man, and Cybernecics, 1994, Vol24(8), 1114-1124
[GEHU99] Geczy P, Hayasaka T, Usui S. Knowledge acquisition from networks of abstract bio-neurons, In: Proc. of the 6th International Conference on Neural Information Processing, 1999, Vo12, p610-615
[GEHY02] 耿宏运等，Delphi6.0组件大全，北京：电子工业出版社，2002
[GHFB00] 顾红芳，白鹏等，数理逻辑之研究对象、学科归属、定义及研究领域，自然杂志，2000，Vol．22(5)，p294-299
[GLOR96] Glorennec Pierre-Yves, Neuro-Fuzzy Logic, In: Proc. IEEE-FUZZ, 1996, p512-5 18
[GRAS83] P.Grassberger, On the fractal dimension of the Henon attractor, Phys.Lett, 1983, 97A, p224-226
[GUQI91] Gupta M M, Qi J, On fuzzy neuron models, In: IJCNN-91-Seattle International Joint Conference, 1991, Vo12, p431-436
[HACS96] Hacck. S, Deviant Logic and Fuzzy Logic, Beyond the Formalism, The University of Chicago Press, 1996
[HEAW03] Huacan He, Lirong Ai, Hua Wang, Uncertainties and the Flexible Logics, IEEE Proceedings of 2003 International Conference on Machine Learning and Cybernetics, Vol.4/5, Xi'an, 2003, 11, p2573-2578
[HEHC03] 何华灿，论第二次逻辑学革命，中国人工智能进展-中国人工智能学会第十界全国学术年会(特邀报告)，广州，2003，11，p32-41
[HEHC82] 何华灿，智能论(关于人脑和其他各种系统中信息处理规律的科学)，人工智能学报，1982，No．3，p1-18
[HEHC88] 何华灿，人工智能导论，西北工业大学出版社，1988
[HELB98] 何华灿，刘永怀，白振兴，艾丽蓉，王瑛，一级泛非运算研究，计算机学报，Vol．21(增刊)，1998，p24-28
[HELH96] 何华灿，刘永怀，何大庆，经验性思维中的泛逻辑，中国科学(E辑)，1996，Vol．26，72-78：(英文版，Vol．39，1996，No．2，p225-234)
[HELI98] 何华灿，刘永怀等，泛“蕴含”运算和泛“串行推理”运算研究，软件学报，1998，Vol．9(6)，p469-473
[HEWL01] 何华灿，王华，刘永怀等，泛逻辑学原理，北京，科学出版社，2001
[HIPE94] Hirota K, Pedrycz W, OR/AND neuron in modeling fuzzy connectives, IEEE trans on Fuzzy Systems, 1994, Vol2(2), p151-161
[HOFE94] S.Hofer, M.Pandit, Two-dimensional fractional brownian motion and its application in image analysis, In Proceedings Conference of Information and Management of Uncertainty in Knowledge-Based Systems, Paris, 1994
[HULC01] 黄麟雏，高科技时代与思维方式，天津，天津科学技术出版社，2001，p86-194
[HULZ05] 胡煜，李远杰，曾明，朱利，基于公理系统的面向对象自动测试研究，微电子学与计算机，2005，Vol22(7)，p16-18，23
[HYWX01] 洪源，王秀美等，面向对象数据库的逻辑设计方法，北京科技大学学报，2001，No．3．p382-385
[IANC97] I.Iancu, T-norm with Threshold, Fuzzy Sets and System, 1997, Vol.85, p83-92
[JAMR04] James Rumbaugh, Object-oriented Modeling and Design, Beijing: China Electric Power Press, 2004
[JENE20] S.Jenei, New Family of Triangular Norms via Contrapositive Symmetrization of Residuated Implications, Fuzzy Sets and Systems, 2000, Vol. 110, p157-174
[JHJG20] (美)Jack Hirshleifer，John G．Riley著，刘广灵，李绍荣译，不确定性与信息分析，北京：中国社会科学出版社，2000
[JINZ94] 金芝，面向对象逻辑语言SCKE中的限制推理，软件学报，1994，Vol．5(5)，p16-25
[JIYZ05] 贾国梁，杨树堂，诸鸿文，李谢华，BAN逻辑与串空间相结合的安全协议分析方法，信息安全与通信保密，2005，No．3，p147-149
[JYLC00] 蒋嵘，李德毅，陈晖，基于云模型的时间序列预测，解放军理工大学学报，2000，Vol．1(5)，p13-18
[KAIL90] Kailar R, Accountability in electronic commerce protocols, IEEE Transaction on Computer Systems, 1990, Vol.8 (1), p18-36
[KJFA85] K.J.Falconer, The Geometry of Fractal Sets, London: Cambridge University Press, 1985
[KOUR02] Kourosh Ardestani, Fabio Claudio, et al, Visual Basic.NET Threading Handbook, Beijing, Tsinghua University Press, 2002
[LAST94] Andrzej Lasota, Michael C.Mackey, Chaos, fractals, and noise, New York: Springer-Verlag, 1994
[LCJM99] 李长江，麻士华等，矿产勘查中的分形、混沌与ANN，北京：地质出版社，1999
[LHQC90] 李后强，程光钺，分形与分维：探索复杂性的新方法，成都：四川教育出版社，1990
[LIDY20] 刘大有等著，知识系统中不确定性和模糊性处理的数值方法，长春：吉林大学出版社，2000
[LIFA92] 李凡，人工智能中的不确定性，北京：气象出版社，1992
[LIF096] 刘伏贵，面向对象的软件系统抽象和逻辑模型，湘潭大学自然科学学报，1996，Vol．18(3)，p113-116
[LIHD01] 刘怀德，不确定性经济学研究，上海：上海财经大学出版社，2001
[LIHJ98] 刘华杰，分形艺术，长沙：湖南科学技术出版社，1998
[LILY95] 李拉亚，通货膨胀与不确定性，北京：中国人民大学出版社，1995
[LINY90] Li Gong, Need Ham,R, Yahalom,R, Reasoning about belief in cryptographic protocols, Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy. Los Alamitos,CA:IEEE Computer Society Press, 1990, p234-248
[LISY98] 廉师友，程度逻辑及其运算性质，现代电子技术，1998，No．4，p37-40
[LIWA99] 刘普寅，汪浩，正则模糊神经网络对于连续模糊函数的近似能力研究．，中国科学(E辑)，1999，Vol29(1)，p54-60
[LIWY05] 李维涛，应惠清，袁波，面向对象程序设计思想在大型基坑设计分析软件开发中的应用，岩土工程技术，2005，Vol19(4)，p173-176
[LIZW04] LiLi, ZhangHuan-guo, WangLi-na, An Improved Non-Repudiation Protocol and Its Security Analysis, Wuhan University Journal of Natural Sciences. 2004, Vol9(3), p288-292
[LPYL01] 刘培玉，刘法胜等，面向对象数据库建模方法与逻辑设计，计算机应用研究，1996，No．3．p39-41
[LUBH03] Lu Bin, He Huacan, Study on Modeling of Self-adaptive Neural Fuzzy System, Computer Science, 2003, Vol30(10), p40-44
[LUBH05] 鲁斌，泛逻辑神经元模型研究，计算机工程与应用，2005，Vol41(6)，p82-84
[LUBl03] 鲁斌，广义智能系统柔性超拓扑空间模型研究与应用，西安：西北工业大学博士学位论文，2003
[LUHE03] Lu Bin, He Huacan, Analysis of Universal-Logics-based fuzzy neural networks, The 5th International Symposium on Instrumentation and Control Technology, Beijing, 2003, 5253(14)
[LUND88] Stig Lundqvist, Norman H.March, and Mario P.Tosi, Order and chaos in nonlinear physical systems, New York: Plenum Press, 1988
[LUTZ95] Lutzenberger, Preissl, Pulvermueller, Fractal dimension of electroencephalographic time series and underlying brain processes, Biol, Cybern, 1995, 73:p477-482
[LXMJ94] 李晓敏，金芝，刘凤歧 面向对象逻辑语言中的常识知识表示，湘潭大学自然科学学报，1994，Vol．16(1)，p163-166
[MAND82] Mandelbrot B B. Fractal Geometry of Nature, Freeman, San Francico. 1982
[MAOH04] 毛明毅，何华灿，陈志成，正态分布参量的广义自相关性，计算机科学，2004，Vol31(11)，p1-3，10
[MAOC05] 毛明毅，陈志成，何华灿，复杂控制系统随机参量的广义自相关性研究，控制与决策，2005，Vol20(No．8)，p860-865
[MARG90] P.Maragos, F.Sun, Measuring Fractal Dimension: Morphological Estimates and Iterative Optimization, Technical Report CICS-P-198, Center For Intelligent Control Systems, Cambridge: Massachusetts, 1990
[MAYH05] 马盈仓，何华灿，泛逻辑的基本形式系统中的广义重言式理论，计算机科学，2005，Vol32(6)，p96-98
[MDBT99] Mandelbrot著，文志英，苏虹译，分形对象：形、机遇和维数，北京：世界图书出版公司北京公司，1999
[MIXH05] 缪祥华，基于BAN逻辑的密码协议分析，高性能计算技术，2005，No．1，p30-32
[MIZU89] M.Mizumoto, Pictorial Representations of Fuzzy Connectives, Part Ⅰ:Cases of T-norms, T-conorms and Averaging Operators, Part Ⅱ: Cases of Compensatory Operators and Self-dual Operators, Fuzzy Sets and Systems, 1989, Vol.31, p217-242; Vol.32, p45-79
[MRKL97] (美)Morris Kline著，李宏魁译，数学：确定性的丧失，长沙：湖南科学技术出版社，1997
[MRMV99] 马瑞民，袁文翠，朱玉玺，基于知识的星型决策支持系统及其面向对象设计，大庆石油学院学报，1999，No．1，p43-46
[MXER02] (美)米歇尔·沃尔德罗普(Mitchell Waldrop)，复杂，http://www.eshunet.com/,2002
[NOPE88] V.Novak, W.Perdrycz, Fuzzy Sets and t-norms in the Light of Fuzzy Logic, Int.j, Man-machine Studies, Vol.29(1988), p113-127
[NOPS88] A.D.Nola, W.Pedrycz, S.Sessa, Fuzzy Relation Equations with Equity and Difference Composition Operators, Fuzzy Sets and Systems, 1998, Vol.25, p205-215
[OVCH83] S.V.Ovchinnikov, General Negations in Fuzzy Set Theory, J.of Math.Anal, Appli, 1983, Vol.92, p234-239
[OVCH91] S.V.Ovchinnikov, Similarity Relations, Fuzzy Partitions and Fuzzy Orderings, Fuzzy Sets and Systems, 1991, Vol.40, p107-126
[PENT84] A.Pentland, Fractal-Based Description of Natural Scenes, IEEE Trans, on Pattern Analysis and Machine Intelligence, 1984, Vol.6(6), p661-674
[PERE02] Yuvat Peres, How likely is Buffon's needle to fall near a planar Cantor set? Pacific Journal of Math, 2002, 204, p473-496
[PERO93] Pedrycz W, Rocha A F, Fuzzy-set based models of neurons and knowledge-based networks, IEEE Trans. Fuzzy Systems, 1993, Vol1(4), p254-266
[QISH03] Qing Si-han, Twenty Years Development of Security Protocols Research, Journal of software, 2003, Vol14(10), p1741-1752
[SARK92] Sarkar, Chaudhuri, An Efficient approach to Estimate Fractal Dimension of Textural images, Pattern Recognition, 1992, vol.25 (9), p1035-1041
[SHAY20] 邵维忠，杨芙清，面向对象的系统分析，北京：清华大学出版社，2000
[SHAZ05] 邵蔚天，章雪梅，杨永亮，面向对象的系统分析设计方法，无线电通信技术，2005，Vol31(3)，p31-34
[SHIL04] 石曙东，李之棠，Kailar逻辑的缺陷及改进，计算机工程与设计，2004，Vol25(6)，p853-855，883
[SHLS94] 孙苓声，Coral++：增加面向对象到逻辑数据库语言，山东电子，1994，No．3，p37-40
[SHYJ94] 宋远骏，李德毅等，电子产品可靠性的云模型评价方法，电子学报，2000，Vol．28(12)，p74-76
[SIMO02] Karoly Simon, On the dimension of self-similar sets, Fractals, 2002, 10, p59-65
[SUBW99] 孙博文，电脑分形艺术，哈尔滨：黑龙江美术出版社，1999
[SYPF93] Syverson, P.F, Adding time to a logic of authentication, Proceedings of the 1st ACM Conference on Computer and Communications Security, New York:ACM Press, 1993, p97-101.
[SYVO94] Syverson.P,F, Van Oorschot,P.C, "On unifying some cryptographic protocol logics". Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy. Los Alamitos: IEEE Computer Society Press, 1994, p 109-121
[TAGH20] 汤光华，证券投资的不确定性，北京：中国发展出版社，2000
[TAKE80] F.Takens, Detecting Strange Attractors in Turbulence, In: Dynamical Systems and Turbulence, eds. D.A.Rand adn L.-S. Young, Lecture Notes in Mathematics, Springer-Verlag, New York, 1980, p366-381
[TANC05] 唐田秋，陈利平，高旭，面向对象的盘形链轮铣刀CAD系统的开发，机械工程与自动化，2005，No．4，p39-40，43
[TANZ05] 汤赛丽，郑逢斌，基于问题的面向对象知识表示方法的研究，现代计算机：下半月刊，2005，No．8，p13-15，49
[TUXY01] 涂序彦，广义人工智能，中国人工智能学会第9届全国学术年会论文集，北京：北京邮电大学出版社，2001，p1-6
[WALH04] 王澜，何华灿，基于广义相关系数的多Agent系统交互作用研究，计算机科，2004，Vol31(12)，p106-109
[WAME90] Watanabe T, Matsumoto M, Enokida M et al. A design of multiple-valued logic neuron, In: Proc. of the Twentieth International Symposium, 1990, p418-425
[WANX05] 王崇霞，面向对象软件中类和对象的识别，长治学院学报，2005，Vol22(2)，p23-26
[WAQY01] 王清印等著，预测与决策的不确定性数学模型，北京：冶金工业出版社，2001
[WASH96] 王国胤，施鸿宝，王栩，用前向神经网络获取特定结构的规则知识，西安交通大学学报，1996，Vol30(1)，p120-126
[WASH97] 王国胤，施鸿宝，TMLNNs：三值／多值逻辑神经网络，计算机学报，1997，Vol20(7)，p630-639
[WASH98] Wang Guoyin, Shi Hongbao, TMLNN: Triple-valued or multiple-valued logic neural network, IEEE Trans on Neural Networks, 1998, Vol9(6), p1099-1117
[WAYJ01] 王拥军，需求工程中的不确定性研究，西安，西北工业大学博士学位论文，2001
[WAYL05] 王英龙，王继志，王美琴，基于BAN逻辑的ad hoc移动网络路由协议的安全性分析，通信学报，2005，Vol26(4)，125-129
[WEBE83] S.Weber, A General Concept of Fuzzy Connectives: Negations and Implications Based on t-norms and t-conorms, Fuzzy Sets and Systems, 1983, Vol. 11, p115-134
[WSYY96] 王寿云，于静元，戴汝为等，开放的复杂巨系统，浙江科学技术出版社，1996
[WWSH05] 王万森，何华灿，基于泛逻辑学的逻辑关系柔性化研究，2005，Vol16(5)，软件学报，p754-760
[WXLS98] 王修伦，孙永强，事务逻辑对象库语言，软件学报，1998，Vol．9(10)，p760-765
[XDXZ97] 徐殿祥，郑国梁，类型化面向对象逻辑语言LKO的元级解释，计算机研究与发展，1997，Vol．34(9)，p164-168
[XUJZ00] 许剑卓，戴英侠，等，类BAN逻辑基本模型及缺陷，软件学报，2000，Vol11(12)，p1660-1665
[XUYA94] 徐扬等编著，不确定性推理，成都：西南交通大学出版社，1994
[XUYY03] Xu Wei-hong, Ye You-pei, Yang Jing-yu, Two new neuron models based on T/S norms and their application. Journal of computer, 2003, Vol26(9), p1123-1129
[XUZH00] 徐德，诸静，截断斜坡函数多值逻辑神经元，微电子学，2000，Vol30(2)，p83-87
[XUZH05] 薛占熬，何华灿，区间值逻辑柔性化的研究，计算机科学，2005，Vol32(7)，p142-144，155
[XUZZ05] 徐宝文，周超洪，周天琳，史亮，面向方面的程序设计：概念、实现与未来，计算机与数字工程，2005，Vol33(8)，p1-10
[YAGE80] R.R.Yager, On the Measure of Fuzziness and Negation,Part Ⅱ:Lattice, Information and Control, 1980, Vol.44, p236-260
[YAGE83] R.R.Yager, On the Implication Operator in Fuzzy Logic, Information Sciences, 1983, Vol.31, p141-164
[YAGE88] R.R.Yager, On Ordered Weighted Averaging Aggregation Operators in Multicriteria Decision Making, IEEE Transaction on Systems, Man, and Cybernetics, 1988, Vol.18, p183-190
[YAGE92] Yager R, OWA neurons: A new class of fuzzy neurons, In: Proc. IEEE-FUZZ, 1992. p2316-2340
[YAGE93] R.R.Yager, MAM and MOM Bag Operators for Aggregation,Information Science, 1993, Vol.69, p259-273
[YAGE94] R.R.Yager, Aggregative Operators and Fuzzy Systems Modeling, Fuzzy Sets and Systems, 1994, Vol.67, p129-145
[YAGE99] R.R.Yager, On Global Rrequirements for Implication Operators in Fuzzy Modus Ponens, Fuzzy Sets and Systems, 1999, Vol.106, p3-10
[YANG89] L.C.Yang, A Sufficient and Necessary Conditions for Functions to Be Zadeh Type Functions, Int.Sym.on Multiple-valued Logic, 1989, p248-254
[YZHL94] 杨朝晖，李德毅，二维云模型及其在预测中的应用，计算机学报，1998，Vol．21(11)，p961-969
[ZADE65] L.A.Zadeh, Fuzzy Sets, Information and Control,1965, Vol.8, p338-357
[ZADE79] L.A.Zadeh, A Theory of Approximate Reasoning, In:J.Hayes, D.Michie and L.I.Mikulich Ed., Machine Intelligence, 1979, Vol.9(Halstead Press, New York), p149-194
[ZAZI92] L.A.Zadeh, H.J.Zimmermann, On Computation of The Compositional Rule of Inference Under Triangular Norms, Fuzzy Sets and Systems, 1992, Vol.51, p267-275
[ZEFG01] 曾凡桂著，煤粉碎的分形机理，北京：煤炭工业出版社，2001
[ZEZX01] 曾珂，张乃尧，徐文立，典型T-S模糊系统足通用逼近器，控制理论与应用，2001，Vol18(2)，p293-297
[ZHCG94] 张春海，面向对象的数据库逻辑设计，青岛海洋大学学报，1994，No．S2，p75-80
[ZHLI96] 张文修，梁怡，不确定性推理原理，西安交通大学出版社，1996
[ZHSR01] 周守仁，复杂性研究与混沌控制及其哲学阐析，成都：四川教育出版社，2001
[ZHYL98] Zhu Hai-bin, Yang Guo-gui, Liu Zhong, The Principles and Applications of Object-oriented technology, ChangSha, National University of Defence Technology Press, 1998