• 1997年第8卷第8期文章目次
    全 选
    显示方式: |
    • F-logic语言表达能力的研究

      1997, 8(8):561-568. CSTR:

      摘要 (3818) HTML (0) PDF 465.16 K (4457) 评论 (0) 收藏

      摘要:F-logic语言是一种基于框架逻辑的逻辑数据语言,它在表示面向对象的特征方面具有较强的能力,但是讨论其操作复杂对象能力的工作还不多见.本文比较了以COL,(complexobjectlanguage)为代表的逻辑数据语言与F-logic语言操作复杂对象的能力.通过两对保持语义的变换,能够将F-logic程序及其Herbrand解释与COL,程序及其Herbrand解释互相转变,且保持程序在相应解释下的真值性质.最后,讨论了否定的影响.本文的工作说明:在不考虑F-logic语言oid生成影响的情况下,F-logic语言与COL,LDL1和ELPS等逻辑数据语言在操作复杂对象方面具有相同的能力.

    • RSL:基于Rough Set的表示语言

      1997, 8(8):569-576. CSTR:

      摘要 (3465) HTML (0) PDF 508.99 K (4612) 评论 (0) 收藏

      摘要:本文绘出了一种基于RoughSet理论的表示语言—RSL,该语言包括面向应用与面向研究两部分.应用部分主要服务于对信息表进行分析与处理的用户,研究部分则主要是为研究RoughSet及利用RoughSet理论构造更复杂算法的研究者所设计.鉴于RoughSet理论中求最小约简的过程是NP完全问题,为了使RSL表示语言可以分析与处理规模更大的信息表,本文还为RSL表示语言设计了一个新的对求取最小约简而言的领域独立的近似算法.

    • 半动态矩形交查询算法

      1997, 8(8):577-584. CSTR:

      摘要 (4219) HTML (0) PDF 579.61 K (4755) 评论 (0) 收藏

      摘要:本文讨论了动态矩形交查询算法.文中介绍了两个半动态矩形查询的新算法,它们分别基于一维数据结构和二维数据结构.一维查询算法的查询时间复杂度是O(logMk′),更新时间复杂度是O(logMlogn),空间复杂度是OnlogM/).二维查询算法的查询时间复杂度是O(log2Mk),更新时间复杂度是O(log2Mlogn),空间复杂度是Onlog2M).本文分别实现了这两个算法,通过对它们的性能进行比较,发现一维查询算法是一种高效、实用的算法.

    • 基于图象空间分布的Shading算法

      1997, 8(8):585-592. CSTR:

      摘要 (3608) HTML (0) PDF 542.09 K (4340) 评论 (0) 收藏

      摘要:本文首先介绍了基于局部光照模型的串行Shading算法,然后对设计分布式Shading算法所用到的动态任务分配、数据适应性任务分配、任务粒度等因素作了较为详细的论述,并给出了所设计的新的数据适应性任务划分算法,最后给出了所设计的分布式Shading算法的描述和实验结果.

    • DSM系统中维护共享数据一致性的自适应算法

      1997, 8(8):593-599. CSTR:

      摘要 (3636) HTML (0) PDF 491.24 K (4273) 评论 (0) 收藏

      摘要:本文应用人工智能中的证据理论,提出了一种维护共享数据一致性的自适应算法──ADC算法.该算法能充分利用程序行为具有稳定性的特点,根据应用程序访问共享存储器的行为来调整维护共享数据一致性所采用的策略,能大大提高DSM(distributedsharedmemory)系统的适应能力.

    • OS虚存技术与双缓冲结合──Sambase对象存储系统

      1997, 8(8):600-605. CSTR:

      摘要 (3723) HTML (0) PDF 452.30 K (4555) 评论 (0) 收藏

      摘要:利用操作系统的虚存技术,在虚存中开辟一块空间(大至整个虚存)作为DBMS的缓冲池.这样实现了DBMS和C++之间的无缝连接,无需特殊的编译程序,应用程序利用普通的座存指针,使用与操作临时对象相同的程序代码来直接快速地操作持久对象,建立在这种虚存技术上的缓冲机制使数据库的大小突破了虚存大小的限制.

    • 分布式计算的快照算法

      1997, 8(8):606-609. CSTR:

      摘要 (3772) HTML (0) PDF 287.82 K (6896) 评论 (0) 收藏

      摘要:快照算法是很多分布式应用的基础.在假设了全局时钟的情况下,本文说明了计算通道状态的多种方案.使用一致割作为虚拟的全局时刻,说明了这些方案适用于现有的快照算法.文中还提出了一个适合于各种通讯模型的快照算法.

    • 一种避免数据偏斜的动态Hash连接方法

      1997, 8(8):610-614. CSTR:

      摘要 (4234) HTML (0) PDF 345.26 K (4827) 评论 (0) 收藏

      摘要:本文提出了一种新的动态Hash连接方法──DHJ(dynamichash join),以解决并行数据库连接操作中的数据偏斜现象.为避免目前某些算法提出的预处理中隐含的高额费用,该方法在划分阶段通过增添附加桶的方法来平衡输出,然后依据计算确认哪些附加桶被映射到处理器上并确定处理器分配,在最后阶段完成连接.本文最后给出了该算法的性能分析.

    • 多种动态模拟和复杂三维动画控制的框架结构

      1997, 8(8):615-621. CSTR:

      摘要 (3607) HTML (0) PDF 491.37 K (4735) 评论 (0) 收藏

      摘要:本文提出了一种新的适用于多种动态模拟和复杂三维动画控制的面向对象的框架结构,它采用混合层次模型,其角色按部件层次组织其静态结构,角色中包含有决定其形状、样式和行为变化的属性,它按类的层次结构定义,属性的动态赋值通过引进的动态约束机制实现.该框架结构已用于SIMUKIT──用于多种动态模拟视觉效果自动生成的集成工具环境中,并在SGI工作站上初步实现,实验表明该框架结构对解决多种动态模拟生成是可行的.

    • 二进制神经网络分类问题的几何学习算法

      1997, 8(8):622-629. CSTR:

      摘要 (4033) HTML (0) PDF 532.34 K (5278) 评论 (0) 收藏

      摘要:分类问题在前向神经网络研究中占有重要位置.本文利用几何方法给出一个二进制神经网络K(≥2)分类问题的新学习算法.算法通过训练点的几何位置与类别分析,建立一个四层前向神经网络,实现网络输入向量分类.本文算法的优点在于:保证学习收敛且收敛速度快于BP算法及已有的其他一些前向网络学习算法;算法可以确定神经网络的结构且能实现精确的向量分类.另外,算法所建神经网络由线性阀值单元组成,神经元突触权值和阀值均为整数,特别适合于集成电路实现.

    • 多级文法在通用型中间件中的应用

      1997, 8(8):630-635. CSTR:

      摘要 (3571) HTML (0) PDF 402.69 K (4450) 评论 (0) 收藏

      摘要:在当今计算机技术发展的主流中,中间件技术是客户/服务器结构的关键技术.在对数据库专用中间件──RDA技术的深入研究后,针对它灵活性低、可扩充性差的特点,本文提出了适于构造基于通用型中间件的分布式环境的新技术──多级文法.实践证明将多级文法的技术引入中间件的构造大大提高了中间件的灵活性,增强了它的可扩充性,并使中间件本身具有了一些新的特点.目前,一个基于该多级文法的通用型中间件的原型系统已可在UNIX平台运行.

    • Institution中自由理论态射的合成

      1997, 8(8):636-640. CSTR:

      摘要 (3852) HTML (0) PDF 320.44 K (4297) 评论 (0) 收藏

      摘要:本文在一定的条件下建立了Institution中理论态射的粘合与各因子态射的自由性之间的联系.并证明了自由理论态射的复合仍为自由的.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编: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号