• 基于编译器优化的SMT简化技术：一项深入研究

  SMT求解器作为程序验证、修复和合成等领域的核心工具，其预处理中的公式简化直接影响效率。现有方法依赖人工设计启发式，而基于编译器优化的自动化方法仍有提升空间。本文通过迭代搜索优化配置，在大型基准测试中实现较默认求解器2.96倍、SLOT方法2.12倍的加速，并验证机器学习能自动选择最优配置，较Z3和CVC5分别提升15%和54%，最后探讨了编译器优化驱动的SMT简化的未来方向。

  来源：ACM Transactions on Software Engineering and Methodology

  时间：2026-02-23

• 基于需求覆盖度的自然语言测试用例最小化方法

  Test suite minimization with requirement coverage guidance using text embeddings and genetic algorithms.摘要

  来源：ACM Transactions on Software Engineering and Methodology

  时间：2026-02-23

• FreeShell：一种基于热收缩驱动、与上下文无关的复杂三维三角网格壳体4D打印新方法

  这篇综述介绍了FreeShell，一种创新的4D打印技术。它利用单一材料（PLA）打印出由三角形瓦片（tiles）和可收缩连接件（connectors）构成的平板结构，通过加热触发连接件收缩，将离散瓦片精确聚合成复杂的三维壳体，实现了对材料属性、打印条件及环境依赖性的显著降低。该方法为制造高精度自由曲面提供了一种稳健、高效的集成化解决方案。

  来源：ACM Transactions on Graphics

  时间：2026-02-23

• 基于蒽的可回收光固化树脂实现无需引发剂的可持续3D打印——面向单光子和双光子立体光刻技术

  这篇综述介绍了一种创新的基于蒽的可回收光固化树脂，它通过可逆的光二聚反应（无需添加光引发剂）实现了材料的固态与液态相变，从而为高分辨率立体光刻（包括双光子聚合(TPP)和单光子微立体光刻(SPP)）提供了一种可持续、可多次循环（>10次）的打印方案，展示了在微纳制造与绿色增材制造领域的巨大潜力。

  来源：ACS Omega

  时间：2026-02-23

• 支付创新在商户中的传播：采用三级混合方法的综合视角

  基于创新扩散理论、两-sided市场理论及制度理论，结合PLS-SEM、ANN与NCA三层次混合方法，对中国474家商户的E-CNY采纳意图进行实证研究，发现临界质量、感知互补性、规范压力、模仿压力、相对优势与兼容性为关键驱动因素，前四者为必要条件。

  来源：Electronic Commerce Research and Applications

  时间：2026-02-23

• 工程化快速充电存储技术：通过钴配位和共价接枝在CMP/SWCNT电极中构建电子-离子双通道

  通过“径向配位-轴向共价”策略构建钴配位共轭微孔聚合物@碳纳米管复合材料，实现高比电容（1131.5 F g⁻¹）和优异循环稳定性（93%保持率）。分子锚定诱导结构有序化，钴-N/O配位中心调控电子结构并增强活性位点，SWCNTs构建核心壳结构优化电子/离子传输。

  来源：Electrochimica Acta

  时间：2026-02-23

• 用于电气和汽车行业的AS21镁合金的可持续离子液体阳极氧化及钕掺杂技术

  采用掺杂镧的胆碱-草酸离子液体电解质对AS21镁合金进行电化学阳极氧化，成功制备多孔阳极膜和碳酸镁涂层，显著提升耐腐蚀性，为汽车和电气行业提供可持续表面处理方案。

  来源：Electrochimica Acta

  时间：2026-02-23

• 基于SSA-STVFEMD-Kransformer的短期风速多步预测方法（EPSR-D-25-05656）

  风电场风速预测中提出融合SSA去噪、SBOA优化TVFEMD分解及KAN-Decoder改进的Transformer模型，在云南和美国科罗拉多数据集上6步预测R²达91.75%和91.61%，较原Transformer提升7.4和7.7个百分点，并验证噪声鲁棒性。

  来源：Electric Power Systems Research

  时间：2026-02-23

• 时频特征分析：一种基于KAN-DLinear合作框架的多置信区间风力发电预测方法

  风电短期预测中非平稳信号与特征提取不足的挑战，本文提出KAN-DLinear框架，结合自适应Hodrick-Prescott滤波与多尺度小波分解，通过门控残差融合机制动态调整KAN非线性建模与DLinear线性建模的权重，并基于高斯核密度估计生成85%、90%、95%置信水平预测区间。实验表明该方法在50MW陆上风电场和福建300MW海上风电场中均优于现有基准，兼具高预测精度与可靠的不确定性量化能力。

  来源：Electric Power Systems Research

  时间：2026-02-23

• 基于全景X光片的完全自动化Pell & Gregory分类：一种用于下颌第三磨牙嵌塞评估的U-Net模型驱动方法

  本研究提出了一种基于U-Net架构的全自动化深度学习系统，用于根据Pell & Gregory方法对下颌第三磨牙进行分类。该系统通过引入并自动检测全景X光片上的新解剖标志点，利用其空间关系确定分类。研究使用来自不同患者的全景X光片进行训练与评估，针对左右两侧下颌分别构建数据集，最终在Pell & Gregory分类任务中分别实现了左侧93.24%与右侧91.30%的准确率，展现了可靠性能。这一方法提升了诊断一致性，减少了观察者间的差异，为临床提供了实用工具，展示了人工智能改善口腔诊断流程的潜力。

  来源：Egyptian Informatics Journal

  时间：2026-02-23

• 融合集成机器学习技术提升软件项目工作量估计精准度 中文标题

  本研究针对软件开发中工作量估计（EE）不准确、模型泛化能力差等关键问题，提出了一种基于线性回归、决策树和随机森林的混合融合（Hybrid Fusion）框架，并结合超参数优化（Hyperparameter Tuning）进行改进。该方法在China等多个数据集上验证，模型效率提升至94%，显著优于单一模型（74%），为软件项目管理和资源规划提供了更可靠的工具。

  来源：Egyptian Informatics Journal

  时间：2026-02-23

• 供应链数字化与企业创新：来自中国的证据

  供应链数字化显著提升企业创新质量与效率，缓解融资约束、提高运营效率并降低信息不对称，但对创新广度影响有限，全要素生产率增长显著，效应在成熟企业、大型及高科技企业中更突出。

  来源：Economic Modelling

  时间：2026-02-23

• 诉讼风险对同行企业ESG绩效的溢出效应：来自中国地方法院的实证证据

  司法改革通过巡回法庭提升司法独立，导致同行公司ESG绩效下降0.091。研究显示司法独立增强加剧行业诉讼污名化，削弱ESG的保险作用，引发印象管理策略。

  来源：Economic Modelling

  时间：2026-02-23

• 这篇文档主要讲述了利用优化型2型模糊逻辑进行随机化学控制系统规则库开发的研究。具体分析了该研究的背景、方法、结果和意义。 中文标题 随机pH中和过程优化型2型模糊逻辑控制器：一种混合逆模型方法

  本文针对pH中和这类强非线性、多随机扰动的化学过程，探讨了传统控制器（如PID）性能受限的问题。研究人员通过构建一种结合逆模型与2型模糊逻辑的混合智能控制器，开展了规则库优化与实时控制性能评估的研究。结果表明，该方法在设定点跟踪、抗干扰能力和鲁棒性方面均显著优于传统方法，为复杂化学过程的实时控制提供了一种高效、可靠的解决方案。

  来源：Digital Chemical Engineering

  时间：2026-02-23

• 又一块拼图：用于可视化和分析博恩霍尔姆岛太阳石的3D数字方法

  3D数字化方法在Bornholm微型岩石艺术分析中的应用，结合Artec Studio、MeshLab和GigaMesh软件，揭示出仪式性“屠宰”符号的新发现，探讨其宗教实践背景。

  来源：Digital Applications in Archaeology and Cultural Heritage

  时间：2026-02-23

• 从旅行前到旅行后，利用增强现实（AR）和虚拟现实（VR）技术提升文化遗产旅游中的游客体验（TE）

  本研究运用系统文献综述与元合成方法，探讨AR/VR技术在文化遗产旅游体验管理中的作用。结果显示，AR/VR技术在预游阶段辅助决策与目的地认知，游览阶段提供沉浸式、教育性及文化语境丰富的体验，后游阶段促进记忆留存与长期参与。基于此，提出整合框架以优化数字文化遗产服务设计，提升游客满意度、学习效果与忠诚度。

  来源：Digital Applications in Archaeology and Cultural Heritage

  时间：2026-02-23

• 基于贝叶斯传递学习与马尔可夫链蒙特卡洛方法的实验装置与工业数据动力学建模

  本文针对化工过程中不同规模数据集（如中试装置与工业装置）因各自覆盖设计空间不同而导致单一数据集难以稳健估算所有模型参数的问题，研究人员提出了一种结合贝叶斯传递学习和马尔可夫链蒙特卡洛方法的动力学模型参数拟合新策略。该方法利用贝叶斯定理和先验分布整合不同数据源信息，有效减少了参数过拟合，并通过加氢脱氮过程的案例研究，证明其能获得比传统两阶段直接搜索方法更稳健的模型，为处理复杂、异质数据源的模型开发提供了高效工具。

  来源：Digital Chemical Engineering

  时间：2026-02-23

• 数字技术为木乃伊研究服务——弗罗茨瓦夫大主教博物馆中的埃及儿童木乃伊

  古埃及儿童木乃伊经CT扫描分析，确认来自南上埃及 Kom Ombo 附近遗址（托勒密时期），年龄约8岁，保存状况良好但存在现代修复痕迹。研究揭示了传统包裹工艺及可能的病理或人为干预，并探讨了欧洲19世纪末考古背景下文物流通的历史问题。

  来源：Digital Applications in Archaeology and Cultural Heritage

  时间：2026-02-23

• Riemannian曲面乘积中的极小曲面：几何约束、拓扑限制与构造新方法

  在Riemannian几何中，探究乘积流形中的极小曲面是理解高维子流形的重要课题。本文系统研究了两个一般曲面乘积空间（Σ1×Σ2，G=g1⊕g2）中的极小曲面。作者通过几何分析与拓扑工具，给出了全测地曲面的刚性刻画，证明了负曲率条件下不存在极小2-球面，并得到了极小2-环面必为Lagrangian（对两个乘积辛结构）。此外，文章还构建了一类新的由sinh-Gordon方程解生成的1-参数族极小曲面，并得到了紧致极小曲面面积下界的精确估计。这项工作不仅丰富了乘积空间极小曲面的理论，也为相关几何和拓扑问题的研究提供了新视角。

  来源：Differential Geometry and its Applications

  时间：2026-02-23

• 利用高能球磨技术从煤尾矿中合成并表征基于二氧化硅/碳的纳米复合材料

  煤尾ings机械研磨制备纳米复合材料，优化球料比（30:1）、球径（5mm）、时间（16h），获得30-100nm纳米颗粒，孔隙直径8nm，含SiO₂和石墨，铁污染致磁性，热稳定性高。

  来源：Diamond and Related Materials

  时间：2026-02-23

知名企业招聘：