-
基于共享溯因与双向溯因循环加速的组合形状分析
摘要AI 摘要要查看此 AI 生成的摘要,您必须具有高级访问权限。了解更多登录摘要摘要基于双向反演的形状分析是一种组合式验证与分析技术,能够在存在复杂链接数据结构的情况下证明内存安全性。尽管该技术非常有用,但此类分析仍存在若干未解决的问题;本文针对其中两个问题进行了研究。一方
来源:ACM Transactions on Programming Languages and Systems
时间:2026-09-01
-
基于深度水印的主动防御:深度伪造检测、溯源与监管
摘要AI 摘要查看此 AI 生成的摘要,您需要拥有高级访问权限。了解更多登录摘要摘要当前主动防御机制虽然有效,但主要集中于阻碍深度伪造模型,而非对其加以规范。鉴于在合法用途下对深度伪造生成技术的普遍需求,我们提出了一种基于"白名单"机制的主动深度伪造控制框架。该框架通过利用密
来源:ACM Transactions on Multimedia Computing, Communications, and Applications
时间:2026-09-01
-
心力衰竭患者的主观认知困扰:一项综合性综述
背景:非裔美国(AA)女性受到高血压的影响尤为严重。歧视(可能具有创伤性)和抑郁症状与血压(BP)存在独立关联。
目的:我们评估歧视、种族相关创伤和抑郁症状的综合影响是否会影响血压随时间的变化。
方法:我们对手头的一项纵向队列研究的数据进行了二次数据分析,该研究考察了250对
来源:Journal of Cardiovascular Nursing
时间:2026-09-01
-
面向隐藏节点干扰下V2V广播覆盖增强的联合中继分配与功率优化
摘要 由于非视距(NLOS)遮挡和垂直街道布局的影响,密集的城市交叉路口尤其容易受到隐藏节点干扰。因此,复用同一通信资源的车辆可能面临高度异质的接收条件,从而导致覆盖范围下降,并在同时发送的发射机之间造成通信性能失衡。尽管中继辅助传输有助于克服交叉口遮挡,但不恰当的中继选择可
来源:Physical Communication
时间:2026-09-01
-
利用泵诱发水力瞬变进行基于环向应变的现场管道泄漏检测
- 阻尼法检测在一条由三种材料组成的5.3公里在役管道中进行了测试。
- 均匀管道公式已扩展为分段均匀本征函数。
- 缓慢停机泵停可作为常规运行瞬态来源。
- 基于压力的定位在所有六种情况下的误差均不超过13%。
- 初步的DIC测试展示了非接触式阻尼检测的可行性。
##
来源:Measurement
时间:2026-09-01
-
基于标签共现网络的外国文化在中国的演变动态
摘要
社交媒体的迅速普及深刻地重塑了跨文化内容传播的动态。在这项研究中,我们利用多年的视频元数据(2014-2023年)从哔哩哔哩平台,探讨了美国、法国、日本和韩国在中国文化生态系统中的标签共现网络的纵向演化拓扑结构。实证分析显示,网络规模呈指数级扩展,同时伴随着一个明显的结构特
来源:Physica A: Statistical Mechanics and its Applications
时间:2026-09-01
-
对称封堵对双火源隧道火灾最大顶部温度及纵向温度衰减的影响
摘要本文进行了一系列数值模拟,研究了双火源隧道火灾在对称封堵条件下的温度分布特征,重点考察了最大顶棚温度以及下游烟气温度的纵向衰减规律。系统分析了封堵率、无量纲释热率和无量维火源间距的影响,并建立了相应的预测关联式。结果表明,最大顶棚温度对封堵率表现出突变响应,由此可确定临界
来源:International Communications in Heat and Mass Transfer
时间:2026-09-01
-
基于控制增益选择的未知非线性系统可调瞬态性能:在塔式起重机系统中的应用
•(1) 本文提出了一种改进的回溯控制策略,该策略保留线性交叉项而不是取消它们。该设计确保在适当选择控制增益的情况下,线性化闭环系统中的状态矩阵 A 具有负定性。通过协调控制增益,使 A 的负实特征值被分配到期望的位置,从而实现可调节的暂态性能,包括可调节的调节时间和超调衰减
来源:ISA Transactions
时间:2026-09-01
-
一种基于滑动窗口矩阵的流数据高效用项集挖掘算法
摘要
从大规模数据集中获取有价值的信息长期以来一直是大数据领域的核心研究焦点。近年来,随着计算机科学和物联网的快速发展,各种数据以数据流的形式不断生成。数据流中的数据具有无限规模和快速更新的特点,使得从中获取有用信息成为数据挖掘中至关重要的研究课题。在工业产品质量检测和电网
来源:Data & Knowledge Engineering
时间:2026-09-01
-
氧化钆 Gd₂O₃ 与 FLiNaK 熔盐的微观相互作用机制
摘要
氧化钆 Gd₂O₃ 用作核燃料中的中子可燃毒物。在乏核燃料的火法冶金再处理过程中,它被引入熔融盐介质中。然而,其与溶剂盐的相互作用机制尚不清楚。本文采用实验拉曼测量与深度学习分子动力学模拟相结合的方法,研究了 Gd₂O₃ 与熔融氟化物体系 FLiNaK 的相互作用。结果
来源:Chemical Physics
时间:2026-09-01