2024年第35卷第9期目录下载本期目录
基于胶囊异构图注意力网络的中文表格型数据事实验证杨鹏，查显宇，赵广振，林茜出版日期: 2024-09-06 (22 页)2024,35(9):4324-4345 [摘要(495)] [PDF(2004)7.45 M][HTML(851)]基于IR-UWB的睡眠状态下人体呼吸波形检测方法郭政鑫，戴余豪，桂林卿，盛碧云，肖甫出版日期: 2024-09-06 (19 页)2024,35(9):4346-4364 [摘要(882)] [PDF(2064)11.29 M][HTML(1292)]Pobe: 一种基于生成式模型的分布外文本检测方法欧阳亚文，高源，宗石，鲍宇，戴新宇出版日期: 2024-09-06 (12 页)2024,35(9):4365-4376 [摘要(723)] [PDF(2071)7.08 M][HTML(857)]属性建模与课程学习相结合的属性级情感分类方法叶静，向露，宗成庆出版日期: 2024-09-06 (13 页)2024,35(9):4377-4389 [摘要(481)] [PDF(2097)5.16 M][HTML(1070)]基于重要性采样的超图网络高效表示方法邵豪，王伦文，朱然刚，刘辉出版日期: 2024-09-06 (18 页)2024,35(9):4390-4407 [摘要(711)] [PDF(2045)7.73 M][HTML(942)]基于二部图的联合谱嵌入多视图聚类算法赵兴旺，王淑君，刘晓琳，梁吉业出版日期: 2024-09-06 (17 页)2024,35(9):4408-4424 [摘要(819)] [PDF(2106)7.42 M][HTML(970)]基于静态与动态学习需求感知的知识点推荐方法周洋涛，李青山，褚华，李佳楠，高明彪，卫彪彪出版日期: 2024-09-06 (23 页)2024,35(9):4425-4447 [摘要(915)] [PDF(2424)9.43 M][HTML(1168)]规则与概率相结合的不一致数据子集修复方法张安珍，司佳宇，梁天宇，朱睿，邱涛出版日期: 2024-09-06 (21 页)2024,35(9):4448-4468 [摘要(449)] [PDF(1867)8.56 M][HTML(1018)]面向数据库配置优化的反事实解释方法朱霄，邵心玥，张岩，王宏志出版日期: 2024-09-06 (24 页)2024,35(9):4469-4492 [摘要(593)] [PDF(1800)7.99 M][HTML(1049)]
形式化方法与应用专题前言曹钦翔，宋富，詹乃军出版日期: 2024-09-06 (2 页)2024,35(9):4011-4012 [摘要(880)] [PDF(2451)3.54 M][HTML(1437)]
关于安全案例论证构建的综述陈泽众，邓玉欣出版日期: 2024-09-06 (26 页)2024,35(9):4013-4037 [摘要(1121)] [PDF(3655)9.22 M][HTML(1653)]完备神经网络验证加速技术综述刘宗鑫，杨鹏飞，张立军，吴志林，黄小炜出版日期: 2024-09-06 (30 页)2024,35(9):4038-4068 [摘要(1471)] [PDF(3844)13.62 M][HTML(1693)]基于交互式定理证明的并发程序验证工作综述王中烨，吴姝姝，曹钦翔出版日期: 2024-09-06 (31 页)2024,35(9):4069-4099 [摘要(929)] [PDF(3722)7.23 M][HTML(1840)]
舰载机弹药保障作业调度的形式化建模与验证金钊，金璐，张博闻，吴庆顺，冯朔，李冠峰，徐明亮出版日期: 2024-09-06 (23 页)2024,35(9):4100-4122 [摘要(928)] [PDF(3612)9.27 M][HTML(1538)]基于优先级时间Petri网的实时嵌入式多核系统分析张凯文，刘关俊，孙彦韬，李晓锋，关健，解毅，顾斌出版日期: 2024-09-06 (18 页)2024,35(9):4123-4140 [摘要(581)] [PDF(2130)3.57 M][HTML(1662)]并发对象强可线性化性质的检测和验证王超，贾巧雯，吕毅，吴鹏出版日期: 2024-09-06 (18 页)2024,35(9):4141-4159 [摘要(564)] [PDF(2953)6.14 M][HTML(1290)]基于DH标定的机器人正向运动学形式化验证谢果君，杨焕焕，石正璞，陈钢出版日期: 2024-09-06 (20 页)2024,35(9):4160-4178 [摘要(636)] [PDF(3310)7.23 M][HTML(1958)]微内核操作系统互斥量模块功能正确性的形式化验证张林雁，李希萌，施智平，关永，曹钦翔，张倩颖出版日期: 2024-09-06 (15 页)2024,35(9):4179-4192 [摘要(713)] [PDF(3158)7.93 M][HTML(1296)]基于形式化方法的区块链系统漏洞检测模型陈锦富，冯乔伟，蔡赛华，施登洲，Rexford Nii Ayitey SOSU出版日期: 2024-09-06 (27 页)2024,35(9):4193-4217 [摘要(1613)] [PDF(3580)8.82 M][HTML(1571)]命令式动态规划类算法程序推导及机械化验证左正康，孙欢，王昌晶，游珍，黄箐，王唱唱出版日期: 2024-09-06 (26 页)2024,35(9):4218-4241 [摘要(458)] [PDF(2934)10.40 M][HTML(1259)]Trie+结构函数式建模、机械化验证及其应用左正康，柯雨含，黄箐，王玥坤，曾志城，王昌晶出版日期: 2024-09-06 (23 页)2024,35(9):4242-4264 [摘要(535)] [PDF(2759)8.58 M][HTML(1130)]基于MTRDL的自动飞行系统模式需求建模与验证方法徐恒，黄志球，胡军，陶传奇，王金永，石帆出版日期: 2024-09-06 (21 页)2024,35(9):4265-4286 [摘要(536)] [PDF(2939)10.56 M][HTML(1347)]基于AADL的混合关键系统随机错误与突发错误安全性分析魏晓敏，董云卫，孙聪，李兴华，马建峰出版日期: 2024-09-06 (24 页)2024,35(9):4287-4309 [摘要(607)] [PDF(2682)11.54 M][HTML(1215)]Büchi自动机确定化分析工具马润哲，田聪，王文胜，段振华出版日期: 2024-09-06 (17 页)2024,35(9):4310-4323 [摘要(615)] [PDF(2896)6.17 M][HTML(1174)]
