知识库的校验研究

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

可追踪供应链中非确定性RFID数据处理方法

针对可追踪供应链应用系统中大量非确定性RFID数据不能被有效处理的问题,通过分析RFID应用的关键特征,根据非确定性数据的比例来调整滑动窗口,采用不同策略处理不同类型的非确定性数据,提出可处理各种类型非确定性数据的清洗方法;根据对象在供应链中出现的位置及其连续性来区分多读、漏读和不完整数据,基于对象在物流节点中移动路径对应的有向图进一步提出可适应对象分组和独立移动的处理算法。研究结果表明:提出的方法具有良好的清洗效果、存储效率以及查询性能,在不同参数条件下能有效地支持对象路径查询。     

带有参数非确定性的单层厂房结构的地震响应

将材料参数非确定性和输入外荷载非确定性等的影响用结构的自振圆频率和响应的屈服位移的非确定性来表征，采用Monte-Carlo模拟方法对自振圆频率和结构响应的屈服位移考虑为非确定性参数时结构的非线性最大位移响应、最大恢复力响应进行计算分析，并对结构抗力与外荷载效应的相对比值对非线性结构系统可靠指标的影响进行初步研究。结果表明，非确定性参数对结构最大响应有显著影响，不同的非确定性对结构响应的影响程度不同，在非线性结构动力分析中区分各种非确定性因素的贡献是非常重要的。     

一种改进的确定性准规则LDPC码

提出了一种确定性准规则LDPC码的设计方法,通过双对角矩阵以及迭代生成的线性同余序列构造校验矩阵.推导了为避免四边以及更少边的循环,迭代参数所需要满足的条件.该方法主要优点是编码仅具有线性复杂度,并且校验矩阵可通过迭代和双对角矩阵生成,在译码端不需要存储整个校验矩阵,这对于译码器的硬件实现是有利的.仿真结果表明该方法具有优于伪随机方法的性能.     

模型校验经济有效性问题的优化模型与方法

模型校验中的经济有效性问题对于仿真系统，特别是大型复杂的军用仿真系统的模型校验十分重要。通过对模型校验策略的分析，讨论了如何建立这一问题的优化模型，并给出了基于线性规划和非线性规划的模型求解方法。     

非确定性 TS 模糊神经模型鲁棒性的统计判据

非确定性情况下的鲁棒性是智能控制系统不可避免的一个问题．本文将ＴＳ模型的模糊神经网络表达加以拓展，提出并证明了一种基于信息论统计测度的鲁棒性描述判据，该判据是由模糊神经网络、子波变换和信息论统计测度３个部分组成，着重体现了神经信号处理、可变分辨率和随机信号处理的综合，这就为分析智能控制系统的鲁棒性提供了一种有效的数学形式．该结论有助于非确定性智能控制系统的建模与智能控制器的设计．     

Agent在不确定性环境中的行动规划探究

现实世界是复杂的、动态的、部分可观察的和非确定性的。环境的部分可观察性和现实世界的不确定性，要求Agent能在不确定性环境中产生理性行为。概率方法和鲁棒性方法都能处理不确定性知识问题，并在不确定性环境中产生理性的行动规划。     

非确定并发系统的基于说明的测试推导

讨论具有非确定性的分布式并发软件系统，对论（1）的行为机构造方法的测试推导方法进行了扩展，使之可同时适用于确定和非确定的并发系统。     

边坡稳定性分析的扰动函数法

引入扰动力的概念，提出了边坡稳定性分析的扰动函数法。该方法不受分条模式的限制，采用同一数学模型对边坡稳定进行确定性和非确定性分析，克服了计算模型不同而引起分析结果的差异，扰动函数曲线可以全面描述边坡的稳定状态，并为边坡加固设计提供理论依据。     

边坡稳定性分析的扰动函数法

引入扰动力的概念，提出了边坡稳定性分析的扰动函数法．该方法不受分条模式的限制，采用同一数学模型对边坡稳定进行确定性和非确定性分析，克服了计算模型不同而引起分析结果的差异．扰动函数曲线可以全面描述边坡的稳定状态，并为边坡加固设计提供理论依据．     

PROLOG程序和知识库系统

第五代计累机是智能计算机系统,它是以处理知识为目标的,知识库是它的关键环节之一,所以知识库系统的研究引起了广泛的兴趣。本文通过数据库,知识库和PROLOG程序之间的对比,阐明了PROLOG程序具有知识库系统的基本功能,认为在PROLOG语言的基础上开发知识库系统是可行的。     

锻模设计知识管理系统的规划与实现

针对锻模行业中普遍存在的知识利用率不高、知识资源流失严重的现象,按功能不同将锻模设计知识进行梳理并分为5大知识模块,基于J2EE平台建立支持锻模产品设计的知识管理系统．进一步对知识形式划分为数据型、规则型等6大类,分别提出了知识的表示方法．分别从深层知识和浅层知识2个方面开发知识获取方式,构建数据和知识结合、常规数据处理与基于知识的处理结合的广义知识库系统．最后以整体锻模为设计对象,提出知识管理系统和CAX设计自动化系统集成与融接模型．     

知识库组织和目标求解模型

本文讨论知识库的组织和目标求解.首先用一个知识从属—调用图(KSIG)表示知识库,提出目标求解算法,并证明了生成的目标解树与SDL树中成功路径的等效性.然后提出充要搜索图和解树基等既念,进而建立了能有效地进行目标求解的知识库组织模型KBGS,使求解时只搜索必要的节点.     

财务决策支持系统的结构设计及实现方法

论述了决策支持系统的概念和发展现状，分析了决策支持系统的基本结构，探讨了财务决策支持系统中问题处理系统、数据库系统、模型库系统、方法库系统、知识库系统、图形库系统、人机会话系统等的工作原理和实现技术。在微机上初步研制实现了财务决策支持系统，并进行了试用运行，效果良好     

旋风预热系统内物料定常运动分析

用质量平衡的方法研究了在均衡操作条件下，旋风预热系统内物料的定常运动规律。工作基理论生料自上而下依次经过各级换热管和预热器落入窑内；各级预热器飞灰在本级与上级预热器之间做循环运动，其质量流量与成分均为恒定值，此规律用图简明示出     

An approach of developing expert system in support of database management system

A method of how to describe expert system using relative data model and the realization of inference using data search in support of database management system is introduced in this article. Thereby, the database system is promoted from data processing up to knowledge processing, and a practical method of how to develop expert system using the popular database developing tools is proposed. Yang Kaiying: born in Aug. 1946, Associate professor     

Design of Multi-attribute Knowledge Base Based on Hybrid Knowledge Representation

Based on the knowledge representation and knowledge reasoning, this paper addresses the creation of the multi-attribute knowledge base on the basis of hybrid knowledge representation, with the help of object-oriented programming language and relational database. Compared with general knowledge base, multi-attribute knowledge base can enhance the ability of knowledge processing and application; integrate the heterogeneous knowledge, such as model, symbol, case-based sample knowledge; and support the whole decision process by integrated reasoning.     

基于框架的知识库管理系统

框架系统作为知识表达的最有效方法之一,以其独特的知识结构化风格在知识工程技术中日益受到人们的青睐。本文用Prolog逻辑程序设计语言的表处理技术实现了框架系统,设计出一个基于框架的可自定义并可多途径自行维护的知识库管理系统。     

可移植的自然语言生成系统中知识库的设计

从可移植的角度对自然语言生成系统中任务域处理进行了研究,结合面向对象的知识库的基本理论,从知识表示、知识获取、知识推理、知识更新等方面提出了可移植的自然语言生成系统中知识库的设计方法,并通过实验结果证明该方法是可行的.