• 通过契约结合测试与证明以实现更优的软件验证

  # 测试还是证明？ ## 摘要 测试还是证明？软件测试的这两种方法长期以来一直被视为对立的两极。一种是动态方法，另一种是静态方法：测试通过执行程序来验证程序，而证明则仅分析程序文本。一种新的视角正在兴起——在这种视角中，测试与证明是互补的，而非彼此竞争的软件质量验证技术。

  来源：Communications of the ACM

  时间：2026-09-02

• 弯扭作用下混凝土风电塔筒水平接缝的抗剪承载力

  摘要 本文研究了弯曲工况下钢-混凝土混合式风力发电机塔架混凝土段水平接头的抗剪承载力。对三个1:4缩尺混凝土塔架试件分别进行了纯弯、弯扭组合和纯扭加载试验，结果表明：水平接头的抗剪能力主要由预应力引起的界面摩擦提供，且横向荷载对接头接触面积和破坏模式有显著影响。基于试验结果

  来源：Structures

  时间：2026-09-02

• 地铁中断情况下接驳公交与地铁的时刻表同步

  摘要 公交接驳服务与未受影响地铁线路之间的协调对于全球特大城市的地铁中断管理至关重要。既往研究主要集中在公交 - 地铁疏散路线网络的空间设计上，或者集中在单条中断地铁线路与其平行接驳路线之间的时空同步上，从而忽略了网络层面的时空优化。本研究开发了一个考虑网络层面协调和乘客需求

  来源：Journal of Transport Geography

  时间：2026-09-02

• 亚临界生灭过程中的一致性估计

  **摘要** 我们研究具有多重出生事件的次亚临界连续时间出生-死亡过程的参数估计问题。我们证明，基于单条未灭绝轨迹连续观测所得的经典模型参数最大似然估计量，在通常意义下并不一致：在给定存活至时刻 t 的条件下，它们以 t → ∞ 的速度收敛至相应 Q 过程中的对应量，即条件于

  来源：Stochastic Processes and their Applications

  时间：2026-09-02

• 规划铁路对景观连通性的影响及其线路优化

  摘要热带森林拥有极高的生物多样性，但正遭受人类活动导致的栖息地破坏，其中包括交通基础设施的扩张。现有研究缺乏从景观组成和空间分布角度对规划铁路对景观连通性影响的分析，导致在路线设计中未能充分保护具有重要连通功能的斑块。本研究采用形态空间格局分析和最小累积阻力模型，探讨埃塞俄比

  来源：Journal of Transport Geography

  时间：2026-09-02

• 一种集体主义视角下的人工智能经济愿景

  摘要 信息技术正经历一场革命，无处不在的数据收集和机器学习以前所未有的方式影响着人类世界。“智能”一词被视为这项技术发展的导向，而人类的认知能力则被视为基准。然而，这种观点忽视了人类是社会性动物的事实，我们的许多智能能力源自社会和文化。此外，未能将智能的各个方面正确地置于社会层面

  来源：Communications of the ACM

  时间：2026-09-02

• 高层建筑顺风向波动荷载确定策略：强调湍流的三维效应

  • 提出三维效应函数以表征三维湍流效应。• 所提出的垂向相干函数模型能够解释实验观测结果。• 提出的包含湍流积分尺度的三维谱模型提供了更高的精度。• 传统二维模型高估了荷载谱并低估了垂向相关性。引言风致振动响应在高层建筑设计中起着重要作用，确定脉动风荷载对于评估响应至关重要。

  来源：Journal of Wind Engineering and Industrial Aerodynamics

  时间：2026-09-02

• 基于有限元法与密度相关NorSand临界状态本构土模型的板沉陷及原位bevameter剪切试验数值模拟

  •包含弯曲元件、三轴和 Bevameter 测试的开放获取多尺度数据集。 •创新性地将临界状态 NorSand 有限元模型应用于模拟现场 Bevameter 测试。 •实现了板沉陷和剪切的仅向前实验室到现场的预测，误差为 6%–16%。 •开发了用于 NorSand 硬化率标

  来源：Journal of Terramechanics

  时间：2026-09-02

• 基于COF修饰聚醚砜支撑层的高性能PA/COFs@PES正渗透膜的制备与性能研究

  摘要 背景：前向渗透（FO）膜因其能耗低、截留率高和易污染倾向低而在水处理领域展现出广阔前景，但其性能受限于膜内浓差极化（ICP）、反向盐通量和膜污染。开发薄且多孔的支撑层对于缓解膜内浓差极化、提高水透过性至关重要。本研究旨在探讨将COFs-TATP引入PES支撑层是否能同

  来源：Journal of the Taiwan Institute of Chemical Engineers

  时间：2026-09-02

• 高斯场泛函的积分形式几乎必然中心极限定理

  • 建立积分形式的高斯泛函几乎必然中心极限定理（ASCLT）。 • 将平均权重推广到对数平均以外的范围。 • 引入一种可通过Malliavin可验证的总变差准则。 • 推导三个过程的二次变差的ASCLT。 **引言** 设 {Y_n : n ≥ 1} 是一个独立同分布（i

  来源：Journal of Mathematical Analysis and Applications

  时间：2026-09-02

知名企业招聘：