关于三值社会诊断模型的研究
|
摘要
信息技术的普及,特别是互联网的蓬勃发展,将使人类告别以土地、能源和材料为主要生产资料的农业社会和工业社会,逐步进入以信息为关键生产要素的信息社会。面对这一场涉及经济、政治、文化等各方面的社会变革,从事信息科学技术研究的科技工作者不仅需要关心微观层次具体技术的实现与应用,还应当重视宏观层次上利用信息技术实现对社会问题的研究。
社会诊断问题是基于对社会问题的研究,是根据每个社会成员之间的相互证词实现对社会成员的划分。对社会诊断我们必须先将问题符号化,或是数字化,在满足可计算性和较低计算复杂性的条件下,实现对社会问题的计算。本文研究工作主要包括以下三个方面:
1、概述了多值逻辑发展现状和主要研究成果,指出了社会诊断研究背景。
2、分析了二值社会诊断模型的t可诊断性,介绍和比较了解决二值诊断模式的三种算法:基于集团的系统级诊断算法,方程诊断算法和高效遗传算法,并指出了二值诊断模型的不足。
3、在二值模型的基础上,本文又研究了三值社会诊断模型,并且论证了三值社会诊断模型的(t,x),t/(x),t/{x}和t/x可诊断性,实现了用计算机来判断一个任意的n顶点诊断系统G(V,A)是否是t/{x}可诊断的。同时,通过对三值模型的数字化,解决了三值模型诊断模式的方程表示。最后深入研究了社会诊断模型的人-事件-人模型。
The rapid development of information technology, particularly the Internet, will enable humanity to bid farewell to the agricultural society and industrial society in which the land, energy and materials are the main means of production, and gradually enter the information society in which information is the key factor of production. Facing the economic,political,cultural and other aspects of social changes, researchers of information science and technology should not only care about the implementation and application of the specific technology of micro-level, but also pay attention to the research of the use of information technology to social issues of macro-level.
Social diagnosis is based on social issues and the division of members of society according to the testimony of every member. At first, social issues need to be signalized or digitalized, and calculated when computability and low complexity of computation are satidfied.In this paper,the following three aspects are mainly discussed:
1, the development of multi-valued logic and the main research results are introduced,and the background of the diagnosis of social is pointed out.
2, the t diagnosability of the two-valued model of social diagnosis is analysized. Based on the Group's system-level diagnosis algorith,equation diagnosis algorithm and efficient genetic algorithm,three algorithms of the two-valued model are introduced and compared. Also, the inadequacy of the two-valued diagnosis model is pointed out.
3, on the basis of the two-valued model, the paper also discusses the three-valued model of social diagnosis, and demonstrates its diagnosability of (t, x), t/(x), t/{x} and t/x, and achieves the use of the computer to determine whether an arbitrary vertex of n diagnostic system G(V,A) can be diagnosed by t/{x}or not. Meanwhile,through the digitalization of three-valued model, the equation expression is solved. Finally, the model of people - events– people is deeply discussed.
社会诊断问题是基于对社会问题的研究,是根据每个社会成员之间的相互证词实现对社会成员的划分。对社会诊断我们必须先将问题符号化,或是数字化,在满足可计算性和较低计算复杂性的条件下,实现对社会问题的计算。本文研究工作主要包括以下三个方面:
1、概述了多值逻辑发展现状和主要研究成果,指出了社会诊断研究背景。
2、分析了二值社会诊断模型的t可诊断性,介绍和比较了解决二值诊断模式的三种算法:基于集团的系统级诊断算法,方程诊断算法和高效遗传算法,并指出了二值诊断模型的不足。
3、在二值模型的基础上,本文又研究了三值社会诊断模型,并且论证了三值社会诊断模型的(t,x),t/(x),t/{x}和t/x可诊断性,实现了用计算机来判断一个任意的n顶点诊断系统G(V,A)是否是t/{x}可诊断的。同时,通过对三值模型的数字化,解决了三值模型诊断模式的方程表示。最后深入研究了社会诊断模型的人-事件-人模型。
The rapid development of information technology, particularly the Internet, will enable humanity to bid farewell to the agricultural society and industrial society in which the land, energy and materials are the main means of production, and gradually enter the information society in which information is the key factor of production. Facing the economic,political,cultural and other aspects of social changes, researchers of information science and technology should not only care about the implementation and application of the specific technology of micro-level, but also pay attention to the research of the use of information technology to social issues of macro-level.
Social diagnosis is based on social issues and the division of members of society according to the testimony of every member. At first, social issues need to be signalized or digitalized, and calculated when computability and low complexity of computation are satidfied.In this paper,the following three aspects are mainly discussed:
1, the development of multi-valued logic and the main research results are introduced,and the background of the diagnosis of social is pointed out.
2, the t diagnosability of the two-valued model of social diagnosis is analysized. Based on the Group's system-level diagnosis algorith,equation diagnosis algorithm and efficient genetic algorithm,three algorithms of the two-valued model are introduced and compared. Also, the inadequacy of the two-valued diagnosis model is pointed out.
3, on the basis of the two-valued model, the paper also discusses the three-valued model of social diagnosis, and demonstrates its diagnosability of (t, x), t/(x), t/{x} and t/x, and achieves the use of the computer to determine whether an arbitrary vertex of n diagnostic system G(V,A) can be diagnosed by t/{x}or not. Meanwhile,through the digitalization of three-valued model, the equation expression is solved. Finally, the model of people - events– people is deeply discussed.
引文
[1] MacColl, The calculus of equivalent statements.Proc. of the London Math. Society. 9 (1877~1878), 177~186.
[2] J. Lukasiewicz.on three-valued logic. Ruch Filozoficzny 5.(1920) ,169~171.
[3] E.L. Post.Introduction to a general theory of elementary propositions. Amer. J. Math., Vol.43 (1921), 163~186.
[4] Elhadef M,Ayeb B.An evolutionary algorithm for identifying faults in t-diagnosable systems//Proceedings of the 19th IEEE Symposium on reliable Distributed Systems.Nurnberg,Germany.Washington,DC:IEEE Computer Society 2000:74-83
[5] I. Malcev.Slupecki subalgebras in coordinated products of iterativealgebras. Multiple-Valued Logic.Vol.5, 1(2000), 1~13.
[6] P. D. Picton. A universal architecture for multi-valued reversible logic, Multiple-Valued Logic. Vol.5, 1(2000), 27~38.
[7] R.Cignoli. A. Torrens. An algebraic analysis of product logic. Multiple-Valued Logic.Vol. 5, 1(2000), 45~66.
[8] G. Epstein. B-algebras and associated logics. Multiple-Valued Logic. Vol.5, 1(2000), 67~79.
[9] Yu. V. Ivlev. Theory of logical modalities. Multiple-Valued Logic. Vol.5, 2(2000), 91~102.
[10] D. A. Simovici,I. Stojmenovic and R. Tosic. Boolean completeness in two-valued logic. Multiple-Valued Logic. Vol.5, 3 (2000), 267~280.
[11] P. Corsini. On the hypergroups associated with binary relations. Multiple-Valued Logic. Vol.5, 5 (2000), 407~420.
[12] Rudeanu, S. Equations in the algebra of logic. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic. 2002, 2~8.
[13] Marra.V, Mundici, D, Consequence and complexity in infinite-valued logic: a survey. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.2002, 104~114.
[14] Y. J. Chang, C. L. Lee, J. E. Chen. Fault models for multi-valued current mode CMOS circuits. Multiple-Valued Logic. Vol.5, 1(2000), 15~26.
[15] Natsui, M, Aoki, T, Higuchi, T.Parallel evolutionary graph generation on a PC cluster and its application to multiple-Valued circuit synthesis. Proceedings 32nd IEEE International Symposium on Multiple-valued Logic.2002, 96~102.
[16] M. Abd-EI-Barr, A. Al-Mutawa. Cost-analysis of 4-valued unary functions implemented using current-mode CMOS circuits. Proceedings 30th IEEE International Symposium on Multiple-Valued Logic.2000, 215~220.
[17] A. Herrfeld, S. Hentschke. A ternary flip-flop for dynamic double-rail circuits,. Multiple-Valued Logic.Vol.5, 1(2000), 39~44.
[18]Kimura, H., Hanyu, T., Kameyama, M. Multiple-valued logic-in-memory VLSI based onferroelectric capacitor storage and charge addition. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic. 2002, 161~166.
[19] H. K. Lam, F. H. F. Leung, P. K. S. Tam. Design of fuzzy observer-controllers for Multivariable uncertain system using stability and robustness analyses. Multiple-Valued Logic. Vol.5, 1(2000), 391~406.
[20] Gao. M, Jiang. J.-H. Jiang. Y. Li, Y. Mishchenko, A., Sinha, S., Villa, T., Brayton,R, Optimization of multi-valued multi-level networks. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic. 2002, 168~177.
[21] T. Aoki, K. Nakazawa,T. Higuchi. High-radix parallel VLSI dividers without using quotient digit selection tables, Proceedings 30th IEEE International Symposium on Multiple-Valued Logic, 2000, 345~354.
[22]朱梧,肖奚安.中介公理集合论系统MS[J].中国科学(A辑). 1988,(2).
[23]罗铸楷.多值逻辑中所有极大封闭集之确定问[J].数学学报,1980,23(1):152~156.
[24]王湘浩.有限集合上缺值与不缺值函数的结构理论[J].吉林大学自然科学学报. 1963,(2):295~315.
[25]罗铸楷.部分多值逻辑函数的完备性理论[J].数学学报,1984,27(5):676~683.
[26]王守觉.连续逻辑为电子线路与系统提供的新手段[J].电子学报,1986,14 (5).
[27] Lin Weiping, Zheng Qilun and Huang Guanguang.A Semi-Custom Technique Realizing Nondestructive Information Processing. Proc. IEEE ISMVL-88, 1988.
[28]胡谋.一种基于三值电路的FT-TSC-FS二值数字系统[J].中国科学(A辑), 1985,(8).
[29] X. Wu, X. Chen and S. L. Hurst. An Investigation into Ternary Comparison Operators. International Journal of Electronics. 64(6), 1988.
[30]吴训威,陈偕雄.基于传输函数理论的四值CMOS电路[J].中国科学(A辑),1989, (5).
[31] Xunwei Wu, Penjun Wang. Yinshui Xia Design of ternary Schmitt triggers based on its sequential characteristics. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic. 2002, 156~160.
[32]陈廷槐.数字系统的测试与容错[M].长沙:东南大学出版社, 1990:66~89.
[33] G. Zhang,Two Complete Orthogonal Sets of Real Multiple-Valued Functions. Proc.IEEE ISMVL-84, 1984.
[34]陈偕雄,沈继忠.近代数字理论[M].杭州:浙江大学出版社,2001:12~23.
[35]胡谋. ECSA理论及其应用[J].中国科学(A辑),1988,(1).
[36]胡谋.多值逻辑在VLSI设计与测试中的若干应用[J].电子学报,1989,17(6).
[37]陈廷槐.四值逻辑与星算法[J].计算机学报,1979,2 (4).
[38] Jie Xu and Tinghuan Chen. Society Diagnosis (IV). Proc. IEEE ISMVL-89.1989.
[39] E.L. Post. The two-valued iterative systems of mathematical logic. Annals of Math Studies. (5) (1941), 1~22.
[40] S.V. Jablonskiǐ. On functional completeness in the three-valued calculus (Russian).Dokl. Akad. Nauk SSSR 95 (1954) 1153-1155.
[41]周焕银,刘金生,李明,王仁波.基于故障诊断的数据挖掘算法[J].微计算机信息,2008,(01).
[42]Holland J.H.Adaptation in Natural and Artificial System.Michigan:University of Michigan Press,1975
[43]邓伟,杨小帆,吴中福.面向系统级故障诊断的高效遗传算法[J].计算机学报,Vol.30 No.7 July 2007.
[44]王飞跃,史蒂夫.兰森.从人工生命到人工社会——复杂社会系统研究的现状和展望[J].复杂系统与复杂性科学,Vol.1 No.1 Jan.2004
[45]戴汝为.人-机结合的智能科学和智能工程[J].中国科学工程,Vol.6 No.5 May 2004.
[46]王飞跃.计算实验方法与复杂系统行为分析和决策评估[J].系统仿真学报,Vol.16 No.5 May 2004.
[47]周闻泉,贺敏伟.基于移动代理的主动网络系统级故障诊断模型[J].计算机应用,2006,26(9).
[48]赵晨,诸静.过程控制中的一种数据挖掘算法[J].武汉大学学报(工学版), 2005,38(5).
[49]宣恒农,张大方,张明.二值诊断模型诊断模型的方程诊断[J].电子学报,2003,(5).
[50]谢兵,张大方,刘兵.该进的基于互测二值诊断模型的系统级故障诊断集团算法[J].计算机仿真,2003,20(6).
[51]宣恒农,张明,张大方.张延选Chwa&Hakimi诊断模型方程诊断的理论基础[J].计算机应用,2003,23(4).
[52]丁浩,杨小平.SWARM——一个支持人工生命建模的面向对象模拟平台[J].系统仿真学报,2002,14(5).
[53]张大方,江招生,基于集团的系统级故障诊断研究[J].计算机学报,1998,21(4).
[54]张大方.基于矩阵的极大独立点集生成算法[J].电子学报.
[55]江雪琴等.一种PMC模型下的自适应顺序诊断算法[J].重庆大学学报(自然科学版)vol.19.No.3 May.1996.
[56] A.T Dabura and G.M.Masson,An O( n 2.5)fault identification algorithm for diagnosable systems,IEEE Trans.Comp.Vol.C-33,pp.486-492,1984
[57]S.N.Maheshwari and S.L.Hakimi,On models of diagnosable systems and probabilistic fault diagnosis.IEEE Trans.on Comp.,C-25,pp.228-236,1976
[58]Kaiyuan Huang and Tinghui Chen,Three-valued system diagnosis,15-th international symposium on Multiple Valued Logic,pp.336-360,1985
[59]Tinghuai Chen and Yanlin Zhang,Society diagnosis(I),14-th International Symposium on Multiple-Valued Logic,pp.212-215,1985
[60]Tinghuai Chen,Tai Kang and Hengchang Guo,Society diagnosis(III)18-th International Symposium on Multiple-Valued Logic,1988
[61]F.P.Preparata,G,Mteze and R.T.Chien.On the connection assignment problem of diagnosable systems,IEEE Trans.on Electronic Computers,EC-16,pp.848-854,1967
[62]A.Sen Gupta and A.Sen,On system diagnosis with multiple-valued test outcomes13-th International Sympoium on Multiple-Valued Logic ,pp.356-360,1983
[63]J.G.Kuhl and S.M.Reddy,Fault-diagnasis in fully distributed systems,IEEE symposium on Fault Tolerant Computing,pp.100-105,1981
[64]J.T.Butler,Relation among system diagnosis-models with three-valued test outcomes,13-th International Symposium on Multiple-Valued Logic,pp.335-350,1983
[65]G.Sullivan.A polynomial time algorithm for fault diagnosability,Proceeding of the Sympoium on the Foundations of Computer Science,pp,148-156,1984
[66]S.L.Hakimi and K.Nakajima,On a theory of t-Fault diagnosable analog systems.IEEE Trans.on Circuits and Systems.Vol.CAS-31,No.11,pp.946-950,1984
[67]S.E.Kreutzer and S.L.Hakimi,System level fault diagnosis:a ssurvey,Microprocessing and Microprogramming,The Euromicro Journal,Vol.20,No.485,pp.323-330,1987
[68]杨晓帆,陈延槐,蔡兵.一个系统级故障诊断算法[J].计算机学报,Vol.20 No.4 Apr.1997.
[69]杨小帆,何中市,陈延槐,系统级故障诊断的一个三值模型[J].重庆大学学报(自然科学版).
[70]Tinghuai Chen and Yanlin Zhang,Society diagnosis(I),14-th International Symposium on Multiple-Valued Logic,pp.191-195,1985
[71]Tinghuai Chen and Kaiyuan Huang,Socity diagnosis(II),15-th International Symposium on Multiple-Valued Logic,pp.212-215,1985
[72]Tinghuai Chen,Tai Kang and Hengchang Guo,Socity diagnosis(III),18-th International Symposium on Multiple-Valued Logic,1988
[73]Back T,Hoffmeister F,Schwefel H.P,.Application of evolutionary algorithms.University of Dortmund:The Systems Analysis Research Group,Department of Computer Science,Technical Report SYS-2/92,1993
[74]Goldberg D.E.Genetic Algorithms in Search,Optimization,and Machine Learning. Reading,MA:Addison-Wesley,1989
[75]A.Kavianopour and A.D.Friedman,Efficient design of easily diagnosable systems IEEE Trans.on Comp.C-27,pp.251-257,1978.
[76]F.Barsi,F.Grandoni and P.Mastrini,A theory of diagnosability of digital systems,IEEE Trans.on Comp.C-25,pp.885-893,1976.
[77]M.Bolount,Probabilistic treatment of oliagnosis in digital systems,IEEE Symposium on Fault Tolerant Computing,pp.72-77,1997.
[78]C.R.Kime,An analysis model for digital system diagnosis,IEEE Trans.on Comp,C-19,pp.1063-1070,1970
[79]J.D.Russell and C.R.Kime,System fault diagnosis,closure and diagnosability with repair,IEEE Trans.on Comp.C-24,pp.1078-1089,1975.
[80]S.L.Hakimi and E.F.Schmeichel,An adaptive algorithm for system level diagnosis,IEEE Trans.on Comp.C-33 pp.234-240,1984.
[81]李旎,刘任任.三值社会诊断模型的t/{x}可诊断性判断[J].重庆理工大学学报(自然科学版),2009,(7).
[82]李旎,刘任任,阳王东.三值社会诊断模型的方程诊断问题[J].2009年全国理论计算机科学学术年会(TCS2009)(录用)计算机工程与应用杂志(录用).
[83]李旎,刘任任.社会诊断的一种三值系统模型[J].计算机时代,2008,(12).
[2] J. Lukasiewicz.on three-valued logic. Ruch Filozoficzny 5.(1920) ,169~171.
[3] E.L. Post.Introduction to a general theory of elementary propositions. Amer. J. Math., Vol.43 (1921), 163~186.
[4] Elhadef M,Ayeb B.An evolutionary algorithm for identifying faults in t-diagnosable systems//Proceedings of the 19th IEEE Symposium on reliable Distributed Systems.Nurnberg,Germany.Washington,DC:IEEE Computer Society 2000:74-83
[5] I. Malcev.Slupecki subalgebras in coordinated products of iterativealgebras. Multiple-Valued Logic.Vol.5, 1(2000), 1~13.
[6] P. D. Picton. A universal architecture for multi-valued reversible logic, Multiple-Valued Logic. Vol.5, 1(2000), 27~38.
[7] R.Cignoli. A. Torrens. An algebraic analysis of product logic. Multiple-Valued Logic.Vol. 5, 1(2000), 45~66.
[8] G. Epstein. B-algebras and associated logics. Multiple-Valued Logic. Vol.5, 1(2000), 67~79.
[9] Yu. V. Ivlev. Theory of logical modalities. Multiple-Valued Logic. Vol.5, 2(2000), 91~102.
[10] D. A. Simovici,I. Stojmenovic and R. Tosic. Boolean completeness in two-valued logic. Multiple-Valued Logic. Vol.5, 3 (2000), 267~280.
[11] P. Corsini. On the hypergroups associated with binary relations. Multiple-Valued Logic. Vol.5, 5 (2000), 407~420.
[12] Rudeanu, S. Equations in the algebra of logic. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic. 2002, 2~8.
[13] Marra.V, Mundici, D, Consequence and complexity in infinite-valued logic: a survey. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic.2002, 104~114.
[14] Y. J. Chang, C. L. Lee, J. E. Chen. Fault models for multi-valued current mode CMOS circuits. Multiple-Valued Logic. Vol.5, 1(2000), 15~26.
[15] Natsui, M, Aoki, T, Higuchi, T.Parallel evolutionary graph generation on a PC cluster and its application to multiple-Valued circuit synthesis. Proceedings 32nd IEEE International Symposium on Multiple-valued Logic.2002, 96~102.
[16] M. Abd-EI-Barr, A. Al-Mutawa. Cost-analysis of 4-valued unary functions implemented using current-mode CMOS circuits. Proceedings 30th IEEE International Symposium on Multiple-Valued Logic.2000, 215~220.
[17] A. Herrfeld, S. Hentschke. A ternary flip-flop for dynamic double-rail circuits,. Multiple-Valued Logic.Vol.5, 1(2000), 39~44.
[18]Kimura, H., Hanyu, T., Kameyama, M. Multiple-valued logic-in-memory VLSI based onferroelectric capacitor storage and charge addition. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic. 2002, 161~166.
[19] H. K. Lam, F. H. F. Leung, P. K. S. Tam. Design of fuzzy observer-controllers for Multivariable uncertain system using stability and robustness analyses. Multiple-Valued Logic. Vol.5, 1(2000), 391~406.
[20] Gao. M, Jiang. J.-H. Jiang. Y. Li, Y. Mishchenko, A., Sinha, S., Villa, T., Brayton,R, Optimization of multi-valued multi-level networks. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic. 2002, 168~177.
[21] T. Aoki, K. Nakazawa,T. Higuchi. High-radix parallel VLSI dividers without using quotient digit selection tables, Proceedings 30th IEEE International Symposium on Multiple-Valued Logic, 2000, 345~354.
[22]朱梧,肖奚安.中介公理集合论系统MS[J].中国科学(A辑). 1988,(2).
[23]罗铸楷.多值逻辑中所有极大封闭集之确定问[J].数学学报,1980,23(1):152~156.
[24]王湘浩.有限集合上缺值与不缺值函数的结构理论[J].吉林大学自然科学学报. 1963,(2):295~315.
[25]罗铸楷.部分多值逻辑函数的完备性理论[J].数学学报,1984,27(5):676~683.
[26]王守觉.连续逻辑为电子线路与系统提供的新手段[J].电子学报,1986,14 (5).
[27] Lin Weiping, Zheng Qilun and Huang Guanguang.A Semi-Custom Technique Realizing Nondestructive Information Processing. Proc. IEEE ISMVL-88, 1988.
[28]胡谋.一种基于三值电路的FT-TSC-FS二值数字系统[J].中国科学(A辑), 1985,(8).
[29] X. Wu, X. Chen and S. L. Hurst. An Investigation into Ternary Comparison Operators. International Journal of Electronics. 64(6), 1988.
[30]吴训威,陈偕雄.基于传输函数理论的四值CMOS电路[J].中国科学(A辑),1989, (5).
[31] Xunwei Wu, Penjun Wang. Yinshui Xia Design of ternary Schmitt triggers based on its sequential characteristics. Proceedings 32nd IEEE International Symposium on Multiple-Valued Logic. 2002, 156~160.
[32]陈廷槐.数字系统的测试与容错[M].长沙:东南大学出版社, 1990:66~89.
[33] G. Zhang,Two Complete Orthogonal Sets of Real Multiple-Valued Functions. Proc.IEEE ISMVL-84, 1984.
[34]陈偕雄,沈继忠.近代数字理论[M].杭州:浙江大学出版社,2001:12~23.
[35]胡谋. ECSA理论及其应用[J].中国科学(A辑),1988,(1).
[36]胡谋.多值逻辑在VLSI设计与测试中的若干应用[J].电子学报,1989,17(6).
[37]陈廷槐.四值逻辑与星算法[J].计算机学报,1979,2 (4).
[38] Jie Xu and Tinghuan Chen. Society Diagnosis (IV). Proc. IEEE ISMVL-89.1989.
[39] E.L. Post. The two-valued iterative systems of mathematical logic. Annals of Math Studies. (5) (1941), 1~22.
[40] S.V. Jablonskiǐ. On functional completeness in the three-valued calculus (Russian).Dokl. Akad. Nauk SSSR 95 (1954) 1153-1155.
[41]周焕银,刘金生,李明,王仁波.基于故障诊断的数据挖掘算法[J].微计算机信息,2008,(01).
[42]Holland J.H.Adaptation in Natural and Artificial System.Michigan:University of Michigan Press,1975
[43]邓伟,杨小帆,吴中福.面向系统级故障诊断的高效遗传算法[J].计算机学报,Vol.30 No.7 July 2007.
[44]王飞跃,史蒂夫.兰森.从人工生命到人工社会——复杂社会系统研究的现状和展望[J].复杂系统与复杂性科学,Vol.1 No.1 Jan.2004
[45]戴汝为.人-机结合的智能科学和智能工程[J].中国科学工程,Vol.6 No.5 May 2004.
[46]王飞跃.计算实验方法与复杂系统行为分析和决策评估[J].系统仿真学报,Vol.16 No.5 May 2004.
[47]周闻泉,贺敏伟.基于移动代理的主动网络系统级故障诊断模型[J].计算机应用,2006,26(9).
[48]赵晨,诸静.过程控制中的一种数据挖掘算法[J].武汉大学学报(工学版), 2005,38(5).
[49]宣恒农,张大方,张明.二值诊断模型诊断模型的方程诊断[J].电子学报,2003,(5).
[50]谢兵,张大方,刘兵.该进的基于互测二值诊断模型的系统级故障诊断集团算法[J].计算机仿真,2003,20(6).
[51]宣恒农,张明,张大方.张延选Chwa&Hakimi诊断模型方程诊断的理论基础[J].计算机应用,2003,23(4).
[52]丁浩,杨小平.SWARM——一个支持人工生命建模的面向对象模拟平台[J].系统仿真学报,2002,14(5).
[53]张大方,江招生,基于集团的系统级故障诊断研究[J].计算机学报,1998,21(4).
[54]张大方.基于矩阵的极大独立点集生成算法[J].电子学报.
[55]江雪琴等.一种PMC模型下的自适应顺序诊断算法[J].重庆大学学报(自然科学版)vol.19.No.3 May.1996.
[56] A.T Dabura and G.M.Masson,An O( n 2.5)fault identification algorithm for diagnosable systems,IEEE Trans.Comp.Vol.C-33,pp.486-492,1984
[57]S.N.Maheshwari and S.L.Hakimi,On models of diagnosable systems and probabilistic fault diagnosis.IEEE Trans.on Comp.,C-25,pp.228-236,1976
[58]Kaiyuan Huang and Tinghui Chen,Three-valued system diagnosis,15-th international symposium on Multiple Valued Logic,pp.336-360,1985
[59]Tinghuai Chen and Yanlin Zhang,Society diagnosis(I),14-th International Symposium on Multiple-Valued Logic,pp.212-215,1985
[60]Tinghuai Chen,Tai Kang and Hengchang Guo,Society diagnosis(III)18-th International Symposium on Multiple-Valued Logic,1988
[61]F.P.Preparata,G,Mteze and R.T.Chien.On the connection assignment problem of diagnosable systems,IEEE Trans.on Electronic Computers,EC-16,pp.848-854,1967
[62]A.Sen Gupta and A.Sen,On system diagnosis with multiple-valued test outcomes13-th International Sympoium on Multiple-Valued Logic ,pp.356-360,1983
[63]J.G.Kuhl and S.M.Reddy,Fault-diagnasis in fully distributed systems,IEEE symposium on Fault Tolerant Computing,pp.100-105,1981
[64]J.T.Butler,Relation among system diagnosis-models with three-valued test outcomes,13-th International Symposium on Multiple-Valued Logic,pp.335-350,1983
[65]G.Sullivan.A polynomial time algorithm for fault diagnosability,Proceeding of the Sympoium on the Foundations of Computer Science,pp,148-156,1984
[66]S.L.Hakimi and K.Nakajima,On a theory of t-Fault diagnosable analog systems.IEEE Trans.on Circuits and Systems.Vol.CAS-31,No.11,pp.946-950,1984
[67]S.E.Kreutzer and S.L.Hakimi,System level fault diagnosis:a ssurvey,Microprocessing and Microprogramming,The Euromicro Journal,Vol.20,No.485,pp.323-330,1987
[68]杨晓帆,陈延槐,蔡兵.一个系统级故障诊断算法[J].计算机学报,Vol.20 No.4 Apr.1997.
[69]杨小帆,何中市,陈延槐,系统级故障诊断的一个三值模型[J].重庆大学学报(自然科学版).
[70]Tinghuai Chen and Yanlin Zhang,Society diagnosis(I),14-th International Symposium on Multiple-Valued Logic,pp.191-195,1985
[71]Tinghuai Chen and Kaiyuan Huang,Socity diagnosis(II),15-th International Symposium on Multiple-Valued Logic,pp.212-215,1985
[72]Tinghuai Chen,Tai Kang and Hengchang Guo,Socity diagnosis(III),18-th International Symposium on Multiple-Valued Logic,1988
[73]Back T,Hoffmeister F,Schwefel H.P,.Application of evolutionary algorithms.University of Dortmund:The Systems Analysis Research Group,Department of Computer Science,Technical Report SYS-2/92,1993
[74]Goldberg D.E.Genetic Algorithms in Search,Optimization,and Machine Learning. Reading,MA:Addison-Wesley,1989
[75]A.Kavianopour and A.D.Friedman,Efficient design of easily diagnosable systems IEEE Trans.on Comp.C-27,pp.251-257,1978.
[76]F.Barsi,F.Grandoni and P.Mastrini,A theory of diagnosability of digital systems,IEEE Trans.on Comp.C-25,pp.885-893,1976.
[77]M.Bolount,Probabilistic treatment of oliagnosis in digital systems,IEEE Symposium on Fault Tolerant Computing,pp.72-77,1997.
[78]C.R.Kime,An analysis model for digital system diagnosis,IEEE Trans.on Comp,C-19,pp.1063-1070,1970
[79]J.D.Russell and C.R.Kime,System fault diagnosis,closure and diagnosability with repair,IEEE Trans.on Comp.C-24,pp.1078-1089,1975.
[80]S.L.Hakimi and E.F.Schmeichel,An adaptive algorithm for system level diagnosis,IEEE Trans.on Comp.C-33 pp.234-240,1984.
[81]李旎,刘任任.三值社会诊断模型的t/{x}可诊断性判断[J].重庆理工大学学报(自然科学版),2009,(7).
[82]李旎,刘任任,阳王东.三值社会诊断模型的方程诊断问题[J].2009年全国理论计算机科学学术年会(TCS2009)(录用)计算机工程与应用杂志(录用).
[83]李旎,刘任任.社会诊断的一种三值系统模型[J].计算机时代,2008,(12).