• 1997年第8卷第5期文章目次
    全 选
    显示方式: |
    • π-演算中无卫递归的消除

      1997, 8(5):321-326.

      摘要 (3295) HTML (0) PDF 367.34 K (3836) 评论 (0) 收藏

      摘要:本文提出消除π-演算中无卫递归的公理,证明了将该公理加入到正则π-演算受卫递归子集上的证明系统后,所得到的证明系统在π-演算全体正则子集上关于互模拟等价的可靠性和完备性.

    • 一个支持并行流的多媒体服务系统

      1997, 8(5):327-334.

      摘要 (3729) HTML (0) PDF 545.80 K (4615) 评论 (0) 收藏

      摘要:分布式多媒体是分布式计算技术和多媒体技术相结合的新兴技术,其基本特征是实现异地多媒体信息共享.由于连续媒体数据与传统数据在特性上的巨大差异,使得传统网络服务器和相关的存储系统不再适宜支持异地连续媒体的服务,所以要求代之以新的存储系统.本文介绍了作者所开发的分布式多媒体并行服务系统.该系统通过引入系统资源秩概念,实现了多访问流的并行操作,从而弥补了现有服务系统在设计上的主要缺陷.另外,文中给出了一组视频访问流的测试数据,其结果显示出系统对多媒体应用的良好支持.

    • 统计遗传算法

      1997, 8(5):335-344.

      摘要 (4367) HTML (0) PDF 645.85 K (4819) 评论 (0) 收藏

      摘要:本文讨论了遗传算法中框架定理的不足之处,并对之进行了改进,然后分析了遗传算法与A算法的相似性,以及遗传算法的概率性质.由此联想到它与SA算法的相似性,在此基础上,作者将原先发展的一套SA算法的理论移植到遗传算法中来,建立一个新的算法,称之为统计遗传算法(简记为SGA算法).为适合于优化计算,作者引入最大值统计量及其对应的SA算法(简称为SMA算法),并将SMA算法与GA算法相结合(记为SGA(MAX)算法).新的算法不仅提高了算法的精度和降低了计算的复杂性,而且能克服GA算法中出现“早熟”的现象以及提供进行并行计算的可能性.更主要的是新的方法为GA算法的精度、可信度和计算复杂性的定量分析提供了理论和方法上的有力工具.

    • 对Condor系统的分析与改进

      1997, 8(5):345-349.

      摘要 (4007) HTML (0) PDF 361.07 K (4523) 评论 (0) 收藏

      摘要:本文分析Condor系统的控制软件、远程系统调用及检查点设备的实现和工作过程,讨论其任务局限性,指出实现中的不足并给出改进方案.

    • 支持软件开发的可执行定义方法

      1997, 8(5):350-359.

      摘要 (3588) HTML (0) PDF 720.65 K (4277) 评论 (0) 收藏

      摘要:本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系,并将作者提出的可执行定义方法论MHSC(methodologyforhigh-levelspecificationconstruction)与现有方法论进行比较.论文表明可执行定义方法将在软件系统从定义开发到系统实现的进化式开发过程中起着关键的作用,有积极的研究意义.

    • TUR: 一种在UNIX内核中实现的高性能路由器

      1997, 8(5):360-366.

      摘要 (3456) HTML (0) PDF 480.87 K (3980) 评论 (0) 收藏

      摘要:本文在简单介绍IP/X.25路由器的功能和结构的基础上给出一种采用STREAMS机制的路由器TUR在UNIX中的实现.本文还提出一种在面向连接子网服务上实现无连接网络互联的通用有限状态机模型和一种动态地址映射算法.这些方法已应用在TUR中,以提高系统的性能.本文最后给出性能、指标及在TCP/IP网络中的一个应用实例,并讨论这类通信软件普遍存在的问题及其解决思路:互操作测试.

    • 一种形式化的基于TTCN的测试执行方法

      1997, 8(5):367-375.

      摘要 (3687) HTML (0) PDF 591.35 K (4007) 评论 (0) 收藏

      摘要:探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法,并使用标号变迁系统刻画了这一方法的整个执行过程,同时讨论了这个方法的一个具体实现.这种形式化的基于TTCN的测试执行方法非常适合于构造通用的协议测试系统,同时也是进行测试集的自动验证的有效手段.

    • 一种在矢量基础上进行图形识别的通用方法

      1997, 8(5):376-383.

      摘要 (3636) HTML (0) PDF 1.76 M (4972) 评论 (0) 收藏

      摘要:本文描述了一种在矢量基础上进行图形识别的通用方法.该方法包括2个步骤:第1步,寻找组成该图形的第1个关键图素;第2步,根据该图形的构造模式,从第1个关键图素出发,不断在其周围区域寻找组成该图形的其它图素.本文还提出了一种新的平面空间数据结构——位置索引.这种数据结构把平面图上的图形及图素用它们的平面位置索引组织起来,从而提高了按区域位置查找的效率.本文还介绍了该方法的2个应用实例:虚线识别和剖面线识别.

    • 一种面向对象程序自动化方法的研究

      1997, 8(5):384-390.

      摘要 (3612) HTML (0) PDF 420.28 K (3914) 评论 (0) 收藏

      摘要:构造性类型理论可作为研究程序自动化的理论基础.本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动化的途径.面向对象程序的程序单位是类,它是数据和一组相关操作的统一体,程序开发的关键在于开发这些操作,本文重点讨论了开发这些操作的方法.

    • 一种面向对象的可重用库管理系统的模型

      1997, 8(5):391-396.

      摘要 (3404) HTML (0) PDF 447.12 K (4365) 评论 (0) 收藏

      摘要:研究软件的可重用技术是提高软件生产率、解决软件危机的良好途径.好的重用技术可以带来高可靠、高性能、高质量和高效率的软件新系统.重用是支持软件工程新范型的基本前提.本文介绍了一种支持基于重用的、开放的、不依赖于具体领域的可重用部件管理系统.

    • HotJava浏览器汉化方案的设计与实现

      1997, 8(5):397-400.

      摘要 (4745) HTML (0) PDF 305.26 K (4291) 评论 (0) 收藏

      摘要:HotJava是由SunMicrosystems计算机公司推出的WWW浏览器.基于一种新的面向对象的语言——Java,HotJava浏览器具有与其它同类WWW浏览器无法比拟的动态性能,展示了实现真正的动态网络交互的巨大潜力.本文首先对HotJava浏览器及Java语言作一简单介绍,然后介绍在Solaris平台上开发HotJava中文版的具体方案与实现.

当期目录


文章目录

过刊浏览

年份

刊期

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