2024年第35卷第9期目录下载本期目录
基于胶囊异构图注意力网络的中文表格型数据事实验证杨鹏，查显宇，赵广振，林茜出版日期: 2024-09-06 (22 页)2024,35(9):4324-4345 [摘要(628)] [PDF(2308)7.45 M][HTML(1017)]基于IR-UWB的睡眠状态下人体呼吸波形检测方法郭政鑫，戴余豪，桂林卿，盛碧云，肖甫出版日期: 2024-09-06 (19 页)2024,35(9):4346-4364 [摘要(1113)] [PDF(2355)11.29 M][HTML(1669)]Pobe: 一种基于生成式模型的分布外文本检测方法欧阳亚文，高源，宗石，鲍宇，戴新宇出版日期: 2024-09-06 (12 页)2024,35(9):4365-4376 [摘要(905)] [PDF(2416)7.08 M][HTML(986)]属性建模与课程学习相结合的属性级情感分类方法叶静，向露，宗成庆出版日期: 2024-09-06 (13 页)2024,35(9):4377-4389 [摘要(640)] [PDF(2357)5.16 M][HTML(1286)]基于重要性采样的超图网络高效表示方法邵豪，王伦文，朱然刚，刘辉出版日期: 2024-09-06 (18 页)2024,35(9):4390-4407 [摘要(842)] [PDF(2339)7.73 M][HTML(1117)]基于二部图的联合谱嵌入多视图聚类算法赵兴旺，王淑君，刘晓琳，梁吉业出版日期: 2024-09-06 (17 页)2024,35(9):4408-4424 [摘要(987)] [PDF(2412)7.42 M][HTML(1340)]基于静态与动态学习需求感知的知识点推荐方法周洋涛，李青山，褚华，李佳楠，高明彪，卫彪彪出版日期: 2024-09-06 (23 页)2024,35(9):4425-4447 [摘要(1068)] [PDF(2743)9.43 M][HTML(1532)]规则与概率相结合的不一致数据子集修复方法张安珍，司佳宇，梁天宇，朱睿，邱涛出版日期: 2024-09-06 (21 页)2024,35(9):4448-4468 [摘要(565)] [PDF(2167)8.56 M][HTML(1229)]面向数据库配置优化的反事实解释方法朱霄，邵心玥，张岩，王宏志出版日期: 2024-09-06 (24 页)2024,35(9):4469-4492 [摘要(783)] [PDF(2095)7.99 M][HTML(1228)]
形式化方法与应用专题前言曹钦翔，宋富，詹乃军出版日期: 2024-09-06 (2 页)2024,35(9):4011-4012 [摘要(1264)] [PDF(2836)3.54 M][HTML(1624)]
关于安全案例论证构建的综述陈泽众，邓玉欣出版日期: 2024-09-06 (26 页)2024,35(9):4013-4037 [摘要(1351)] [PDF(4111)9.22 M][HTML(1913)]完备神经网络验证加速技术综述刘宗鑫，杨鹏飞，张立军，吴志林，黄小炜出版日期: 2024-09-06 (30 页)2024,35(9):4038-4068 [摘要(1672)] [PDF(4267)13.62 M][HTML(2029)]基于交互式定理证明的并发程序验证工作综述王中烨，吴姝姝，曹钦翔出版日期: 2024-09-06 (31 页)2024,35(9):4069-4099 [摘要(1218)] [PDF(4172)7.23 M][HTML(2119)]
舰载机弹药保障作业调度的形式化建模与验证金钊，金璐，张博闻，吴庆顺，冯朔，李冠峰，徐明亮出版日期: 2024-09-06 (23 页)2024,35(9):4100-4122 [摘要(1184)] [PDF(4098)9.27 M][HTML(1798)]基于优先级时间Petri网的实时嵌入式多核系统分析张凯文，刘关俊，孙彦韬，李晓锋，关健，解毅，顾斌出版日期: 2024-09-06 (18 页)2024,35(9):4123-4140 [摘要(799)] [PDF(2572)3.57 M][HTML(1990)]并发对象强可线性化性质的检测和验证王超，贾巧雯，吕毅，吴鹏出版日期: 2024-09-06 (18 页)2024,35(9):4141-4159 [摘要(731)] [PDF(3338)6.14 M][HTML(1470)]基于DH标定的机器人正向运动学形式化验证谢果君，杨焕焕，石正璞，陈钢出版日期: 2024-09-06 (20 页)2024,35(9):4160-4178 [摘要(780)] [PDF(3763)7.23 M][HTML(2430)]微内核操作系统互斥量模块功能正确性的形式化验证张林雁，李希萌，施智平，关永，曹钦翔，张倩颖出版日期: 2024-09-06 (15 页)2024,35(9):4179-4192 [摘要(915)] [PDF(3615)7.93 M][HTML(1515)]基于形式化方法的区块链系统漏洞检测模型陈锦富，冯乔伟，蔡赛华，施登洲，Rexford Nii Ayitey SOSU出版日期: 2024-09-06 (27 页)2024,35(9):4193-4217 [摘要(1836)] [PDF(4112)8.82 M][HTML(2019)]命令式动态规划类算法程序推导及机械化验证左正康，孙欢，王昌晶，游珍，黄箐，王唱唱出版日期: 2024-09-06 (26 页)2024,35(9):4218-4241 [摘要(632)] [PDF(3411)10.40 M][HTML(1477)]Trie+结构函数式建模、机械化验证及其应用左正康，柯雨含，黄箐，王玥坤，曾志城，王昌晶出版日期: 2024-09-06 (23 页)2024,35(9):4242-4264 [摘要(703)] [PDF(3169)8.58 M][HTML(1315)]基于MTRDL的自动飞行系统模式需求建模与验证方法徐恒，黄志球，胡军，陶传奇，王金永，石帆出版日期: 2024-09-06 (21 页)2024,35(9):4265-4286 [摘要(703)] [PDF(3412)10.56 M][HTML(1567)]基于AADL的混合关键系统随机错误与突发错误安全性分析魏晓敏，董云卫，孙聪，李兴华，马建峰出版日期: 2024-09-06 (24 页)2024,35(9):4287-4309 [摘要(853)] [PDF(3174)11.54 M][HTML(1484)]Büchi自动机确定化分析工具马润哲，田聪，王文胜，段振华出版日期: 2024-09-06 (17 页)2024,35(9):4310-4323 [摘要(818)] [PDF(3299)6.17 M][HTML(1411)]
