1993年, 第19卷, 第04期　刊出日期：

  

• 全选
  |

论文
• Select
  函数语言FOPL及其操作语义模型

  梅宏,孙永强

  . 1993, 19(04): 3-9.

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

  本文介绍—以ADT为主要构件的函数语言,它是我们设计的函数式及面向对象式合成语言FOPL的函数部分,我们仍以FOPL称之.进而我们描述其操作语义模型:多态λ演算+代数重写系统,并讨论该模型的合流性(CR性)和强范式性(SN性).＊
• Select
  面向对象语言中的限制继承

  张家重,王志坚

  . 1993, 19(04): 10.

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

  软件重用是提高软件生产率、保证软件质量的重要方法之一,而程序设计语言中的继承机制是软件重用的有效途径.在当前颇受关注的面向对象语言中,介绍较多的是语言所提供的继承设施.本文讨论了面向对象语言中的继承种类,重点探讨了作为薄弱环节的限制继承,并给出实现限制继承的方法.
• Select
  关系数据库5NF的相关判定方法的研究

  王新生,郝忠孝,邓成玉

  . 1993, 19(04): 13.

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

  本文对文献[1]中满足一定条件的关系模式5NF的判定方法进行了分析,通过对无损连接分解的若干性质的研究中,得出了关於5NF判定的相关判定法.
• Select
  工程数据库语言OSQL的设计与实现

  冯建华,周伯鑫

  . 1993, 19(04): 16.

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

  本文介绍了一种工程数据库语言OSQL,它是在SQL中引入OO概念和思想后扩展而成的.文中介绍了OSQL的设计原则、方法、特点及其在CIMS/EDBMS中的实现.＊
• Select
  数据库可视用户接口VID的设计与快速实现

  贝来倩,瞿兆荣

  . 1993, 19(04): 20-25.

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

  摘要.随着数据库应用的日趋广泛,终端用户需要友好的用户接口.一个可视的用户接口通过对数据库模式进行简单的可视表示,可使用户直观地与系统交互、操纵数据、开发程序.目前,对数据库可视接口的研究尚处于起步阶段,还没有统一的认识和方法.本文围绕用C++语言实现数据库可视接口VID的整个过程,探讨了面向对象方法在开发可视接口原型时的作用.文章首先简单地介绍了VID的适用范围、与DBMS的关系,着重介绍了VID的功能特性,然后描述如何使用面向对象语言C++的特性,特别是用继承性、多态性来加速VID的开发.＊
• Select
  专家系统开发工具UEST及其应用

  王耀南

  . 1993, 19(04): 26.

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

  本文介绍一个可用于花岗岩型铀矿找矿的专家系统开发工具(UEST).文中阐述了该工具软件的结构、动态知识翻译、推理方法.并提出了一种广义的产生式规则用于表达专家的知识.＊
• Select
  分布式系统中卷回技术综述

  许再越

  . 1993, 19(04): 31-36.

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

  系统恢复技术是容错分布式计算机系统的技术核心.目前许多研究工作都偏重于卷回技术.本文综合众多文献,提出卷回技术必须考虑的七个问题;介绍了校验点设置算法的分类及两个经典的系统模型;并对近来几个典型算法作了简要的评价.＊
• Select
  交互式逐步分色技术

  陈德基,宣国荣

  . 1993, 19(04): 37.

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

  计算机彩色图像处理正随着彩色图像输入设备的推广越来越得到广泛的注意.颜色包括明度、色调和饱和度三个要素.彩色图像包含比黑白图像更多的信息,同时对彩色图像的处理也变得更加复杂.“交互式逐步分色”是一个简单、快速、实用的分色方法,其算法复杂度低.与其它算法相比,具有受图像大小、距离公式复杂性的影响较小的优点.＊
• Select
  一个在微机上的底层彩色图像处理系统

  俞益洲,陈纯

  . 1993, 19(04): 42-48.

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

  本文介绍了一个微机上的底层彩色图像处理系统及配套的图形库.并着重介绍了一些基本算法的改进,如细化算法、行程压缩算法、色彩转换算法等的改进.这个系统用于支撑将来的彩色印染、印刷系统.＊
• Select
  基于高级Petri网的OSI网络协议形式描述

  顾冠群,罗军舟

  . 1993, 19(04): 49-53.

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

  在全面分析OSI参考模型的基础上,建立了OSI服务模型和协议模型;然后介绍了一种高级Petri网,称为EPr/TN网系统,作为OSI网络协议的形式描述工具;最后用EPr/TN网系统形式描述了运输协议,阐明了OSI网络协议形式描述的一般方法.＊
• Select
  高级符号调试器的技术研究与设计实现

  蔡建平

  . 1993, 19(04): 54-58.

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

  通常程序调试是软件开发过程中最费时的一个步骤,好的调试器能够显著地减轻程序员调试程序的劳动.因此,调试技术的研究和调试器的开发被各国计算机工作者广为重视.本文首先叙述开发高级符号调试器的意义和目的,介绍高级符号调试技术及VAX DEBUG的工作原理,然后就Ada语言调试器(简称ADB)的开发问题作一般讨论,最后介绍ADB的实现情况.＊
• Select
  VAX/VMS下设备驱动器的实现方法

  陈立刚,叶栋材,华祖耀

  . 1993, 19(04): 59-65.

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

  本文首先介绍了VAX/VMS下设备驱动器的概念及组成,讨论了设计与实现一个驱动器有关的问题.之后.以一个采集监控系统为背景.给出一个用于连接NEFF数据采集设备的并行DMA接口DRV11-WA的快速专用驱动器的设计与实现.＊
• Select
  4400厂管理信息系统开发技术

  左源儿

  . 1993, 19(04): 66-71.

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

  本文简单介绍4400厂管理信息系统的总体设计思想、系统结构及开发特点.在HP3000/70 机上选用国内外先进软件和开发技术开发4400厂管理信息系统.
• Select
  上海发展和应用EDI迫在眉睫、势在必行

  高毓乾

  . 1993, 19(04): 72-74.

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

  <正> 随着科学技术的迅猛发展,国际标准的统一和国际竞争的需要,电子邮政(E-MAIL),电子数据交换(EDI)等新一代信息处理和服务方式的发展日新月异,电子邮政的一项重要应用是为EDI提供无时空障碍的传递媒介.这种“无纸公文”、“无纸贸易”和各种远程信息服务已成为进行国际贸易、国际交往和商业往来的重要形式.