-
用于验证混合整数线性规划(MILP)证书的模理论满足性检验
本文提出对混合整数线性规划(MILP)求解器输出的VIPR 1.0证书进行形式化验证,通过设计地面公式消除原有规格中的歧义和模糊性,并利用Why3逻辑框架和SMT-LIB库实现验证器。该验证器独立于求解器,经文献基准测试验证有效,同时揭示VIPR证书中依赖求解器行为的潜在问题。
来源:Journal of Symbolic Computation
时间:2026-02-11
-
由于分离平面的不断前移,喜马拉雅山前缘地区存在活跃的构造活动
本研究通过遥感、数字高程模型和地表雷达(GPR)、磁层测深(MT)及先进差分干涉合成孔径雷达(DInSAR)等多学科方法,揭示了喜马拉雅西北前陆地区两组近南北向长距离断裂及地下构造特征,证实了喜马拉雅前陆活动构造与深层 detachment 平面的动力学联系。首次在喜马拉雅前陆冲积平原识别出地表可见的逆冲断层,并发现沿 piedmont 断裂向南逆冲的蠕变运动。摘要:
来源:Tectonophysics
时间:2026-02-11
-
综述:区块链驱动的能源行业去中心化:迈向韧性、效率和公平的道路
区块链技术在能源管理中的应用研究:通过分析全球案例,发现区块链可提升能源交易透明度、降低供应链成本15-25%、缩短结算时间至1-5秒,但面临监管不确定性和可扩展性挑战。
来源:Sustainable Energy Technologies and Assessments
时间:2026-02-11
-
采用氧化锆纳米颗粒增强的超疏水PVDF-HFP/PMHS膜,用于膜蒸馏
膜蒸馏技术中通过复合电纺和电喷雾处理制备了具有超疏水性和抗污染特性的纳米纤维膜,采用PVDF-HFP/PMHS基体结合氟硅烷修饰的ZrO₂纳米颗粒,实现了158°接触角、80%孔隙率和>99.5%盐 rejection,有效解决了膜污染和湿ting问题。
来源:Surfaces and Interfaces
时间:2026-02-11
-
基于C₂₄N₂₄的单原子催化剂的氢气释放活性:来自第一性原理计算和可解释机器学习的见解
单原子催化剂C24N24支撑体系稳定性与酸性HER性能研究,通过第一性原理计算筛选出In-, Si-, Ge-, Bi-C24N24为热力学稳定体系,其中Ge-C24N24在酸性介质下吸附自由能ΔGH*最优(-0.14 eV),但碱性HER动力学活化能均超1.8 eV,机器学习揭示金属电荷、电负性等关键参数调控活性。
来源:Surface Science
时间:2026-02-11
-
综述:利用多源数据进行分心驾驶识别的深度学习:一项全面综述
分心驾驶检测的深度学习方法综述系统分析了CNN、RNN、Transformer等架构在多模态数据融合中的效能,发现结合注意力机制的混合模型精度达99.8%,但存在模态失败和部署挑战。
来源:Journal of Systems Architecture
时间:2026-02-11
-
在各向同性湍流中强非稳态转变过程中的无量纲耗散
非平衡湍流中推导了耗散率指数p的精确数学表达式,经典耗散定律被新耗散标度律取代,该表达式在高雷诺数下简化为包含纵向积分尺度L110和有效激励波数α的关系式p=3π/(4αL110)−5/2,表明大尺度效应主导非平衡耗散。结果与直接数值模拟及实验数据一致。
来源:Journal of Fluid Mechanics
时间:2026-02-11
-
综述:关于可用于衡量产科暴力的现有量表和工具的综述
产科暴力评估工具的系统综述,通过文献检索发现25种工具存在方法学质量与心理测量属性不足,需加强统一定义、工具开发及跨文化验证。
来源:Journal of Advanced Nursing
时间:2026-02-11
-
CGI-SRAM:一种内存单元,具有数据感知写入功能(无需位线),以及内部读取特性,适用于节能型位级逻辑运算(在内存中执行)
基于Gnr-GDI SRAM的内存计算架构设计及其性能验证
来源:Sustainable Computing: Informatics and Systems
时间:2026-02-11
-
超越单一领域感知:通过调整氧化铟锡薄膜的结晶度来提升其光学和电化学性能
氧化铟锡薄膜通过热退火调控晶格结构,实现光电子与电化学双域协同增强,提出晶粒尺寸与载流子浓度优化策略,解决传统双域传感中性能权衡问题,应用于高灵敏度无标记生物传感。
来源:Surfaces and Interfaces
时间:2026-02-11
-
一种针对异构人工智能加速器上高性能SIMV操作的、能适应架构变化的优化策略
华为Ascend A2异构计算中对称矩阵向量乘法优化研究,提出架构自适应映射策略,通过三阶段软件流水线实现跨引擎执行重叠,结合对称感知遍历和转置无关对角块策略降低数据访问开销,在Ascend A2上实现1.3-1.6倍加速,并与A100、MI210平台库进行对比。
来源:Journal of Systems Architecture
时间:2026-02-11
-
调节基于芘-苯并噻二唑/TTF的共价有机框架电极在双离子电池中的氧化还原行为
本研究开发新型二维PyTTF-COF材料,通过n型PyBT与p型TTF亚胺键连接,实现16e−双离子可逆存储。Li离子半电池测试表明,LiTFSI电解质较LiPF6提升离子传输动力学,容量分别为286和184 mAh/g,揭示阴离子种类和电解质浓度对双离子电池性能的关键影响。
来源:Angewandte Chemie
时间:2026-02-11
-
解锁生物质利用方式的多样性及其生命周期中的碳影响,以实现中国的碳中和
风-光制氢制甲醇系统通过全年度高分辨率实际数据与双层优化框架,显著提升经济性,实现年净利润1790万元,弃风率9.51%,综合电价降至0.16元/kWh,验证技术经济可行性。
来源:Sustainable Energy Technologies and Assessments
时间:2026-02-11
-
综述:Ti₃C₂ MXene–聚合物纳米复合材料在防腐蚀和抗生物污损中的应用:合成策略、作用机理及未来发展方向
MXene-polymer纳米复合材料通过表面修饰和异原子掺杂显著提升抗腐蚀与生物污垢性能,较传统涂层降低腐蚀电流密度10⁻³级,阻抗模量达10⁷–10⁹Ω·cm²,防护效率达90–99%。研究对比了HF蚀刻、电化学合成等制备工艺的环境影响,提出溶液共混、逐层组装及3D打印等均匀分散策略,同时探讨MXene氧化稳定性及规模化生产挑战。
来源:Surfaces and Interfaces
时间:2026-02-11
-
疏水性二氧化硅气凝胶颗粒和粉末的润湿性
气凝胶润湿性表征方法优化及多维度验证研究。采用Wilhelmy板法、XCT、DVS和IGC方法提升传统goniometry测量精度,揭示粉末床不规则性和超疏水性导致的接触角测量误差。通过动态蒸汽吸附和逆气相色谱分析,证实不同工艺气凝胶表面能差异显著。研究提出标准化测量流程及误差修正模型,为工业应用提供可靠参数。
来源:Surfaces and Interfaces
时间:2026-02-11
-
用于比较具有二元结果的处理组对的Max–min实验设计
本文提出基于权力的max–min方法优化具有二元响应的实验组分配,解决多组治疗比较问题。研究显示该方法与正态响应情况下的设计不同,并验证其在模拟和真实数据中的有效性。
来源:Journal of Statistical Planning and Inference
时间:2026-02-11
-
当员工接触到生成式人工智能时:人工智能态度对创造力的双重影响
生成式AI态度通过角色认知与构建对员工创造力产生双重影响,创意自我效能缓冲负面效应并强化正向效应。研究采用多波调查和文本分析验证机制,拓展角色理论在AI场景的应用。
来源:Technovation
时间:2026-02-11
-
基于模糊逻辑的智能实时控制系统用于蒸发冷却系统,以提高建筑物的能源效率和热舒适度:通过信息物理系统进行实验验证
本文设计并实现了一种基于离散和模糊逻辑的自适应CPS系统,用于实时调节直接蒸发式冷却器温度。实验表明,自适应控制较离散控制每日节省27-40%风扇能耗,同时保持冷却效果(0.60-0.67),维持室温接近28°C,验证了其在HVAC系统中的实际潜力。
来源:Sustainable Energy Technologies and Assessments
时间:2026-02-11
-
调整喷雾热解ZnO–RuO₂复合薄膜的表面形态和相变过程,以提升其光学和电学性能
ZnO–RuO₂复合材料通过喷雾热解法在300±10°C下制备,研究不同Zn/Ru原子比例(100/0, 99/1, 96/4, 92/8)对材料结构、形貌及性能的影响。结果表明RuO₂的引入显著改变表面能及生长动力学,导致形貌从球形颗粒与微纤维分散结构逐步演变为完全覆盖的微纤维、花状纳米片和RuO₂主导的层状纳米片。结构分析显示随Ru含量增加,相组成从纯wurtzite ZnO过渡到多相系统,氧空位浓度增加。光电性能优化方面,8% Ru掺杂样品带隙降至3.09 eV,电导率降低至2.05×10⁻³ Ω·cm。
来源:Surfaces and Interfaces
时间:2026-02-11
-
大气等离子喷涂纳米TiO₂涂层的微观结构异质性及其协同强化机制
大气等离子喷涂纳米-TiO₂涂层通过异质微观结构提升钛合金表面强化性能,研究对比了纳米-团聚(n-TiO₂)、微米-团聚(m-TiO₂)和熔融粉碎(f-TiO₂)粉末的APS涂层特性,发现n-TiO₂涂层硬度1030 HV₀·₃、断裂韧性3.23 MPa·m¹/²、结合强度46.47 MPa,分别较m-TiO₂和f-TiO₂提升45.18%和33.85%。
来源:Surface and Coatings Technology
时间:2026-02-11