• 综述：针对同时患有物质使用障碍和常见心理健康障碍的成年人的心理社会干预措施的有效性：一项伞形综述

  在当今社会，精神障碍与药物或酒精使用障碍共存的现象日益受到关注。这种共病情况不仅增加了患者的健康风险，还对治疗效果产生了复杂的影响。近年来，心理学干预在治疗此类共病患者方面得到了广泛研究，以期找到有效的方法，帮助他们同时改善精神健康和物质使用问题。本研究通过系统性综述，分析了针对成年人（18岁以上）的多种心理社会干预措施的有效性，并探讨了其对共病患者在精神健康和物质使用方面的改善作用。### 研究背景与现状在英国，与药物和酒精相关的服务接触人数高达290,635人，其中大部分服务使用者患有共存的精神健康问题。这些包括严重的心理疾病或常见的心理障碍，如抑郁症、焦虑症、创伤后应激障碍（PTSD）等

  来源：Drug and Alcohol Review

  时间：2025-11-07

• 绝经后女性代谢综合征与心血管疾病风险之间的关联：一项队列研究

  摘要 目的 心血管疾病是全球女性死亡的主要原因。绝经后，代谢综合征的发病率更高。这一转变期间雌激素水平的下降会促进不良的代谢和血管变化，从而显著增加心血管疾病的风险。然而，关于代谢综合征对绝经后女性心血管疾病风险影响的证据仍然有限。 材料与方法 本研究使用了来自凯滦队列的

  来源：DIABETES OBESITY & METABOLISM

  时间：2025-11-07

• pH值可调控的分子印迹聚合物，用于对(S)-氨氯地平贝沙酯及其手性异构体进行对映选择性识别与分离

  我们开发了pH响应型分子印迹聚合物（MIPs），用于在（S）-氨氯地平苯磺酸盐（S-ADB）及其手性对映体（R）-氨氯地平苯磺酸盐（R-ADB）存在的情况下，实现对（S）-ADB的选择性识别和分离。由于这两种物质的分子组成相同且结构高度相似，这一任务颇具挑战性。通过系统优化合成参数（包括功能单体的选择和模板比例），制备出了基于二氧化硅的MIPs。这些MIPs含有pH响应性的羧基团，能够通过质子化-去质子化反应实现可逆的结合。采用扫描电子显微镜（SEM）、傅里叶变换红外光谱（FTIR）和热重分析（TGA）进行的全面表征证实，制备得到的材料具有均匀的印迹层，

  来源：Analytical Methods

  时间：2025-11-07

• LLMCARE：通过由大语言模型（LLM）生成的合成数据增强的Transformer模型实现认知障碍的早期检测

  阿尔茨海默病及相关痴呆（ADRD）对美国五百万老年人造成了严重影响，然而超过一半的患者尚未被诊断。这种疾病的早期检测对于及时干预和改善患者生活质量至关重要。自然语言处理（NLP）技术，尤其是基于语音的NLP方法，为ADRD的早期筛查提供了一种可扩展的解决方案。语音中的细微语言特征，如语言流畅性、语法错误和表达障碍，可能在临床诊断之前就显示出认知功能下降的迹象。因此，本研究旨在开发并评估一个基于语音的筛查流程，结合了基于Transformer的嵌入和人工提取的语言特征，并引入了大型语言模型（LLMs）生成的合成数据进行数据增强，同时对单模态和多模态的LLM分类器进行基准测试，以评估其在ADRD检

  来源：Frontiers in Artificial Intelligence

  时间：2025-11-07

• 评估厄瓜多尔法院中的人工智能决策工具：法律判决的效率、一致性和不确定性

  在当今社会，司法系统正面临前所未有的挑战，尤其是在资源有限、制度不明确和程序效率低下的国家。本研究聚焦于厄瓜多尔，探索人工智能（AI）驱动的决策支持工具对司法表现的影响。厄瓜多尔作为一个具有高度制度不确定性和低数字化水平的国家，为评估AI在司法中的应用提供了独特的实验场景。研究采用混合方法，分析了50个法院案件在AI实施前后的变化，包括定量分析和定性分析。定量部分通过统计方法评估案件处理时间、评价者间一致性以及法律推理的语义结构变化，而定性部分则通过内容分析探讨政策和法规文件中关于算法治理的讨论。研究结果显示，AI的引入显著缩短了案件处理时间，提高了评价者间的一致性，并增强了法律推理的规范性和

  来源：Frontiers in Artificial Intelligence

  时间：2025-11-07

• 2022–2023年越南北部的猪流行性腹泻病毒：发现一种新的亚基因组（G2e）在猪群中出现

  摘要我们提供了证据，支持在越南中部和北部的六个省份中识别出一种新兴的猪流行性腹泻病毒（PEDV）亚基因组（2022–2023年）。该亚基因组被命名为新的G2e亚基因组。该亚基因组包含九个具有独特氨基酸变异的位点，在系统发育上与先前识别的亚基因组不同。这些病毒在基因上与中国广西地区的PEDV毒株相关，这表明它们可能具有共同的起源。估计这些病毒与典型亚基因型（G1a、G1b、G1c、G1d、G2a、G2b、G2c、G2d和G3）之间的平均遗传距离具有显著性，从而将其与其他亚基因组明显区分开来。我们的发现有助于更好地理解PEDV的多样性，特别是2010年代出现的G2亚基因组病毒株，以及越南境内多种（

  来源：Veterinary Research Communications

  时间：2025-11-07

• 与胡椒属（Piper spp.）相关的、能够诱导植物防御机制的生物防治细菌能够抑制由辣椒疫霉（Phytophthora capsici）引起的黑胡椒叶片感染

  摘要由Phytophthora capsici引起的根腐病常常导致黑胡椒（Piper nigrum L.）死亡，尽管部分植株在田间表现出一定的耐受性。植物微生物组可以影响宿主的抗性以及病原体的毒力。研究人员研究了来自病田的健康Piper nigrum植株及野生抗根腐病物种Piper colubrinum中的细菌，以探究这些细菌是否能够抑制Phytophthora引起的黑胡椒幼苗叶片感染。分离出细菌后，通过双培养平板法和离体叶片法进行了抗病原体能力的体外筛选。此外，在切茎试验中进一步评估了这些细菌的抑病效果，确保病原体与拮抗菌在空间上保持分离。这种新型筛选方法被证明是快速筛选出能够诱导对P. c

  来源：Tropical Plant Pathology

  时间：2025-11-07

• Euscepes postfasciatus（鞘翅目：象甲科）的繁殖行为与鸣声交流

  摘要在象甲科（Curculionidae）中，繁殖行为及其所使用的鸣叫信号已有充分的文献记载。Euscepes postfasciatus是一种危害甘薯的农业害虫，目前仍缺乏有效的控制策略。本研究旨在探讨该物种的繁殖行为及其相关的声学和振动信号。为了分析繁殖行为，观察了100对交配个体，并将数据整理成行为谱（ethogram）。为了研究在压力和繁殖环境下产生的鸣叫信号，分别使用配备麦克风和压电加速度计的系统记录了20对和50对个体的信号，以捕捉鸣叫信号的空气传播成分和振动成分。通过对30个标本进行解剖并使用扫描电子显微镜观察，对其鸣叫器官的形态结构进行了分析。在交配过程中，观察到雄性在接近雌性

  来源：Neotropical Entomology

  时间：2025-11-07

• 小白额燕鸥（Sternula albifrons）对不同人类干扰的行为反应

  摘要人类活动会对野生动物及其行为产生重大影响。然而，不同类型的人类干扰在不同季节所产生的影响程度目前尚不明确。在这项研究中，我们评估了三种不同类型的人类干扰（单独行走的人、两人交谈以及慢跑者）对一种常在海岸繁殖的鸟类——小白燕鸥（Sternula albifrons）的起飞距离（FID）和飞行时间（FD）的影响，这些观察是在繁殖季节进行的。研究地点位于葡萄牙阿尔加维地区的阿尔沃尔沙丘，该地区游客活动频繁。我们还探讨了天气条件和巢穴年龄对鸟类对干扰行为反应的影响。尽管样本量有限（实验仅针对30个巢穴进行），但我们发现慢跑者引起的起飞距离最大，其次是两人交谈的人，最后是单独行走的人。处于孵化后期阶

  来源：Journal of Ornithology

  时间：2025-11-07

• 数字孪生背景下的区块链：一项综合性调查

  摘要数字孪生（DT）技术通过高保真建模和多维仿真，将物联网（IoT）、通信网络和传感器系统整合在一起，实现了物理对象的动态映射和实时优化。然而，DT的发展仍面临诸多挑战，包括跨平台互操作性的限制、实时场景中的过高延迟、分布式部署中的安全漏洞，以及准确建模多模态系统的复杂性。区块链（BC）提升了DT在各种应用中的安全性和功能范围。本调查首先介绍了BC和DT的核心原理，然后探讨了它们整合的合理性和优势。从数据中心的角度出发，我们研究了基于区块链的数字孪生（BCDT）如何增强数据存储、安全交换、隐私保护和系统互操作性。进一步探讨了BCDT系统的架构，涵盖了网络拓扑、功能模块、平台设计以及代表性原型，

  来源：ACM Computing Surveys

  时间：2025-11-07

• CUBES：一种用于SQL的并行合成器（通过实例进行说明）

  摘要近年来，越来越多的人发现他们的工作依赖于数据操作任务。然而，这些用户中的许多人缺乏编写SQL查询（尤其是复杂查询）所需的编程背景。帮助这些用户的一种方法是根据少量示例自动生成SQL查询。最近提出了几种用于SQL的程序合成器，但它们并未利用多核架构来提高合成性能。本文提出了Cubes，这是一种针对SQL查询领域的并行程序合成器，它使用输入-输出示例作为输入。由于输入-输出示例是对所需SQL查询的不完整描述，有时生成的查询可能不符合用户的意图。Cubes采用了一种基于模糊技术的新的消歧方法，该方法与用户进行交互，从而提高了返回查询与用户意图匹配的可靠性。我们对来自不同领域的约4000个SQL查

  来源：Formal Aspects of Computing

  时间：2025-11-07

• 在参数化通信延迟条件下实时系统的有效运行时验证

  摘要定时Büchi自动机为表达实时系统的需求提供了一种非常强大的形式化方法。通过对系统产生的轨迹进行符号执行，可以实现嵌入式实时系统的在线监控和主动测试。然而，这种直接构建方法只有在轨迹观测是即时进行的情况下才有效，即监控器（或测试工具）能够为其观测到的操作分配精确的时间戳。实际上，由于连接被观测系统与监控或测试设备的电路引入了大量的、且不断变化的参数延迟，这种情况很少发生。我们提出了基于区域的在线监控和测试算法，这些算法能够精确处理这些参数延迟，而无需采用成本高昂的参数化定时自动机验证程序。我们已在实时模型检查工具Uppaal的基础上实现了这些算法，并报告了初步的积极结果。

  来源：Formal Aspects of Computing

  时间：2025-11-07

• 有目的的设计：形成性研究在科学博物馆计算思维游戏开发中的作用

  摘要本文详细介绍了Pack游戏的开发过程，时间跨度为8年。内容涵盖了博物馆在数字工具研发方面采用的关键方法、该游戏及其资源在正式与非正式环境中的应用情况（这些应用均属于一项联邦资助的教育项目的一部分），以及从中获得的经验教训，这些经验可以为未来更具包容性的数字工具开发提供参考。

  来源：Games: Research and Practice

  时间：2025-11-07

• 从Atari的危机到现代的困境：分析后疫情时期美国视频游戏行业的大规模裁员

  摘要自2023年以来，视频游戏产业（VGI）面临着严重的劳动力减少问题，表现为大规模裁员、工作室关闭以及项目取消，其中美国受影响最为严重。本研究采用比较分析方法来探究此次裁员危机的根源，并将其与1983年的视频游戏危机（Atari Shock）进行对比，以识别历史上的共性和当代的差异。通过三层分析框架，该研究考察了宏观经济变化（如货币政策调整）、行业动态（如管理效率低下、成本上升）以及项目层面的风险（如在线服务转型失败、模仿性设计），并运用商业研究、项目管理和游戏开发领域的现有理论来解释这些系统性脆弱性。值得注意的是，得益于全球化生产网络和多元化的收入来源，该行业展现出较强的韧性，从而避免了系

  来源：Games: Research and Practice

  时间：2025-11-07

• 跨平台游戏：是否真的大于各部分之和？

  摘要如今，游戏正逐渐成为一种跨平台的现象——这一新的互动模式在很大程度上受到日益增长的经济激励的推动。然而，我们对玩家在跨平台游戏中的体验、影响参与度的因素，以及游戏行业专业人士在实现跨平台游戏方面所面临的障碍和决策过程知之甚少。我们采用混合方法来了解当前跨平台游戏实现的现状及未来发展趋势，通过调查《原神》的活跃玩家（n=87）和对游戏行业专家的访谈（n=3）来进行研究。这项研究为跨平台游戏的本质提供了新的见解。跨平台游戏正逐渐成为游戏设计的常规要素，它不仅提升了游戏的互动性和合作性，同时也带来了持续的挑战。在本文的最后，我们为人机交互（HCI）研究人员和游戏行业专业人士提出了一些初步的建议。

  来源：Games: Research and Practice

  时间：2025-11-07

• 基于可解释图的推荐系统综述

  摘要推荐系统的可解释性对于确保用户的信任和满意度至关重要。已经提出了多种类型的可解释推荐系统，其中包括基于图的可解释推荐系统。本文综述了这些系统的最新研究方法，并根据三个方面对它们进行了分类：学习方法、解释方法以及解释类型。同时，本文还探讨了常用的数据集、可解释性评估方法以及该研究领域的未来发展方向。与现有的综述论文相比，本文重点关注基于图的可解释性，并涵盖了开发新型基于图的可解释推荐系统所需的相关主题。

  来源：ACM Computing Surveys

  时间：2025-11-07

• AutoCLC：面向基于团队的医疗模拟培训中闭环沟通的自动化评估与反馈

  摘要本研究介绍了AutoCLC，这是一个基于人工智能的系统，旨在评估专业学习环境中的闭环沟通（CLC）并提供建议。闭环沟通是指发送者的“Call-Out”陈述得到接收者的“Check-Back”陈述的回应，它是高可靠性领域（包括急诊医学复苏团队）中的关键安全协议。现有的CLC评估方法缺乏可量化的指标，且严重依赖于人工观察。AutoCLC通过利用自然语言处理和大型语言模型来分析高级心血管生命支持（ACLS）模拟训练中的音频记录，从而解决了这些局限性。该系统能够识别CLC实例，测量其频率和每分钟的次数，并将沟通类型分为有效、不完整或遗漏三种。技术评估显示，AutoCLC在识别“Call-Out”方

  来源：ACM Transactions on Computing for Healthcare

  时间：2025-11-07

• 利用低资源数据进行分析性学习研究：从分析到探索

  摘要利用高资源数据进行学习在人工智能（AI）领域取得了显著成果；然而，数据标注和模型训练的成本仍然很高。AI研究的一个基本目标是能够在资源有限的情况下实现强大的泛化能力。本调查采用了在“可能近似正确”（PAC）框架内的不可知主动采样理论，来分析在模型不可知的监督学习和无监督学习环境中，从低资源数据中学习时所涉及的泛化误差和标签复杂性。基于这一分析，我们研究了一系列针对低资源数据学习的优化策略，包括基于梯度的优化、元迭代优化、几何感知优化以及基于大型语言模型（LLMs）的优化。此外，我们还全面概述了多种可以从低资源数据中受益的学习范式，包括领域迁移、强化反馈和层次结构建模。最后，我们总结了分析结

  来源：ACM Computing Surveys

  时间：2025-11-07

• 阿尔方索·卡拉乔洛·迪·福里诺与广义马尔可夫算法

  摘要我们探讨了阿尔方索·卡拉乔洛·迪·福里诺（Alfonso Caracciolo di Forino，1925-1996）对意大利形式化方法学派发展的贡献，重点关注编程语言的形式化定义问题，包括语义和语用层面。具体而言，我们介绍了他对于能够用于为编程语言提供“声明性定义”的元语言和方法的探索。这项研究促使他提出了广义马尔可夫算法（Generalized Markov Algorithms，简称GMA），该算法在马尔可夫的常规算法基础上引入了元语言变量、可计算函数以及条件适用性。在卡拉乔洛看来，一种编程语言的定义应该是一种GMA：当给定一个字符串时，如果该字符串不是合法的程序，则GMA会将其拒

  来源：Formal Aspects of Computing

  时间：2025-11-07

• N选1游戏：构建用于生成精确伪随机数的智能合约

  摘要我们提出了一种名为N-choice game（NCG）的去中心化方法，用于为智能合约生成伪随机数。NCG涉及多个参与者，每个参与者需要在两个范围之间选择一个数值：从0到N−1。所有参与者的选择共同决定了伪随机数的生成结果。NCG的设计有三个关键目标：激励参与者做出随机选择、在去中心化环境中评估随机性以及实现高运行效率。NCG采用Solidity语言实现，并经过了严格测试，证明了其显著的有效性。测试结果显示，只要大多数参与者没有串通，NCG生成的随机数具有较高的随机性且稳定性良好（甚至通过了严格的NIST随机性测试）。NCG不仅无法被人为修改以产生特定输出，而且将其设置为非随机状态也不切实际

  来源：Distributed Ledger Technologies: Research and Practice

  时间：2025-11-07

知名企业招聘：