C++程序理解辅助系统*

本文介绍了一个针对c++语言的程序理解辅助系统HOOPUS(hypertext—basedobject—oriented program understanding support system)．该系统基于程序结构分析技术，以易于理解的形式显示程序中的信息，辅助理解c++程序的功能与结构．另外，它还利用hypertext、多维表现、导航与定位等技术对理解过程提供支持．     

基于规则的市场分析方法*

本文叙述了基于规则的市场分析方法，结合随机性市场分析的特点，讨论了规则应具有的表达能力，引用s—表达式的概念，建立了归一化存储结构，提出了变量环境的概念，实现了合一过程，建造了一个基于规则的市场分析报告生成系统．     

广义继承及其在面向对象程序设计语言中的实现*

本文给出一种包含多种继承行为的、非常灵活的代码复用机制——广义继承,通过给出其操作语义和一个支持类间子类型关系确认的类机制．为其在面向对象程序设计语言中的实现奠定了基础．     

自动生成前端编译程序的一种方法*

本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统．本文在概述了属性文法及其描述语言之后，简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施．     

函数式语言的集合描述方法及其实现算法*

本文介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法．集合的引入改善了函数式程序的表达能力，并且为提高程序执行效率创造了条件．     

媒体同步技术*

人们可以用多种媒体形式表达同一段内容，这样，在输出这些内容的时候就会碰到媒体同步的问题．本文就多种媒体输出同一内容但有多种表达形式时的媒体同步问题进行了一些探讨，提出了一种媒体同步输出的控制模型，并且根据此模型给出了具体工作中媒体同步控制的实现．     

市场分析与预测的一种文字报告生成方法与实现*

市场分析与预测系统是一种为企业决策者提供市场信息的决策支持系统．本文对一种市场分析与预测系统的总体结构进行了讨论，并在此基础上提出和实现了基于模板的文字报告生成方法．     

状态逻辑语言迭代程序的可计算性*

状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言．递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数．这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算．     

基于知识的数据自动分布模型*

基于松散耦合的多处理机系统(DMS)的发展，要求有相应的并行软件工具的支持，而在目前的大多并行软件系统中，用户必须显式给出顺序执行程序的划分方法以及在DMS中不同处理器上的分配算法．针对这一问题，本文首先介绍了一种基于知识的数据自动分布模型(KBDM)，以期对程序的划分和分布问题提供自动的支持，然后讨论了KBDM设计的主要思想，并给出该模型主要部件的详细描述。     

面向对象的PROLOG程序测试工具的研究与实现*

本文首先对Prolog程序中的错误进行了系统的分类，并对各类错误提出了相应的测试算法．接着介绍了一个面向对象的Prolog程序测试工具的设计与实现．     

程序变换的一种规范说明方法

文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译系统ＯＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用。     

形文件自动生成技术

形是AutoCAD软件定义的一类特殊图形,是解决特殊符号及汉字输入的基本手段。但由于它必须用特定的编码定义,所以形的生成并不容易。本文在仔细研究形的编码后,提出了形的自动编码方法,并对其算法原理和关键技术作了详细说明。     

面向方面程序的调用图生成算法

调用图(call graph)分析是进行程序分析、程序理解、软件测试和软件维护的重要基础.目前已提出的调用图生成算法多数是针对面向对象编程;而面向方面编程作为面向对象编程的扩展,还没有比较良好的调用图生成算法.为此,分析了既有的面向对象程序调用图生成算法,讨论了面向方面程序语言(AspectJ为例)的特殊语言元素及其对生成的调用图的影响,从而构筑了面向方面程序调用图的生成算法.     

一种程序综合方法

通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该仙约的程序。本文讨论了程序规约的验证程序的构造方法，作为研究程序自动佛的一种途径。     

ADA程序通信死锁的动态检测方法

针对ＡＤＡ并发多任务程序的特点,文中提出了一个新的ＡＤＡ程序动态死锁检测方案,并且在这个理论的基础上实现了一个动态死锁测试工具ＤＤＴＴ。此工具能够正确检测ＡＤＡ我任务程序由于通信关系不当而的死锁。文中详细介绍了动态死锁测试工具ＤＤＴＴ所依赖的全部概念胶判一规则,以及它的工作原理。     

网状函数关系数据对象的通用编辑技术

文中对一类具有网状函数关系的数据对象论述了其交互式的编辑技术，重点讨论了结构化程序设计中对对话框操作方式下网状关系数据对象数据模型的描述、编辑及处理。所述的方法可以实现通用的与应用无关的复杂对象的数据编辑，以增强软件的可重用性。     

用户界面设计中的用色原则

色彩是传递信息的重要媒介。本文根据色度学理论，分析了光与视觉特性，三基色原理与彩色模型。提出了几种用户界面设计中的选色原则和彩色映射实例来解决实际界面的选色问题。     

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

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

一种无人机生成平滑航迹方法的研究与实现

无人机在未来战场中占有重要地位,航迹规划直接影响其作战能力。针对无人机航迹规划算法中存在的问题,提出一种生成平滑航迹的方法。该方法解决了直角拐弯、航迹不平滑、规划航迹与实际航迹不一致的问题。最后,通过VC++6.0+mapX5.0编程实现,结果表明了该方法的优势。