💻 计算机科学

Directed Symbolic Execution for Path Feasibility Analysis]{Directed Symbolic Execution for Path Feasibility Analysis in Software Security Testing

本文提出了一种定向符号执行方法,该方法通过自动化符号化和循环迭代限制,高效地验证过程间路径的可行性,从而在增强静态安全分析的同时,在显著提高精确度的同时保持了召回率,并在现实世界的基准测试中得到了验证。

Hovhannes Movsisyan, Hripsime Hovhannisyan, Tigran Avagyan, Hayk Aslanyan2026-10-22
💻 计算机科学

A Lightweight Convolutional Neural Network Framework for Automated Visual Classification of Maize Leaf Diseases

本研究对三种轻量级卷积神经网络(MobileNetV2、MobileNetV3-Small 和 EfficientNet-B0)在四种玉米叶片疾病自动分类中的表现进行了对比评估,结果表明 EfficientNet-B0 以 96.96% 的准确率和 99.82% 的 ROC-AUC 取得了最高性能,同时兼顾了用于潜在移动端部署的计算效率。

Kayombo Sakachiva, Jackson Phiri, Mayumbo Nyirenda2026-10-22
💻 计算机科学

From Soft to Hard Constraints in Physics-Informed Extreme Learning Machines: Analysis and Algorithms

本文提出了一种硬约束物理信息极限学习机(PIELM),该方法通过提升项将狄利克雷边界条件直接嵌入试函数中,从而消除了最小二乘系统中的结构性不平衡,实现了机器精度级的边界满足,并使相对 L² 误差较标准软约束形式降低了高达七个数量级。

Ruonan Zhai, Xiaoyuan Shi, Xiong Xiong, Zhuo Zhang, Maowei You2026-10-22
💻 计算机科学

Predicting Expert-Rated Quality of Large Language Model Responses to Orthopaedic Patient Questions Using Computational Intelligence

本研究通过专家评分评估了四个大型语言模型在骨科患者问题上的临床质量,发现其表现普遍较高且模型间无统计学显著差异,同时表明尽管在自动化质量预测方面存在局限性,但结合自然语言处理和语义特征可以弱预测专家评分的准确性。

Volkan Kızılkaya, Murat Aslanyürek, Canan Aslanyürek, Ali Levent, Mehmet Melih Asoğlu2026-10-22
💻 计算机科学

Retrieval-Augmented Generation for Taxpayer Advisory in an LMIC Setting: A Proof-of-Concept Evaluation of Statutory Legal Retrieval

本研究对一种用于中低收入国家纳税人咨询的检索增强生成框架进行了概念验证评估,证明了对国家所得税立法的语义检索在识别法定条款以支持基于事实的语言模型提示方面可以达到高准确度,同时也强调了在部署前需对生成质量和法律合规性进行进一步验证的必要性。

Omara Innocent, Okasio Emmanuel, Akello Matilda Sandra, Fred Paul Mark Jjunju, Denis Bbosa2026-10-22