• 1997年第8卷第2期文章目次
    全 选
    显示方式: |
    • 基于弱一致性模型软件数据预取策略

      1997, 8(2):81-86.

      摘要 (3708) HTML (0) PDF 435.20 K (4209) 评论 (0) 收藏

      摘要:本文针对分布共享存储器中存在的远地访问大延迟问题,提出了基于弱序一致性模型的存储访问优化策略,主要是利用并行程序中同步操作提供的信息,在同步点成块预取将要被使用的数据.该方法能够有效地掩盖远地存储访问的大延迟.

    • 关系图文法及其应用

      1997, 8(2):87-92.

      摘要 (4182) HTML (0) PDF 374.49 K (4220) 评论 (0) 收藏

      摘要:字符串文法不适于描述二维以上事物的特征,无法定义事物之间的复杂关系.本文提出了关系图的概念,对关系图的性质进行了研究.在此基础上提出了一种新的文法——关系图文法.该文法能够方便地抽象和概括二维以上复杂对象的特征,为分析和识别这些对象提供工具和方法,可以广泛应用于模式识别、高维文本分析和描述图示语言的语法等领域.为了使关系图文法实用化,本文还提出了相应的识别和匹配算法.

    • 主题数据库规划合理性估计的数学公式

      1997, 8(2):93-98.

      摘要 (3892) HTML (0) PDF 373.65 K (4146) 评论 (0) 收藏

      摘要:本文简述了主题数据库的概念,给出了企业的抽象描述,实体的相关度、实体的紧密度的概念和企业主题数据库规划估计的数学计算公式.文中还给出了一些验证主题数据库规划估计的例子.

    • 基于微核心的国产操作系统安全性研究

      1997, 8(2):99-106.

      摘要 (3805) HTML (0) PDF 550.97 K (4240) 评论 (0) 收藏

      摘要:本文描述基于微核心设计思想的国产操作系统COSIXV2.0的安全性设计.通过对基于微核心的多服务器体系结构的讨论,确立了系统安全性的设计方案.最后,是对一些值得探索的问题的简述.

    • 一个统一的程序验证框架

      1997, 8(2):107-114.

      摘要 (3219) HTML (0) PDF 520.95 K (4372) 评论 (0) 收藏

      摘要:本文提出了一个简单的方法,其中程序和其性质都由一个逻辑:时序逻辑中的公式表示.文中给出了一个程序的转换模块的定义,提出了时序执行语义的概念.它是一个时序公式,精确地说明了一个程序.将时序逻辑作为规范语言,程序正确性就意味着说明程序的公式蕴含说明性质的公式,其中蕴含即为一般的逻辑蕴含.因此,本文的方法为并发程序的规范及验证提供了一个统一的框架.它允许充分利用现有的用于证明并发系统时序性质的各种完全证明系统.一个缓冲系统的简单例子用来说明本文的方法.此例子表明本文的方法是可行的.

    • 一个任意图的输出和编辑系统

      1997, 8(2):115-121.

      摘要 (3541) HTML (0) PDF 933.96 K (4327) 评论 (0) 收藏

      摘要:本文给出了一个对任意图的输出算法,这个算法同其它的同类算法相比,具有更小的时间复杂性,并且由于此算法的参数是可控制的,所以对图的输出也是可控制的.另外,本文描述了一个图的显示和编辑系统GLEAM,这个系统是基于所给出的新算法的,并且在本系统中使用了约束技术,使图的输出更美观、合理.GLEAM是一个通用且可以扩充的系统,用户只要加入相应的具体领域知识,就可把其变为一个专用的系统.

    • 利用遗传算法求解文件分配问题

      1997, 8(2):122-127.

      摘要 (3341) HTML (0) PDF 374.28 K (4002) 评论 (0) 收藏

      摘要:文件分配问题是计算机网络和分布式系统中一个非常重要的问题.本文提出一种用遗传算法求解文件分配问题的新方法,该方法能较好地解决工程中的文件优化分配问题,还可以应用到其它资源需要分配的领域.

    • 一种简单阈值方案的优化

      1997, 8(2):128-136.

      摘要 (3960) HTML (0) PDF 557.67 K (3744) 评论 (0) 收藏

      摘要:秘密分存是一种安全有效的密钥管理技术,现已广泛应用于数据安全的各个方面.以往的(k,n)阈值方案,计算量较大.本文提出了用赋标号降低数据扩展的优化方法,给出了一种优化后的简单(k,n)阈值方案论证了其安全性并分析了其数据扩展.这种方案适用于图象秘密分存等秘密数据量较大的情况.

    • 基于家族优生学的进化算法

      1997, 8(2):137-144.

      摘要 (3693) HTML (0) PDF 534.89 K (4323) 评论 (0) 收藏

      摘要:模拟进化有几种典型方法,分别强调自然进化过程的不同侧面.人们已意识到恰当地结合这些方法将推进该领域的研究.本文将现有进化方法的差别归结为“遗传链”与“进化链”之间的差别,提出一种新的进化模型,称之为“基于家族优生学的进化FEBE(familyeugenicsbasedevolution)”.新的模型用家族优生学的思想将遗传链与进化链溶为一体,将正交设计技术引入家庭的子代培植以加强个体的行为改进.本文将FEBE模型用于求解困难的Goldberg欺骗问题,取得了满意的实验结果.

    • 迭代算子及其在可重用软件研究中的应用

      1997, 8(2):145-152.

      摘要 (3793) HTML (0) PDF 453.44 K (4125) 评论 (0) 收藏

      摘要:迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用,已有10多年研究历史,然而,至今对什么是迭代算子尚无确切和统一的定义,严重影响了对这一概念的理解,也阻碍了它的广泛应用,本文在分析研究现有各种迭代算子概念局限性的基础上,将迭代算子定义为包含于组合数据类型内部的抽象数据类型,得到了一种通用迭代算子模式,并给出了分立迭代算子和集成迭代算子的概念和模式,最后以实例说明了它们在可重用软件开发中的作用和使用方法.

    • 面向对象数据库的查询优化

      1997, 8(2):153-160.

      摘要 (3774) HTML (0) PDF 530.92 K (4383) 评论 (0) 收藏

      摘要:查询优化一般分为逻辑和物理两层,但两者密切相关.在一个具体系统的实现中,若把它们截然分开会影响优化效果,而把它们有机结合起来则更佳.本文在联系代数的基础上探讨该问题,综合考虑了逻辑与物理2个方面,给出了面向对象数据库系统中的查询优化算法.

当期目录


文章目录

过刊浏览

年份

刊期

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