摘要:给定一阶语言及该语言的一个理论，假设需要在理论中添加一个与理论不和谐的语句，并要求保持理论的扩张是和谐的，就必须删除理论内的某些语句．删除理论中尽可能少的语句，即保留理论与需要添加语句和谐的一个极大子集，是构造理论扩张的一种方法．本文构造出了针对上述理论扩张的证明论．该证明论的可靠性及完全性刻划了一般形式的理论扩张与典型的理论扩张间的联系．对于命题逻辑，本文还给出了判定理论扩张的一种方法．

摘要:本文总结了软件复用技术的基本概念，介绍了有关软件复用的理论研究和实践活动，指出研究软件复用技术存在的关键问题，并给出了可选的解决方案．最后，说明了软件复用与ＣＡＳＥ环境的关系．

摘要:本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果．

摘要:本文介绍了一种以构架和基本笔划为汉字的知识表示，从黑体到隶书的汉字字形自动变体方法．该方法首先实现基于特征的黑体构架到隶书构架的变换，然后实现基于笔划柔性映射的隶书构架到隶书轮廓字形的生成．此方法探讨了一条汉字字体间自动转换的途径，并具体实现了从黑体到隶书的自动变体．

摘要:本文以青岛市委管理信息与辅助决策系统为背景，提出面向一般计划管理人员的预测应用系统的开发设计原则：以通用、经典的预测方法为基础，以先进的计算机技术为手段，建立应用系统的集成环境，支持用户进行预测工作，重实效，重理解．并依此原则，描述了集成环境下的预测应用网络系统的设计和实现。

摘要:闭世界假设（ＣＷＡｓ）是逻辑数据库中一类主要的隐含完备．本文给出了一种参数化ＣＷＡ的一般定义，使用这种参数化定义，已知的以及新的ＣＷＡｓ可作为特殊情况推导出，并可对数据库完备的概念进行更有效的描述．

摘要:本文讨论了上下文无关图文法的性质，并证明了图文法推导具有独立性．本文还给出了一种有效的上下文无关图文法分析算法，它具有多项式时间复杂性，并给出了算法的正确性证明．该算法已经用Ｃ语言实现．