作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

1987年, 第13卷, 第01期 刊出日期:
  

  • 全选
    |
    论文
  • 施伯乐,徐重时
    . 1987, 13(01): 3.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    对视图及其操作的管理是数据库管理系统(DBMS)的重要内容。本文着重从理论上对多视图数据库中视图的性质及其操作作了进一步的探讨,提出并证明了对视图进行修改操作的一般条件,解决了视图插入和删除可逆性的问题,并在此基础上给出了一个多级视图模型。
  • 吴时霖,潘永华
    . 1987, 13(01): 9-12.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文在简单介绍带有时间的Petri网后,提出了一种新的哲学家用餐问题的算法,这个算法解决了公平性,无死锁性。最后利用带有时间的Petri网理论验证了这些性质。
  • 张士平
    . 1987, 13(01): 13.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    微机分布式数据管理系统MNDB是在关系数据系统dBASEⅡ的基础上设计的,它提供透明的远程数据定义和操纵设施,分布式事务管理和数据一致性控制。系统由四部分组成:结点数据库系统dBASEⅡ执行本地事务;分布数据控制管理模块协调多结点事务的实现;网络字典系统NDS提供系统处理支持信息;网络通信系统提供消息传输服务。
  • 滕勇
    . 1987, 13(01): 17-24.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    随着应用计算机网络和分布式处理系统的日益增多,分布式系统的研究也愈来愈引起人们的关注。在分布式处理中,实现并行操作是其核心问题之一。本文综合分布式系统的特点,设计了在网络环境下的分布式处理并行操作RRM协议,并将它在局部网络上具体实现与应用。
  • 欧阳电平,徐明,白云,彭德纯
    . 1987, 13(01): 25.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文主要概述了计算机体系结构的发展趋势以及相应的程序设计语言必然向分布式并行语言方向发展。文章中归纳了分布式程序设计语言研制的两种途径,重点介绍了一种新型的分布式并行程序设计语言——OCCAM。OCCAM既是一种分布式多机并行系统设计的系统程序设计语言,又是一种面向应用和教学的并行程序设计语言。它适合于科学计算,数字处理,实时系统的程序设计。最后,文章给出了在IBM——PC机上,UCSD——P系统支持下的并行算法及其结构的OCCAM模拟程序。
  • 曾华卿
    . 1987, 13(01): 34-38.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文介绍了一个适合实时系统的分布式调度算法——SLABOT算法。并对算法在理论上,模拟结果上和效率上进行分析讨论。
  • 尤晋元
    . 1987, 13(01): 39-47.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文分析评述UNIX S-5信号灯集机构的基本设计思想、功能、实施要点和特点。
  • 应吉康
    . 1987, 13(01): 48-57.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    木文介绍了FACOM M340中大型计算机系统设计中采用的RAS技术。对CPU重试,通道重试,存储器纠错等自动错误恢复技术的实现与性能作了详细的分析。提示了中大型系统中自动错误记录系统与自动故障恢复体系的概念,以及现代采用LSI系统中提高RAS性能设计上的考虑。
  • 夏瑞孝
    . 1987, 13(01): 58.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    一个好的游戏程序,往往用到了宿主机的多种“特异功能”。这些特异功能同样可以用于其它程序中。虽然它们很少有人知道,但其作用却是很大的。 本文分四部分介绍了IBM PC上的游戏程序的实现原理,意在通过游戏程序,较具体地展示一些特异功能,使用户更有效地用好IBM PC机。
  • 熊前兴,顾德义
    . 1987, 13(01): 63.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    ZX-CP/M是以APPLE-Ⅱ为背景在CP/M2.2的基础上研制成功的中西操作系统。考虑其软件的兼容性,在该系统的研制中,我们对汉字数据的表示方法:汉字自名表示和控制符区域表示进行了探讨。 在此基础上提出了中西标识符的汉字数据表示法,并在ZX-CP/M中西操作系统的研制中得到实现。 文章重点介绍了这一方法和实现技术。
  • 谢式绚,杨文瑜
    . 1987, 13(01): 69-73.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文扼要提出了视觉机理上的动态图象分析问题,着重介绍动态图象中目标运动估计的两种方法——微分法及Fourier法的基本原理。
  • NorioTagawa ,MasanobuHashimoto ,杜肖根
    . 1987, 13(01): 74-78.
    摘要 ( ) PDF全文 ( )   可视化   收藏
    本文用模块化方法(BBA)来叙述由悬挂万向支架弹簧机构、驱动臂机构及空气轴承浮动块组成的总的飞行磁头浮动块机构的亚微米浮动间隙的动态特性。基于模态综合方法及有限元方法基础上的BBA适用于由流体润滑膜系统及结构机构系统组成的系统。悬挂万向支架弹簧及驱动臂作为一个三维分布质量系统影响到浮动块的动态特性,以及除了空气膜谐振外,由悬挂万向支架弹簧机构与驱动臂机构引起的谐振或非谐振存在于浮动块的频率响应中。对于上述这些现象已成为清楚的了。而且,从浮动块动态特性的观点来比较温彻斯特(Winchester)机构及惠特尼(Whitney)机构,并获得这两种悬挂机构的允许的介质加速度值,进行了理论值与实验结果的比较。比较结果表明:两者很好地吻合,而且,BBA计算机模拟被证实是对整套飞行磁头机构进行动态特性分析的正确的及高效的方法。