• 一种新颖的数据集及轻量级蒸馏基线方法，用于高亮透明对象检测

  高光透明物体检测需解决现有数据集规模小、标注单一的问题。本文构建首个大规模视觉-语言玻璃容器检测数据集GCDet（36,500张图，80,000+实例），包含缺陷检测和产品编号检测子集，并定制对象语言模板支持扩展。基于GCDet提出VLKD架构，通过分布式蒸馏、语言提示蒸馏和解耦蒸馏创新，首次将文本引入知识蒸馏，显著提升学生模型特征迁移能力。实验表明VLKD在多个基准数据集上优于SOTA方法，尤其在透明物体检测中表现突出。

  来源：INTERNATIONAL JOURNAL OF COMPUTER VISION

  时间：2026-03-07

• 针对不断发展的软件产品线的保障案例开发：一种正式的方法

  本文提出了一种面向软件产品线的结构化保证案例提升方法，通过单一AC实现整个产品线的一致性验证，并设计变体意识回归分析框架。基于模型驱动的工具验证方法，成功应用于医疗设备产品线，解决了传统逐个开发ACs在动态SPL环境下的维护难题。

  来源：Formal Aspects of Computing

  时间：2026-03-07

• 关于数据库管理系统模糊测试的全面调查：技术、分类与评估

  本文系统研究数据库管理系统（DBMS）模糊测试技术，提出OpenDBFuzz开源工具集并开展方法对比实验，揭示DBMS模糊测试的特殊性及现有方法局限，构建覆盖数据结构、查询接口、事务管理的分类体系，为数据库安全测试提供理论框架和实践参考。

  来源：ACM Computing Surveys

  时间：2026-03-07

• 共识：基于共识的系统证据综合方法，用于加密货币混币器的司法风险分析

  全球金融完整性受加密货币混币器挑战，CONSENSUS框架通过自监督学习整合九种分析模态，无需预标签即可检测混合交易流中的DeFi漏洞，验证其在Ronin桥和Poly Network攻击中100%准确率并识别新攻击模式。

  来源：Distributed Ledger Technologies: Research and Practice

  时间：2026-03-07

• 形式化方法——我作为工程师、研究员和科学家的50多年历程

  本文回顾了VDM方法起源，讲述IBM维也纳实验室PL/I编译器项目中断后，作者与团队分散至丹麦、美国、英国，后续开发CHILL/Ada编译器，并在联合国澳门机构推动形式化方法应用于铁路、财政、电话系统等工程，退休后转向领域科学与工程，揭示从工程师到科学家的转型。

  来源：Formal Aspects of Computing

  时间：2026-03-07

• 近距离实时相机姿态估计以及用于大型工业部件的AR引导对齐技术

  作者：弗朗切斯科·梅蒂纳（Francesco Messina）、亚历西奥·马蒂诺（Alessio Martino）、弗朗切斯卡·马特罗内（Francesca Matrone）、安德烈亚·玛丽亚·林古亚（Andrea Maria Lingua）、巴勃罗·普埃托（Pablo Puer

  来源：ISPRS JOURNAL OF PHOTOGRAMMETRY AND REMOTE SENSING

  时间：2026-03-07

• 基于时间一致性的PlanetScope影像的无标记红树林测绘技术，结合可解释的深度展开网络（Interpretable Deep Unfolding Network）

  聂向宇|薛照辉|李晓峰 中国南京河海大学地球科学与工程学院，211100 **摘要** 红树林在维持沿海生态系统稳定性和支持环境可持续性方面发挥着至关重要的作用，但由于人类活动和气候变化，它们已经遭受了广泛的退化。因此，准确、高效和可靠的测绘结果对于红树林的监测和有

  来源：ISPRS JOURNAL OF PHOTOGRAMMETRY AND REMOTE SENSING

  时间：2026-03-07

• 人工智能技术与劳动技能转型：来自中国的理论与实证证据

  严雪玲|朱启阳|于树乐|黄旭 四川大学经济学院，成都，中国 **摘要** 人工智能（AI）的采用显著提高了生产力，并重构了劳动力技能。本研究利用一般均衡模型分析了AI对不同技能水平工人产生的影响。研究结果表明，低技能工人容易经历“去技能化”，表现为技能要求的降低和任

  来源：TECHNOLOGICAL FORECASTING AND SOCIAL CHANGE

  时间：2026-03-07

• 解析营销灵活性：在技术变革与市场结构变动背景下，其对客户心态指标及酒店经营绩效的影响

  戈马·阿加格 | 穆罕默德·阿里 | 诺拉·沙尔卡西 | 利亚德·艾德 诺丁汉商学院，诺丁汉特伦特大学，英国诺丁汉 **摘要** 本研究基于动态能力理论，探讨了市场敏捷性（MA）如何影响酒店绩效和客户心态指标（客户满意度、感知服务质量和忠诚度意愿）。通过使用多来源纵

  来源：Tourism Management

  时间：2026-03-07

• 在补贴逐步取消的背景下，针对外包再制造的差异化补贴政策：创新、生产和消费 作者：杜丹阳（Danyang Du）与吴爱平（Aiping Wu）

  摘要 在外包再制造中，原始设备制造商（OEM）负责产品设计和销售，而第三方再制造商（TPR）则承担再制造操作。职责的分离往往导致激励机制不匹配，从而阻碍行业的发展。政府补贴对于缓解这种冲突至关重要，逐步减少补贴已成为一种

  来源：Mathematics

  时间：2026-03-07

知名企业招聘：