應明生

1981年7月畢業於江西師範學院撫州分院數學科。曾在撫州師範專科學校數學系、江西師範大學數學系、南京航空航天大學計算機科學與工程系任教。1992年在江西師範大學評聘為教授，1994年被人事部批准為中青年有突出貢獻專家，獲第4屆中國青年科技獎， 1997年獲國家傑出青年科學基金，入選教育部跨世紀優秀人才培養計劃。先後在法國巴黎第六(居里夫婦)大學、義大利Salerno大學與Napoli大學、德國慕尼黑大學與Mannheim大學、芬蘭Turku計算機科學中心作訪問研究。現為清華大學計算機科學與技術系智能技術與系統國家重點實驗室教授、博士生導師、教育部長江學者獎勵計劃特聘教授、國際模糊系統學會（IFSA）副主席、中國系統工程學會模糊系統與數學專業委員會理事長、《Fuzzy Sets and Systems》、《Journal of Computer Science and Technology》、《自動化學報》編委。中國系統工程學會模糊系統與數學專業委員會主任。

2011年中國科學院院士候選人。

2016年11月，中科院軟體所研究員，學術副所長。

目前主要從事形式化方法、量子計算與量子信息、計算機科學與人工智慧中的邏輯學、模糊邏輯等方面的科研工作。

M. S. Ying, Topology in Process Calculus: Approximate Correctness and Infinite

Evolution of Concurrent Programs,Springer-Verlag, New York, February 2001

國際刊物論文(按時間排列)：

2004年

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年

M. S. Ying, Reasoning about probabilistic sequential programs in a

probabilistic logic, Acta Informatica ，39:5(2003)

S. J. Li and M. S. Ying, Region connection calculus: its models and

composition table, Artificial Intelligence

，145:1(2003)

S. J. Li and M. S. Ying, Extensionality of the RCC8 composition table,

Fundamenta Informaticae ，55:3-4(2003)

2002年

M. S. Ying, Additive models for probabilistic processes, Theoretical Computer

Science ，275:1-2(2002)

M. S. Ying, Bisimulation indexes and their applications, Theoretical Computer

Science ，275:1-2(2002)

M. S. Ying and H. Q. Wang, A lattice-theoretical model of consequences,

conjectures and hypotheses, Artificial Intelligence ，139:2(2002)

M. S. Ying, Implication operators in fuzzy logic, IEEE

Transactions on Fuzzy Systems ，10:1(2002)

M. S. Ying, A formal model for computing with words, IEEE

Transactions on Fuzzy Systems ，10:5(2002)

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)

Y. Feng, S. Y. Zhang and M. S. Ying, Probabilistic cloning and deleting of

quantum states, Physical Review A ，65:4(2002)

S. Y. Zhang and M. S. Ying, Set discrimination of quantum states, Physical

Review A ，65:6(2002)

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)

M. S. Ying, Wootters-Zurek quantum copying machine: the

higher-dimensional case, Physical Letters A ，299:2(2002)

M. S. Ying, Universal quantum copying machines: a necessary and sufficient

condition, Physical Letters A ，302:1(2002)

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年

M. S. Ying, M. Wirsing, Recursive equations in higher-order process calculi,

Theoretical Computer Science ，266:1(2001)

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年

M. S. Ying, Weak confluence and $\tau -$inertness, Theoretical Computer

Science, 238:2(2000)

M. S. Ying, Automata theory based on quantum logic (I),

International Journal of Theoretical Physics, 39:4(2000)

M. S. Ying, Automata theory based on quantum logic (II),

International Journal of Theoretical Physics, 39:11(2000)

L. Biacino, G. Gerla and M. S. Ying, Approximate reasoning based on

similarity, Mathematical Logic Quarterly, 46:1(2000)

1999年

M. S. Ying, A shorter proof to uniqueness of solutions of equations,

Theoretical Computer Science, 216:2(1999)

M. S. Ying, Perturbation of fuzzy reasoning, IEEE Transactions on Fuzzy

Systems, 7:5(1999)

1998年

M. S. Ying and B. Bouchon, Approximate reasoning with linguistic modifiers,

Int. J. Intelligent Systems, 13:4(1998)

1997年

M. S. Ying and B. Bouchon, Quantifiers, modifiers and qualifiers in fuzzy

logic, J. Applied Non-Classical Logics, 7:4(1997)

1996年

M. S. Ying, When is the ideal completion of abstract basis algebraic,

Theoretical Computer Science, 159:2(1996)

1994年

M. S. Ying, A logic for approximate reasoning, J. Symbolic Logic, 59:3(1994)

M. S. Ying, On the method of neighborhood system in fuzzy topology, Fuzzy Sets

and Systems, 68:2(1994)

1993年

M. S. Ying, Fuzzifying toplogy based complete residuated lattice-valued logic

(I), Fuzzy Sets and Systems, 56:3(1993)

M. S. Ying, A new approach for fuzzy topology (III), Fuzzy Sets and Systems,

55:2(1993)

M. S. Ying, Fuzzifying uniform spaces, Fuzzy Sets and Systems, 53:1(1993)

M. S. Ying, Compactness in fuzzifying topology, Fuzzy Sets and Systems,

55:1(1993)

1992年

M. S. Ying, The fundamental theorem of ultraproduct in Pavelka's logic,

Zeitschr. f. math. Logik und Grundlagen d. Math., 38:2(1992)

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)

M. S. Ying, A new approach for fuzzy topology (II), Fuzzy Sets and Systems,

47:2(1992)

1991年

M. S. Ying, Deduction theorem for many-valued inference,

Zeitschr. f. math. Logik und Grundlagen d. Math., 37:6(1991)

M. S. Ying, A new approach for fuzzy topology (I), Fuzzy Sets and Systems,

39:3(1991)

1990年

M. S. Ying, On probabilistic normed spaces under $\tau _{T,L},$ Int. J. Math.

Math. Sci., 13:4(1990)

M. S. Ying, On reasonableness of compositional rule of fuzzy inference, Fuzzy

Sets and Systems, 36:2(1990)

M. S. Ying, The alternativity measures of fuzzy sets, Fuzzy Sets and Systems,

37:1(1990)

1989年

M. S. Ying, On a class of non-causal triangle functions, Math. Proc. Cambridge

Phil. Soc., 106:4(1989)

M. S. Ying, On $\varepsilon -$fuzzy sets, Fuzzy Sets and Systems, 31:1(1989)

1988年

M. S. Ying, Some notes on multi-dimensional fuzzy reasoning, Cybern. Systems,

19:4(1988)

M. S. Ying, On standard models for fuzzy modal logic, Fuzzy Stes and Systems,

26:3(1988)

1987年

M. S. Ying, Fuzzy semilattices, Information Science, 43:3(1987)

M. S. Ying, A counter-example of Gottwald's theorem, Fuzzy Sets and Systems,

23:3(1987)

國內刊物論文(按時間排列):

2001年

M. S. Ying, Fuzzy topology based on residuated lattice-valued logic, Acta

Math. Sinica (English Edition)， 17:1(2001)

2000年

M. S. Ying, Declarative semantics of programming in residuated lattice-valued

logic, Science in China (E)， 30：5（2000）

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年

M. S. Ying, Phase semantics of non-commutative linear propositional logic, J.

Computer Sci. Technology, 14:2(1999)

M. S. Ying, Topology in process calculus (I): Limit behaviour of agents, J.

Computer Sci. Technology, 14:4(1999)

1998年

陸汝鈐, 應明生, 知識推理的一個模型，中國科學, 28：4（1998）

應明生，模糊邏輯中的緊性, 科學通報, 43：4（1998）

1997年

應明生, Gentzen型模糊推理, 系統科學與數學, 11:1(1997)

應明生, 關於Herbrand基上的語義映射, 計算機學報, 20:2(1997)

應明生, Institution中自由理論的合成，軟體學報, 8:8(1997)

1996年

應明生, 允許修改推理規則的開放邏輯, 科學通報, 41:12(1996)

應明生, Institution中合併理論的初始與終結語義，軟體學報, 7:6(1996)

1995年

M. S. Ying, Institutions of variable truth values: an approach in the ordered

style, J. Computer Sci. Technology ，10:3(1995)

M. S. Ying, Putting consistent theories together in institutions, J. Computer

Sci. Technology ，10:3(1995)

1994年

應明生, 不分明拓撲中的一種覆蓋式緊性，數學學報, 37:6(1994)

1993年

應明生, 概率度量空間中的不分明化拓撲結構, 數學年刊, 14A:6(1993)

1992年

應明生, 格值模型的超積基本定理的另一形式, 科學通報, 37:4(1992)

應明生, 近似匹配下的模糊推理, 科學通報, 37:13(1992)

應明生，模糊邏輯的再擴充, 計算機學報, 15:2(1992)

1991年

應明生, ΓT,L型概率賦范空間的線性拓撲性質, 數學進展, 20:3(1991)

1989年

應明生, 多值邏輯Lukasiewicz-Tarski系統的函數保核完備性, 計算機學報,

12:4(1989)

1988年

應明生，距離分佈函數的ΓT,L半群的共軛變換, 科學通報, 33:16(1988)

應明生, 環運算p值與ST邏輯函數的新展開式, 計算機學報, 11:11(1988)

第4屆中國青年科技獎（中國科學技術協會），1994

中青年有突出貢獻專家（人事部），1994

國家傑出青年科學基金（計算機科學與技術），1997

教育部跨世紀優秀人才培養計劃（應用數學），1997