FMS故障诊断专家系统中的知识处理技术

分析了诊断专家系统中证据和知识的不确定性来源，介绍了ＦＭＳ故障诊断专家 浅知识和深知识的不确定性描述及其不确定性传播，给出一棵主驱动故障及其部分带点的框图知识表示，以及经过简化的ＦＭＳ故障诊断专家系统的诊断流程。     

集成CAD系统中柔性界面的研究及设计

讨论在一个分布式计算环境中运行的由不同组件所组成的集成ＣＡＤ系统中，各组件之间通讯界面的设计问题．提出一种知识基柔性界面模型（ＫＢＦＩ），它使用知识基编程技术来实现ＫＢＳ和ＤＢＭＳ之间的通讯和交互．并基于提出的ＫＢＦＩ，探讨了开发一种包含不同种类知识基系统和设计数据库的分布式集成ＣＡＤ系统的途径     

FMS故障诊断专家系统中的知识处理技术

分析了诊断专家系统中证据和知识的不确定性来源，介绍了ＦＭＳ故障诊断专家系统中浅知识和深知识的不确定性描述及其不确定性传播，给出了一棵主驱动故障树及其部分带点的框图知识表示，以及经过简化的ＦＭＳ故障诊断专家系统的诊断流程。     

KBMDS：基于知识的地图数据库系统

ＫＢＭＤＳ是在ＭＤＳ地图数据库的基础上，结合ＡＩ技术，面向地图的基于知识的地图数据库系统，它具有四种功能：编辑功能、查询功能、学习功能和人机交互功能。系统采用了框架语义网络知识表达方法及其揄机制实现对图象物体的描述和检索，基于查询实例的学习功能提高了系统的查询效率，基于规则的图象物体描述的自动知识获取的途径。ＫＢＭＤＳ提供了两种查询语言，一种是具有二维文法的ＱＰＥ；一种是具有线性文法的ＬＩＰＬ语言     

基于知识的集成化机械零件DFM方法研究

研究基于知识的集成化零件ＤＦＭ方法。基于面向对象技术,采用框架和规则混合方式,表达可制造性评价知识,建立了零件可制造性评价体系和评价知识库。采用分层递阶的零件可制造性评价策略,在零件设计过程中,基于制造知识,对零件可制造性分阶段地进行评价与反馈,提供零件设计修改的反馈信息,从而指导产品设计。基于集成产品模型,通过ＳＴＥＰ文件,ＤＲＭ系统直接获取ＣＡＤ中的零件设计信息,自动进行评价与反馈,实现了ＣＡＤ／ＤＦＭ的信息共享和信息集成。     

DTMF接收器在程控电话上的应用

主要介绍单片机控制的ＤＴＭＦ信号接收器在程控交换机键控电话系统中的应用，详细分析了ＭＴ８８７０的内部结构和使用典型线路，描述了８０Ｃ３１单片机对ＭＴ８８７０接收器的控制工作原理，并应用该原理给出了设计长途电话控制加密器的电路方法。     

基于STEP AP233的需求描述转换--从自然语言描述到模型系统描述

介绍了知识支持的需求工程的方法及系统工程数据的描述标准，即ISO 10303－STEP AP233。主要说明了需求的自然语言描述到模型描述的系统的转换。欧洲研究工程KARE－需求工程的知识获取和共享，正在研究这一主题，包括需求工程的形式化过程和工作平台，不同的用户级别使用不同的工作平台配置。每种配置采用不同的方法实现STEP AP233。     

神经网络专家系统的状态识别,知识表示和求解策略

将神经网络与人工智能技术相结合，提出了１种新型的知识表示的形式化描述和知识单元，知识通过模式分类导入，并用ＩＭＳＢＰ和（Ｂ－Ｂ）ＢＰ调节２种不同类型的权，在此基础上提出了神经网络的双向求解策略，以加炉控制验证了其可行性。     

模具面向制造的设计研究

通过分析模具设计和制造的特点，以及这两者之间的相互关系，提出了模具并行工程及ＤＦＭ的基本框架，介绍了一个面向注塑模和压铸模的ＤＦＭ系统及系统中的各功能模块，讨论了模具ＤＦＭ系统中的知识表达方法和推理模型及面向对象的建模技术。     

网络通信协议形式化描述与验证技术的研究

首先概述当今常用的协议模型技术；然后重点剖析基于ＦＳＭ、Ｐｅｔｒｉ网和ＴＬ模型的协议形式化描述与验证技术的研究现状；最后介绍了一种最新协议描述技术－Ｚ协议技术。此外，本文还对这四种协议形式化技术各自的特点发表了作者的观点。     

醇醚型表面活性剂的质谱研究

对脂肪醇聚氧乙烯醚非离子型表面活性剂的ＥＩ，ｉ－Ｃ４Ｈ１０－ＣＩ，ＮＨ３－ＣＩ，ＮＨ３－ ＤＣＩ和 ＦＤＭＳ的质谱断裂严物进行归纳，并与 ＧＣ，ＴＬＣ法对比讨论了其分子量 分布的测定方法和存在的问题。对表观平均加成数的样品，ＦＤＭＳ取得 比其它方法更好的结果，ＴＬＣ法与 ＦＤＭＳ互相校核，可做为分子量分布的简易常规分析方法使用。     

一种面向对象的形式化规范说明技术——VDM＋＋

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明。     

一个小型计算机上的MOS电路分析程序—MDF

本文介绍的是一个小型计算机上的ＭＯＳ集成电路的电路分析程序——ＭＤＦ。用它可进行ＭＯＳ集成电路的直流分析和瞬态分析。它有一个输入语言，用户借助它可直观地描述要分析的电路的拓补结构和元件参数以及输出要求。ＭＤＦ采用了节点法列方程，用隐式变步长的积分技术求解常微分方程组，用改进的牛顿——拉夫森方法及ＬＵ分解求解非线性代数方程组。     

多媒体数据挖掘的相关媒体特征库方法

提出了数据挖掘系统原型ＭＤＭＰ的媒体特征库（ＭＦＤ）特征与建立特征库的方法，介绍了ＭＦＤ数据模型特征和数据类型；特别是构造了包括空间拓扑关系和方向关系的媒体特征获得了方法，面向对象的ＭＦＤ，支持复杂对象和基于多种特征的相关对象查询，支持关联存取和导航机制，能满足相关媒体数据挖掘ＭＤＭ的需要。     

左于坐标测量机的多智能主体检测规划知识框架的实现

ＤＩＫＦ是基于分布式并行处理智能检测规划集成开发平台中，用于多智能主体协同求解的分布式检测规划知识框架。论文主要论述了ＤＩＫＦ的系统组织原则和组成ＤＩＫＦ的智能主体的内部结构和功能模块，燕依据其内部结构说明了分布式检测规划的协同求解方法和策略。     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

PRAPS：一个用于自动程序设计的问题表示系统

提出了使用领域知识与专家系统技术形成形式问题模型的方法，并在ＰＲＡＰＳ系统中得以实现。这一方法的应用，使用户仅以自然语言形式提出问题，经ＰＲＡＰＳ系统，最终形成描述问题的形式化模型，从而为自动设计解决问题的程序奠定了基础。     

粗集理论及其应用（三）──知识表达系统

知识表达在智能数据处理中占有十分重要的地位。本文主要讨论知识处理框架中的知识表达方法，首先介绍用数据表描述的知识表达系统及形式化定义，然后给出知识表达系统中属性的重要性概念。在文中我们还根据粗集理论讨论了决策理论中的一些基本问题和决策表简化的方法，介绍决策表的形式化定义和一些性质。     

FMS智能诊断的信息集成和知识集成

通过对ＦＭＳ诊断信息和诊断知识的类型及特点的分析，提出并实现了ＦＭＳ智能诊断的信息集成策略和知识集成模型。     

FMS调度研究的现状与发展

ＦＭＳ的高效率和柔性很大程度上取决于ＦＭＳ调度的水平．对ＦＭＳ调度问题进行了系统总结,划分了其类型,并对现有的调度规则和评价指标作了评述．从方法学的角度,对已有的ＦＭＳ调度方法进行了分析和比较,认为目前广泛应用的基于知识的ＦＭＳ智能调度系统大多是结构不良的,存在三个明显的缺点：常识知识难以形式化、基于符号逻辑的推理效率不高以及系统不通用．提出了人机协同控制的ＦＭＳ调度方法．以期提出一个框架来引导将来沿此方面的工作．