摘要:近年来，复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ，描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面，定义了空间、基、解释、满足、模型等概念；利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理、最小模型存在定理以及最小模型的不动点性质，从而重构了其语义理论框架．

摘要:本文应用ＮＵＲＢＳ曲面磨光多面体，产生了处处Ｃ′连续的过渡曲面．多面体的磨光分为边的磨光和顶点的磨光两种情形，边的磨光相对较容易，而顶点的磨光则很困难．本文所采用的应用ＮＵＲＢＳ曲面磨光多面体的顶点和边的方法，不仅可以统一实现二者的磨光操作，而且方法简单且统一，产生了Ｃ′连续的过渡面．较之以前的方法，首先，利用ＮＵＲＢＳ曲面可以精确地描述对边磨光所用的柱面（等半径或非等半径），其次，在对顶点的磨光中，同以往的方法不同，将与该顶点相邻的边的过渡曲面相互分离，并首次引入了“补面”的概念，使得对该点所产生的过渡曲面处处Ｃ′连续．本算法首先构造用以磨光多面体顶点和边的ＮＵＲＢＳ曲面的边界曲线网络图产生边界曲线的控制点及其权值（ＮＵＲＢＳ表示），然后依据连续性准则，产生ＮＵＲＢＳ曲面的控制信息．

摘要:软件原型方法弥补了传统生命周期方法维护难度和费用过大的缺陷，为软件开发提供了一种新的开发范例．实现原型法的关键在于能否提供一个合适的开发环境，帮助开发者实现原型定义、构造自动化，支持原型的快速生成．为此，我们在ＶＡＸⅡ／ＧＰＸ图形工作站上设计并实现了一个面向对象的集成化软件原型汗发环境ＳＰＥ．本文介绍了该环境的设计、实现及特点．

摘要:本文介绍了一个适用于ＣＩＭＳ、ＣＡＤ、ＡＩ和ＧＩＳ等领域的面向对象数据库系统ＷＨＹＭＸ．ＷＨＹＭＸ给出了聚合规范化和概括规范化的理论描述，提出了复杂对象的并发控制策略、存贮管理策略和对象管理方法．它支持嵌套事务处理和大对象的存贮管理．它在对象描述层下面增加了基于元组和面向值的操作，从而把面向对象模型与关系模型有机地结合在一起．

摘要:本文提出了一个用以刻划综合与分析的发现过程的机器发现方法，定义了组合－分解算子、组合－分解函数、函数发现和函数维护等概念，给出了组合－分解函数的发现算法和维护算法．作为应用，本文探讨了关于知识发现和知识维护的函数型知识发现过程．

摘要:将面向对象模型与面向值的模型相结合，可兼得二者的优点．本文基于具有组合元组标识的ＮＦ²关系模型给出了强调嵌套结构特征的关系运算投影II^s和自然连接，并在此基础上研究ＮＦ²关系数据模型中的类、子类及其间的属性继承的语义及形式化定义；引入了Ｓ－子类的概念；研究了公共子类及多属性继承的特征．所有的讨论基于组合元组标识，具有较强的面向对象模型的特征．

摘要:本文研究了超立方体上基于单缓冲和双缓冲技术的无死锁受限条件，提出了相应的无死锁路径算法．性能分析表明，路径算法的效率和算法的自适应能力及算法的复杂性相关．

摘要:本文定义了广义Ｈｏｒｎ集，并在广义Ｈｏｒｎ集上证明了广义输入归结的完备性；广义输入对称调解的完备性；以及一定条件下的广义输入有向调解的完备性．文中还证明了广义调解法的提升引理．