PDF文库 - 千万精品文档,你想要的都能搜到,下载即用。

第二十九期(点击阅读).pdf

kong虚33 页 5.602 MB下载文档
第二十九期(点击阅读).pdf第二十九期(点击阅读).pdf第二十九期(点击阅读).pdf第二十九期(点击阅读).pdf第二十九期(点击阅读).pdf第二十九期(点击阅读).pdf
当前文档共33页 2.88
下载后继续阅读

第二十九期(点击阅读).pdf

国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 目 录 科研进展 人工心脏流固耦合模拟研究进展………………………………………………………………………材料环境部 2 基于嵌套高斯混合模型的图像或点云中的椭圆拟合研究进展………………………………………先进制造部 5 调控网络数学建模揭示干细胞分化关键转录因子……………………………………………………生物医学部 6 随机化调度程序的负载均衡博弈的效率研究进展…………………………………….……… 先进制造部 8 攻破 NIST 后量子密码标准候选算法 Compact-LWE 研究进展………………………………………..信息技术部 10 综合新闻 郭雷院士被 IEEE 控制系统学会授予 2019 年 Hendrik W. Bode Lecture Prize…………………...........信息技术部 12 吴文俊学术思想国际研讨会---纪念吴文俊先生百年诞辰在京召开…..………………………….王翠斌 13 田野研究员荣获 2018 中国科学院年度创新人物荣誉称号………………………………….………魏蕾 16 李雷研究团队成果入选 2018 年度―中国生物信息学十大进展‖………………......………………生物医学部 17 学术动态 综合报告七十九“Optimal energy-conserving discontinuous Galerkin methods for wave equations”….材料环境部 18 第七届数学、计算机与生命科学交叉研究青年学者论坛在京成功举行…………………… …………生物医学部 19 数学交叉文摘 中国科学院 2018 年度创新人物—数学家田野………………………………………………………………人民日报 21 重返数学史的黄金时代,由数学推动诞生的人工智能,一部人类智慧形成的历史……………………..数学中国 24 纪念数学家、系统与控制学家关肇直院士百年诞辰………………………………………......中科院数学院微信号 27 1 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 科研进展 人工心脏流固耦合模拟研究取得进展 文:材料环境部 在很多实际应用中,多个物理场(如温度 性都出现了明显恶化。心力衰竭一方面会导致心 场、应力场、速度场等)叠加在一起,这些物理 脏的力学性能恶化、心肌供血减少,另一方面还 场之间的相互作用给理论研究、实验以及数值模 会导致心脏的耗氧量增加、心脏负担加重。血流 拟带来了巨大的挑战。 多物理场耦合问题就是要 动力学与自主调节系统的这种恶性循环使得心 分析多个物理场之间的交互作用,例如:流固耦 衰病程会逐渐加重,也使心衰成为难治性心脏病 合分析、热应力问题、压电分析等等。多物理耦 之一。人工心脏(LVAD)作为打破心衰的恶性 合问题的数值模拟不仅需要求解多个不同物理 循环的有效治疗方法,近年来引起了广泛的关注。 场(不同模型、不同尺度、不同特性),还需要 中国每年有 800 万左右患者等待心脏外科治疗, 解决它们之间的非线性耦合。设计适合多物理耦 其中等待心脏移植的患者每年超过一万人, 这些 合问题的高效数值求解方法、高效地使用并行计 患者中的大多数不适合做心脏移植或需要等待 算机进行大规模数值模拟、 提高算法的可扩展性 移植,只能靠人工心脏维持生命。 和计算效率等是求解复杂耦合问题的重点。 流固 研究发现,长期使用人工心脏辅助治疗会 耦合问题是多物理场研究的热点问题之一, 它是 产生一系列心脏形态功能、循环系统血流动力学、 一类典型的高性能科学计算问题, 其应用涵盖了 自主调节系统活性以及人体内环境方面有利的 许多重要的高性能计算领域,其数值模拟亦涉及 改变。但研究也发现不适当的 LVAD 辅助水平 到大的共性计算方法, 如网格变形、 多网格匹配、 和辅助时间会损伤心脏与血管的结构与功能。目 界面问题、非线性耦合求解等。 前,在 LVAD 对循环系统血流动力学影响机理 心力衰竭(心衰)是血管疾病的最终阶段, 方面,血流动力学数值模拟与循环系统流固耦合 高血压、动脉狭窄、缺血性心肌病等各种心血管 模拟起到至关重要的作用。但是,由于循环系统 疾病都可能导致心衰的发生。研究表明,心衰患 的几何结构复杂性、生物组织材料的非线性、以 者的心脏力学特性与循环系统的血流动力学特 2 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 及流固耦合算法的复杂性, 对人工心脏泵及心血 台,完成了相应算法的数值实验并进行了实验验 管的数值模拟还存在着很多困难。 证。项目组完成了一套流固耦合模拟并行软件平 流固耦合模拟是解决临床心血管系统的血 台、发表学术论文 45 篇、实验报告 1 份、获得 流动力学问题的重要方法之一,然而心血管系统 专利 6 项、毕业博士生 7 人、培养博士后 2 人、 模型的复杂性导致现有流固耦合计算软件不能 举办流固耦合数值模拟国际学术会议 2 次和国 满足临床需求。首先,心血管系统的空间具有不 内学术会议 2 次。 规则、非对称以及血管壁分层等特点。为了获得 可靠的计算结果,需要增加血管壁的网格数,使 用较小的网格尺寸。这样做就导致模型网格数急 剧增多,增加了流固耦合的计算量。其次,血管 壁的力学特性复杂,目前研究认为血管壁是一种 各向异性的超弹性材料。 这种复杂的本构关系会 极大增加流固耦合的计算量并增大流固耦合算 法收敛的难度。最后,由于在一个心动周期内, 血管会发生较大形变, 传统的流固耦合算法不能 很好地解决模型大形变的问题,常会计算不收敛。 图 1 利用流固耦合数值模拟人工心脏优化设计 交叉中心能源环境部的张林波、郑伟英、 张晨松和冷伟与北京大学、北医三院、北京工业 通过动物实验确定了 BJUT-II 型人工心脏 大学的研究人员合作, 对人工心脏泵的流固耦合 的血流动力学特性达到临床应用水平,从而验证 模拟进行研究, 针对流固耦合问题进行了高效并 了项目所设计的人工心脏流固耦合模拟算法的 行数值算法研究, 所取得的研究成果被应用于一 有效性,为后续人工心脏的快速迭代优化奠定了 些心血管疾病的预测和治疗。由于心血管系统模 型的复杂性高和计算规模大,传统算法的稳定性、 坚实的基础。项目组成功地进行了六例人工心脏 动物实验(实验对象为羊、 猪等大型哺乳动物) , 收敛性以及计算效率难以满足需要, 项目组从建 全部实验动物均健康、长期存活,人工心脏目前 模、离散、求解、并行等几个方面对心血管环境 已经达到临床应用水平。北京工业大学团队在 下的人工心脏泵问题和动脉瘤问题开展共性数 2015 年北京科技周期间,对参观的民众进行了 值方法研究, 设计并实现了流固耦合并行软件平 科普宣传,讲授人工心脏的原理和治疗效果。 3 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 项目组通过开展流固耦合的并行数值算法 脉瘤的预测与治疗,并利用实验数据对数值算法 研究,研发一批共性的高效计算方法和程序,解 进行了检验和调优,这些结果对制定心衰、动脉 决流固耦合并行模拟中的一些共性瓶颈问题。这 瘤等疾病的治疗策略、提高患者的术后生存率与 些数学模型和数值方法的研究对大规模流固耦 生活质量有重要意义。本项目所取得的成果与经 合系统的模拟可以发挥重要作用。 在此基础之上, 验也会对其它多物理耦合数值模拟(如水轮机、 本项目与应用紧密结合, 特别是针对心血管疾病 发动机的优化设计、评估和预测等)产生借鉴意 诊断和治疗这个关系民生的应用领域,将流固耦 义。 合数值模拟应用于人工心脏泵的设计和腹主动 图 2: 人工心脏的动物实验 图 3: 在北京科技周的科普介绍 4 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 基于嵌套高斯混合模型的图像或点云中的椭圆拟合研究进展 文:先进制造部 从图像或散乱点云数据中识别椭圆是计算 结果也未必是椭圆。高斯混合模型起初用于点集 机视觉和模式识别领域的基本重要问题,在不同 配准问题,后来被用作椭圆检测,表现出一定的 领域都有大量应用。如位姿估计、相机校准、卫 鲁棒性,然而初始位置的随机选取,仅仅依赖欧 星定位、生物细胞检测、人脸识别等。但是,由 式范数优化目标函数会造成真值的偏离。 于获取的数据往往存在噪声,野点等的干扰,准 先进制造部贾晓红、赵明阳等科研人员针 确快速地识别椭圆仍是一个困难的问题,尤其对 对现有高斯混合模型算法的缺陷,提出一种基于 于需要高精度椭圆参数的任务,如航天飞行器的 嵌套高斯混合模型的椭圆拟合方法, 该方法采用 对接等。因此,鲁棒高精的椭圆检测及拟合算法 自外向内的嵌套拟合方法,通过设计新的基于距 一直是计算机视觉和模式识别领域的基本问题, 离密度的误差度量,在模拟退火过程中使用最小 在过去的几十年中得到了广泛的研究。 化代价函数的优化手段, 给出了高精度的椭圆拟 目前常用的两种拟合方法是参数估计法和 合结果,在相机校准,位姿估计等领域有很好的 最小二乘法。参数估计法一般指霍夫变换和随机 应用价值。 采样一致性法, 这两种方法需要提前设置合理的 相关论文: 参数阈值,这在实际中很难做到,而且对计算机 M. Zhao1, X. Jia*, D. Yanand L. Fan.Robust Ellipse Fitting Using Nested Gaussian Mixture 的内存需求较大。 最小二乘法包括代数距离和几 Models. Submitted to IEEE Transactions on 何距离的拟合准则,对野点都非常敏感,而且基 Pattern Analysis and Machine Intelligence, 2019. 于几何距离的拟合方法需要好的初值,最终拟合 5 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 调控网络数学建模揭示干细胞分化关键转录因子 文:生物医学部 国际权威学术期刊《细胞—干细胞》(Cell 干细胞为人类疾病治疗带来了希望,然而如 Stem Cell)最近在线发表了由中国科学院数学与 美国国家卫生研究院国立普通医学科学研究所 系统科学研究院和美国斯坦福大学科研人员合 干细胞生物学基金监管人 Marion Zatz 说:―干细 作的干细胞分化的基因调控网络建模成果。 这一 胞研究中面临的最大挑战之一就是如何调控干 成果提出了利用匹配的基因表达和染色质可及 细胞转变为一种特异的细胞类型‖。针对这一重 性数据刻画转录因子和调控元件结合调控下游 要的科学问题,王勇研究员与斯坦福大学统计系 基因表达的数学模型, 构建了描绘细胞状态转化 Wing Hung Wong 教授、医学院皮肤系 Anthony 的染色质调控网络,通过网络分析鉴定出 Oro 教授,Howard Chang 教授,李令杰博士等 TFAP2C 和 p63 分别为表面外胚层起始和角质形 紧密合作, 设计实验获取了从全能性干细胞向表 成细胞成熟的关键因子, 并揭示了谱系定型过程 皮角质细胞分化期间的匹配的染色质可及性和 中 TFAP2C-p63 对表观遗传转换的反馈调节机 基因表达时间序列数据,提出了针对转录因子- 制。 可及调控元件-靶基因三元组的网络推断模型, 6 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 揭示了干细胞分化过程中的两个关键的过渡期: 控元件 RE 相互作用网络推断的新方法 PECA。 表面外胚层起始阶段和角质形成细胞成熟阶段, PECA 重点对转录调控的三个关键环节进行建 并分别将 TFAP2C 和 p63 鉴定为谱系起始和成 模:一,基于 CR 与序列特异性 TF 的相互作用 熟的关键转录因子。通过功能实验发现 TFAP2C 推断 CR 在 RE 上的结合位点;二,基于 CR 的 而非 p63 足以启动表面外胚层分化,TFAP2C 启 结合和 RE 的可及性,预测 RE 的激活状态;三, 动的祖细胞能够成熟为功能性角质形成细胞。机 基于激活 RE 上结合的 TF 预测目标基因的表达。 制上,TFAP2C 引发表面外胚层染色质状态变化 PECA 应 用 到 “ DNA 元 件 百 科 全 书 ” 计 并诱导 p63 表达, 从而允许成熟因子 p63 正向自 划 (Encyclopedia of DNA elements , 简 称 动调节其表达并关闭 TFAP2C 早期启动的部分 ENCODE)中的多细胞类型的匹配的染色质状 原始基因,推动分化过程的完成。该工作提供了 态和基因表达数据上,构建了细胞特异的调控网 一个总体建模框架来推断控制染色质状态转换 络。此次针对干细胞分化的时间序列数据的建模, 的调控网络,有望促进未来再生医学的进步。 发现重要转录因子及其反馈调控机制,是该建模 王勇研究员长期关注对基因表达水平进行 框架的又一成功应用。用数学模型来解读这些重 精准控制的调控网络的数学建模, 之前与合作者 要的数据, 将极大地促进我们对后基因组时代基 发展了转录因子 TF,染色质调控因子 CR 和调 因调控网络的理解。 图 4:基于干细胞分化过程的转录因子 -可及调控元件-靶基因三元组的网络推断模型 图 5:表皮角质细胞分化起始和成熟阶段的调控网络 7 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 这项研究得到中科院 B 类先导专项、国家 Zhen, Fengqin Fang, Zhana Duren, Jingxue Xin, 自然基金委的经费资助。 中科院数学与系统科学 Sadhana Gaddam, Sandra P. Melo, Samantha N. 研究院的研究生都仁扎那、信晶雪、陈浪参与了 Piekos, Jiang Li, Eric J. Liaw, Lang Chen, Rui Li, 数据建模与计算。 Marius Wernig, Wing H. Wong, Howard Y. 原文信息: Chang, Anthony E. Oro. Cell Stem Cell, TFAP2C- and p63-Dependent Networks VOLUME 24, ISSUE 2, P271-284.E8, 2019. 原文链接: Sequentially Rearrange Chromatin Landscapes to Drive Human Epidermal Lineage Commitment. https://www.cell.com/cell-stem-cell/fulltext/S1934 Lingjie Li, Yong Wang, Jessica L. Torkelson, -5909(18)30602-7 Gautam Shankar, Jillian M. Pattison, Hanson H. 随机化调度程序的负载均衡博弈的效率研究进展 文:先进制造部 纳什均衡是一个关于理性行为的解的重要 设施,还依赖于他在这个排序中的位置。粗略地 概念,它指的是这样一种状态:没有局中人有动 说,对于一个局中人而言, 排在他前面的人越多, 机单方面背离他的选择。为了评估均衡的效率, 他所产生的费用就越多。 这个模型刻画了实际生 通常使用的一种标准度量是无政府代价(price of 活中的很多事例。 它可以被看作是对一种分层系 anarchy),它等于最坏纳什均衡下的社会费用与 统的改进,在这种系统中,高等级的人被赋予优 最优解对应的社会费用之比。 先接受服务的权利。值得注意的一点是,虽然局 在负载均衡博弈(load balancing game)中, 中人的费用既依赖于他的策略(选择)又依赖于 一个随机化调度程序随机地选取一个对所有局 所有局中人的排序,但是社会费用只取决于局中 中人的排列,并将它作为在所有设施上局中人们 人的选择,而与他们的排序无关。一旦所有人都 的排序。 一个局中人的费用不仅依赖于他选择的 做出了选择,无论他们的排序是怎样的,社会费 8 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 用都是确定的——它等于所有在其所选设施上 每个局中人都力求选择一个最小化其成为输家 排在末位的局中人的费用的最大值。 可能性的设施,输家即产生费用最多的那个人。 在带有随机化调度程序的负载均衡博弈中, 与之相反,‗赢或者回家(win-or-go-home)‘准 人们可能更想要优化某些其他的目标,而不是如 则代表了另一种极端的态度:最大化成为赢家的 上所述的最小化各自的(随机)费用。例如,一 可能性,赢家即产生费用最少的那个人。另外两 个热门节目的购票渠道即将开启, 人们可以通过 个比较温和的准则分别是‗平均案例分析 电话订票、 网上订票或在售票处排队等不同渠道 (average-case-analysis)‘和‗最小化最大后悔值 购票。一方面,主办方希望各个渠道可以均衡分 (minimax-regret)‘。当局中人都遵循‗平均案例 担流量,以免某些渠道因过于拥塞而崩溃,并且 分析‘准则时,每个人都假设自己会排在所选设 这样门票也能够尽快售罄。另一方面,人们根据 施上的所有局中人的中间位置(无论随机化调度 以往的信用、消费水平或一些随机因素被分为不 程序选择了哪种排序),并且想要最小化其平均 同的等级,等级越高的人会越早被接待。每个人 费用。而当局中人都遵循‗最小化最大后悔值‘准 都想成为所有人中第一个接受服务的人,这样他 则时,每个人的目标都是最小化他在所有可能排 就可以从尽可能多的可选座位中进行选择。 因此, 序中的最大后悔值,其中,局中人在一个排序中 此时每个人的目标都是最大化其成为第一个被 的最大后悔值等于他当前的费用和他在这个排 接待顾客的可能性。这其实就是‗赢或者回家 序下选择另一个设施可能产生的最小费用之间 (win-or-go-home)‘准则的一个示例。给定任意 的差值。 一个负载均衡博弈的实例(由局中人、设施以及 她们的研究结果可有助于确定在上述博弈 各设施的费用函数组成),不同的准则通常定义 模型中的表现良好的准则。当局中人按照‗末位 了不同的纳什均衡集, 并将由此对无政府代价的 出局‘的准则保守地选择设施时,所有纳什均衡 值产生影响。 的效率都是令人满意的。而当他们遵循‗赢或者 信息技术部陈旭瑾的研究小组最近研究了 回家‘准则时,所有人都争当第一,此时某些纳 一类带有随机化调度程序的对称负载均衡博弈, 什均衡可能效率非常低, 这意味着就负载均衡而 其中,局中人带有单位权重。她们研究了该问题 言,过度竞争并不是一件好事。在‗平均案例分 的无政府代价(即所有实例中无政府代价的最大 析‘准则下,纳什均衡是高效率的,这说明一种 值),其中,所有局中人都遵循以下四个决策准 既不保守也不激进的态度是有利于负载均衡的。 则之一。在‗末位出局(bottom-out)‘准则下, 而若局中人采用‗最小化最大后悔值‘准则,那么 9 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 当局中人数量远远超过设施数量时, 纳什均衡的 Optimization and Applications (COCOA'2019)接 效率是很高的。 受。 她们的研究论文已经被 The 13th Annual International Conference on Combinatorial 攻破 NIST 后量子密码标准候选算法 Compact-LWE 研究进展 文:信息技术部 近年来,量子计算机技术发展迅速,它对 标准,并于 2017 年底完成了首轮候选算法的征 传统公钥密码算法的安全性带来了潜在的巨大 集工作。 威胁。因此,美国、中国、欧盟等世界主要国家 在所有候选算法中,基于格的密码算法是 和地区纷纷开始研制抗量子计算机攻击的密码 数量最多的一类, 其基于的主要数学问题是带错 算法。其中,美国国家标准与技术研究院 学习问题(LWE)及其变种、NTRU 求逆问题等。 (National Institute of Standards and Technology, Compact-LWE 算法由澳大利亚联邦科学与 NIST)于 2016 年面向全球征集抗量子密码算法 工业研究组织(CSIRO)的 Liu,Li,Kim 和 Nepal 10 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 所提交,其本质上是基于 LWE 的密码算法的推 话密钥对明文进行对称加密,而解密时,首先恢 广。LWE 问题由于其取自离散高斯分布的错误 复该内积,然后利用其进行解密。设计者认为在 项比较小,易遭受来自格算法的攻击。因此,在 唯密文攻击模型下,从密文恢复 l 是不可行的, 构造 Compact-LWE 的时候,设计者试图将错误 因而不可能有效地从密文恢复明文。然而,解密 项增大,使得格攻击失效,从而仅需要较小的参 真正需要的是 l 和 u 的内积,而不是 l。从而, 数, 就可以在保证算法效率的同时获得足够的安 可以利用格基约化算法恢复出向量 l',虽然 l'和 全性。然而,LWE 问题中较小的错误为构造基 l 可能不同,但其和 u 做内积后得到的 d 与之前 于 LWE 的密码算法提供了非常便利的条件。如 完全相同,因此,利用 d 就可以恢复出相应的明 果将错误项增大,Compact-LWE 势必需要引入 文。另外,他们同时考虑了对 Compact-LWE 的 特殊的结构来保证解密的正确性。 而这些特殊的 私钥恢复攻击。该攻击主要利用正交格、格基约 结构,恰恰成为了 Compact-LWE 的弱点所在。 化、交格等技术,充分利用公私钥之间的代数关 虽然设计者认为 Compact-LWE 能完美抵 系,一步步地恢复出等价私钥。针对 抗格算法的攻击, 但信息技术部潘彦斌等研究人 Compact-LWE 的参数选取,实验表明,他们的 员[1]发现,通过格基约化技术,可以在唯密文 攻击总能成功。因此,Compact-LWE 加密算法 攻击模型下有效地恢复出其明文。实际上, 并不安全。 Compact-LWE 在加密过程中首先加密一个秘密 由于他们的攻击,Compact-LWE 加密算法 向量 l,然后将 l 和公钥 u 的内积 d 作为临时会 未能进入 NIST 后量子密码标准化的第二轮。 11 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 综合新闻 郭雷院士被 IEEE 控制系统学会授予 2019 年 Hendrik W. Bode Lecture Prize 文:信息技术部 近日,在美国迈阿密举行的第 57 届 IEEE 控制科学家,是目前国际自动控制领域最有声望 决策与控制大会(The 57th IEEE Conference on 和影响的学术荣誉之一。 获奖者被邀请在当年召 Decision and Control)的颁奖仪式上,IEEE 开的国际控制系统领域影响最大的年度会议 控制系统学会(IEEE Control Systems Society) “IEEE 决策与控制大会”上作获奖大会报告 主席 Francesco Bullo 教授宣布:郭雷院士被授 Bode Prize Lecture。郭雷院士将应邀出席 2019 予“2019 年 IEEE 控制系统学会 Hendrik W. Bode 年 12 月在法国尼斯举行的 IEEE 决策与控制大会、 Lecture Prize”。郭雷院士成为历史上获此殊 参加颁奖仪式,并在其获奖报告(Bode Prize 荣的首位华人科学家。 Lecture)中介绍其重要研究成果。 该奖以著名的现代控制理论与电子通信先 郭雷,我国著名系统与控制科学家,现任 驱——Hendrik W. Bode 的名字命名,每年由 中国科学院数学与系统科学研究院特聘研究员、 IEEE 控制系统学会在世界范围内遴选颁发给系 中科院国家数学与交叉科学中心主任。1982 年 统控制领域的一位杰出学者,以表彰其对控制系 毕业于山东大学数学系,1987 年在中科院系统 统科学或工程的重大贡献。自 1989 年该奖设立 科学所获博士学位。1993 年因解决了著名自校 以来,曾先后颁发给 David Luenberger, Petar 正调节器的稳定性与收敛性这一长期悬而未决 V. Kokotovic,Brian D.O. Anderson,Graham C. 的理论难题,被国际自动控制联合会世界大会授 Goodwin,Alberto Isidori,Eduardo D. Sontag, 予青年作者奖。1998 年当选美国 IEEE 会士, Lennart Ljung, Tamer Basar 等 30 位国际著名 2001 年当选中国科学院院士,2002 年当选发展 12 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 中国家科学院院士,2007 年他因为“在随机系 皇家理工学院(KTH)授予荣誉博士学位。他曾 统的自适应估计与自适应控制理论、 以及反馈机 经先后两次应邀在国际自动控制联合会(IFAC) 制的最大能力研究方面所做出的根本性贡献” 三年一度的世界大会上作一小时大会报告,是 而当选国际自动控制联合会会士,2007 年当选 IFAC 成立 60 年来迄今唯一中国大陆学者。 瑞典皇家工程科学院外籍院士,2014 年被瑞典 吴文俊学术思想国际研讨会---纪念吴文俊先生百年诞辰召开 文:王翠斌/ 图:王林 13 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 2019 年 5 月 12 日是吴文俊先生百年诞辰纪 念日,吴文俊学术思想国际研讨会---纪念吴文 俊先生百年诞辰在京召开。来自国内外拓扑学、 数学机械化、人工智能与数学史领域院士专家、 吴文俊先生的亲朋好友及社会各界人士齐聚中 国科学院数学与系统科学研究院(以下简称“数 学院”),共同深切缅怀吴文俊先生的卓越成就 化和中国数学史上都有突出的高度原创成果,背 及其献身祖国科学事业的崇高精神。 后则是深邃的精神思想留给后人。同时,他特别 本次纪念大会是由数学院主办, 数学机械化 指出吴先生有一颗单纯的心,不论对数学还是人 重点实验室承办。数学院院长席南华院士,中国 生,尤为可贵。吴先生为大家树立楷模,在此深 数学会理事长袁亚湘院士, 中国工业与应用数学 深地感激他。 学会理事长张平文院士, 中国人工智能学会理事 长李德毅院士, 中国科学技术大学校长包信和院 士,中国科学院前沿局王永祥研究员,国家自然 科学基金委数理学部赵桂萍,北京大学教授姜伯 驹院士,数学院陈翰馥院士、林群院士,广州大 学计算科技研究院名誉院长张景中院士,数学院 李邦河院士,中科院国家数学与交叉科学中心主 任郭雷院士,南开大学张伟平院士,首都师范大 高小山研究员向大家介绍了吴文俊先生的 学副校长方复全院士,欧洲科学院院士、北京航 生平介绍。 同时, 他指出, 为了纪念吴文俊先生, 空航天大学王东明教授, 数学院党委书记兼副院 《吴文俊全集》已获得国家出版基金的资助并顺 长武艰,数学院常务副院长高小山研究员等 260 利出版。 余人出席了会议。会议由高小山研究员主持。 接着,袁亚湘院士、张平文院士、李德毅院 席南华院士首先代表数学院向前来参加纪 士和包信和院士分别代表中国数学会、中国工业 念会的嘉宾朋友表示感谢, 他指出吴先生的一生 与应用数学学会、 中国人工智能学会和中国科学 是色彩丰富的,给大家留下丰富的遗产。吴先生 技术大学致辞。袁亚湘院士指出吴先生在担任中 在学术上坚持走自己的路,在拓扑学、数学机械 国数学会理事长期间,领导中国数学成功地加入 14 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 国际数学联盟, 大大提高了我国数学界在国际的 发言的最后一位嘉宾是吴先生的女儿吴星 地位。另外,吴先生为天元数学基金的发展、国 稀女士,她回忆了父亲给予子女及年轻后辈的关 家数学学科战略发展以及我国数学人才培养等 心指导,并和家人一起为吴文俊计算机数学青年 很多方面都起了重要作用。 张平文院士指出吴先 学者奖捐款,以纪念珍惜吴先生对数学、对年轻 生高瞻远瞩,弘扬历史,感恩报国,是真正的学 人的关爱。 者。他为学术发展和学科建设,支持年轻科研和 嘉宾发言结束之后,Jean-Paul Brasselet, 经费方面,做出了数学界公认的贡献。李德毅院 方复全院士,李邦河院士,高小山研究员和李文 士感谢吴文俊院士对人工智能做出的贡献, 并希 林研究员给大家带来了精彩的学术报告,分别为 望能和中科院一起,把数学、拓扑学等更好地提 “ On the Contribution of Wu Wen-Ts ün to 升到人工智能领域。 包信和院士感谢吴文俊先生 Algebraic Topology”、“吴文俊对拓扑学的伟 对中国科技大学学科建设发展做出的贡献, 并表 大贡献”、“希尔伯特第 15 问题和 Ritt-吴方 示希望与数学界同仁一起共建世界一流的数学 法”、“吴文俊与数学机械化”和“吴文俊与中 学科,培养世界一流的数学人才。 国数学史”。与会人员更加深了对吴先生学术贡 中科院前沿局王永祥分别从吴先生的学术 献的认识。 成就、 爱国情怀以及如何应对数学卡脖子问题三 下午,在余有成教授、李邦河院士、李文林 方面进行了发言, 指出后人要好好学习吴学派及 研究员和刘卓军研究员的召集下,相关人员分别 他这一代的学者精神。 国家自然科学基金委数理 围绕人工智能、拓扑学及中科大“吴龙班”、数 学部赵桂萍指出吴先生对天元数学基金做出了 学史和数学机械化四个方向进行了座谈。与此同 的重要贡献,并表示他的学术思想和崇高精神值 时,为纪念吴文俊先生诞辰 100 周年,赋能未来: 得后人学习。 吴文俊人工智能科学技术奖获奖者学术报告会 随后, 出席纪念会的北京大学教授姜伯驹院 也在数学院举行。清华大学的唐杰教授、孙富春 士、广州大学张景中院士、数学院林群院士、南 教授、马惠敏副教授和李刚研究员分别作了“图 开大学张伟平院士、Erich Kaltofen 教授、北 神经网络算法及其应用”、“后深度学习的 AI 京航空航天大学王东明院士分别与大家分享了 做什么”、“三维场景图像认知与多模态学习” 与吴先生交往的经历, 回忆了吴先生的学术贡献 和“雷达人体行为感知”的报告。 和思想。 15 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 田野研究员荣获 2018 中国科学院年度创新人物荣誉称号 文:魏蕾/ 图:王林 进“讲爱国奉献、当时代先锋”主题活动的一 项重要内容。目的是通过大力挖掘选树身边人 的先进事迹,激励更多的科技工作者开拓进取, 争当先锋,让爱国奋斗精神成为全院的时代风 尚、价值追求。本次活动于 2018 年 9 月开始, 20 个人物与团队获得提名,经会议初评、网上 投票、中科院党建工作领导小组审定等多个环 节的严格遴选,最终评选出 2 名“年度创新人 1 月 21 日下午,中国科学院召开“讲爱国奉 物”、2 名“年度感动人物”和 2 名“先锋人物”。 献、当时代先锋——2018 中国科学院年度人物 及团队发布会”,中科院系统共 6 名个人、2 个 团队获得这一荣誉,这也是中国科学院首次评选 表彰这一殊荣。 田野研究员荣获 “年度创新人物” 荣誉称号。 本次年度人物及团队评选活动是中国科学 院贯彻落实《中共中央组织部 中共中央宣传部 关于在广大知识分子中深入开展“弘扬爱国奋斗 精神、建功立业新时代”活动的通知》,深入推 16 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 李雷研究团队成果入选 2018 年度“中国生物信息学十大进展” 文:生物医学部 近日,李雷研究团队发表于《生物信息学》 究团队原创的 SEME 映射算法实现。BAUM 通 期 刊 的 文 章 ―BAUM: improving genome 过调整映射唯一性准则, 量化基因组中由重复序 assembly by adaptive unique mapping and local 列导致的不确定性。该方法被成功地运用到了高 overlap-layout-consensus approach‖,经《基因组 原鼢鼠、鼠兔等基因组的拼接。由于采用逐步逼 蛋 白 质 组 与 生 物 信 息 学 报 》 , 简 称 GPB 近方法,BAUM 可以成为整合不同测序平台数 (Genomics, Proteomics and Bioinformatics) 评审, 据的工具。 入选 2018 年度“中国生物信息学十大进展”。 原文信息: 高质量的基因组是进化与遗传研究、精准 Wang A, Wang Z, Li Z, Li LM. BAUM: 医疗的基石。基因组拼接是以高通量测序技术为 improving genome assembly by adaptive unique 基础的核心计算生物学问题。李雷研究团队将计 mapping 算数学中的迭代、 逐步逼近方法用于基因组拼接, approach. 研发了新方法 BAUM。BAUM 拼接方法的核心 and 17 overlap-layout-consensus Bioinformatics PMID: 29346504 是以不同的准则反复映射序列,这可以通过该研 local 2018;34:2019–28. 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 学术动态 综合报告七十九:舒其望教授谈“Optimal energy-conserving discontinuous Galerkin methods for wave equations” 文/图:材料环境部 的保能量格式——中心格式在数值上通常不能 达到最优的收敛阶。舒其望教授及其合作者通过 引进对偶问题,设计了一类不多于两倍自由度的 保能量格式。这类格式在数值上表现出了最优收 敛阶,并且对于一维的半离散格式等特殊情况, 该最优收敛阶也有理论的保证。最后舒其望教授 2019 年 3 月 27 日下午, 美国布朗大学舒其 展示了若干数值实验以证明这类保能量格式的 望教授应国家数学与交叉科学中心邀请在数学 优良表现。 院 南 楼 作 了 题 为 ―Optimal energy-conserving 舒其望教授简介:美国布朗大学 Theodore wave B. Stowell 应用数学讲座教授,中国科学院数学 equations‖ 的综合报告。包括石钟慈院士、袁亚 科学卓越创新中心杰出访问学者。舒其望教授现 湘院士、 陈志明院士在内的多位来自数学院及周 任 计 算 数 学 国 际 期 刊 Journal of Scientific 边高校、研究所的科研人员、访问学者及研究生 Computing 主编,同时还担任多个国际学术期刊 参加了本次报告会。报告会由计算数学与科学工 的 编 委 , 其 中 包 括 Journal of Computational 程计算研究所所长、交叉中心材料环境交叉研究 Physics 和 Mathematics of Computation。他曾获 部副主任周爱辉研究员主持。 第一届冯康科学计算奖(1995 年)和 SIAM/ACM discontinuous Galerkin methods for 舒其望教授首先指出在使用间断有限元 计算科学与工程奖(2007 年)。现任美国工业 (DG)方法求解许多含时偏微分方程时,数值 与应用数学学会会士(2009 年首届当选)及美 格式的保能量性具有很重要的意义。但是,传统 国数学学会会士(2012 年首届当选)。 18 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 第七届数学、计算机与生命科学交叉研究青年学者论坛在京举行 文/图:生物医学部 2019 年 5 月 18 日至 19 日,第七届―数学、 在为期两天的论坛中,21 位科学家与 8 位 计算机与生命科学交叉研究‖青年学者论坛在北 青年博士或教师分别作了学术报告, 论坛主题着 京成功召开。该论坛由中国科学院数学与系统科 眼于数学理论、计算算法与重要生物问题的交叉。 学研究院/国家数学与交叉科学中心张世华研究 论坛的报告内容涵盖了基因组数据组装与分析 员和中国科学院遗传与发育生物学研究所王秀 技术、染色体高级结构数据解析、单细胞测序数 杰研究员共同发起和组织, 论坛的指导委员会包 据分析技术、进化机制及功能基因组研究等前沿 括陈润生院士、 郭雷院士和马志明院士等领域内 研究领域, 论坛的特邀报告人包括中国农业科学 资深专家。 来自国内外 200 余家科研院所与高校 院农业基因组研究所所长黄三文研究员、北京大 的专家学者和学生以及中国科学院青年创新促 学定量生物学中心汤超教授、哈尔滨医科大学生 进会会员等共 600 余人出席了会议。 物信息科学与技术学院院长李霞教授、清华大学 -北京大学生命科学联合中心汤富酬研究员、中 19 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 国科学院昆明动物所宿兵研究员、 宾夕法尼亚大 本届论坛的组织单位包括中国科学院数学 学费城儿童医院邢毅教授等领域内知名专家。论 与系统科学研究院与国家数学与交叉科学中心、 坛报告精彩纷呈、高潮迭起,吸引了与会代表的 中国科学院遗传与发育生物学研究所分子系统 热烈提问和讨论。此外,八位青年教师和博士生 生物学研究中心、中国运筹学会、中国细胞学会 也进行了简短的墙报报告交流。在论坛最后的互 功能基因组信息学与系统生物学分会、中国科学 动交流环节中, 宾夕法尼亚大学费城儿童医院邢 院青年创新促进会,论坛感谢贝瑞基因、果壳生 毅教授、 中国科学院昆明动物研究所宿兵研究员、 物、并行科技、诺禾致源、JGG 与 GPB 杂志社 香港科技大学王吉光教授和北京大学国家数学 的大力支持。 中心张磊研究员一起同会议现场的青年教师和 学生们分享如何发表高质量论文的宝贵经验。 20 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 数学交叉文摘 中国科学院 2018 年度创新人物数学家田野 —— “感谢坐冷板凳的那六年”(治学) 文章来源: 人民日报 作者: 吴月辉 时间: 4 月 11 日 中科院数学与系统科学研究院研 究员田野被授予了年度创新人物,鲜少 出现在媒体和公众视野的他,在数学方 面的成就却在中国乃至国际数学界堪 称斐然。其中,最为人称道的是他对著 名七大数学―千禧问题‖之一的 BSD 猜 想给出了接近最终答案的线索。 想为祖国数学的发展贡献心力 他是中国科学院年度创新人物,对著 2000 年,美国克雷数学研究所公布 名的数学难题给出了接近最终答案的 了千禧年七大数学难题,著名的 BSD 线索。 在他看来,兴趣和热爱才是最好的 猜想就位列其中。这个猜想与同余数问 老师,他从小就对数学有浓厚的兴趣, 题(即是判断哪些整数是同余数)有紧 学成归国后甘坐冷板凳,最终确定了自 密联系,最早源于公元 972 年的一份阿 己的研究领域和方向。 拉伯手稿。 这恰好是田野一直以来关注和研 他相信,当积累和思考达到一定程 究的数论领域。2012 年,田野证明出了 度,灵感迸发便能水到渠成。 存在无穷多个素因子个数为任何指定 不久前,2018 中国科学院年度人物 正整数的同余数,这是在同余数问题上 和年度团队在京发布。 21 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 的一个里程碑式的突破,数学界有观点 兴趣和热爱,是他最大的动力 认为这个工作为解决 BSD 猜想提供了 ―兴趣,兴趣,还是兴趣!‖田野觉 崭新的思路。成果发表在世界四大著名 得,发自内心的兴趣是他研究数学的最 学术期刊之一的《美国科学院院报》, 大动力,也是他一直保持旺盛精力的秘 并被国际同行评价为―中国继陈景润之 密源泉。―我认为天赋当中很重要的部 后最好的工作‖。 分,是对数学的痴迷和喜好,这样才能 获得如此高的赞誉,田野非常开心。 真正成就一个数学家。‖田野说,―而且, 从小就对数学有浓厚兴趣的他,一直视 很多伟大的数学家也并不像大家想象 陈景润为偶像。因此,当田野从美国哥 的那样能解决任何数学问题,无所不 伦比亚大学博士毕业时,拒绝了国外优 能。‖ 越的工作邀请,选择回到偶像曾工作过 对此田野深有体会。在美国的那几 的中科院数学与系统科学研究院。更重 年,他接触到了不少著名数学家。―他 要的原因,还有挥之不去的家国情怀, 们也会有找不到思路、演算不出结果的 他 想 ―为 祖国 数学 的 发展 贡 献一 份心 时候。但这并不影响他们的伟大,反而 力‖。 让人觉得更真实和亲切。我们去认识一 回国后的前 6 年里,田野一直在坐 个数学家时,更重要的应该是去发现其 ―冷板凳‖。―这是每个数学家都会经历 思想中的闪光点。而不是关注他是否每 的阶段,这个摸索阶段如何度过?‖田 道题都解答得很完美。‖ 野说,―保持兴趣。‖ 在跟数学大师们的交流互动中,田 功夫不负有心人,6 年后田野终于 野对数学的认识和理解也更为深刻。 在 BSD 猜想上取得了重大突破。回头 ―创新是数学的灵魂。数学家要敢于怀 看,田野―很感谢坐冷板凳的那 6 年‖, 疑‗公认的‘真理,敢于向传统观点发起 也坦言这 6 年是他研究状态上最愉快的 挑战,这是推动数学发展的关键力量。‖ 6 年。―这无关荣誉,我找到了更感兴趣、 在很多人的印象当中,数学家的工 更加深入的研究领域和方向。‖ 作场景就是每天埋头在草纸堆里演算, 自由思考、厚积薄发,一直是田野 枯燥且乏味。 喜欢的学术氛围,他所追求的不是多发 田野说,演算的确要做,但思考也 表文章,而是能攀登科学高峰,对人类 是非常重要的工作方式。他喜欢在爬山 文明作出贡献。 或散步时思考数学问题。在思考比较紧 22 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 张的时候,他一天只睡三四个小时。―那 ―评价数学强国的一个基本标准,就是 时脑袋是停不下来的,经常是凌晨 4 点 这个国家的数学发展是否能够推动一 多钟就醒了,然后打车到香山,边爬山 门分支的发展,或者有没有几个真正的 边想问题。‖田野说。 数学大师出现。‖ 灵感有时也会突然降临,获得 BSD 要成为数学强国,对年轻人才的培 猜想的线索就是这样。当时田野在加拿 养尤为重要,数学家的思维活动往往都 大英属哥伦比亚大学的图书馆看书,就 是在很年轻的时候非常活跃。―一个国 在拉开椅子坐下的那一瞬间,灵光乍现, 家的年轻人应该是数学发展的核心,能 BSD 猜想就这样找到了线索。 够给他们一个好的科研环境以及长久 听起来似乎很神奇,但当积累和思 稳定的支持,这是关键。‖田野说。 考到一定程度时,这样的灵感迸发其实 这些年来,田野也在中国科学院大 是水到渠成。 学任教,为培养青年人才付出了大量时 除了对数学家的生活好奇,人们对 间和精力。在他的精心培养下,短短几 数学本身也充满着各种疑问。田野最常 年已有 8 位博士、46 位硕士毕业。让田 被 人 问 到 的 就 是 ―数 学 究 竟 有 啥 用 ? ‖ 野欣慰的是,如今越来越多的年轻人加 跟许多基础学科一样,数学的作用并不 入到数学研究的队伍中来。在他的带领 会立马显现。但事实上,生活中数学的 下,一个充满活力的优秀青年数学家团 应用无处不在。田野举了个例子:―我 队正在蓬勃发展。 们日常生活中经常用到的信用卡、银行 对于―奥数热‖,田野也有自己 卡等,它们的加密功能算法就是椭圆曲 的思考。―奥数对数学思维的培养训练 线理论的应用。‖ 是有帮助的。我小时候也很喜欢做奥数 给年轻人良好的科研环境 题,每次想出答案后都会觉得很有成就 近些年来,中国数学不断发展进步, 感。但我发现现在有些培训机构就是让 取得了很多重量级的成果。田野说:―目 学生们背解题秘诀,遇到题直接套用, 前,中国的数学呈现出越来越好的趋势。 这种模式并不好。‖田野说,把奥数作 在很多前沿领域、重要课题上,我们已 为衡量孩子数学才能的唯一方式是不 经走在前列了。‖ 对的,―要尊重孩子们的兴趣,让他们 如何再进一步向数学强国迈进? 真正享受学习数学的快乐。‖ 田野认为,光有点上的突破还远远不够。 23 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 重返数学史的黄金时代,由数学推动诞生的人工智能, 一部人类智慧形成的历史 文章来源:数学中国 数学至少在认知、测量、记录和 时间:2 月 7 日 数学的作用 预 测 四 个 方 面 满 足 了 人 类 的 需 求 。现 数 学 ——特 别 是 西 方 数 学 ——起 在的人工智能在测量和记录上取得 源 于 非 常 实 际 的 目 的 ,从 土 地 测 量 到 极 大 的 成 就 ,而 在 认 知 和 预 测 上 被 限 灌 溉 系 统 再 到 推 理 演 绎 体 系 ,数 学 至 制。 少在四个方面满足了人类的需求: 知 识 就 是 一 个 奇 迹 ,从 埃 及 到 巴 1, 认 知 ——认 识 物 质 世 界 的 构 成 ; 比 伦 最 后 到 希 腊 ,毕 达 哥 拉 斯 亚 里 士 2,测 量 ——分 配 和 调 配 资 源 ,制 定 各 多 德 柏 拉 图 阿 基 米 德 到 欧 几 里 得 ,都 种标准; 是奇迹, 3, 记 录 ——数 据 和 财 富 积 累 ; 4, 预 测 ——改 进 生 活 条 件 。 公 理 体 系 一 旦 建 立 ,人 类 的 意 识 水平都上升到一个高度了。 现 在 的 人 工 智 能 2, 3 上 取 得 极 大 的 随着计算机的逐步强大,人们 成 就 , 而 在 1, 4 上 被 限 制 。 把人类文明形成的公理体系赋予给 无 论 是 哪 个 人 种 ,哪 个 文 明 ,对 计算机,创造和演化出人工智能。 科 学 都 有 类 似 的 领 悟 能 力 ,这 和 个 体 今天我们所看到的人工智能,从某 的领悟能力类似,非常的神奇。 个程度上就是人类几千年文明的结 越 抽 象 ,越 接 近 本 质 ,应 用 越 广 晶。 泛。这就是智能科学的推动力。 这 个 BBC 的 一 部 纪 录 片 : the 精 确 是 不 平 凡 的 开 始 ,牛 顿 利 用 story of math.非 常 向 往 巴 比 伦 和 希 数学这个工具来精确的描述物理世 腊的那种态度,崇尚科学,让文明 界 的 规 律 ,取 得 了 非 凡 的 成 就 ,类 似 绽放。 的 数 学 是 万 能 的 工 具 ,在 任 何 一 个 行 业都是,缺少的是发现模式的心灵。 24 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 最 强 的 数 学 家 ,思 考 的 是 还 是 存 人类历史上有几次系统的回顾, 在 的 哲 学 问 题 ,采 用 数 学 作 为 解 释 世 1900 年 的 数 学 大 会 就 是 一 个 。 界 的 工 具 而 已 (无 论 是 数 字 的 产 生 欧 文 明 的 发 展 ,来 自 个 体 的 思 想 突 式 几 何 代 数 数 形 结 合 ,实 分 析 ,复 分 析 , 破,比如对无穷的理解,高维空间, 变 分 还 是 , 非 欧 几 何 ,黎 曼 几 何 等 ). 这 相对论,量子力学,弦论。 是高斯黎曼这类人的高度。 每 打 开 一 扇 门 ,就 会 收 获 许 许 多 人 工 智 能 ,为 解 决 复 杂 性 问 题 为 多的精神果实,比如对无穷的理解, 其 核 心 功 能 。他 需 要 具 备 更 高 纬 度 的 比 如 伽 利 略 的 望 远 镜 , 比 如 Wolfram 数 学 思 维 。智 慧 因 为 他 的 思 考 维 度 的 的 元 胞 自 动 机 ,比 如 对 分 类 理 解 产 生 不同,而有不同的力量和色彩。 的支持向量机。 从 图 形 到 数 目 ,从 几 何 论 证 到 代 康 托 的 一 生 很 惨 淡 ,和 许 多 其 它 数 消 解 ,从 特 殊 求 解 到 寻 找 通 式 ,…… 穷 困 潦 倒 的 数 学 家 一 样 ,思 想 超 出 这 你可能无法感受每一次飞跃带 个 时 代 ,就 要 懂 得 等 待 和 放 弃 ,像 高 给 发 现 者 的 惊 喜 ,但 想 想 你 从 Cantor 斯 ,自 知 之 明 的 把 非 欧 几 何 封 藏 起 来 。 那 学 来 的 对 无 穷 的 理 解 ,那 就 是 古 人 庞 加 莱 针 对 n 体 问 题 的 探 索 ,简 发现零时的心情。 介导致了混沌的发现,一想到混沌, 透 过 三 角 学 ,几 何 被 翻 译 成 了 代 就 感 到 无 奈 。混 沌 ,不 确 定 性 正 式 西 数 ;透 过 映 射 ,我 们 在 无 穷 间 看 出 了 方理性发展到困境时的一个闪现的 大 小 ;透 过 群 ,方 程 变 得 像 某 种 对 称 曙光。 结 构 般 美 妙 …… 了 解 一 门 学 科 的 未 来 ,就 要 从 这 每每一把利剑撕开未知的阴霾, 门 学 科 的 历 史 和 现 状 入 手 。对 待 任 何 那片少有人知的黑白就被抹上了色 一个知识体系,都必须有这种意识。 彩。 比如计算机科学,只有了解了动机, 虽然自求解高次方程之后我就 初 生 和 逐 步 发 展 的 过 程 ,才 能 更 好 的 变 成 了 过 客 ,可 我 知 道 了 :数 学 真 的 理 解 现 在 的 一 切 ,才 能 更 好 的 把 握 未 源于 自然,源于生活 ,就好像 来 的 发 展 动 向 ,把 有 限 的 精 力 ,投 入 n^2-(n+1)(n-1) = 1 不 是 来 自 代 数 变 换 , 到 无 尽 的 推 动 中 去 。 而是源于某个染缸前的起舞。 数学的故事是一个生动的数学 史 教 材 ,把 许 多 书 上 看 到 的 文 字 和 图 25 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 片 变 成 了 实 在 的 影 响 ,这 种 真 实 淡 化 停 机 问 题 ,可 计 算 性 ,混 沌 ,自 由 意 了数学的神秘,更贴近现实的生活。 识 ,人 工 智 能 和 决 定 论 ,无 穷 大 和 超 历 史 不 仅 仅 是 一 个 童 话 故 事 ,每 一 个 越是一个迷人的论题。 人都身在其中。 哥 德 尔 在 获 得 最 大 突 破 之 后 ,不 理解人工智能就要去理解人类 久 精 神 出 了 问 题 ,就 像 牛 顿 晚 年 寄 托 的 智 慧 形 成 的 历 史 ,理 性 发 展 的 历 史 , 与 神 学 类 似 ,即 便 是 坚 定 的 唯 物 论 者 , 理 性 带 来 的 困 境 ,现 代 性 语 义 的 突 破 。 最 终 也 不 得 不 承 认 ,无 论 是 数 学 物 理 数 学 早 已 深 入 到 生 活 之 中 ,只 是 还是哲学,都不可能获得终极答案。 没 有 足 够 的 修 养 和 慧 眼 ,无 法 看 的 到 这 个 身 处 的 世 界 ,归 根 结 底 ,是 不 可 看 的 清 而 已 。数 学 源 自 实 际 问 题 ,得 知的。 到 更 高 级 的 抽 象 ,用 来 作 为 解 决 更 复 "在 奥 地 利 和 德 国 , 数 学 即 将 死 杂 实 际 问 题 的 武 器 ,拓 扑 学 就 是 一 个 亡 ", 很 喜 欢 这 一 句 , 我 一 直 这 么 认 例 子 ,从 简 单 的 七 桥 问 题 开 始 ,欧 拉 为 ,即 便 是 数 学 这 种 可 能 是 柏 拉 图 实 启 动 了 这 次 飞 跃 。提 到 拓 扑 学 ,就 提 在的理论体系,也不是永恒的。 到 了 庞 加 莱 猜 想 ,然 后 就 提 到 了 俄 罗 希尔伯特和欧洲的主导地位和 斯 的 传 奇 数 学 家 佩 尔 曼 ,这 个 解 决 了 500 年 的 世 界 数 学 中 心 , 悲 剧 的 离 开 百 年 难 题 却 拒 菲 尔 兹 奖 的 奇 才 ,就 想 了 。想 起 希 尔 伯 特 的 失 落 绝 望 和 无 奈 , 到了,国人的闹剧。 不禁一阵酸楚,眼眶湿润。 找到佩尔曼和理解他的证明一 科恩对康托连续统假设的研究 样 困 难 ,很 喜 欢 这 句 话 ,真 正 的 数 学 成 果 震 撼 了 我 一 下 ,在 所 有 人 怀 疑 的 家 ,就 是 要 纯 粹 才 能 走 的 更 远 ,中 国 时候,哥德尔投了赞成票,再然后, 的 数 学 界 ,逐 渐 被 感 染 的 失 去 希 望 了 。 人 们 普 遍 的 接 受 了 ,有 两 个 不 同 的 数 希尔伯特是一个有雄心壮志的 学 世 界 ,同 一 个 命 题 的 真 假 可 以 是 不 数学家,和牛顿欧几里得高斯类似, 同 的 。这 是 再 一 次 的 对 数 学 本 身 的 一 坚 信 通 过 自 己 的 努 力 ,可 以 解 开 一 切 次反省,就像对存在的反思。 谜题。 迄 今 为 止 ,数 学 依 旧 是 探 寻 世 界 提 到 希 尔 伯 特 公 理 体 系 ,就 不 得 本 质 的 最 有 力 工 具 ,正 如 毕 达 哥 拉 斯 不 提 到 哥 德 尔 ,提 到 不 确 定 性 ,我 至 说 信 仰 的 ,上 帝 使 用 数 学 创 造 了 这 个 今 仍 有 阅 读 其 证 明 的 兴 趣 。结 合 图 灵 世 界 。到 这 里 ,我 似 乎 有 了 一 个 感 悟 , 26 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 对 我 所 渴 望 的 ,有 了 更 进 一 步 的 认 识 , 近代数学为计算机增加了智能, 并不是研究和推动数学,而是了解, 现代数学给计算机赋予了灵魂, 借助这个工具来武装自己求索的心。 这就是数学赋予计算机的智能。 古典数学为计算机装载了大脑, 开疆拓土 贻范古今 ——纪念数学家、系统与控制学家关肇直院士百年诞辰 文章来源:中科院数学院微信号 作者: 韩扬眉、黄一、程代展 时间:4 月 4 日 勇于开拓、站在国家需求最前线 ―开疆拓土,而不安于一城一邑的 治理。‖关肇直的一生涉足多个领域, 在中国基础数学、应用数学、控制理论、 系统科学,以及国防科研事业等方面都 作出了卓越的贡献。 3 月 30 日,春寒料峭,近百位数 关肇直 1919 年 2 月出生于广东省 学和系统控制领域的院士、学者聚集在 南海县的一个书香世家。1941 年毕业于 中国科学院数学与系统科学研究院会 燕京大学,后留法在著名数学家 Fréchet 议室。 指导下研究泛函分析。1949 年新中国成 参会者许多人已白发苍苍,有的甚 立,他毅然中断学业,回到百废待兴的 至坐着轮椅、拄着拐杖。他们从全国各 祖国。他参加筹建了中国科学院,任第 地而来,只为纪念他们的恩师、前辈 一届科学院党组成员。1962 年,在数学 ——中国控制理论的开拓者与传播者、 所组建我国第一个控制理论研究室。 著名泛函分析学家关肇直的百年诞辰。 1979 年,与吴文俊、许国志等先生共同 27 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 创建了中国科学院系统科学研究所。 化的重要性,扛起了在中国发展现代控 1981 年当选中科院学部委员,1982 年 制理论和系统科学的大旗,组建了我国 11 月 12 日因病与世长辞。 第一个控制理论研究室,创建了中国科 大家感念的,是关肇直的学术思想 学院系统科学研究所,成为中国现代控 和他所开创的研究领域、奠定的研究基 制理论的开拓者,并用余生全部精力致 础,时至今日还产生着深远影响。 力于其研究和应用。―钱公(钱学森) 1949年以前我国从事泛函分 倡导,关公领队‖,中国的系统控制科 析研究的学者不多,关肇直归国后挑起 学从此起步,快速发展。 了在我国发展泛函分析的重任,在中科 他奔走于国内许多高校,与国防科 院数学所建立了泛函分析研究室,研究 研单位间―对接需求‖,带出了一支以青 室还接受了国内各高校派来的进修教 年科研人员为骨干的、高水平的系统与 师,关肇直亲自指导他们,他还先后在 控制理论研究队伍,在我国第一颗人造 北京大学和中国科技大学讲授泛函分 卫星轨道设计和测定、导弹制导、潜艇 析。他培养了一批研究骨干,后来都活 惯性导航等研究中做出了一系列重要 跃在泛函分析的各研究领域。 贡献。他主持的研究工作多次受到奖励 关肇直在泛函分析方面的贡献是 和表彰,―我国第一颗人造卫星轨道计 多方面,他开创性地提出泛函分析中 算方案的制定‖获 1978 年全国科学大会 ―单调算子‖的思想,证明了求解希尔伯 奖,―飞行器弹性控制理论研究‖获 1982 特空间中非线性方程的最速下降法的 年国家自然科学二等奖,―尖兵一号通 收敛性;为了原子能科学发展的需要, 用型卫星和东方红一号卫星‖获 1985 年 他应用抽象空间中线性算子的谱扰动 首届国家科技进步特等奖(关肇直负责 理论,给出平板几何情形的中子迁移算 该项目中轨道设计和轨道测定两个课 子的谱的确切结构,并指出本征广义函 题)。 数组的完整性;他用线性算子紧扰动的 关肇直学识渊博,有着很好的文史 理论处理了弹性振动问题;他证明了一 哲素养,擅长赋诗填词,深得同窗好友 类非对称核线性积分方程非零本征值 和年轻人钦佩,被称为―老关‖、―关圣 的存在性,为激光理论奠定了数学基础。 人‖。他形成了一套对于理论与实践的 20 世纪 60 年代,他敏锐地意识到 辨证关系的哲学思想,他把纯粹数学与 现代控制理论对国家,特别是国防现代 应用数学看作一个整体,并形象地解释 28 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 说,这有如经纬交织,相辅相成,偏废 陈景润完成他的哥德巴赫猜想 哪一方面都是错误的。他强调数学在发 ―1+2‖证明后,已是―文革 ‖前夕,关肇 展我国经济和国防建设方面的重要意 直顶住当时的极左思潮,坚决支持这项 义并且身体力行,也强调数学的理论研 工作的发表,说:―这是一项世界冠军, 究。他指出正因为要与实际联系,才更 同乒乓球世界冠军一样重要‖,并努力 需要加强理论研究,没有理论拿什么联 促成这项工作发表在 1966 年 5 月 15 日 系实际? 的―科学记录‖上,赶上了―文革‖前的最 谦谦学者、青年人的良师益友 后一班车。 关肇直曾帮助、指导过的年轻人如 1957 年夏天以后,极左的势力很 今有的已成为了享誉全球的数学家、系 强,关肇直顶住压力,到北大讲授泛函 统控制学家。 分析,给学生鼓了气。由于他的威望, 北京大学数学科学学院教授、中国 学生们敢于理直气壮地学习和钻研理 科学院院士张恭庆曾在北京大学听过 论。―文革‖中,研究工作受到很大干扰 关肇直讲授的《泛函分析》课程。他对 和冲击,但关肇直仍坚持尽可能开展一 关肇直的教诲历历在目,早年的几篇文 些工作。早在 1969 年,他就以―抓革命, 章都是在关肇直的指导、帮助和关怀下 促生产‖为契机,提出―每周二、三为数 发表的。关肇直把华罗庚广义函数方面 学所业务时间‖,使科研工作得到部分 的工作介绍给他,并让他参加自己领导 恢复。他尽量使控制理论的研究与当时 的讨论班。当他处在―低落期‖时,关肇 受冲击较小的军工及国防科研结合,使 直鼓励他,有机会还是要做(科研), 研究室的工作得以继续和发展。数学所 要有独创精神,哪怕最困难的时候,也 在 1971 年正式恢复业务工作,正因为 不要跟着别人走,要走自己的路。张恭 关肇直已查阅了大量现代控制论的文 庆一直牢记恩师嘱托,后来作出了许多 献,掌握了国际上的发展情况、最新成 独创性的科研成果。 果,他马上组织现代控制论的讨论班, 77 岁的中国科学院院士李邦河拿 使年轻人尽快走上科研轨道。中国科学 出关肇直晚年写给他的信并再次诵读, 院系统科学研究所原所长、中国科学院 ―他不仅为我制定了方向,还推荐了书 院士陈翰馥是控制理论研究室首批成 籍,我一直牢记关先生在信中的期盼, 员,他说,―关先生不仅在业务上给予 我还要继续努力落实他对我的期盼。‖ 指导,我第一篇用英文发表的论文就是 29 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 关先生帮我翻译并打字。以后我的英文 不少人后来都成长为科研骨干。59 届关 论文就试着自己写,但关先生都帮我修 龙班学生孙家昶 回忆 ―80 年代,‗关 龙 改把关。‖ 北京大学工学院教授、中国 班‘70 多人中有 30 多个同学都在国外留 科学院院士黄琳和东北大学信息科学 学,绝大部分都回到祖国。我们出国都 与工程学院教授、青岛大学复杂性科学 有关老师的推荐信,当时关老师明确跟 研究所所长、中国科学院院士张嗣瀛都 我说‗一定要回来,送你出去的目的就 是在这个过程中被关肇直的远见卓识 是回来报效祖国‘‖。62 届关龙班学生余 和人格魅力所吸引而与关肇直成为忘 德浩毕业后曾因长期脱离数学专业而 年之交。 苦闷,关老师不断给他寄资料,鼓励他 1981 年,病榻上的关肇直仍心系 不要忘记数学,1978 年国家恢复研究生 年轻人的成长,他给中科院成都数理室 制度,关老师马上建议他报考研究生, 年轻人写了 40 余封信谈思想、情操和 终于重回科研道路。中国科学院院士、 理想。―我们要有创立学派在国际上争 59 届关龙班学生严加安赋诗怀念恩师: 鸣的气概,不要对自己的同志盛气凌人, 六轶春秋逝若风,同窗岁月不朦胧 对外国人卑躬屈膝,我们要有自信心又 关公讲课全神注,弟子聆听耳目聪 要谦虚谨慎。‖―科学家不等于读书人...... 端肃仪容常忆及,慈祥笑貌驻心中 前者唯一强调的是创造、洞察、发现科 百年冥寿更怀念,铭记恩师培育功 学的真理,提出新概念、新理论,解决 承袭风骨、告慰“老关” 问题。‖ 先生已去 37 载,但他的话却仍萦 中国科大 1959 和 1962 两届―关龙 绕在后辈们的耳畔。纪念会上,昔日弟 班‖的 20 多位学生参加了纪念会,―关 子及受到关肇直影响和指导的科研人 龙‖班大学三年的各种基础课(分析、 员都感慨:―‗老关‘走得太早了。‖ 代数、几何、函数论、微分方程等)由 如今,关肇直创建的控制理论研究 关肇直统一设计、亲自教学。―关龙班‖ 室,已发展为现在的中国科学院系统控 的同学们回忆关老师的教材强调理论 制重点实验室(简称控制室),控制室 与实际的联系,有时还从哲学高度评判 现有科研人员 29 人,其中包括中国科 一些数学理论,十分精彩。同学们在―关 学院院士 2 人,国际自动控制联合会会 龙班‖把基础数学应用数学融合在一起 士(IFAC Fellow) 4 人,美国电气和电 完整的念了三年,打下了扎实的基础, 子工程师协会会士(IEEEFellow)6 人, 30 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 国家杰出青年基金获得者 7 人。控制室 等奖、国家科技进步特等奖等,以及很 在几代学术带头人的共同努力下,迸发 多国际重要奖项,如吴文俊院士获得邵 出经久不衰的创新活力,呈上一份又一 逸夫奖,刘源张院士获得首届费根堡终 份具有原创性、突破性和关键性的成绩 身荣誉奖,郭雷院士获得美国电气和电 单,并且活跃在国际控制领域的各学术 子工程师协会控制系统学会(IEEE CSS) 组织中,受到国际控制界的高度重视和 波德讲座奖(Bode Lecture Prize)等。 赞誉,控制室已经成为中国系统控制领 无论数学界、系统控制界还是系统 域向世界开放、与国际接轨的一个窗口。 工 程 界 都 不 会 忘 记 关 肇 直 对 我 国 科 学 关肇直发起的控制理论及应用学 事业发展所作的巨大贡献,他的名字永 术年会,已发展为现在的中国控制会议, 远 与 中 国 的 系 统 科 学 与 现 代 控 制 理 论 是国内外控制领域具有重要影响力的 融成一体。 系列学术会议,近5年每年投稿和参会 今天这么多数学家和系统控制学 人数都在两千以上。为纪念关肇直、鼓 家能聚会在一起纪念关肇直院士诞辰 励从事系统控制理论及其应用的青年 100 周年,本身就说明他的人格极具魅 科技人员做出国际一流的成果,中国控 力,他开创的事业有很强的生命力,以 制会议关肇直奖于 1994 年设立,每次 此可以告慰我们敬重的‗老关‘了。 ―他既是一位优秀的科学家,又是 奖励不超过 2 篇优秀论文,迄今已颁发 24 届,共 37 篇论文获关肇直奖。 一个值得尊敬的爱国者。‖中科院院士、 关肇直亲手建立的系统科学研究 中国科学院数学与系统科学研究院院 所,经过 40 多年的发展,沉淀了深厚 长席南华指出,―追忆先生风范,继承 的文化氛围,凝聚了一批杰出的科学家, 优良传统,弘扬以关肇直先生为代表的 成为一个生机勃勃的系统科学的前沿 研究院精神。我们纪念缅怀先生的最好 阵地。这些科学家执着于开辟新的研究 方法是努力培养和造就系统科学方面 方向,努力攻克挑战性难题,既面向原 的青年人才,将优良的学术传统发扬传 创性、突破性、关键性的重大基础理论, 承下去。‖ 又面向国家重大需求;既重视科学研究 关肇直院士的一生经历了许多社 又 重 视 学 科 的 发 展 和 人 才 的 培 养 。 40 会变迁,时代的风云激荡,陶冶着每个 年来累计获得 300 余项奖励,包括首届 人的情怀,也让人们展示着自我。关肇 国家最高科学技术奖、国家自然科学一 直始终站在时代前沿,他用自己的品学、 31 国家数学与交叉科学中心简讯 2019 年第 1 期 (总第 29 期) 才干和为人,表现了自己以天下为己任 正直博学而富有开拓精神的学者和一 的思想境界。几十年后,当我们重新审 位赤诚无私的爱国者,一位贻范古今的 视当年的往事时,在我们面前的是一位 先哲。 32

相关文章