姓名：应明生
职称：教授
邮件：yingmsh@tsinghua.edu.cn
教育背景大学专科(数学),江西师范学院抚州分院,中国,1981.
社会兼职ArtificialIntelligenceJournal:编委(2008-).
研究领域量子计算
程序设计语言的语义学,人工智能中的逻辑
研究概况1.进程代数中的拓扑：进程代数是并发系统最成功的模型之一，其中的一个核心概念是互模拟，但它不能描述并发系统的近似行为。为了解决这个问题，我提出了进程代数中的一种拓扑理论，用于描述并发系统的近似正确性与进化过程。
2.量子程序的Floyd-Hoare逻辑：Floyd-Hoare逻辑是经典程序公理语义学与程序正确性验证的基础。作为未来量子计算机程序设计方法学的逻辑基础，我最近为量子程序建立了包括部分正确性与完全正确性的Floyd-Hoare型逻辑，特别是证明了其（相对）完备性，其证明与经典情形不同，需要引入新的技巧，特别是分析数学的工具。
奖励与荣誉国家自然科学二等奖——非经典计算的形式化模型与逻辑基础(2008);
教育部自然科学一等奖——面向复杂特征的形式化方法及其逻辑基础(2004);
中国青年科技奖(1994).
学术成果[1]M.S.Ying,Quantumcomputation,quantumtheoryandAI(InvitedFieldReview),ArtificialIntelligence,174(2010)162-176.
[2]H.ZhangandM.S.Ying,Decidablefragmentsoffirst-orderlanguageunderstablemodelsemanticsandcircumscription,Proc.ofthe24thAAAIConferenceonArtificialIntelligence(AAAI-10),2010.
[3]W.M.Liu,X.T.Zhang,S.J.LiandM.S.Ying,Reasoningaboutcardinaldirectionsbetweenextendedobjects,ArtificialIntelligence,(InPress,Availableonline15June2010).
[4]M.S.Ying,R.Y.Duan,Y.FengandZ.F.Ji,Predicatetransformersemanticsofquantumprograms(InvitedChapter),inS.GayandI.Mackie(eds.),SemanticTechniquesinQuantumComputation,CambridgeUniversityPress,2010,Cambridge,pp.311-360.
[5]M.S.YingandY.Feng,Analgebraiclanguagefordistributedquantumcomputing,IEEETransactionsonComputers,58(2009)728-743.
[6]M.S.Ying,Y.Feng,R.Y.DuanandZ.F.Ji,Analgebraofquantumprocesses,ACMTransactionsonComputationalLogic,10(2009)art.no.19.
[7]R.Y.Duan,Y.Feng,X.YuandM.S.Ying,Distinguishabilityofquantumstatesbyseparableoperations,IEEETransactionsonInformationTheory,55(2009)1320-1330.
[8]R.Y.Duan,Y.FengandM.S.Ying,Perfectdistinguishabilityofquantumoperations,PhysicalReviewLetters,103(2009)art.no.210501.
[9]Z.F.Ji,G.M.Wang,R.Y.Duan,Y.FengandM.S.Ying,Parameterestimationofquantumchannels,IEEETransactionsonInformationTheory,54(2008)5172-5185.
[10]R.Y.Duan,Y.FengandM.S.Ying,Localdistinguishabilityofmultipartiteunitaryoperations,PhysicalReviewLetters,100(2008)art.No.020503.
[11]S.J.LiandM.S.Ying,Softconstraintabstractionbasedonsemiringhomomorphism,TheoreticalComputerScience,403(2008)192-201.
[12]X.T.Zhang,W.M.Liu,S.J.LiandM.S.Ying,Reasoningwithcardinaldirections:Anefficientalgorithm,in:Proc.ofthe23rdAAAIConferenceonArtificialIntelligence(AAAI-08),2008,pp.387-392.
[13]M.S.Ying,Quantumlogicandautomatatheory(InvitedChapter),in:D.Gabbay,D.LehmannandK.Engesser(eds),HandbookofQuantumLogicandQuantumStructures,Elsevier,2007,Amsterdam,pp.619-754.
[14]Y.Feng,R.Y.Duan,Z.F.JiandM.S.Ying,Proofrulesforcorrectnessofquantumprograms,TheoreticalComputerScience,386(2007)151-166.
[15]Y.Feng,R.Y.Duan,Z.F.JiandM.S.Ying,Probabilisticbisimulationsforquantumprocesses,InformationandComputation,104(2007)152-158.
[16]R.Y.Duan,Y.FengandM.S.Ying,Entanglementisnotnecessaryforperfectdiscriminationbetweenunitaryoperations,PhysicalReviewLetters,98(10)(2007),art.No.100503.
[17]L.R.Xia,J.LangandM.S.Ying,Stronglydecomposablevotingrulesonmulti-attributedomains,in:Proceedings,22ndNationalConferenceonArtificialIntelligence(AAAI'07).
[18]M.S.Ying,LinguisticquantifiersmodeledbySugenointegrals,ArtificialIntelligence,170(6-7)(2006),581-606.
[19]Z.F.Ji,Y.Feng,R.Y.DuanandM.S.Ying,Identificationanddistancemeasuresofmeasurementapparatus,PhysicalReviewLetters,96(20)(2006),art.No.200401.
[20]R.Y.Duan,Y.FengandM.S.Ying,Partialrecoveryofquantumentanglement,IEEETransactionsonInformationTheory,52(7)(2006),3080-3104.
[21]Y.Z.CaoandM.S.Ying,Similarity-basedsupervisorycontrolofdiscrete-eventsystems,IEEETransactionsonAutomaticControl,51(2)(2006),325-330.
[22]M.S.Ying,Atheoryofcomputationbasedonquantumlogic(I),TheoreticalComputerScience,344(2-3)(2005)134-207.
[23]M.S.Ying,Pi-calculuswithnoisychannels,ActaInformatica,41(9)(2005),525-593.
[24]M.S.Ying,Knowledgetransformationandfusionforsystemdiagnosis,ArtificialIntelligence,163(1)(2005)1-45.
[25]Y.Feng,R.Y.DuanandM.S.Ying,Catalyst-assistedprobabilisticentanglementtransformations,IEEETransactionsonInformationTheory,51(3)(2005),1090-1101.
[26]X.M.Sun,R.Y.Duan,andM.S.Ying,Theexistenceofquantumentanglementcatalysts,IEEETransactionsonInformationTheory,51(1)(2005),75-80.
[27]S.J.LiandM.S.Ying,Generalizedregioncalculus,ArtificialIntelligence,160(1-2)(2004),1-34.
[28]D.W.QiuandM.S.Ying,Characterizationofquantumautomata,TheoreticalComputerScience,312(2-3)(2004)479-489.
[29]M.S.Ying,Reasoningaboutprobabilisticsequentialprogramsinaprobabilisticlogic,ActaInformatica,39(5)(2003),318-389.
[30]S.J.LiandM.S.Ying,Regionconnectioncalculus:itsmodelsandcompositiontable,ArtificialIntelligence,145(1-2)(2003),121-146.
[31]M.S.Ying,Bisimulationindexesandtheirapplications,TheoreticalComputerScience,275(1-2)(2002),1-68.
[32]M.S.Ying,Additivemodelsforprobabilisticprocesses,TheoreticalComputerScience,275(1-2)(2002),481-519.
[33]M.S.YingandH.Q.Wang,Alattice-theoreticalmodelofconsequences,conjecturesandhypotheses,ArtificialIntelligence,139(2)(2002),253-267.
[34]M.S.Ying,TopologyinProcessCalculus:ApproximateCorrectnessandInfiniteEvolutionofConcurrentPrograms(ResearchMonograph),Springer-Verlag,NewYork,February2001.
[35]M.S.Ying,M.Wirsing,Recursiveequationsinhigher-orderprocesscalculi,TheoreticalComputerScience,266(1-2)(2001),389-352.
[36]M.S.Ying,Weakconfluenceand-inertness,TheoreticalComputerScience,238(1-2)(2000),465-475.
[37]L.Biacino,G.GerlaandM.S.Ying,Approximatereasoningbasedonsimilarity,MathematicalLogicQuarterly,46(1)(2000),77-86.
[38]M.S.Ying,Ashorterprooftouniquenessofsolutionsofequations,TheoreticalComputerScience,216(1-2)(1999),395-397.
[39]M.S.Ying,Whenistheidealcompletionofabstractbasisalgebraic,TheoreticalComputerScience,159(2)(1996),355-356.
[40]M.S.Ying,Alogicforapproximatereasoning,TheJournalofSymbolicLogic,59(3)(1994),830-837.
[41]M.S.Ying,ThefundamentaltheoremofultraproductinPavelka'slogic,Zeitschr.f.math.LogikundGrundlagend.Math.,38(3)(1992),197-201.
[42]M.S.Ying,Compactness,theLowenheim-Skolempropertyandthedirectproductoflatticesoftruthvalues,Zeitschr.f.math.LogikundGrundlagend.Math.,38(5-6)(1992),521-524.
[43]M.S.Ying,Deductiontheoremformany-valuedinference,Zeitschr.f.math.LogikundGrundlagend.Math.,37(6)(1991),533-537.
[44]M.S.Ying,Onaclassofnon-causaltrianglefunctions,MathematicalProceedingsofCambridgePhilosophicalSociety,106(3)(1989),467-469.