科学与工程计算国家重点实验室:深猷远“计” “数”往知来
近来,科学与工程计算国家重点实验室(以下简称“实验室”)年轻的科研人员崔涛不断地收到学界和企业界的同行好友邀约讲座和“感谢”,其都源于实验室开创的一项成果。 “我们算法的实现是基于PHG”“基于PHG开发了相关模型的计算程序”“使用PHG,让我们团队更专注算法研究,大大提高了计算规模和效率”......他们提到的“PHG”就是,我国完全自主知识产权、可支持普通计算服务器至十亿亿次级超级计算机的三维并行有限元软件开发平台,它有效帮助研究人员以较低的开发投入、较快的速度研制相关程序,提高算法研究和并行软件研制的效率。更重要的是,因各方面原因,当前我国工业软件自身“造血能力”的欠缺,“PHG”平台对我国工业软件突破欧美国家技术封锁具有重要意义。“立足国家需求,聚焦‘卡脖子’技术,挑战科学与工程计算中最难的数学问题,这是我在实验室最主要的任务,尽管过程可能漫长、艰辛。”崔涛说。PHG平台从创立到应用,也促使崔涛从研究生成长为一名独立研究员。 攀登高峰的匠心这是一段关于两代人的创新故事。上世纪后半叶,科学计算兴起,它在科学研究和工程计算中发挥着不可替代的作用,一个国家的科学计算能力已成为国家竞争力的重要标志。近半个世纪以来,利用计算机来模拟结构、流体、电磁、量子等各种物理过程的科学与工程计算应用软件得到了巨大的发展。2000年,国家973计划项目“大规模科学计算研究”启动,中国科学院数学与系统科学研究院(以下简称“数学院”)研究员陈志明和张林波担任着课题组长。“德国的‘ALBERTA’开源自适应有限元软件包的计算速度和内存大小有限,满足不了三维问题的计算要求,你们能不能把它‘并行化’?”陈志明向张林波询问道。“工作量及难度的确有些大。”张林波还是决定试试。然而,在研究过程中,他们发现,由于ALBERTA软件的自身限制,将其并行化不仅工作量巨大,还会有许多先天的局限。“事实上,当前,高性能科学计算程序和软件研制周期长、工作量大,无法满足高性能计算应用和算法研究需求,是一个瓶颈问题。”张林波告诉《中国科学报》,他们发现了更“普遍”的问题。“应该针对特定的算法或应用领域,研制具有自主知识产权的共性高性能科学计算软件平台或应用框架,用于支撑应用程序和软件研制。”尤其是近年来,我国超级计算机已经连续多年排名世界第一,但超级计算机上运行的科学与工程计算应用软件水平却距离国际先进水平有不少的差距,部分行业的大型科学与工程计算应用软件成为了国外限制我国发展的 “卡脖子”技术。比如:用于芯片设计的EDA(电子设计自动化)软件都掌握在美国和欧洲的大公司中,目前已对我国部分企业实施封锁,对我国信息与芯片产业产生巨大影响。此外,过度依赖国外工业软件,既不利于我国工业技术的创新和积累,高端化转型可能受阻。同时,工业软件使用过程中产生的大量工业数据和商业信息还存在被窃取的风险。解决我国工业软件自主化问题已经到了迫在眉睫的时刻。那时,他们有了初步想法。时间到了2005年,复旦大学专用集成电路与系统国家重点实验室曾璇教授给陈志明和张林波提出了一个难题:如何高效高精度进行互连线寄生参数提取,是芯片设计软件(EDA)的瓶颈问题,“最好有一个可实用的工具,纯粹的程序员需要花大量时间和精力去学习理解数学文章中的算法,甚至还无法抓住算法本质。”事实上,当时芯片设计软件并未得到十分重视。当年,国家973计划项目“高性能科学计算研究”启动,陈志明担任首席科学家,张林波担任“大规模并行计算研究”课题组长,开始专注芯片设计仿真等领域的并行自适应有限元程序的研制。“这是一个非常有挑战的事情。”崔涛坦承,他当时作为张林波的博士生参与平台研制工作,“困难在于,如何让计算程序支持可扩展的非结构协调网格局部自适应加密、支持国产计算机体系结构和支持多样的有限元计算”。经过反复交流思考,他们找到了突破口——用于支持互连线寄生电感参数求解和变压器仿真等典型电磁场计算问题的自适应有限元算法研究及应用软件研制。2010年,基于PHG开发的寄生电感参数提取工具包成功在当年世界最快的超级计算机“天河一号”上完成了十亿自由度、数万核规模的大规模并行自适应计算试验,这坚定了他们继续发展并行自适应有限元软件开发平台并拓展其应用范围的信心,曾璇教授给陈志明和张林波提出的难题成功解决。“这是一个从应用需求出发,到数学模型、数值方法开发,最后变为工具软件的全链条研究。”陈志明说。如今,PHG平台作为我国完全自主知识产权且唯一支持国产超级计算机的三维并行自适应有限元软件平台,具备支撑面向万亿至十亿亿次级超级计算机的并行有限元应用程序开发的能力,迄今陆续被多个企业和应用领域的研究团队使用,支撑工程力学计算、冰川模拟、生物计算等重要应用需求问题的高性能计算。09-06
2021祝贺袁亚湘院士当选国际运筹学会联合会会士
国际运筹学会联合会(The International Federation of Operational Research Societies,IFORS)在2021年8月24日召开会员国及国际相关学术组织代表会议。因为疫情的缘故,此次会议通过视频在线举行。国际运筹学会联合会主席 M. Grazia Speranza在会上宣布了2021年新当选的六位会士(IFORS Fellow)名单,袁亚湘院士当选。 袁亚湘,中国科学院数学与系统科学研究院研究员,中国科学院院士,现任中国科协副主席、国际工业与应用数学学会主席,曾任中国科学院数学与系统科学研究院副院长、中国运筹学会理事长、亚太运筹学会联合会主席、国际运筹学会联合会副主席、中国数学会理事长。他自1988年从剑桥大学归国以来一直致力于中国运筹学的发展以及与国际运筹学界的交流合作。袁亚湘院士长期从事运筹学、计算数学和应用数学等领域研究工作,曾获L. Fox奖、首届冯康科学计算奖、国家自然科学二等奖、陈省身数学奖、苏步青数学奖、何梁何利科技奖、美国工业与应用数学会杰出贡献奖,当选巴西科学院通信院士、发展中国家科学院院士、美国工业与应用数学会会士、美国数学会会士、伦敦数学会荣誉会员。 IFORS成立于1955年,拥有悠久的历史,是唯一的全球性运筹学国际组织。中国运筹学会于1982年加入IFORS,成为代表中国的会员国,并在北京成功举办了IFORS 1999大会。2020年IFORS执行委员会批准设立IFORS Fellow,以褒奖为国际运筹学的研究和学会发展做出杰出贡献的个人。IFORS Fellow评选的标准包括运筹学的科研、应用、服务、教育、管理等多方面。相关信息见:https://www.ifors.org/ifors-fellows/。08-26
2021袁亚湘院士:执“数”之手,攀登高峰
1988年,袁亚湘在其科研事业蒸蒸日上之时,从英国回国,入职中国科学院数学与系统科学研究院,成为当时中科院最年轻的正研。 当时,国家自然科学基金委员会(以下简称自然科学基金委)刚成立不久,袁亚湘成为自然科学基金委首批资助的科研人员。08-12
2021刘九龙:潜心科研,争取做出自己的研究风格
刘九龙出生于江西省宁都县,在他的童年时代也就是九十年代,那时中国经济处于迅速发展时期。刘九龙在回忆自己与数学的不解之缘时谈道,那时家乡也在紧跟全国经济建设潮流,不过交通还是不便、信息流通也相对闭塞。但家乡自古人文荟萃,早有“文乡诗国”之誉,读书风气良好,那时新华书店气派,私营书店林立。小时候父亲母亲也是经常带他去书店看书买书,父亲陪他读《华罗庚数学学校数学课本》这套教材的情景还历历在目,自此慢慢感受到了数学世界里丰富的乐趣。刘九龙到了中学阶段,在初中遇到了讲课生动活泼的数学启蒙老师,让他养成了对数学问题勤于独立思考的习惯;在高中遇到了讲课严谨且能传授丰富解题技巧的数学老师,让刘九龙打下了扎实的数学基础。也正是得益于他扎实的数学基础和热爱思考的习惯,对于物理化学的学习也是得心应手08-03
2021热烈祝贺袁亚湘院士当选伦敦数学会荣誉会员
2021年7月2日,伦敦数学会公布袁亚湘院士当选伦敦数学会荣誉会员,以表彰其在最优化理论和方法领域所取得的成就,和在中国乃至全世界范围内推动应用数学的发展所做出的杰出贡献。伦敦数学会曾经分别于1986年和2010年授予陈省身先生和陶哲轩等两位华人数学家此荣誉称号。袁亚湘院士是获得此殊荣的第一位中国大陆数学家。07-07
2021热烈祝贺我所张晨松获2021年CSIAM首届应用数学落地成果认证
2021年6月12日,在中国工业与应用数学学会主办的第二届数学促进企业创新发展论坛举行的应用数学落地成果发布仪式上,中国科学院数学与系统科学研究院计算数学与科学工程计算研究所张晨松及其合作者的“多组分渗流方程的高效求解方法”获2021年CSIAM首届应用数学落地成果认证。06-12
2021我所郑伟英研究员荣获 “冯康科学计算奖”
2021年5月6日,第十四届“冯康科学计算奖”评选结果在北京揭晓。中国科学院数学与系统科学研究院计算数学与科学工程计算研究所郑伟英研究员因其在电磁场问题的计算方法和理论等方面做出的突出贡献,荣膺“ “冯康科学计算奖”。05-07
2021第十四届“冯康科学计算奖”通告
The Announcement on the 14th Feng Kang Prize ofScientific Computing The 14th Feng Kang Prize of Scientific Computing has been honored to: Dr. Weiying Zheng, Academy of Mathematics and Systems Science, Chinese Academy ofSciences, China Dr. Jiawang Nie, University of California, San Diego, USA For their significant contributions in Numerical methodsand theories for electromagnetic problems; Polynomial optimization, convex algebraic geometry and tensor computation. The ceremony will be held at the General Assemblyof the China Society for Computational Mathematics,Nanjing,August 15 - August 19, 2021. The Office of Feng Kang Prize of Scientific Computing Beijing, May 6, 2021 ===== 第十四届“冯康科学计算奖”通告 第十四届“冯康科学计算奖”评选结果近日在北京揭晓。获奖人分别是: 郑伟英(中国科学院数学与系统科学研究院) 聂家旺(美国加州大学圣地亚哥分校) 该项奖励旨在表彰他们两位分别在 电磁场问题的计算方法和理论;多项式优化、凸代数几何和张量计算等方面的突出贡献。 颁奖仪式定于2021年8月15日 - 8月19日在南京召开的中国数学会计算数学年会上举行。05-06
2021我所戴彧虹研究员应邀将在2022年国际数学家大会上做45分钟邀请报告
中国科学院数学与系统科学研究院计算数学与科学工程计算研究所戴彧虹研究员近日收到邀请,将在俄罗斯圣彼得堡召开的2022年国际数学家大会做45分钟邀请报告。04-28
2021徐劼:自己就是工具
来源:中国科学院数学与系统科学研究院 不喜欢套路,比如费心琢磨应试考试,在套路中取胜;也不喜欢反复无常、过于“变幻莫测”,最好要逻辑严整、清晰确定。理想的生活是自然、自由。一直很喜欢数学,想做研究,在徐劼看来,研究什么,是比研究更重要的问题。 “要觉的这个东西比较有意思”。 但怎么才算有意思呢?“跟着感觉走”。他的答案简单直白。不知道具体要选什么时,先都去试一试、看一看,关注自己的“感觉”,可能有的看着看着困了,有得看着看着累了……但总有能让自己越看越觉得好玩,精神充沛,想要全情投入,不感疲惫也不畏波折的事物,这就是兴趣所在。 作为中国科学院数学与系统科学研究院的一名研究人员,徐劼的研究主要集中在液晶的建模与模拟,梯度流的数值方法与一些界面模拟方面的工作。“有意思的是,比如原来有一个地方没有搞清楚,然后通过反复琢磨,现在可以搞清楚这一点了。” 最初,徐劼从事液晶的建模与模拟,通过建构液晶的数学理论来阐述其部分有序性的主要特征,但研究过程中遇到一些阻碍,只能先搁置一段时间,但此时,他刚好发现希望针对液晶研究设计的一些数值方法可以相对成熟地应用到梯度流研究中。 最终,他与合作者成功提出标量辅助变量(SAV)方法,并将 SAV 格式应用到许多梯度流中。大量数值结果表明, SAV 格式不仅简单高效,且精度很高。SAV 格式吸引了很多关注。其他研究者将其应用于很多不同的梯度流乃至哈密顿系统中,收到很好的效果。并且,引入若干辅助标量的想法能够使得数值格式简洁灵活。因此,利用该思想并根据需求的不同,很多 SAV 的变式和推广得以发展。这一工作发表在SIAM Review上。到目前为止,该格式的总引用次数已经超过 100。 “虽然看起来搁置了某一个问题,但实际上还是在持续思考,而且只要你抓住了一个感兴趣的东西,就能把自己整个调动起来,就可能发现一些没预料到的结果。”徐劼说。 与此同时,因为研究方向是跨学科交叉的,徐劼需要与许多物理学者沟通合作。这种合作不仅有助于研究主题得到真正的解决,还可以通过影响几位一同参与研究的物理学者,将研究理念传播到更多物理学研究圈子中,实现更广泛的跨学科交流。而这个过程中,如何将数学学者们习惯的“数学语言”阐述转换为物理学者们更偏好的“物理语言”尤为重要,挑战颇大。 “第一,花更多时间在相互理解上,在讨论之前,先互相理解清晰。第二,坚持,即使短时间内未必能彻底解决,但要一直坚持,坚持自己最想表达的想法,也坚持使用更多方法来表达,逐个尝试。”徐劼说。 数学研究中常见两种快乐,前者更多是一种“独立”的快乐,多见于解迷成功那一刻,研究得豁然开朗,厚积薄发、电光火石间的一瞬,不必要说服太多人,凡属此门中,自然能会心一笑;而后者则是一种有赖于他人的快乐,需要传播,要在被认可与应用中生长壮大,生生不息。 前一种快乐几乎是被所有数学研究者们共享的喜悦,而对于从事应用数学的徐劼来说,后一种快乐同样意味悠长。被传播,然后被更好地理解,也是一种应用。 除了科研,业余时间里,徐劼还喜欢击剑,这项“格斗中的芭蕾”是他在北大就读近10年期间发展的爱好。雪白的剑服,威武的护面,闪亮的长剑和一位“虎视眈眈”的对手,依靠时间与点刺剑数决定胜负,需要结合优雅的动作和灵活的战术,也考验大脑与身体的配合。 “你就想,自己就是工具。” 科研中,徐劼更强调人自身的主体作用。虽然计算机是必不可少的工具,他更喜欢依靠手推(公式)。“数学家主要就是靠自己工作,所以调整自己的状态,就像维护设备。”03-26
2021马俊杰 :年轻人,“用爱发电”
来源:中国科学院数学与系统科学研究院微信公众号 信息是什么?或许每个人都能给出答案。我们无时不刻接收、发送的,是信息;声音、文字、图像……是信息;我们要挖掘的逻辑、原因和趋势,也都来自信息。但想要研究信息,总需要一个科学上的定义,于是一代奇才,数学大师香农出手了:信息的本质是不确定性。 1948年,香农发表了《通信的数学原理》,这是公认的现代信息论的开端。而今,由于通讯技术的极速发展以及多学科之间的相互渗透,信息论体系演化得更加丰富庞大。 就好像在这棵枝繁叶茂的大树下仰望着那翠绿的荫蔽,马俊杰致力于信号处理和信息论领域的理论与算法研究。近似消息传递在非高斯测量矩阵下的推广,相位恢复算法研究和大规模天线系统中的数据辅助信道估计方法都是他的具体研究方向。 “特别喜欢”,优美而深刻,简单纯粹,还有着非凡的现实指导意义,在广义的诸多领域中都可以提供独特的视角,聊起信息论,马俊杰如此描述。“如何能把具体的现实问题抽象为数学问题,给出一个简单而深刻的理论,本身就是一个特别有意思的东西,对不对?” 好静,喜欢钻研,是这位温和儒雅的年轻人从小就展现出的特点。“找到一个问题,然后通过自己深入的思考,彻底地搞明白它”是马俊杰心中的无上乐趣,也是他认为科研最让人着迷的地方——一种只可意会不可言传的妙处。 从事科研,需要“用爱发电”。“科研很重要的是在一个精细的方向上有很深的积累,这需要长期的努力,如果没有热情是很难做到的。” 在哥伦比亚大学做博士后时,马俊杰对那里的学术氛围感受很深。课题组的博士一般都拥有双导师,且双导师可能从事着并不相同的研究方向,因此学生们可以选择不同的项目研究,涉猎更广。优秀的师生们常常拥有极强的自我驱动力,拥有对方向和目标的强烈愿景,那种“完全投入”的状态深深触动了马俊杰。如今,通信工程专业,工科背景的他来到中科院数学与系统科学研究院工作,他希望“能够做出对实际应用产生影响的工作”。 当然,除了“有爱”,最好还要有坚韧的性格。在采访数学院青年科研人员的过程中,“坚持”是个常被大家提到的高频词。与时间赛跑,与全球的同行研究者们竞争,更与逻辑、算法……虽然精妙但一定有迹可循的问题斗争,失之毫厘谬以千里,考验智慧,更磨炼心性。 近似消息传递(AMP)算法是近年来信号处理领域的一项重要成果。在测量矩阵具有独立同分布的高斯元素条件下,AMP算法的性能可以非常神奇的由一个简单的状态进化方程完全刻画,并且与统计物理领域的复本方法预测的最优估计性能一致,因此受到了多个领域的研究人员的关注。2009年至2015年之间国内外多个研究组试图将AMP算法推广至更广泛的测量矩阵下,均没有得到类似的性能可简单刻画的算法。2015年,马俊杰与合作者偶然发现他们在通信领域的一个算法经过一些修改之后可以在一个特例下表现出与AMP算法类似的性质 2016年,他与合作者又进一步找到了取得这个性质的两个关键条件,终于成功提出一个AMP算法的推广,在非常一般的条件下保留了AMP算法的优美特性。马俊杰在与AMP算法提出者、哥伦比亚大学Arian Maleki副教授交流此项工作时,对方非常兴奋,并邀请马俊杰加入他的课题组继续博士后研究。 “有意思又有意义、有价值的课题肯定是全球的同行都在竞相研究,所以更需要一种无形的自驱力。” 马俊杰业余时间喜欢和爱人一起散步、宅家,喜欢读文学小说,也喜欢跑步。“跑步其实和做研究的状态是吻合的,一个人就可以进行,锻炼耐力、排解压力、保持心态平和”。 回国后求职时,马俊杰接到数学院offer的第一时间就决定加入,这是他心中学术气氛最浓厚纯粹的地方。学术大牛“浓度”极高,还有多位院士坐镇。入职不久,等电梯时马俊杰常与一位笑容和善、衣着朴素的老先生打照面,后来同事们告诉马俊杰,那位正是“传说中的元老级人物”,著名数学家王元院士。 “大牛太多了,自然就会受到一种熏陶,这些学术上非常厉害的人,我们每天都会碰到,在餐厅吃饭时经常能遇到。在一个同事们都很厉害的地方,会让人受到鼓舞,会更加保持谦卑之心,也更保持积极进取。”马俊杰说。03-12
2021殷涛:踏踏实实做好自己的科研工作
殷涛在高考填报志愿的时候,只是凭感觉就选了信息与计算科学,进入学校才知道这属于数学专业。本科毕业后,恰逢后来的博士导师徐立伟教授从美国回国工作,加上殷涛对偏微分方程数值解也非常感兴趣,就一直在重庆大学攻读到博士学位。导师对学生的影响是全方位的,不仅仅局限于学术上引导学生从懵懂走向独立,殷涛提到他的人生规划、价值观等都受到从博士到博士后的几位导师的影响。 殷涛回忆说,刚读博士的时候,导师给了他一个比较有挑战性的课题,关于弹性动力学方程的超奇异边界积分方程算子的可计算公式和数值实现。边界积分方程方法的一个基本问题就是奇异积分算子的计算。这个课题的研究过程非常坎坷,但在导师的鼓励下,殷涛并没有轻言放弃。虽然关于超奇异算子的可计算公式很快就在理论上推导出了结果,但是数值计算的程序一直有问题,也一时找不到问题所在,他和导师并不想委曲求全只发表理论结果。此后殷涛在做其他的课题期间也会不时地回过头来重新思考。直到他毕业答辩的前几天,这个困扰了将近四年的问题才被发觉,其实就是一个转置出现在了不该出现的地方,转头想来自己都觉得可笑。 近些年,殷涛和一些合作者将博士期间的工作发展到二维、三维(热、多孔)弹性波方程、基于Caldrón关系式的弹性波正则化积分方程以及弹性波奇异积分算子可计算公式在开放表面、半空间问题中的应用等等研究中。 博士期间受到国家留学基金委的资助,殷涛有幸去德国WIAS研究所的反问题课题组学习,在那里胡广辉教授带殷涛进入反问题的全新研究领域,并指导他做流固耦合反问题的研究工作。博士毕业后,殷涛在浙江大学(合作导师包刚教授)和法国格勒诺布尔大学(合作导师Faouzi Triki教授)进一步研究弹性波反散射问题。殷涛说:“正反问题的研究是紧紧联系在一起的,研究反问题的过程也让自己对正问题有了更深入的认识和理解。” 殷涛和加州理工学院Oscar Bruno教授的第一次相遇是在一次学术会议上,当时就被这位教授从事的高性能计算研究吸引。合作导师包刚教授一直鼓励他要勇于尝试新领域,但此前他从没有想过自己会得到这样的机会去加州理工学习深造。殷涛说,在加州理工博士后工作的压力是非常大的,因为优秀的人太多而且比自己还努力,在这样的环境下就要鞭策自己需要付出更多才不负韶华。 2021年初,殷涛正式入职中国科学院数学与系统科学研究院计算数学与科学工程计算研究所。殷涛说:“数学院吸引自己的一点是,这里是一个非常适合青年人做科研的地方。数学院给每一位年轻人提供了优质的发展平台和宽松的科研环境,这既是动力也是鞭策。对自己来说现在最需要的是坚持走好每一步,踏踏实实的做好自己的科研工作,也希望将来能在自己的研究领域有所突破。” 关于对科学与人生的理解,殷涛认为,科研工作有时候是孤独的,但科研之余的生活也可以丰富多彩。在欧洲读书的假期,他和小伙伴们的足迹遍布了德国乃至欧洲众多国家大大小小的城市;在法国,滑雪的魅力让他从门外汉变成铁杆的粉丝;在美国,自驾打卡一号公路,领略路上的美丽。旅途不仅仅可以让自己拓宽视野,有时候克服科研中遇到的困难可能就是身心放松时的灵光一闪。03-10
2021