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

  

• 全选
  |

论文
• Select
  ESDT-HKD:一个IBM-PC机上的专家系统工具

  陈德运,陈是荣,周修廉

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

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

  专家系统开发工具ESDT-HKD是一个通用知识工程语言。它以规则+框架+黑板作为系统的知识结构,是一个在IBM-PC机上实现的功能较完善的系统。它能以其特有的知识结构、良好生成环境和运行环境为用户服务。本文简要地介绍其系统结构、知识结构及实现方法。
• Select
  执行Prolog-prolog程序设计环境

  丁一峰

  . 1989, 15(05): 9-15.

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

  执行prolog是一种prolog程序设计环境。它是用软件实现的prolog计算机的一种模拟。本文介绍执行prolog的特点及其实现。
• Select
  一种基于混合体结构的分布计算语言的设计与实现

  欧阳电平,彭德纯

  . 1989, 15(05): 16-21.

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

  本文介绍在WUSH-86多机并行处理环境下设计的分布计算语言DPFORTRAN。文章讨论了设计分布式程序设计语言常用的方法及DPFORTRAN语言的具体实现。最后介绍了DPFORTRAN语言的特点。
• Select
  线性动态多目标决策支持系统(DIDASSL)的开发与应用

  金伟明,左源儿

  . 1989, 15(05): 22-27.

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

  本文介绍一个以参考点理论为依据,采用人机会话方式的决策支持软件包,它对用线性模式加以描述的工程、社会经济和企业管理等多目标,根据决策人员的愿望进行交互式计算和优化,并求出最接近决策者目标的方案和解。
• Select
  陕西工业统计年报超级汇总分析软件系统的设计与实现

  马忠库

  . 1989, 15(05): 28-31.

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

  本文从陕西工业统计年报超级汇总分析的实际需要出发,使用COBOL高级语言,采用数据文件管理、数据输入质量检测、处理流程的自动控制以及汉字技术,设计与实现了本应用软件系统,用于批量大、时间紧、质量要求高的数据处理,收到了满意的效果。
• Select
  类型对象

  商陆军

  . 1989, 15(05): 32.

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

  本文根据若干具有代表性的面向对象的程序设计语言,特别是笔者设计的CLUSTER 86语言,就面向对象的程序设计中关于类型对象的问题作了如下阐述:(1)通过类型抽象对象;(2)类型对象本身的抽象;(3)类型对象的传递协议。
• Select
  多处理机操作系统的资源管理

  张宇

  . 1989, 15(05): 37.

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

  本文介绍了多处理机操作系统MPSCU/OS的系统资源管理方案,着重讨论了如何从控制结构和分配策略来设计。MPSCU/OS的资源管理采用了“目标管理进程”控制结构,分配策略是无死锁的。
• Select
  可执行的数据流图

  潘锦平,周建鸣

  . 1989, 15(05): 42-46.

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

  本文从软件方法学的角度,分析了传统的瀑布模型的缺陷,讨论了用可执行的数据流图(DFD)来扩展结构化分析方法(SA)的技术,使快速成型技术与SA方法有机地结合起来。文章介绍了国外几个采用可执行DFD方法的系统,并简述了作者正研究开发的FD-CASE/ESAT(Exeutable Struc-tured Analysis Tool)系统。
• Select
  Pascal-AG的block环境属性

  刘琢

  . 1989, 15(05): 47-54.

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

  Pascal-AG描述了Pascal语言的语法和语义。这种描述比较抽象。该文从编译程序的标识符作用域概念引出Pascal-AG的环境属性概念。进而简要、直观地讨论了Pascal-AG block环境属性。
• Select
  分布式数据库中语义完整性检查的实现——C-POREL 系统完整性检查模块设计

  冯欣

  . 1989, 15(05): 55-61.

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

  本文介绍了分布式数据库管理系统DDBMS C-POREL中语义完整性检查的实现技术以及完整性检查模块的设计。提出了完整性约束的四种类型和完整性检查的先决条件,阐述了优化完整性约束和优化完整性检查范围的算法,讨论了断言实施代码分布的控制策略。
• Select
  使用关联矩阵的查询优化算法

  郝忠孝

  . 1989, 15(05): 62-65.

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

  本文提出了利用关联矩阵进行查询分解优化的具体过程和算法。这种方法极利于在计算机上实现。
• Select
  DDB的一种死锁检测方法—定向迭代法

  陶霖

  . 1989, 15(05): 66-69.

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

  本文讨论了分布式数据库的一种死锁检测方法,称为定向迭代法。用分布式算法与等待图相配合来检测死锁,同时在实现机制中附加延迟检测以判断是否真假死锁。
• Select
  适合多处理机MPSCU的并行排序算法

  周六丁,程代杰

  . 1989, 15(05): 70-73.

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

  本文给出了一个适合多处理机MPSCU的并行排序算法。它用k个处理机能在O((N/k)log_2N/k+N)时间内完成N点排序。