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

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

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

摘要:测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ

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

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

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

摘要:本文针对偏序集（ＰＯＳ）任务的调度问题，提出一种基于时区与时区估计的层次调度模型．该模型与界定搜索（ＢｅａｍＳｅａｒｃｈ）方法有机结合，使得本文给出的调度算法具有搜索空间小、求解速度快的优点．