• 1996年第7卷第12期文章目次
    全 选
    显示方式: |
    • 并行化编译中的一种集成优化方法

      1996, 7(12):705-713.

      摘要 (4010) HTML (0) PDF 614.89 K (4947) 评论 (0) 收藏

      摘要:本文提出了一种面向分布存储器多机系统的并行化编译方法.针对分布存储并行系统的特点,作者采用的基本优化策略是:折衷并行性与数据引用局部性;减少和隐藏通信开销.通过对基于仿射函数的程序分解方式所导致的数据通信性质的分析,得到了适合分布存储结构特殊要求的并行性开发方法.为了在保持并行性的前提下最小化通信数据总量,提出了基于齐次线性方程组求解的程序全局优化分解方法.为了优化数据通信的组织,提高结点代码的效率,又提出了一种以线性不等式组作为工具的更加实用的通信优化和结点代码生成方法.

    • SCOP对象管理系统

      1996, 7(12):714-721.

      摘要 (4291) HTML (0) PDF 563.22 K (5022) 评论 (0) 收藏

      摘要:对象管理系统OMS(objectmanagementsystem)是SCOP组合框架软件的核心.本文简要介绍SCOP对象管理系统的设计与实现,包括内存对象管理系统、外存对象管理系统以及基于Client/Server的并发库系统等.

    • 面向对象数据库死锁检测方法研究

      1996, 7(12):722-727.

      摘要 (3942) HTML (0) PDF 446.23 K (4758) 评论 (0) 收藏

      摘要:本文根据面向对象数据库系统中嵌套事务的新的执行特性,提出了一种检测死锁的算法——扩充的边追踪算法,并在一个面向对象数据库原型系统MIDS中予以实现.

    • 完美模型的充要条件及其结构分析

      1996, 7(12):728-734.

      摘要 (4144) HTML (0) PDF 385.60 K (4977) 评论 (0) 收藏

      摘要:纯Datalog的唯一模型定理在Datalog-Not程序中不成立,因此,在Datalog-Not程序的所有Herbrand模型中,必须有一种模型的选择标准来确定程序的语义.完美模型关系是一种合理的选择标准.然而,由于完美模型的复杂性阻止了它的发展.本文分析了完美模型,通过有向图,给出了有完美模型的充要条件,并且给出构造算法及其正确性证明.本文得到的结果是:对任一自反有向图G,都能构造一个Datalog-Not程序P,使得P的完美模型图与G同构.

    • PCLAgenda:一个基于过程的CASE环境

      1996, 7(12):735-742.

      摘要 (3638) HTML (0) PDF 554.88 K (4434) 评论 (0) 收藏

      摘要:本文描述了PCLAgenda(processcontrolinglanguageagenda)的设计与实现.PCLAgen-da是SCOP组合框架软件工具系统中提供的以过程为核心的软件工程环境,其主要功能是定义软件开发过程,指导、控制和自动化软件开发工作,支持开发人员的合作和协调.PCLAgenda的核心是基于SCOP软件开发方法学的、面向活动的软件过程模型.

    • 测试数据选择理论20年

      1996, 7(12):743-751.

      摘要 (3829) HTML (0) PDF 549.99 K (5037) 评论 (0) 收藏

      摘要:本文将测试数据选择理论发展的20年划分成3个阶段——形成阶段、发展阶段、完善阶段,给出了每一阶段具有代表性的研究成果和特点,讨论了此理论在软件工程中的应用.

    • OOAnalysis的设计和实现

      1996, 7(12):752-759.

      摘要 (3449) HTML (0) PDF 517.65 K (4643) 评论 (0) 收藏

      摘要:SCOP是一个面向对象的组合框架软件,OOAnalysis是SCOP中支持系统分析的一个工具系统,本文介绍了OOAnalysis的设计和实现.该工具采用并行/递归式面向对象的分析方法,采用自底向上的系统构造和对象抽象与自顶向下的系统分解和对象精化相结合的方法建立对象模型,强调多层次抽象、并行工作和递归建模.这个工具有多层次、可视化和自动化的特点.

当期目录


文章目录

过刊浏览

年份

刊期

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