搜索结果: 1-15 共查到“非线性偏微分方程”相关记录474条 . 查询时间(2.359 秒)
中国科学院软件所分布式SMT求解器研究工作获CAV杰出论文奖(图)
系统 结构 非线性算术
2024/9/20
2024年7月25日,中国科学院软件研究所基础软件与系统重点实验室(计算机科学国家重点实验室)的论文Distributed SMT Arithmetic Theories Solving Based on Dynamic Variable-level Partitioning在形式化验证领域国际旗舰会议Computer Aided Verification(CAV 2024)上荣获杰出论文奖(CA...
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:"Sobolev extensions"(7)&(8)
Sobolev扩展 Whitney扩展 技术变体
2023/11/29
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:C1,1/3- very weak solutions to the two dimensional Monge–Ampère equation
二维 Monge–Ampère方程 C1,1/3极弱解
2023/11/29
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:"Sobolev extensions"(5)&(6)
Sobolev扩展 Whitney扩展 技术变体
2023/11/29
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:Long-time asymptotics of soliton equations via the nonlinear steepest descent method
非线性 最速下降法 孤立子方程 长时间渐近性
2023/11/13
中国科大实现超越海森堡极限精度的量子精密测量(图)
量子精密测量 非线性 光子
2024/6/16
中国科学技术大学科研部郭光灿院士团队在量子精密测量的研究中取得重要进展。该团队李传锋、陈耕等人与香港大学同行合作,利用量子不确定因果序实现了超越海森堡极限精度的量子精密测量。研究成果于2023年5月1日以“Experimental super-Heisenberg quantum metrology with indefinite gate order”为题发表在国际著名期刊《自然·物理》上。
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:Stable nearly self-similar blowup of the 2D Boussinesq and 3D Euler equations with smooth data
平滑数据 二维布西内斯 三维欧拉方程 稳定近似 自相似爆炸
2023/4/13
福州大学数学与统计学院邵志强教授
福州大学数学与统计学院 教授 邵志强 非线性偏微分方程
2023/3/21
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:Homogenization of a front propagation model in dynamic environments
动态环境 前端传播模型 均质化 一阶哈密尔顿-雅可比方程
2023/4/18
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:Stability conditions for a free boundary problem of 3-D compressible Euler equations coupled with a nonlinear Poisson equation
三维 可压缩欧拉方程 耦合 非线性泊松方程 自由边界问题 稳定性条件
2023/4/18