20172018中国计算机科学技术发展报告(CCF)

CCF2017-2018中国计算机科学技术发展报告 1.形式化方法的研究进展与趋势 2.大图数据管理与分析技术 3.AI与系统的深度融合研究进展与趋势 4.知识图谱的系统工程观 5.生产对抗网络的研究进展与趋势 6.CAD/CAE高精度仿真分析中的关键几何理论与方法的研究进展与趋势 7.记忆驱动的媒体学习与创意 8.网络智慧化技术研究发展与趋势 9.面向云端融合的分布式计算技术研究进展与趋势 10.自主可控抗恶劣环境计算技术及应严格的研究发展与趋势