1996, 7(11):641-646.
摘要:本文提出了一种面向屈折语的上下文相关自然语言词法分析方法,它依据单词的外部形态和其语法、语义特性及上下文成分的特征,建立了形态、语法和语义之间的联系,使得词法分析的结果准确可靠,并且可以利用语言屈折变化的一致性关系,排除不合理的分析结果,减轻语法分析的负担.
1996, 7(11):647-655.
摘要:本文简要讨论了软件需求定义及其语言的有关基本概念,重点介绍了图形化对象式需求定义语言NDORL的设计思想以及主要的语言结构与成分.该语言是一种以面向对象方法支持软件需求定义的半形式化语言,具有形象易读、表达力强和便于实现到形式功能规约的转换等特点,并提供了方便的机器支撑.
1996, 7(11):656-661.
摘要:本文提出了一种基于图的二维任意域内点集的Delaunay三角剖分算法.该算法首先求出任意域内点集的约束最小生成树,然后逐次加入一边构造三角形网格,最后通过局部优化变换,得到二维任意域内点集的Delaunay三角剖分.本文还给出了该算法在有限元网格自动生成过程中的应用.
1996, 7(11):662-668.
摘要:过程的处理在并行化编译工具中是十分关键的问题,过程嵌入和跨过程信息传播是常用的解决方法.近年来,兼有前二者优点的新技术:过程繁衍(Cloning),逐渐受到人们的重视.而以往的研究中,过程繁衍仅局限于常数值的传播.本文提出了在过程繁衍中进行符号等式约束信息传播的方法,该方法可以增强系统中全局的符号分析(SymbolicAnalysis)能力,并可与一些新技术(如Omega测试)互相配合,从而提高并行化系统的能力.该方法在作者开发的并行化编译工具AFT中得到了实现.对于PerfectBenchmark的测试
1996, 7(11):669-675.
摘要:本文从RDB(relationaldatabase)的缺欠、OODB(objectorienteddatabase)的不足和新的数据库应用需求3个方面指出了统一关系范型和OO范型、集成RDB与OODB的趋势,讨论了集成RDB与OODB的3种途径,最后介绍了一个集成关系与对象模型的多媒体数据库系统THCIMHYPER的总体设计.
1996, 7(11):676-682.
摘要:本文考虑用时态逻辑语言XYZ/E描述硬件行为的可行性.作为实例,用XYZ/E语言描述了一个基于微处理器的容错计算机系统,这种描述可以在XYZ系统上执行,从而可对系统进行模拟.特别有意义的是利用XYZ/VERI验证子系统对所期望的性质进行了形式化证明.本文还将XYZ/E描述与相应的VHDL(VHSIChardwaredescriptionlanguage)描述进行了比较.从中可以看出时态逻辑语言的描述具有其独特的优点.
1996, 7(11):683-690.
摘要:PhilipWadler在探讨用Monad构造纯函数式程序时,介绍了一个简单的词法分析程序的构造过程.本文进一步研究了这种方法,并用这种方法构造出一个能进行复杂的layout分析、词法分析与语法分析的纯函数式分析程序.
1996, 7(11):691-697.
摘要:计算机支持协同设计是计算机支持协同工作CSCW(computersupportedcooperativework)的一个应用领域,也是CAD技术的进一步发展.本文论述了计算机支持协同设计的基本概念、内容.讨论了用于计算机支持协同设计的工程数据库版本管理的思想、方法,并就多库分布式工程数据库的版本管理及其实现进行了探讨.
1996, 7(11):698-705.
摘要:标记逻辑是一种重要的次协调逻辑,和|≈是标记逻辑中的2种推理关系.二者都是次协调的,可以用统一的方法处理一致的知识与不一致的知识,是单调的,有基于归结的证明论,但不能保持经典逻辑中合理的推理,如三段论.|≈是非单调的,在前提一致时等价于经典逻辑的推理关系,但缺少有效的证明论.本文将给出推理关系和|≈基于Tableau演算的可靠而且完备的判定方法.