韩令军 李秉柏 田增山 王鹏 申双和 杨涛 谭炳香 万军

ASAR 网络安全日志数据库 覆盖率 计算机辅助教学 定理机器证明 数据挖掘 物理智能教育软件 概率定位

日达计算技术有限公司 中国农业银行四川分行 信息产业部第三十九研究所 广州师范学院教育软件研究所 广州大学计算机教育软件研究所 中国科学院成都计算机应用研究所 江苏省农业科学院农业资源与环境研究所 南京信息工程大学江苏省气象灾害重点实验室