数据服务系统设计问题 407
摘要 407
引言 407
基本情况 408
局部地区网络结构 408
数据服务系统设计研究 408
结论 414
参考文献 415
社会和和组织的推论 417
计算机安全性验收标准 419
摘要 419
引论 419
验收标准 419
验收标准的结构 420
制定标准的辅助手段 422
定量 423
原则 424
验收确定过程 425
结论 426
感谢 426
参考文献 426
私人需要的信誉／安全计算机系统 428
摘要 428
一、前言 428
二、信誉计算机系统 429
三、私人方面的信誉统系需求 431
四、对信誉系统的实用性的展望 438
五、结束语 439
参考文献 440
信息系统易损性对社会的影响 442
摘要 442
集中信息系统 442
危险分析 442
一个潜在易损坏系统的树结构式模型—一个存储财务系统 443
财务系统危险分析的实例 444
较高级危险的情况 444
信息系统的相互连接和联合易损坏性 444
改进计算机系统中的保护装置问题 445
一些技术性的计算机安全措施 445
计算机安全的设计原则 446
一些麻烦问题 446
感谢 446
参考文献 446
供协同用户接口用的统一求助设施 448
摘要 448
引论 448
静态解释网络的自动化结构 449
动态生成解释 452
结论 453
致谢 453
参考文献 454
Consul系统中的自然语言求助程序 455
摘要 455
1 什么是求助程序 455
2 现有求助程序的机理 455
3 Consul系统中的求助程序 456
4 获取和保持求助信息 458
5 结论 458
感谢 458
参考文献 458
数据程序求助系统 460
摘要 460
前言 460
用系统代码回答用户的问题 461
把程序表达成产生式规则的集合 461
参考文献 463
一种密码式保密办公室系统的实现 464
摘要 464
引论 464
功能说明 464
我们的实现概述 465
公开码文件和编入 466
密码处理器 467
过程细节 467
结论 468
致谢 468
参考文献 468
基于数据抽象的标准命令语言准则 470
摘要 470
引论 470
用户观点 471
蕴含准则 474
记入和注销 474
结论 476
在文本错误校正中自底向上和自顶向下上下文知识的综合 477
摘要 477
Ⅰ.引论 477
Ⅱ.VITERBI算法 478
Ⅲ.三元式 479
Ⅳ.字典VITERBI算法 480
Ⅴ.计算的复杂性 482
Ⅵ.实验结果 482
Ⅶ.结论 483
致谢 484
参考文献 484
DIALOGUE：提供完整的终端独立性 486
摘要 486
1.0引言 486
2.0记录定义语言 486
3.0屏幕接口和装置独立性 488
4.0打字机接口 489
5.0可换用的输入装置 490
6.0使用DIALOGUE 491
7.0结论 491
“星”用户接口评述 492
摘要 492
引言 492
基本硬件 493
办公室的具体形象比喻 494
工作台 495
插图 495
窗口 500
特征表 500
通用命令 502
结论 505
参考文献 506
MFS：模块文本格式化系统 508
摘要 508
引论 508
设计问题和目的 509
系统体系结构 512
结束语 513
参考文献 513
管理问题和决策学支持系统 515
复杂的企业系统：通向成功的战略 517
摘要 517
引言 517
系统生命周期 518
工程管理哲学 519
工程组织和作用 520
其它作用 522
保持工程不断前进 522
结论 524
参考文献 525
印地安那州标准石油公司的用户在发展大型商业系统中的作用 526
摘要 526
引论 526
用户 526
用户参与系统研制生命周期 527
确定设想 527
结论 529
数据中心人员在大规模企业系统研制中的作用 530
摘要 530
引言 530
确定 530
总结 534
什么生命？ 什么周期？ 535
摘要 535
非生命 非周期 535
修正周期 536
描述等级 537
如何改变 538
把要求转换成改变 538
说明改变：分割线和补块 539
改变的最后阶段 540
结论 540
致谢 541
参考文献 541
语言和数据库处理 543
数据模型处理 545
摘要 545
引言 545
数据模型处理系统 546
应用举例 549
计划 552
致谢 553
参考文献 553
数据库系统的自动转换：模式修订，数据重构和源程序的更改 554
摘要 554
引论 554
在抽象数据库系统中的自动转换 555
抽象定义和处置 555
抽象变换 556
抽象变换的例子 559
当前的研究方向 560
致谢 560
参考文献 561
在分布式系统中的合理时标分配 562
摘要 562
引论 562
更新的编号方案及其问题 562
MOD编号方案 564
结论 566
参考文献 566
Pascal程序员的数据抽象 568
摘要 568
引论 568
扩充 568
预处理程序 570
例子 572
结论 575
SPIRIT—Ⅲ：一种高级关系数据库机器——引进一个新型的带有予处理关系代数元组流筛选器的数据集结结构的机器 576
摘要 576
1.引论 576
2.SPIRIT—Ⅲ的基本系统结构 578
3.关系代数执行体系结构 581
4.数据集结结构 583
5.结论意见 586
参考资料 587
数据库机器的数据语言需求 589
提要 589
1.引论 589
2.数据库机器语言需求 590
3.层次数据库的数据语言 592
4.网状方法的数据语言 595
5.结论 598
附录A 599
附录B：为关系数据库机器建议的一组操作 599
参考文献 601
数据库连接处理器的性能分析 602
摘要 602
1.引论 602
2.二维连接处理器的体系结构 604
3.可选择的连接处理器方法的分析 606
4.性能估价 607
5.结论 611
附录A 611
参考文献 613
怎样评价数据库管理系统 615
提要 615
背景和范围 615
确定环境 615
侯选阶段 615
确定软件要求 616
评价准则 618
评价侯选系统 624
选中以后的任务 626
双CDC Cyber170／750系统性能研究 627
摘要 627
1.0引论 627
2.0系统的描述 628
3.0模型参数 629
4.0模型的确认 630
5.0预测实验 630
6.0结论 632
致谢 633
参考文献 633
计算词汇学：研究程序 634
摘要 634
计算词汇学研究程序的原因 634
词汇学知识收集的研究 636
应用计算词汇学 637
参考文献 639
用韦氏第七版新编大学生词典建立主连字符表 641
摘要 641
动机 641
韦氏第七版新编大学生词典（W7） 642
W7中的错误 644
建立主连字符表 645
结论 646
分布式计算的模型、语言和启发式组织 647
摘要 647
引论 647
模型和语言 647
结论 653
通信进程的最弱环境 654
摘要 654
引论 654
通信进程 655
技术说明 657
最弱环境 662
证明法则 664
参考文献 669
分布式数据库的自适应结构 670
摘要 670
引言 670
总结 674
致谢 675
参考文献 675
互连网络上资源的分布式调度 677
提要 677
1.前言 677
2.纵横交错开关的分布式调度算法 679
3.具有对数延迟的网络上集中化的资源分配 681
4.具有对数延迟的网络的分布式资源分配 684
5.结论和推广 688
计算机的应用 691
用于彩色电视图象处理的微机系统 693
摘要 693
1、引论 693
2、系统的配置 693
3、控制程序命令 694
4、应用举例 697
5、结论 697
计算机制图中与输出设备无关的重要性与失效问题 699
摘要 699
什么是与输出设备无关？ 699
与输出设备无关为什么重要？ 699
为什么与输出设备无关最终是无用的？ 700
技术设备智能的图解 701
保持多方面的适应性 704
超音速战斗机的最佳三维飞行控制 706
摘要 706
引论 706
理论分析 706
计算结果 711
参考文献 713
结构式D—流程图：一种用于结构式程序设计的作图法 714
摘要 714
1.引言 714
2.结构式D流程图和约束控制结构 715
3.结构式D—流程图的实现 718
4.结构式D—流程图和编程风格 721
5.结构式D—流程图的组合规则 721
6.结构式D—流程图和普通流程图的比较 723
7.使用结构式D—流程图的实验 725
8.致谢 726
把软件工具用起来：使用图形码的体会 727
摘要 727
引论 727
图形伪码 728
顺序文件处理 728
图形码 730
图形码的实现 731
结论 733
致谢 733
参考文献 733
解决农村使用问题的分布式处理方法 735
摘要 735
引论 735
农村通讯 736
目前通用的农用分时服务 736
AGNET 737
现行分时系统的问题 737
计算机控制的调制解调器 738
交互式约定解释程序 739
分配AGNET程序的任务 741
进展情况 742
网络操作系统间的关系 742
结束语 743
RIPS网络：光通信网络的重大影响 744
摘要 744
引论 744
系统配置 744
多用途数据干线 746
高速专用网络 748
光纤维和器件 749
RIPS的运行 749
RIPS对信息处理系统的重大影响 749
结论 750
参考文献 750
在互联网络中支持不受位置限制的标记的相关方案 752
摘要 752
引论 752
术语和假设 753
符号名称服务程序 754
信息转送方案 755
通道变换方案 755
使用符号名称服务程序的例子 758
感谢 759
参考文献 759
附录 760
实用分布式数据处理的问题和方法—Ⅰ 763
摘要 763
引论 763
策略选择 764
结束语 768
参考文献 768
实用分布式数据处理的问题和方法—Ⅱ 770
摘要 770
引论 770
数据配置 771
数据的同步 775
已知数据传送的结论 778
FORTRAN的发展过程 779
FORTRANⅠ编译程序的技术回顾 781
摘要 781
引论 781
编译程序的功能和组织 781
翻译 783
下标和DO语句优化 783
流程分析 783
寄存器分配 784
结果 784
FORTRAN之前的计算 785
摘要 785
会议与发表的文章 785
计算机科学教育 786
存储程序设计 786
结构程序设计 786
程序移植 786
性能衡量 787
通讯与分时 787
编译程序 787
数据独立性 788
软件块 788
软件程序包 788
结束语 788
FORTRAN标准化的历史 789
摘要 789
初期标准化 789
解释时期（1967—1970） 793
FORTRAN77（1970—1978） 793
下一步修订（1978—今） 795
未来 796
DYSTAL：FORTRAN的非数字应用 797
摘要 797
引论 797
链表与线性数组之比较 797
基本特点 798
动态存储分配 798
数组名 798
数组的标题 799
递归 799
虚拟存储器 800
存取数组元素 800
字符串处理 800
永久性文件 801
DYSTAL语言的形式 801
总的评述 802