2024年第35卷第9期目录下载本期目录
基于胶囊异构图注意力网络的中文表格型数据事实验证杨鹏，查显宇，赵广振，林茜出版日期: 2024-09-06 (22 页)2024,35(9):4324-4345 [摘要(392)] [PDF(1485)7.45 M][HTML(235)]基于IR-UWB的睡眠状态下人体呼吸波形检测方法郭政鑫，戴余豪，桂林卿，盛碧云，肖甫出版日期: 2024-09-06 (19 页)2024,35(9):4346-4364 [摘要(627)] [PDF(1586)11.29 M][HTML(357)]Pobe: 一种基于生成式模型的分布外文本检测方法欧阳亚文，高源，宗石，鲍宇，戴新宇出版日期: 2024-09-06 (12 页)2024,35(9):4365-4376 [摘要(556)] [PDF(1578)7.08 M][HTML(244)]属性建模与课程学习相结合的属性级情感分类方法叶静，向露，宗成庆出版日期: 2024-09-06 (13 页)2024,35(9):4377-4389 [摘要(372)] [PDF(1557)5.16 M][HTML(230)]基于重要性采样的超图网络高效表示方法邵豪，王伦文，朱然刚，刘辉出版日期: 2024-09-06 (18 页)2024,35(9):4390-4407 [摘要(504)] [PDF(1496)7.73 M][HTML(231)]基于二部图的联合谱嵌入多视图聚类算法赵兴旺，王淑君，刘晓琳，梁吉业出版日期: 2024-09-06 (17 页)2024,35(9):4408-4424 [摘要(539)] [PDF(1412)7.42 M][HTML(269)]基于静态与动态学习需求感知的知识点推荐方法周洋涛，李青山，褚华，李佳楠，高明彪，卫彪彪出版日期: 2024-09-06 (23 页)2024,35(9):4425-4447 [摘要(652)] [PDF(1867)9.43 M][HTML(227)]规则与概率相结合的不一致数据子集修复方法张安珍，司佳宇，梁天宇，朱睿，邱涛出版日期: 2024-09-06 (21 页)2024,35(9):4448-4468 [摘要(346)] [PDF(1394)8.56 M][HTML(287)]面向数据库配置优化的反事实解释方法朱霄，邵心玥，张岩，王宏志出版日期: 2024-09-06 (24 页)2024,35(9):4469-4492 [摘要(463)] [PDF(1327)7.99 M][HTML(275)]
形式化方法与应用专题前言曹钦翔，宋富，詹乃军出版日期: 2024-09-06 (2 页)2024,35(9):4011-4012 [摘要(569)] [PDF(1206)3.54 M][HTML(558)]
关于安全案例论证构建的综述陈泽众，邓玉欣出版日期: 2024-09-06 (26 页)2024,35(9):4013-4037 [摘要(831)] [PDF(2219)9.22 M][HTML(571)]完备神经网络验证加速技术综述刘宗鑫，杨鹏飞，张立军，吴志林，黄小炜出版日期: 2024-09-06 (30 页)2024,35(9):4038-4068 [摘要(806)] [PDF(2320)13.62 M][HTML(611)]基于交互式定理证明的并发程序验证工作综述王中烨，吴姝姝，曹钦翔出版日期: 2024-09-06 (31 页)2024,35(9):4069-4099 [摘要(626)] [PDF(2232)7.23 M][HTML(534)]
舰载机弹药保障作业调度的形式化建模与验证金钊，金璐，张博闻，吴庆顺，冯朔，李冠峰，徐明亮出版日期: 2024-09-06 (23 页)2024,35(9):4100-4122 [摘要(626)] [PDF(2239)9.27 M][HTML(547)]基于优先级时间Petri网的实时嵌入式多核系统分析张凯文，刘关俊，孙彦韬，李晓锋，关健，解毅，顾斌出版日期: 2024-09-06 (18 页)2024,35(9):4123-4140 [摘要(412)] [PDF(748)3.57 M][HTML(563)]并发对象强可线性化性质的检测和验证王超，贾巧雯，吕毅，吴鹏出版日期: 2024-09-06 (18 页)2024,35(9):4141-4159 [摘要(434)] [PDF(1652)6.14 M][HTML(492)]基于DH标定的机器人正向运动学形式化验证谢果君，杨焕焕，石正璞，陈钢出版日期: 2024-09-06 (20 页)2024,35(9):4160-4178 [摘要(397)] [PDF(1870)7.23 M][HTML(462)]微内核操作系统互斥量模块功能正确性的形式化验证张林雁，李希萌，施智平，关永，曹钦翔，张倩颖出版日期: 2024-09-06 (15 页)2024,35(9):4179-4192 [摘要(461)] [PDF(1824)7.93 M][HTML(357)]基于形式化方法的区块链系统漏洞检测模型陈锦富，冯乔伟，蔡赛华，施登洲，Rexford Nii Ayitey SOSU出版日期: 2024-09-06 (27 页)2024,35(9):4193-4217 [摘要(720)] [PDF(2199)8.82 M][HTML(409)]命令式动态规划类算法程序推导及机械化验证左正康，孙欢，王昌晶，游珍，黄箐，王唱唱出版日期: 2024-09-06 (26 页)2024,35(9):4218-4241 [摘要(317)] [PDF(1638)10.40 M][HTML(406)]Trie+结构函数式建模、机械化验证及其应用左正康，柯雨含，黄箐，王玥坤，曾志城，王昌晶出版日期: 2024-09-06 (23 页)2024,35(9):4242-4264 [摘要(402)] [PDF(1492)8.58 M][HTML(368)]基于MTRDL的自动飞行系统模式需求建模与验证方法徐恒，黄志球，胡军，陶传奇，王金永，石帆出版日期: 2024-09-06 (21 页)2024,35(9):4265-4286 [摘要(377)] [PDF(1688)10.56 M][HTML(366)]基于AADL的混合关键系统随机错误与突发错误安全性分析魏晓敏，董云卫，孙聪，李兴华，马建峰出版日期: 2024-09-06 (24 页)2024,35(9):4287-4309 [摘要(400)] [PDF(1443)11.54 M][HTML(365)]Büchi自动机确定化分析工具马润哲，田聪，王文胜，段振华出版日期: 2024-09-06 (17 页)2024,35(9):4310-4323 [摘要(433)] [PDF(1637)6.17 M][HTML(351)]
