• 1996年第7卷第11期文章目次
    全 选
    显示方式: |
    • 面向屈折语的上下文相关词法分析器

      1996, 7(11):641-646.

      摘要 (3436) HTML (0) PDF 404.92 K (3788) 评论 (0) 收藏

      摘要:本文提出了一种面向屈折语的上下文相关自然语言词法分析方法,它依据单词的外部形态和其语法、语义特性及上下文成分的特征,建立了形态、语法和语义之间的联系,使得词法分析的结果准确可靠,并且可以利用语言屈折变化的一致性关系,排除不合理的分析结果,减轻语法分析的负担.

    • 一种图形化对象式需求定义语言的设计

      1996, 7(11):647-655.

      摘要 (3582) HTML (0) PDF 577.88 K (3637) 评论 (0) 收藏

      摘要:本文简要讨论了软件需求定义及其语言的有关基本概念,重点介绍了图形化对象式需求定义语言NDORL的设计思想以及主要的语言结构与成分.该语言是一种以面向对象方法支持软件需求定义的半形式化语言,具有形象易读、表达力强和便于实现到形式功能规约的转换等特点,并提供了方便的机器支撑.

    • 基于图的任意域内点集的Delaunay三角剖分算法

      1996, 7(11):656-661.

      摘要 (3700) HTML (0) PDF 391.09 K (3943) 评论 (0) 收藏

      摘要:本文提出了一种基于图的二维任意域内点集的Delaunay三角剖分算法.该算法首先求出任意域内点集的约束最小生成树,然后逐次加入一边构造三角形网格,最后通过局部优化变换,得到二维任意域内点集的Delaunay三角剖分.本文还给出了该算法在有限元网格自动生成过程中的应用.

    • 过程繁衍及其实现方法

      1996, 7(11):662-668.

      摘要 (3116) HTML (0) PDF 437.75 K (3304) 评论 (0) 收藏

      摘要:过程的处理在并行化编译工具中是十分关键的问题,过程嵌入和跨过程信息传播是常用的解决方法.近年来,兼有前二者优点的新技术:过程繁衍(Cloning),逐渐受到人们的重视.而以往的研究中,过程繁衍仅局限于常数值的传播.本文提出了在过程繁衍中进行符号等式约束信息传播的方法,该方法可以增强系统中全局的符号分析(SymbolicAnalysis)能力,并可与一些新技术(如Omega测试)互相配合,从而提高并行化系统的能力.该方法在作者开发的并行化编译工具AFT中得到了实现.对于PerfectBenchmark的测试

    • 关系数据库与面向对象数据库的集成

      1996, 7(11):669-675.

      摘要 (3596) HTML (0) PDF 497.48 K (3919) 评论 (0) 收藏

      摘要:本文从RDB(relationaldatabase)的缺欠、OODB(objectorienteddatabase)的不足和新的数据库应用需求3个方面指出了统一关系范型和OO范型、集成RDB与OODB的趋势,讨论了集成RDB与OODB的3种途径,最后介绍了一个集成关系与对象模型的多媒体数据库系统THCIMHYPER的总体设计.

    • 用XYZ/E语言描述和验证硬件的行为

      1996, 7(11):676-682.

      摘要 (3908) HTML (0) PDF 425.30 K (3530) 评论 (0) 收藏

      摘要:本文考虑用时态逻辑语言XYZ/E描述硬件行为的可行性.作为实例,用XYZ/E语言描述了一个基于微处理器的容错计算机系统,这种描述可以在XYZ系统上执行,从而可对系统进行模拟.特别有意义的是利用XYZ/VERI验证子系统对所期望的性质进行了形式化证明.本文还将XYZ/E描述与相应的VHDL(VHSIChardwaredescriptionlanguage)描述进行了比较.从中可以看出时态逻辑语言的描述具有其独特的优点.

    • 基于Monad的纯函数式程序设计

      1996, 7(11):683-690.

      摘要 (3964) HTML (0) PDF 420.63 K (3524) 评论 (0) 收藏

      摘要:PhilipWadler在探讨用Monad构造纯函数式程序时,介绍了一个简单的词法分析程序的构造过程.本文进一步研究了这种方法,并用这种方法构造出一个能进行复杂的layout分析、词法分析与语法分析的纯函数式分析程序.

    • 支持协同设计的工程数据库版本管理

      1996, 7(11):691-697.

      摘要 (3832) HTML (0) PDF 474.90 K (3888) 评论 (0) 收藏

      摘要:计算机支持协同设计是计算机支持协同工作CSCW(computersupportedcooperativework)的一个应用领域,也是CAD技术的进一步发展.本文论述了计算机支持协同设计的基本概念、内容.讨论了用于计算机支持协同设计的工程数据库版本管理的思想、方法,并就多库分布式工程数据库的版本管理及其实现进行了探讨.

    • 标记逻辑的TABLEAU判定过程

      1996, 7(11):698-705.

      摘要 (3568) HTML (0) PDF 528.05 K (3400) 评论 (0) 收藏

      摘要:标记逻辑是一种重要的次协调逻辑,和|≈是标记逻辑中的2种推理关系.二者都是次协调的,可以用统一的方法处理一致的知识与不一致的知识,是单调的,有基于归结的证明论,但不能保持经典逻辑中合理的推理,如三段论.|≈是非单调的,在前提一致时等价于经典逻辑的推理关系,但缺少有效的证明论.本文将给出推理关系和|≈基于Tableau演算的可靠而且完备的判定方法.

当期目录


文章目录

过刊浏览

年份

刊期

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