1982年全美计算机会议论文集PDF电子书下载

数据服务系统设计问题 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