- 摘要
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猜想。 获得多项数学奖励，2012年成为AMS Fellow。
- 摘要
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
- 摘要
（一）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年菲尔兹奖得主马丁·海尔之妻。她是一位概率论学专家，研究流行上的随机分析，主要为微分几何和概率论的交叉。数学中她有与其他数学家联名命名的公式，好像马丁的工作中用到过此公式。
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
- 摘要
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-scaleoptimization 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/
MASrecruit@ntu.edu.sg
- 摘要
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.
MASrecruit@ntu.edu.sg
- 摘要
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 atthe 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.
- 摘要
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
- 摘要
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
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
本期到此结束
Authorization Required
This server could not verify that you are authorized to access the document requested. Either you supplied the wrong credentials (e.g., bad password), or your browser doesn't understand how to supply the credentials required.