航空薄壁结构有限元建模的智能化求解模型研究

介绍了利用CAD、网络自动剖分和人工智能技术相结合进行航空薄壁结构有限元建模的问题求解框架，着重论述了建模过程中模型演变的四个不同阶段的任务，提出了适应于建模各阶段的整体式知识表达模型，并对采用黑板机制来组织知识推理和算法任务调度的过程求解模型做了描述。该问题求解框架有助于构造高效实用的复杂薄壁结构有限元建模专家系统。     

医学专家系统开发工具BFBEST的设计方法

本文详细描述了医学专家系统开发工具——BFBEST(Blackboard Framework Based Expert System Development Tool)设计方法和技术。包括知识获取方法和知识表示方法,推理机的设计,开发机的设计,以及系统解释功能与自学习功能的设计等。BFBEST是在IBMPC上采用Turbo-Prolog语言研制成功的。利用BFBEST能很方便地生成各种高性能的医学专家系统。     

FMS实时调度系统的研究

柔性制造系统（ＦＭＳ）运行控制软件是保证ＦＭＳ有条不紊运行并充分发挥其潜在能力和效益的指挥中心，而ＦＭＳ运行软件的核心是实时调软件。本文讨论了面向对象的方法和专家系统技术在ＦＭＳ实时高度软件设计中的应用。该设计技术既能发挥面向对象方法的优势，又能突出专家系统的特点，以对象为中心来构造专家系统，本评论人知识获取、表示和推理三方面进行了论述，重点介绍了ＦＭＳ调度领域专家知识的面向对象表示。     

BBEST专家系统开发工具的研制

本文介绍了一个在IBM-PC上用Turbo-Prolog实现的通用医学专家系统开发工具(BBEST)。由于采用了先进的知识表示方法,强有力的推理策略,良好的系统结构,利用BBEST系统可以十分方便地构造各种高性能的医学专家系统。     

一个具有双层推理模型的医学专家系统

介绍一个成功的、具有双层推理模型的医学专家系统及其双层模型的构造、因果关系模型深层知识的获取、推理策略以及解释功能的设计技术。双层推理模型是经验推理和致因分析深层推理相结合的联合推理模型，它克服了第一代专家系统经验推理的局限性和脆弱性以及求解策略的单一性，增强了系统求解能力，提高了系统解释功能的深度，它是第二代专家系统设计技术的一次成功的研究和探索。最后给出了具有双层推理模型的医学专家系统运行时的一个诊断实例。     

BFBEST知识库生成系统设计技术

本文介绍了医学专家系统开发工具BFBEST的知识库生成系统设计技术。包括:(1)灵活友好的用户接口,(2)帮助用户避免输入知识时的语法和语义错误;(3)允许用户用领域规范化形式的知识与系统对话,输入知识;(4)具有事务薄记功能;(5)具有对知识库进行增、删、改的能力;(6)能对输入知识进行完整性和一致性的检查;(7)能将知识的机内表示复原成规范化的形式;(8)具有传授式的部分自动获取知识的功能。 BFBEST开发机是在IBM-PC机上用Turbo-Prolog语言实现的。它实用性强、智能化程度高,能用来快速生成各种高性能的医学专家系统知识库。     

知识的记忆-遗忘模型及其在知识管理中的应用

人脑通过反复记忆-遗忘功能筛选和掌握有用知识.将人脑的记忆和遗忘的特性引入知识管理,建立了符合遗忘规律的记忆-遗忘数学模型,并对其进行了适合计算机模拟的等效简化,以此为基础探讨了在知识管理系统中的应用和实现方法,并给出了实例.该模型能有助于快速提炼出知识系统中使用频繁的知识单元,并且对老化知识和新知识具有一定的适应能力,可以提升知识管理系统的价值.     

基于行动理论的智能体模型

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后,文中提出了具有完全信息的agent实现目标的一种运行方式     

箱壳类零件视图表达的方法

本文对机器中箱壳类零件的视图表达提供一种方法。该法包含两部分内容:(1)利用本文介绍的“作用轴线”,将箱壳零件内部起主要作用的结构形状方便地用几个剖视图表达出来;(2)箱壳类零件实质上由四种“单元体”所组成,将单元体逐一表达清楚,就能把它们的内外形状表达明白。以上内容归结为“三步”法。这种考虑方式目前起着逐步以科学的表达方法代替经验表达方法的作用,且已显露出某些优点。此外,本文还对有关视图表达的若干问题提出了建设性意见。     

有限语言下占先模型的赋值结构

占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus,D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框加下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。     

一种高精度航空结构多主体协作冲击定位方法

为了提高结构冲击载荷定位的精度和实时性,针对声发射和逆问题分析两类方法的优点和不足,结合多主体技术提出了一种高精度航空结构多主体协作冲击定位方法.两类冲击定位方法自主并行工作,通过黑板协作融合,彼此通信交互消息,参考优化定位结果,保证位置精度的同时提高了实时性.在大型航空铝板上的实验表明,该冲击载荷定位方法快速有效,具有很好的鲁棒性.     

知识表示的F-K系统

对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。     

BACKGROUND KNOWLEDGE AND SECONDARY KNOWLEDGE BASES IN LEARNINGS YSTEMS

讨论了背景知识和领域理论在学习过程中的作用，强调了学习系统中背景知识的重要性。文中介绍了一个以领域理论为主知识库、以背景知识为二级知识库的基于解释的学习系统，说明基于解释的学习系统如何利用背景知识克服不完全的领域理论带来的问题，使其能通过纯演绎的方法实现知识级的学习。最后，本文还简单讨论了学习系统中背景知识的获取方法。     

一种高性能的医学专家系统开发工具KBGML语言

介绍ＫＢＧＭＬ语言的设计思想，它包括ＫＢＧＭＬ各语句功能和格式的设计，特别是知识处理语句的设计，ＫＢＧＭＬ的解释系统的结构和工作原理的设计以及应用实例等。ＫＢＧＭＬ语言以知识处理为核心，具有第四代语言的特征，它有很强的知识处理能力，能自动构造和管理知识库。它具有较高的软件设计水平，能满足不同水平用户的需要，它还具有自然性、灵活性和领域通用性。ＫＢＧＭＬ语言是知识工程、语言编译和数据库管理等技术的集成体，它是一个在理论上和实用上很有研究价值的课题。     

一种划分航空知识点类型的方法

基于航空知识提出一种划分知识点类型的方法,对各种知识点类型进行统计,给出知识点的存储结构。