软件学报2023年08期
- 约束求解与定理证明专题
- 约束求解与定理证明专题前言蔡少伟;陈振邦;王戟;詹博华;赵永望;
- 基于不可满足核的近似逼近可达性分析于忠祺;张小禹;李建文;
- GC-MCR:有向图约束指导的并发缺陷检测方法李硕川;王赞;马明旭;陈翔;赵英全;王海弛;王昊宇;
- 基于精化的TrustZone多安全分区建模与形式化验证曾凡浪;常瑞;许浩;潘少平;赵永望;
- L4虚拟内存子系统的形式化验证章乐平;赵永望;王布阳;李悦欣;冯潇潇;
- 针对教学场景的ZFC集合论Coq形式化万新熠;徐轲;曹钦翔;
- 强表达描述逻辑本体的后继式公理定位研究李静;欧阳丹彤;叶育鑫;
- 系统软件与软件工程
- 基于核外计算的Datalog引擎设计与实现张奕裕;王归航;左志强;李宣东;
- 用户特征请求分析与处理研究综述牛菲菲;李传艺;葛季栋;骆斌;
- 可信执行环境访问控制建模与安全性分析苗新亮;常瑞;潘少平;赵永望;蒋烈辉;
- Streett自动机确定化工具王文胜;田聪;段振华;
- 基于非交互式Petri网的异步程序验证模型和方法吴志文;李国强;
- 基于函数式语义的循环和递归程序结构通用证明技术李希萌;王国辉;张倩颖;施智平;关永;
- 一个切换认证的5G鉴权协议及其形式化分析刘逸冰;周刚;
- 基于Petri网展开的多线程程序数据竞争检测与重演鲁法明;黄莹;曾庆田;包云霞;唐梦凡;
- 基于Capstone和流敏感混合执行的自动化反混淆技术鲁辉;郭润生;金成杰;何陆潇涵;王兴伟;田志宏;
- 模式识别与人工智能
- 反射剖面精确拟合的次表面散射计算方法梁仕宇;高阳;丛宇;郝爱民;
- 人工智能系统可信性度量评估研究综述刘晗;李凯旋;陈仪香;
- 电动自行车轨迹简化与自适应地图匹配算法王东京;刘继涛;俞东进;
- 显式知识推理和深度强化学习结合的动态决策张昊迪;陈振浩;陈俊扬;周熠;连德富;伍楷舜;林方真;
- 基于贝叶斯网络构建RoboSim模型的自动驾驶行为决策陈洁娜;张铭茁;杜德慧;李博;聂基辉;任婧瑶;
- 基于K framework的向量化机器学习指令语义形式化黄厚华;刘嘉祥;施晓牧;
- 计算机网络与信息安全
- 带内网络遥测方法综述吕鸿润;李清;沈耿彪;周建二;江勇;李伟超;刘凯;齐竹云;
- 对一种白盒SM4方案的差分计算分析原梓清;陈杰;
- 计算机图形学与计算机辅助设计
- 基于深度学习的事件抽取研究综述王浩畅;周郴莲;Marius Gabriel PETRESCU;
- 计算机体系结构
- 基于流特征的数据中心非对称流负载均衡方法陈中卿;李丹丹;闪德胜;钱叶魁;谢坤;黄小红;丛群;
-
- 图像对抗样本检测综述周涛;甘燃;徐东伟;王竟亦;宣琦;
- 面向链接预测的知识图谱表示学习方法综述杜雪盈;刘名威;沈立炜;彭鑫;
- 结合SVM与XGBoost的链式多路径覆盖测试用例生成钱忠胜;俞情媛;张丁;姚昌森;秦朗悦;成轶伟;
- 智能数据可视分析技术综述骆昱宇;秦雪迪;谢宇鹏;李国良;
- 支持批量证明的SM2适配器签名及其分布式扩展涂彬彬;陈宇;
- 常识问答研究综述范怡帆;邹博伟;徐庆婷;李志峰;洪宇;
- 融合自适应周期与兴趣量因子的轻量级GCN推荐钱忠胜;叶祖铼;姚昌森;张丁;黄恒;秦朗悦;
- 支持混合事务和分析处理的数据库管理系统综述王嵩立;荆一楠;何震瀛;张凯;王晓阳;
- 高清几何缓存多尺度特征融合的渲染超分方法张浩南;过洁;覃浩宇;傅锡豪;郭延文;
- SMTLOC:基于多源频谱的SMT求解器缺陷定位王笑爽;周志德;李晓晨;江贺;任志磊;
- 基于多标签学习的代码评审意见质量评价杨岚心;张贺;徐近伟;张逸凡;王梓宽;周鑫;李京悦;荣国平;
- 传输控制中的确认机制研究李彤;郑凯;徐恪;
- 基于模型后门的联邦学习水印李璇;邓天鹏;熊金波;金彪;林劼;
- 基于指针神经网络的细粒度缺陷定位王尚文;刘逵;林博;黎立;KLEINJacques;BISSYANDé Tegawendé Fran?ois;毛晓光;
- 面向超图数据的最大独立集算法徐兰天;李荣华;戴永恒;王国仁;
- 中文医疗文本中的嵌套实体识别方法闫璟辉;宗成庆;徐金安;
- 基于SM2数字签名的匿名凭证协议赵艳琦;杨晓艺;冯琦;禹勇;
- 完备的IBE逆向防火墙构造方法赵一;刘行;明洋;杨波;
- 面向合同信息抽取的动态多任务学习方法王浩畅;郑冠彧;赵铁军;
- 基于掩码语言模型的中文BERT攻击方法张云婷;叶麟;唐浩林;张宏莉;李尚;
- 图知识蒸馏综述:算法分类与应用分析刘静;郑铜亚;郝沁汾;
- 开源软件漏洞感知技术综述詹奇;潘圣益;胡星;鲍凌峰;夏鑫;
- 联合深度森林与异质集成的标记分布学习方法王艺霏;祝继华;刘新媛;周熠炀;
- 基于生成对抗网络的目标检测黑盒迁移攻击算法陆宇轩;刘泽禹;罗咏刚;邓森友;江天;马金燕;董胤蓬;
- 网络重要流检测方法综述钱昊;郑嘉琦;陈贵海;
- 轻量级链式验证的网络传输层安全性增强方法冯学伟;徐恪;李琦;杨宇翔;朱敏;付松涛;
- 基于胶囊异构图注意力网络的中文表格型数据事实验证杨鹏;查显宇;赵广振;林茜;
- 云原生数据库综述董昊文;张超;李国良;冯建华;
- 大模型:基于自然交互的人机协同软件开发与演化工具带来的挑战李戈;彭鑫;王千祥;谢涛;金芝;王戟;马晓星;李宣东;
- 基于eBPF的内核堆漏洞动态缓解机制王子成;郭迎港;钟炳南;陈越琦;曾庆凯;
- 基于变异的正则表达式反例测试串生成算法郑黎晓;余李林;陈海明;陈祖希;骆翔宇;汪小勇;
- 网络协议软件漏洞挖掘技术综述喻波;苏金树;杨强;黄见欣;盛周石;刘润昊;卢建君;梁晨;陈晨;赵磊;
- 软件中代码注释质量问题研究综述王潮;徐卫伟;周明辉;
- 测试集有效性评价:问题、进展与挑战路则雨;张鹏;王洋;郭肇强;杨已彪;周毓明;
- 基于对抗生成网络的缺陷定位模型域数据增强方法张卓;雷晏;毛晓光;薛建新;常曦;
- 基于静态与动态学习需求感知的知识点推荐方法周洋涛;李青山;褚华;李佳楠;高明彪;卫彪彪;