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

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

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

摘要:过程的处理在并行化编译工具中是十分关键的问题，过程嵌入和跨过程信息传播是常用的解决方法．近年来，兼有前二者优点的新技术：过程繁衍（Ｃｌｏｎｉｎｇ），逐渐受到人们的重视．而以往的研究中，过程繁衍仅局限于常数值的传播．本文提出了在过程繁衍中进行符号等式约束信息传播的方法，该方法可以增强系统中全局的符号分析（ＳｙｍｂｏｌｉｃＡｎａｌｙｓｉｓ）能力，并可与一些新技术（如Ｏｍｅｇａ测试）互相配合，从而提高并行化系统的能力．该方法在作者开发的并行化编译工具ＡＦＴ中得到了实现．对于ＰｅｒｆｅｃｔＢｅｎｃｈｍａｒｋ的测试

摘要:本文从ＲＤＢ（ｒｅｌａｔｉｏｎａｌｄａｔａｂａｓｅ）的缺欠、ＯＯＤＢ（ｏｂｊｅｃｔｏｒｉｅｎｔｅｄｄａｔａｂａｓｅ）的不足和新的数据库应用需求３个方面指出了统一关系范型和ＯＯ范型、集成ＲＤＢ与ＯＯＤＢ的趋势，讨论了集成ＲＤＢ与ＯＯＤＢ的３种途径，最后介绍了一个集成关系与对象模型的多媒体数据库系统ＴＨＣＩＭＨＹＰＥＲ的总体设计.

摘要:本文考虑用时态逻辑语言ＸＹＺ／Ｅ描述硬件行为的可行性．作为实例，用ＸＹＺ／Ｅ语言描述了一个基于微处理器的容错计算机系统，这种描述可以在ＸＹＺ系统上执行，从而可对系统进行模拟．特别有意义的是利用ＸＹＺ／ＶＥＲＩ验证子系统对所期望的性质进行了形式化证明．本文还将ＸＹＺ／Ｅ描述与相应的ＶＨＤＬ（ＶＨＳＩＣｈａｒｄｗａｒｅｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）描述进行了比较．从中可以看出时态逻辑语言的描述具有其独特的优点.

摘要:ＰｈｉｌｉｐＷａｄｌｅｒ在探讨用Ｍｏｎａｄ构造纯函数式程序时，介绍了一个简单的词法分析程序的构造过程．本文进一步研究了这种方法，并用这种方法构造出一个能进行复杂的ｌａｙｏｕｔ分析、词法分析与语法分析的纯函数式分析程序.

摘要:计算机支持协同设计是计算机支持协同工作ＣＳＣＷ（ｃｏｍｐｕｔｅｒｓｕｐｐｏｒｔｅｄｃｏｏｐｅｒａｔｉｖｅｗｏｒｋ）的一个应用领域，也是ＣＡＤ技术的进一步发展．本文论述了计算机支持协同设计的基本概念、内容．讨论了用于计算机支持协同设计的工程数据库版本管理的思想、方法，并就多库分布式工程数据库的版本管理及其实现进行了探讨.

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