1.未来十年，计算机科学技术的发展若干重大进展和发展战略设想 研究组，执笔人陈树楷 1
2.人工智能进展 石纯一等 10
3.容错计算和可信性 闵应骅 18
4.信息保密综述 董光 23
5.计算机科学技术中的多值逻辑 胡谋 30
6.PETRI网理论及应用 袁崇义 37
7.模糊逻辑与软逻辑 张锦文 44
8.数字电路在开关级的逻辑设计理论 吴训威 51
9.复杂算法程序的规范证明和形式推导 薛锦云 61
10.限制逻辑的三值形式*林作铨 69
11.CASC重写规则数学表达式化简系统 谢果然 76
12.候选关键字的求解理论和算法 击定康 84
13.ISO 10646及其对计算机系统的影响 刘汝林 90
14.项目反应理论中参数估计的收敛技术 聂承启等 97
15.论90年代计算机体系结构的发展 体系结构专委，执笔人徐非 103
16.微计算机技术发展综述 李三立 112
17.巨型计算机的发展现状和趋势 林钟官 120
18.信息存储技术--范围、历史回顾及未来发展 郑筠 128
19.我国外存储技术的发展 刘锡刚 137
20.抗恶劣环境计算机技术综述 王祖永 142
21.计算机网络和数据通信的新方向 顾冠群等 152
22.电源技术发展的几种趋向 严家耀 159
23.计算机分类与RISC体系结构 沈绪榜 164
24.一种用于工程环境的实体关系网络结构 王茜 170
25.Wulor-75/32负载共享远程执行系统的设计与实现 彭德纯等 178
26.硬实时分布式系统中进程的初始分配 龚天富等 183
27.YH-F1--大型高速全数字仿真计算机 周兴铭等 189
28.超级并行计算机系统中的互连网络 孟凤珍等 198
29.多机系统可维性设计 谢向辉等 205
30.多机系统环境下UNIX文件系统的适应性研究 李翔 212
31.群机操作系统--GNIX的并行机制 陈左宁 218
32.超级小型机操作系统中的I/O子系统的研究与探讨 吕晓燕 224
33.空闲工作站共享：一种大粒度并行计算环境 鞠九滨 230
34.软件工程及软件工程开发环境 杨芙清等 237
35.上海软件产业现状分析 朱三元等 243
36.科学计算可视化与三维数据场显示 唐泽圣 253
37.体数据可视化的进展 周洞汝 264
38.计算机图形学的现状与进展 刘慎权等 271
39.计算机层析成像理论及应用 杨真荣 277
40.噪声图象的Gibbs模型、估计和分割 汪涛等 282
41.计算机地毯图案设计与算料系统 李建明等 289
42.面向对象的程序设计语言OTDL/OECL*方裕等 301
43.CADCSC工程化软件系统 王治宝等 308
44.经济效益综合评价计算机软件系统 王根良等 316
45.对象、面向对象、面向对象软件开发 徐家福等 325
46.数字系统设计自动化发展的重要突破--VHDL语言高级逻辑综合综述 李淳等 333
47.计算机辅助需求分析系统RSL/RSA*贾霖等 346
48.从受限自然语言描述的需求提取形式规范 陈晓桦等 354
49.面向对象同Ada的结合研究 王振宇等 362
50.开嵌套事务的恢复 王翰虎 370
51.软件自动化系统FSA 钱家骅等 376
52.类型程序设计与软件自动生成 屈延文等 383
53.UNIX版本与标准化综览 刘锦德 395
54.我国计算机应用发展的回顾与展望 龚炳铮 406
55.向集成化、多媒介化和智能化迈进的办公信息系统 王能斌等 414
56.工业控制计算机主导系统的技术发展 唐怀斌等 417
57.一表查遍天下字 黄金富 424
58.中文信息技术的现状和发展 王之爟 432
59.计算机工程与工艺技术综述 陆荣根等 435
60.建立新的维护与管理体制势在必行 史如心等 441
61.计算机场地技术及其发展趋势 王元光 444
62.体育计算机应用现状及发展 戴维镛等 451
63.北京亚运会计算机系统的运行 莫渭浓 458
64.人体冲击动作的计算机测量技术 马涛等 476
65.新型隐球菌微型计算机自动识别系统的设计与实现 罗彩明等 483
66.电话网NVTB微机监测系统的设计 王迎旭等 490
67.程控机联网扩容技术和北京仿真中心话务系统 联合项目组，执笔人黄加付 495
68.一种小型完整的水冷系统设想 林红等 500
69.燃气管网SCADA系统概论及实验系统的研制 严铭卿等 506
70.价值工程微机辅助软件系统*薛春光 516
71.单片微型机控制的多路监测系统 魏克新等 522
72.H883工程中DSS设计的三要素法 杨国勋 526
论文摘要 533
73.一个基于数据库群的信息资源管理系统 唐少博等 533
74.计算机计量管理的一个框架构想 余履危 535
75.神经计算机管窥 严隽永 538
76.面向C语言的程序编码与排错工具CCD*金立群等 539
77.计算机通信中的随机密码理论研究 赵宏等 541
78.泰山核电站调试实时监测系统总体设计 联合项目组，执笔人黄加付 542
79.HSM模型在大型MIS安全系统设计中的实现 周俊林等 544
80.一类树的遍历算法的演绎综合 黄明和等 545