搜索结果: 16-30 共查到“知识库 运筹学”相关记录1007条 . 查询时间(3.23 秒)
A line search penalty-free sequential quadratic programming method is proposed for nonlinear equality-constrained optimization. Generally, feasible directions are used to minimize the measurement of t...
无穷集上多项式优化的齐次化方法（袁亚湘）
无穷集 多项式优化 齐次化方法
2023/2/22
This paper considers polynomial optimization with unbounded sets. We give a homogenization formulation and propose a hierarchy of Moment-SOS relaxations to solve it. Under the assumptions that the fea...
一类求解非光滑矩阵流形优化的基于增广拉格朗日的半光滑牛顿法（丁超）
非光滑矩阵 流形优化 增广拉格朗日 半光滑牛顿法
2023/2/22
This paper is devoted to studying an augmented Lagrangian method for solving a class of manifold optimization problems, which have nonsmooth objective functions and nonlinear constraints. Under the co...
多项式优化是目标函数和约束条件均由多项式给出的一类非凸优化问题。因其强大的建模能力和与实代数几何密切的内在联系，多项式优化正受到越来越多研究者的关注，广泛地应用于最优电力流、信号处理、计算机视觉、组合优化、神经网络、量子信息等许多不同的领域。2001年，法国数学家Lasserre对多项式优化提出了Moment-SOS分层的求解框架，即用一系列半定松弛问题逼近多项式优化问题，紧性条件下可以在有限步内...
多项式优化问题新进展（王杰等）
多项式 优化问题 目标函数
2023/2/22
多项式优化是目标函数和约束条件均由多项式给出的一类非凸优化问题。因其强大的建模能力和与实代数几何密切的内在联系，多项式优化正受到越来越多研究者的关注，广泛地应用于最优电力流、信号处理、计算机视觉、组合优化、神经网络、量子信息等许多不同的领域。2001年，法国数学家Lasserre对多项式优化提出了Moment-SOS分层的求解框架，即用一系列半定松弛问题逼近多项式优化问题，紧性条件下可以在有限步内...
差分隐私分布式随机聚合博弈算法
差分 隐私分布式 随机聚合 博弈算法
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...
差分隐私分布式随机聚合博弈算法（张纪峰）
差分隐私 分布式 聚合博弈算法
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...
从SAT到SMT——逻辑约束求解研究获新突破（图）
SAT SMT 逻辑约束求解
2023/3/15
近日，中国科学院软件研究所蔡少伟团队在逻辑约束求解器研究中获得新突破，SAT求解器和SMT求解器研究上的成果被重要期刊和会议录用，并在SAT、MaxSAT和SMT竞赛中斩获佳绩。
求解器被誉为“工业软件之魂”，是继芯片与操作系统之后的国之重器。命题逻辑可满足性问题（SAT）和可满足性模理论问题（SMT）是两个最重要的逻辑约束问题，SAT是命题逻辑上的约束求解问题， SMT是一阶谓词逻辑上的约束求...
基于二值测量的线性随机系统的分布式辨识
二值测量 线性随机系统 分布式辨识
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...
3维O(N)线性sigma模型的大N极限
3维O(N) 线性sigma模型 大N极限
2023/1/5
In this paper we study the large N limit of the O(N)-invariant linear sigma model, which is a vector-valued generalization of the Φ4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasys...
辨识切换线性系统的持续激励条件
辨识 线性系统 持续激励条件
2023/1/5
This paper investigates the uniqueness of parameters via persistence of excitation for switched linear systems. The main contribution is a much weaker sufficient condition on the regressors to be pers...
最优与两步自适应量子探测器层析
最优 自适应 量子探测器 层析
2023/1/5
Quantum detector tomography is a fundamental technique for calibrating quantum devices and performing quantum engineering tasks. In this paper, we design optimal probe states for detector estimation b...
不确定性条件下的环境决策（图）
不确定性条件 环境决策 开放系统 最优化
2022/5/13
环境是开放系统，很多和环境有关的决策面临不确定性或信息的缺失，如何在这样的情境下做出好的决策困扰决策者的难题。借助其他领域的方法可帮助缓解这一难题，而这需要领域知识和方法知识的结合。本报告拟借环境领域监测装置的布点问题来展示运筹学以及统计学领域的方法如何被用来解决环境领域不确定性条件下的决策问题，并就未来大数据如何可能帮助改善环境监管进行探讨。
在线匹配问题研究进展：如何应对一般图以及顶点全在线的挑战？（图）
在线匹配 顶点全在线 一般图 运筹学
2022/5/6
在线匹配问题是在线算法研究领域一个核心模型，本文将为大家介绍在线匹配问题的研究背景以及刊登在JACM 2020上关于全在线匹配（Fully Online Matching）的主要内容。此前关于在线匹配问题的研究主要局限于二分图中的单侧在线模式，仅能刻画在线到达用户与离线资源之间的匹配问题。论文提出了全在线匹配模型，允许问题中所有顶点均在线到达。同时，以全在线模式为切入点，论文将一般图引入了模型之中...