• 1994年第5卷第5期文章目次
    全 选
    显示方式: |
    • 基于解释的算法构架的学习

      1994, 5(5):1-7.

      摘要 (3563) HTML (0) PDF 392.65 K (3434) 评论 (0) 收藏

      摘要:本文提出了将解释学习方法用于学习算法构架的思想,以提高软件自动化系统从功能规格说明转换到设计规格说明的能力.文中给出了算法构架的表示,操作性的定义及其处理方法.系统从用户给出的一个问题的解中学习算法构架,用于解决一类问题,系统的学习效果表现为通过学习能够解决原来不能解的问题.

    • 数据并行的性能分析

      1994, 5(5):8-15.

      摘要 (3575) HTML (0) PDF 411.17 K (3328) 评论 (0) 收藏

      摘要:计算机是一种工具.作为工具,其应用的成功与否具有重要的意义.本文从应用的角度分析了数据并行处理方式下并行处理的性能.首先,本文建立了一个性能分析模型,之后,基于此模型,对影响并行处理性能的各因素进行了详细地分析.本文的分析结果对于并行算法的设计者和并行计算机系统的设计者均具有指导意义.

    • 面向对象逻辑语言SCKE中的限制推理

      1994, 5(5):16-25.

      摘要 (3935) HTML (0) PDF 431.54 K (3325) 评论 (0) 收藏

      摘要:限制理论是形式化常识知识并进行常识推理的一种重要方法.本文主要研究将限制理论转化为面向对象逻辑语言的可能性,并实现了完成这个转换的编译器.按面向对象逻辑语言的语义运行编译后的程序,可得到与原限制理论相同的结果.将该编译器嵌入面向对象逻辑语言解释器中,可以大大提高该语言的表达能力,特别是可以实现对常识知识表示和常识推理的支持.

    • 测试集自动生成工具TUGEN的设计与实现

      1994, 5(5):26-38.

      摘要 (3067) HTML (0) PDF 548.64 K (3415) 评论 (0) 收藏

      摘要:测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支,本文在对目前已有的各种测试集生成方法进行分析的基础上,提出了一种新的测试集自动生成方法并对它的实现TUGEN作了介绍.TUGEN基于一种称为EBE的形式模型,EBE模型只对协议的外部行为进行描述,而且可以从协议的Estelle或LOTOS描述中转化得到.TUGEN以协议的EBE-NF描述作为输入,使用我们新提出的一套测试事例生成策略,最后产生出TTCN.MP格式的测试集.我们用X.25LAPB协议的EBE-NF描述作为例子,对TUGEN

    • 数据流图的形式规范

      1994, 5(5):39-45.

      摘要 (4578) HTML (0) PDF 791.14 K (3530) 评论 (0) 收藏

      摘要:本文提出了属性图,以描述数据流图的拓扑结构和性质,并提出了边(流)组成关系以给出父子数据流图平衡的形式定义,由此得到的数据流图的形式规范强于文献中现有的规范.本文提出的形式规范方法适用于不同类型的数据流图,包括DeMarco型数据流图、实时系统数据流图等.

    • 利用算符分析的问题求解

      1994, 5(5):46-51.

      摘要 (3102) HTML (0) PDF 441.32 K (3820) 评论 (0) 收藏

      摘要:将状态空间的问题求解过程变换为逐步缩小与目标状态的差异过程是一种问题的分解方式.求解差异的顺序可通过分析算符对状态的影响而作出规划,规划的原则是最大限度地在不改变最近已实现子目标的条件下实现下一子目标.为此,在问题分解时各层子目标选择的依据是让各算符有最大的可利用率,即以状态对算符最小约束传播的原则选择各层子目标;最后生成一个子目标规划层次集.问题求解过程就表现为从初始状态开始实现层次集中的某一子目标序列,其间可能涉及子目标回溯.

    • 一种基于格局的程序分析方法

      1994, 5(5):52-57.

      摘要 (3673) HTML (0) PDF 757.39 K (3391) 评论 (0) 收藏

      摘要:本文提出了一种自动程序分析方法,其基本思想是程序可以看成由一组基本成分根据特定的构造方式来构成,从而可以通过提供一组标准的分析方法,实现对程序的自动分析与理解.

    • 基于时区与时区估计的层次调度模型

      1994, 5(5):58-64.

      摘要 (4105) HTML (0) PDF 432.96 K (3267) 评论 (0) 收藏

      摘要:本文针对偏序集(POS)任务的调度问题,提出一种基于时区与时区估计的层次调度模型.该模型与界定搜索(BeamSearch)方法有机结合,使得本文给出的调度算法具有搜索空间小、求解速度快的优点.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编: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号