中国计算机学会第八届年会论文集PDF电子书下载

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