1995, 6(4):193-200.
摘要:近年来,复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视.本文提出了一种复杂对象模型COM,描述了该模型上的说明性查询语言CO-DATALOG的语法结构.在语义方面,定义了空间、基、解释、满足、模型等概念;利用COM实例的格性质证明了CO-DATALOG的模型相交定理、最小模型存在定理以及最小模型的不动点性质,从而重构了其语义理论框架.
1995, 6(4):201-209.
摘要:本文应用NURBS曲面磨光多面体,产生了处处C′连续的过渡曲面.多面体的磨光分为边的磨光和顶点的磨光两种情形,边的磨光相对较容易,而顶点的磨光则很困难.本文所采用的应用NURBS曲面磨光多面体的顶点和边的方法,不仅可以统一实现二者的磨光操作,而且方法简单且统一,产生了C′连续的过渡面.较之以前的方法,首先,利用NURBS曲面可以精确地描述对边磨光所用的柱面(等半径或非等半径),其次,在对顶点的磨光中,同以往的方法不同,将与该顶点相邻的边的过渡曲面相互分离,并首次引入了“补面”的概念,使得对该点所产生的过渡曲面处处C′连续.本算法首先构造用以磨光多面体顶点和边的NURBS曲面的边界曲线网络图产生边界曲线的控制点及其权值(NURBS表示),然后依据连续性准则,产生NURBS曲面的控制信息.
1995, 6(4):210-219.
摘要:软件原型方法弥补了传统生命周期方法维护难度和费用过大的缺陷,为软件开发提供了一种新的开发范例.实现原型法的关键在于能否提供一个合适的开发环境,帮助开发者实现原型定义、构造自动化,支持原型的快速生成.为此,我们在VAXⅡ/GPX图形工作站上设计并实现了一个面向对象的集成化软件原型汗发环境SPE.本文介绍了该环境的设计、实现及特点.
1995, 6(4):227-231.
摘要:本文提出了一个用以刻划综合与分析的发现过程的机器发现方法,定义了组合-分解算子、组合-分解函数、函数发现和函数维护等概念,给出了组合-分解函数的发现算法和维护算法.作为应用,本文探讨了关于知识发现和知识维护的函数型知识发现过程.
1995, 6(4):232-239.
摘要:将面向对象模型与面向值的模型相结合,可兼得二者的优点.本文基于具有组合元组标识的NF2关系模型给出了强调嵌套结构特征的关系运算投影IIs和自然连接,并在此基础上研究NF2关系数据模型中的类、子类及其间的属性继承的语义及形式化定义;引入了S-子类的概念;研究了公共子类及多属性继承的特征.所有的讨论基于组合元组标识,具有较强的面向对象模型的特征.
1995, 6(4):240-247.
摘要:本文研究了超立方体上基于单缓冲和双缓冲技术的无死锁受限条件,提出了相应的无死锁路径算法.性能分析表明,路径算法的效率和算法的自适应能力及算法的复杂性相关.