1998年开放课题项目列表
项目编号 | 课题名称 | 申请者 | 职称 | 单位 |
A98 01 | 逻辑程序设计中的诱导推理及其应用 | 王克文 | 副教授、博士后 | 湖南长沙国防科技大学6系重点实验室(410073) |
A98 02 | 并行系统的性能评价预测和可视化的研究与实践 | 吴幸福 | 博士后 | 中国科学院计算技术研究所国家智能计算机研究开发中心(100080) |
A98 03 | 异构多数据库系统中的安全性问题 | 吴胜利 | 副研、博士后 | 北京中关村南四街四号中国科学院软件研究所对象技术中心(100080) |
A98 04 | Mobile Agent的移动机制研究 | 王怀民 | 副教授 | 湖南长沙国防科技大学6系重点实验室(410073) |
A98 05 | 可视化数据库查询语言的开发 | 鞠时光 | 博士、教授 | 江苏理工大学计算机系镇江市东郊(212013) |
A98 06 | 特征造型系统开发的形式化理论及其应用研究 | 孙正兴 | 博士后 | 南京大学计算机系 |
A98 07 | 实时和混成系统的模型验证算法及工具研究 | 李宣东 | 副教授 | 南京大学计算机系 |
A98 08 | 固定大小陈列上算法划分和映射方法研究 | 霍红卫 | 副教授、博士生 | 西安电子科技大学 |