新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] 中文XML论坛 - 专业的XML技术讨论区计算机理论与工程『 理论计算机科学 』 → 国内理论计算机科学学者介绍(1):应明生 (zz) 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 17668 个阅读者浏览上一篇主题  刷新本主题   平板显示贴子 浏览下一篇主题
     * 贴子主题: 国内理论计算机科学学者介绍(1):应明生 (zz) 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     Logician 帅哥哟,离线,有人找我吗?天蝎座1984-10-28
      
      
      威望:9
      头衔:逻辑爱好者
      等级:研三(收到IBM CRL的Offer了)(版主)
      文章:1219
      积分:10357
      门派:IEEE.ORG.CN
      注册:2005/3/12

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 理论计算机科学 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客楼主
    发贴心情 国内理论计算机科学学者介绍(1):应明生 (zz)


    应明生, 1964年5月出生,清华大学计算机科学与技术系智能技术与系统国家重点实验室教授、博士生导师、教育部"长江学者奖励计划"特聘教授
    通信地址:北京清华大学计算机科学与技术系智能技术与系统国家重点实验室(100084)
    电话:62782266 Fax:62771138
    Email:yingmsh@tsinghua.edu.cn
    学历: 江西师范学院抚州分院数学科,1978年9月- 1981年7月

    工作经历:
    * 江西省宜黄县中学,教师,1981年8月-1985年5月
    * 抚州师范专科学校数学系,教师,讲师(1987.9),1985年6月-1989年7月
    * 江西师范大学数学系,讲师,教授(1992.6), 1989年8月-1996年11月
    * 南京航空航天大学计算机科学与工程系,教授,1996年12月-1998年1月
    * 清华大学计算机科学与技术系智能技术与系统国家重点实验室,教授,1998年2月-现在
    * 曾在法国巴黎第六(居里夫妇)大学,意大利Salerno大学、Napoli大学,德国慕尼黑大学、Mannheim大学,香港城市大学,芬兰Turku计算机科学中心访问研究

    专著:
    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)
    [4] 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-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] 陆汝钤, 应明生, 知识推理的一个模型, 中国科学, 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》编委
    《自动化学报》编委


       收藏   分享  
    顶(0)
      




    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/5/25 23:40:00
     
     GoogleAdSense天蝎座1984-10-28
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 理论计算机科学 』的所有贴子 点击这里发送电邮给Google AdSense  访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/3/28 8:38:04

    本主题贴数5,分页: [1]

     *树形目录 (最近20个回帖) 顶端 
    主题:  国内理论计算机科学学者介绍(1):应明生 (zz)(9087字) - Logician,2006年5月25日
        回复:  应老师是牛人DING..(20字) - rayren,2008年8月29日
        回复:  数学学好真有用啊(16字) - telejax,2006年12月22日
        回复:  应老师的主要成就在三方面:1,形式语义学,特别是进程演算方面,并在国际上发表了专著《Topolo..(532字) - accueil,2006年11月21日
        回复:  顶顶!!!!!!!!!!!!!!!!!!!!!!!(29字) - guangye1358,2006年5月27日

    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    93.750ms