本期编辑：
许跃生
中山大学应用计算科学研究院
compsci@mail.sysu.edu.cn
乔中华
香港理工大学应用数学系
zqiao@polyu.edu.hk
内容提要：
====================================================================================
Tom Hales教授谈"The Formal Proof of the Kepler Conjecture"
来源：国家数学与交叉科学中心网站
2015年7月22日，美国匹兹堡大学数学系教授Tom Hales应国家数学与交叉科学中心
的邀请，做了题为“The Formal Proof of the Kepler Conjecture”的综合报告。报告由交
叉中心先进制造部副主任李子明研究员主持，黄飞敏研究员和宗传明教授等出席了
会议。
在讲座中，Hales教授介绍了Kepler猜想，和形式验证的方法，讨论了形式验证在数
学研究中的应用前景。1611年开普勒猜想：在一个容器中放入等半径的球的平均密
度不大于pi/squareroot(18) 。1998年Hales教授宣称他证明了这一著名猜想。他的证明
包括数学证明部分和计算机验证部分。数学证明部分于2005年发表于Annals of
Mathematics，而计算部分由他和Fuguson在后续文章中给出。2014年8月，Hales和他
的合作者形式验证了证明中计算机程序的正确性。
报告人简介：Tom Hales 美国匹兹堡大学数学系Mellon教授。为Langlands计划的基本
引理的证明做出了重要贡献，并在计算机的辅助下，证明了Kepler猜想。 获得多项
====================================================================================
来源：山东大学数学学院网站
7月9日下午，中国科学院大学数学科学学院执行院长郭田德教授受邀来到山东大学数
学学院和齐鲁证券金融研究院，作了题为《指纹自动识别中的最优化模型与算法研究》
的学术报告。金融研究院院长陈增敬教授主持了这次报告，数学学院崔玉泉教授等运
筹学方向的部分老师和研究生参加了此次报告会。
在本次报告中，郭田德教授主要介绍了指纹图像压缩技术和指纹自动识别算法。首先，
郭教授向在座的师生介绍了指纹识别的背景。指纹识别是生物特征识别的一种，相较
于面部识别，声音识别等，其准确性更高，在身份认证，犯罪嫌疑人筛选等方面有着
重要的应用。接着，郭教授介绍了他们团队在指纹图像压缩方面所作的研究。他们根
据指纹的纹理特征研究出一种适用于指纹特点的指纹图像压缩方法，节省了指纹图像
的存储空间，并大大提高了指纹图像的传输效率。最后，郭教授介绍了指纹自动识别
算法。他们在通过计算方向场识别指纹方面已经达到国际先进水平，而根据零极点模
型的奇异点检测算法更是被收录到“Handbook of Fingerprint Recognition”中，得到
该领域学者的广泛认同。在报告结束后，与会者们就报告内容进行了热烈的讨论，现场
气氛欢快热烈。
此次报告条理清晰，内容丰富，报告会气氛轻松活跃，郭田德教授理论与例证相结合，
说明生动形象，阐述细致认真，谈吐幽默风趣，给人留下了深刻的印象。会后，许多
同学都表示受益良多。
报告人简介：郭田德，教授，博士生导师，现任中国科学院大学（原中国科学院研究
生院）数学科学学院执行院长。主要研究方向是最优化理论与算法、小波分析及其应
用、模式识别、路由器交换结构优化设计等。近几年在国内外学术刊物上发表论文80
多篇，主持和参与了国家高技术研究发展计划（863项目）、国家自然科学基金、中国
====================================================================================
来源：新华网
作者：赵永新、王握文
北京时间13日，第四十五届“世界超级计算机500强排行榜”在德国法兰克福召开的
2015国际超级计算大会上发布，由国防科技大学研制的天河二号超级计算机系统
再次位居第一。这是天河二号自2013年6月问世以来，连续5次位居世界超算500强
榜首。
据国防科技大学计算机专家介绍，国际超级计算机TOP500组织是发布全球已安装
的超级计算机性能排名的权威机构，以系统的实测速度（Linpack测试值）为基准
进行排名，每年发布两次。天河二号连续5次夺冠，表明我国超级计算机研制技术
处于国际领先水平。
天河二号是国防科大承担完成的国家“863”计划和“核高基”国家科技重大专项项目，
其首创的异构体系结构、自主定制的高速互联网络、新型并行编程模型框架等创
新突破，使其成为当今世界上运算速度最快的超级计算机。
据介绍，2013年11月，天河二号落户国家超算广州中心，面向国内外用户开放使
用。近两年来，该中心已构建起材料科学与工程计算、生物计算与个性化医疗、
装备全数字设计与制造、能源及相关技术数字化设计、智慧城市大数据和云计算
等六大应用服务平台，成为集高性能计算、大数据分析和云计算于一体的世界一
流“云超算”中心。
截至目前，天河二号已为国内外近400家用户提供高性能计算和云计算服务，在基
因分析与测序、新药制备、大型飞机和高速列车气动数值计算、汽车和船舶等大型
装备结构设计仿真、电子政务及智慧城市等领域获得一系列应用，取得了显著的经
济效益和社会效益。此外，天河二号还适配了广州市电子政务数据管理系统、云盘
存储系统等关键业务系统，为广州市电子政务和智慧城市建设搭建了一个高效可靠
的承载平台，为珠三角地区产业升级和转型发挥积极促进作用。
====================================================================================
发件人：Wuhan Center for Math Sci <mathcenter@hust.edu.cn>
（一）Weak universality of the KPZ equation
Time: August 7, Friday, at 10:00-12:00am
Location: Center for Mathematical Sciences, Room 1213
(创新研究院恩明楼12楼13室)
Title: Weak universality of the KPZ equation
Abstract: The KPZ equation is a popular model of one-dimensional
interface propagation. From heuristic consideration, it is expected
to be "universal" in the sense that any "weakly asymmetric" or
"weakly noisy" microscopic model of interface propagation should
converge to it if one sends the asymmetry (resp. noise) to zero
and simultaneously looks at the interface at a suitable large scale.
The only microscopic models for which this has been proven so far
all exhibit very particular that allow to perform a microscopic
equivalent to the Cole-Hopf transform. The main bottleneck for
generalizations to larger classes of models was that until recently
it was not even clear what it actually means to solve the equation,
other than via the Cole-Hopf transform. In this talk, we will see
that there exists a rather large class of continuous models of
interface propagation for which convergence to KPZ can be proven
rigorously. The main tool for both the proof of convergence and
the identification of the limit is the recently developed theory
of regularity structures, but with an interesting twist.
报告人：Professor Martin Hairer
Mathematics Department, The University of Warwick
Professor Martin Hairer is one of the world's foremost leaders
in the field of stochastic partial differential equations in
particular, and in stochastic analysis and stochastic dynamics
in general. By bringing new ideas to the subject he made
fundamental advances in many important directions such as the
study of variants of Hormander's theorem, systematisation of
the construction of Lyapunov functions for stochastic systems,
development of a general theory of ergodicity for non-Markovian
systems, multiscale analysis techniques, theory of homogenisation,
theory of path sampling and, most recently, theory of rough paths
and the newly introduced theory of regularity structures.
马丁·海尔，奥地利人，现居英国，任职于华威大学。由于马丁在随机偏微
分方程理论方面的杰出贡献，尤其是为这些方程建立了一套正则性结构理论，
而被授予菲尔兹奖(2014年)。随机偏微分方程传统上对于数学家来说很难处
理，海尔开发了一种新的理论框架，让这些方程变得简单许多，不但开启了
许多新的纯数学方向，也对科学和工程中的应用有重大意义。
（二）Limit Theorems of Stochastic Processes on Manifolds
Time: August 7, Friday, at 10:00-12:00am
Location: Center for Mathematical Sciences, Room 1213
(创新研究院恩明楼12楼13室)
Title: Limit Theorems of Stochastic Processes on Manifolds
Abstract: I will discuss limit of ordinary differential
equations on manifolds. Such equations are related to stochastic
homogenisations.
报告人：Professor Xue-Mei Li
Mathematics Institute, The University of Warwick
Professor Xue-Mei Li has been working on geometric analysis of
stochastic processes on manifolds, Malliavin calculus, infinite
dimensional analysis, L2 Hodge theory, geometric properties of
second order differential operators. Her current research
interests are: stochastic differential equations with regular
and singular coefficients, construction of stochastic flows,
hypoelliptic SDEs, limit theorems, homogeneizations, mean field
stochastic equations, variational formulation for solutions of
Navier-Stokes equations, transport Equations, and the interplay
between geometric structures, such as collapsing of manifolds
to lower dimensional objects, and limits of diffusion processes.
李雪梅，华裔数学家，2014年菲尔兹奖得主马丁·海尔之妻。她是一位概
率论学专家，研究流行上的随机分析，主要为微分几何和概率论的交叉。
数学中她有与其他数学家联名命名的公式，好像马丁的工作中用到过此
公式。
====================================================================================
国际中学生数学建模竞赛（IMMC）介绍及相关学术活动发件人：ayfzh@yahoo.com
About the International Mathematical Modeling Challenge (IMMC)
The purpose of the IMMC is to promote the teaching and learning of mathematical
modeling and its applications at all educational levels for all students. It is based on the
firm belief that students and teachers need to experience the power of mathematics to
help better understand, analyze and solve real world problems outside of mathematics
itself – and to do so in realistic contexts. The Challenge is being launched in the spirit of
promoting educational change and building an international platform and community to
nurture students' passion and capability for innovation.
IMMC was established in the spring of 2014 in Boston. Its co-founders and co-orgznizers are Consortium for
Mathematics and its Applications (COMAP) in US and NeoUnion ESC Organization in Hong
Kong.
IMMC is distinguished from other mathematical contests by its real world problem and
its strong focus on research, originality, teamwork, communication and justification of
results.
Website: www.immchallenge.org
Facebook: www.facebook.com/immchallenge
学术活动
ICIAM 2015 Mini-symposium on Mathematical Modeling Education
Organizer: NeoUnion ESC Organization, Hong Kong
Time: 13:30 – 18:00 August 14 2015 (Friday)
Venue: Multi-functional Room C, China National Convention Center, Beijing, China
Abstract: This minisymposium, part of sessions on ICIAM 2015, will introduce the newly instituted international
contest in modeling for secondary school students - International Mathematical Modeling
Challenge (IMMC) whose co-founders and co-organizers are Consortium for
Mathematics and its Application (COMAP) and NeoUnion ESC Organization. The meaning
and significance of mathematical modeling education for fostering students’
innovation competencies will be addressed in response to the global trend in STEM
education. Award presentation to local teams will be held during the minisymposium.
A team of students and their teacher advisor who won the Outstanding Prize in the
first Annual IM2C 2015 will make presentation. Review in depth of the contest problem
Movie Scheduling and commentary on solution papers by awarded teams will be lectured.
Hands-on workshop on mathematical modeling teaching and learning will be offered in
the minisymposium.
Ten countries participated in the 1st annual IMMC 2015. There were 60 teams from Greater
China including 15 teams from Hong Kong and Macau, 22 teams from Beijing,
and 23 teams from Shanghai. All teams worked at their own schools during a
5 day period between April 15 and May 15, 2015. Each team was given a
modeling problem and then constructed their solutions. This year’s problem
Movie Scheduling asked the teams to design a model for the effective filming
and production of a motion picture. Outstanding prize were awarded to four
teams: Palo Alto High School, US; Raffles Girls' School (Secondary), Singarpore;
the Affiliated High School of Peking University, China; and Shanghai Nanyang
Model School, China. The Award Presentation Ceremony was held on July 5 2015
at the University of Hong Kong, Hong Kong.
Contact: NeoUnion ESC Organization（儒蓮教科文機構）www.neounion.net
Room 2918, 29/F, Shui On Centre, 6-8 Harbour Road, Wan Chai , Hong Kong
Tel: (852) 3521 1296 Fax: (852) 3521 1297 Email: info@neounion.net
====================================================================================
发件人: Wenyu Sun <wysun@njnu.edu.cn>
First Announcement
2015 Nanjing International Conference on
Numerical Optimization with Applications
暨华人最优化专家论坛
Nanjing Normal University, Nanjing, China
November 27--29, 2015
A variety of computational theories and methods for large-scale optimization
have been proposed to deal with the problems arising from many application
fields, especially data science. This conference will bring together
mathematicians, engineers and researchers to share their new ideas and
findings in optimization and applications.
Topics of the conference include, but are not limited to
? Linear, Nonlinear and Convex Programming
? Equilibrium Programming
? Semi-definite, Conic Programming, and Semi-infinite Programming
? Complementarity and Variational Inequalities
? Nonsmooth and Variational Analysis
? Nonconvex and Global Optimization
? Stochastic Optimization
? Vector Optimization, Tensor Analysis and Tensor Optimization
? Optimization with Constraints of PDE
? Applications in Engineering, Economics, Finance, Statistics,
Game Theory, and Bioinformatics
General Chairmen
? Yaxiang Yuan (袁亚湘), Chinese Academy of Sciences
? Yongzhong Song (宋永忠), Nanjing Normal University
Scientific Committee
? Yuhong Dai (戴彧虹), Chinese Academy of Sciences (Chair)
? Nanjing Huang (黄南京), Sichuan University
? Zhenghai Huang (黄正海), Tianjin University
? Duan Li (李端), The Chinese University of Hong Kong
? Zhaosong Lu (吕召松), Simon Fraser University
? Zhiquan Luo (罗智泉), University of Minnesota
? Liqun Qi (祁力群), The Hong Kong Polytechnic University
? Defeng Sun (孙德锋), The National University of Singapore
? Soon-Yi Wu (吴顺益), National Cheng Kung University
? Hongkun Xu (徐洪坤), National Sun Yat-sen University,
Hangzhou University of Electronic Science and Technology
? Liwei Zhang (张立卫), Dalian University of Technology
? Shuzhong Zhang (张树中), University of Minnesota
Organizing Committee
? Zongben Xu (徐宗本), Xi'an Jiaotong University (Chair)
? Jien-Shan Chen (陈界山), National Taiwan Normal University
? Xiaojun Chen (陈小君), The Hong Kong Polytechnic University
? Tiande Guo (郭田德), The University of Chinese Academy of Sciences
? Bingsheng He (何炳生), Nanjing University
? Xiaodong Hu (胡晓东), Chinese Academy of Sciences
? Qin Ni (倪勤), Nanjing University of Aeronautics and Astronautics
? Wenyu Sun (孙文瑜), Nanjing Normal University
? Naihua Xiu (修乃华), Beijing Jiaotong University
? Dachuan Xu (徐大川), Beijing University of Technology
? Xinmin Yang (杨新民), Chongqing Normal University
Contact:
? Deren Han (韩德仁) (handeren@njnu.edu.cn )
? Lingling Xu (徐玲玲) (xulingling@njnu.edu.cn)
? Xingju Cai (蔡邢菊) (caixingju@njnu.edu.cn)
Registration Information:
Registration deadline: return the information form and
Abstract before October 20, 2015.
Registration fee: Normal: 600 RMB, Student: 300 RMB.
Registration: Please fill the Registration form,
and Email it to : xulingling@njnu.edu.cn.
Conference Site:
Nanshan Hotel, Suiyuan Campus, Nanjing Normal University
(南京师范大学随园校区南山专家楼)
Web: http://math.njnu.edu.cn/
====================================================================================
招聘信息：Faculty Positions at all Ranks in Data Analytics
School of Physical and Mathematical Sciences
Nanyang Technological University, Singapore
Young and research-intensive, Nanyang Technological University
(NTU Singapore) is the fastest-rising university in the world’s
Top 50 and ranked 39th globally. NTU is also placed 1st amongst
he world’s best young universities.
The Division of Mathematical Sciences in the School of Physical
and Mathematical Sciences invites applications for positions at
the ranks of Assistant Professor, Associate Professor or Professor
in Data Analytics. We are looking for candidates with Ph.D. degrees
in Applied Mathematics or closely related fields. Evidence of
excellence in research is required. We are specifically looking
for expertise in the following areas:
• Data mining of massive data sets
• Computational Statistics
• Urban Analytics
• Health Analytics
Experience with industrial projects is a prerequisite, and
industrial work experience is desirable. Successful applicants
are expected to maintain an active research program, seek out
and participate in industrial collaborations, attract and supervise
graduate students in our new Masters of Analytics program, and to
participate in undergraduate and graduate teaching. Salary and
benefits are internationally competitive.
About the Division
Established in 2005, the Division of Mathematical Sciences has
developed at a tremendous pace. It is ranked 32nd worldwide among
mathematics departments by QS. We offer a highly conducive research
environment and there are ample opportunities to attract research
funding. The Division has one of the strongest student bodies in
mathematics in the region. More information on the Division can be
found at http://www.spms.ntu.edu.sg/mas.
Emoluments and General Terms & Conditions of Service
The commencing salary will depend on the candidate's qualifications,
experience and the level of appointment offered. Information on
emoluments and general terms and conditions of service is available
in the section on Terms and Conditions
(http://www.ntu.edu.sg/ohr/career/TermsandConditions/Pages/FacultyPositions.aspx)
of Service for Academic Appointments.
Application Procedure
To apply, please refer to the Guidelines for Submitting an Application
for Faculty Appointment at:
http://www.ntu.edu.sg/ohr/career/submit-an-application/Pages/Faculty-Positions.aspx
and send your application package to MASrecruit@ntu.edu.sg.
For enquiries, please send them to: Bernhard Schmidt (Search Committee Chair),
bernhard@ntu.edu.sg
Applications will be accepted until all positions are filled. All applications
and materials submitted will be held in strict confidence.
====================================================================================
招聘信息：Faculty Positions at all Ranks
School of Physical and Mathematical Sciences
Nanyang Technological University, Singapore
Young and research-intensive, Nanyang Technological University
(NTU Singapore) is the fastest-rising university in the world’s
Top 50 and ranked 39th globally. NTU is also placed 1st amongst
the world’s best young universities.
The Division of Mathematical Sciences in the School of Physical
and Mathematical Sciences invites applications for positions at
the ranks of Assistant Professor, Associate Professor, Professor,
Lecturer, and Senior Lecturer. We are looking for candidates with
Ph.D. degrees in Mathematics or closely related fields. Evidence
of excellence in research is required. We are specifically looking
for expertise in the following areas:
• Computational Mathematics
• Financial Mathematics
• Mathematical Physics
• Optimization
• Pure Mathematics
• Statistics
Successful applicants are expected to maintain an active research
program, attract and supervise graduate students, and to participate
in undergraduate and graduate teaching. Salary and benefits are
internationally competitive.
About the Division
Established in 2005, the Division of Mathematical Sciences has
developed at a tremendous pace. It is ranked 32nd worldwide among
mathematics departments by QS. We offer a highly conducive research
environment and there are ample opportunities to attract research
funding. The Division has one of the strongest student bodies in
mathematics in the region. More information on the Division can be
found at http://www.spms.ntu.edu.sg/mas.
Emoluments and General Terms & Conditions of Service
The commencing salary will depend on the candidate's qualifications,
experience and the level of appointment offered. Information on
emoluments and general terms and conditions of service is available
in the section on Terms and Conditions
(http://www.ntu.edu.sg/ohr/career/TermsandConditions/Pages/FacultyPositions.aspx)
of Service for Academic Appointments.
Application Procedure
To apply, please refer to the Guidelines for Submitting an Application
for Faculty Appointment at:
http://www.ntu.edu.sg/ohr/career/submit-an-application/Pages/Faculty-Positions.aspx
and send your application package to MASrecruit@ntu.edu.sg.
For enquiries, please send them to: Bernhard Schmidt (Search Committee Chair),
bernhard@ntu.edu.sg
Applications will be accepted until all positions are filled. All applications
and materials submitted will be held in strict confidence.
====================================================================================
会议信息：Conference on Analysis and Geometry
来源：中国科学技术大学数学科学学院
In recent years we have witnessed dramatic developments in geometric analysis where the
interplay of analysis and geometry plays a key role in these celebrated works. To name a
few, the proof of the Poincare and the geometrization conjectures by Perelman, the quarter
pinching conjecture by Brendle-Schoen, the Lawson Conjecture by Brendle, the Willmore
Conjecture by Marques-Neves and Yau' stability conjecture on Fano manifolds by
Chen-Donaldson-Sun. We therefore believe that it is important to bring together an active
group of researchers in analysis and geometry, in an environment conducive to the exchange
of ideas, for the purpose of stimulating further research in this broad and dynamic field.
While the conference is primarily intended as a scientic event, we would also like to take this
opportunity to commemorate the deep and original contributions to geometric analysis made
by the late Professor Ding Weiyue, whose work has influenced and inspired a new generation
of Chinese geometric analysts. We believe there could be no more appropriate way to
memorialize Ding's mathematical work than by dedicating this conference to his legacy. We
do so in the same spirit that Ding himself would have advocated, in the hope that this
conference will become both a celebration of youth, originality, and devotion to the
mathematical sciences, and an avenue for the establishment of new ties of friendship and
collaboration across disciplinary, cultural and geographical borders.
Website: http://math.ustc.edu.cn/Conference/2015CAG/index.html
Contact Info.: Xue Li/ Shucan Cao, csc9225@mail.ustc.edu.cn, 15855119672
====================================================================================
会议信息：Chinese-German workshop on Metric Riemannian Geometry
来源：上海交通大学数学系网站
In order to enhance the communications among the geometers from both China and Germany
on the subject of Metric Riemannian Geometry and related topics, and also foster some new
possible cooperative research, we plan to hold a series of "Chinese-German workshop on Metric
Riemannian Geometry" from Oct 12 to Oct 16, 2015.
Website: http://math.sjtu.edu.cn/conference/MRG2015/Default.aspx
Contact Info.: Mijia Lai, laimijia@sjtu.edu.cn, 86-21-54743148
===================================================================================
期刊内容：Journal of Scientific Computing，Volume 64, Number 2, August 2015
发件人：Chi-Wang Shu [shu@dam.brown.edu]
http://www.springeronline.com/journal/10915
An Unconditionally Energy Stable Penalty Immersed Boundary Method for
Simulating the Dynamics of an Inextensible Interface Interacting with a Solid Particle
Po-Wen Hsieh, Ming-Chih Lai, Suh-Yuh Yang and Cheng-Shu You, pp.289-316.
Multiscale Support Vector Approach for Solving Ill-Posed Problems
Min Zhong, Yiu Chung Hon and Shuai Lu, pp.317-340.
A Radial Basis Function Partition of Unity Collocation Method for Convection-Diffusion
Equations Arising in Financial Applications
Ali Safdari-Vaighani, Alfa Heryudono and Elisabeth Larsson, pp.341-367.
Robust a Posteriori Error Estimates for Conforming Discretizations of Diffusion
Problems with Discontinuous Coefficients on Anisotropic Meshes
Jikun Zhao, Shaochun Chen, Bei Zhang and Shipeng Mao, pp.368-400.
Discontinuous Galerkin with Weakly Over-Penalized Techniques for Reissner-Mindlin Plates
Paulo Rafael Bosing and Carsten Carstensen, pp.401-424.
Quasi-A Priori Truncation Error Estimation in the DGSEM
Gonzalo Rubio, Francois Fraysse and David A. Kopriva, pp.425-455.
Gradient Recovery for the Crouzeix-Raviart Element
Hailong Guo and Zhimin Zhang, pp.456-476.
Fifth Order Multi-moment WENO Schemes for Hyperbolic Conservation Laws
Chieh-Sen Huang, Feng Xiao and Todd Arbogast, pp.477-507.
Hybrid Difference Methods for PDEs
Youngmok Jeon, pp.508-521.
Flux Splitting for Stiff Equations: A Notion on Stability
Jochen Schutz and Sebastian Noell, pp.522-540.
Guaranteed Energy Error Estimators for a Modified Robust Crouzeix-Raviart Stokes Element
A. Linke and C. Merdon, pp.541-558.
A Weak Galerkin Finite Element Scheme for the Biharmonic Equations by Using
Polynomials of Reduced Order
Ran Zhang and Qilong Zhai, pp.559-585.
------------------------------
End of CAM Digest
本期到此结束
====================================================================================