• 1996年第7卷第4期文章目次
    全 选
    显示方式: |
    • 外部闭包及其在关系数据库中的应用

      1996, 7(4):193-200.

      摘要 (3982) HTML (0) PDF 482.02 K (3471) 评论 (0) 收藏

      摘要:本文引入了广义FD路和外部闭包的概念,将它们应用于函数依赖集的无冗余覆盖计算,有效地减少了计算的闭包个数.并在此基础上提出了一个新的3NF合成算法,将常用的3NF合成算法中的2次无冗余覆盖计算合并为1次,显著地减少了计算闭包总个数.

    • 求解SAT问题的分级重排搜索算法

      1996, 7(4):201-210.

      摘要 (3507) HTML (0) PDF 656.76 K (3477) 评论 (0) 收藏

      摘要:局部搜索法在SAT问题上的成功运用已引起越来越广泛的重视,然而,它在面对不可满足问题例时的局限性不能不被考虑.分级重排搜索算法MSRA(multi-stagesearchrearrange-mentalgorithm)正是为克服局部搜索法的不完备性而提出的,准确地讲,它是几种算法在思想上的集成,但为明确起见,把其最典型的分级重排过程作为名称.分级重排搜索算法在求解SAT问题时,能表现出优于单一求解策略(如局部搜索法或回溯算法)的明显特性.由于可根据约束条件的强弱来估计SAT问题例的可满足性,因此能够以此来确定更有效的求解策略.

    • DSM中一种新型Cache一致性管理算法

      1996, 7(4):211-216.

      摘要 (3473) HTML (0) PDF 428.82 K (3123) 评论 (0) 收藏

      摘要:存储器一致性管理是分布式共享存储器DSM(distributedsharedmemory)系统的一个重要问题.在基于目录和所有者管理一致性的DSM系统中,如何适时地更新所有者链表以及目录中关于所有者的信息是缩短查表时间的关键.本文介绍一种新型的链表更新算法的设计及其性能分析.分析表明,这种方案对维护存储器一致性来说,具有较灵活的适应性并有助于缩短查表时间,提高系统性能.该算法也可适用于树形层次结构的一致性管理方案.

    • 智能计算机辅助教学系统的设计

      1996, 7(4):217-222.

      摘要 (3717) HTML (0) PDF 395.87 K (4030) 评论 (0) 收藏

      摘要:本文首先给出一个智能计算机辅助教学系统的设计思想:个别化、交互式和多媒体综合表示.然后给出该系统的教学流程、体系结构及其各功能模块的设计方法.

    • 表达式的覆盖、分解与划分

      1996, 7(4):223-232.

      摘要 (3424) HTML (0) PDF 589.34 K (3523) 评论 (0) 收藏

      摘要:本文把简单表达式(项和原子)视为语言L的Herbrand域或Herbrand基中的集合.作者提出覆盖表达式的概念,得到2个表达式之间覆盖关系的判别准则.对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件.根据集合的划分公式,得到划分表达式的方法.最后定义1个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式.本文是作者提出的一种标记逻辑程序的过程语义的理论基础.

    • 解释学习结果的优化排序

      1996, 7(4):233-237.

      摘要 (3555) HTML (0) PDF 308.92 K (3406) 评论 (0) 收藏

      摘要:解释学习可以直接应用于知识库的推理加速.经解释学习学到的一组规则,其参加匹配的先后次序直接影响着学习的效用.本文提出并证明了在以规则的成功频率与本身匹配费用的比值为序自大至小排列时,可以使这些规则的整体匹配费用最小.文中给出学习结果的优化排序算法,对于训练例的任意给定次序,可求得最小费用排列.

    • 使用资源利用率作为负载平衡系统的负载指标

      1996, 7(4):238-243.

      摘要 (3771) HTML (0) PDF 414.03 K (3970) 评论 (0) 收藏

      摘要:一个可以正确反映当前系统负载情况的负载指标对一个成功的动态负载平衡系统来说是至关重要的.但是,很少负载平衡系统对其选定给出一个实验说明,而且多数系统使用资源队列长度(即CPU队列长度)作为负载指标.本文说明了这种负载指标存在的缺点,并对一种新的负载指标-资源利用率进行了讨论.实验表明,在动态负载平衡系统中,使用资源利用率作为负载指标比使用资源队列长度作为负载指标对资源利用率及作业响应时间的改进更有效.

    • 一个面向对象的实时分布式语言的指称语义

      1996, 7(4):244-251.

      摘要 (3503) HTML (0) PDF 446.51 K (3517) 评论 (0) 收藏

      摘要:本文给出了一个面向对象的实时分布式语言的指称语义,在不同层次L给出了语句、对象和程序的清晰描述.提出了实时状态的概念.借助于它,在指称语义的框架内,简洁地刻画了语言的实时特性.

    • 一种基于二叉树结构表达的矩形物体布局的启发式方法

      1996, 7(4):252-257.

      摘要 (3561) HTML (0) PDF 842.82 K (4338) 评论 (0) 收藏

      摘要:本文提出了一种利用二叉树结构表达矩形物体布局状态空间的方法.通过将布局空间依次分割,每次放入相对于当前布局空间来说是满足特定条件的最优布局块,并将该布局块定位于当前布局空间的左上角来完成不同大小矩形物体的布局方案的确定.通过调整调序因子KA和KB的值,可得到满足不同要求的优化布局方案.同时,所得布局方案均满足工业上一刀切的要求.实验结果证明了该算法的灵活性和有效性.

当期目录


文章目录

过刊浏览

年份

刊期

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