用户名: 密码: 验证码:
证据推理的组合方法、评价体系与应用研究
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
与其他推理方法相比,证据推理具有符合人推理决策过程,可以对其进行合理的信息论解释,能够区分确定与不确定区间,且不需要先验信息,能够处理随机性和模糊性导致的不确定,而且计算直观,使用方便等优点。在对不确定信息处理与综合中得到了广泛的应用。本论文在对前人的工作整理完善的基础上,开展D-S理论组合方法、评价体系以及典型应用等方面的研究,具体贡献如下:
     1.在分析D-S自身特点以及与其他方法相对比的基础上,给出了解决冲突的两种新的组合方法——吸收法和加权分配冲突法,以及最新发展的DSmT方法的特点,并通过算例分析了上述方法解决冲突的不同思路和性能;
     2.在借鉴、整理和发展前人工作的基础上,给出了证据推理的性能评价体系,包括基本性质、特有性质和工程可用性等三大类9条准则。提出了抗高冲突性、便利性、计算复杂性、无条件极化性和条件极化性,完善了同一性的定义,聚焦性的分析。并依次对9条准则进行了定义和相应的证明,给出了12种典型方法基于9条准则的基本性能比较;
     3.设计的大量的算例,对D-S、DSmT、Smets、孙全、向阳、吸收法、邢清华、Murphy、邓勇、Yager、Dubois和Toshiyuki等12种典型的方法,以9条准则的依据,逐一进行了计算、分析、对比,分析结果对这些方法的实际应用给出了有价值的指导建议;
     4.结合图像目标识别典型应用,研究了证据推理在工程应用中的一般流程,分析比较了三种基本置信指派函数的构造方法,最后分别采用指数函数法和神经网络法给出了证据推理的序列图像目标识别算法,并对其中不同组合和决策方法的识别结果进行了仿真和分析,效果良好。
Compared with other reasoning theories, evidence reasoning theory makesdecisions according to human's way, and can be explained reasonably by usinginfonnation theory. Certain and uncertain zones can be divided with no priorinformation and randomness, and uncertainty from imprecise sources can be managedintuitively. Evidence reasoning is widely used in dealing with the uncertaininformation. In this dissertation, the combination rules, performance indexes andsome applications are discussed in detail. The main contributions are as follows:
     1. After analyzing the D-S theory and the DSmT developed recently, two newcombination rules, "weigh distribution" and "absorptive method", are given tosolve the conflict problem. Substantive simulations are given to analyze thedifferent ideas and performances of these two rules.
     2. A performance index scheme of evidence reasoning rules is put forward, including3 parts and 9 items of evaluation criteria. We put forward Anti-high-conflict,complexity, convenience, polarization and conditional polarization, and theevaluation criteria of identity and focusing are also perfected. The performancesof the 12 combination rules are analyzed with the 9 evaluation criteria.
     3. An amount of simulations are given to evaluate the 12 rules including D-S, DSmT,Smets, Sunquan, Xiangyang, Absorptive method, Xingqinghua, Murphy,Dengyong, Yager, Dubois and Toshiyuki. Using the 9 criteria, we analyze theperformance of the 12 methods in detail. Some suggestions are given from thesimulation results.
     4. With the application in the recognition of sequential images, the normal process ofevidence reasoning's application in engineering are studied. And the 3 methods ofconstructing basic belief assignment are compared, the recognition of sequentialimages is given based on BP neural network and exponential function. Therecognition results of different methods are then analyzed
引文
[1]. Maltepe, Ankara and Turkey. Maximum a posterior approach to object recognition with distributed sensors. IEEE Trans Aerospace Electron Syst.,24(3):309-312, 1988
    [2]. Pedrycz, W. Fuzzy set in pattern recognition: methodology and methods. Pattern Recognition, 23(1/2): 121-146, 1990
    [3]. Laskey, K.B,, Cohen, M.S. and Martin, A.W.. Representing and elicit knowledge about uncertainty evidence and implication. IEEE Trans Syst. Man Cybern.,19(3) :536-545, 1989
    [4]. Klein, L.A.. A Boolean algebra approach to multiple sensor voting fusion. IEEE Trans Aerosp. Electron Syst., 29(1) :317-327,1993
    [5]. Tahani, H. and Keller, J. Information fusion computer vision using the fuzzy integral. IEEE Trans Syst. Man Cybern, 20(3) :733-741, 1990
    [6]. Walley, P. Measures of Uncertainty in Expert System. Artif. Intell., 83(1) :1-58,1996
    [7]. Judea Pearl. Bayesian Networks. Cognitive Systems Laboratory Computer Science Department University of California Los Angeles, 1994
    [8]. Pawlak Z. Rough Sets, Int. J of Computer Information Science, 11(5): 341-356,1982
    [9]. Libby, E.W. and Maybeck, P.S.. Sequence comparison techniques for multi-sensor data fusion and target recognition. IEEE Trans Aerosp Electron Syst,1996 ,32(1):52-65
    [10]. Mandal, D.P., Murthy, C.A. and Sankar.. Formulation of a multi-valued recognition system. IEEE Trans Syst. Man Cybern., 1992, 22(4): 607-620
    [11]. Demribas, K. Distributed sensor data fusion with binary decision tree. IEEE Trans Areosp. Syst Electron, 1989, 25(5): 643-649
    [12]. Sadjudi, F.A. Hypotheses testing in a distributed environment. IEEE Trans Aerospace Electronic Systems, 1987, 23(1): 134-147
    [13].刘雷健,杨靖宇.基于融合信息的物体识别.模式识别与人工智能,1993,6(1):27-33
    [14].黄瑛,陶云刚,周洁敏,苏登军.D-S证据理论在多传感器数据融合中的应用.南京航空航天大学学报,31(2):172-177,1994
    [15].郭欣,王润生.基于多特征的图象识别分类.固防科技大学学报,1996,18(3):73-79
    [16].牟建华,周伟,万百五.组合多重神经网络动态系统鲁棒故障检测与诊断.西安石油学院学报,1997,12(1):38-41
    [17].李宏,徐辉,安玮,孙仲康.基于BP网络与D-S理论相结合的点目标状态下卫星及其伴飞诱饵的识别方法.国防科技大学学,1997,19(2):53-58
    [18].敬忠良,杨永胜,李建勋,戴冠中。基于模糊神经网络与D-S推理的智能特征信息融合研究.信息与控制,1997,26(2):107-111
    [19].李宏,徐辉,安玮,孙仲康.基于人工神经网络与D-S理论相结合的信息融合空间点目标识别方法研究.信息与控制,1997,26(2):151-155
    [20].耿立恩,潘旭峰,李晓雷,祝嘉光.Dempster-Shafer证据推理在数据融合中的应用.北京理工大学学,1997,17(2):198-203
    [21].张汝波,吴俊伟,顾困昌,张国印.智能水下机器人多传感器信息融合的一种方法.哈尔滨工程大学学报,18(2):72-76,1997
    [22]. Halpem, J. Y. and Fagin, R.. Two views of belief as generalized probability and belief as evidence. Artif Intell, 1992 54(2): 275-317
    [23]. Yao, Y. Y. and Linaras, P. J.. Interpretation of belief function in the theory of rough set, Information Science, 1998, 104(1/2):81-106
    [24]. Jaffray, J.. Bayesian update and belief function. IEEE Trans Syst Man Cybern, 1992, 22:1144-1152
    [25]. Bloch, I.. Information combination operators for data fusion:a comparative review with classification. IEEE Trans Syst Man Cybern, 1996, 26(1): 52-67
    [26]. Oxenham, M., Kewley, D. and Melson, M.. Measures of information for multilevel data fusion. Proceeding of signal processing, sensor fusion and target recognition. V, 1996 : 271-281
    [27].Smets, P.. The degree of belief in a fuzzy set, Information Science, 1981, 25:1-19.
    [28].Romer, C. and Kandel, A.. Constraints on belief function imposed by fuzzy random variables. IEEE Trans Syst Man Cybern, 1995, 25(1): 86-99.
    [29].Bandemer, H. and Gottwald, S.. Fuzzy set, fuzzy logic, fuzz methods. Wiley, J.and Sons, Inc. :New York, 1995
    [30].Smets, P.. The transferable belief model and random set. Int. J. Intell Syst, 1992,7: 37-46
    [31].Mahler, R... Unified data fusion: fuzzy logic, evidence and rules. Proceeding of signal processing, sensor fusion and target recognition V, 1996 : 226-237
    [32]. Yager, R.R.. On the Aggregation of prioritized belief structure. IEEE Trans Syst Man Cybern, 1996, 26(6): 708-719
    [33].Wu, Y.G., Yang, J.Y., Lin, K. and Liu, L.J.. On the evidence inference theory,Information Science, 1996, 89(3/4): 245-260
    [34].Guan, J.W. and Bell, D.A.. Approximate reasoning and evidence theory, Information Science, 1997, 96(3/4): 207-235
    [35].Xu Hong. Smets, P.. Some strategies for explanation in evidence reasoning.IEEE Trans Syst Man Cybern, 1996,26(5): 599-570
    
    [36].John Yen. Evidence reasoning in expert system, [dissertation] U-M-I Dissertation Information Service, 1986
    
    [37].Guan, J., Porlin, J. and Lesser, V.R.. Combining evidence in the extended Dempster-Shafer theory. AI and Cognitive Science '89, 1989: 167-178
    [38].Spies, M.. Condition event, conditioning, and random sets. IEEE Trans Syst Man Cybern, 1994,24(12): 1755-1763
    [39].Mahler, R.. Combining ambiguous evidence with respect to ambiguous a priori knowledge, part I: Boolean logic. IEEE Trans Syst Man Cybern, 1996, 26(1):27-41
    [40].Fixsen, D. and Mahler, R.. The modified D-S approach to classification. IEEE Trans Syst Man Cybern, 1997, 27(1): 96-104
    [41].Yen, John. Generalizing the D-S theory to fuzzy set. IEEE Trans Syst Man Cybern, 1990, 20(3): 559-570
    [42]. Mahler, R.. Combining ambiguous evidence with respect to ambiguous a priori knowledge. part Ⅱ: fuzzy logic, fuzzy set and system, 1995, 75:319-354
    [43]. Tchamova A, Semerdjiev T, Dezert J. Estimation of Target Behavior Tendencies using Dezert-Smarandache Theory. Proc. of Fusion 2003 Conf., Cairns, Australia, July 8-11, 2003.
    [44]. Corgne S, Hubert-Moy L, Dezert J, Mercier G., Land cover change prediction with a new theory of plausible and paradoxical reasoning. Proc. of the Information Fusion Conference, Fusion 2003, Cairns, Australia, 8(11): 1141-1148, July 2003
    [45]. Dezert J, Smarandache F, Daniel M. The Generalized Pignistic Transformation. Proceedings of 7th International Conference on Information Fusion, Fusion 2004, Stockholm, Sweden, June, 2004.
    [46]. Dezert J, Smarandache F. Combination of beliefs on hybrid DSm models. Advances and Applications of DSmT for Information Fusion, American Research Press, Rehoboth, Chap. 4, June 2004.
    [47]. Tchamova A, Dezert J, Semerdjiev Tz, Konstantinova P. Target Tracking with Generalized Data Association based on the General DSm Rule of Combination. Proceedings of Fusion 2004, Stockholm, Sweden, June 28th-July 1th, 2004.
    [48].肖人彬,费 奇.基于证据理论的不确定性分析.华中理工大学学报.21(3):24-30,1993
    [49].刘大有,李岳峰.广义证据推理的解释.计算机学报.20(2):158-164,1997
    [50].曹玉俊.证据理论中的证据合成方.西安交通大学学报.31(6):106-110,1997
    [51]. Dedekind R. Uber Zerlegungen yon Zhalen durch ihre grossten gemeinsammen Teiler, In Gesammelte Werke, Bd. 1:103-148, 1897
    [52]. Dezert J, Smarandache F. On the generation of hyper-powersets for the DSmT. Proc. of Fusion2003 Conf., Cairns, Australia, July 8-11, 2003.
    [53]. Dezert J. Foundations for a new theory of plausible and paradoxical reasoning. Inform. & Security, An int. Journal, Tzv. Semerdjiev Editor, CLPP, Bulg. Acad. of Sciences. Vol. 9, 2002.
    [54]. Zadeh L. On the validity of Dempster's rule of combination. Memo M 79/24, Univ. of California, Berkeley, 1979
    [55]. Walley P. Measures of Uncertainty in Expert System. Artif. Intell. 83(1): 1-58, 1996
    [56]. Lefevre E, Colot O, Vannoorenberghe P. Belief functions combination and conflict management. Information Fusion. 3 (3): 149-162, 2002
    [57]. Smets P, Kennes R. The Transferable Belief Model. Artificial Intelligence. 66(2): 191-234, 1994
    [58]. Dubois D, Prade H. Representation and combination of uncertainty with belief functions and possibility measures. Computatignal Intelligence. Vol. 4: 244-264, 1998.
    [59] Yager R. On the Dempster-Shafer framework and new combination rules. Information Sciences. 41 (2):93-138, 1987
    [60].何兵,胡红丽.一种分级的DS证据合成策略.计算机工程与应用.10,88-90,2004.
    [61] Smets P, Kennes R. The Transferable Belief Model. Artificial Intelligence. 66(2): 191-234, 1994
    [62] Yager R. On the Dempster-Shafer framework and new combination rules. Information Sciences. 41(2):93-138, 1987
    [63].尹慧琳,王磊.D-S证据推理改进方法综述.计算机工程与应用.27:22-24,2005
    [64] Ferson. S, Kreinovich. V, Ginzburg. L, Sentz. L, Myers. S. Constructing probability boxes and Dempster-Shafer structures. Sandia National Laboratories, Technical Report SAND2002-4015, Albuquerque, NM, 2002
    [65]. Quan Gaofeng, Chai Donglang. Studies on the Strengthening Mechanisms of DRMMCs. In:TsaiR, ed. Pro ICCM/10.Vancouver, Canada, 1995
    [66].刘大有,欧阳继红,唐海鹰,陈建中,虞强源.一种简化证据理论模型的研究.计算机研究与发展.36(2):134-138,1999
    [67].潘泉,张山鹰,程咏梅,张洪才.证据推理的鲁棒性研究.自动化学报.27(6):798-805,2001
    [68]. Thomopolos, S. C. A., Optimal decision fusion in multiple sensor systems. IEEE Trans Areosp Syst Electron, 1987, 23(5): 644-653
    [69]. Dasarathy, B.V.. Decision fusion strategies in multi-sensor environments. IEEE Trans Syst Man Cybern, 1991, 21(5): 1140-1154
    [70]. Chair, Z.. Optimal data fusion in multiple sensor detection systems. IEEE Trans Areosp Electron Syst, 1986, 22(1): 98-101
    [71]. Ansari, N., Hou, E.S.H., Zhu, B.O. and Chen, J-G. Adaptive fusion by reinforcement learning for distributed detection. IEEE Trans Areosp Electron Syst, 1996, 32(2): 524-531
    [72]. Li, T. And Sethi, I.K.. Optimal multiple lever decision fusion with distributed sensors. IEEE Trans Areosp Electron Syst, 1993, 29(4): 1252-1259
    [73]. Luo, R.C. and Kay, M.G.. Multi-sensor in target and fusion with in intelligent system. IEEE Trans Syst Man Cybern, 1989,19(7): 901-931
    [74]. Klain,L.A. and Kassis, S.Y.. Proceeding requirement for multi-sensor low-cost brilliant maintain. IEEE Trans Areosp Electron Syst, 1993, 29(4): 1085-1097
    [75]. Waltz, E.L. and Buede, D.. Data fusion and decision support for command and control. IEEE Trans Syst Man Cybern, 1986, 16(6): 865-879
    [76]. Krzysztofowicz, R. and Donlong. Fusion of detection probability and comparison of multi-sensor system. IEEE Trans Syst Man Cybern, 1990, 20 :665-677
    
    [77]. Proceeding of the IEEE (on Sensor Fusion). 1997, 85(1)
    [78]. Dezert J., Foundations for a new theory of plausible and paradoxical reasoning,Inform. & Security,An int. Journal, Tzv. Semerdjiev Editor, CLPP,Bulg. Acad. of Sciences, Vol. 9,2002.
    
    [79]. Dezert J., Smarandache F., On the generation ofhyper-powersets for the DSm T, Proc.of Fusion2003 Conf., Cairns, Australia, July 8-11, 2003.
    [80]. Smarandache F. (Editor), Proc. of the 1st Int.Conf. on Neutrosophics, Univ. of New Mexico,Gallup Campus, NM, USA, 1-3 Dec. 2001, Xi-quan, Phoenix, 2002.
    [81]. Dezert J., Smarandache F., Partial ordering of hyper-power sets and matrix representation of belief functions within DSmT, Proc. of Fusion 2003 Conf., pp.1230-1238, Cairns, Australia, July, 2003.
    [82]. Dezert J.,Smarandache F., Daniel M, The Generalized Pignistic Transformation,Proceedings of 7th International Conference on Information Fusion, Fusion 2004,Stockholm, Sweden, June, 2004.
    
    [83]. Dezert J., Smarandache F., Combination of beliefs on hybrid DSm models,Advances and Applications of DSmT for Information Fusion, American Research Press, Rehoboth, June 2004, Chap. 4.
    
    [84]. Tchamova A., Semerdjiev T., Dezert J., Estimation of Target Behavior Tendencies using Dezert-Smarandache Theory, Proc. of Fusion 2003 Conf., Cairns,Australia, July 8-11, 2003.
    
    [85]. Tchamova A., Dezert J., Semerdjiev Tz., Konstantinova P., Target Tracking with Generalized Data Association based on the General DSm Rule of Combination,Proceedings of Fusion 2004, Stockholm, Sweden, June 28th-July 1th, 2004.
    
    [86]. Dezert J., Smarandache F., Tchamova A., On the Blackman's association problem, Proc. of Fusion 2003 Conf, Cairns, Australia, July 8-11, 2003.
    
    [87]. Corgne S., Hubert-Moy L., Dezert J., Merrier G, Land cover change prediction with a new theory of plausible and paradoxical reasoning, Proc. of the'Information Fusion Conference, Fusion 2003,Cairns, Australia, 8-11 July 2003, pp. 1141-1148.
    
    [88]. Lowrance J.D, Garvey T.D.,"Evidential Reasoning: An Implementation for Multisensor Integration", technical Note 307, Artificial Intelligence Center, Computer Science and Technology Division, SRI International, Menio Park, CA, (1983).
    
    [89]. Lesh S.A.,"An Evidential Theory Approach to Judgment-Based' Decision Making", Ph.D. Thesis, Dept. of Forestry and Environmental Studies, Duke University, Durham,NC, (1986).
    
    [90]. Schubert J.,"On Nonspecific Evidence", International Journal of Intelligent Systems, Vol. 8, (1993), 711-725.
    
    [91]. Dedekind R. "Uber Zerlegungen von Zahlen durch ihre gfossten gemeinsammen Teiler, In GesammelteWerke, Bd. 1. pp. 103-148, 1897
    
    [92]. Dezert J., Smarandache F., Combination of beliefs on hybrid DSm models,Advances and Applications of DSmT for Information Fusion, American Research Press, Rehoboth, June 2004, Chap. 4.
    [93]. Shafer G, Perspectives on the Theory and Practice of Belief Functions, International Journal of Approximate Reasoning, Vol.4, 323-362, 1990
    [94]. Smets, P.. The combination of evidence in transferable belief model. IEEE Trans Pattern Analysis and Machine Intelligence, 1990, 12(5):447-458
    [95].刘大有,欧阳继红,唐海鹰,陈建中,虞强源.一种简化证据理论模型的研究.计算机研究与发展,1999,36(2):134-138
    [96].杜亚娟,基于不变矩理论的自动识别技术研究,西北工业大学博士学位论文,2000.
    [97].方明,李天太,杨军全,黄炜.基于实例的不确定检索模型的研究.控制与决策,1999,14(1):93-96
    [98]. Lowrance J. D, Garvey T. D., "Evidential Reasoning: An Implementation for Multisensor Integration", technical Note 307, Artificial Intelligence Center, Computer Science and Technology Division, SRI International, Menlo Park, CA, (1983).
    [99].张山鹰,潘泉,张洪才.一种新的证据推理组合规则.控制与决策,2000,15(5):540-544
    [100].黎湘,刘永祥,付耀文,庄钊文.基于D-S证据理论的修正融合目标识别模型.自然科学进展,2000,10(11):1040-1043
    [101]. Tchamova A., Semerdjiev T., Dezert J., Estimation of Target Behavior Tendencies using Dezert-Smarandache Theory, Prec. of Fusion 2003 Conf., Cairns, Australia, July 8-11, 2003.
    [102]. Lesh S. A.,"An Evidential Theory Approach to Judgment-Based Decision Making", Ph.D. Thesis, Dept. of Forestry and Environmental Studies, Duke University, Durham, NC, (1986).
    [103]. Cholvy L., Towards another logical interpretation of theory of evidence and a new combination rule, Proc. of the IPMU, 1-5 July 2002.
    [104].邓勇,施文康.一种改进的证据推理组合规则.上海交通大学学报.37(8):1275-1278,2003
    [105].邓勇,施文康,朱振福.一种有效处理冲突证据的组合方法.红外与毫米波学报.23(1):27-32,2005
    [106].何兵,胡红丽.一种分级的DS证据合成策略.计算机工程与应用.10,88-90,2004.
    [107].徐从富,耿卫东,潘云鹤.解决证据推理中一类“0绝对化”问题的方法.计算机科学.27(5):53-56,2000
    [109].黄金,程咏梅,皮燕妮,潘泉.基于神经网络和证据理论的图像目标识别研究.计算机仿真.11,2005
    [110].张山鹰.证据推理理论及其在目标识别中的应用.西北工业大学硕士学位论文,1999
    [111].苗壮.DSmT及其在目标识别中的应用.西北工业大学硕士学位论文,2005
    [112].李茹,李弼程.D—S证据理论的改进算法在时.空信息融合中的应用.数据采集与处理.20(2):156-160,2005
    [113]. Dempster A. Upper and lower probabilities induced by multi-valued mapping. Annals of Mathematical Statistics. 38(4):325-339, 1967
    [114]. Toshiyuki Inagki. Interdependence between Safety-control Policy and Multiplesensor Schemes via Dempster-Shafer Theory. IEEE Trans. on Reliability. 40 (2): 182-188, 1991.
    [115].孙全,叶秀清,顾伟康.一种新的基于证据理论的合成公式.电子学报.28(8):117-119,2000
    [116].向阳,史习智.证据理论合成规则的一点修正.上海交通大学学报.33(3):357-360,1999
    [117].邢清华,雷英杰,刘付显.一种按比例分配冲突度的证据推理组合规则.控制与决策.19(12):1387-1390,2004
    [118]. Murphy C. K. Combining belief functions when evidence conflicts. Decision Support Systems. 29(1): 1-9, 2000
    [119]. Quan Gaofeng, Chai Donglang. Studies on the Strengthening Mechanisms of DRMMCs. In:TsaiR, ed. Pro ICCM/10.Vancouver, Canada, 1995
    [120]. Takahiko Horiuchi. A new theory of evidence for nonexclusive elementary proposition. International Journal of system science. 27(10): 989-994, 1996
    [121]. Shafer G. A. Mathematical Theory of Evidence. Princeton University Press, Princeton, New Jersey, 1976
    [122].王海晖,彭嘉雄,吴巍.基于证据理论的信息融合在图像分类中的应用.计算机工程与应用.33:11-14,2003
    [123].程咏梅,潘泉,张洪才,王刚.信息融合图像识别算法及其在三维飞机图像识别中的应用.航空学报.25(2):186-179,2004
    [124]. Denceux T. An evidence-theoretic neural network classifier. IEEE Int. conf. on Syst Man Cybern Vancouver. 25(3): 712-714, 1995
    [125]. Denoeux T. A K-nearest neighbour classification rule based on Dempster-Shafer theory. IEEE Transactions on Systems, Man and Cybernetics. 25 (5):804-813, 1995
    [126].邓子建,李弼程.一种有监督学习证据理论分类器.计算机工程与应用.15:53-56,2005
    [127].李玉榕,蒋静坪,杨富文.基于神经网络的DS证据理论应用于多传感器目标识别.仪器仪表学报.22(6):652-655,2001
    [128].倪国强,梁好臣.基于Dempster-Shafer证据理论的数据融合技术研究.北京理工大学学报.21(5):603-609,2001
    [129].刁联旺,李勇智,杨静宇.DS证据推理的决策问题.计算机工程与应用.33:82-84,2003
    [130].杨阳.证据推理组合方法的分类、评价准则及应用研究.西北工业大学硕士学位论文,2006
    [131].王刚.证据理论及其在图像目标识别中的应用.西北工业大学硕士学位论文,2002

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

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

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