應(yīng)明生, 1964年5月出生，清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系智能技術(shù)與系統(tǒng)國家重點(diǎn)實(shí)驗(yàn)室教
授、博士生導(dǎo)師、教育部"長江學(xué)者獎(jiǎng)勵(lì)計(jì)劃"特聘教授
通信地址：北京清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系智能技術(shù)與系統(tǒng)國家重點(diǎn)實(shí)驗(yàn)室（100084）
電話：62782266 Fax：62771138
email：yingmsh@tsinghua.edu.cn
學(xué)歷: 江西師范學(xué)院撫州分院數(shù)學(xué)科，1978年9月- 1981年7月
工作經(jīng)歷：
* 江西省宜黃縣中學(xué)，教師，1981年8月-1985年5月
* 撫州師范專科學(xué)校數(shù)學(xué)系，教師，講師（1987.9），1985年6月-1989年7月
* 江西師范大學(xué)數(shù)學(xué)系，講師，教授（1992.6）， 1989年8月-1996年11月
* 南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與工程系，教授，1996年12月-1998年1月
* 清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系智能技術(shù)與系統(tǒng)國家重點(diǎn)實(shí)驗(yàn)室，教授，1998年2月-現(xiàn)在
*
曾在法國巴黎第六(居里夫婦)大學(xué)，意大利Salerno大學(xué)、Napoli大學(xué)，德國慕尼黑大學(xué)、
Man
nheim大學(xué)，香港城市大學(xué)，芬蘭Turku計(jì)算機(jī)科學(xué)中心訪問研究
專著:
M. S. Ying, Topology in Process Calculus: Approximate Correctness and Infinite
Evolution of Concurrent Programs, Springer-Verlag, New York, February 2001
國際刊物論文(按時(shí)間排列):
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 Compu
ter
Science ，275:1-2(2002)
[2] M. S. Ying, Bisimulation indexes and their applications, Theoretical Compu
ter
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 inconclusi
ve
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 an
d an
lower bound for the success probability of umambiguous discrimination of quant
um
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 sufficien
t
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 calcul
i,
Theoretical Computer Science ，266:1(2001)
[2] S. Y. Zhang, Y. Feng, X. M. Sun and M. S. Ying, An upper bound for the suc
cess
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(199
4)
[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 lo
gic
(I), Fuzzy Sets and Systems, 56:3(1993)
[2] M. S. Ying, A new approach for fuzzy topology (III), Fuzzy Sets and System
s,
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 prod
uct
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. Ma
th.
Math. Sci., 13:4(1990)
[2] M. S. Ying, On reasonableness of compositional rule of fuzzy inference, Fu
zzy
Sets and Systems, 36:2(1990)
[3] M. S. Ying, The alternativity measures of fuzzy sets, Fuzzy Sets and Syste
ms,
37:1(1990)
1989年
[1] M. S. Ying, On a class of non-causal triangle functions, Math. Proc. Cambr
idge
Phil. Soc., 106:4(1989)
[2] M. S. Ying, On $\varepsilon -$fuzzy sets, Fuzzy Sets and Systems, 31:1(198
9)
1988年
[1] M. S. Ying, Some notes on multi-dimensional fuzzy reasoning, Cybern. Syste
ms,
19:4(1988)
[2] M. S. Ying, On standard models for fuzzy modal logic, Fuzzy Stes and Syste
ms,
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 System
s,
23:3(1987)
國內(nèi)刊物論文(按時(shí)間排列):
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-val
ued
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] 陸汝鈐, 應(yīng)明生, 知識(shí)推理的一個(gè)模型， 中國科學(xué), 28：4（1998）
[2] 應(yīng)明生, 模糊邏輯中的緊性, 科學(xué)通報(bào), 43：4（1998）
1997年
[1] 應(yīng)明生, Gentzen型模糊推理, 系統(tǒng)科學(xué)與數(shù)學(xué), 11:1(1997)
[2] 應(yīng)明生, 關(guān)于Herbrand基上的語義映射, 計(jì)算機(jī)學(xué)報(bào), 20:2(1997)
[3] 應(yīng)明生, Institution中自由理論的合成, 軟件學(xué)報(bào), 8:8(1997)
1996年
[1] 應(yīng)明生, 允許修改推理規(guī)則的開放邏輯, 科學(xué)通報(bào), 41:12(1996)
[2] 應(yīng)明生, Institution中合并理論的初始與終結(jié)語義, 軟件學(xué)報(bào), 7:6(1996)
1995年
[1] M. S. Ying, Institutions of variable truth values: an approach in the orde
red
style, J. Computer Sci. Technology ，10:3(1995)
[2] M. S. Ying, Putting consistent theories together in institutions, J. Compu
ter
Sci. Technology ，10:3(1995)
1994年
[1] 應(yīng)明生, 不分明拓?fù)渲械囊环N覆蓋式緊性, 數(shù)學(xué)學(xué)報(bào), 37:6(1994)
1993年
[1] 應(yīng)明生, 概率度量空間中的不分明化拓?fù)浣Y(jié)構(gòu), 數(shù)學(xué)年刊, 14A:6(1993)
1992年
[1]應(yīng)明生, 格值模型的超積基本定理的另一形式, 科學(xué)通報(bào), 37:4(1992)
[2] 應(yīng)明生, 近似匹配下的模糊推理, 科學(xué)通報(bào), 37:13(1992)
[3] 應(yīng)明生, 模糊邏輯的再擴(kuò)充, 計(jì)算機(jī)學(xué)報(bào), 15:2(1992)
1991年
[1] 應(yīng)明生, ΓT,L型概率賦范空間的線性拓?fù)湫再|(zhì), 數(shù)學(xué)進(jìn)展, 20:3(1991)
1989年
[1] 應(yīng)明生, 多值邏輯Lukasiewicz-Tarski系統(tǒng)的函數(shù)保核完備性, 計(jì)算機(jī)學(xué)報(bào),
12:4(1989)
1988年
[1] 應(yīng)明生,距離分布函數(shù)的ΓT,L半群的共軛變換, 科學(xué)通報(bào), 33:16(1988)
[2] 應(yīng)明生, 環(huán)運(yùn)算p值與ST邏輯函數(shù)的新展開式, 計(jì)算機(jī)學(xué)報(bào), 11:11(1988)
榮譽(yù)、獎(jiǎng)勵(lì)及參加學(xué)術(shù)團(tuán)體的情況：
第4屆中國青年科技獎(jiǎng)（中國科學(xué)技術(shù)協(xié)會(huì)），1994
中青年有突出貢獻(xiàn)專家（人事部），1994
國家杰出青年科學(xué)基金（計(jì)算機(jī)科學(xué)與技術(shù)），1997
教育部跨世紀(jì)優(yōu)秀人才培養(yǎng)計(jì)劃（應(yīng)用數(shù)學(xué)），1997
中國系統(tǒng)工程學(xué)會(huì)模糊系統(tǒng)與數(shù)學(xué)專業(yè)委員會(huì)主任
《Fuzzy Sets and Systems》編委
《Journal of Computer Science and Technology》編委
《自動(dòng)化學(xué)報(bào)》編委