《第一届国际计算机及基应用会议：文化集 1》求取 ⇩

Y．-I．Hsieh会场2 B：数据库系统Ⅰ1．一个基于微型机的关系数据库管理系统的设计与实现 （171

E．W．Biersack2．计算机的量度：测量及管理大型计算机系统的性能，资源和开销………（ 496 ）H．W．B．Merrill3．PA SS性能分析软件系统 （511

目 录会场1 A：并行处理Ⅰ1．Ada任务设施在多处理机体系结构中的效率问题1

H．Bu rkha rt4．第十二系统分布式计算机体系结构的设计、应用和性能 （304

P．Laface,S．Rivoira2．计算机系统中任务同步的性能模型17

M．A．Ma r san,G．Chiola,G．Conte3．一种相联存储器方案33

W．A．Davi s,D．L．Lee4．多道程序多处理机系统的模拟与分析43

许庆贤会场1 B：办公室信息系统Ⅰ1．表格系统的设计与实现56

史忠植2．中文信息检索比较器65

伍福宁3．汉字分解的联机识别73

L．M．Tan,E．F．Yh ap会场1 C：软件及方法学Ⅰ1．编译程序改正的一种运算方法87

W．Li2．一个以遍历度为基础的程序可靠性模型101

陆汝钤3．故障密度的语言影响与开发实践111

H．Hecht,M．Hecht4．F1 oyd和Manna 终止法的两种实际推广117

W．D．Ma u re r会场2 A：分布式系统软件Ⅰ1．CSM——一个分布式程序设计语言121

孙钟秀 李西宁2．G DP L——一种分布式系统的程序设计语言127

Kam—Wi ng Ng,Wai—Ki t Li3．Pet r i网在分布控制的并行系统公平性问题中的应用140

吴哲辉，T．Mu ra ta4．网络数据管理程序153

景动 唐晓林2．规范的实体联系（N—E—R）模型：组织模式设计的一种新方法179

王珊 萨师煊3．RE BU：面向临时用户的微型计算机关系数据库管理系统195

S．Mi randa S．Cuedraogo J．NsondeN．Le Tnann J．Mas son J．Busta4．PROLOG和数据库管理系统的界面技术和界面结构225

李德毅 F．G．Heath会场2 C：计算机的应用Ⅰ1．实时控制与数据处理系统中的错误管理与重构系统234

王辅兴 胡建平2．航空发动机涡轮叶片的计算机辅助设计242

赵玉琦 管廷雄 肖宏恩 郑建辉3．用于数控机床的模块化多微机控制装置250

S．Turk,L.Budin,J．Radej,Z．Sostaric4．使用脉冲和步进测试的自动频率响应及自适应控制器设计261

A．V．MeCormick,D．McCarthy会场3 A：分布式处理Ⅰ1．分布式开发环境中的设计和开发方法论270

J．B．Dempsey2．可靠的远程处理的实现284

W．H．Leung3．模块多处理器设计的结构295

R．A．Conroy,H．A．Malcc,J．Van Goethem会场3 B：计算机应用Ⅱ1．数字卷积器的一种新格式322

B．Hong,C．Wu,H．Oha ra2．聚类分析程序在市场研究中的应用333

周小鹤3．盲人计算机辅助设备——曼尼托巴大学的盲文编制342

P．A．Fortier4．图形识别的汉字分类方法——全局训练的树型分类器和压缩模式的付立叶描述符352

Y．Y．Tang,C．Y．Suen,Q．R．Wang会场3 C：软件及方法学Ⅱ1．X C Y语言族363

徐家福 杨芙清 仲萃豪2．函数式程序设计系统（FP）的实现371

韦梓楚3．大型软件系统的质量和生产性379

E．M．Prell,A．P．Sheng4．进程位置与死锁避免391

赵伟,H．S．S t o ne会场4 A：并行处理Ⅲ1．双弦环互连网络的分析404

金 兰 杨元元2．多机系统的重新组合与可维护性418

金怡濂 陆绍福3．大规模多处理机系统“Heid？lberg Polyp”的设计和实现424

R．Manne r,B．Delui gi,W．Saaler,T．Sauer,P．V．Wal te r4．并行高级语言计算机437

T．Fu ruyam,Y．Uch ibori,K．Ni shida会场4 B：办公室信息系统Ⅱ1．一个实验性的分布式办公室信息系统447

张友仁 熊盛宇 季家环 刘坚2．一种通用办公室信息系统的体系结构458

J．A．Hernandez,E．Horlait,R．Joly,G．Pujolle3．办公室系统——一种信息发展466

R．T．Lynn4．一个用于银行业务的分布式系统477

G．Malatesta,A．Osnaghi,F．Sirovich会场4 C：性能估价1．分布式路由算法性能评价485

T．L．Booth,Min K im,BinQin, C．Albertoli，朱德福4．评价前端生命周期工具的方法520

L．S．Edmonds J．E．Urban会场5 A：分布式系统软件Ⅱ1．Pe t ri网： 通信规程的规范说明和验证534

杨仲华2．一个使用异步线的文件传送协议及其在UNIX控制下的实现546

鞠九滨3．关于协议合法性的一种扩展方法553

A．Faro,G．Me ssina4．用数字Pet ri网定义的传输层566

W．Chllary,M．Sajkow ski,M．Stroinski会场5 B：数据库系统Ⅱ1．RDBMS—1的设计和实现577

史畏三 林树棋 肖廷瑞2．智能数据库系统586

童頫 陈 俭3．主动式信息系统595

C．Ro1land,O．Foucaut,O．Thiery4．逻辑数据库设计的一种自动化工具614

P．Bertaina,A．Dileva,P．Gio1ito,C．Iacobell,V．M arrone会场5 C：软件及方法学Ⅲ1．Byzantine一致性协议及其正确性证明626

钱家骅2．提高双极同步构系可应用性的一个注记638

陆维明3．通用并行选择网络 ．652

华云生 陈国良4．应用Petr i网研究并发系统与其进程之间的某些依赖关系672

A．Merceron会场6 A：计算机应用Ⅲ1．交互式M ic ro—COBOL直接执行系统691

朱耀汉 陈圣齐 叶澄清2．多家庭住宅的通用系统707

B．Jackson3．关于计算机应用的成功转移和商业化的某些意见715

A．C．M．Chen4．PATHFINDER：为隆克其万省提供了Videotex722

A．G．Law P．C．MacDonald J．H．We ston S．Y．Nu会场6 B：计算机制图Ⅰ1．复杂景物隐藏线消去算法728

张文焘2．计算机辅助机械绘图中金属剖面线的绘制方法736

林滋治 郑洪如 卢庆堂 李延林3．快速裁剪任意多边形的一种方法746

唐泽圣孙家广 陈玉健4．计算机制图中的相联处理：图象变换和隐藏面消除758

Ⅰ．Scher son,S．Ruhman会场6 C：设计计算机及子系统Ⅰ1．存储系统采用字向冗余技术的方法767

郑 筠2．数据流计算机中结构数据的存取781

W．W．Ca rl son,K．Hwang3．实现计算机系统的一种创新方法790

P．L．Reed4．实验性数据流计算机DFNDR—1的设计和构造及子程序实现805