《1982年全美计算机会议论文集》求取 ⇩

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

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

附录A599

附录B：为关系数据库机器建议的一组操作599

参考文献601

数据库连接处理器的性能分析602

摘要602

1.引论602

2.二维连接处理器的体系结构604

3.可选择的连接处理器方法的分析606

4.性能估价607

5.结论611

附录A611

参考文献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

AGNET737

现行分时系统的问题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