1986年, 第12卷, 第06期　刊出日期：

  

• 全选
  |

论文
• Select
  逻辑程序综合的一种方法

  朱关铭,甘小平

  . 1986, 12(06): 3.

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

  木文给出逻辑程序综合的一种方法,按规范说明则p(X)Formula(X)中一阶公式Formula(X)的结构,反复运用变换规则,得到一个正确定义谓词p(X)Prolog程序。对于递归说明,也给出了相应的方法。
• Select
  不确定演绎数据库向PROLOG数据库的映射:问题和方法

  沈一栋,童頫

  . 1986, 12(06): 9.

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

  从证明论(Proof Theory)的观点看,演绎数据库构成了一种特殊的一阶理论,并被分为确定(Definite)和不确定(Indefinite)两种形式。很容易用PROLOG表示和处理确定型演绎数据库,因为组成它的事实和推演规则(Deductive Rules)为一组Horn子句。非Horn子句(non-Horn Clauses)的存在使不确定演绎数据库向PROLOG数据库的映射复杂化。实现这种映射面临的主要问题为:1).如何用PROLOG表示和处理non-Horn子句;2).如何克服闭域假设(Closed World Assumption)下的不一致性;3).空值(Null Values处理;4).如何得到不确定解答(Indefinite Answers)。本文分别讨论了这些问题,并提出了解决方法。
• Select
  增量程序设计环境中属性文法的增量计值

  贾肖平

  . 1986, 12(06): 15.

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

  近年来,在增量式程序设计环境的领域中,许多工作在致力于开发各种各样的功能和特色。而在增量程序设计环境的形式化描述和自动生成方面所做的工作还很少。属性文法是用来表示程序设计语言语义的很好的工具,它已经被成功地应用于编译程序的自动生成。但当应用于增量程序设计环境时,遇到了一些特殊的困难。困难之一就是属性增量计值的效率问题。T.Reps在这方面做了一些工作,本文改进了他的工作。我们对应用于增量程序设计环境的属性文法作了一个修改,然后提出了一个针对修改后的属性文法的增量计值算法。这一算法在时间和空间上都优于Reps的算法,并且在时间上是最优的。
• Select
  程序变量的正则相关性

  侯洛明

  . 1986, 12(06): 24.

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

  本文作为对文献[1]的改进,提出了程序变量的正则相关性概念和求正则相关变量的算法,且讨论了它在并行编译中的应用。
• Select
  向量存贮的多个栈上溢的互换处理方法

  朱上俭

  . 1986, 12(06): 29-32.

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

  本文提出了向量存贮的多个栈上溢的互换处理方法,描述了该方法的使用条件和过程框图,并从理论和实际两个方面证明:包含该方法的上溢处理过程能有效地减少元素移动量和溢出次数,获得比传统的平移处理过程较高的溢出处理速度。
• Select
  对Auto CAD的二次开发-汉字功能的实现

  范志刚,张康,丁肇俊

  . 1986, 12(06): 33-37.

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

  本文介绍了微计算机辅助设计软件包AutoCAD最新版本中与进行二次开发有关的若干重要功能,并着重介绍了为AutoCAD增加汉字功能的设计原则、实现方法以及主要功能。同时将汉字AutoCAD与具有日文汉字功能的GMM图形系统进行比较。
• Select
  一种圆弧直接剪取算法

  吴依本,赵铭纪,陈敏超

  . 1986, 12(06): 38.

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

  本文提出十种圆弧直接剪取算法,它适用于如:CIRCLE(x,y,r,α,β)的画圆语句,这里x,y为圆心座标,r是半径,α和β分别为圆弧起始角和终止角的弧度值。
• Select
  交互式二维计算机制图系统IGS-2D的设计和实现

  吴依本,赵铭纪,陈敏超

  . 1986, 12(06): 41-47.

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

  IGS-2D是以IBM-PC系列机基本系统为基础实现的一个交互式二维制图系统。借助于该系统,操作者不用编程,只需通过对键盘上一组预先定义的功能键和四个光标控制键的操纵,方便地选择以菜单形式给定的各种命令,绘制以点、线、圆等基本图形元素构成的屏幕图象。此系统还包括了删除、变换、存取和硬拷贝等较完备的图形编辑功能。
• Select
  MAPG-具有绘图仿真功能的三座标数控铣床自动编程系统

  黄天敏,袁亦群,张安

  . 1986, 12(06): 48-55.

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

  <正>MAPG——具有绘图仿真功能的三座标数控铣床自动编程系统。它专门解决工业化生产中多座标数控机床加工零件程序编制问题。 本系统在图形处理上抛弃了传统的解析定义法,采用了有向图和多面投影的定义方法;采用向量计算法,简化各种复杂型面的几何计算,提高了计算精度;在数控语言中引进了算术表达式并把它扩充成几何表达式;在绘图处理中,采用了齐次变换矩阵的简明算法。 MAPG系统是在Z-80微机上实现的。至今该系统已经成功地完成了几十种复杂零件的自动编程问题。
• Select
  分布式文献数据库检索系统的设计与实现

  陆皓

  . 1986, 12(06): 56-61.

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

  分布式文献数据库检索系统已在同济大学SIEMENS 7.536 计算机上建立和运行,它使用公共检索命令集(CSCS)作为统一的查询语言,为上海高校科技情报检索计算机网络的各个结点上的用户提供联机检索和定题情报服务。该系统具有多种检索途径,既可使用主题法,也可使用分类法进行检索。
• Select
  模拟程序系统的调试和开发工具

  黄德利,顾宝发,徐公权,王德新

  . 1986, 12(06): 62-67.

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

  本文以模拟某计算机系统为例,介绍了用于模拟程序系统的联机调试和开发手段。着重讨论了使用宿主机联机调试工具ODT的调试、设置独立的调试模块、面向目标机的调试等方法的建立和应用问题。
• Select
  ZPC-6188温盘驱动器的定位控制

  吴成艾,徐文贤

  . 1986, 12(06): 68-73.

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

  本文介绍了半高5 1/4时ZPC-6188型温盘驱动器的磁头定位控制的工作原理,着重叙述了单片机INTEL 8048/8748在磁头定位控制中的应用。
• Select
  华东计算技术研究所1987年招收攻读硕士学位研究生

  . 1986, 12(06): 74.

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  1986年总目录

  . 1986, 12(06): 75-77.

  摘要 ( ) PDF全文 ( )   可视化   收藏
• Select
  “全国第四次计算机局域网学术会议”在沪召开

  . 1986, 12(06): 77.

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

  <正>由中国自动化学会综合办公室自动化系统委员会、计算机应用委员会,中国通信学会数据通信委员会和上海市计算机学会联合主办的“全国第四次计算机局域网学术会议”于9月2日至5日在上海复旦大学召开,来自全国19个省、市、自治区,150多个单位的250余名的代表出席了会议。上海市计算机和大规模集成电路办公室副主任陈行祥、上海市计算机学会理事长虞浦帆、