1989年, 第15卷, 第04期　刊出日期：

  

• 全选
  |

论文
• Select
  大脑曲面计算机辅助三维重构

  徐嘉芳,孙炳荣

  . 1989, 15(04): 3-8.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文叙述了由IBM PC/AT微机(或PDP 11/23)组成的一个脑组织显微结构三维重构系统。该系统实现了大脑形体的三维重构。本文对切片的对准、曲面的样条处理、立体显示作了详细介绍。
• Select
  以地图为用户界面的城市信息管理系统

  范志刚,韩申瑶

  . 1989, 15(04): 9.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文介绍基于图形—数据库集成式开发环境的“上海市区政信息图形系统”的总体设计、数据结构、算法考虑及实现情况、着重讨论将计算机图形核心系统GKS、数据库管理系统及算法程序库结合成为集成开发环境的指导思想、结构设计及可能的应用领域。
• Select
  共享变量的识别与智能回溯算法

  沈一栋,程代杰,童頫

  . 1989, 15(04): 16.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文分析讨论了PROLOG程序中的变量共享及其在流并行处理和智能回溯中的重要作用,提出了识别共享变量的静、动态结合算法以及在此基础上的流并行子目标的识别算法和智能回溯算法。
• Select
  UIMS—用户接口自动生成系统

  须成忠,蔡士杰

  . 1989, 15(04): 22-26.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  UIMS是最近几年来兴起的关于用户接口设计的研究课题。用户接口和系统应用功能核心是组成应用系统的两个主要方面。本文首先通过对这两者关系的分析,提出了应用系统开发的独立性模型,并揭示了UIMS形成的必然性及其自动化思想实质。然后从软体自动化角度着重分析讨论了UIMS的内外特性和要求。最后结合软件自动化发展技术给出了UIMS的若干发展方向。
• Select
  在共享总线多处理机结构上多边形平行扫描变换算法的性能评价

  钟夏娣,曾红

  . 1989, 15(04): 27-34.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文提出三种多边形平行扫描变换算法,并在共享总线的多处理机结构上实施,以及作了性能比较。从分析和模拟资料看,多边形平行扫描算法大大提高了显示速度。在平行扫描算法中,不用边的相关性算法比用边的相关性算法优越。
• Select
  BASIC语言的结构化讨论

  姚政曙

  . 1989, 15(04): 35-39.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文提出了结构化BASIC语言的思想,并完成了结构化BASIC语言的实验版本(STRUC—BASIC),新增加的解释系统长度仅1.5K。最后给出了在实验版本支持下运行的几个实例。
• Select
  NNI-PROLOG/PC系统的实现技术

  范仲春,邢汉承,邢东生

  . 1989, 15(04): 40.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本系统从编译和求解机制两方面着手,即考虑了编译阶段对求解机制的影响,同时分析了结构拷贝技术、编码索引技术、参数装载和保存技术、尾递归优化技术对PROLOG执行效率的影响。最后,就本系统和Tubro-PROLOG的性能作了评价。
• Select
  SUST—PROLOG/4361系统的设计与实现

  朱关铭,缪淮扣,甘小平,苗巍山,李迎豪

  . 1989, 15(04): 46-49.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文介绍了SUST-PROLOG/4361系统的组成及其实现技术。
• Select
  同步机构在ZDOS中的设计与实现

  张德馨,任午令

  . 1989, 15(04): 50-54.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  ZDMP是一个具有公共存贮器的共享总线型的多处理机系统。ZDOS是它的多机操作系统。 本文首先讨论了事件计数器及定序器与P、V操作的等价性。然后指出了事件计数器及定序器与通信原语、接口模块、路径表达式等同步机构的等价性及其实现。
• Select
  Tektronix 834通信测试仪在计算机通信网络开发中的应用

  黄文琦

  . 1989, 15(04): 55-64.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  计算机通信网络是计算机和通信技术两者高度发展和密切结合而成的。本文阐述了以IBM的BSC(Binary Synchronous Communication)规程为背景,采用Tektronix 834通信测试仪作为模拟测试工具,开发国产中型机HDS-8060计算机通信网络,以及834通信测试仪上多点通信网络测试程序的编写方法。最后给出多点通信网络测试程序的原程序。
• Select
  局域网上FTAM的实现

  康奇林,高传善

  . 1989, 15(04): 65-68.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文介绍了按开放系统互连国际标准开发的局域网高层软件之一:FTAM(文件传送、存取和管理)软件。
• Select
  ISO FTAM 协议的形式化描述

  龚俭,奚小楠

  . 1989, 15(04): 69-74.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文简要介绍了形式化描述语言Estelle的功能和结构,以及文卷传送、访问和管理协议(FTAM-ISO_(8571)),然后给出了用Estelle描述的FTAM协议结构模型和动作模型的一个子集,并对这个形式化描述进行了一些解释。