• 在参数不确定性下的MHE——无需信息数据的鲁棒状态估计

  摘要：在本文中，我们研究了具有不确定参数、持续过程和测量噪声的一般非线性系统的联合状态和参数估计问题。特别地，我们关注在没有激励持续性的情况下（即PE不存在的情况下），所得状态估计的稳定性特性。通过一个简单的学术示例，我们展示了现有的基于移动视界估计（MHE）的联合状态和参数估计方法以及传统的自适应观测器在没有PE的情况下可能会导致状态估计发散，即使噪声很小。我们提出了一种基于对未知系统参数的常数先验估计的MHE公式。仅假设存在一个稳定的状态估计器，我们就证明了所提出的MHE方法能够获得实际上稳定可靠的状态估计，而不受PE的影响。我们讨论了所提出的MHE公式与MHE和自适应估计的最新研究成果之

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 基于部分有序观测序列的分散式状态估计器构建

  摘要：在本文中，我们研究了分散式观测架构下的状态估计与估计器构建问题。具体而言，我们考虑了一个离散事件系统，该系统的行为由一组观测站点进行记录。当发生同步时，这些站点会将它们部分有序的观测序列传输给协调器。为了从协调器的角度正确分析系统行为，我们首先引入了“完全同步序列结构”（CSS结构）的概念，该结构能够简洁地描述在不同观测站点提供的信息下每个系统状态的变化过程。基于CSS结构，我们构建了用于协调器进行离线状态估计的当前状态估计器和初始状态估计器。特别地，我们讨论了如何验证协调器处的初始状态不透明性及可诊断性，以及一种新的不透明性概念——即同步时的当前状态不透明性。

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 两自由度事件触发跟踪滑模控制

  摘要：本文提出了一种具有事件触发反馈的双自由度滑模控制方法，用于保证系统在面对匹配扰动时对不确定植物的鲁棒输出跟踪性能。所提出的控制器包括一个基于事件的反馈回路，用于处理植物测量数据，以及一个用于跟踪（参考）信号的模拟直通路径，该跟踪信号由外部系统生成。与现有研究不同，这里的事件触发机制仅使用反馈信号，从而在控制器实现中保持了双自由度架构。所提出的基于事件的控制器的主要优点是，由于仅使用反馈信号，事件触发机制生成了一个稀疏的采样序列。研究表明，跟踪问题的可解性被简化为滑模调节器方程的可解性问题。实际上，在这个假设下，对于任何有界的初始条件，所提出的滑模控制器都能保证闭环系统具有任意精度的鲁棒输

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 采用固定控制结构的不确定多智能体系统的自适应渐近同步与统一性能

  摘要：在不确定的多智能体系统中实现无领导者的渐近同步，同时保证规定的瞬态性能，对传统方法来说仍然是一个重大挑战。这一困难源于非线性动力学中相对误差与性能函数之间的冗余性，这种冗余性掩盖了用拉普拉斯矩阵表达局部拓扑信息的明确方式。在这项工作中，我们提出了一种具有统一规定性能的自适应渐近共识控制方法，该方法具有几个显著特点。首先，我们为相对误差构建了一个同胚函数变换，使得在固定的控制结构下能够维持多种规定的性能行为。其次，我们建立了变换误差与相对误差之间的定量关系，揭示了基于变换误差的规范化雅可比矩阵的下界，这对于渐近控制设计至关重要。第三，我们在所提出的引理中引入了一种鲁棒分解技术，将冗余性分解

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 可达集一致系统辨识：从白箱到黑箱模型的统一框架

  在当今复杂的信息物理系统（如自动驾驶车辆、工业机器人）中，形式化验证技术扮演着确保系统安全的关键角色。然而，这些验证结果能否真正应用到现实世界，很大程度上取决于数学模型与真实系统之间的一致性。传统系统辨识方法通常基于概率假设，但在许多实际应用中，我们往往缺乏关于数据不确定性的先验分布信息。更关键的是，为了在规划和控制中建立严格的安全保证，我们需要具有有界不确定性的模型。现有研究面临三重挑战：首先，大多数可达集一致辨识方法仅限于线性状态空间模型；其次，对于输入输出模型（如ARX、NARX）的可达集一致辨识尚未有研究涉及；第三，完全基于数据的黑箱模型辨识仍是一片空白。这些局限性严重制约了形式化验证

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 功能可控性、功能稳定性与广义分离原理

  摘要：本文介绍了功能可控性和功能稳定性的新概念，并分别建立了它们与功能可观测性和功能可检测性的对偶关系。提出了一种广义分离原理，在该原理下，经典的分离原理成为特例。推导出了特定阶数功能控制器存在的条件。值得注意的是，所提出的设计框架并不要求系统具有完全可控性。此外，还针对可能既不可控又不可观测的系统，开发了一种基于功能观测器的控制器设计方法。本文的研究结果扩展并推广了传统的基于全状态观测器的反馈控制范式。

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 具有输入延迟和乘性噪声的一阶双曲偏微分方程系统的稳定性研究

  摘要：本文研究了一类受一阶双曲型偏微分方程（PDEs）控制的随机系统的稳定性问题，这些系统存在输入延迟和乘性噪声。主要贡献在于提出了适用于这类PDE系统的预测反馈形式的稳定控制器，并从常微分方程系统的稳定性角度出发，描述了相应的可稳定条件。控制增益的设计可以通过矩阵不等式或广义代数Riccati方程来实现。特别是，在确定性情况下，稳定控制器的增益可以通过Hurwitz准则简洁地确定。此外，还提出了包含边界条件的系统的广义稳定性结果，以供进一步应用。文中给出了一个涉及非等温塞流反应器的数值示例，该示例不仅展示了设计方法的便利性，还证明了所设计稳定控制器的有效性。

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 具有渐进恒定复杂度的LPV-MPC鲁棒凝聚算法

  摘要：本文提出了一种高效的方法，用于在模型预测控制（MPC）引发的优化问题中稳健地消除等式约束。这种压缩操作通常通过替换直接消除状态变量来减少优化变量的数量，但这种方法容易产生数值不稳定，并且其复杂度与预测范围成线性关系。我们提出了一种新颖的阻塞QR分解算法，能够以数值上稳健的方式处理MPC问题。该方法适用于系统动态（无论是线性模型还是线性化模型）在预测范围内保持时间不变的情况。该方法能够有效处理不稳定的动态系统，并具有数值收敛特性，从而使得计算复杂度随预测范围长度的变化而保持恒定。我们将该方法与现有的用于动态优化问题鲁棒压缩的先进算法进行了基准测试，结果表明我们的方法具有显著的优势。对于足够

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 在封闭光滑流形上不存在有限维估计代数

  摘要：估计代数在欧几里得空间中已被广泛研究，其中有限维估计代数是卡尔曼滤波器和贝内斯滤波器的基础，并促进了众多其他有限维滤波器的发现。本工作将估计代数的理论扩展到了连续时间下的黎曼流形上的滤波问题。我们的主要结果表明，在非恒定观测函数的情况下，与封闭黎曼流形上的系统相关的估计代数是无限维的。

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 具有驻留时间约束的切换仿射系统镇定与性能保证研究

  在控制理论领域，切换系统作为一类重要的混杂动态系统，因其能够描述多种运行模式相互作用的复杂过程而备受关注。这类系统由若干个子系统和一个决定子系统间切换的信号组成，在电力电子、交通管理和生化网络等工程实践中具有广泛应用。然而，切换系统的稳定性分析面临严峻挑战——即使每个子系统都稳定，不当的切换策略仍可能导致系统失稳；反之，巧妙的切换设计甚至能够稳定由不稳定子系统组成的切换系统。传统切换控制研究多集中于线性系统，而对于更一般的仿射系统（包含常数偏移项），其平衡点可能不在原点，且各子系统的平衡点通常不同，这使得镇定问题更加复杂。更棘手的是，实际系统由于物理限制或执行器磨损考虑，往往要求切换信号满足驻

  来源：IEEE Transactions on Automatic Control

  时间：2025-11-22

• 通过参数化知识的视角，对大型语言模型中的负面偏见进行多方面的分析

  摘要：负面偏见指的是大型语言模型（LLMs）在二元决策任务（例如，是/否问题回答）中倾向于生成过多负面响应的倾向。以往的研究主要集中在检测和解决导致负面偏见的因素上。然而，影响负面偏见的根本性详细因素尚未得到充分探讨。在本文中，我们发现LLMs表现出格式层面的负面偏见，即提示的格式对其响应的影响大于负面响应的语义。为了对负面偏见进行细致研究，我们构建了一个评估流程，该流程根据模型的参数知识将数据集系统地分为三个子集：正确、错误以及相关知识不足。通过对这个评估集的分析，我们发现了一种“捷径行为”——当模型缺乏回答是/否问题所需的知识时，它们往往会生成负面响应，从而导致负面偏见。我们进一步研究了在

  来源：Artificial Life

  时间：2025-11-22

• 空间知识图谱引导的多模态合成

  摘要：多模态大型语言模型（MLLMs）的最新进展显著提升了它们的能力；然而，它们的空间感知能力仍然是一个显著的局限。为了解决这一挑战，多模态数据合成提供了一个有前景的解决方案。然而，确保合成数据符合空间常识并非易事。我们的方法通过提供一个系统化的框架来生成空间上连贯的数据，从而弥补了这一关键缺口。在这项工作中，我们介绍了SKG2DATA，这是一种由空间知识图谱引导的新型多模态合成方法，该方法基于“从知识到数据生成”的概念。SKG2DATA采用自动化流程构建空间知识图谱（SKG），有效捕捉了类似人类的空间认知能力，包括方向和距离关系。这些结构化的表示为我们的集成合成流程提供了精确的指导：扩散模型

  来源：Artificial Life

  时间：2025-11-22

• 基于结构感知的双对抗自动编码器在无监督双语词典构建中的应用

  摘要：双语词典构建（BLI）是多语言自然语言处理（NLP）中的核心任务，旨在生成不同语言之间的跨语言词表示。然而，以往的研究通常将单词视为独立且孤立的实体，忽略了单一嵌入空间内的拓扑关系以及不同嵌入空间之间的拓扑关系。这种限制使得难以将具有多样拓扑结构的不同语言对中的单词进行匹配，尤其是在语言空间之间不存在同构性假设的情况下。此外，由于模型预训练不足引入的噪声，词表示的质量往往会受到影响，从而导致BLI结果不稳定且不准确。为了解决这些挑战，我们提出了一种新的框架——结构感知的双对抗自编码器（SA-DAAE），该框架能够明确捕捉多样的拓扑结构信息，并以无监督的方式改善语言对齐。在该模型中，首先使

  来源：Artificial Life

  时间：2025-11-22

• 利用多视图学习实现泛化的多模态讽刺检测

  摘要：多模态讽刺检测（MSD）对于理解复杂的人类交流和构建智能情感计算系统至关重要。然而，现有的MSD方法往往过度依赖虚假相关性，导致学习到的特征偏离讽刺的真正含义。这种偏差严重削弱了当前模型在训练环境之外的泛化能力。本文提出了一种基于冲突的解耦多视图不一致性学习框架（ConDi），旨在有效解耦和处理多模态讽刺中的异构特征。由于多模态嵌入空间通常具有异构性，直接融合可能会破坏来自不同模态的嵌入的固有结构。为了解决这个问题，我们采用最优传输算法将来自不同模态的嵌入对齐到一个统一的空间中。随后，我们从三个视角联合学习不一致性：模态解耦、全局情感和局部描述。为了实现讽刺特征的无偏差融合，我们设计了一

  来源：Artificial Life

  时间：2025-11-22

• 探索基于梯度引导的掩码语言模型以检测文本对抗性攻击

  摘要：文本对抗样本对自然语言处理系统的可靠性构成了严重威胁。近期研究表明，对抗样本往往偏离正常文本的底层流形，而预训练的掩码语言模型能够近似正常数据的流形。这些发现促使人们探索利用掩码语言模型来检测文本对抗攻击。我们首先提出了基于掩码语言模型的检测方法（MLMD），该方法利用掩码语言模型（MLM）中的掩码和解掩码操作来诱导正常文本与对抗文本之间的流形变化差异。尽管MLMD在检测性能上表现优异，但其逐个进行掩码处理的策略带来了较大的计算开销。后续分析表明，输入文本中的大量非关键词对检测结果并无实质影响，但会消耗计算资源。在此基础上，我们提出了基于梯度引导的MLMD（GradMLMD），该方法利用

  来源：Artificial Life

  时间：2025-11-22

• Speech-FT：融合预训练和微调的语音表示模型以实现跨任务泛化

  摘要：对语音表示模型进行微调可以提高其在特定任务上的性能，但往往会损害其跨任务的泛化能力。这种性能下降通常是由于表示层发生了过度变化，导致难以保留预训练过程中学到的信息。现有的方法（如在微调过程中对权重变化进行规范化）可能无法保持与预训练模型足够高的特征相似性，从而可能丧失跨任务的泛化能力。为了解决这个问题，我们提出了Speech-FT，这是一种新颖的两阶段微调框架，旨在在利用微调优势的同时保持跨任务的泛化能力。Speech-FT首先应用专门设计的微调方法来减少表示层的变化，然后通过权重空间插值与预训练模型进行融合，以恢复跨任务的泛化能力。在HuBERT、wav2vec 2.0、DeCoAR

  来源：Artificial Life

  时间：2025-11-22

• 青少年时期遭受创伤性脑损伤的个体在独立生活、生产力和社会关系方面的变化：一项关于创伤性脑损伤模型系统的研究

  摘要 通俗语言总结 研究目的： 本研究旨在探讨16至18岁青少年在遭受中度至重度创伤性脑损伤（TBI）后，受伤前5年内在独立生活、生产能力和社交关系方面的变化情况。 研究背景： 研究对象为从住院康复机构出院后的社区成员。数据来源于创伤性脑损伤模型系统（TBIMS）国家数据库中的584名16至18岁参与者，他们在受伤后1年、2年和/或5年时完成了随访。 研究设计： 这是一项多中心纵

  来源：The Journal of Head Trauma Rehabilitation

  时间：2025-11-22

• 现代“卡德摩斯”：重建外科手术与人类在身体受损后重塑形态的本能

  ```section> 摘要 通俗语言总结 欧里庇得斯的戏剧《酒神的女信徒》描绘了狄俄尼索斯狂热带来的毁灭性后果以及人类对此的平静反应。当彭忒乌斯被狂热的酒神女信徒（包括他的母亲）撕成碎片后，他的祖父卡德摩斯收集这些碎片并重新拼凑出他的身体以便安葬。这一简单却深刻的举动揭示了人类修复破碎事物的原始冲动。本文将卡德摩斯视为现代重建外科医生的原型：正如卡德摩斯温柔地重组他孙子的身体一样，外科医生也面对因创伤、疾病或暴力而破碎的人体，试图恢复其结构、尊严和意义。用白布覆盖重组后的身体的这一象征性行为，类似于手术室中的无菌单层布——这是一种净化、过渡和尊重的仪式。然而，重建就像卡德摩

  来源：Journal of Craniofacial Surgery

  时间：2025-11-22

• 唇裂和腭裂患者在接受Le Fort I截骨手术后，是否面临更高的短期并发症风险？

  ```section> 摘要 通俗语言总结 背景： 患有唇裂和腭裂（CL/P）的患者通常需要通过Le Fort I上颌前移手术来矫正上颌发育不良。由于瘢痕组织形成、解剖结构异常以及血管供应减少，这些患者可能比没有CL/P的患者面临更高的并发症风险。本研究的目的是评估接受Le Fort I截骨术的CL/P患者与未患CL/P的患者在术后90天内的并发症情况。次要目的是比较两组患者的再次手术率和再入院率。 材料与方法： 本研究使用PearlDiver Mariner国家数据库进行了回顾性队列分析。纳入标准为2010年至2022年间接受Le Fort I截骨术的12岁及

  来源：Journal of Craniofacial Surgery

  时间：2025-11-22

• 经口内镜途径切除颅底横纹肌肉瘤

  ```section> 摘要 通俗语言总结 横纹肌肉瘤（RMS）是一种儿童恶性肿瘤。治疗横纹肌肉瘤的方法包括手术、化疗和/或放疗，其中手术最为重要。本文介绍了一例通过纯内镜经口途径（ETA）成功切除颅内外横纹肌肉瘤的儿科病例。 通俗语言总结：横纹肌肉瘤（RMS）是一种影响儿童的癌症，通常需要通过手术、化疗和放疗进行治疗。手术在横纹肌肉瘤的治疗中起着关键作用。该病例展示了通过纯内镜经口途径（ETA）成功切除位于颅内外的横纹肌肉瘤的过程。这种技术利用内镜经口腔进入肿瘤部位，属于微创治疗方法。该病例证明了ETA作为复杂横纹肌肉瘤病例的有效手术手段的潜力，为传统手术方法提供了一

  来源：Journal of Craniofacial Surgery

  时间：2025-11-22

知名企业招聘：