《第一届国际计算机及其应用会议论文集 上》求取 ⇩

会场1A：并行处理Ⅰ1

1．Ada任务设施在多处理机体系结构中的效率问题 P.Laface,S.Rivoira1

2．计算机系统中任务同步的性能模型 M.A.Marsan,G.Chiola,G.Conte17

3．一种相联存储器方案 W.A.Davis,D.L.Lee33

4．多道程序多处理机系统的模拟与分析 许庆贤43

会场1B：办公室信息系统Ⅰ56

1．表格系统的设计与实现 史忠植56

2．中文信息检索比较器 伍福宁65

3．汉字分解的联机识别 L.M.Tan,E.F.Yhap73

1．编译程序改正的一种运算方法 W.Li87

会场1C：软件及方法学Ⅰ87

2．一个以遍历度为基础的程序可靠性模型 陆汝钤101

3．故障密度的语言影响与开发实践 H.Hecht,M.Hecht111

4．Floyd 和 Manna 终止法的两种实际推广 W.D.Maurer117

会场2A：分布式系统软件Ⅰ121

1．CSM——一个分布式程序设计语言 孙钟秀 李西宁121

2．GDPL——一种分布式系统的程序设计语言 Kam—Wing Ng,Wai—Kit Li127

3．Petri 网在分布控制的并行系统公平性问题中的应用 吴哲辉，T.Murata140

4．网络数据管理程序 Y.-I.Hsieh153

会场2B：数据库系统Ⅰ171

1．一个基于微型机的关系数据库管理系统的设计与实现 景 劲 唐晓林171

2．规范的实体联系（N—E—R）模型：组织模式设计的一种新方法 王 珊 萨师煊179

3．REBU：面向临时用户的微型计算机关系数据库管理系统 S.Miranda S.Cuedraogo J.Nsonde N.Le Tnann J.Masson J.Busta195

4．PROLOG和数据库管理系统的界面技术和界面结构 李德毅 F.G.Heath225

会场2C：计算机的应用Ⅰ234

1．实时控制与数据处理系统中的错误管理与重构系统 王辅兴 胡建平234

2．航空发动机涡轮叶片的计算机辅助设计 赵玉琦 詹廷雄 肖宏恩 郑建辉242

3．用于数控机床的模块化多微机控制装置 S.Turk,L.Budin,J.Radej,Z.Sostaric250

4．使用脉冲和步进测试的自动频率响应及自适应控制器设计 A.V.McCormick,D.McCarthy261

会场3A：分布式处理Ⅰ270

1．分布式开发环境中的设计和开发方法论 J.B.Dempsey270

2．可靠的远程处理的实现 W.H.Leung284

3．模块多处理器设计的结构 H.Burkhart295

4．第十二系统分布式计算机体系结构的设计、应用和性能 R.A.Conroy,H.A.Malec,J.Van Goethem304

会场3B：计算机应用Ⅱ322

1．数字卷积器的一种新格式 B.Hong,C.Wu,H.Ohara322

2．聚类分析程序在市场研究中的应用 周小鹤333

3．盲人计算机辅助设备——曼尼托巴大学的盲文编制 P.A.Fortier342

4．图形识别的汉字分类方法——全局训练的树型分类器和压缩模式的付立叶描述符 Y.Y.Tang,C.Y.Suen,Q.R.Wang352

会场3C：软件及方法学Ⅱ363

1．XCY语言族 徐家福 杨芙清 仲萃豪363

2．函数式程序设计系统（FP）的实现 韦梓楚371

3．大型软件系统的质量和生产性 E.M.Prell,A.P.Sheng379

4.进程位置与死锁避免 赵 伟，H.S.Stone391

1．双弦环互连网络的分析 金 兰 杨元元404

会场4A：并行处理Ⅱ404

2．多机系统的重新组合与可维护性 金怡濂 陆绍福416

3．大规模多处理机系统“Heidelberg Polyp”的设计和实现 R.Manner.B.Deluigi,W.Saaler,T.Sauer,P.V.Walter424

4．并行高级语言计算机 T.Furuyam,Y.Uchibori,K.Nishida437

会场4B：办公室信息系统Ⅱ447

1．一个实验性的分布式办公室信息系统 张友仁 熊盛宇 季家环 刘 坚447

2．一种通用办公室信息系统的体系结构 J.A.Hernandez,E.Horlait,R.Joly,G.Pujolle458

3．办公室系统——一种信息发展 R.T.Lynn466

4．一个用于银行业务的分布式系统 G.Malatesta,A.Osnaghi,F.Sirovich477

会场4C：性能估价485

1．分布式路由算法性能评价 E.W.Biersack485

2．计算机的量度：测量及管理大型计算机系统的性能，资源和开销 H.W.B.Merrill496

3．PASS性能分析软件系统 T.L.Booth,Min Kim,Bin Qin,C.Albertoli，朱德福511

4．评价前端生命周期工具的方法 L.S.Edmonds J.E.Urban520

会场5A：分布式系统软件Ⅱ534

1．Petri网：通信规程的规范说明和验证 杨仲华534

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

3．关于协议合法性的一种扩展方法 A.Faro,G.Messina553

4．用数字Petri网定义的传输层 W.Chlary,M.Sajkowski,M.Stroinski566

会场5B：数据库系统Ⅱ577

1．RDBMS—1的设计和实现 史畏三 林树棋 肖廷瑞577

2．智能数据库系统 童 頫 陈 俭586

3．主动式信息系统 C.Rolland,O.Foucaut,O.Thiery595

4．逻辑数据库设计的一种自动化工具 P.Bertaina,A.Dileva,P.Giolito,C.Iacobell,V.Marrono614

会场5C：软件及方法学Ⅲ626

1．Byzantine一致性协议及其正确性证明 钱家骅626

2．提高双极同步构系可应用性的一个注记 陆维明638

3．通用并行选择网络 华云生 陈国良652

4．应用Petri网研究并发系统与其进程之间的某些依赖关系 A.Merceron672

会场6A：计算机应用Ⅲ691

1．交互式Micro—COBOL直接执行系统 朱耀汉 陈圣齐 叶澄清691

2．多家庭住宅的通用系统 B.Jackson707

3．关于计算机应用的成功转移和商业化的某些意见 A.C.M.Chen715

4．PATHFINDER：为隆克其万省提供了Videotex A.G.Law P.C.MacDonald J.H.Weston S.-Y.Nu722

会场6B：计算机制图Ⅰ728

1．复杂景物隐藏线消去算法 张文焘728

2．计算机辅助机械绘图中金属剖面线的绘制方法 林滋治 郑洪如 卢庆堂 李延林736

3．快速裁剪任意多边形的一种方法 唐泽圣 孙家广 陈玉健746

4．计算机制图中的相联处理：图象变换和隐藏面消除 I.Scherson,S.Ruhman758

会场6C：设计计算机及子系统Ⅰ767

1．存储系统采用字向冗余技术的方法 郑 筠767

2．数据流计算机中结构数据的存取 W.W.Carlson,K.Hwang781

3．实现计算机系统的一种创新方法 P.L.Reed790

4．实验性数据流计算机DFNDR—1的设计和构造及子程序实现 M.Sowa,F.T.Ramos,T.Murata805