摘要:机械工程图尺寸标注的识别与理解是最终识别和理解机械工程图的基础．本文以国标ＧＢ４４５８—８４为基础，将尺寸标注分为２７种模式和４８种子模式，并给出了其数学描述．本文详细描述了尺寸标注的基于箭头匹配模式的网状文法．

摘要:相关分析和程序并行化等技术已普遍受到重视，现有技术对过程内的相关分析和并行化效果是令人满意的，但是过程调用的出现为分析增添了许多困难．过程间相关性分析的目的正是为了开发含过程调用情况的程序的并行性．本文在深入研究别名对程序并行化影响的基础上，提出了一个新的强化别名分析算法，使被调用过程段的并行化成为可能．

摘要:本文通过对近１０年命题时态逻辑定理证明方法的研究，提出了一种新的证明方法，前人的工作基于对公式的现时部分和后时部分的分解，本文的工作是基于语义反驳树构造。这种新方法为计算机自动证明命题时态逻辑定理，提供了比较好的理论框架．最后还证明了该方法的可靠性和完全性．

摘要:ＣＩＭＢＡＳＥ是为计算机集成制造系统而设计的一个异构分布式数据库管理系统．ＣＩＭＢＡＳＥ的重要用户接口之一是它的Ｃ预编译程序．它允许用户在Ｃ里访问远程数据库，是用户开发计算机集成制造系统的重要编程接口．在这篇论文里，我们先介绍它的主要功能，而后集中讨论有关它的实现技术．特别是必要的通信命令设计，主程序、代理程序的工作模式、结构及其生成，以及与之相关的某些算法．

摘要:运动判决需要使用整体性质．本文建立了一个神经系统，并给出了该神经系统实现图象区域运动判决的原理．该系统的特点是从整体性质出发来判决和表示运动信息．这个系统主要采用的神经机制是：信息分类表示和信息分类加工；依据简单特征的运动匹配；不同信息之间的竟争与合作；神经活性的扩散、集中和阻挡．

摘要:本文介绍了ＤｅＤＢ的递归查询算法，提出为减少冗余及回溯计算的基本原理．根据该原理，提出了一种高效的递归查询算法ＧＣＱＡ，它包括２部分，一是预编译算法；另一个是递归编译算法．实验结果表明这种算法是高效的．

摘要:本文详细讨论了一个实用专家系统的开发技术，主要包括：ＦＬ知识表示法、定量化模型、知识库的组织与维护方法以及不确定推理方法．

摘要:本文提出了一种新的不确定性推理方法ＨＵＩＭ．这种方法把基于假设的真值维持系统（ＡＴＭＳ）和Ｄｅｍｐｓｔｅｒ—Ｓｈａｆｅｒ的证据理论有机地结合在一起，使得ＡＴＭＳ这种符号代数系统可用来处理以数值形式表示的不确定性信息．将该方法应用于基于规则的系统，可以弥补这类系统在不确定性推理方面所存在的某些不足．