2025年第36卷第8期目录下载本期目录
局部搜索算法求解最小弱连通支配集问题李睿智，何锦涛，欧阳丹彤出版日期: 2025-08-06 (22 页)2025,36(8):3655-3676 [摘要(246)] [PDF(1501)6.75 K][HTML(126)]一种高效的求解最小负载着色问题的局部搜索算法田新亮，欧阳丹彤，周慧思，蒋璐宇，太然，张立明出版日期: 2025-08-06 (16 页)2025,36(8):3677-3692 [摘要(109)] [PDF(953)6.73 K][HTML(101)]面向天河新一代超算的大规模平行城市交通仿真何贤浩，胡逸騉，李毅晨，严宇威，吕宜生，廖清，李勇，李肯立出版日期: 2025-08-06 (16 页)2025,36(8):3693-3708 [摘要(113)] [PDF(806)6.74 K][HTML(91)]基于BERT与自编码器的概念漂移恶意软件分类优化赵浩钧，邹德清，薛文杰，吴月明，金海出版日期: 2025-08-06 (17 页)2025,36(8):3709-3725 [摘要(213)] [PDF(872)6.74 K][HTML(116)]基于有限状态机引导的网络协议模糊测试方法袁斌，任家俊，陈群锦明，张驰，邹德清，金海出版日期: 2025-08-06 (18 页)2025,36(8):3726-3743 [摘要(580)] [PDF(879)6.69 K][HTML(162)]面向代码注释生成任务的注释质量评价研究赵衔麟，潘兴禄，邹艳珍，刘陈晓，谢冰出版日期: 2025-08-06 (25 页)2025,36(8):3744-3768 [摘要(182)] [PDF(1071)6.73 K][HTML(138)]DRAMA: 更新分布感知的学习型索引郭娜，王雅琪，姜皓南，谷峪，夏秀峰出版日期: 2025-08-06 (18 页)2025,36(8):3769-3786 [摘要(183)] [PDF(2342)6.72 K][HTML(150)]面向数据稀缺场景的智能交通流量预测李云，高雅，姚枝秀，夏士超，吴广富出版日期: 2025-08-06 (15 页)2025,36(8):3787-3801 [摘要(707)] [PDF(981)6.77 K][HTML(179)]基于原生链的跨Rollup机制研究张子龙，贾林鹏，蒋硕轩，孙毅出版日期: 2025-08-06 (29 页)2025,36(8):3802-3830 [摘要(513)] [PDF(587)6.73 K][HTML(105)]可编程数据平面DDoS检测与防御机制武文浩，张磊磊，潘恒，李恩晗，周建二，李振宇出版日期: 2025-08-06 (27 页)2025,36(8):3831-3857 [摘要(142)] [PDF(825)6.72 K][HTML(111)]鲁棒的前后向隐私联合对称可搜索加密方案张文琪，李雄，尹智明，梁伟，黄可，张小松出版日期: 2025-08-06 (25 页)2025,36(8):3858-3882 [摘要(213)] [PDF(920)6.72 K][HTML(75)]加权门限SM2签名方案唐长虹，赵艳琦，杨晓艺，冯琦，禹勇出版日期: 2025-08-06 (13 页)2025,36(8):3883-3895 [摘要(221)] [PDF(889)6.73 K][HTML(87)]MTTorch: 面向MT-3000芯片和Transformer模型的PyTorch算子库实现与优化王昊天，孙羽菲，隋轶丞，王嘉豪，石昌青，方建滨，张玉志出版日期: 2025-08-06 (21 页)2025,36(8):3896-3916 [摘要(272)] [PDF(816)6.70 K][HTML(266)]
形式化方法与应用专题前言陈明帅，田聪，熊英飞出版日期: 2025-08-06 (2 页)2025,36(8):3429-3430 [摘要(211)] [PDF(341)55.09 K][HTML(117)]Fast-USYN: 从酉矩阵到高质量量子电路的快速合成谭思危，卢丽强，郎聪亮，陈明帅，尹建伟出版日期: 2025-08-06 (14 页)2025,36(8):3431-3443 [摘要(1054)] [PDF(628)6.75 K][HTML(139)]神经网络的增量验证刘宗鑫，迟智名，赵梦宇，黄承超，黄小炜，蔡少伟，张立军，杨鹏飞出版日期: 2025-08-06 (20 页)2025,36(8):3444-3461 [摘要(770)] [PDF(486)6.72 K][HTML(112)]单球驱动平衡机器人运动学和动力学形式化验证张善强，张景芝，施智平，王国辉，关永出版日期: 2025-08-06 (15 页)2025,36(8):3462-3476 [摘要(766)] [PDF(574)6.72 K][HTML(100)]基于记忆策略的元解释学习王榕，田聪，孙军，于斌，段振华出版日期: 2025-08-06 (19 页)2025,36(8):3477-3493 [摘要(768)] [PDF(507)6.71 K][HTML(122)]GhostFunc: 一种针对Rust操作系统内核的验证方法何韬，董威，文艳军出版日期: 2025-08-06 (18 页)2025,36(8):3494-3511 [摘要(641)] [PDF(479)6.75 K][HTML(85)]面向自动驾驶系统的场景建模及边缘关键场景生成杜德慧，叶振，郑成行，朱珍珍，李家蕴出版日期: 2025-08-06 (19 页)2025,36(8):3512-3530 [摘要(1204)] [PDF(674)6.73 K][HTML(226)]动态顺序统计树类结构的函数式建模及其自动化验证左正康，刘增鑫，柯雨含，游珍，王昌晶出版日期: 2025-08-06 (25 页)2025,36(8):3531-3553 [摘要(1259)] [PDF(438)6.72 K][HTML(86)]基于下推自动机的同步数据流语言可信编译于涛，王珊珊，徐芊卉，董晓晗，胡代金，罗杰，杨溢龙，吕江花，马殿富出版日期: 2025-08-06 (16 页)2025,36(8):3554-3569 [摘要(801)] [PDF(425)6.75 K][HTML(84)]操作系统内核权能访问控制的形式验证徐家乐，王淑灵，李黎明，詹博华，吕毅，代艺博，崔舍承，吴鹏，谭宇，张学军，詹乃军出版日期: 2025-08-06 (17 页)2025,36(8):3570-3586 [摘要(837)] [PDF(494)6.69 K][HTML(88)]基于混成自动机路径过滤与动态选择的CPS系统反例生成王佳宛，刘熹橦，卜磊，李宣东出版日期: 2025-08-06 (17 页)2025,36(8):3587-3603 [摘要(704)] [PDF(399)6.77 K][HTML(109)]
面向Rust语言的形式化验证方法研究综述张卓若，常瑞，杨申毅，陈芳出版日期: 2025-08-06 (34 页)2025,36(8):3604-3636 [摘要(1162)] [PDF(1499)6.74 K][HTML(282)]
因果时空语义驱动的深度强化学习抽象建模方法田丽丽，杜德慧，聂基辉，陈逸康，李荥达出版日期: 2025-08-06 (17 页)2025,36(8):3637-3654 [摘要(1273)] [PDF(652)6.72 K][HTML(148)]
