-
众人拾柴火焰高:基于大语言模型的多智能体系统用于检测恶意PyPI包
系统级并发错误自动化复现工具SysPro通过自然语言处理和数据挖掘提取系统调用名称与输入数据,结合静态分析和动态源码注入定位并复现错误。摘要:SysPro提出自动提取系统调用名称和生成输入数据的方法,利用NLP和静态分析定位代码位置,通过动态仪器实现并发错误复现,在24个真实案例中实现95.8%有效复现。
来源:Journal of Systems and Software
时间: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
-
对Go代码检查工具在实际问题上的应用效果进行实证评估
静态代码分析工具(linters)在Go语言开发中的检测能力与辅助修复效果不足,通过工业级案例验证发现主流工具存在漏检、误报及指导性差等问题,提出多工具协同使用和开发者辅助工具优化建议。
来源:Journal of Systems and Software
时间: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
-
一种基于汤普森采样的新型种子调度方案,用于覆盖引导的灰盒模糊测试
基于路径相似性的动态种子聚类与定制化Thompson抽样算法协同提升代码覆盖均衡与崩溃检测效率。
来源:Journal of Systems and Software
时间: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
-
ARFT-Transformer:用于跨项目老化相关缺陷预测的度量依赖性建模
软件系统长期运行易受软件老化影响,由老化相关bug(ARB)引发。传统跨项目ARB预测面临领域差异和数据稀缺挑战,现有方法忽略指标间关联且未有效处理类别不平衡。本文提出ARFT-Transformer框架,融合FT-Transformer的多头注意力机制捕捉指标关联,并采用Focal Loss解决类别不平衡问题,在三个大规模开源项目验证中显著提升预测性能。
来源:Journal of Systems and Software
时间:2026-02-11
-
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