吴玲达 董威 陈火旺 齐治昌 李国辉 王桢珍 张茂军 段晓娟 刘万伟 张艳 李舟军 李云浩 宋震 杨冰 齐越 王杰生 王怀民 徐玮 刘锋 周倜 姬孟洛

虚拟现实 同心球拼图法 验证策略 反例 逻辑程序 保密性 虚拟演播室 编译器优化 ACUN理论 SMV 同心球拼图 扩展的Horn逻辑模型 虚拟场景 值范围分析 不动点 一般合一化问题 基于图象的渲染 复杂性 虚拟会议空间 软件工程 抽象解释理论 合一化算法 基于图象的绘制 基于图像的绘制 实时漫游 增强现实 认证 验证 进程代数 全光函数

国防科技大学计算机学院 国防科学技术大学计算机学院 北京航空航天大学计算机学院 国防科技大学系统工程与数学系 国防科学技术大学七系多媒体教研室 长沙大学 国防科技大学系统工程与数学系多媒体研发中... 国防科技大学多媒体教研室