高级检索

    栏目
    前  言
    董震, 杜德慧, 张民, 岳涛, 梁鹏
    2026, 63(5): 1095-1096. DOI: 10.7544/issn1000-1239.20265
    摘要 HTML全文 PDF
    基于LLM的可解释嵌入式系统需求规约方法
    王春晖, 赵佳琪, 陈小红, 金芝
    2026, 63(5): 1097-1116. DOI: 10.7544/issn1000-1239.202550898
    摘要 HTML全文 PDF
    Isabelle驱动的搜索树类算法建模及自动化验证
    左正康, 朱小影, 游珍, 王昌晶
    2026, 63(5): 1117-1138. DOI: 10.7544/issn1000-1239.202550899
    摘要 HTML全文 PDF
    自适应优先搜索树的函数式建模、验证及访问优化
    左正康, 周超, 柯雨含, 游珍, 王昌晶
    2026, 63(5): 1139-1157. DOI: 10.7544/issn1000-1239.202550901
    摘要 HTML全文 PDF
    基于成对预测的智能漏洞检测模型可信评估与分析
    朱嘉豪, 魏子超, 郭靖宜, 文明, 金海
    2026, 63(5): 1158-1176. DOI: 10.7544/issn1000-1239.202550902
    摘要 HTML全文 PDF
    针对大语言模型MCP服务器中权限使用的实证研究
    张泉, 冯诀宵, 周炽金, 姜宇
    2026, 63(5): 1177-1190. DOI: 10.7544/issn1000-1239.202550874
    摘要 HTML全文 PDF
    基于内核函数调用频率的云应用性能监测指标
    黄紫微, 姚益祁, 包云岗, 王卅
    2026, 63(5): 1191-1208. DOI: 10.7544/issn1000-1239.202440970
    摘要 HTML全文 PDF
    使用自适应缓存结构优化图计算
    贾朝阳, 陈湜, 刘京雨, 沈立
    2026, 63(5): 1209-1223. DOI: 10.7544/issn1000-1239.202550219
    摘要 HTML全文 PDF
    高效可扩展的3维快速傅里叶变换异构计算架构
    邓子为, 郭巍, 徐亚明, 王青, 张德闪, 卢圣才, 刘弢
    2026, 63(5): 1224-1237. DOI: 10.7544/issn1000-1239.202550393
    摘要 HTML全文 PDF
    BE-HB:基于块浮点的混合位宽卷积处理单元
    李东阳, 李泽洋, 唐忆滨, 刘博生, 武继刚
    2026, 63(5): 1238-1248. DOI: 10.7544/issn1000-1239.202550645
    摘要 HTML全文 PDF
    基于决策树的异构特征空间学件组装方法
    谭鹏, 周志华
    2026, 63(5): 1249-1260. DOI: 10.7544/issn1000-1239.202550460
    摘要 HTML全文 PDF
    基于大语言模型的2阶段迭代模式增强SQL生成
    张伟, 周东傲, 宫永顺, 尹义龙
    2026, 63(5): 1261-1272. DOI: 10.7544/issn1000-1239.202550355
    摘要 HTML全文 PDF
    基于记忆增强和环境解耦的视觉强化学习表征优化
    徐东红, 武世龙
    2026, 63(5): 1273-1289. DOI: 10.7544/issn1000-1239.202550320
    摘要 HTML全文 PDF
    基于拓扑先验和双分支视觉Mamba的皮肤病变分割
    耿蕾蕾, 许振熙, 纪则轩, 武思寒, 范琳伟, 刘慧
    2026, 63(5): 1290-1304. DOI: 10.7544/issn1000-1239.202550492
    摘要 HTML全文 PDF
    模型互联网:概念、现状和未来
    李哲涛, 曾曦玉, 王建辉, 肖勇, 刘忠仁, 吴俊儒, 赖俊杰, 黄纪俊, 龙赛琴
    2026, 63(5): 1305-1318. DOI: 10.7544/issn1000-1239.202550223
    摘要 HTML全文 PDF
    兼容智能合约的区块链分片技术综述
    张滋烔, 韩昊翔, 史晁铭, 闫峥, 王海光, 李铁岩
    2026, 63(5): 1319-1336. DOI: 10.7544/issn1000-1239.202550305
    摘要 HTML全文 PDF
    面向高速传感数据采集的轻量化嵌入式RDMA软件栈
    杨惠, 张毓涛, 黄曼蒂, 原玉磊, 汪清, 李韬
    2026, 63(5): 1337-1349. DOI: 10.7544/issn1000-1239.202550472
    摘要 HTML全文 PDF
    LASM:面向全程序分析的x86内嵌汇编代码自动提升
    赖远明, 王喆, 武成岗, 于丁, 侯承轩
    2026, 63(5): 1350-1375. DOI: 10.7544/issn1000-1239.202440881
    摘要 HTML全文 PDF