综述·探索

1. 静态软件缺陷预测研究进展*
2. 系统架构描述语言AADL的功能行为建模扩展*

高性能计算

1. 申威众核处理器上的三对角并行求解器*
2. LQCD Dslash在神威·太湖之光上的研究分析与MPI实现*
3. 基于Zynq7000 FPGA异构平台的YOLOv2加速器设计与实现*

网络与信息安全

1. 三维片上网络高维超立方裂变拓扑结构研究*
2. 社交网络谣言传播的破窗效应和责任分散效应*
3. 可问责的多关键字可搜索加密方案*

人工智能与模式识别

1. 使用动态增减枝算法优化网络结构的DBN模型*
2. 利用变分自编码器进行网络表示学习*
3. 去除光流中冗余信息的动作预测方法*
4. 协同过滤策略的异构双种群蚁群算法*
5. 多标记不完备数据的特征选择算法*

理论与算法

1. 具有DP的广义可能性模糊时态CTL模型检测*
2. 程度多粒度软粗糙集模型*

1. 《计算机科学与探索》投稿须知