跳到正文

算法、任务与模态

Optimization 最新动态

Optimization 研究索引；按可核对的标签归档，不以热度评价质量。

462 条精选近 30 天 141 条共收录 566 条

更新

精选归档 · 第 24 页

1月1日周三第 461–462 条
  1. OpenReview · State space models77

    关于将状态估计表述为凸优化问题的札记

    基于摘要分析。本文研究线性状态空间模型的最大后验（MAP）状态估计，将 Kalman filter 解释为凸优化问题的解，并将这一表述推广至具有对数凹密度的噪声，以及状态上的线性等式约束和凸不等式约束。 核心机制是利用噪声密度的对数凹性，使相应的负对数项具有凸性，再结合线性状态空间关系与凸约束构造状态估计问题。相较于摘要所述线性高斯条件下的 Kalman filter，这一框架允许更广的噪声分布，并可显式表达状态的可行范围。作者以 hidden Markov model 为例，其中状态向量由概率组成，需要满足各分量为正且总和为一。摘要未提供具体求解器、计算复杂度、实验数据或定量比较；实验协议、消融及统计信息尚未验证。 平台推测（待验证）：若 EEG/BCI 任务中的潜在状态可用线性状态空间模型近似，且噪声满足对数凹假设，该框架可能用于带物理范围或概率约束的状态估计；这不是已证实的 EEG/BCI 解码效果。可复用部分是 MAP 的凸优化表述与约束建模，需改造部分包括 EEG 观测关系、噪声分布和状态约束。低信噪比、伪迹、跨被试或通道变化可能破坏这些假设，小数据下的模型参数估计也可能不稳定。一个可检验的小实验是在固定 EEG 连续状态估计任务、相同划分与状态空间参数下，对比标准 Kalman filter 和带预先定义凸约束的 MAP 估计，检验独立参考状态上的估计误差及约束违反情况。已有 EEG 相关工作尚未检索确认。

    阅读价值：值得阅读其如何将 Kalman filter 的 MAP 状态估计推广至对数凹噪声与凸状态约束，但该机制对 EEG/BCI 状态估计的适用性尚未验证。

1月1日周三
  1. OpenReview · State space models82

    一般状态空间平均奖励 Markov 决策过程的策略迭代算法

    基于摘要分析。本文研究一般状态空间、无界成本的 Markov 决策过程中的平均成本最优控制，核心贡献是建立策略迭代所生成策略的正则性、相对价值函数序列的收敛性质，以及在进一步条件下获得最优平均成本策略的理论保证。原标题采用 average reward，摘要则以 average cost 表述问题，具体符号约定尚未验证。 核心机制与条件：作者报告，只要存在一个初始 c-regular 策略，并满足状态空间上的不可约性条件，策略迭代便生成一系列 c-regular 策略，其中 c 为所考虑的成本函数。在这些条件下，算法生成的相对价值函数序列具有下界且“近乎”递减，作者据此得到算法收敛结论。c-regular 的严格定义、“近乎”递减的数学含义与收敛方式需查阅全文，不能仅凭摘要将其等同于逐点单调下降。 最优性与应用：算法收敛不应直接等同于得到最优策略。作者报告，在进一步条件下，算法能够求得最优性方程的解，从而得到最优平均成本策略；摘要未列明这些附加条件。作者还报告，这些结果提供了无界成本问题中最优策略存在性的判据，并恢复标准 linear-quadratic-Gaussian 问题的已知结果。在多类别排队网络控制中，作者指出网络优化与更简单的流体网络模型最优控制存在密切联系，具体对应关系尚未验证。 证据范围：这是最优控制理论研究，不是神经信号建模或 BCI 验证。摘要未提供 EEG/BCI 任务或足以支持具体迁移方案的机制对应，因此不据此提出 BCI 复现实验；已有 EEG 相关工作尚未检索确认。阅读全文时应重点核对正则性与不可约性假设、策略评价和改进步骤、最优性所需的附加条件及流体模型对应关系。实验协议、消融及统计信息尚未验证。

    阅读价值：值得阅读的具体原因是其给出一般状态空间、无界成本条件下策略迭代的收敛与最优性条件，并区分算法收敛和获得最优策略所需的假设；这些理论尚不能直接作为 BCI 控制有效性的证据。