搜索结果: 16-30 共查到“知识库 运筹学”相关记录45条 . 查询时间(2.359 秒)
一类求解非光滑矩阵流形优化的基于增广拉格朗日的半光滑牛顿法（丁超）
非光滑矩阵 流形优化 增广拉格朗日 半光滑牛顿法
font style='font-size:12px;'>
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...
无穷集上多项式优化的齐次化方法（袁亚湘）
无穷集 多项式优化 齐次化方法
font style='font-size:12px;'>
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...
多项式优化是目标函数和约束条件均由多项式给出的一类非凸优化问题。因其强大的建模能力和与实代数几何密切的内在联系，多项式优化正受到越来越多研究者的关注，广泛地应用于最优电力流、信号处理、计算机视觉、组合优化、神经网络、量子信息等许多不同的领域。2001年，法国数学家Lasserre对多项式优化提出了Moment-SOS分层的求解框架，即用一系列半定松弛问题逼近多项式优化问题，紧性条件下可以在有限步内...
多项式优化问题新进展（王杰等）
多项式 优化问题 目标函数
font style='font-size:12px;'>
2023/2/22
多项式优化是目标函数和约束条件均由多项式给出的一类非凸优化问题。因其强大的建模能力和与实代数几何密切的内在联系，多项式优化正受到越来越多研究者的关注，广泛地应用于最优电力流、信号处理、计算机视觉、组合优化、神经网络、量子信息等许多不同的领域。2001年，法国数学家Lasserre对多项式优化提出了Moment-SOS分层的求解框架，即用一系列半定松弛问题逼近多项式优化问题，紧性条件下可以在有限步内...
差分隐私分布式随机聚合博弈算法
差分 隐私分布式 随机聚合 博弈算法
font style='font-size:12px;'>
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...
差分隐私分布式随机聚合博弈算法（张纪峰）
差分隐私 分布式 聚合博弈算法
font style='font-size:12px;'>
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 逻辑约束求解
font style='font-size:12px;'>
2023/3/15
近日，中国科学院软件研究所蔡少伟团队在逻辑约束求解器研究中获得新突破，SAT求解器和SMT求解器研究上的成果被重要期刊和会议录用，并在SAT、MaxSAT和SMT竞赛中斩获佳绩。
求解器被誉为“工业软件之魂”，是继芯片与操作系统之后的国之重器。命题逻辑可满足性问题（SAT）和可满足性模理论问题（SMT）是两个最重要的逻辑约束问题，SAT是命题逻辑上的约束求解问题， SMT是一阶谓词逻辑上的约束求...
基于二值测量的线性随机系统的分布式辨识
二值测量 线性随机系统 分布式辨识
font style='font-size:12px;'>
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极限
font style='font-size:12px;'>
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...
辨识切换线性系统的持续激励条件
辨识 线性系统 持续激励条件
font style='font-size:12px;'>
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...
最优与两步自适应量子探测器层析
最优 自适应 量子探测器 层析
font style='font-size:12px;'>
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...
不确定性条件下的环境决策（图）
不确定性条件 环境决策 开放系统 最优化
font style='font-size:12px;'>
2022/5/13
环境是开放系统，很多和环境有关的决策面临不确定性或信息的缺失，如何在这样的情境下做出好的决策困扰决策者的难题。借助其他领域的方法可帮助缓解这一难题，而这需要领域知识和方法知识的结合。本报告拟借环境领域监测装置的布点问题来展示运筹学以及统计学领域的方法如何被用来解决环境领域不确定性条件下的决策问题，并就未来大数据如何可能帮助改善环境监管进行探讨。
在线匹配问题研究进展：如何应对一般图以及顶点全在线的挑战？（图）
在线匹配 顶点全在线 一般图 运筹学
font style='font-size:12px;'>
2022/5/6
在线匹配问题是在线算法研究领域一个核心模型，本文将为大家介绍在线匹配问题的研究背景以及刊登在JACM 2020上关于全在线匹配（Fully Online Matching）的主要内容。此前关于在线匹配问题的研究主要局限于二分图中的单侧在线模式，仅能刻画在线到达用户与离线资源之间的匹配问题。论文提出了全在线匹配模型，允许问题中所有顶点均在线到达。同时，以全在线模式为切入点，论文将一般图引入了模型之中...
可变投资金额机制对自愿参与公共物品博弈的影响研究
公共物品博弈 可变投资金额 自愿参与 演化博弈
font style='font-size:12px;'>
2022/3/30
公共物品对社会发展有重要的保障作用，其私人自愿供给一直是学术界热议的话题之一。基于现实中公共物品投资金额存在个体异质性且可以动态调整的考虑，在传统固定投资自愿参与公共物品博弈中引入了可变投资金额机制，此时个人不仅可以选择是否提供公共物品，还可以决定提供多少公共物品，这种更符合实际的模型设定使博弈结果对现实问题有更强的解释力。结果表明：可变投资金额机制对社会合作水平的提高存在“双刃剑效应”，主要体现...
全球性重大公共卫生事件的频繁爆发已经成为全人类共同面临的危及生命安全和毁坏社会经济秩序的严峻挑战。应急药品储备是实施紧急救助、挽救生命的基础和保障，直接影响应急反应速度和最终成效。现有文献尚未对应急药品储备方式（实物储备和资金储备）定量化研究。为此，本文基于随机需求的情景，确定了应急药品实物储备和资金储备的最优分配策略。首先以长期平均成本最小化为目标建立储备分配模型，量化了四种分配策略。进一步构建...