《第一届国际计算机及其应用会议论文集 上》PDF下载

  • 购买积分:22 如何计算积分?
  • 作  者:西南地区计算机协会,四川省电子学会电子计算机专业委员会,中国科学院成都计算机应用研究所编
  • 出 版 社:
  • 出版年份:1985
  • ISBN:
  • 页数:814 页
图书介绍:

会场1A:并行处理Ⅰ 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4.网络数据管理程序 Y.-I.Hsieh 153

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

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

2.规范的实体联系(N—E—R)模型:组织模式设计的一种新方法 王 珊 萨师煊 179

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

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

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

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

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

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

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

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

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

2.可靠的远程处理的实现 W.H.Leung 284

3.模块多处理器设计的结构 H.Burkhart 295

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

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

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

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

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

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

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

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

2.函数式程序设计系统(FP)的实现 韦梓楚 371

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

4.进程位置与死锁避免 赵 伟,H.S.Stone 391

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

会场4A:并行处理Ⅱ 404

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

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

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

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

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

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

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

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

会场4C:性能估价 485

1.分布式路由算法性能评价 E.W.Biersack 485

2.计算机的量度:测量及管理大型计算机系统的性能,资源和开销 H.W.B.Merrill 496

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

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

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

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

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

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

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

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

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

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

3.主动式信息系统 C.Rolland,O.Foucaut,O.Thiery 595

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

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

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

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

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

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

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

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

2.多家庭住宅的通用系统 B.Jackson 707

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

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

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

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

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

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

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

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

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

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

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

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