《中国计算机学会第八届年会论文集》求取 ⇩

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