删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

中国科学院软件研究所研究生导师简介-沈一栋

软件研究所 免费考研网/2013-11-28


队伍建设
百人计划
杰出青年
人才招聘
科技副职



二、目前主要研究方向及简介
研究方向:数据挖掘,形式化方法(招收数据挖掘,语义Web研究博士后)

主要研究数据挖掘(如Association,Classification,Clustering和RelationalDataMining),人工智能(如BayesianNetworks和SemanticWeb)以及逻辑程序设计的理论、方法、系统及应用。在软件形式化方面,探讨用逻辑程序理论进行模型验证。
三、学习经历
1991年获重庆大学计算机科学博士学位
1986年获重庆大学计算机科学硕士学位
1980年重庆大学计算机系专科毕业
四、工作经历
2002至今:中科院软件所计算机科学国家重点实验室研究员
1993-2002:重庆大学计算机系教授
1992-1993法国Valenciennes理工学院博士后
1995-1996美国Maryland大学高级计算机研究所访问学者
1998-2002加拿大Alberta大学和SimonFraser大学计算机系访问教授
1998年入选国家人事部百千万人才工程第一、二层次人选
1999年入选教育部跨世纪优秀人才培养计划

五、社会兼职
中国科学院研究生院兼职教授
六、研究成果与获奖情况
在人工智能、逻辑程序设计、数据挖掘等领域取得了有意义的研究结果,完成多项国家自然科学基金课题。与童頫教授合作的专著《知识工程》(科学出版社出版)获1996年电子工业部优秀教材一等奖,在国内外重要学术期刊和国际会议发表论文多篇。是在《ACMTransactionsonComputationalLogic》和《TheoryandPracticeofLogicProgramming》(新的国际逻辑程序设计协会会刊)上发表论文的第一位中国学者,是上述刊物以及《ACMTransactionsonProgrammingLanguagesandSystems》和《TheoreticalComputerScience》等刊物的审稿人。

七、代表论著
Shen,Y.D.(2008)ReasoningwithRecursiveLoopsunderthePLPFramework.ACMTransactionsonComputationalLogic9(4):27:1-31.

Du,J.F.andShen,Y.D.(2008)ComputingMinimumCostDiagnosestoRepairPopulatedDL-basedOntologies.TheSeventeenthInternationalWorldWideWebConference(WWW-08),Beijing,China,April2008.

Zhou,N.F.,Sato,T.andShen,Y.D.(2008)LinearTablingStrategiesandOptimizations.TheoryandPracticeofLogicProgramming8(1):81-109.

Sun,J.,Shen,Z.Y.,Li,H.,andShen,Y.D.(2008)ClusteringViaLocalRegression.TheEuropeanConferenceonMachineLearningandPrinciplesandPracticeofKnowledgeDiscoveryinDatabases(ECML/PKDD-08),Antwerp,Belgium,September2008.

Sun,J.,Zhao,W.B.,Xue,J.W.,Shen,Z.Y.,andShen,Y.D.(2008)ClusteringwithFeatureOrderPreferences.TheTenthPacificRimInternationalConferenceonArtificialIntelligence(PRICAI-08),Hanoi,Vietnam,December2008(BestStudentPaperRunner-UpAward).

Shen,Z.Y.,Sun,J.,andShen,Y.D.(2008)CollectiveLatentDirichletAllocation.TheEighthIEEEInternationalConferenceonDataMining(ICDM-08),Pisa,Italy,December2008.

Shen,Y.D.andYou,J.H.(2007)AGeneralizedGelfond-LifschitzTransformationforLogicProgramswithAbstractConstraints.TheTwenty-SecondAAAIConferenceonArtificialIntelligence(AAAI-07),Vancouver,Canada,July2007.

You,J.H.,Yuan,L.Y.,Liu,G.H.andShen,Y.D.(2007)LogicProgramswithAbstractConstraints:Representation,Disjunction,andComplexities.TheNinthInternationalConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR-07),Arizona,USA,May2007.

Shen,Y.D.andYang,Q.(2005)DerivingaStationaryDynamicBayesianNetworkfromaLogicProgramwithRecursiveLoops.TheFifteenthInternationalConferenceonInductiveLogicProgramming(ILP-05),Bonn,Germany,August2005.

Shen,Y.D.,You,J.H.andYuan,L.Y.(2004)EnhancingGlobalSLS-ResolutionwithLoopCuttingandTablingMechanisms.TheoreticalComputerScience328(3):271-287.

Shen,Y.D.,Shen,Z.Y.,Zhang,S.M.andYang,Q.(2004)ClusterCores-basedClusteringforHighDimensionalData.TheFourthIEEEInternationalConferenceonDataMining(ICDM-04),Brighton,UK,November2004.

Zhou,N.F.,Shen,Y.D.andSato,T.(2004)Semi-naiveEvaluationinLinearTabling.The6thACMSIGPLANInternationalConferenceonPrinciplesandPracticeofDeclarativeProgramming(PPDP-04),Verona,Italy,August2004.

Shen,Y.D.,You,J.H.,Yuan,L.Y.Shen,S.P.andYang,Q.(2003)ADynamicApproachtoCharacterizingTerminationofGeneralLogicPrograms.ACMTransactionsonComputationalLogic4(4):417-430.

Chan,R.,Yang,Q.andShen,Y.D.(2003)MiningHighUtilityItemsets.TheThirdIEEEInternationalConferenceonDataMining(ICDM-03),Florida,USA,November2003.

Shen,Y.D.,Yang,Q.andZhang,Z.,Objective-OrientedUtility-BasedAssociationMining.TheSecondIEEEInternationalConferenceonDataMining(ICDM-02),MaebashiCity,Japan,December,2002.

Shen,Y.D.,Yuan,L.Y.,You,J.H.,SLT-resolutionforthewellfoundedsemantics.JournalofAutomatedReasoning28:53-87(2002).

Shen,Y.D.,Yuan,L.Y.,You,J.H.,Loopchecksforlogicprogramswithfunctions.TheoreticalComputerScience266(1-2):441-461(2001).

Shen,Y.D.,Yuan,L.Y.,You,J.H.,Zhou,N.F.,LineartabulatedresolutionbasedonPrologcontrolstrategy.TheoryandPracticeofLogicProgramming1(1):71-103(2001).

Zhou,N.F.,Shen,Y.D.,Yuan,L.Y.,You,J.H.,Implementationoflinear-tablingmechanisms.JournalofFunctionalandLogicProgramming10:1-17(2001).

Shen,Y.D.,Yuan,L.Y.,You,J.H.,Zhou,N.F.,Lineartabulatedresolutionforthewellfoundedsemantics.Proc.ofthe5thInternationalConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR-99),TexasUSA,December1999.

Shen,Y.D.,Anextendedvariantofatomsloopcheckforpositivelogicprograms.NewGenerationComputing15:2(1997).

Shen,Y.D.,VerifyinglocalstratifiabilityoflogicprogramsanddatabasesII.NewGenerationComputing14:3(1996).

Shen,Y.D.,Verifyinglocalstratifiabilityoflogicprogramsanddatabases.NewGenerationComputing11:1(1992).

Shen,Y.D.,Disjunctivelogicandsemanticsofdisjunctivelogicprograms.ScienceinChinaSeriesE,40:1(1997).

Shen,Y.D.,AheuristicextensiontoReiter'sdiagnostictheory.ScienceinChinaSeriesE,40:5(1997).

Shen,Y.D.,Onthecompleteddatabasesemanticsfornegation.ScienceinChinaSeriesA,35:12(1992).

童頫,沈一栋,知识工程,《科学出版社》,1992。

八、承担项目

相关话题/软件

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 中国科学院软件研究所研究生导师简介-苏璞睿
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络与系统安全三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-张振峰
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要从事密码学理论与应用、安全协议的设计与分析等方面的研究工作。主持国家自然科学基金项目“高信度密码协议的设计与分析”、“密码协议的安全模型与可证明安全性研究”等项目,进行安全协议的设计与分析,密码系统安全模型的建立与可证明安全性研究 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-邓 勇
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介空间综合电子信息系统三、学习经历1996年国防科技大学电子学与信息系统工学学士;1999年国防科技大学信息与通信工程工学硕士;哈尔滨工业大学信息与通信工程博士生。四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-马恒太
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网与信息安全三、学习经历1991-1995武汉治金科技大学自动化系工学学士学位 计算机应用1995-1997武汉科技大学自动化系工学硕士学位 计算机应用1997-2001中国科学院软件研究所工学博士学位 计算机应用技术四、工作经 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-郑 刚
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网通信;网络信息安全;网络控制网络控制系统分析与设计;网络安全与信息安全;网络系统管理;混杂系统分析、控制和优化;故障诊断与容错控制;计算机仿真。与管理。三、学习经历2001.9——2004.7,中国科学院自动化研究所,控制理论 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-刘立祥
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络及其通信技术、网络计算技术三、学习经历2002/7毕业于上海交通大学,获得博士学位四、工作经历2003/2-2005/2中科院软件所博士后2005/3-至今中科院软件所综合信息系统国家重点实验室五、社会兼职六、研究成果与获奖情况主 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-张金芳
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介地形分析,大地形可视化,虚拟现实。三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著"地形可视性分析"系统仿真学报,2005.8八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-彭启民
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介综合信息处理与集成:(1)图像处理与理解,包括图像及视频的预处理、目标检测、目标识别等;(2)模式识别与机器学习,包括特征提取,分类器设计等;(3)信息融合,包括多源多层信息的融合处理算法设计及系统集成。三、学习经历北京理工大学计算机 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-徐帆江
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
    软件研究所 免费考研网 2013-11-28
  • 中国科学院软件研究所研究生导师简介-郑昌文
    队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介信息处理与集成、人工智能、计算机仿真三、学习经历2003.10-2005.5中国科学院软件研究所博士后1999.9-2003.9华中科技大学图像识别与人工智能研究所工学博士1996.9-1998.10华中理工大学经济学院经济学硕士19 ...
    软件研究所 免费考研网 2013-11-28