1996年开放课题项目列表
项目编号 | 课题名称 | 申请者 | 单位 |
A96 01 | 对象的说明型形式语义模型研究 | 梅宏 | 北京大学计算机科学技术系 |
A96 02 | 程序设计语言的非传统语义模型研究 | 王岩冰 | 上海交通大学计算机系 |
A96 03 | 多媒体数据库关键技术的研究 | 周傲英 | 上海复旦大学计算机科学系 |
A96 04 | 类比思维的计算模型 | 吕建国 | 上海复旦大学计算机科学系 |
A96 05 | 计算机科学中并行复杂性问题的研究 | 吕义忠 | 南京航空航天大学计算机系 |
A96 06 | 信念修正与中介形式系统 | 朱梧贾 | 南京航空航天大学计算机系 |
A96 07 | RMI数学解题机的研究 | 朱梧贾 | 南京航空航天大学计算机系 |
A96 08 | 国产网络软件开发 | 胡 亮 | 吉林大学计算机科学系 |
| A96 09 | TCP/IP上OSITP2的研究与实现 | 贾百昌 | 复旦大学计算机科学系 |
| A96 10 | 面向复用的软件体系结构开发环境 | 袁兆山 | 合肥工业大学计算中心 |
| A96 11 | 实行并行计算模型及其性能的研究 | 陈 凌 | 扬州大学师范学院计算机系 |