知识库

A comprehensive knowledge expression is put forward, a model of self-learning is established by adopting formula of Bayes, through which the threshold values of parameters and certainty factors can be revised automatically. Knowledge acquisition is the most important link for building blast furnace expert system.

高炉专家系统的知识库需要不断改进，为此，建立了高炉炉况规则的自学习模型，针对高炉炉况的判断规则，建立了高炉专家系统的实例学习、类比学习、知识库求精及知识库维护机制。

In recent years,ontology is widely concerned and extensively applied in many fields of computer science,suchas digital library,software reuse,the process of isomerous information in web,and the semantic web,etc.

随着各种已有的和将要研制的知识库和知识系统的不断增多，人们希望已有的知识库能够在后面的知识系统中继续使用，也希望不同的知识系统能够共享某个共同的知识库[1]。

In this paper, searching technology of product information based on knowledge was researched. On the aspect of cognition, we researched the relation between user\'s cognition and designer\'s cognition, explored the knowledge flow in the process of product development, set up a matching model between user\'s knowledge and designer\'s knowledge, brought forward a modeling method based on users\' cognition, and set up a measurable model of product feature; coded and decoded product form element, set up a computer aided product form design system and image evaluating system based on the result of measurement. Accordingly, the product style and product image were systematically discussed, the recognition space of product style and image was constructed, the factors that affect product style and image were put forwards and analyzed, and the relation between product image and form elements was tested by experiments. Furthermore, the product automatic recognition technologies were discussed.And then, with the media of concept model and the kernel of parameter technology, a mathematic model that describing product layout design by constraints and rules was presented. Furthermore, a product design integration system based on imagery thinking including product fonii base system based on imagery thinking, product form design system based on imagery thinking and product form intelligent design system based on space layout were set up, which tested the system and provided a new way for product innovative design.

本文以产品特征描述目标对象——产品，研究一种基于知识的产品信息检索技术，在对产品的认知方面，研究了用户认知和设计师认知之间的关系，研究了产品开发过程中的知识流传递过程，建立了用户知识和设计知识之间的匹配模型，提出了一种基于用户知识的产品建模方法，它不但提取了产品的特征，还建立了产品特征量化模型，从而实现了产品知识的量化描述；对产品造型元素进行分解和编码，利用实验量化结果构造计算机辅助产品形状设计系统和心象评价系统；使用量表分析造型元素的心象尺度，构造输入、输出系统，建立了产品设计知识库咨询系统，可以方便用户和设计师来导入或查询产品设计方案；实现了对产品造型心象的分类知识库系统，便于设计师存储或查询，辅助设计师进行产品创新设计；通过实验量化了产品造型参数和产品心象参数之间的关系，并在此基础上建立了基于心象的产品形状设计系统，为产品空间布局方案智能生成系统奠定基础；在基于知识库的基础上建立了产品空间布局方案智能生成系统，通过更改概念产品造型参数，实现了产品设计方案的智能生成，使系列化的设计工作变得十分方便；将产品的心象运用到实际设计过程中，能够引导流行趋势，创造出产品无形的设计价值。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

Repository includes information repository and expert experience repository. Production type express mode is adopted in knowledge express mode. Knowledge express mode was reasoned and matched with no precision ratiocinator and elicitation strategy, Identify communication radiant point and estimate its intimidatory grade.

其知识库包括"情报数据知识库"和"专家经验知识库"两数据库，知识表示模式采用了产生式表示模式，并利用不精确推理和启发策略进行推理和匹配，完成对通信辐射源进行识别并判断其威胁等级。

The establishing process of knowledge base is the learning knowledge process in ANN, so the knowledge base can constantly rechange and enrich.

基于ANN的CAPP系统开发工具的知识库由知识抽取机和学习机共同作用生成，知识库的建立是在网络学习过程的基础上进行的，因而知识库可以不断创新、不断丰富。

Third, through carrying on the classification and the reorganization to knowledge in the KB, used affiliation and inherited quality of CD tree to carry on the knowledge representation, reduced the KB redundancy and simplified the KB and saved the storage space and enhanced system's efficiency.

通过对知识库中的知识进行分类和整理，利用概念从属树的从属关系和继承性进行知识表示，降低了知识库的冗余度，简化了知识库，节省了存储空间，提高了系统的效率。

This paper discusses the organizing principle of knowledge library in expert system and suggest that the Sequential File, Index File, Multichain File, Backcomposing File, Hash File, etc can be adopted to organize knowledge library and the corresponding program is designed in the Prolog Language.

论述了专家系统中知识库的组织原则，对在计算机上如何实现知识库的物理组织问题，提出可以采用顺序文件、索引文件、多重链接表文件、倒排文件及散列文件等方法来组织知识库。

LKB manages the resource of local domain autonomically while the distributed GKB realizes the coordination and share of global scale grid resources.

KRMM基于本地—全局的层次网格资源知识库进行资源管理：依靠本地存储的本地知识库自治管理站点资源，同时依据分布存储的全局知识库实现在全局范围内网格资源的协同共享。

Repository includes information repository and expert experience repository. Production type express mode is adopted in knowledge express mode. Knowledge express mode was reasoned and matched with no precision ratiocinator and elicitation strategy, Identify communication radiant point and estimate its intimidatory grade.

其知识库包括&情报数据知识库&和&专家经验知识库&两数据库，知识表示模式采用了产生式表示模式，并利用不精确推理和启发策略进行推理和匹配，完成对通信辐射源进行识别并判断其威胁等级。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。