网络分布式软件理论与构造方法

网络分布式软件的互操作理论与技术

网络分布式软件系统运行机理和关键技术

   

081202-计算机软件与理论
083500-软件工程

网络分布计算与软件工程
分布式软件工程

1991-09--1994-06   中国科技大学   博士学位
1988-09--1991-07   中国科技大学   硕士学位
1983-09--1988-07   中国科技大学   学士学位

-- 研究生

-- 博士

   

1994-07~现在, 中国科学院软件研究所, 副所长

   

   

（1） 网络软件基础架构平台（网驰Once）技术和系统, 二等奖, 国家级, 2011
（2） 北京市科技进步奖, 一等奖, 省级, 2009
（3） 网络分布技术支撑平台及石化应用, 二等奖, 国家级, 2002
（4） 制造业 CIMS集成平台, 二等奖, 院级, 2001

（ 1 ） 一种基于有状态方面的BPEL流程运行时监控方法, 发明, 2011, 第 2 作者, 专利号: ZL200810118878.X
（ 2 ） 一种面向应用服务器的资源敏感性能优化方法及其系统, 发明, 2011, 第 2 作者, 专利号: ZL200810119278.5
（ 3 ） 一种ETL流程中异常数据检测方法, 发明, 2010, 第 4 作者, 专利号: ZL200910081511.X
（ 4 ） Web应用部署约束自动检测方法, 发明, 2012, 第 3 作者, 专利号: ZL201010289364.8
（ 5 ） 一种基于分布式适配的服务协作方法及其系统, 发明, 2011, 第 3 作者, 专利号: ZL200910084880.4
（ 6 ） 一种基于中间件的组件系统性能预测方法和系统, 发明, 2012, 第 5 作者, 专利号: ZL200810223047.9

   

（1） 一种基于遗传算法的虚拟机镜像自适应备份策略, 计算机学报, 2016, 第 4 作者
（2） 一种高效的基于服务功能规约的服务选择方法, 软件学报, 2015, 第 4 作者
（3） Aggregate Estimation in Hidden Databases with Checkbox Interfaces, IEEE Transactions on Knowledge and Data Engineering, 2015, 第 4 作者
（4） VMon:Monitoring and Quantifying Virtual Machine Interference via Hardware Performance, International Computer Software and Applications Conference, 2015, 通讯作者
（5） Runtime Enforcement of Data-centric Properties for Concurrent, The 22th International Conference on Web Services(ICWS14) , 2014, 第 4 作者
（6） Inferring Data Contract for Web-based API, The 22th International Conference on Web Services(ICWS14), 2014, 第 4 作者
（7） A lightweight virtual machine image deduplication backup approach in cloud environment , IEEE 38th Annual International Computers, Software and Applications Conference (COMPSAC 2014), 2014, 通讯作者
（8） 一种基于虚拟化技术的程序执行过程重放方法,  Journal of Frontiers of Computer Science and Technology, 2014, 通讯作者
（9） 基于日志挖掘的移动应用用户访问模型建模技术研究, 计算机科学, 2014, 通讯作者
（10） 一种基于隐马尔可夫模型的虚拟机失效恢复方法, 软件学报, 2014, 通讯作者
（11） 云计算环境下分布式缓存技术的现状与挑战 , 软件学报, 2013, 通讯作者
（12） 一种收益敏感的虚拟资源按需提供方法 , 软件学报, 2013, 通讯作者
（13） 面向多租户Web应用的性能隔离方法, 中国科学, 2013, 第 2 作者
（14） Detecting performance anomaly with correlation analysis for Internetnetware , science china information sciences, 2013, 通讯作者
（15） PRESC2: efficient self-reconfiguration of cache strategies for elastic caching platforms, Computing Journal, Springer, 2013, 通讯作者
（16） Workload-Aware Anomaly Detection for Web Applications, Journal of Systems and Software, 2013, 通讯作者
（17） VM image update notification mechanism based on pub/sub paradigm in cloud , Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013, 通讯作者
（18）  Profit-aware Virtual Machine Deployment Optimization Framework for Cloud Platform Providers, 2012 IEEE Fifth International Conference on Cloud Computing, 2012, 第 4 作者
（19） VMFDF: A Virtualization-based Multi-Level Fault Detection Framework for High Availability Computing, 2012 Ninth IEEE International conference on e-Business Engineering, 2012, 第 4 作者
（20） A Two-level Virtual Machine Self-reconfiguration Mechanism for the Cloud, 2012 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing , 2012, 第 4 作者
（21） Towards a Cost-Aware Data Migration Approach for Key-Value Stores, 2012 IEEE International Conference on Cluster Computing, 2012, 通讯作者
（22） Optimizing Data Migration for Cloud-based, 21st ACM International Conference on Information and Knowledge Management, 2012, 通讯作者
（23） W4H: 一个面向软件部署的技术分析框架, 软件学报, 2012, 第 3 作者
（24） 一种面向性能剖析的Web应用自动性能建模方法, 软件学报, 2012, 通讯作者
（25） A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms, QSIC 2011, 2011, 通讯作者
（26） An Adaptive Performance Modeling Approach to Performance Profiling of Multi-Service Web Applications, COMPSAC2011, 2011, 通讯作者
（27） High Performance Approach for Server Side SOAP Processing, International Journal of Web Services Research, 2009, 第 4 作者
（28） Runtime Monitoring Composite Web Services through Stateful Aspect Extension, Journal of Computer Science and Technology, 2009, 第 1 作者
（29） Efficient Approach for Web Services Selection with Multi-QoS Constraints, International Journal of Cooperative Information System (IJCIS), 2008, 第 1 作者
（30） An Ontology-Based Approach for Semantic Conflict Resolution in Database Integration, Journal of Computer Science and Technology, 2007, 第 2 作者
（31） An Application Semantics Based Relaxed Transaction Model for Internetware, Science in China (Series F - Information Sciences), 2006, 第 1 作者

（ 1 ） 网络分布计算和软件工程, Internet Computing, 科学出版社, 2011-05, 第 2 作者

   

   

已指导学生

张文博  01  19261  

张勇  01  19261  

郭祥丰  01  19261  

陈宁江   01  19261  

殷晓岚  01  19261  

刘国梁  01  19261  

余兴亮  01  19261  

乔晓强  01  19261  

刘强  01  19261  

马建刚  01  19261  

李洋  01  19261  

顾彬  02  19261  

崔晓玲  02  19261  

李东兵  02  19261  

王帅  02  19261  

周瑾  02  19261  

花磊  02  19261  

王欣明  02  19261  

曹冬磊  01  19261  

刘丽  02  19261  

陈从武  02  19261  

李玉明  02  19261  

林晨  01  19261  

王伟  01  19261  

李辉  02  19261  

陈伟  01  19261  

黄翔  01  19261  

段智全  02  19261  

白琳  01  19261  

秦秀磊  01  19261  

周晓炜  02  19261  

陈三川  02  19261  

吴恒  01  19261  

张建华  01  19261  

田斐  02  19261  

吴雨龙  02  19261  

罗涛  02  19261  

徐继伟  01  19261  

王彦士  02  19261  

高嘉泽  02  19261  

王卅  01  19261  

袁鑫晨  02  67136  

任凯  02  67136  

现指导学生

王帅  01  19261  

唐震  01  19261  

朱锋  01  19261  

佘艺  02  19261  

徐良  01  67136  

曹羽中  01  68377  

孙晓晨  02  67136  

陆志刚  01  67136  

花磊  01  68377  

       1994年获中国科学技术大学计算机软件专业博士学位。1992~1993年作为合培博士工作于奥地利应用知识处理研究所。现为中国科学院软件研究所研究员，博士生导师，享受政府特殊津贴，新世纪百千万人才工程国家级人选，中科院软件所学位委员会主席、学术委员会委员。兼任国家“核高基”重大科技专项实施专家组成员、“十二五”国家863计划制造服务技术主题专家组成员、工信部电子科学技术委员会委员、全国信息技术标准化技术委员会委员、中国计算机学会系统软件专委会委员、中国科学院研究生院计算机科学与控制工程学位委员会副主席、国际开源中间件技术联盟OW2战略成员和技术指导委员会成员、第一届创业板专家咨询委员会委员、《软件学报》执行编委、《计算机研究与发展》、《计算机集成制造系统》等期刊编委等职。
        作为负责人或技术负责人先后承担多项国家973基础研究计划项目、国家自然科学基金重大、重点项目、国家863高技术计划重大、重点项目，以及国际合作科研课题。在网络分布式软件理论与构造方法、网络分布式软件的互操作理论与技术、以及网络分布式软件系统运行机理和关键技术等方面开展了系统深入的研究。出版学术著作1部，在国内外著名学术期刊和会议上发表论文100多篇，他引近350次（单篇论文最高他引56次），技术发明专利授权12项，获国家科技进步二等奖2次，中国科学院科技进步一等奖1次，北京市科技进步一等奖1次，中国高校科学技术二等奖1次，中创软件人才奖。