词条 | 应明生 |
释义 | 应明生,男,长江学者、清华大学教授。1964年5月出生;1981年7月毕业于江西师范学院抚州分院数学科。曾在抚州师范专科学校数学系、江西师范大学数学系、南京航空航天大学计算机科学与工程系任教。1992年在江西师范大学评聘为教授,1994年被人事部批准为中青年有突出贡献专家,获第4届中国青年科技奖,1997年获国家杰出青年科学基金,入选教育部跨世纪优秀人才培养计划。先后在法国巴黎第六(居里夫妇)大学、意大利Salerno大学与Napoli大学、德国慕尼黑大学与Mannheim大学、芬兰Turku计算机科学中心作访问研究。现为清华大学计算机科学与技术系智能技术与系统国家重点实验室教授、博士生导师、教育部长江学者奖励计划特聘教授、国际模糊系统学会(IFSA)副主席、中国系统工程学会模糊系统与数学专业委员会理事长、《Fuzzy Sets and Systems》、《Journal of Computer Science and Technology》、《自动化学报》编委。 目前主要从事形式化方法、量子计算与量子信息、计算机科学与人工智能中的逻辑学、模糊逻辑等方面的科研工作。 2011年中国科学院院士候选人。 专著M. S. Ying, Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs, Springer-Verlag, New York, February 2001 国际刊物论文(按时间排列):2004年 [1] R. Y. Duan, Z. F. Ji, Y. Feng and M. S. Ying, A relation between quantum operation and quantum Fourier transforms, Physical Letters A ,323 :1-2(2004) 2003年 [1] M. S. Ying, Reasoning about probabilistic sequential programs in a probabilistic logic, Acta Informatica ,39:5(2003) [2] S. J. Li and M. S. Ying, Region connection calculus: its models and composition table, Artificial Intelligence ,145:1(2003) [3] S. J. Li and M. S. Ying, Extensionality of the RCC8 composition table, Fundamenta Informaticae ,55:3-4(2003) 2002年 [1] M. S. Ying, Additive models for probabilistic processes, Theoretical Computer Science ,275:1-2(2002) [2] M. S. Ying, Bisimulation indexes and their applications, Theoretical Computer Science ,275:1-2(2002) [3] M. S. Ying and H. Q. Wang, A lattice-theoretical model of consequences, conjectures and hypotheses, Artificial Intelligence ,139:2(2002) [4] M. S. Ying, Implication operators in fuzzy logic, IEEE Transactions on Fuzzy Systems ,10:1(2002) [5] M. S. Ying, A formal model for computing with words, IEEE Transactions on Fuzzy Systems ,10:5(2002) [6] Y. Feng, S. Y. Zhang, R. Y. Duan and M. S. Ying, Lower bound on inconclusive probability of unambiguous discrimination, Physical Review A ,66:6(2002) [7] Y. Feng, S. Y. Zhang and M. S. Ying, Probabilistic cloning and deleting of quantum states, Physical Review A ,65:4(2002) [8] S. Y. Zhang and M. S. Ying, Set discrimination of quantum states, Physical Review A ,65:6(2002) [9] X. M. Sun, S. Y. Zhang, Y. Feng, and M. S. Ying, Mathematical nature of and an lower bound for the success probability of umambiguous discrimination of quantum states, Physical Review A ,65:4(2002) [10] M. S. Ying, Wootters-Zurek quantum copying machine: the higher-dimensional case, Physical Letters A ,299:2(2002) [11] M. S. Ying, Universal quantum copying machines: a necessary and sufficient condition, Physical Letters A ,302:1(2002) [12] Y. Feng, S. Y. Zhang SY, X.M. Sun and M. S. Ying, Universal and original-preserving quantum copying is impossible, Physical Letters A ,297:1-2(2002) 2001年 [1] M. S. Ying, M. Wirsing, Recursive equations in higher-order process calculi, Theoretical Computer Science ,266:1(2001) [2] S. Y. Zhang, Y. Feng, X. M. Sun and M. S. Ying, An upper bound for the success probability of umambiguous discrimination of quantum states, Physical Review A ,64:5(2001) 2000年 [1] M. S. Ying, Weak confluence and $\\tau -$inertness, Theoretical Computer Science, 238:2(2000) [2] M. S. Ying, Automata theory based on quantum logic (I), International Journal of Theoretical Physics, 39:4(2000) [3] M. S. Ying, Automata theory based on quantum logic (II), International Journal of Theoretical Physics, 39:11(2000) [4] L. Biacino, G. Gerla and M. S. Ying, Approximate reasoning based on similarity, Mathematical Logic Quarterly, 46:1(2000) 1999年 [1] M. S. Ying, A shorter proof to uniqueness of solutions of equations, Theoretical Computer Science, 216:2(1999) [2] M. S. Ying, Perturbation of fuzzy reasoning, IEEE Transactions on Fuzzy Systems, 7:5(1999) 1998年 [1] M. S. Ying and B. Bouchon, Approximate reasoning with linguistic modifiers, Int. J. Intelligent Systems, 13:4(1998) 1997年 [1] M. S. Ying and B. Bouchon, Quantifiers, modifiers and qualifiers in fuzzy logic, J. Applied Non-Classical Logics, 7:4(1997) 1996年 [1] M. S. Ying, When is the ideal completion of abstract basis algebraic, Theoretical Computer Science, 159:2(1996) 1994年 [1] M. S. Ying, A logic for approximate reasoning, J. Symbolic Logic, 59:3(1994) [2] M. S. Ying, On the method of neighborhood system in fuzzy topology, Fuzzy Sets and Systems, 68:2(1994) 1993年 [1] M. S. Ying, Fuzzifying toplogy based complete residuated lattice-valued logic (I), Fuzzy Sets and Systems, 56:3(1993) [2] M. S. Ying, A new approach for fuzzy topology (III), Fuzzy Sets and Systems, 55:2(1993) [3] M. S. Ying, Fuzzifying uniform spaces, Fuzzy Sets and Systems, 53:1(1993) [34] M. S. Ying, Compactness in fuzzifying topology, Fuzzy Sets and Systems, 55:1(1993) 1992年 [1] M. S. Ying, The fundamental theorem of ultraproduct in Pavelka's logic, Zeitschr. f. math. Logik und Grundlagen d. Math., 38:2(1992) [2] M. S. Ying, Compactness, the Lowenheim-Skolem property and the direct product of lattices of truth values, Zeitschr. f. math. Logik und Grundlagen d. Math., 38:4(1992) [3] M. S. Ying, A new approach for fuzzy topology (II), Fuzzy Sets and Systems, 47:2(1992) 1991年 [1] M. S. Ying, Deduction theorem for many-valued inference, Zeitschr. f. math. Logik und Grundlagen d. Math., 37:6(1991) [2] M. S. Ying, A new approach for fuzzy topology (I), Fuzzy Sets and Systems, 39:3(1991) 1990年 [1] M. S. Ying, On probabilistic normed spaces under $\\tau _{T,L},$ Int. J. Math. Math. Sci., 13:4(1990) [2] M. S. Ying, On reasonableness of compositional rule of fuzzy inference, Fuzzy Sets and Systems, 36:2(1990) [3] M. S. Ying, The alternativity measures of fuzzy sets, Fuzzy Sets and Systems, 37:1(1990) 1989年 [1] M. S. Ying, On a class of non-causal triangle functions, Math. Proc. Cambridge Phil. Soc., 106:4(1989) [2] M. S. Ying, On $\\varepsilon -$fuzzy sets, Fuzzy Sets and Systems, 31:1(1989) 1988年 [1] M. S. Ying, Some notes on multi-dimensional fuzzy reasoning, Cybern. Systems, 19:4(1988) [2] M. S. Ying, On standard models for fuzzy modal logic, Fuzzy Stes and Systems, 26:3(1988) 1987年 [1] M. S. Ying, Fuzzy semilattices, Information Science, 43:3(1987) [2] M. S. Ying, A counter-example of Gottwald's theorem, Fuzzy Sets and Systems, 23:3(1987) 国内刊物论文(按时间排列): 2001年 [1] M. S. Ying, Fuzzy topology based on residuated lattice-valued logic, Acta Math. Sinica (English Edition), 17:1(2001) 2000年 [1] M. S. Ying, Declarative semantics of programming in residuated lattice-valued logic, Science in China (E), 30:5(2000) [2] M. S. Ying and F. C. Liu, Three-valued and four-valued approach to logic programming with negation, J. Advanced Software Research ,13:4(2000) 1999年 [1] M. S. Ying, Phase semantics of non-commutative linear propositional logic, J. Computer Sci. Technology, 14:2(1999) [2] M. S. Ying, Topology in process calculus (I): Limit behaviour of agents, J. Computer Sci. Technology, 14:4(1999) 1998年 [1] 陆汝钤, 应明生, 知识推理的一个模型, 中国科学, 28:4(1998) [2] 应明生, 模糊逻辑中的紧性, 科学通报, 43:4(1998) 1997年 [1] 应明生, Gentzen型模糊推理, 系统科学与数学, 11:1(1997) [2] 应明生, 关于Herbrand基上的语义映射, 计算机学报, 20:2(1997) [3] 应明生, Institution中自由理论的合成, 软件学报, 8:8(1997) 1996年 [1] 应明生, 允许修改推理规则的开放逻辑, 科学通报, 41:12(1996) [2] 应明生, Institution中合并理论的初始与终结语义, 软件学报, 7:6(1996) 1995年 [1] M. S. Ying, Institutions of variable truth values: an approach in the ordered style, J. Computer Sci. Technology ,10:3(1995) [2] M. S. Ying, Putting consistent theories together in institutions, J. Computer Sci. Technology ,10:3(1995) 1994年 [1] 应明生, 不分明拓扑中的一种覆盖式紧性, 数学学报, 37:6(1994) 1993年 [1] 应明生, 概率度量空间中的不分明化拓扑结构, 数学年刊, 14A:6(1993) 1992年 [1]应明生, 格值模型的超积基本定理的另一形式, 科学通报, 37:4(1992) [2] 应明生, 近似匹配下的模糊推理, 科学通报, 37:13(1992) [3] 应明生, 模糊逻辑的再扩充, 计算机学报, 15:2(1992) 1991年 [1] 应明生, ΓT,L型概率赋范空间的线性拓扑性质, 数学进展, 20:3(1991) 1989年 [1] 应明生, 多值逻辑Lukasiewicz-Tarski系统的函数保核完备性, 计算机学报, 12:4(1989) 1988年 [1] 应明生,距离分布函数的ΓT,L半群的共轭变换, 科学通报, 33:16(1988) [2] 应明生, 环运算p值与ST逻辑函数的新展开式, 计算机学报, 11:11(1988) 荣誉、奖励及参加学术团体的情况第4届中国青年科技奖(中国科学技术协会),1994 中青年有突出贡献专家(人事部),1994 国家杰出青年科学基金(计算机科学与技术),1997 教育部跨世纪优秀人才培养计划(应用数学),1997 中国系统工程学会模糊系统与数学专业委员会主任 《Fuzzy Sets and Systems》编委 《Journal of Computer Science and Technology》编委 《自动化学报》编委 |
随便看 |
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。