王跃宣教授


清华大学理论计算机科学研究中心 副主任

	地址: 中国北京市清华大学理论计算机科学研究中心，邮编：100084
	办公室: 信息科学技术大楼（FIT楼）1区203房间
	电话: 86-10-62789157
	传真: 86-010-62790206
	电子邮件: wangyuexuan@tsinghua.edu.cn

教育背景
工作经历
科研方向
科研项目
博士后
学生
课程
获奖情况
会议委员
学术活动
论文发表

教育背景

	2003年　浙江大学, 控制理论与工程专业博士

工作经历

2009年12月至今	清华大学理论计算机科学研究中心副主任、教授
2006年6月至2009年12月	清华大学理论计算机科学研究中心副主任、副教授
2009年1月至2009年3月	美国德州达拉斯大学，访问教授
2007年6月至2007年9月	美国阿贡国家实验室，访问学者
2007年1月至2007年3月	香港中文大学，访问学者
2006年2月至2006年6月	清华大学自动化系，助理教授
2003年4月至2006年2月	清华大学自动化系，博士后

研究方向

无线传感器网络,网格计算

科研项目

	项目名称	时间	职务
11	量子网络平台20年计划,中国工程科技中长期发展战略研究 (项目编号: No. U0970121)	2009年11月至 2010年7月	项目负责人
10	安全计算学重大理论问题研究，国家重点基础研究发展计划 (973 项目) (项目编号: No. 2007 CB 807900)	2007年5月至2012年8月	主要成员
9	农业生物－环境信息获取无线传感器网络技术研究，中国高技术研究发展计划 (863 项目)，(项目编号: No.2006AA10Z216)	2006年12月至2010年10月	项目负责人
8	面向可溯源的设备网格服务链模型推理和验证研究，国家自然科学基金项目，(项目编号: No. 60604033)	2007年1月至2009年12月	项目负责人
7	面向设备资源共享的仿真网格技术平台研究 (No. 2003024155)，中国博士后科学基金	2003年11月至2006年2月	项目负责人
6	贵重仪器设备网上共享与管理分系统（“十五” 211 CERS-06），教育部、“十五” 211项目	2003年4月至2006年2月	项目负责人
5	基于Pi演算和模型验证技术的设备网格服务链可靠性研究（ZR20060701）,西安交通大学开放研究基金	2007年1月至2008年12月	项目负责人
4	APC-iSensor 软测量软件，浙江中控软件有限公司项目	2002年2月至2002年9月	项目负责人
3	APC-iHiecon先进控制软件，浙江中控软件有限公司项目	2001年3月至2002年3月	项目负责人
2	工业过程模型辨识工程软件，杭州先达自动化有限公司	2000年2月至2000年9月	项目负责人
1	《基于人工神经网络的智能气体分析仪技术》（编号：971101176），浙江省科委重点科研计划项目	1997 年10月至1999年3月	主要成员

博士后

王永才

学生

在读硕士:

即将入学硕士:

已毕业博士:

殷杰

课程

1. Mathematics for Computer Science, Freshman, Spring Semester
Instructors: Andrew Yao, Yuexuan Wang

This course aims to introduce the fundamental mathematical techniques useful for computer science undergraduate majors, illustrated with a rich spectrum of applications. Modern computer science education requires the students to be equipped with broad knowledge in mathematics, so that they could cope with current and future technological challenges handily and innovatively. In this course, mathematical techniques from algebra, geometry, probability theory, stochastic modeling, and information theory will be covered. These techniques will be applied to algorithmic and design problems in various topics, including internet, cryptography, distributed systems, wireless sensor network, optimization, etc. Finally, this course introduces the students to deep scientific issues in the foundation of computing such as undecidability, complexity, and quantum computers.

2. Foundations of Programming, Sophomore, Fall Semester
Instructors: Yuexuan Wang

This course assumes that the students have the basic knowledge of programming languages (e.g. functions, loops, and arrays, etc.). Topics to be covered include an overview of fundamental programming concepts in C/C++ (e.g. procedural programming and object-oriented programming), data structures (e.g. linked lists, stacks, queues, and trees), common algorithms that related to those data structures, and an introduction of programming patterns (e.g. reference count, virtual constructor).

获奖情况

2004年

清华大学国家CIMS工程技术研究中心, 博士后科研奖

会议委员

The 4th International Conference on Combinatorial Optimization and Applications (COCOA 2010), Program Committee Member, The Big Island, Hawaii, USA , December 18-20, 2010.
2010 APSIPA Annual Summit and Conference (APSIPA ASC 2010), Technical Program Committee, Biopolis, Singapore, December 15-17, 2010.
International Conference on Wireless Algorithms, Systems, and Applications(WASA 2010), Technical Program Committee (TPC), Beijing, China, August 15-17, 2010.
ITCS mini-workshop on Property Testing, Organizer Chair, Beijing, China, January 8-10, 2010.
Innovations in Computer Science (ICS), Organizer Chair, Beijing, China, January 5-7, 2010.
2009 IEEE Asia-Pacific Services Computing Conference (IEEE APSCC 2009), Technical Program Committee (TPC), Biopolis, Singapore, December 7-11, 2009.
The Symposium China Computer Science Vision 2020, Program Chair, Beijing, China, October 12-15, 2009.
2009 APSIPA Annual Summit and Conference (APSIPA ASC 2009), Ubiquitous and mobile computing TPC Member, Sapporo Convention Center, Sapporo, Japan, October 4-7, 2009.
China Theory Week 2009 ,Program Chair, Beijing, China, September 20-25, 2009.
The International Conference on Wireless Algorithms, Systems and Applications (WASA'09), Boston, MA, USA, August 16-18, 2009.
7th Intl. Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOpt'09), Seoul, Korea, June 23-27, 2009.
The 4th International Conference on Mobile Ad-hoc and Sensor Networks (MSN'08), Lake View Hotel, Wuhan, China, Dec 10-12, 2008.
The First China Symposium on Theoretical Computer Science,Program Chair, Beijing, China, October 12-17, 2008.
China Theory Week 2008 ,Program Chair, Beijing, China, September 21-27, 2008.
The 9th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc'08), Hong Kong, May 26-30, 2008.
China Theory Week 2007 ,Program Chair, Beijing, China, September 17-21, 2007.
PKC07, Program Committee (TPC), Beijing, China, April 16-20, 2007.

科研活动

	2006年12月4日至12月8日	The Croucher Foundation Advanced Study Institute Wireless Sensor Networks, City University of Hongkong
	2006年5月1日至5月7日	GPC2006, Taiwan
	2006年5月29日至6月1日	Infoscale2006, Hongkong
	2005	IFIP International Conference on Network and Parallel Computing (NPC 2005). Session Chair
	2005	Study on π-Calculus Based Equipment Grid Service Chain Model. Paper presentation. IFIP International Conference on Network and Parallel Computing (NPC 2005)
	2005年10月14日至10月16日	Conference organizing committee member, The 3^rd International Symposium on Intelligent Information Technology in Agriculture, Beijing, China
	2005年9月17日	Grid and its agriculture application Vision (Invited Talk),The People of Great Hall,Centenary Celebration of China Agriculture University& International Agriculture Forum
	2005年8月	The Grid:Today &Tomorrow (Seminar). The Chinese University of Hongkong
	2005年6月	Global Grid Forum GGF13, Chicago, USA
	2005年4月	Equipment Grid Architecture and Security (Keynote),Grid World China 2005, Beijing
	2005年3月	Equipment Grid (Seminar), HPC Research Center, University of Seoul, Korea
	2005年3月	Global Grid Forum GGF13,Seoul, Korea
	2005年5月	From Application to Grid, Tsinghua University, Beijing
	2005年4月	Grid and Its application in Transportation Service. Tsinghua University. Beijing.
	2005年4月	Agriculture Grid, Handan City Hebei Province
	2005年1月1日至2月5日	UML Design & Grid (Tutorial), Military Grid Center, PLA University of Science and Technology
	2004年12月	Grid Today and Tomorrow. Tsinghua University Postdoctoral Forum,Beijing
	2004年10月	Grid Today and Tomorrow. Hangzhou Dianzi University, Hangzhou,
	2004年	Research on Equipment Resource Scheduling in Grids, 3^rd International conference on Grid and Cooperative Computing, October, 2004, Wuhan , China
	2004年6月	Grid and its application in Resource Sharing,Tsinghua University Postdoctoral Forum

论文发表

43	Yuexuan Wang, Meizhi Hu and Jie Yin, A Scheduling Method for Service Chain in Equipment Grid, Information Systems Frontiers (ISF), 2010
42	Yuexuan Wang, Meizhi Hu and Jie Yin, PA predictive admission control algorithm for user advance reservation in equipment grid, Business Process Integration and Management(IJBPIM), 2010
41	Yuexuan Wang, Yongcai Wang, Xiao Qi, Liwen Xu. Open Architecture Precision Agriculture Information Monitoring System, CASES’09, October 11–16, 2009
40	Weiwei Lang, Yuexuan Wang, James Yu, Suogang Gao, Weili Wu. ERROR-TOLERANT TRIVIAL TWO-STAGE GROUP TESTING FOR COMPLEXES USING ALMOST SEPARABLE AND ALMOST DISJUNCT MATRICES,Discrete Mathematics, Algorithms and Applications, 12 February 2009
39	Yuexuan Wang, Yin Jie, Meizhi Hu. A Scheduling Method for Service Chain in Equipment Grid, SERVICES-I 2009, Los Angeles, July 6-10,2009
38	Feng Zou; Yuexuan Wang; Xiao-Hua Xu; Xianyue Li; Hongwei Du; Pengjun Wan;Weili Wu. New Approximations for Minimum-Weighted Dominating Set and Minimum-Weighted Connected Dominating Set on Unit Disk Graphs. Theoretical Computer Science.2009
37	Deying Li; Yuexuan Wang; Qinghua Zhu; Huiqiang Yang. Fault-tolerant routing: k-inconnected Many-to-One Routing in Wireless Networks. Theoretical Computer Science.2009
36	Qiang-Sheng Hua, Yuexuan Wang, Dongxiao Yu, Francis C.M. Lau. Set Multi-Covering via Inclusion-Exclusion, Theoretical Computer Science, 2009
35	Hardness of k-Vertex Connected Subgraph Augmentation Problem. Changcun Ma, Donghyun Kim, Yuexuan Wang, Wei Wang, Nassim Sohaee and Weili Wu. Journal of Combinatorial Optimization (JOCO), 2009
34	Constructing error-correcting pooling designs with symplectic space, Jun Guo, YuexuanWang, Suogang Gao, Jiangchen Yu, WeiliWu. Journal of Combinatorial Optimization (JOCO), 2009
33	ANALYSIS ON THEORETICAL BOUNDS FOR APPROXIMATING DOMINATING SET PROBLEMS, Xiaofeng Gao, Yuexuan Wang, Xianyue Li, Weili Wu. Discrete Mathematics, Algorithms and Applications, 2009
32	Application of provenance service in equipment grid, Jie Yin, Yuexuan Wang, Cheng Wu, Journal of Tsinghua University (Science and Technology) , Vol.48, No.7, 1225-1228, 2008, EI:20083111424547
31	Predictive Admission Control Algorithm for Advance Reservation in Equipment Grid, Jie Yin, Yuexuan Wang, Cheng Wu, 2008 International Conference on Services Computing (SCC2008), pp.49-56, July 7-11, 2008, Hawaii, USA, EI:20083811577449
30	An approach to build accessible grid service,Jie Yin, Yuexuan Wang, Cheng Wu, SNPD 2007, pp.423-428, July 30- August 1, TsingDao, China, EI:20074110862583
29	A fuzzy scheduling method in equipment grid,Jie Yin, Yuexuan Wang, Cheng Wu, ICMCL 2007, pp.3099-3103 , August 19-22, 2007, EI:20080311030855
28	Scheduling Remote Access to Scientific Instruments in Cyberinfrastructure for Education and Research, Jie Yin, Junwei Cao, Yuexuan Wang etc, The 7th IEEE Symposium on Cluster Computing and the Grid (CCGrid 2007), pp.426-433, May 14-17, 2007, Rio de Janeiro, Brazil, EI:073610801023
27	Ensuring Secure and Robust Grid Applications-From a Formal Method Point of View. GPC2006, LNCS3947, pp. 537-546, 2006, Tanwan. Xu Ke, Wang YueXuan, Wu Cheng. SCI:BEK24, EI:20062910004752
26	Service Provenance based Abstraction of Grid Application Knowledge，Ke Xu, Yuexuan Wang, and Cheng Wu. The 2nd International Conference on Semantics, Knowledge and Grid (SKG2006), November 1-3, 2006, Guilin, China, EI:20082511322559
25	Aspect Oriented Region Analysis for Efficient Equipment Grid Application Reasoning. Ke Xu, Yuexuan Wang, and Cheng Wu. The 5th International Conference on Grid and Cooperative Computing (GCC2006), pp. 28-31, October. 21- 23, 2006, Changsha, Hunan, China, EI:20080611078398
24	Study on π-Calculus Based Equipment Grid Service Chain Model. Yuexuan Wang, Cheng Wu. IFIP International Conference on Network and Parallel Computing (NPC 2005). LNCS 3779, pp.40-47, 2005, Beijing. SCI: BDQ15, EI: 2006269970490
23	Study on Equipment Interoperation Chain Model in Grid Environment. Yuexuan Wang, Cheng Wu. Third International Symposium on Parallel and Distributed Processing and Applications (ISPA-2005). LNCS 3758, pp. 588-595, 2005, Nanjing. SCI:BDJ13, EI: 2006219894388
22	An Efficient Content-Based Notification Service Routed over P2P Network, Xixiang Hu, Yuexuan Wang, and Yunhe, Pan. The Fourth International Conference on Grid and Cooperative Computing(GCC2005), LNCS 3795, pp. 884-894,2005, Beijing. SCI: BDQ17, EI: 2006229908961
21	Study on Equipment Grid Service Chain Sharing Technology and Method. Yuexuan Wang, Cheng Wu, Wancheng Ni. Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition), Vol.33, p15-17, 2005. EI: 2006109747532
20	Constrained Multi-objective Optimization Evolutionary Algorithm. Wang Yuexuan, Liu Lianchen, Mu Shengjing, Wu Cheng.Tsinghua Science and Technology. Vol.45, No.7, pp.103-106, Jan. 2005. EI: 2005139014242
19	Research on equipment resource scheduling in grids. Yuexuan Wang, Lianchen Liu, Cheng Wu. The Third International Conference on Grid and Cooperative Computing (GCC 2004). LNCS 3251. pp. 927-930, 2004.10, SCI: BBE85
18	A Parameter Dispersion Based Global Identification Method and Its Application. Yuexuan Wang, Hu Xixiang, Xiaoping Li, Wu Cheng. The 5th World Congress on Intelligent Control and Automation. Vol. 4, pp.294-298, 2004.6. EI: 2004388368618
17	The Study on Simulation grid Technology for Equipment Resource Sharing System. Wang Yuexuan, Liu Lianchen, Hu Xixiang, Wu Cheng. In Proceedings of the 5th World Congress on Intelligent Control and Automation, June 15-19, 2004, Hangzhou, P.R. China 2004, Vol. 4, pp.3235-3239. EI: 2004388367992
16	Annealing-genetic Algorithm for Constrained Optimization Problems. Wang Yuexuan, Wu Cheng, Hu Xixiang, Mu Shengjing, Liu Lianchen. High Technology Letters. Vol. 14. No.7. pp.10-14. EI: 2004388367196
15	The Study of Equipment Grid Based on Simulation Modeling, Wang Yuexuan, Wu Cheng, Hu Xixiang, Liu Lianchen. Computer Integrated Manufacturing Systems (CIMS),Vol. 10, No. 9: pp.1031-1035, Sep. 2004.. EI: 2004538754232
14	Heuristic Algorithms for Large Flowshop Scheduling Problems. Li Xiaoping, Wang Yuexuan, Wu Cheng. In Proceedings of the 5th World Congress on Intelligent Control and Automation, June 15-19, 2004, Hangzhou, P.R. China 2004, Vol. 4, 2999-3003. EI:2004388367940
13	A Study on Education Resource Sharing Grid. Yuexuan Wang, Cheng Wu. International Journal of Information Technology, Vol.11, No.3, pp.73-80, 2005
12	Research on Equipment Grid Platform for Resource Sharing. Yuexuan Wang, Lianchen Liu, Cheng Wu. World Engineers Convention (WEC) 2004, pp.148-152, 2004.11
11	A Model Identification Software Design for Complex Industrial Process and Its Application. Wang Yuexuan, Hu Xixiang, Liu Liancheng, Wu Cheng, Journal of System Simulation, Vol.16, No.7: pp.1401-1404, 2004
10	Large Online Soft-Sensor System-s Design and Its Application. Wang Yuexuan, Liu Lianchen, Wu Cheng. Proceedings of the symposium on global manufacturing & simulation technology of the 21^st century. pp.599-602, October. 2004, Guiyang, China
9	Com-based Soft-sensing Software and Its Application. Wang Yuexuan, Su Hongye, Mu Shengjing, Chu Jian. Controland Instruments in Chemical Industry. Vol.30, No.3: pp.43~46, 2003. EI: 2004328307460
8	Multi-layer Distributed-based Advanced Process Control Software and Its Application. Wang Yuexuan, Su Hongye, Hu Xixiang, Chu Jian. Journal of Zhejiang University (Engineering Science). Vol.38, No. 3: pp.262-266, 2004. EI: 2004298266377
7	Research on the Analysis of Gas Mixture by Local Linearization of Curved Surface. Wang Yuexuan, Pang Quan. Instrument Technology and Sensor, No.4, pp.1-4, 1999
6	An efficient Evolutionary Multi-objective Optimization algorithm. Shengjing Mu, Hongye Su, Yuexuan Wang and Jian Chu.Proceedings of the IEEE Congress on Evolutionary Computation, 2003, pp. 914-920, December 8 - 12, 2003, Canberra, Australia
5	An lnfeasibility Degree Selection Based Genetic Algorithms for Constrained Optimization Problems. Mu Sheng-jing, Su Hong-ye, Wang Yue-xuan, Chu Jian. 2003 IEEE Congress on Evolutionary Computation,pp.1595~1594. December 8 - 12, 2003, Canberra, Australia, EI: 2003487751020
4	Optimal Realization of FWL Controller with Real Stability Radius Considerations. Xu Weihua, Hu Xiehe, Wang Yuexuan, Wu Jun, Chu Jian. Control Theory & Application. Vol.20, No.1: pp.136-138, 2003
3	COM-based Advanced Process Control Software and Its Applications. Wang Yuexuan, Su Hongye, Chu Jian. Control and Instrumentation for Chemical Industry. Vol. 29, No. 4, pp.1950- 1954, Aug. 2002
2	Object Callback Technology in Object Oriented Program. Wang Yuexuan, Qian Jintang.Computer Engineering, Vol. 26, No. 3. pp.103-104, 2000, EI: 2000095313653
1	An Analysis Method of Two-dimension Gas Mixture. Wang Yuexuan.Transaction of Hangzhou Institute of Electronic Industry, Vol.19, No.3 , pp.63-70, 1999.12