航天发射系统结构复杂，各分系统相互耦合，且故障传播模式多样化，故障特征和故障模式之间存在着模糊关系。因此，本文提出利用模糊Petri网对航天发射系统进行故障诊断，并给出了基于模糊Petri网的故障传播模式模型及反正向结合的推理算法。反向推理用于故障诊断，以选择检测路径，有效地找到发生某一故障的原因及其传播路径；正向推理用于计算该故障发生的真实度。文中以某运载火箭控制系统漏电故障诊断为例，说明了该模型直观、表达能力强的优点，同时表明了算法的适用性和有效性。

为了能够充分利用企业现有的CAD模型,提出了一种基于语义推理的变型设计方法。首先,对三维CAD信息模型和装配语义信息模型进行了研究,给出了两种模型的构建方法。在此基础上,对语义推理方法进行研究,结合相似性算法实现了CAD信息模型至装配语义信息模型的自动映射。并进一步实现了尺寸约束方程式在一定程度上的自动生成及尺寸约束传递解算。最后,以SolidWorks为三维CAD模型平台,以VC＋＋6.0为编程语言开发出语义映射系统,并以某企业的龙门铣床的主轴箱作为例子,对该系统进行了验证。