闫璞 齐红 窦全胜 王兆丹 黄晶 胡鹤 虞强源 姜丽

空间区域 泛化分配表 安全性 面向对象模型 替换操作 自动组卷 用户关联 条件独立测试

安徽合肥 中国科学院力学研究所 哈尔滨制药厂计算中心 吉林省招生委员会办公室 吉林大学计算机科学与技术学院 中国科学技术大学力学和机械工程系 符号计算与知识工程教育部开放实验 符号计算与知识工程教育部开放实验室