现有的图分布外（Out-of-Distribution, OOD）检测方法通常依赖于使用大量标记的在分布（In-Distribution, ID）数据来训练图神经网络（Graph Neural Network, GNN）分类器。然而，在文本属性图（Text-Attributed Graphs, TAGs）中获取高质量的标记节点既具有挑战性又成本高昂，这是由于其复杂的文本和结构特性所致。虽然大型语言模型（Large Language Models, LLMs）以其强大的零样本能力在文本任务中表现出色，但它们难以自然地捕获TAGs固有的关键结构信息，从而限制了其直接有效性。为了解决这些挑战，我们提出了LLM-GOOD，这是一种结合LLMs和GNNs优势的一般框架，以提高图OOD检测的数据效率。具体来说，我们首先利用LLMs的强大零样本能力过滤出可能的OOD节点，显著减少了人工标注负担。为了最小化LLM的使用和成本，我们仅使用它对一小部分未标记节点进行标注。然后，我们使用这些噪声标签训练一个轻量级的GNN过滤器，通过结合文本和结构信息，高效预测其他所有未标记节点的ID状态。在从GNN过滤器获得节点嵌入后，我们可以应用基于信息量的方法选择最宝贵的节点用于精确的人工标注。最后，我们使用这些准确标注的ID节点训练目标ID分类器。在四个真实世界TAG数据集上的广泛实验表明，LLM-GOOD不仅显著降低了人工标注成本，而且在ID分类准确性和OOD检测性能方面均优于最先进的基线方法。

视觉-语言模型（VLMs）在视觉问答（VQA）任务中表现出强大的推理能力；然而，其在准确推断人类意图、信念及其他心理状态等心理理论（ToM）任务中的表现仍缺乏深入探索。本文提出了一种开放性问题框架，全面评估了不同规模的VLMs在多样化的ToM任务类别中的性能。我们构建并标注了一个包含30张图片的数据集，并在此数据集上评估了四个不同规模的VLMs的表现。实验结果显示，GPT-4模型在所有模型中表现最优，而较小规模的模型GPT-4o-mini则实现了可比的性能。此外，我们观察到VLMs在复杂场景（如欺凌或欺骗）中往往难以准确推断意图。同时，我们的研究还发现，尽管依赖错误的视觉线索，较小规模的模型有时仍能正确推断出意图。

现有的语言隐写术方案往往忽视候选池中标记（token）的条件概率（CP），将相同的编码分配给所有标记，导致选择可能性相同。这种方法倾向于选择低CP值的标记，降低了隐写对象（stegos）的质量，使其更容易被检测到。本文提出了一种基于区间分配的方案，称为DAIRstega。DAIRstega首先利用部分读取的秘密构建轮盘区域。然后，该方案采用轮盘轮的思想，并以标记的CP为主要依据分配轮盘区域（即区间长度）。因此，具有较大CP的标记会获得更多的区域。秘密选择高CP标记的可能性增加。在分配过程中，我们设计了一些分配函数和三个约束条件以优化过程。此外，DAIRstega支持基于提示的可控生成隐写对象。丰富的实验表明，所提出的嵌入方式和DAIRstega相较于现有方法和基线表现更优，展现出强大的感知、统计和语义隐藏能力以及反隐写分析能力。它还可以生成高质量的更长隐写对象，弥补了该任务中的不足。DAIRstega被证实具有作为安全水印的潜力，并为相关领域的发展提供了启示。

神经架构搜索（NAS）已被广泛用于设计准确且高效的图像分类模型。然而，将NAS应用于新的计算机视觉任务仍需耗费大量精力。这是因为：1）以往的NAS研究过于关注图像分类，而对其他任务的关注较少；2）许多NAS工作侧重于优化特定任务的组件，这些组件难以在其他任务中有效迁移；3）现有的NAS方法通常是“无代理”的，并且需要大量努力才能集成到每个新任务的训练管道中。为了解决这些挑战，我们提出了FBNetV5，这是一种NAS框架，可以在大大减少计算成本和人力投入的情况下为多种视觉任务搜索神经架构。具体而言，我们设计了1）一个简单但包容且可转移的搜索空间；2）一种与目标任务训练管道解耦的多任务搜索过程；3）一种算法，可以同时为多个任务搜索架构，而其计算成本与任务数量无关。我们在三种基础视觉任务——图像分类、对象检测和语义分割上评估了所提出的FBNetV5。在一次搜索运行中，FBNetV5搜索的模型在这三个任务上均超过了之前的最先进水平：图像分类（例如，在相同浮点运算（FLOPs）下比FBNetV3高出1.3%的ImageNet顶级-1准确性）、语义分割（例如，比SegFormer高出1.8%的ADE20K验证集平均mIoU，同时浮点运算减少了3.6倍），以及对象检测（例如，比YOLOX少1.2倍浮点运算的情况下，COCO验证集mAP提高了1.1%）。

场景理解中的语义分割如今需求广泛，对算法效率提出了显著挑战，尤其是在资源受限平台上的应用。当前的分割模型在大量高分辨率场景图像（“数据层面”）上进行训练和评估，并受到多尺度聚合所需计算开销（“网络层面”）的影响。“数据层面”和“网络层面”的计算和能耗在训练和推理过程中都很显著，这通常是由于期望的大输入分辨率和分割模型的繁重计算负担所致。为了解决这一问题，我们提出了DANCE，一种通用的自动化数据-网络协同优化方法，用于高效的分割模型训练和推理。不同于仅关注轻量级网络设计的现有高效分割方法，DANCE通过输入数据操作和网络架构瘦身实现了自动化的同时数据-网络协同优化。具体而言，DANCE集成了自动化的数据瘦身，该方法自适应地对输入图像进行下采样/丢弃，并根据图像的空间复杂度控制其对训练损失的相应贡献。这种下采样操作不仅直接减少了与输入大小相关的成本，还缩小了输入对象和上下文尺度的动态范围，从而促使我们自适应地瘦身网络以匹配下采样的数据。大量的实验和消融研究（在两种训练设置下的四个最先进的分割模型和三个流行的分割数据集上）表明，DANCE可以在高效分割方面实现“全胜”（降低训练成本、减少昂贵的推理成本并提高平均交并比(mIoU)）。

为实现数字化智能化转型和碳中和目标，对综合炼油-石化联合企业而言，有效的生产计划至关重要。现代炼油规划依赖先进的优化技术，而这些技术的发展需要可重复使用的基准问题。然而，现有的基准要么缺乏实际背景，要么施加过于简化的假设，限制了其在企业级优化中的适用性。为弥合理论研究与工业应用之间的巨大差距，本文提出了首个开源、需求驱动的工业规模炼油-石化联合企业基准问题，该基准具有透明的模型公式和全面的输入参数。该基准引入了一种新型的港口流混合超级结构，用于模块化建模和广泛的通用性。关键的二次加工单元采用基于历史数据的delta-base方法表示。构建了三个现实世界案例，分别涵盖不同的场景特征：（1）无整数变量的独立炼油厂；（2）涉及库存相关整数变量的化工厂集成；（3）多周期规划。所有模型参数均完全公开。此外，本文还提供了计算性能分析、关于delta-base建模的消融实验以及所提出基准的应用场景。

硬件感知神经架构搜索（HW-NAS）近年来因其能够自动化设计部署在资源受限的日常生活设备中的深度神经网络（DNNs）而受到极大关注。尽管其性能表现令人瞩目，但开发最优的HW-NAS解决方案仍然极具挑战性，因为这需要跨学科的知识，包括算法、微体系结构以及针对特定设备的编译技术。首先，现有工作大多采用预先收集的硬件成本查找表或针对特定设备的硬件成本模型来确定NAS流程中应包含的硬件成本，这些方法限制了HW-NAS创新的发展，并对非硬件专家设置了进入门槛。其次，类似于通用NAS，由于HW-NAS算法所需的计算资源庞大且所采用的搜索空间、超参数和硬件设备存在差异，因此对其进行基准测试也异常困难。为了解决这些问题，我们开发了HW-NAS-Bench，这是首个面向HW-NAS研究的公开数据集，旨在使非硬件专家也能参与HW-NAS研究，并提高HW-NAS研究的可重复性和易用性。为了构建HW-NAS-Bench，我们精心收集了NAS-Bench-201和FBNet搜索空间内所有网络在六种硬件设备上的测量/估算硬件性能数据，这些设备分为三类（即商用边缘设备、FPGA和ASIC）。此外，我们对HW-NAS-Bench中收集的数据进行了全面分析，为HW-NAS研究提供了深入见解。最后，我们展示了几个示例用例，证明了HW-NAS-Bench允许非硬件专家通过简单查询即可进行HW-NAS研究，并验证了专用的设备特定HW-NAS确实可以实现最优的精度-成本权衡。代码和所有收集的数据可在https://github.com/RICE-EIC/HW-NAS-Bench获取。

本文讨论了一种框架，利用洛伦兹群的旋量表示（即$(j,0)$和$(0,j)$表示及其宇称不变的直和）来参数化并分解自旋$j > 1/2$粒子的算符矩阵元。与传统方法不同，这些旋量表示无需施加约束即可消除多余的自由度，它们正好包含描述自旋-$j$粒子所需的$2j+1$个分量。构造中的核心对象是$t$-张量，它是对自旋较高的情况推广了的保罗四向量$\sigma^\mu$。对于这些表示的广义旋量，我们展示了$t$-张量代数如何允许构建任意自旋的狄拉克矩阵基的一般化。对于质量壳上的双线性形式，我们证明了一个由协变多极构成的集合（阶数满足$0\leq m \leq 2j$）构成了一个完整的基。我们给出了广义狄拉克矩阵基的所有双线性形式的显式表达式，这些表达式适用于任意自旋值。作为推导的一个副产品，我们提出了一种高效计算$t$-张量矩阵元的算法。这里所呈现的形式主义为使用一种更统一的方法分析不同自旋值下强子和原子核的非微扰QCD结构铺平了道路，并且所得分布具有明确的物理意义，即协变多极。

我们提出了一种实用的从头算时变方法，利用Hagedorn波包高效模拟多原子分子任意初始振动水平下的单振动能级（SVL）荧光光谱。我们将该方法应用于通过密度泛函理论计算构建的66维谐势能面上的波包动力学，以计算anthracene的SVL光谱。Hagedorn方法在谐近似下捕获了模式畸变和Duschinsky旋转。我们不仅重现了先前报道的单一激发态$12^1$和$\overline{11}^1$能级的模拟结果，还能很好地计算出多重激发态的SVL光谱并与其实验结果一致。值得注意的是，所有光谱均来自同一条波包轨迹，无需进行超出计算电子激发态基振动水平发射光谱所需的额外传播。

洗牌平方是指由两个相同单词洗牌组合而成的单词。例如，法语单词$\mathtt{\color{red}{tu}\color{blue}{t}\color{red}{e}\color{blue}{u}\color{red}{r}\color{blue}{er}}$是一个洗牌平方，因为它可以被分割为两个相同的单词$\mathtt{tuer}$。有序图是一种顶点具有固定线性顺序的图。我们通过特殊的无巢有序图来表示洗牌平方，并通过此方法解决了一些问题。其中，我们证明了形如$(\mathtt{1001})^n$（$n$为奇数）的二进制词不是洗牌平方，并且它们是所有二进制词中唯一满足每个$\mathtt{1}$-段长度为一或二，而每个$\mathtt{0}$-段长度为二的非洗牌平方词。此外，我们还提供了一个反例，反驳了一种可信的假设：形如$\mathtt1^{n}\mathtt0^{n-2}\mathtt1^{n-4}\cdots$（$n$为奇数）的二进制词远不是洗牌平方（距离通过删除最少数量的字母使单词成为洗牌平方来衡量）。

层析成像是恢复日冕三维密度结构的强大技术。在本文中，我们通过在正则化项中引入径向权重，提出了一种改进的层析成像方法。径向权重在不同高度上提供了平衡的密度值平滑处理，有助于恢复较低高度处更精细的结构，同时稳定解并防止较高海拔处出现振荡伪影。我们将该技术应用于重建卡林顿周期（CR）2098的三维电子密度，使用双星任务中航天器B上的内日冕仪（COR1）在两周内的偏振亮度（pB）观测数据，其中径向权重函数采用背景逆强度，通过平均所使用的全部pB图像计算得到。层析成像与磁流体力学（MHD）模拟之间在不同高度处的密度分布对比显示了良好的一致性。我们发现，径向加权不仅有效纠正了使用二阶平滑重建时靠近内边界处的过平滑效应，而且显著提高了使用零阶平滑重建的质量。此外，比较单卫星数据与多视角数据对CR 2091的重建结果表明，日冕演化和动力学可能对重建的密度结构有显著影响。这一改进的层析成像方法已被用于基于STEREO/COR1-B数据创建CR 2052至CR 2154期间（2007年1月8日至2014年9月17日）的三维密度数据库。

经典集合论通过幂集P(N)构造连续统，从而假定一个不可数的整体。然而，基于构造性和可计算性方法表明，任何具有可数语法的正式系统都无法生成N的所有子集，也无法完全捕捉实直线。本文提出分形可数性作为幂集的一种构造性替代方案。我们不将可数性视为绝对的基数概念，而是重新定义为在可定义子集上的分层、过程相关的闭包，通过扩展基础形式系统的保守序列生成。这产生了一个结构化的、内部增长的构造性可定义性层次，它保持在可数范围内但逼近连续统的表达丰富性。我们将分形可数集与经典可数性和超算术层次进行比较，并将连续统解释为非完成的对象，而是一个分层的定义性地平线。此框架在不诉诸非有效原则的情况下提供了对幂集类操作的构造性重释。

可信计算（confidential computing）或可信执行 enclave（trusted execution enclaves, TEEs）现已成为云计算中实现安全计算的最常见方法。NVIDIA 最近引入的 GPU TEEs 使机器学习（ML）模型能够在不向云服务提供商泄露模型权重或数据的情况下进行训练。然而，使用 GPU TEEs 进行 ML 训练的潜在性能影响尚未得到充分表征。在这项工作中，我们对分布式数据并行（DDP）ML 训练中与 GPU 可信执行环境相关的性能开销进行了深入的特征分析研究。我们的研究表明了在 GPU TEEs 中 DDP 训练所面临的性能挑战。DDP 使用环形全reduce（ring-all-reduce），这是一种众所周知的方法，用于从多个设备聚合梯度。环形全reduce 包含多个分散-减少（scatter-reduce）和全收集（all-gather）操作。在 GPU TEEs 中，只有 GPU 包（GPU 和 HBM 内存）是可信的，因此任何在 GPU 包之外通信的数据都必须加密和认证以确保机密性和完整性验证。因此，环形全reduce 的每个阶段都需要发送方进行加密和消息认证码（MAC）生成，并由接收方进行解密和 MAC 验证。随着参与 DDP 的 GPU 数量增加，环形全reduce 期间的安全 GPU-to-GPU 通信开销按比例增长。此外，更大的模型会导致更多的异步全reduce 操作，从而加剧通信成本。我们的结果显示，在四个 GPU TEEs 上运行时，根据正在训练的模型不同，每次训练迭代的运行时间平均增加 8 倍，最高可达 41.6 倍，而没有 TEE 的 DDP 训练相比。

银河系中黑暗且动态的部分，包括银河系核球的整体形状及其运动特性以及暗致密天体群体（如假设存在的原初黑洞PBHs群体）的特性，由于其本质原因很难直接研究，但对理解宇宙却至关重要。幸运的是，通过引力微透镜这一追踪质量和动力学而非光的方法，可以唯一地研究这些谜团。利用OGLE-IV微透镜巡天在银核区域的观测数据，我们采用贝叶斯分层模型联合推断银河系的性质、致密天体的特征，并检验具有扩展质量分布的PBHs作为暗物质可行解释的可能性，这一工作扩展了之前针对小麦哲伦云和小麦哲伦云的研究，这两者事件率都低得多。我们的推断结果显示数据更倾向于银河系模型中的较低模式速度和致密天体的更宽质量谱。当我们向所优选的天体物理模型加入PBH成分时，发现贝叶斯因子$\ln\mathcal{B} = 20.23$偏好PBH模型。进一步分析这些结果表明，PBH模型的关键特征在于速度分布，它与天体物理对象的速度分布根本不同，且能够唯一解释大量低视差、短时间尺度的微透镜事件。注意到这种效应并非PBH所独有，我们考虑了这些结果应用于假设的PBH群体的含义，并讨论了其他可能的天体物理解释以及巡天或分析系统性的替代说明。

本研究探讨了摩擦雷诺数（$Re_\tau \approx 3{,}000$--$13{,}000$）对由展向表面非均匀性引起的三维湍流边界层中二次流的影响。通过浮式元件拖曳力平衡与高分辨率热线风速仪相结合的方法，我们考察了展向间距（$S/\delta$）变化对摩擦阻力、湍流强度、频谱能量分布及相干结构组织的影响。结果表明，二次流对湍流的调制方式随$S/\delta$的不同而不同，在$S/\delta < 1$时具有强烈的近壁效应，而在$S/\delta \gtrsim 1$时则表现为外层调制。在所有情况下均出现了二次流稳健的频谱特征，峰值出现在$\lambda_x \approx 3\delta$和$y \approx 0.5\delta$处。该峰值要么与非常大规模运动（VLSMs）共存，要么抑制VLSMs，具体取决于流动区域和间距。虽然VLSMs在低动量路径（LMPs）中被抑制，但在高动量路径（HMPs）中随着$S/\delta$和$Re_\tau$的增加逐渐恢复。这些发现为理解三维湍流边界层中二次运动与尺度相互作用之间的关系提供了新的见解，并对减阻控制、混合以及表面设计具有重要意义。

利用合成暗场X射线显微镜数据，三维重建了变形梯度张量场（映射全部9个张量分量）。由于显微镜的独特性质，我们的结果表明，现在可以非破坏性、原位地对变形场的演化进行成像，并且能够深入到嵌入式晶体元件内部。推导出的回归框架和采样方案基于运动衍射近似，非常适合用于研究塑性变形过程中的微观结构演化。我们确定了在这些条件下，从DFXM图像提取的衍射矢量可以唯一地关联到样品的变形梯度张量场的变形条件。分析得出结论，变形梯度张量场必须沿由X射线束宽和衍射光线路径定义的线段线性变化。所提出的算法针对实际噪声水平进行了数值模拟验证。对单一直刃位错的模拟重构显示，Burgers矢量分量的恢复误差小于2%；重建弹性畸变场的平均绝对误差小于10⁻⁶。通过对弹性畸变场取旋度，得到局部位错密度，从而以亚像素精度确定重构位错核心位置。讨论了直接测量弹性畸变和位错密度张量场在连续位错理论背景下的意义。这种测量结果还可以通过提供指导数据，与连续位错动力学相连接，从而扩展相关模型至有限应变范围。

由量子多体波函数的相相干性和干涉驱动的电子输运是一种引人入胜的现象，具有潜在的技术意义。例如，超导性使宏观相位扭曲下的无损耗输运成为可能。同样，在电荷密度波中，一旦相位自由度——代表电子相对于晶格的集体位置——被解除束缚，就会产生特征性的宽带噪声以及有趣的交直流干扰模式。在这项工作中，我们指出在rhombic多层石墨烯中经常报道的价带相干（IVC）态中存在一种相相干输运现象，该态也被称为键序或Kekulé畸变态。在静态磁场下，IVC态表现出振荡轨道磁化强度，从而诱导出类似于超导体中交流约瑟夫森效应的交流霍尔效应。在此类比中，磁场相当于直流电压，而振荡磁化强度相当于交流约瑟夫森电流。我们详细计算了rhombic三层石墨烯中相数自由能的所有参数，预测在0.1特斯拉磁场下振荡频率约为12 GHz。此外，我们还讨论了扭曲同质双层过渡金属二硫属化物中的这种相相干输运现象，其中IVC态已被理论上提出。

深度学习目标检测框架中的神经网络架构搜索（NAS）通常涉及多个模块，每个模块执行不同的任务。这些模块共同导致了巨大的搜索空间，使得搜索可能需要耗费数个GPU时甚至数天的时间，具体取决于搜索空间的复杂程度。这使得联合优化既具有挑战性又计算成本高昂。此外，在各模块中满足目标设备的约束条件进一步增加了优化过程的复杂性。为了解决这些挑战，我们提出了FACETS（Efficient Once-for-All Object Detection via Constrained Iterative Search，通过约束迭代搜索实现高效的端到端目标检测），这是一种新颖的统一迭代NAS方法，以循环方式优化所有模块的架构。FACETS利用之前迭代的反馈信息，在固定一个模块架构的同时交替优化其他模块。这种方法在减少整体搜索空间的同时保留了模块间的相互依赖关系，并结合了基于目标设备计算预算的约束条件。在与渐进式和单模块搜索策略的对照实验中，FACETS实现了精度提升高达4.75%的架构，且在早期阶段的速度是渐进式搜索策略的两倍，同时仍能够达到全局最优解。此外，FACETS展示了迭代优化搜索空间的能力，随着时间推移生成性能更优的架构。经优化后的搜索空间产生的候选架构的平均精度比全局搜索高27%，比渐进式搜索方法高5%（通过随机采样获得）。

农业成像通常需要将单个图像拼接成最终的镶嵌图进行分析。然而，由于重复纹理导致特征匹配困难、植物非平面化以及由大量图像构建的镶嵌图可能累积误差造成漂移，农业图像拼接尤其具有挑战性。尽管这些问题可以通过使用地理配准图像或在高海拔处拍摄图像得以缓解，但对于贴近作物拍摄的图像却没有通用解决方案。为了解决这一问题，我们创建了一个用户友好且开源的管道，用于拼接基于地面的一排作物图像，而无需依赖额外数据。首先，我们使用SuperPoint和LightGlue在小批次图像内提取并匹配特征。然后，在对相机移动施加约束的情况下，依次拼接每个批次的图像。在对每个批次镶嵌图进行拉直和缩放后，将所有批次镶嵌图依次拼接在一起，并最终拉直为一个完整的镶嵌图。我们在两条不同的农业机器人沿72米长作物行收集的图像以及手动沿行携带相机拍摄的图像上测试了该管道。在所有三种情况下，该管道均产生了高质量的镶嵌图，能够以20厘米的平均绝对误差对现实世界中的位置进行地理配准。这种方法为需要在行内粗略地理配准位置但无法获得准确位置数据或复杂成像系统的用户提供了一种可访问的叶片级拼接方案。

包括Catalan数、Motzkin数以及Apr{\'e}y数在内的许多整数序列都可以表示为Laurent多项式 $P$ 和 $Q$ 的形式 ConstantTermOf$\left[P^nQ\right]$。这些序列通常被称为“常数项序列”。本文研究了形如这种序列模 $p^a$ 的情况，并进一步探讨了由这些序列构建的其他序列是否具有均匀递归性质。对于所有非一致递归的情况，我们证明了零元素出现的频率为1。为此，我们引入了一种新的模 $p^a$ 的常数项序列的线性表示方法，这种方法本身也具有独立的研究价值。