轻度创伤性脑损伤（mTBI）是一种高发性疾病，不同个体的预后具有异质性。影响脑组织变形及mTBI风险的关键因素之一是头部的旋转运动学特性。由于传感器与颅骨的良好耦合，仪器化牙套被广泛接受为测量旋转头部运动的方法。然而，在某些情况下，例如长期数据收集时，佩戴牙套并不总是可行的。因此，需要替代的可穿戴设备。本研究提出了一种改进设计和数据处理方案，用于一种仪器化头带。我们的仪器化头带利用一组惯性测量单元（IMU），并采用基于连续小波变换的新数据处理方案，以解决IMU测量中的误差来源。在人体模型试验装置上的实验室测试表明，当头带受到足球撞击以模拟头球动作时，与参考传感器相比，头带测得的前部撞击峰值旋转速度（PRV）和峰值旋转加速度（PRA）的相关系数（r）分别为0.80和0.63，归一化均方根误差（NRMSE）分别为0.20和0.28。然而，考虑所有撞击位置时，相关系数r分别下降至0.42和0.34，NRMSE分别增加至0.5和0.41。这种新的仪器化头带在重建由正面足球撞击引起的旋转头部运动学方面优于先前的设计，为仪器化牙套提供了一种潜在的替代方案。

给定参数$c>0$，$\delta\neq 0$以及一个实值、可积、独立同分布为$F$的随机变量序列$(X_n)$，我们刻画了使得$(N_n-cM_n)$成为鞅的分布$F$，其中$N_n$表示在$X_1,\ldots,X_n$中满足$X_k>M_{k-1}+\delta$的观察值个数，称为δ-记录，而$M_k=\max\{X_1,\ldots,X_k\}$。该问题重新表述为$1-F(x+\delta)=c\int_x^\infty(1-F)(t)\mathrm{d}t$，对于$x\in T$且$F(T)=1$成立。不同于标准的函数方程（其等式需对固定集合中的所有$x$成立），我们的问题是域依赖于$F$本身，这虽然引入了复杂性，但也允许更多可能的解。当$\delta<0$时，我们找到了所有解的显式表达；当$\delta>0$时，对于有界支持的分布也得到了结果。在无界支持的情况下，我们分别研究连续分布和格点分布。在连续情形下，假设支撑为$\mathbb{R}_+$，我们将问题化简为延迟微分方程，发现除了指数分布的一些特殊情况外，混合指数分布和伽马分布以及许多其他分布也是解。对于格点情形，假设支撑为$\mathbb{Z}_+$，类似地化简为差分方程，并得到了相应的结果；特别是，发现几何分布和负二项分布的混合也是解之一。

在高能核碰撞中，部分子集体性是夸克-胶子等离子体形成的重要标志之一。在RHIC和LHC的顶点能量核碰撞中，轻子hadron椭圆流$v_2$表现出构成夸克数（NCQ）缩放现象，这在理论上被认为是部分子集体性的有力证据。本文利用RHIC的STAR实验，在$\sqrt{s_{_{\rm{NN}}}}$ = 3.2、3.5、3.9和4.5 GeV的Au+Au碰撞中，系统分析了$\pi^{\pm}$、$K^{\pm}$、$K^{0}_{S}$、$p$和$\Lambda$的$v_2$。结果表明，在3.2 GeV时NCQ缩放明显违反，与主导强相互作用的状态方程一致；然而，随着碰撞能量增加，观察到逐渐向NCQ缩放的演化趋势。所研究的所有强子的$v_2$对碰撞能量的依赖关系提供了在$\sqrt{s_{_{\rm{NN}}}}$ = 4.5 GeV时部分子相互作用占主导地位的证据。

政策优化旨在根据目标或适应度函数寻找控制问题的最佳解决方案，是工程和研究领域的一个基础方向，其应用包括机器人学。传统优化方法（如强化学习和进化算法）在面对欺骗性适应度景观时表现不佳，即遵循即时改进可能导致次优解。质量-多样性（QD）算法通过维持多样化的中间解作为跳出局部最优的垫脚石，提供了一种有前景的方法。然而，QD算法需要领域专业知识来定义手工设计的特征，这限制了它们在难以描述解多样性的场景中的适用性。本文展示了无监督QD算法——特别是从感官数据中学习特征的AURORA框架——能够在没有领域专业知识的情况下高效解决欺骗性优化问题。通过结合对比学习和周期性灭绝事件对AURORA进行增强，我们提出了AURORA-XCon，该方法在所有传统优化基线上表现出色，并在某些情况下甚至比具有领域特定手工设计特征的最佳QD基线提高了多达34%。这项工作确立了无监督QD算法的一种新应用，使其从发现新颖解转向传统的优化任务，并扩展了它们在定义特征空间存在挑战的领域的潜力。

我们研究了量子粒子位置和线性动量变化（或等效地，玻色模复场变化）的联合估计问题。尽管这些变化由非对易算符生成，但我们证明利用非高斯性可以实现其任意高精度的同时估计，并且具有任意低的量子不可兼容性。具体而言，我们证明任何纯非高斯态相对于所有高斯态（无论是纯态还是混合态）都具有优势。此外，适当调整的高斯态的非高斯混合态也可以作为资源。

在现代软件工程中，构建系统在源代码转化为软件制品的过程中发挥着至关重要的作用。近期研究探索了构建失败的高层次原因，但很大程度上忽视了构建文件的结构特性。类似于源代码，构建系统也面临技术债务挑战，这些挑战阻碍了其维护和优化。虽然重构常被视为解决源代码技术债务的关键工具，但对于构建代码开发者具体应用的重构更改及其是否有效解决技术债务的研究仍存在显著空白。本文通过分析开源项目中的构建脚本重构，填补这一空白，涵盖广泛使用的Gradle、Ant和Maven构建系统。此外，我们还调查了这些重构是否用于解决构建系统中的技术债务。我们的分析基于\totalCommits个涉及构建文件相关提交的样本进行。我们识别出\totalRefactoringCategories种构建相关的重构，并将其分为\totalCategories个主要类别。这些重构构成了首个基于经验的构建系统重构分类法。进一步地，我们通过手动提交分析和开发者问卷调查，探讨了开发人员如何利用这些重构类型解决技术债务。在此过程中，我们识别出\totalTechnicalDebts种由这些重构解决的技术债务，并讨论了它们与不同重构之间的相关性。最后，我们引入了BuildRefMiner，这是一个基于LLM（大型语言模型）且利用GPT-4o的工具，用于自动化检测构建系统中的重构。我们对其性能进行了评估，发现其在所有构建系统上的F1分数达到了\toolFoneScore。

Llama 3.1模型（如Meta的Llama 3.1 405B）的代码生成代表了人工智能领域，特别是在自然语言处理和编程自动化方面的重大进步。本文探讨了Llama驱动的代码生成的能力和应用，重点展示了其将自然语言提示转换为多种编程语言可执行代码的本领。其关键特性包括上下文感知能力、多语言支持以及增强的调试和优化功能。通过分析这些方面，我们展示了Llama如何成为各级开发人员的多功能工具，提高软件开发的生产力和效率。文章还讨论了其在教育、工业界以及编程实践未来发展中的潜在影响，强调了AI在编程领域的变革性影响。实验表明，尽管Llama 3.1 405B在解决基于简单算法和数据结构的问题时表现良好，但在量子计算、生物信息学和人工智能等领域的问题上仍存在困难。

二维图像和视频的大规模多模态模型（LMMs）快速发展，推动了这些模型向解释三维场景的适应。然而，缺乏大规模的三维视觉-语言数据集构成了重大障碍。为了解决这一问题，典型方法通过设计三维输入级场景表示，将三维感知注入到二维LMMs中。本文提供了一个新视角。我们引入了具有三维感知的重建视觉指令微调（Ross3D），将三维感知的视觉监督整合到训练过程中。具体而言，它结合了跨视图和全局视图的重建。前者需要通过聚合其他视图中的重叠信息来重建被遮挡的视图，后者旨在从所有可用视图中聚合信息以恢复鸟瞰图（Bird's-Eye-View）图像，从而为整个场景提供全面的概览。实证研究表明，Ross3D在各种三维场景理解基准测试中达到了最先进的性能。更重要的是，我们的半监督实验表明，在利用大量未标记的仅三维视觉数据方面具有显著潜力。

我们引入并启动了对一种新还原模型的研究，称为随机噪声模型。在这个模型中，函数 \( f \) 的真值表 \( T_f \) 在随机选择的 \( \delta \)-比例实例上被破坏。如果一个随机算法 \( A \) 满足以下条件，则称其为 \( f \) 的 \( (t, \delta, 1-\varepsilon) \)-还原降解：1. 对于随机选择的 \( \delta \)-比例破坏，有至少 \( 1-\varepsilon \) 的概率，给定访问被破坏的真值表，算法 \( A \) 在每个输入 \( \phi \) 上正确计算 \( f(\phi) \) 的概率至少为 \( 2/3 \)；2. 算法 \( A \) 的运行时间为 \( O(t) \)。我们认为，这一模型作为平均情况复杂性的一种自然松弛，不仅具有实际动机，而且在数学上也具有重要意义。为此，我们展示了对于许多经典的NP完全问题（如SAT、kSAT、kCSP、CLIQUE等），存在具有最高可容忍噪声水平的鲁棒确定性多项式时间还原降解。在复杂性理论假设下，我们的还原降解对于非自适应算法而言是最优的。值得注意的是，所有这些还原降解均作为基于群论和置换群算法的一个黑盒算法的推论得出。这表明，随机噪声模型中的还原降解对研究NP完全性的结构具有重要意义。此外，我们还针对Orthogonal Vectors和Parity \( k \)-Clique问题建立了具有最优参数的还原降解。这些问题在结构上与NP完全问题相似，其中Orthogonal Vectors问题允许从 \( n \) 变量的kSAT问题中进行 \( 2^{0.5n} \)-时间的降解，而Parity \( k \)-Clique问题则允许从3SAT问题中进行次指数时间的降解。这进一步凸显了我们的模型对研究NP完全性的重要性。

我们提出了一种高斯过程机器学习模型，用于预测基于ZrO$_2$的陶瓷的转变温度和晶格参数。我们的总体目标是寻找一种具有可逆转变且滞回效应较小的形状记忆陶瓷。新低滞回效应成分的识别基于在金属合金中成功的设设计标准：(1) $\lambda_2 = 1$，其中$\lambda_2$是转变拉伸张量的中间特征值；(2) 最小化max$|q(f)|$，它衡量了满足共因子条件的程度偏离；(3) 高转变温度；(4) 低转变体积变化；(5) 固溶度。我们生成了许多合成成分，并通过机器学习预测确定了一种有前景的成分，即31.75Zr-37.75Hf-14.5Y-14.5Ta-1.5Er，该成分在很大程度上满足所有设计标准。然而，差示热分析显示该成分的热滞回效应相对较高，为137{\deg}C，表明所提出的设设计标准并不普遍适用于所有基于ZrO$_2$的陶瓷。我们还探讨了通过添加Er$_2$O$_3$来减少奥氏体相的四方性。想法是调节奥氏体相的晶格参数向立方结构发展，这将增加马氏体变体的数量，从而允许它们在转变过程中容纳更高的应变。我们发现，由于溶解度有限，Er$_2$O$_3$对四方性的影影响较弱。我们得出结论，需要更有效的掺杂剂才能实现显著的四方性降低。总体而言，高斯过程机器学习模型在预测成分和晶格参数方面表现出高度实用性，但发现低滞回效应陶瓷材料显然涉及其他与金属相变无关的因素。

我们对所有被探测到的γ射线脉冲星的能谱和光变曲线进行了联合拟合。利用同步弯曲模型，我们将理论结果与第三版费米脉冲星目录中的观测数据进行了比较，该目录显著增加了已知γ射线脉冲星的数量。我们的模型能够很好地拟合所有能谱，并且相当一部分光变曲线得到了很好的再现。光变曲线拟合采用了两种不同的技术，讨论了它们的优点和局限性。我们使用时域中光变曲线的加权归一化\{chi}^2以及光变曲线傅里叶变换的欧几里得距离（即将光变曲线转换到频域）。结果表明这两种方法在定性上表现相似，但个别最佳拟合解可能存在差异。此外，我们还发现，在基于少数有效参数的模型中，光变曲线拟合基本上不受脉冲星的时间和能谱参数的影响。最后，我们寻找模型参数与物理参数之间的相关性，并恢复了先前研究中发现的趋势，但未发现任何涉及几何参数的重要相关性。

近年来，视频理解取得了显著进展，这在很大程度上依赖于大规模标注数据集的可用性。视觉-语言模型，尤其是基于对比预训练的方法，最近在零样本任务中表现出色，有助于克服对标注数据的依赖。然而，将此类模型适应到视频任务中通常需要修改视觉-语言模型的架构以适配视频数据，但这并非易事，因为这些适应方法大多计算成本高昂且在时序建模方面存在困难。我们提出了TP-CLIP，这是一种基于CLIP的适应方法，利用时间视觉提示进行时间适应，而无需修改CLIP的核心架构，从而保持其泛化能力。TP-CLIP高效地融入了CLIP架构，充分利用其针对视频数据的预训练能力。在各种数据集上的大量实验表明，TP-CLIP在零样本和少量样本学习中表现优异，相比现有方法具有更少的参数量和更高的计算效率。特别是在某些任务和数据集上，我们的方法仅使用现有最先进方法1/3的GFLOPs和1/28的可调参数量，但仍能超越其性能最高达15.8%。

背景：抗癫痫药物（ASMs）可以减少癫痫发作的持续时间，但其确切的作用机制尚不清楚。具体而言，目前尚不清楚ASMs是通过简单地将现有的癫痫活动压缩到更短的时间内来缩短发作，还是通过选择性地抑制某些癫痫活动模式来实现这一效果。方法：我们分析了28名正在接受ASM减量治疗的癫痫患者记录的457次癫痫发作的颅内脑电图（iEEG）。除了测量癫痫发作的发生率和持续时间外，我们还基于空间特性和频率功率特征对不同的癫痫活动模式（状态）进行了分类，并将其与不同ASM水平相关联。结果：我们发现降低ASM水平会导致癫痫发作频率增加（r = 0.87, p < 0.001）以及癫痫发作持续时间延长（$\beta$ = -0.033, p < 0.001），这与先前的研究结果一致。进一步分析显示，癫痫发作延长存在两种不同的机制：新癫痫模式的出现——在约40%的患者中，ASM减量揭露出额外的癫痫活动状态，包含这些“减量诱导状态”的癫痫发作明显更长（r = 0.49, p < 0.001）。现有癫痫模式的延长——即使在没有减量诱导状态的癫痫发作中，较低的ASM水平仍然导致发作持续时间延长约12-224%，具体取决于ASM剂量和减量程度（$\beta$ = -0.049, p < 0.001）。结论：ASMs通过两种机制影响癫痫发作：它们以全有或全无的方式抑制特定的癫痫活动模式（状态），并限制其他癫痫模式的持续时间。这些发现突显了ASMs在调节癫痫中的复杂作用，并可能为癫痫管理提供个性化的给药策略。这些发现也可能有助于理解ASMs对认知和情绪的影响。

基于扩散的图像合成最近引起了广泛关注。特别是使用基于图像提示的ControlNet在边缘检测等图像任务中表现出强大的能力，并能很好地生成与这些提示对齐的图像。然而，普通的ControlNet通常需要大约5000步的训练才能为单一任务实现理想的控制。最近的上下文学习方法提高了其适应性，但主要针对基于边缘的任务，并依赖配对示例。因此，为了充分发挥ControlNet的潜力，仍需解决两个重要问题：（i）某些任务的零样本控制；（ii）非边缘任务的更快适应。本文介绍了一种新的元ControlNet方法，采用任务无关的元学习技术并设计了新的层冻结方案。元ControlNet将获得控制能力的学习步数从5000显著减少到1000。此外，元ControlNet在边缘任务中无需微调即可直接实现零样本适应性，并在更复杂的非边缘任务（如人体姿态估计）中仅需100步微调即可实现控制，性能优于现有所有方法。代码可在https://github.com/JunjieYang97/Meta-ControlNet获取。

我们提出了一种精确算法，用于计算多个图中具有最多顶点的所有公共子图。我们的方法进一步扩展到处理连通的最大公共子图（MCS），即在多个图中识别基于顶点或边的最大公共子图，其中边或顶点可能附加标签以考虑可能的原子类型或键类型，这是分子图中常用的经典标记方法。我们的方法利用模积图和修改后的Bron-Kerbosch算法枚举极大团，并确保保留所有中间解。一种剪枝启发式方法有效减小模积图的规模，提高了计算可行性。此外，我们引入了一种基于图核相似性度量的图排序策略，以优化搜索过程。我们的方法对生物信息学和化学信息学尤为重要，在这些领域中识别分子图中的保守结构基序至关重要。在分子数据集上的实证结果表明，我们的方法具有可扩展性和高效性。

展示了针对衰变为胶子g和两个W玻色子的高能共振的搜索结果。考虑了Kaluza-Klein胶子g$_{\mathrm{KK}}$通过标量radion R的级联衰变，即g$_{\mathrm{KK}}$ $\to$ gR $\to$ gWW。研究的末态由三个大半径喷注组成，其中两个包含强子衰变W玻色子的产物，第三个包含胶子的强子化产物。该分析基于2016年至2018年期间由CERN LHC上的CMS实验收集的$\sqrt{s}$ = 13 TeV的质子-质子碰撞数据，对应的积分亮度为138 fb$^{-1}$。g$_{\mathrm{KK}}$和R候选者的质量分别通过三喷注质量和二喷注质量重建。这些用于事件分类和信号提取。未观察到超过标准模型背景预期的数据事件过量。设定了g$_{\mathrm{KK}}$产生截面与其通过radion R衰变为gWW分支比乘积的上限。这是首次在扩展的扭曲额外维度模型中研究共振WW+喷注信号并设定两个共振质量限制的分析。

设$k\leq n$为正整数且$\mathbb{Z}_{n}$为模$n$的整数集合。Baranyai于1974年提出的一个猜想要求将$\mathbb{Z}_{n}$中的$k$-元子集分解为特定的集合族，称为“冠状结构”。我们从一个新的代数角度探讨这一猜想，引入本文的关键对象——冠状矩阵$M$。我们的第一个结果表明，Baranyai的猜想等价于矩阵$M$的核中存在特定向量。随后，我们利用表示论的结果详细研究$M$及其谱。特别地，我们找到了$M$的所有特征值及其重数，并确定了若干属于$M$核的向量族。

断层扫描是医学应用中的核心工具，使医生能够研究患者内部特征。在平行束CT中，Radon变换（二维情况下）常用于模拟测量过程。Radon变换及其伴随变换（称为反投影）的适当离散化至关重要。最常用的离散化方法结合了基于射线的Radon变换和基于像素的反投影，经验报告显示这种方法具有最佳的逼近性能。然而，关于由此产生的逼近误差的严格理解却很少。这些方法涉及三个离散化参数：空间分辨率、探测器分辨率和角度分辨率。通常采用平衡分辨率，即使用相同（或相似）的空间分辨率和探测器分辨率。我们提出了一种新的基于射线和像素离散化的“卷积方法”解释。这使得可以进行结构化的分析，从而解释观察到的行为。特别是，我们在平衡分辨率下证明了基于射线的Radon变换和基于像素的反投影在强算子拓扑下的收敛性，从而从理论上证明了这种方法的合理性。特别地，使用足够高的分辨率可以任意好地逼近Radon变换。

我们研究了完全信息模型下的集体掷币和领导者选举任务。我们证明了掷币协议的新下界，从而推导出领导者选举协议的下界。我们证明，对于一个包含$\ell$名玩家、运行$k$轮且每轮每位玩家发送1比特的掷币协议，可以通过最多$O(\ell/\log^{(k)}(\ell))$个坏玩家来偏置结果。对于所有$k>1$的情况，这加强了先前的下界[RSZ, SICOMP 2002]，后者排除了能够抵抗控制$O(\ell/\log^{(2k-1)}(\ell))$个玩家的对手的协议。因此，我们得出结论，任何仅允许每位玩家每轮发送1比特且能容忍线性比例的腐败玩家的协议，其轮数必须至少为$\log^*\ell-O(1)$轮，这改进了此前的最佳下界$\frac12 \log^*\ell-\log^*\log^*\ell$。该下界与当前最佳掷币协议的轮数$\log^*\ell$相匹配，这些协议来自[RZ, JCSS 2001]和[F, FOCS 1999]，它们能够处理规模线性的不良玩家群体，但允许玩家每轮发送无限比特。我们还得到了允许每轮多比特消息的协议的下界。我们的结果显示，对于每位玩家每轮只能发送1比特的情况，[RZ, JCSS 2001]和[F, FOCS 1999]中的协议在轮复杂度和每位玩家每轮通信方面几乎是最优的。我们证明这些下界的另一个关键技术是关于利用一组共同的坏玩家以及每个函数特定的小型坏玩家集合来偏置大多数函数族的结果。我们在每位玩家每轮可以发送1比特的设定下给出了改进的常数轮掷币协议。对于两轮情况，我们的协议可以处理规模为$O(\ell/(\log\ell)(\log\log\ell)^2)$的不良玩家群体；优于在这一设定下由[AL, Combinatorica 1993]给出的最佳一轮协议。

本文研究一类名为广义Paley图（简称GP图）的Cayley图，其定义为$\Gamma(k,q) = Cay(\mathbb{F}_q, \{x^k : x\in \mathbb{F}_q^* \})$，其中$\mathbb{F}_q$是具有$q$个元素的有限域，且在有向和无向情况下均成立。设$q=p^m$，其中$p$为素数，$m\in \mathbb{N}$，可以假设$k\mid q-1$。首先我们给出了任意GP图的连通分支，并证明这些分支均为彼此同构的小型GP图（推广了Lim和Praeger于2009年在无向情况下的结果至有向情形）。接着我们刻画了那些由奇圈组成的不相交并集的GP图。最后，我们证明除了$\Gamma(2^m-1,2^m)$ ($m \in \mathbb{N}$)，它们同构于$K_2 \sqcup \cdots \sqcup K_2$（即$2^{m-1}$个$K_2$的不交并），其余的$\Gamma(k,q)$均为非二分图。