-
StoneDetector:适用于Java的常规且功能多样的代码克隆检测工具
代码克隆检测工具StoneDetector基于Dominator树路径编码和近似字符串匹配,有效识别高变体克隆,在性能、配置灵活性和字节码支持方面优于现有工具。
来源:Journal of Systems and Software
时间:2026-02-11
-
一种适用于不同光照条件下地形感知的视觉-触觉融合系统
本文提出基于光照条件的视觉-触觉融合系统(IVTF),通过智能轮胎和摄像头采集多模态数据,动态调整融合权重以应对不同光照和车速,实验表明其显著提升自动驾驶地形感知的鲁棒性和安全性。
来源:Journal of Systems Architecture
时间:2026-02-11
-
用于验证混合整数线性规划(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
-
综述:卫星自主性与适应性参考架构
基于系统文献综述和专家访谈,提出面向自主自适应卫星系统的参考架构,整合MAPE-K反馈循环与ECSS标准,分离应用级推理与操作级执行,并通过NIMBUS卫星验证了架构可行性。
来源:Journal of Systems and Software
时间: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
-
利用人工智能进行微服务日志分析:一项系统的文献综述
微服务架构的日志数据碎片化严重,传统监控方法难以应对海量异构日志,人工智能技术(如机器学习、图神经网络、大语言模型)在日志分析中的应用成为研究热点。本文系统综述2018-2024年间2208篇文献,筛选82篇核心研究,发现65%依赖合成/私有数据集,67%使用标准化评估基准(如Precision-Recall-F1指标),但存在数据集代表性不足、评估标准不统一、模型可扩展性差等问题,制约了AI在日志分析中的企业级应用。
来源:Journal of Systems and Software
时间:2026-02-11
-
LogGen:将传统模型和大型语言模型(LLM)与代码分析相结合,以实现精确的日志生成
日志生成框架LogGen融合传统模型与LLMs,通过代码摘要和函数级语义构建特征增强日志定位精度,并利用子组件聚类和知识库构建提升生成质量,实验验证其在Java/C++项目上F1指标提升41.6%,BLEU-4达36.2%,展现强鲁棒性。
来源:Journal of Systems and Software
时间: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
-
年龄因素很重要:分析应用评论中与年龄相关的讨论
本研究通过分析Google Play Store的4163条应用评论,探讨年龄相关讨论。发现年龄适配内容、验证系统、可用性等问题突出,并建议开发者实施灵活年龄限制和优化安全功能。
来源:Journal of Systems and Software
时间:2026-02-11
-
使用联邦式微型机器学习(federated tinyML)设计具有弹性的物联网(IoT)和边缘计算(Edge Computing)系统
物联网与边缘计算网络安全增强方法研究,通过融合TinyML和联邦学习构建三层架构DRIFT,实现设备端实时威胁检测与隐私保护下的知识共享。采用物理测试床模拟攻击场景并验证模型,结合虚拟测试床评估跨异构网络环境下的性能,实验表明该方法在N-BaIoT数据集和真实流量中提升检测准确率并降低资源消耗。
来源:Journal of Systems Architecture
时间: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