• 1995年第6卷第4期文章目次
    全 选
    显示方式: |
    • 基于复杂对象的知识库语言

      1995, 6(4):193-200.

      摘要 (3700) HTML (0) PDF 474.72 K (4227) 评论 (0) 收藏

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

    • 应用NURBS曲面磨光多面体

      1995, 6(4):201-209.

      摘要 (3941) HTML (0) PDF 520.94 K (4575) 评论 (0) 收藏

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

    • 一个面向对象的集成化软件原型开发环境

      1995, 6(4):210-219.

      摘要 (3809) HTML (0) PDF 631.64 K (4552) 评论 (0) 收藏

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

    • 一个面向对象数据库系统的研究与实践

      1995, 6(4):220-226.

      摘要 (3633) HTML (0) PDF 527.90 K (4308) 评论 (0) 收藏

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

    • 基于组合─分解的机器发现方法

      1995, 6(4):227-231.

      摘要 (3573) HTML (0) PDF 310.54 K (4420) 评论 (0) 收藏

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

    • NF2关系模型与属性继承

      1995, 6(4):232-239.

      摘要 (3984) HTML (0) PDF 486.45 K (4623) 评论 (0) 收藏

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

    • 超立方体上基于缓冲机制的无死锁路径算法

      1995, 6(4):240-247.

      摘要 (3608) HTML (0) PDF 540.81 K (4472) 评论 (0) 收藏

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

    • 广义Horn集

      1995, 6(4):248-256.

      摘要 (3645) HTML (0) PDF 484.88 K (4565) 评论 (0) 收藏

      摘要:本文定义了广义Horn集,并在广义Horn集上证明了广义输入归结的完备性;广义输入对称调解的完备性;以及一定条件下的广义输入有向调解的完备性.文中还证明了广义调解法的提升引理.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:https://www.jos.org.cn
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号