• 1994年第5卷第11期文章目次
    全 选
    显示方式: |
    • 图形分布处理支撑环境DGPSE

      1994, 5(11):1-6.

      摘要 (3496) HTML (0) PDF 401.58 K (3252) 评论 (0) 收藏

      摘要:本文详细介绍图形分布处理支撑环境DGPSE的设计和实现技术.DGPSE有效支持高性能分布式图形应用系统的开发和分布并行图形处理算法的研究.它具有以下特点:支持多种分布处理模型,通讯方式灵活,图形支撑功能强.使用DGPSE已实现了一分布式图形应用系统和一组分布式图形算法.的设计和实现.南京大学计算机系硕士论文,1991.13潘志庆,石教英.Fractal生成的并行算法研究.全国第7届CAD和图形学会议论文集,无锡,1992.14石教英,劳志强,潘志庚.多面体扫描转换的分布并行算法.全国第7届CAD和图形学会议论文集,无锡,1992.

    • 中文页面描述语言文本管理器的设计与实现

      1994, 5(11):7-15.

      摘要 (3696) HTML (0) PDF 562.66 K (3547) 评论 (0) 收藏

      摘要:文本管理器是用于提高中文页面描述语言解释器效率而引入的前处理系统,它包括资源管理、异常处理、EPSF管理和文本优化等功能模块.本文详细论述了文本管理器的设计思想与相应实现方法.

    • Sidle的远程执行设备

      1994, 5(11):16-22.

      摘要 (3637) HTML (0) PDF 151.28 K (3009) 评论 (0) 收藏

      摘要:Sidle系统是运行在SUN工作站网络上的一组实用程序,利用空闲的处理机资源进行大粒度的并行计算.同其它远程执行设备相比,它能支持程序内部并行和嵌套的远程执行,允许一个服务员机接受多个远程执行任务.本文介绍了这些特点和透明性的实现方法.

    • 推理维护系统的Petri网模型

      1994, 5(11):23-30.

      摘要 (3078) HTML (0) PDF 912.35 K (3329) 评论 (0) 收藏

      摘要:本文为推理维护系统引入一种Petri网模型并对有限非单调理论应用Petri例分析方法.本文提议的模型不但能描述推理维护系统,而且可用网论与网技术分析推理维护.对于一组给定的非单调规则我们给出一个算法可求得其外延,我们还给出一个算法可发现系统的不一致性.我们提出的寻找外延的算法要比现有的重构过程更有效,且它是可判定的.

    • 一个基于抽象解释的部分演绎过程

      1994, 5(11):31-37.

      摘要 (3693) HTML (0) PDF 103.33 K (3215) 评论 (0) 收藏

      摘要:本文提出一种新的基于抽象解释的逻辑程序部分演绎方法.在一遍预处理里,针对给定的程序和目标,同时进行∪{}的部分演绎和抽象解释,以抽象解释控制部分演绎的展开过程.只要抽象论域是有穷的,部分演绎必定终止,而且'带有抽象解释估算出的关于其运行性质的信息,便于对作进一步优化.

    • 使用工作站网络并行执行prolog程序

      1994, 5(11):38-43.

      摘要 (3771) HTML (0) PDF 491.28 K (3142) 评论 (0) 收藏

      摘要:本文介绍了一个在SUN工作站网络上实现的分布式C—PROLOG解释系统DC-PROLOG,它能够自动地将其应用程序的顺序解释过程变为并行解释过程;能够充分利用空闲的主存资源求解大问题,使一些单机上因内存容量不足而无法执行的任务得以执行.

    • 区域特征的乐谱识别系统

      1994, 5(11):44-49.

      摘要 (4361) HTML (0) PDF 103.36 K (3985) 评论 (0) 收藏

      摘要:在分析乐谱的基础上,本文提出了区域特征的乐符识别方法,并实现了乐谱识别系统.乐谱用扫描仪输入,经过预处理、去除噪音、确定谱线位置、测定线宽、删除谱线等先期处理后,切分出各种乐符,用区域特性和乐符属性对乐符进行识别,系统还实现了乐谱计算机识别之后的自动演奏.

    • 基于类型一阶理论的逻辑自动编程

      1994, 5(11):50-58.

      摘要 (3660) HTML (0) PDF 449.18 K (3495) 评论 (0) 收藏

      摘要:本文用类型一阶理论来定义逻辑程序,并通过引入Lakatos的基于证伪的发现方法论将原有的封闭型类型一阶理论改造为开放的类型一阶理论.在此基础上,建立了一个基于假说演算的逻辑自动编程理论,并利用这一理论在Sun工作站上建立了一个自动设计Prolog型程序的实验系统.

    • Script──长期进程的设计与实现

      1994, 5(11):59-65.

      摘要 (3151) HTML (0) PDF 100.83 K (3126) 评论 (0) 收藏

      摘要:为包括数据库在内的信息系统提供长期进程模型是一项很重要而迫切的工作.本文首先介绍了使用具有通讯机制和时间表达能力的Petri同来模拟社会现象中长期行为的概念──Script.然后阐述了如何用语义数据模型来描述这样的概念结构并略述了实现中的一些技术问题.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:https://www.jos.org.cn
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号