同步对于复杂网络化系统的稳定性与协调运行至关重要。牵制控制通过选择性地控制部分节点，为提升网络同步能力提供了一种可扩展的解决方案。然而，现有的策略存在关键局限性：基于启发式中心性的方法缺乏与同步动力学的直接联系，而基于谱分析的方法虽然有效但计算成本高昂。为解决这些挑战，我们提出了一种基于扰动优化的策略（PBO），该策略动态评估每个节点对拉普拉斯矩阵的谱影响，从而在显著降低计算成本（复杂度为O(kM)）的情况下实现更好的同步能力。大量实验表明，所提出的策略在同步能力、收敛速度以及应对节点失效的牵制鲁棒性方面优于传统策略。值得注意的是，在所有测试的实证网络及一些生成网络中，PBO明显优于暴力贪婪策略，证明其能够避免局部最优解并适应复杂的连接模式。本研究建立了网络同步能力与收敛速度之间的理论关系，为大规模复杂网络的有效同步策略提供了新见解。

星系中局部及高红移星云HeII发射线的起源仍然是一个未解之谜。为了解释这一现象，提出了多种理论，包括高能X射线双星、超亮X射线源或“剥离”的He星、激波电离以及隐藏的活动星系核（AGN）。然而，这些理论均存在不足之处，使得HeII发射线的成因仍不明确。我们研究了单颗大质量恒星和/或WR星演化产生的光子驱动星云HeII发射的可能性，并结合恒星演化模型、人口合成模型和星云模型，识别出最有可能产生这种发射的场景。我们发现，如果WR星风足够稀疏接近光学薄，则具有广泛金属丰度和自转速率的恒星群体可以产生足够的HeII电离光子，解释局部HeII发射星系观测到的星云HeII/Hβ强度比值0.004-0.07。对于金属丰度低、快速旋转的恒星群体（[Fe/H]=-2.0，v/v_crit=0.4），即使在部分团块状风的情况下也能达到类似的HeII产生水平。这些情景还预测了HeII、Hβ和“蓝峰”线的当量宽度与观测到的HeII发射星系一致。只有在层流、非团块状风的情况下，我们无法找到金属丰度和恒星自转速率的组合，使HeII/Hβ强度比值达到HeII发射星系的观测值。与先前的研究结果相反，我们得出结论，若WR星风足够稀疏，允许大量硬电离光子逃逸，则单颗WR星可成为强烈的星云HeII发射源。

大型语言模型（LLMs）可以在零样本或少样本设置下通过生成中间思维来进行复杂的推理。然而，零样本提示始终会遇到性能低下问题，而少样本提示的优越表现依赖于手工制作的演示。本文提出RoSE（基于协调流式体验的推理），这是一种用于解决推理任务的一般框架，能够在无需复杂外部努力的情况下自我提升。为了实现RoSE，我们描述了一种架构，该架构扩展了LLM，将所有已回答的问题及其思维存储在流式体验池中，然后从池中协调有助于回答新问题的问题。为建立问题感知的协调机制，RoSE首先计算池中每个问题与新测试问题之间的相似度。由于每个已解答问题的解决方案并不总是正确的，RoSE将根据其与新问题的相似度对问题进行排序，并将其均匀地划分为多个桶。最后，它从每个桶中提取一个问题，从而使这些提取的问题更加多样化。为了让这些提取的问题尽可能帮助RoSE回答新问题，我们为每个问题引入了不确定性与复杂性的两个其他属性。RoSE将优先选择每个桶中不确定性低且复杂性高的问题。我们在各种推理任务、LLMs和CoT方法中评估了RoSE的通用性。

使用计算机模拟，我们研究了具有时滞反馈相互作用的胶体颗粒的动力学行为。特别是，这里我们考虑“反馈拉取器”，即被从当前位置拉向其过去位置周围的吸引环的胶体颗粒。对于单个粒子，小环会导致扩散运动减少，而大环则会使粒子变得活跃。对于多个粒子，每个粒子不仅感受到自身的吸引环，还会被其他粒子周围的吸引环所吸引。如预期的那样，当环的大小大于粒子直径时，反馈会导致晶格常数由反馈环半径决定的晶体形成。然而，我们证明，对于较长的延迟时间（相对于布朗运动时间），胶体粒子开始在其晶格位置附近振荡，最终塌缩为紧密堆积的晶格，其晶格常数对应于粒子直径。这种效应是由晶格内粒子位移与相应反馈力变化之间的时间延迟引起的。此外，我们还表明，除了预期的六角形晶体外，当环的大小略小于粒子直径时，由于时间延迟，可能会形成不常见的新状态。在这种情况下，粒子会自组装并协作移动，形成“活体蠕虫”或活动方形晶格晶体。

随着训练数据规模、模型大小以及计算成本的扩大能力，视频生成在数字创作领域取得了显著成果，使用户能够在各个领域表达创造力。近期，大型语言模型（LLM）的研究人员将扩展能力推广到测试时阶段，通过增加推理时的计算量显著提升了LLM的性能。我们探索了测试时扩展（TTS）在视频生成中的潜力，而非通过昂贵的训练成本来扩展视频基础模型，旨在回答如下问题：如果允许视频生成模型在推理时使用非平凡量级的计算资源，它能在面对具有挑战性的文本提示时提高生成质量多少？在本研究中，我们将视频生成的测试时扩展重新解释为一个搜索问题，即从高斯噪声空间采样更好的轨迹以逼近目标视频分布。具体而言，我们构建了一个测试时验证器的搜索空间以提供反馈，并设计启发式算法指导搜索过程。给定一个文本提示，我们首先通过增加推理时的噪声候选值探索一种直观的线性搜索策略。由于完整步长同时去噪所有帧需要高昂的测试时计算成本，我们进一步设计了一种更高效的视频生成测试时扩展方法——框架树（ToF），该方法以自回归方式自适应地扩展和剪枝视频分支。在基于文本条件的视频生成基准上的大量实验表明，增加测试时计算量始终能显著提升视频的质量。项目页面：https://liuff19.github.io/Video-T1

一家赌场提供如下游戏：有三个杯子，每个杯子里放着一个骰子。你被告知这三个骰子完全相同，但可能是非标准的。下注1美元后，游戏主持人会摇动三个杯子，然后让你选择其中一个。如果你选中的杯子里的骰子显示的点数至少等于其他两个骰子点数的平均值，则赢得2美元；否则输掉赌注。这个游戏对你有利吗？如果不是，赌场应如何设计骰子以最大化其利润？这个问题是以下更一般性问题的一个特例：给定可测空间 $X$ 和有界可测函数 $f : X^n \to \R$，概率测度形式为 $\mu^{\otimes n}$ 的情况下，$f$ 的期望值可以达到多大？我们提出了一种通用方法来解决这类问题。作为一个比赌场问题更难的应用示例，我们证明了对于非负独立同分布随机变量，事件 $X_1 + X_2 + X_3 < 2X_4$ 的最大概率位于 $0.400695$ 和 $0.417$ 之间，其中上界由混合整数线性规划得到。我们猜测下界即为该值的确切结果。

对于一般短时标天体物理引力波瞬变的全天空搜索往往因噪声瞬变而具有挑战性。为LIGO科学合作组织、Virgo及KAGRA（LVK）探测器的引力波瞬变搜索开发新颖的信号-噪声判别器至关重要。本文采用最近发展的一种基于Jensen Shannon散度（JSD）的度量方法，该方法评估跨探测器参数的一致性，以区分弱建模或未建模的天体物理引力波信号与强噪声触发。首先，我们将早期工作中的双探测器JSD基度量扩展到三探测器网络。在此基础上，我们修改了现有Coherent Waveburst（cWB）-高斯混合模型（GMM）算法的测试统计量，以提高对特定波形（如正弦高斯波、高斯脉冲和白噪声爆发）的短时标暂现源搜索灵敏度。研究发现，使用新方法（称为cWB-GMM-JSD），对于由LHO和LLO探测器组成的双探测器网络，在10年积分假发现率（IFAR）下，特定波形的灵敏度（由$h_{\mathrm{rss50}}$表示）提高了约10%-20%；而对于包含LHO、LLO和Virgo探测器的三探测器网络，其灵敏度提高了约5%-10%。最后，我们在LIGO和Virgo探测器第三观测运行（O3）的公开数据修订分析管道中应用了修改后的统计量。尽管在O3数据中未发现新的事件，但大多数已知引力波事件的统计显著性明显上升，进一步验证了灵敏度的提升。

本文研究了在带噪声反馈下有向无环图（DAGs）中的在线最短路径问题，面对自适应对手时，我们提出了一种高效的近似最优算法。给定一个具有源节点$v_{\mathsf{s}}$和汇节点$v_{\mathsf{t}}$的DAG $G = (V, E)$，设$X \subseteq \{0,1\}^{|E|}$表示从$v_{\mathsf{s}}$到$v_{\mathsf{t}}$的所有路径集合。在每一轮$t$中，我们选择一条路径$\mathbf{x}_t \in X$并接收关于损失$\langle \mathbf{x}_t, \mathbf{y}_t \rangle \in [-1,1]$的带噪声反馈，其中$\mathbf{y}_t$是由对手任意选择的损失向量。我们的目标是在$T$轮内最小化相对于事后最佳路径的遗憾。我们提出了首个在高概率下对任何自适应对手实现接近极小极大最优遗憾界$\tilde O(\sqrt{|E|T\log |X|})$的计算高效算法，其中$\tilde O(\cdot)$隐藏了边数$|E|$的对数因子。我们的算法通过新颖的损失估计器和基于质心的分解方式，以非平凡的方式达到了这一遗憾界。作为一种应用，我们展示了该DAG算法为$m$-集、扩展式博弈、Colonel Blotto博弈、有向图中的最短行走、超立方体以及多任务多臂老虎机提供了最先进的高效算法，并在所有这些场景中实现了改进的高概率遗憾保证。

从图像理解到视频理解，多模态大型语言模型（MLLMs）的能力日益强大。然而，大多数现有的视频理解基准都是相对较短的，这使得它们在有效评估MLLMs长序列建模能力方面存在不足，凸显出构建综合且一体化的长视频理解基准的迫切需求。为此，我们提出了ALLVB（全合一长视频理解基准）。ALLVB的主要贡献包括：1）整合了9个主要的视频理解任务，这些任务被转化为视频问答（QA）格式，使单一基准能够评估MLLMs在9种不同视频理解能力上的表现，突显了ALLVB的多功能性、全面性和挑战性。2）设计了一套完全自动化的标注流水线，仅需人工质量控制，便于基准的维护和扩展。3）包含16个类别的1,376段视频，平均每段视频接近2小时，总计包含252k个问题及答案（QAs）。据我们所知，这是在视频数量、平均时长以及QAs数量方面最大的长视频理解基准。我们在ALLVB上测试了各种主流MLLMs，结果表明即使是最先进的商业模型也仍有显著提升空间。这反映了基准的挑战性，并展示了长视频理解领域巨大的发展潜力。

随着詹姆斯·韦伯太空望远镜（JWST）时代的到来，系外行星大气光谱的质量得到了显著提升，这要求我们对这些光谱的分析能力也必须同步飞跃：需要对成千上万条光谱进行大气反演，并结合大量模型（探索大气化学、热剖面和云模型）来确定最佳模型。在这种情况下，传统的贝叶斯推理方法如嵌套抽样变得过于昂贵。我们引入了FASTER（快速摊销基于模拟的凌星系外行星反演），这是一种基于神经网络的方法，能够以传统技术一小部分的计算成本实现大气反演和贝叶斯模型比较。我们证明，利用模拟光谱以及真实NIRSpec PRISM光谱（WASP-39b），FASTER框架内模型的所有参数边缘后验分布以及所考虑模型的后验概率与嵌套抽样的计算结果一致。FASTER框架真正的强大之处在于其摊销特性，这使得训练后的网络能够在几乎不增加额外计算成本的情况下，对真实或模拟的光谱集合进行实用的贝叶斯推理和模型比较。这种方法为理解模型比较的结果（例如区分有云与无云、等温与非等温模型）及其对底层参数的依赖提供了宝贵的见解，而这些在嵌套抽样下是计算上不可行的。这一方法将在光谱分析领域带来类似于基于马尔可夫链蒙特卡洛的传统反演方法那样的巨大飞跃。

人脸识别系统容易受到物理（例如打印的照片）和数字（例如DeepFake）人脸攻击的威胁。现有方法由于1）这些攻击类型之间存在显著的类内变化，以及2）空间信息不足以全面捕捉真实和伪造线索，难以同时检测物理和数字攻击。为了解决这些问题，我们提出了一种名为频率感知与攻击无关CLIP（FA\textsuperscript{3}-CLIP）的统一攻击检测模型，引入了攻击无关提示学习，通过空间和频率特征融合提取通用的真实和伪造线索，实现对真实人脸和所有类别攻击的统一检测。具体而言，攻击无关提示模块在语言分支中生成通用的真实和伪造提示，从真实和伪造人脸中提取相应的通用表示，引导模型学习统一的特征空间用于统一攻击检测。同时，该模块自适应地从原始的空间和频率信息中生成真实/伪造条件偏差，优化通用提示，减少类内变化的影响。我们还在视觉分支中提出了一个双流线索融合框架，利用频率信息补充在空间域难以捕捉的细微线索。此外，频率流中还使用了频率压缩块，减少了频率特征中的冗余，同时保留了关键线索的多样性。我们还建立了新的具有挑战性的协议，以促进统一人脸攻击检测的有效性。实验结果表明，所提出的方法在检测物理和数字人脸攻击方面显著提高了性能，达到了最先进的效果。

将无人机（UAV）集成到现有的移动边缘计算（MEC）系统中，可满足未来物联网（IoT）网络的严苛需求。本文研究了一种MEC系统，其中具备计算能力的无人机通过无线链路连接到云服务器，旨在为物联网设备的上行传输进行任务卸载。通过制定资源分配问题对该系统的性能进行了研究，该问题旨在最大化长期计算任务效率，同时确保物联网设备、无人机和云的任务缓冲区稳定性。该问题联合优化了物联网设备的上行发射功率及其卸载决策、无人机的轨迹以及所有收发器的计算能力。针对问题的非凸性和随机性，我们提出了一种多步求解方法。首先，通过引入分数规划和Lyapunov理论，我们将长期优化问题转化为等效的每时隙形式。随后，我们将重新表述的问题建模为马尔可夫决策过程（MDP），以反映网络动态特性。最终，该MDP模型用于训练一个元双延迟深度确定性策略梯度（MTD3）代理，负责针对由无人机和物联网设备移动引起的MEC系统变化进行自适应资源分配。仿真结果表明，所提出的资源分配方法优于基于深度强化学习（DRL）的方法，提高了计算任务效率并减少了任务缓冲区长度。

确保由大规模语言模型（LLM）生成代码的鲁棒性对于实际应用中的可靠性至关重要。然而，现有的评估主要集中在正确性方面，往往忽视了诸如缺少输入验证和错误处理不足等关键鲁棒性问题。本文首次对LLM生成代码的鲁棒性进行了实证研究，引入了新的鲁棒性度量指标，并分析了四种最先进的代码LLM，结果表明，平均而言，它们生成的代码中有43.1%的鲁棒性低于人类编写的代码。值得注意的是，超过90%的鲁棒性缺陷源于缺失的条件检查，其中70%的遗漏出现在代码的第一行。此外，在需要但缺失条件语句的情况下，有69%的情况中“if”关键词在模型预测的词概率排名中仍位列第三或更高，表明模型隐式认识到了控制结构的重要性。基于这些发现，我们提出了RobGen框架，该框架旨在提升代码鲁棒性而无需重新训练模型。RobGen利用两种与模型无关的技术：RobGen-Adj，通过在解码过程中动态调整词概率来鼓励包含控制结构；以及RobGen-Ins，在生成后插入缺失的条件语句以改进生成代码。实验结果显示，RobGen将鲁棒性较低的模型生成代码的比例降低了20.0%，显著提升了跨多种任务的代码可靠性。作为一种轻量级且可适应性强的解决方案，RobGen有效缓解了LLM生成代码中的鲁棒性挑战。所有代码和数据均可在https://github.com/SYSUSELab/RobGen获取。

静态前馈场景重建近期在高质量新视图合成方面取得了显著进展。然而，这些模型往往难以在多样化环境中保持泛化能力，并且无法有效处理动态内容。我们提出了BTimer（BulletTimer的简称），这是首个具备运动感知的前馈模型，用于实时动态场景的重建和新视图合成。我们的方法通过聚合所有上下文帧的信息，在给定的目标（“子弹”）时间戳处以3D高斯点绘表示重构整个场景。这种公式化方式使BTimer能够利用静态和动态场景数据集，从而获得可扩展性和泛化能力。给定随意的单目动态视频，BTimer在150毫秒内重构子弹时间场景，其性能在静态和动态场景数据集上达到最先进水平，甚至优于基于优化的方法。

我们利用共振手征理论在纯强子区域计算了张量介子极点对$a_\mu$的轻子-强子散射部分的贡献。鉴于色散方法和全息方法之间的差异以及由此引发的对$a_\mu$强子轻子散射部分不确定性估计的讨论，我们认为现在提出一种替代评估是及时的。在我们的方法中，除了最轻的张量介子非重，还考虑了两个矢量介子非重。我们在手征极限下进行计算，其中所有参数通过施加短程QCD约束和辐射张量衰变宽度来确定，且仅形式因子$F_1^T$不为零，这与色散研究的结果一致。我们得到以下不同贡献的结果（单位：$10^{-11}$）：$a_\mu^{\rm a_2-pole}=-1.09(10)_{\rm stat}(^{+0.00}_{-0.11})_{\rm syst}$，$a_\mu^{\rm f_2-pole}=-3.4(3)_{\rm stat}(^{+0.4}_{-0.0})_{\rm syst}$ 和 $a_\mu^{\rm f_2^\prime-pole}=-0.046(14)_{\rm stat}(^{+0.008}_{-0.000})_{\rm syst}$，其总和为 $a_\mu^{\rm (a_2+f_2+f_2^\prime)-pole}=-4.5^{+0.5}_{-0.3}$。

一致性预测（CP）因其能够为复杂的数据驱动模型提供形式化保证而成为机器人学与控制领域的重要工具。然而，在机器人导航任务中，现有的基于CP的方法往往将预测与控制解耦，评估模型时未考虑预测误差是否真正影响安全性。因此，当所有潜在轨迹看似不可行时，自动驾驶车辆可能会变得过于保守甚至无法移动。为解决这一问题，我们提出了一种新颖的基于CP的导航框架，仅对与安全相关的预测错误作出响应。我们的方法引入了自我中心评分函数，量化障碍物相对于候选车辆位置的实际接近程度与预期之间的差异。这些评分函数随后被整合到模型预测控制方案中，每个候选状态都会单独进行安全性评估。结合自适应CP机制，该框架能够在障碍物运动变化时动态调整，避免不必要的保守性。理论分析表明，与现有基于CP的方法相比，我们的方法在保持所需安全水平的同时提高了成本效率，并通过在密集行人环境的真实数据集上的实验进一步得到验证。

随着近年来基因组研究的日益流行，由于隐私问题，数据集共享仍然受到限制。这种限制阻碍了研究结果的可重复性和验证，而这两者在识别研究过程中计算错误方面至关重要。本文介绍了一种名为PROVGEN的隐私保护方法，用于共享基因组数据集，以促进全基因组关联研究（GWAS）中的结果可重复性和验证。我们的方法将基因组数据编码到二进制空间，并采用两阶段过程。首先，我们利用基于异或机制并结合生物学特征生成数据集的差分私有版本。其次，通过最优传输调整噪声数据中的次要等位基因频率（MAF）值，使其与已发布的MAF对齐，从而恢复数据效用。最后，我们将处理后的二进制数据转换回其基因组表示形式并发布生成的数据集。我们在三个真实世界的基因组数据集上评估了PROVGEN，并将其与本地差分隐私和三种基于合成的方法进行了比较。结果显示，我们提出的方案在检测GWAS结果错误方面优于所有现有方法，实现了更好的数据效用，并提供了更高的针对成员推理攻击（MIA）的隐私保护。通过采用我们的方法，基因组研究人员将倾向于共享差分私有数据集，同时保持高质量的数据以实现其发现的可重复性。

从大脑活动解码视觉体验是一项重大挑战。现有的fMRI到视频的方法通常专注于语义内容，而忽略了空间和运动信息，但这些方面同样重要，并且通过大脑中的不同通路进行处理。受此启发，我们提出了DecoFuse，这是一种新颖的受脑启发的框架，用于从fMRI信号中解码视频。它首先将视频分解为语义、空间和运动三个组成部分，然后分别解码每个部分，最后将它们融合以重构视频。这种方法不仅通过将复杂的视频解码任务分解为可管理的小任务简化了任务，而且通过消融研究建立了学习表示与生物对应物之间的更清晰联系。此外，我们的实验表明，相比之前的最先进方法有了显著改进，语义分类准确率达到82.4%，空间一致性准确率为70.6%，运动预测余弦相似度为0.212，视频生成的50类准确率为21.9%。此外，语义和空间信息的神经编码分析与双通路假说一致，进一步验证了腹侧和背侧通路的不同作用。总体而言，DecoFuse为fMRI到视频的解码提供了一个强大且生物学合理的框架。项目页面：https://chongjg.github.io/DecoFuse/。

成功防御动态演化的网络威胁需要先进的复杂技术。本研究提出了一种通过集成大语言模型（LLMs）和检索增强生成（RAG）系统与持续威胁情报流，以提升实时网络安全威胁检测和响应能力的新方法。利用GPT-4o等大语言模型的最新进展以及RAG技术的创新应用，我们的方法通过整合动态、实时数据源，克服了传统静态威胁分析的局限性。我们利用RAG技术实现实时获取最新的威胁情报信息，这是现有GPT-4o模型无法实现的。我们采用Patrowl框架自动检索多样化的网络安全威胁情报源，包括常见漏洞和暴露（CVE）、通用弱点枚举（CWE）、漏洞预测评分系统（EPSS）以及已知被利用漏洞（KEV）数据库，并将其与all-mpnet-base-v2模型结合用于高维向量嵌入，存储和查询在Milvus中。通过一系列案例研究，我们展示了该系统的有效性，相较于基线GPT-4o模型，在处理近期披露的漏洞、KEVs和高EPSS评分的CVE方面显示出显著改进。这项工作不仅推动了大语言模型在网络安全中的角色发展，还为构建自动化智能网络威胁信息管理系统奠定了坚实基础，填补了当前网络安全实践中的重要空白。

鳐和鲼在接近地面（如海底）时表现出不同的鳍运动学特性。靠近地面时，它们的鳍运动更倾向于波浪状（高波数），而远离地面时则更倾向于振荡状（低波数）。目前尚不清楚这些差异是由流体力学驱动还是由其他生物压力引起。本文研究表明，靠近地面时，仿鳐鱼鳍的时间平均升力高度依赖于波数。我们通过一个仿鳐鱼机器人装置验证了这一结论，该装置能够在同一片鳍上实现振荡和波浪状运动。势流模拟显示，升力始终为负值，因为拟稳态力克服了尾流诱导力。三维流场测量表明，振荡尾流比波浪状尾流更容易受到地面的影响。这些效应导致振荡鳍的吸力远大于波浪状鳍，并且更加不稳定。我们的研究结果表明，波数在仿鳐鱼鳍的近地面动力学中起重要作用，特别是在背腹方向上的加速度方面。较低波数与更强吸力之间的联系为解释鳐鱼及其仿生机器人的深度依赖性运动学提供了新的视角。