专家系统知识库验证：Ⅰ.若干问题

对基于规则和框架的专家系统知识库验证中遇到的若干问题进行了深入探讨，首先，简要介绍了知识表达和知识库的组成，接着定义了知识库的Ａ、Ｂ两类知识，对Ｂ类知识，包括冗余，矛盾，循环、不完备等进行了系统分类和分析，最后，讨论了Ｂ类知识对专家系统性能的影响。     

智能网工作站中知识库的分布

本文着重介绍了知识库（ＫＢ）的分布方法及ＤＫＢＳ的组成结构，详述了客户／服务器（Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ）结构的ＫＢ的分布及远程访问过程，最后针对近几年人们对ＫＢ的探索，提出了六个目前国内外研究中还存在的问题．     

智能网工作站的分布知识库IW-DKB的研究

本文主要介绍了分布式知识库的研究对象和方法， Ｉ Ｗ 中 Ｋ Ｂ的设计，智能网工作站 Ｉ Ｎ－ Ｉ Ｗ 中分布式知识库系统的组成结构及分布；在分布式知识库系统中，不但要考虑到数据库的分布，而且还要考虑到知识库的分布，本文给出了目前各个学科的相互渗透关系图     

基于决策技术和粗糙集理论的诊断知识库构建研究

针对目前诊断推理中知识库构建存在知识获取困难,提出了一种基于粗糙集和决策理论的诊断知识库构建模型.该模型引入决策技术和粗糙集理论,对源数据进行预处理,构建决策表,通过属性约简和属性值约简获取故障诊断的最小约简属性集和诊断规则,并建立诊断规则知识库.实例证明在保持故障诊断分类结果的情况下,该方法可以提取出最能反映故障的特征知识,并能有效地解决诊断知识库构建中规则获取的知识冗余或缺失问题,显著提高故障诊断的精度和效率.     

基于知识的应用系统中KBMS需求综述

基于知识的系统目前得到越来越广泛的应用，而不同的应用系统对于知识库管理系统（ＫＢＭＳ）的要求各不相同．本文从几个主要的应用系统出发，对规则的专家系统、自然语言的理解和生成系统、视觉系统、设计环境的ＫＢＭＳ需求进行了分析．     

基于本体的复杂产品协同设计知识库建设及验证

采用本体化知识库开发方法与技术,构建了高速旋转机械转子轴承系统协同设计知识库,并对其功能进行了验证.利用Protégé本体开发平台,对高速旋转机械转子轴承系统多学科设计知识进行了本体论建模,并开发了采用OWL语言描述的设计知识本体库.采用Jena技术框架,通过本体库与知识库的映射,完成了该类复杂产品协同设计知识库的建设.以两跨转子轴承试验台的设计作为工程应用案例,通过实现设计知识共享、重用和异构系统的互操作,对知识库原型系统的摩擦学设计模块、仿真及试验数据协同分析模块的功能进行了验证,验证结果表明,基于本体理论构建的知识库可有效服务于复杂产品的协同设计.     

基于知识库的知识发现（KDK）的结构模型与挖掘算法研究

从知识库中发现新知识KDK (knowledge discovery in knowledgebase) 是一个新课题，它的成功将直接作用于大型知识库的构建，并将为解决目前机器学习的瓶颈问题——知识获取起到重要影响。笔者的主要工作是：基于知识库中事实的KDK归纳结构、算法及其验证；基于知识库中规则的KDK归纳结构、算法及其验证。     

提高知识库管理系统效率的若干措施及效果

着重讨论了为提高知识库管理系统ＱＫＢＭＳ／７５效率而采取的措施：１）一体化 的体系结构；２）索引技术；３）基本关系的查询优化。还通过实例介绍了采取这些措施的 实际效果。     

机器人装配专家系统的设计和实现

在分析和研究机器人装配和知识库的基础上，本文建立了一个机器人装配知识库系统ＡＫＢＳ（ＡｓｓｅｍｂｌｙＫｎｏｗｌｅｄｇｅＢａｓｅＳｙｓｔｅｍ），它主要包括零件库、关系模型库、规则库及推理机。在建立零件库的过程中作者提出了一种基于ＣＳＧｒｅｐ的零件表示方法ＰＲ－ＣＳＧ，能够较全面地反映出在装配领域所需要的零件几何特征和物理特性，具有较强的表达能力；同时也容易实现与现有成熟的ＣＡＤ系统接口。在此基础上采用了统一的形式实现了对装配体中零件间的各种关系的描述，建立了具有层次结构的关系模型库。从书本和专家经验中抽取的知识存放在规则库中。     

KdV—Burgers方程行波解的研究

用Ｌａｘ－Ｎｉｏｕｖｅｒ变换求得了ＫｄＶ－Ｂｕｒｇｅｒｓ方程在特定情形下的精确行波解、渐近行波解,用Ａｄｏｍｉａｎ积分法求得了级数解。此外,找到了ＫｄＶ－Ｂｕｒｇｅｒｓ方程行波解与ＲＬＷ－Ｂｕｒｇｅｒｓ方程行波解之间的关系,进一步分析了ＫｄＶ－Ｂｕｒｇｅｒｓ方程一类已知的解析解。     

Snort规则库在高炉专家系统知识库的移植

知识库用于存放各种知识规则、因果关系和决策人员经过知识化抽象的经验。知识库及其相关技术为高炉专家系统各个模块提供数据支持和理论依据。组织恰当的知识库对于高炉专家系统是至关重要的。Snort作为优秀的开源入侵检测系统,其规则库的建立和处理方法是其优秀性能的基础,对高炉专家系统中知识库的构建具有很好的借鉴意义。本文主要讨论了Snort规则库在高炉专家系统知识库的移植相关问题。     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

基于本体的网络设备脆弱性知识库构建

针对网络设备脆弱性分析与预测,提出一种基于本体的网络设备脆弱性知识库构建方法。该方法将知识库构建分为3个部分：基于通用缺陷列表(CWE)构建网络设备脆弱性本体,形成脆弱性领域语义知识;为解决网络设备脆弱性数据获取难度大的问题,设计开发并发爬虫工具,高效构建网络设备脆弱性数据库;为提升关联规则挖掘效果,借助脆弱性领域语义知识,将构建的脆弱性数据库中、低层级脆弱性提升为高层级脆弱性,提高项集支持度,采用Apriori算法挖掘网络设备和脆弱性之间的关联规则。实验结果表明：构建的网络设备脆弱性知识库中包含更多网络设备和脆弱性关联规则,根据关联规则可对网络设备脆弱性进行有效分析与预测。     

应用神经网络建立采矿经验知识库

应用神经网络建立了获取采矿方法选择时所需的主要技术经济指标的采矿经验知识库，并以普通全面法为例，描述建造ＢＰ网络模型的过程。研究结果表明：利用这个采矿经验知识库，就可以根据采矿方法的工程背景，求得它的主要技术经济指标     

一种用于电气倒闸操作专家系统的知识库结构

结合电气操作的特点，通过对人工智能中产生式规则和逻辑谓词两种知识表示技术优缺点的比较分析，提出了一种组合型知识库结构。这种知识库结构能提高系统的推理效率，便于知识库的扩充、修改、有利于建造通用专家系统的外壳。     

知识库的校验研究

以基于规则的知识表达方式为例，论述了知识库的完整性和一致性校验的内容和方法，给出了各种非确定性处理方法统一的抽象描述，研究了非确定性处理对校验的影响。一些结果已应用于自行设计的圈闭评价专家系统中。     

运用HSV－tk／ACV系统进行肿瘤基因治疗研究

构建了含ｐｇｋ启动子驱动的ＨＳＶ－ｔｋ基因的反转录病毒载体ｐＬＮＴＫ，将ＨＳＶ－ｔｋ基因转移至人脑胶质瘤ＳＨＧ４４细胞（命名为ＳＨＧＬＮＴＫ）及小鼠黑色素瘤细胞Ｂ１６（命名为Ｂ１６ＬＮＴＫ）．体外实验证实核着类似物ＡＣＶ对ＳＨＧＬＮＴＫ细胞和Ｂ１６ＬＮＴＫ细胞的杀伤敏感性分别高于亲本细胞１０００和４００倍．转ＨＳＶ－ｔｋ基因细胞与亲本细胞按不同比例共培养时，亲本细胞对ＡＣＶ的敏感性明显增高，存在旁观者效应．首次应用人脑胶质瘤细胞株进行裸鼠体内实验，结果表明：ＡＣＶ能完全抑制ＳＨＧＬＮＴＫ细胞在裸小鼠体内肿瘤的形成，对裸小鼠体内已形成的ＳＨＧＬＮＴＫ肿瘤的治疗效果与对照ＳＨＧ４４肿瘤相比，肿瘤体积缩小８０％；用Ｂ１６ＬＮＴＫ细胞接种同系Ｃ５７／ＢＬ小鼠，经ＡＣＶ治疗后，Ｂ１６ＬＮＴＫ组小鼠的肿瘤较对照组Ｂ１６肿瘤小９５％．ＨＳＶ－ＴＫ／ＡＣＶ系统原位基因转移治疗ＳＨＧ荷瘤裸小鼠、Ｂ１６荷瘤小鼠，原位注射病毒悬液／ＡＣＶ治疗组的ＳＨＧ肿瘤、Ｂ１６肿瘤分别较对照组肿瘤小５０％，４３％，原位注射ＰＡ３１７／ＬＮＴＫ细胞，ＡＣＶ治疗的ＳＨＧ肿瘤较对照组肿瘤小９０％，以上实验结果，统计学上差异极显著，Ｐ＜０．０１．实验     

基于CBR的毛染整工艺知识库系统

毛织物染整工艺知识库系统是针对毛织物的品种、风格、品质与染整实验条件之间内在对应关系，建立基于CBR的毛染整工艺案例库和规则库．根据用户需要的品种、风格和品质，可以从该系统中快速获得相关的染整工艺条件和技术资料．概述了系统的工作原理及工作过程。     

决策表决策值的简化

首先定义了决策规则决策属性的简化，并以此为基础定义了决策表决策值的简化，旨在研究决策表条件值简化的对偶问题，即在保持决策表条件属性集不变的前提下它的条件属性集和决策属性集之间的最简函数关系。在这些定义的基础上，给出了决策规则决策属性简化的表达式和决策表决策值简化的表达式。     

圆盘上的BMOp（D）空间与Bloch空间

在单位圆盘Ｄ上引入了一类函数空间ＢＭＯｐ（Ｄ）和ＶＭＯｐ（Ｄ）（１≤ｐ＜＋∞），讨论了它与ＺｈｕＫｅｈｅ引入并讨论的函数空间ＢＭＯａ（Ｄ）和ＶＭＯａ（Ｄ）之间的关系；证明了全纯的ＢＭＯｐ（Ｄ）函数为Ｂｌｏｃｈ函数，全纯的ＶＭＯｐ（Ｄ）函数为小Ｂｌｏｃｈ函数。