| |
2025年第36卷第8期目录
本期目录 | | | 局部搜索算法求解最小弱连通支配集问题 | | | 李睿智，何锦涛，欧阳丹彤 | | | 出版日期: 2025-08-06 (22 页) | | | 2025,36(8):3655-3676 | | | [摘要](985) [PDF 6.75 K](2327) | | | 一种高效的求解最小负载着色问题的局部搜索算法 | | | 田新亮，欧阳丹彤，周慧思，蒋璐宇，太然，张立明 | | | 出版日期: 2025-08-06 (16 页) | | | 2025,36(8):3677-3692 | | | [摘要](753) [PDF 6.73 K](1909) | | | 面向天河新一代超算的大规模平行城市交通仿真 | | | 何贤浩，胡逸騉，李毅晨，严宇威，吕宜生，廖清，李勇，李肯立 | | | 出版日期: 2025-08-06 (16 页) | | | 2025,36(8):3693-3708 | | | [摘要](834) [PDF 6.74 K](1637) | | | 基于BERT与自编码器的概念漂移恶意软件分类优化 | | | 赵浩钧，邹德清，薛文杰，吴月明，金海 | | | 出版日期: 2025-08-06 (17 页) | | | 2025,36(8):3709-3725 | | | [摘要](1055) [PDF 6.74 K](1818) | | | 基于有限状态机引导的网络协议模糊测试方法 | | | 袁斌，任家俊，陈群锦明，张驰，邹德清，金海 | | | 出版日期: 2025-08-06 (18 页) | | | 2025,36(8):3726-3743 | | | [摘要](1292) [PDF 6.69 K](1885) | | | 面向代码注释生成任务的注释质量评价研究 | | | 赵衔麟，潘兴禄，邹艳珍，刘陈晓，谢冰 | | | 出版日期: 2025-08-06 (25 页) | | | 2025,36(8):3744-3768 | | | [摘要](1018) [PDF 6.73 K](2101) | | | DRAMA: 更新分布感知的学习型索引 | | | 郭娜，王雅琪，姜皓南，谷峪，夏秀峰 | | | 出版日期: 2025-08-06 (18 页) | | | 2025,36(8):3769-3786 | | | [摘要](1018) [PDF 6.72 K](3280) | | | 面向数据稀缺场景的智能交通流量预测 | | | 李云，高雅，姚枝秀，夏士超，吴广富 | | | 出版日期: 2025-08-06 (15 页) | | | 2025,36(8):3787-3801 | | | [摘要](1805) [PDF 6.77 K](2014) | | | 基于原生链的跨Rollup机制研究 | | | 张子龙，贾林鹏，蒋硕轩，孙毅 | | | 出版日期: 2025-08-06 (29 页) | | | 2025,36(8):3802-3830 | | | [摘要](1144) [PDF 6.73 K](1811) | | | 可编程数据平面DDoS检测与防御机制 | | | 武文浩，张磊磊，潘恒，李恩晗，周建二，李振宇 | | | 出版日期: 2025-08-06 (27 页) | | | 2025,36(8):3831-3857 | | | [摘要](884) [PDF 6.72 K](1726) | | | 鲁棒的前后向隐私联合对称可搜索加密方案 | | | 张文琪，李雄，尹智明，梁伟，黄可，张小松 | | | 出版日期: 2025-08-06 (25 页) | | | 2025,36(8):3858-3882 | | | [摘要](965) [PDF 6.72 K](1887) | | | 加权门限SM2签名方案 | | | 唐长虹，赵艳琦，杨晓艺，冯琦，禹勇 | | | 出版日期: 2025-08-06 (13 页) | | | 2025,36(8):3883-3895 | | | [摘要](994) [PDF 6.73 K](1788) | | | MTTorch: 面向MT-3000芯片和Transformer模型的PyTorch算子库实现与优化 | | | 王昊天，孙羽菲，隋轶丞，王嘉豪，石昌青，方建滨，张玉志 | | | 出版日期: 2025-08-06 (21 页) | | | 2025,36(8):3896-3916 | | | [摘要](1172) [PDF 6.70 K](1851) | |
专刊文章 | | | 形式化方法与应用专题前言 | | | 陈明帅，田聪，熊英飞 | | | 出版日期: 2025-08-06 (2 页) | | | 2025,36(8):3429-3430 | | | [摘要](914) [PDF 55.09 K](1387) | | | Fast-USYN: 从酉矩阵到高质量量子电路的快速合成 | | | 谭思危，卢丽强，郎聪亮，陈明帅，尹建伟 | | | 出版日期: 2025-08-06 (14 页) | | | 2025,36(8):3431-3443 | | | [摘要](1858) [PDF 6.75 K](1723) | | | 神经网络的增量验证 | | | 刘宗鑫，迟智名，赵梦宇，黄承超，黄小炜，蔡少伟，张立军，杨鹏飞 | | | 出版日期: 2025-08-06 (20 页) | | | 2025,36(8):3444-3461 | | | [摘要](1743) [PDF 6.72 K](1620) | | | 单球驱动平衡机器人运动学和动力学形式化验证 | | | 张善强，张景芝，施智平，王国辉，关永 | | | 出版日期: 2025-08-06 (15 页) | | | 2025,36(8):3462-3476 | | | [摘要](1476) [PDF 6.72 K](1749) | | | 基于记忆策略的元解释学习 | | | 王榕，田聪，孙军，于斌，段振华 | | | 出版日期: 2025-08-06 (19 页) | | | 2025,36(8):3477-3493 | | | [摘要](1643) [PDF 6.71 K](1861) | | | GhostFunc: 一种针对Rust操作系统内核的验证方法 | | | 何韬，董威，文艳军 | | | 出版日期: 2025-08-06 (18 页) | | | 2025,36(8):3494-3511 | | | [摘要](1565) [PDF 6.75 K](1610) | | | 面向自动驾驶系统的场景建模及边缘关键场景生成 | | | 杜德慧，叶振，郑成行，朱珍珍，李家蕴 | | | 出版日期: 2025-08-06 (19 页) | | | 2025,36(8):3512-3530 | | | [摘要](3381) [PDF 6.73 K](1874) | | | 动态顺序统计树类结构的函数式建模及其自动化验证 | | | 左正康，刘增鑫，柯雨含，游珍，王昌晶 | | | 出版日期: 2025-08-06 (25 页) | | | 2025,36(8):3531-3553 | | | [摘要](2078) [PDF 6.72 K](1586) | | | 基于下推自动机的同步数据流语言可信编译 | | | 于涛，王珊珊，徐芊卉，董晓晗，胡代金，罗杰，杨溢龙，吕江花，马殿富 | | | 出版日期: 2025-08-06 (16 页) | | | 2025,36(8):3554-3569 | | | [摘要](1617) [PDF 6.75 K](1622) | | | 操作系统内核权能访问控制的形式验证 | | | 徐家乐，王淑灵，李黎明，詹博华，吕毅，代艺博，崔舍承，吴鹏，谭宇，张学军，詹乃军 | | | 出版日期: 2025-08-06 (17 页) | | | 2025,36(8):3570-3586 | | | [摘要](1687) [PDF 6.69 K](1663) | | | 基于混成自动机路径过滤与动态选择的CPS系统反例生成 | | | 王佳宛，刘熹橦，卜磊，李宣东 | | | 出版日期: 2025-08-06 (17 页) | | | 2025,36(8):3587-3603 | | | [摘要](1550) [PDF 6.77 K](1431) | |
综述文章 专刊文章
|
