华中师范大学刘双乾教授在偏微分方程领域取得新进展

近日，数学与统计学学院刘双乾教授与香港城市大学杨彤教授、香港中文大学段仁军教授合作的论文The Boltzmann equation for plane Couette flow（DOI:10.48550/arXiv.2107.02458）被知名数学期刊Journal of the European Mathematical Society接受发表，刘双乾教授为该论文的通讯作者，这也是我校首次在此期刊接受发表论文。

华中师范大学 2022-10-11

微分方程解的相似结构理论

项目简介：   油气田开发

西华大学 2021-04-14

中国石油大学微分方程动力系统及其数值模拟团队在KAM理论研究领域取得新进展

在天体力学、量子力学、神经网络、航天科技以及生物工程中很多模型都以哈密顿方程或者其摄动方程的形式出现，因此哈密顿方程一直是数学家和理论物理学家关心的热点；KAM理论是关于可积哈密顿系统受摄动后其解的长期性态的理论，是牛顿力学在20世纪的重大进展，是哈密顿系统理论发展的里程碑，具有划时代意义。

中国石油大学（华东） 2022-05-31

生物趋化方程组的理论研究

项目简介： 在生物学研究中， 生物学家常常通过具有扩散的偏微分方程来描述种群迁移等现象。例如，当原始微生物与环境相互作用（如粘液霉菌形成、胚胎发育、肿瘤侵入健康组织等） 时，个体的非结构化行为在宏观层面上将转变为相当复杂的动力学行为，其中一个重要因素是

西华大学 2021-04-14

微分代数时序动态逻辑的CPS属性验证方法

可有效用于对CPS进行系统建模、属性规约和属性验证。

东南大学 2021-04-10

一种基于时域脉冲整形系统的光学微分器

本发明公开了一种基于时域脉冲整形系统的可编程光学微分器， 其包括锁模光纤激光器 MLL、第一色散器件、掺铒光纤放大器 EDFA、 马赫泽德调制器 MZM、偏振控制器 PC、任意波形发生器 AWG、光延 时线 ODL、第二色散器件和分频器。本发明利用时域光脉冲整形系统 的原理，将微分器的光谱滤波特性从频域搬移到时域中来，通过合理 设计任意波形发生器 AWG 的产生的调制型号，改变调制信号的形状 来得到不同阶数不同带宽的微分结果，可实现阶数、带宽灵活可调的 光学微分功能。本发明使用的各种元器件属于常用器

华中科技大学 2021-04-14

一种基于时域脉冲整形系统的光学微分器

本发明公开了一种基于时域脉冲整形系统的可编程光学微分器， 其包括锁模光纤激光器 MLL、第一色散器件、掺铒光纤放大器 EDFA、 马赫泽德调制器 MZM、偏振控制器 PC、任意波形发生器 AWG、光延 时线 ODL、第二色散器件和分频器。本发明利用时域光脉冲整形系统 的原理，将微分器的光谱滤波特性从频域搬移到时域中来，通过合理 设计任意波形发生器 AWG 的产生的调制型号，改变调制信号的形状 来得到不同阶数不同带宽的

华中科技大学 2021-04-14

面向生命科学的原位显微分析与操作仪

研究团队面向生命科学发展的迫切需求，研制出具有可视化、微创化、定点化、定量化功能的，集检测分析与操作于一体的原位显微分析与操作仪。 一、项目分类 关键核心技术突破 二、成果简介 南开大学机器人与信息自动化研究所于1992年在国内率先开展面向生物医学工程的微操作机器人研究，并于1996年研制成功国内第一台面向生物医学工程的微操作机器人系统，2002年获得微纳机器人领域第一个国家技术发明二等奖。 近些年来，研究团队面向生命科学发展的迫切需求，研制出具有可视化、微创化、定点化、定量化功能的，集检测分析与操作于一体的原位显微分析与操作仪。研究团队利用该仪器实现了机器人化的细胞核移植流程，并致力于提高克隆操作发育率。首先，通过在核移植过程中分析细胞受力，提出了基于最小力的细胞拨动方法，攻破了自动化核移植最大的技术屏障；其次，探索了面向减小细胞伤害的微操作方法，提高了胚胎发育中最关键的指标——囊胚率；最终，在2017年，将510枚利用该仪器完成核移植的重构胚移植到代孕猪中，并于2017年4月底分两胎生下17头小猪。这是世界首例由机器人完成核移植操作的克隆猪，该成果已被国家自然科学基金委及新华社、人民日报、中央人民广播电视台等媒体进行报道。

南开大学 2022-07-28

基于HybridUML向微分代数程序转换的CPS建模与验证方法

本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-AlgebraicDynamicLogic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。

东南大学 2021-04-10

时空周期环境中反应-扩散-对流方程的自由边界问题

反应-扩散-对流方程是生物、物理及化学等科学领域中常用的、成功的数学模型，特别是用来描述种群在对流环境中的传播现象。除了具有深刻的应用背景之外，在反应扩散方程的数学研究中也不断提出新的有挑战的问题，因此关于反应扩散方程的研究一直是偏微分方程的热点之一。 我们解决两个方面的问题：(1)种群的传播会受到时间周期环境(比如季节)和对流环境的影响，产生丰富的现象(比如种群的迁移)，第一个问题就是在时间周期环境中，结合种群的迁移现象设定新的合理的方程和自由边界条件，研究反应-扩散-对流方程的自由边界问题，揭示时间周期环境对种群传播的影响机制。(2)种群在向新领域传播的时候，往往受到空间位置(如有些地方的温度、水资源分布不均匀)和对流环境的影响，产生复杂的现象, 所以第二个问题就是在空间周期环境和对流环境中，针对单稳定和双稳定非线性项，分析空间因素对反应-扩散-对流方程解和自由边界渐近行为的影响，当自由边界扩张时，给出扩张前锋的渐近形状和渐近速度的精确估计,并给出空间周期环境中种群传播现象的理论依据。 该研究已获国家自然基金委立项支持。

上海电力大学 2021-04-29