搜索结果: 106-120 共查到“知识库 数学”相关记录200条 . 查询时间(3.58 秒)
非线性不确定系统PID控制的理论基础
非线性 不确定系统 PID控制 理论基础
font style='font-size:12px;'>
2023/1/5
低秩正交张量逼近的交替极分解方法的线性收敛性
低秩正交 张量逼近 交替极分解方法 线性收敛性
font style='font-size:12px;'>
2023/1/5
气态星云的连续引力塌缩及零压欧拉-泊松方程
气态星云 引力塌缩 零压 欧拉-泊松方程
font style='font-size:12px;'>
2023/1/5
随机Langevin方程分裂AVF格式数值解的密度函数
随机Langevin方程 分裂AVF格式 数值解 密度函数
font style='font-size:12px;'>
2023/1/5
差分隐私分布式随机聚合博弈算法
差分 隐私分布式 随机聚合 博弈算法
font style='font-size:12px;'>
2023/1/5
二维可压缩Navier-Stokes方程在柯西问题下允许真空大初值光滑解的整体适定性
Navier-Stokes方程 二维可压缩 柯西问题 真空大初值 光滑解 整体适定性
font style='font-size:12px;'>
2023/1/5
基于向前验证的模型平均方法
向前验证 模型平均方法 中国科学院数学与系统科学研究院
font style='font-size:12px;'>
2023/1/5
差分隐私分布式随机聚合博弈算法(张纪峰)
差分隐私 分布式 聚合博弈算法
font style='font-size:12px;'>
2023/2/22
低秩正交张量逼近的交替极分解方法的线性收敛性(叶科)
低秩 正交张量逼近 交替极分解方法 线性收敛性
font style='font-size:12px;'>
2023/2/22
基于向前验证的模型平均方法(张新雨)
向前验证 模型 平均方法
font style='font-size:12px;'>
2023/2/22
非标准型多变量非线性离散时间系统基于矩阵分解的自适应控制(张纪峰)
非标准型多变量 非线性离散时间系统 矩阵分解 自适应控制
font style='font-size:12px;'>
2023/2/22
![](http://www.firstlight.cn/upload/imgfile/20233/15/2023315163443413.png)
从SAT到SMT——逻辑约束求解研究获新突破(图)
SAT SMT 逻辑约束求解
font style='font-size:12px;'>
2023/3/15
![](http://www.firstlight.cn/upload/imgfile/202311/6/2023116152418846.jpg)
非负多项式与Circuit多项式
非负 多项式 Circuit多项式
font style='font-size:12px;'>
2023/1/5