• 形式化方法历史专题藏书介绍

  本期内容是关于形式方法历史的专题系列的第一部分，第二部分将出现在第38卷第4期中。这些论文是在2025年初发出的征稿呼吁之后提交的，并且已经按照该期刊的常规流程进行了评审。总体而言，它们从多个角度展现了形式方法的发展历程：个人回忆、传记、项目历史、领域综述、国家研究计划以及具有历

  来源：Formal Aspects of Computing

  时间：2026-07-22

• 基于地标重定位的增强高斯溅射SLAM技术在月球探测中的应用

  摘要构建高质量的三维地图，并确定探测器相对于该地图的精确姿态，是月球表面探测任务的重要前提。传统的机器人同步定位与建图（SLAM）方法难以通过单一传感器（如RGB-D相机）实现高密度的三维映射和高精度定位。为此，我们提出了一种基于3D高斯泼溅算法的月球探测器密集SLAM方法，该方

  来源：Advances in Space Research

  时间：2026-07-22

• 基于C-KDE-RKF的噪声抑制技术在超高层建筑爬模GNSS姿态监测中的应用

  摘要 附着式爬升模板系统在超高层建筑施工中得到广泛应用，而可靠的姿态监测对于确保施工安全至关重要。然而，在复杂的城市环境中收集的GNSS观测数据往往受到信号遮挡、多路径效应以及偶发严重误差的影响，从而导致位移和姿态估计结果出现异常波动。为解决这一问题，本文提出了一种基于约束核

  来源：Advances in Space Research

  时间：2026-07-22

• 一种结合GNSS ZTD观测与K均值聚类的区域自适应InSAR大气延迟校正方法

  摘要：在干涉合成孔径雷达技术中，大气延迟是最为重要的误差源之一，尤其是在地形复杂且气象条件多变的情况下，其对干涉相位的影响更为显著。随着全球导航卫星系统在空间和时间分辨率上的不断提升，天顶总延迟数据越来越容易获取。然而，目前基于GNSS衍生的差分天顶总延迟值的大气层校正方法仍存在

  来源：Advances in Space Research

  时间：2026-07-22

• 一种用于合成Ba0.5Sr0.5Co0.8Fe0.2O3–δ钙钛矿氧化物的可扩展可控微混合方法

  摘要本文提出了一种可控且易于扩展的方法，用于制备非化学计量比的复合氧化物Ba0.5Sr0.5Co0.8Fe0.2O3–δ（BSCF），这是一种在氧气分离中用作氧传输陶瓷膜的最具前景的材料。该方法基于共沉淀法，先将规定浓度的硝酸盐前驱体以特定流速形成反应液，再与碱性沉淀剂发生反应。

  来源：Advanced Powder Technology

  时间：2026-07-22

• 综述：从静态到动态：纳米材料与3D/4D生物打印技术的结合，用于开发可适应性的可穿戴运动生物传感器

  摘要

  来源：Biosensors

  时间：2026-07-21

• 基于化学距离的大型库对接加速方法ChemSTEP

  尽管按需合成库现已涵盖数万亿分子，但全库对接在超过数十亿分子时面临困难，这促使研究人员开发优先排序方法，以在仅评估库中一小部分分子的同时回收高评分化合物。研究人员在此引入一种基于相似性的优先排序方法ChemSTEP，并定义了任何优先排序算法处理的库的有效尺寸N

  来源：ACS Central Science

  时间：2026-07-21

• 综述：功能化腈氧化物及其合成等价物：生成方法与合成应用的最新进展

  功能化腈氧化物（nitrile oxides）因其引入的官能团不仅影响环加成反应活性，还为后续分子多样化提供了宝贵的手段而受到越来越多的关注。然而，尽管具有巨大的合成潜力，但开发实用方法来生成功能化腈氧化物仍然具有挑战性，因为合适的前体往往难以获得，且许多官能

  来源：Molecules

  时间：2026-07-21

• 综述：新兴技术驱动的鸟类驱避方法用于农业作物保护：系统性文献综述

  鸟类损害是粮食生产农业中持续存在的挑战，在全球范围内造成重大经济损失。传统驱避方法（如稻草人、反光带和丙烷炮）劳动密集且易导致鸟类习惯化。近年来，传感、自动化、机器人技术和人工智能的进步使得技术驱动的鸟类驱避系统得以开发，提供了有针对性的、自适应和可扩展的替代

  来源：Smart Agricultural Technology

  时间：2026-07-21

• 物联网驱动的湄公河三角洲水稻种植水肥管理：技术效率与社会经济影响

  本研究评估了与物联网（IoT）驱动的水肥管理相关的技术和社会经济结果，研究对象为越南湄公河三角洲的小农水稻种植。研究人员采用混合方法设计，分析了来自300户家庭（150户采用者与150户非采用者）的调查数据，并辅以访谈和实地观察。使用倾向得分匹配（Propen

  来源：Smart Agricultural Technology

  时间：2026-07-21

知名企业招聘：