主页 | Goat

Goat_Yang2026/9/28小于 1 分钟

Zotero：论文管理与参考文献引用工具

Zotero 是一款免费开源的文献管理工具，能帮研究者高效收集、组织、注释和引用研究资料。它可通过浏览器插件一键抓取网页、数据库中的文献信息与 PDF 全文，也能自动识别本地 PDF 的元数据。

写作时，它能与 Word、LaTeX 等深度集成，一键插入引用并按 APA、MLA 等上万种格式自动生成参考文献列表。同时支持跨设备同步、团队协作共享，还可通过丰富插件拓展功能，且由非营利组织开发保障数据安全。

Goat_Yang2025/10/2大约 3 分钟

数学建模论文模板

一、国赛模板

模板请使用XeLatex编译，编译引用或修改表格列宽时要编译两次才能实装效果。

为了正常使用，请勿轻易修改导言区。

二、插入图片

强制图片位置

\FloatBarrier % 强制在此处插入上方代码的图形

Goat_Yang2025/8/23大约 13 分钟

ArtCraft 系列：对标 Adobe 的开源创作软件

如果想找对标 Photoshop、Illustrator 或 Premiere Pro 的开源软件，可以关注 ArtCraft 团队的 Craft 应用系列。它们围绕这些软件熟悉的工作流开发独立工具，覆盖图像编辑、矢量绘图、照片管理、视频剪辑、特效合成、出版排版和 PDF 处理。

从 ArtCraft 主仓库进入组织后，最值得先看的是对标 Adobe 软件的七个项目。各仓库将这些应用描述为用 Rust 从头实现的开源工具，并强调净室实现（clean-room）：依据公开规范和可观察行为开发。对熟悉 Adobe 工具的读者，功能对应关系便于判断哪个项目与自己的工作有关。

Goat_Yang2026/10/10大约 10 分钟

Humanizer：辅助 AI 论文写作的文风校对技能

用 AI 帮忙写论文，常见的问题是文字变得流畅了，论述却变得空泛：引言反复强调研究意义，相关工作只剩笼统评价，实验分析把一项有限的结果写成“显著优势”。这些句子看起来像论文，读者却很难从中找到具体问题、证据和适用条件。

Humanizer 是 blader 开源的写作校对技能，供 Claude Code、Codex 等支持 Agent Skills 的工具使用。它能帮助检查 AI 草稿中的模板化表达、重复总结和夸张措辞。对于已经有文献、方法和实验结果，只想让论文表述更清楚的作者，可以把它放在初稿完成后的语言校对环节。

Goat_Yang2026/10/10大约 10 分钟

从拉格朗日乘数法到 KKT 条件

无约束优化中，我们习惯先令导数或梯度为零，再判断得到的点是不是极小值。但有了约束，最优点可能恰好位于边界，目标函数的梯度并不为零：它仍然指向某个下降方向，只是那个方向不允许走。

拉格朗日乘数法处理等式约束；KKT（Karush–Kuhn–Tucker）条件把这一思路推广到同时含有等式与不等式约束的问题。理解它的关键，是弄清楚哪些约束在最优点真正限制了移动，以及这些限制如何与目标函数的梯度平衡。以下默认目标函数和约束函数连续可微，变量为连续变量。优化问题的分类与常见求解方法可先参阅优化理论概览。

Goat_Yang2026/9/28大约 10 分钟

昂贵优化问题介绍

问题的定义

在许多优化任务中，算法每产生一个候选解，都要调用一次高保真仿真、训练完整模型或进行实体实验。若一次评估需要数小时、数天或昂贵实验资源，即使优化算法本身运行很快，可完成的真实评估次数仍然很少。昂贵优化（expensive optimization）讨论的正是如何在有限评估预算下有效搜索。

以单目标最小化为例，问题可写为：

\begin{aligned} \min_{\mathbf{x} \in \mathcal{X}}\quad & f(\mathbf{x}) \\ \text{s.t.}\quad & g_i(\mathbf{x}) \le 0, \quad i=1,\ldots,p, \\ & h_j(\mathbf{x}) = 0, \quad j=1,\ldots,q. \end{aligned}

Goat_Yang2026/9/28大约 6 分钟

Kriging 代理模型

在昂贵优化中，只知道候选点的预测目标值还不够：当两个点的预测值接近时，哪一个更值得花一次真实评估？Kriging 为每个候选点建立预测分布，使算法能同时利用预测均值和模型不确定性。在确定性计算机实验中，它常以高斯过程（Gaussian Process，GP）回归的形式实现。

用均值和协方差描述未知函数

设真实目标函数为 $f(\mathbf{x})$ ，Kriging 用一个带均值函数和协方差函数的高斯过程描述我们对未知函数的认识：

Goat_Yang2026/9/28大约 9 分钟

径向基函数代理模型（RBF）

假设一次仿真需要数小时，而我们已经评估了若干设计点。如何利用这些点预测尚未运行的设计，并挑选下一次仿真的输入？径向基函数（Radial Basis Function，RBF）代理模型用样本点之间的距离构造一个便于计算的近似函数。它适合先讨论确定性仿真的插值情形，再扩展到有噪声的数据。

从样本点构造近似函数

设已有 $n$ 个真实评估样本 $(\mathbf{x}_i,y_i)$ ，其中 $y_i=f(\mathbf{x}_i)$ 。一种常见的 RBF 模型写为：

Goat_Yang2026/9/28大约 9 分钟

一周论文分享：RDE 与 LIO，进化算法怎样利用搜索经验

进化算法每次搜索都会留下经验：哪些参数产生过好解，哪种策略最近更有效，以及一个较差的解怎样变成了较好的解。这些信息除了用于保留当前最优解，还能怎样帮助下一次搜索？

这篇记录整理自 2026 年 9 月 17 日的组会分享，对应 9 月 14—20 日这一周。两篇论文给出了不同的回答：RDE 把反馈用于协调已有搜索策略，LIO 则从历史进化数据中训练一个能够直接提出候选解的网络。把它们放在一起读，关注点就从“又增加了什么组件”转向了“经验以什么形式留下，又影响了哪个搜索环节”。

本周读的两篇论文

RDE：重构差分进化。 Tao 等，2024，arXiv:2404.16280v1。关注如何重组已有机制，并根据收益分配搜索资源。
LIO：将学习融入进化计算。 Bian 等，Swarm and Evolutionary Computation 95 (2025), 101930。关注如何从成功进化样本中学习，直接生成候选解。

Goat_Yang2026/9/21大约 14 分钟