• 正在加載中...
  • 應明生

    應明生,男,長江學者、中科院軟件所學術副所長。1964年5月出生,江西宜黃人。

    編輯摘要

    基本信息 編輯信息模塊

    中文名: 應明生 出生日期: 1964年5月
    性別: 出生地: 江西宜黃
    國籍: 中國 職業: 教育 長江學者、清華大學教授。 長江學者 中科院研究員
    畢業院校: 江西師范學院
    公车上被猛烈的进出

    目錄

    人物經歷/應明生 編輯

    應明生 應明生

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

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

    2016年11月,中科院軟件所研究員,學術副所長。 [1]

    研究方向/應明生 編輯

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

    主要貢獻/應明生 編輯

    專著

    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

    添加視頻 | 添加圖冊相關影像

    參考資料
    [1]^引用日期:2016-11-20
    擴展閱讀
    1應明生教授的教學評價:

    互動百科的詞條(含所附圖片)系由網友上傳,如果涉嫌侵權,請與客服聯系,我們將按照法律之相關規定及時進行處理。未經許可,禁止商業網站等復制、抓取本站內容;合理使用者,請注明來源于www.dtapes.com。

    登錄后使用互動百科的服務,將會得到個性化的提示和幫助,還有機會和專業認證智愿者溝通。

    互動百科用戶登錄注冊
    此詞條還可添加  信息模塊

    百科秀

    上傳TA的照片,讓詞條煥然一新

    上傳大圖背景

    WIKI熱度

    1. 編輯次數:21次 歷史版本
    2. 參與編輯人數:15
    3. 最近更新時間:2019-07-09 15:15:36

    貢獻光榮榜

    更多

    人物關系

    編輯

    相關詞條

    互動百科

    掃碼下載APP