1996年第7卷第1期文章目次

  • 显示方式:
  • 简洁模式
  • 摘要模式
  • 1  青鸟Ⅱ型系统面向对象语言CASEC++的设计和实现
    邵维忠 袁曙涛 杨芙清
    1996, 7(1):1-8.
    [摘要](3865) [HTML](0) [PDF 519.65 K](4498)
    摘要:
    CASEC++语言是面向对象的CASE环境青鸟Ⅱ型系统中设计、实现的一个与C++完全兼容并支持永久对象的面向对象程序设计语言.在青鸟Ⅱ型系统中,它是对象管理系统OMS(objectmanagementsystem)的操纵语言和所有集成工具的编程语言,同时也是支持最终用户的通用的编程语言.本文首先简要介绍了CASEC++的设计背景.然后,较详细地讨论了CASEC++中新引入的语言成份:永久对象;类定义的共享机制;永久对象间的关系描述──链和对象的内容等.最后,给出了实现方法.
    2  一个Pascal的面向对象扩充的设计与实现
    李宣东 郑国梁
    1996, 7(1):9-15.
    [摘要](3177) [HTML](0) [PDF 422.79 K](4907)
    摘要:
    本文阐述了NDOOP的设计和实现的主要思想.NDOOP是一个Pascal的面向对象扩充,是Pascal的超集,既充分支持面向对象程序设计,又保持了Pascal的原有风格.
    3  一个新的多分支全局软件流水方法
    汤志忠 张赤红 陈刚
    1996, 7(1):16-24.
    [摘要](3392) [HTML](0) [PDF 597.52 K](4459)
    摘要:
    在指令级并行性很高的体系结构中,为了得到比较好的并行优化效果,通常需要设置多个分支控制机构,本文提出一个新的支持多个分支操作并行执行的全局软件流水方法──GPMB.并用衡量全局软件流水方法性能的两个主要参数:时间开销和空间开销把我们的方法与其它几种全局软件流水方法进行了比较.模拟实验结果表明:GPMB方法的时间开销和空间开销都比较小,所需要的硬件支持也比较少.
    4  关于实时设备驱动程序自动生成的研究
    范植华 邢国光
    1996, 7(1):25-30.
    [摘要](3308) [HTML](0) [PDF 394.00 K](4335)
    摘要:
    软件系统的自动生成是90年代软件工程的主流.由于专用实时设备的高效管理与灵活加接是任何计算机专用实时系统不可或缺的基本功能,加之它们的类别和型号、数量和质量的与日俱增,如何克服专用外设驱动模块的易变性成为任何专用实时系统自动生成的关键.本文介绍作者在专用实时设备驱动程序自动化研究中的初步成果,重点是他们自行研制的专用实时设备驱动程序半自动生成器RTDG(realtimedevicegenerator)的内部构造与实现技术,以及一个经过实践考验的应用实例.此项实时系统自动生成研究过程中的阶段性成果已通过部委
    5  最小平方函数链式联想存储器
    陈松灿
    1996, 7(1):31-35.
    [摘要](3579) [HTML](0) [PDF 277.37 K](4077)
    摘要:
    本文借助于输入的函数扩展思想,将其引入到一般类型的联想存储器模型,通过噪声输入模式来优化所提出的模型,推广了一类联想存储器模型,实验结果表明最小平方函数链式联想存储器(FLAM)比之KOHONEN模型、MURAKAMI模型在性能上优越.
    6  构造面向多种MIMD结构的并行算法库
    王晨 陈德来 倪南 张德富
    1996, 7(1):36-40.
    [摘要](3393) [HTML](0) [PDF 263.32 K](4746)
    摘要:
    本文描述了NPAB—1并行算法库的结构和功能,并通过两个例子说明了库中并行算法的设计风格.
    7  堆的路径二分搜索算法
    王晓东 傅清祥 范庆 王梅集
    1996, 7(1):41-44.
    [摘要](4048) [HTML](0) [PDF 232.36 K](4250)
    摘要:
    本文提出堆的路径二分搜索算法.当用堆来实现优先队列时,此算法可用较少的比较次数完成插入及删除最大元素等操作.
    8  一个基于非对称硬件结构的对称式文件系统
    武北虹 邢汉承 黄大海
    1996, 7(1):45-50.
    [摘要](4040) [HTML](0) [PDF 424.98 K](4440)
    摘要:
    本文介绍基于BJ—l并行计算机非对称硬件结构之上的一种对称式文件系统的设计思想和实现技术.该文件系统在不降低原有效率的前提下为用户提供了方便的界面,并通过文件系统中的管道机制实现了单元间多通道通讯.
    9  二元可满足性问题有解的充要条件
    吴向军 余丰人
    1996, 7(1):51-58.
    [摘要](4446) [HTML](0) [PDF 522.84 K](4792)
    摘要:
    二元可满足性问题是一个多项式可解的问题.本文首先证明了该问题有解的充要条件,然后给出了判定该问题的一个新的多项式算法.如果判定某个表达式是可满足的话,那么求解算法不需要任何回溯就能准确地给出它的每个解.本文试图通过对二元可满足性的研究为研究其它问题提供一点启示.
    10  限制的对象表示和计算
    奚建清 王能斌
    1996, 7(1):59-64.
    [摘要](3555) [HTML](0) [PDF 422.58 K](4291)
    摘要:
    限制描述了对象间的一组复杂关系,现有OOPL中一般不支持它们的表示和计算.本文给出了一种限制的对象表示法,其思想是在引入限制的同时不引入额外的概念,保持对象模型和语言的简单性。本文还讨论了这种表示法引入的问题和解决方法.

    当期目录


    文章目录

    过刊浏览

    年份

    刊期

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