搜索结果: 121-135 共查到“知识库 数学”相关记录24064条 . 查询时间(0.572 秒)
In this article, we study the density function of the numerical solution of the splitting averaged vector field (AVF) scheme for the stochastic Langevin equation. We first show the existence of the de...
This article presents a new study on adaptive control of multi-input and multi-output (MIMO) discrete-time nonlinear systems with a noncanonical form involving parametric uncertainties. The adaptive c...
差分隐私分布式随机聚合博弈算法
差分 隐私分布式 随机聚合 博弈算法
2023/1/5
Designing privacy-preserving distributed algorithms for stochastic aggregative games is urgent due to the privacy issues caused by information exchange between players. This paper proposes two differe...
The Cauchy problem for the barotropic compressible Navier--Stokes equations on the whole two-dimensional space with vacuum as far field density is considered. When the shear viscosity is a positive co...
基于向前验证的模型平均方法
向前验证 模型平均方法 中国科学院数学与系统科学研究院
2023/1/5
In this paper, noting that the prediction of time series follows the temporal order of data, we propose a frequentist model averaging method based on forward-validation. Our method also considers the ...
This article presents a new study on adaptive control of multi-input and multi-output (MIMO) discrete-time nonlinear systems with a noncanonical form involving parametric uncertainties. The adaptive c...
基于向前验证的模型平均方法（张新雨）
向前验证 模型 平均方法
2023/2/22
In this paper, noting that the prediction of time series follows the temporal order of data, we propose a frequentist model averaging method based on forward-validation. Our method also considers the ...
差分隐私分布式随机聚合博弈算法（张纪峰）
差分隐私 分布式 聚合博弈算法
2023/2/22
Designing privacy-preserving distributed algorithms for stochastic aggregative games is urgent due to the privacy issues caused by information exchange between players. This paper proposes two differe...
低秩正交张量逼近的交替极分解方法的线性收敛性（叶科）
低秩 正交张量逼近 交替极分解方法 线性收敛性
2023/2/22
Low rank orthogonal tensor approximation (LROTA) is an important problem in tensor computations and their applications. A classical and widely used algorithm is the alternating polar decomposition met...
从SAT到SMT——逻辑约束求解研究获新突破（图）
SAT SMT 逻辑约束求解
2023/3/15
近日，中国科学院软件研究所蔡少伟团队在逻辑约束求解器研究中获得新突破，SAT求解器和SMT求解器研究上的成果被重要期刊和会议录用，并在SAT、MaxSAT和SMT竞赛中斩获佳绩。
求解器被誉为“工业软件之魂”，是继芯片与操作系统之后的国之重器。命题逻辑可满足性问题（SAT）和可满足性模理论问题（SMT）是两个最重要的逻辑约束问题，SAT是命题逻辑上的约束求解问题， SMT是一阶谓词逻辑上的约束求...
吴文俊（1919年5月—2017年5月），数学家，中国科学院院士。长期从事数学前沿研究，在拓扑学的示性类、示嵌类的研究方面取得一系列重要成果，被国际数学界称为“吴公式”“吴示性类”“吴示嵌类”，为拓扑学研究做了奠基性工作。开创了崭新的数学机械化领域，引起数学研究方式的变革，创立的“吴方法”具有广泛重要的应用价值。曾获首届国家最高科学技术奖、第一届国家自然科学奖一等奖、第三世界科学院数学奖、邵逸夫科...
非负多项式与Circuit多项式
非负 多项式 Circuit多项式
2023/1/5
The concept of sums of nonnegative circuit (SONC) polynomials was recently introduced as a new certificate of nonnegativity especially for sparse polynomials. In this paper, we explore the relationshi...
模拟VPFP方程的切触粒子方法
模拟 VPFP方程 切触粒子方法
2023/1/5
This paper develops a numerical discretization for solving the Vlasov–Poisson–Fokker–Planck system, which is a model for describing collisional plasma in the presence of a self-consistent electric fie...
具有Pfaffian结构的Hermite-Pade逼近以及相关的Novikov尖峰孤子系统和可积格子方程
Pfaffian结构 Hermite-Pade逼近 Novikov尖峰孤子系统 可积格子方程
2023/1/5
Motivated by the Novikov equation and its peakon problem, we propose a new mixed type Hermite–Padé approximation whose unique solution is a sequence of polynomials constructed with the help of Pfaffia...
基于二值测量的线性随机系统的分布式辨识
二值测量 线性随机系统 分布式辨识
2023/1/5
The problem of distributed identification of linear stochastic system with unknown coefficients over time-varying networks is considered. For estimating the unknown coefficients, each agent in the net...