月经健康是女性医疗保健中至关重要但常常被忽视的一部分。尽管其具有重要的临床意义，但在结构化的医疗记录中很少能够获得详细的月经特征数据。为了解决这一问题，我们提出了一种新颖的自然语言处理流程，用于提取关键的月经周期属性——痛经、规律性、流量和间期出血。我们的方法利用了带有基于多任务提示学习的GatorTron模型，并通过混合检索预处理步骤增强，以识别相关文本片段。即使在训练样本少于100个标注的临床笔记的情况下，该方法的表现也优于基线方法，在所有月经特征上的平均F1分数达到了90%。检索步骤在所有方法中都持续提高了性能，使模型能够专注于长篇临床笔记中最相关的部分。这些结果表明，结合多任务学习与检索可以提高月经特征的泛化能力和性能，推动从临床笔记中实现自动化提取，并支持女性健康研究。

本文假设一个自主的外部系统生成参考输出，研究了一组通过有向图连接的离散时间异构线性时不变(LTI)代理的分布式数据驱动控制律设计问题，目的是使代理的输出同步到参考输出。网络中的代理分为两类：领导者，可以直接访问外部系统的输出；追随者，仅接收来自其邻居的信息。所有代理都通过状态反馈实现输出同步，该反馈利用自身的状态以及由内部状态观测器提供的外部系统状态估计值。此类观测器对领导者和追随者的结构不同。首先在基于模型的设定下推导出解存在的充要条件，然后在数据驱动背景下再次推导。一个例子展示了所提出方法的实施过程及其性能。

战争图像几乎与战争本身一样古老。从洞穴壁画到社交媒体上的移动设备照片，人类始终有记录战争中特别重要事件的冲动。图像提供了视觉证据。对于武装部队而言，它们可能是传感器的输出（例如在空中侦察中）或认知层面的影响工具（例如以摄影宣传的形式）。它们可以传递信息、影响或操控目标受众。近期人工智能（AI）领域在合成逼真图像方面的进展为武装部队带来了新的挑战。本报告旨在探讨人工智能生成图像对武装部队的作用，并概述其带来的机会与威胁。与传统图像生成方式（如摄影）相比，生成式AI为实施新的战术原则和概念带来了独特的概念优势，这些在过去是不可行的：大量的人工智能生成图像可用于欺骗目的，影响信息环境中的战斗节奏，制造意外、制造混乱和震惊。人工智能生成的图像是信息环境中进攻行动的首选工具。为了应对未来涉及人工智能生成图像的挑战并提高其韧性，报告最后为参与网络防御或暴露于信息环境的所有武装部队部门提出了建议。

设 $M_n(\mathbb{F})$ 是特征不等于 $2$ 的域 $\mathbb{F}$ 上的 $n \times n$ 矩阵代数。若 $n \geq 2$，我们证明任意映射 $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ 是田径映射（即满足函数方程 $$ \phi(XY+YX)=\phi(X)\phi(Y)+\phi(Y)\phi(X), \quad \forall X, Y \in M_n(\mathbb{F}), $$ 当且仅当以下之一成立：要么 $\phi$ 是常值映射且等于一个固定的幂等元；要么存在 $M_n(\mathbb{F})$ 中的可逆矩阵 $T$ 和 $\mathbb{F}$ 到自身的环单同态 $\omega$，使得对所有 $X \in M_n(\mathbb{F})$， $$ \phi(X)=T\omega(X)T^{-1} \quad \text{或} \quad \phi(X)=T\omega(X)^tT^{-1}, $$ 其中 $\omega(X)$ 表示将 $\omega$ 逐元素作用于 $X$ 所得的矩阵。特别地，任何满足 $\phi(0)=0$ 的田径映射 $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$ 必然具有加性。

NUMEXO2 是一款最初为伽马射线能谱学（用于 EXOGAM：奇异核伽马射线）开发的 16 通道 14 位/200 兆赫数字化仪和处理板。随着需求的发展，NUMEXO2 已逐步扩展并改进为一款通用数字化仪，以满足 GANIL 核物理探测中的各种需求。这得益于可编程组件（如 FPGA）以及不同算法的优化。与类似系统相比，这项工作的创新之处在于所有的数值运算都遵循从模数转换器 (ADC) 获取的数字数据流，而无需对样本进行存储步骤。文中还介绍了由多种探测器（如高纯锗探测器、硅条探测器、电离室、光电倍增管读出的液态和塑性闪烁体探测器、多丝正比室和漂移室）输出信号的数字处理细节。

极长基线干涉测量（VLBI）提供了所有天文观测技术中最高的角分辨率。然而，基于地球的观测仪器在角分辨率方面已接近其根本极限，这些极限只能通过至少将一个干涉元件放置在空间来突破。本文讨论了多个天基VLBI系统的概念，包括亚毫米波段天体物理探索与聚焦计划（THEZA）和黑洞探测器（BHEX）。天基VLBI望远镜对任何空间科学任务而言都具有最苛刻的要求，整个VLBI系统包含全球分布的各要素，每个要素都有其自身的功能约束，限制了观测时间的选择。因此，有必要优化系统参数以最大化任务的科学回报。本文研究了天基VLBI望远镜的功能约束对整体系统性能的影响，并初步分析了如何通过优化航天器配置和操作来最小化这些约束。开发了一种用于建模此类任务的空间基VLBI仿真工具（spacevlbi），其能力在文中进行了展示。为了提出可行的任务概念并确定缓解这些限制所需的关键技术发展，必须在设计未来的天基VLBI系统早期就考虑这些功能约束。

展示了一种针对新重共振成对产生的搜索，每个共振分别衰变为一个顶夸克（t）或反顶夸克以及一个胶子（g）。该分析使用了在LHC上由CMS探测器记录的数据，碰撞中心-of-质量能量为13 TeV，对应的积分亮度为138 fb$^{-1}$。选定了包含一个μ子或电子、多个喷注以及缺失横向动量的事件。通过深度神经网络富集信号类似的事件后，分析了所有重建对象横向动量标量和分布以寻找信号。未发现显著偏离标准模型预测的结果。在95%置信水平下，对自旋为1/2的激发顶夸克$\mathrm{t^*}$在$\mathrm{t^*}$ $\to$ tg衰变通道中的成对产生截面与分支比平方的乘积设定了上限。对于自旋为1/2的$\mathrm{t^*}$，上限范围从120 fb到0.8 fb；对于自旋为3/2的$\mathrm{t^*}$，上限范围从15 fb到1.0 fb。这分别对应于质量排除极限高达1050 GeV和1700 GeV。这些是迄今为止对$\mathrm{t^*}$ $\to$ tg共振存在最严格的限制。

理解由电场驱动的电子自旋相干特性对于其在量子相干纳米科学中的潜在应用至关重要。本文针对扫描隧道谱中实现的电场驱动电子自旋共振中的两种不同驱动机制进行了研究。我们利用单轨道Anderson杂质模型，连接极化引线并施加共振电压偏置，探讨驱动场的起源。通过将量子主方程映射为描述杂质自旋的动力学方程组，我们识别出两种不同的驱动机制。在杂质充电阈值以下，电子自旋共振主要由磁性交换驱动机制或类似场的转矩主导；而在充电阈值以上，通过杂质的自旋极化电流引起的自旋转移扭矩驱动自旋跃迁。只有第一种机制能够实现相干的量子自旋控制，而第二种机制则导致快速去相干以及向非平衡稳态的自旋积累。电子自旋共振信号和自旋动力学因主导机制的不同而显著变化，这凸显了优化电驱动量子系统中量子相干控制的潜力。

我们提出了一种扩展的Wentzel-Kramers-Brillouin（WKB）近似方法来求解薛定谔方程。通过考虑波函数的假设形式并对其一阶导数施加辅助条件，得到了一组耦合微分方程。研究表明，交替微扰方法可以解耦这组微分方程，从而得到著名的Bremmer级数，并且通过改进振幅，可以通过一系列递归对角化过程细化波函数的相位。因此，我们找到了一个包含类似几何光学物理的通用量子化公式。当微分反射系数与经典动量的比值保持恒定时，我们证明了该通用量子化公式将简化为与重新求和所有阶次的微扰WKB级数所得结果一致的闭合形式量子化条件。

背景：准确的测光红移（photo-z）估计对于宇宙学和星系演化研究至关重要，尤其是在大规模测光巡天兴起的背景下。目标：我们开发了一种名为TOPz（塔尔图天文台测光红移）的测光红移估算代码，并将其应用于GAMA测光目录。方法：TOPz采用贝叶斯模板拟合方法，通过边缘化红移后验分布来估算测光红移。利用GAMA项目的九波段测光数据，我们通过将TOPz估算的测光红移与可用的光谱红移进行比较，评估其准确性。我们使用CIGALE软件生成合成星系光谱并运行模板集优化。通过施加流量和流量不确定性校正改进了测光精度。然后对结果后验分布施加分析先验以细化红移估计。结果：由TOPz产生的测光红移估计与光谱红移显示出良好的一致性。我们在不同亮度区间展示了红移的准确性，并测试了流量校正和后验如何反映估计的实际不确定性。我们表明，TOPz的结果与其他应用于相同数据集的测光红移代码所得结果一致。此外，TOPz作为副产品估算恒星质量，与其它方法计算的结果相当。我们将GAMA测光红移目录以及用于分析和图表的所有代码和脚本公开发布。结论：TOPz是一种先进的测光红移估算代码，集成了流量校正、物理先验和模板集优化，为基于模板的红移估计算法提供了最先进的测光红移。未来的工作将集中在整合额外的测光数据，并将TOPz算法应用于J-PAS窄波段巡天，进一步验证和提升其能力。

在线虚假信息常常引发强烈的愤怒情绪，促使社交媒体用户传播此类信息；然而，很少有措施专门针对由这种情绪驱动的分享行为来遏制虚假信息的传播。本研究旨在评估通过吸引注意力到情感信息来鼓励深思熟虑的数字引导是否可以减少由在线虚假信息引发的强烈愤怒所导致的分享行为。我们关注情绪调节作为一种促进深思熟虑的方法，当个体的注意力被引导到当前情绪时会被激活。设计了数字引导以显示关于虚假信息的情感信息和情绪调节消息。其中发现分心和换位思考引导可能在愤怒驱动的分享中鼓励深思熟虑。为评估其效果，使用模仿平台功能的现有引导进行比较。通过四个维度测量参与者反应：分享意图、情绪类型、情绪强度和真实性。结果显示，所有数字引导均显著减少了虚假信息的分享，其中分心引导最为有效。这些发现表明，针对情绪反应的数字引导可以作为对抗由强烈愤怒驱动的虚假信息传播的有效干预手段。

实现更简洁且模块化的证明对于利用交互式定理证明器（ITP）进行形式推理至关重要。由于许多ITP（如Rocq和Lean）采用战术风格的证明，学习高级别的自定义战术对于证明的模块化和自动化至关重要。本文提出了一种新颖的战术发现方法，该方法利用战术依赖图（TDG）在多个证明之间识别可重用的证明策略。TDG捕获了战术应用之间的逻辑依赖关系，同时抽象掉无关的语法细节，从而实现了新战术的发现以及现有证明向更模块化形式的重构。我们已在名为TacMiner的工具中实现了此技术，并将其与基于反统一的方法Peano进行了比较。我们的评估表明，TacMiner可以学习到Peano三倍数量的战术，并使所有基准测试中的证明大小减少了26%。此外，我们的评估还展示了学习自定义战术对证明自动化的好处，使得最先进的证明自动化工具的成功率相对提高了172%。

定态旋转黑洞通常由Kerr-Schild形式的度规描述，其特定的质量函数被选择以避免Kerr度规中的环奇点，并在渐近极限下趋近于Kerr度规。然而，众所周知，即使对于一类表现良好的质量函数，在环面的赤道平面上曲率标量仍存在不连续性。这种不连续性被归因于一条物质弦沿赤道平面连接内、外区域的情况。通过使用Darmois-Israel衔接条件，我们分析了环面两侧法向量取向的所有四种可能组合，构造了完整的弦应力-能量动量张量，并解释了每种结果所对应的解。我们证明，在这四种可能性中，只有其中一种模型在环面上的弦解能够给出适当的渐近几何结构。在这种情况下，该弦带有具有非零压强但线能量密度为零的流体，并且完全不旋转。最后，选取外部区域的一个适当度规，我们还讨论了一种不同的情形，即环面上的物质源为旋转的光子流体。

对于具有高斯先验和高斯观测噪声的线性反问题，后验分布为高斯分布，其均值和协方差由条件公式确定。利用Feldman-Hajek定理，我们分析了无限维Hilbert参数空间和有限维观测下的先验到后验更新及其低秩近似。我们证明后验分布与先验分布在有限维子空间上不同，并在保持均值不变的情况下构建后验协方差的低秩近似。由于在无限维情况下，并非所有的低秩协方差近似都能使对应的近似后验分布与原后验分布及先验分布等价，我们刻画了能够保证这种等价性的低秩协方差近似及其对应的逆矩阵（即“精度”矩阵）。对于这些近似，通过同时最小化多种损失函数，解决了一类测度近似问题。这些损失函数包括Rényi散度族、Amari $\alpha$-散度（$\alpha\in(0,1)$）、Hellinger度量和Kullback-Leibler散度。我们的结果将Spantini等人（SIAM J. Sci. Comput. 2015）的结果推广到了Hilbert空间情形，并为构造无限维反问题离散化版本的低秩近似提供了理论支持，通过提出不依赖离散化的结果实现了这一目标。

对于代数不变量的密度函数是在$\mathbb{R}$上可测的函数，它按$\mathbb{R}$尺度测量该不变量。这一函数在不寻求额外数据的情况下携带了大量与不变量相关的信息，已被证明是一种有用的工具，由第三作者引入，用于研究特征$p$下的不变量，即齐次${\bf m}$-主理想上的Hilbert-Kunz重数。本文构造了Noetherian滤子$\{I_n\}_{n\in\mathbb{N}}$和齐次理想$I$的饱和幂给出的滤子上的密度函数$f_{A,\{I_n\}}$和$f_{A,\{\widetilde{I^n}\}}$。由此得到了齐次理想$I$在$A$上的ε重数$\varepsilon(I)$的密度函数$f_{\varepsilon(I)}$。进一步证明了函数$f_{A,\{I_n\}}$在可能的一个点之外处处连续，而$f_{A,\{\widetilde{I^n}\}}$是处处连续且除了可能一个点外处处可微的函数。作为推论，ε密度函数$f_{\varepsilon(I)}$是$\mathbb{R}$上在除一个点外具有紧支集的连续函数，并且$\int_{\mathbb{R}_{\geq 0}} f_{\varepsilon(I)} = \varepsilon(I)$。这三种函数$f_{A,\{I^n\}}$、$f_{A,\{\widetilde{I^n}\}}$和$f_{\varepsilon(I)}$在传递到理想$I$的积分闭包时保持不变。作为这一理论的一个推论，我们观察到对角子代数的“重新缩放”Hilbert-Samuel重数形成一个连续族。

具有凸偏好的室友问题总是存在稳定的匹配。此外，在这类凸偏好下的室友问题中，效率与个体理性兼容策略证明。如果没有凸偏好的假设，这两个结果均不成立。在所研究的环境中，偏好为凸的当且仅当其为单峰偏好。任何个体理性且凸的室友问题都与婚姻市场同构，其中代理人的性别对应于代理人首选伴侣的方向。由此可得稳定匹配的存在性来自婚姻市场中稳定匹配的存在性。为了证明第二个存在性结果，我定义了一个针对凸偏好下室友问题的有效、个体理性且策略证明的机制。该机制通过从所有代理人都单身开始，然后逐步通过最小帕累托改进重新分配代理人到更好的伴侣，从而计算结果。一旦明确某些代理人无法参与进一步的帕累托改进时，这样的代理人即被匹配。

我们证明了梯度Ricci收缩器序列在作者与Buzano先前工作的意义下泡状树收敛时，Morse指标的下半连续性和上半连续性。我们的证明依赖于适应Workman最近用于研究某些常平均曲率超曲面序列的论证，并且这些论证又源自Da Lio-Gianocca-Riviere的工作。此外，我们通过使用多项式加权Sobolev空间的相关技术改进了Workman的方法。这也要求我们将分析扩展到研究非紧致收缩器的情况，由于存在适当的有限加权体积概念，我们可以做到这一点。最后，我们确定了一个技术条件，确保渐近锥形收缩器的Morse指标可以由其渐近锥体的f-指标进行下界估计。

我们开发并分析了一种有限体积格式，用于研究一种已知表现出丰富复杂行为的非局部活性物质系统。所研究的模型源自描述觅食蚂蚁种群与信息素动力学耦合的随机相互作用粒子系统。在本文中，我们证明了当网格尺寸和时间步长趋于零时，唯一数值解收敛到唯一弱解。我们还展示了离散长时间估计，证明某些范数在所有时间上保持不变，并且与网格尺寸和时间步长无关。特别是，我们证明了更高的正则性估计，提供了类似于连续抛物线更高正则性估计的类比。最后，我们数值研究了该格式的收敛率，并提供了多重亚稳态稳态存在的示例。

活动星系核（AGN）是位于星系中心的强大且复杂的电磁波辐射源，在星系演化中具有重要意义，并能作为探测遥远宇宙的探针。近年来，随着鲁宾·维拉天文台的Legacy Survey of Space and Time（LSST）等巡天项目的开展，预计将发现$\mathcal{O}(10^7)$个已知AGN以及$\mathcal{O}(10^4)$个强引力透镜AGN。本文介绍了一种名为\texttt{Amoeba}的新模型，该模型专注于描述稳态吸积盘之外的AGN光学辐射特性。\texttt{Amoeba}旨在提供一个模块化且灵活的AGN建模环境，使各个组成部分能够相互作用并保持一致。我们通过此工作描述了主要AGN组件如何自洽地变化，并将这些组件与空间相关的物理过程连接起来。模型超越了传统的单一成分模型，例如模拟了吸积盘弯曲功率谱对光冠回响效应以及宽线区（BLR）的影响。此外，我们还模拟了尘埃环的遮蔽效应以及由于微引力透镜效应导致的吸积盘和BLR的光度差异放大。这些特征结合在一起，产生了迄今为止最现实的光变曲线模拟结果。\texttt{Amoeba}在AGN建模领域迈出了重要一步，将吸积盘、BLR、尘埃环、固有信号以及微引力透镜效应整合为一个统一的模型。

基于Transformer的架构在自然语言处理和计算机视觉领域取得了显著的成功。然而，在多变量长期预测任务中，其表现往往不如一些简单的线性基准模型。先前的研究指出，传统的注意力机制是限制其在该领域效果的关键因素之一。为了解决这一问题，我们提出了LATST，这是一种旨在缓解基于Transformer的时间序列预测中常见的熵坍塌和训练不稳定性的新方法。我们在多个真实世界多变量时间序列数据集上对LATST进行了严格评估，证明了其能够超越现有的最先进的Transformer模型。值得注意的是，在某些数据集上，LATST在参数量少于一些线性模型的情况下实现了具有竞争力的表现，凸显了其高效性和有效性。