基于知识的仿真模型的验证方法

仿真模型的验证研究的是模型的可信度问题。由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证。这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB)。通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程。在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告。此外,我们也讨论了验证相关知识的获取过程和细节。     

基于多层模糊Petri网的恶劣气象规避智能决策

研究飞机规避恶劣气象的战术决策问题,首先分析两种典型恶劣气象的规避策略,按飞行阶段的不同分别归纳出对应的知识库,采用多层模糊Petri网的方法对知识库进行建模,有效利用抽象库所和抽象变迁来提高模型对复杂知识的表示能力,并能够适应知识库的扩展和更新,用模块合并方法和"补弧"概念对模型进行简化,以降低推理过程的运算量,最后以途中飞行阶段的决策过程为例进行仿真验证,仿真结果表明基于多层模糊Petri网的建模方法可行有效.     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

MYCIN系统的模糊Petri网建模

模糊知识表示及不确定的推理方法是知识工程与专家系统中重要的常用技术.在文中利用模糊Petri网对MYCIN专家系统进行建模,详细地描述了网模型的定义以及变迁发生规则,并提出了一个结合正向推理和反向推理的混合推理算法.最后结合实例对建模思想以及推理算法进行了说明.     

基于Petri网的多Agent系统建模的研究

多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向.     

采用面向对象模糊Petri网的侦察平台Agent建模

为适应侦察平台Agent中各种知识的分类及知识动态更新过程的需求,采用一种自下而上的面向对象的模糊Petri网建模方法,不仅考虑处理中的侦察平台Agent推理规则,而且更注重其结构、子系统及相互通信方式.在分析侦察平台Agent模型及其知识推理系统的基础上,研究了面向对象的模糊Petri网建模的理论、建模步骤及示例.示例演示证实了模型的可行性与有效性.     

武器装备运用知识表示方法及其仿真教学应用

根据武器装备运用仿真教学系统的需求和特点,设计了基于领域本体的知识库为教学系统的知识表示提供支持。对武器装备运用领域的知识、知识表示和知识表示的方法进行了概要叙述和归纳分析。结合本体技术,参考现有的多种概念模型,根据领域专家提供的武器装备运用的数据、信息和经验,提取了武器装备运用的核心知识要点,构建了武器装备运用的领域知识模型,设计并实现了关于武器装备运用的知识库。介绍了仿真教学系统的功能、结构和武器装备体系运用规则专家系统模块,证明了所设计的知识库可以较好的应用于仿真教学系统。     

基于着色Petri网的知识流建模与分析

知识流建模已经成为知识流研究的关键。基于Petri网的知识流建模,可以形象描述知识异步并发。通过对知识流的监控,有助于知识管理。当Petri网应用于更加复杂的知识流系统时,模型会显得比较庞大。而着色Petri网克服了普通Petri网的缺点,并且可以更加详细的描述企业知识流中的各种知识。最后,知识流模型的仿真结果对企业知识流管理提供了一定参考。     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

基于知识网络的专家领域知识发现及表示方法

从知识网络的角度，对专家领域知识的发现及表示方法进行了研究。在分析知识内在关联的基础上，对专家领域知识进行网络建模，包括知识点建模及其关联关系建模。通过对模型进行网络分析，发现其中的群组（Clique）和子群组（Sub—Clique）。对群组和子群组中的知识点进行知识聚合，可获得知识核和知识子核，从而实现专家领域知识的准确获取和表示。该方法描述的专家领域知识可用专家领域知识网络结构图、知识表等形式表示出来，具有客观、准确等特点。文章最后给出了一个验证实例。     

基于知识的紧固件松动健康管理系统

本文提出基于知识的健康管理系统结构, 实现对对象的健康管理.通过对象领域知识的本体建模, 实现领域知识的共享、重用.建立健康管理领域知识相关推理规则, 通过推理机实现对健康管理领域任务的推理. 依据推理结果, 组成具备相关功能的主体, 通过多主体协作, 实现健康管理任务.本文提出通过主体投票实现数 据融合, 提高诊断准确性与可靠性.以螺钉松动诊断监测过程说明系统工作过程与效能.     

A Knowledge Tree Model for Managing Organizational Knowledge

1　IntroductionThe presentmarket environment in which modern industrial firms operate is characterizedby intense global competition,accelerating pace of technological change,and increasinglysophisticated customer tastes. These Changes of an enterprise′s environment will surelylead to transformation in organization and management. Thus,knowledge,which is re-placing capital and energy resources,becomes the most important resources of an enter-prise and intelligence capital is therefore his core…     

KNOWLEDGE PROCESS ANALYSIS： FRAMEWORK AND EXPERIENCE

We present a step-by-step approach for constructing a framework for knowledge process analysis （KPA）. We intend to apply this framework to the analysis of own research projects in an exploratory way and elaborate it through the accumulation of case studies. This study is based on a methodology consisting of knowledge process modeling, primitives synthesis, and reflective verification. We describe details of the methodology and present the results of case studies： a novel methodology, a practical work guide, and a tool for KPA; insights for improving future research projects and education; and the integration of existing knowledge creation theories.     

组织知识屏蔽与知识延迟的复杂性--学习型组织的知识动力哲学初探

从知识动力学的角度，对组织中的知识屏蔽和知识延迟现象进行了复杂性分析。该理论框架对知识管理、知识创新和学习型组织的研究具有创新意义。     

一种基于概念聚类的知识地图模型

针对组织知识管理中知识共享问题,运用知识地图作为工具来促进知识共享,建立了以知识空间三元组(知识、属性、关系)为背景的知识地图模型,并设计了一种知识地图的概念聚类算法.在概念聚类构造的知识地图中,知识按其属性自动聚类成知识节点,它描述了知识及共属性和关系,并将知识节点以偏序关系排列起来.将它作为组织知识共享的工具,有利于知识的快速查找,提高知识共享的效率.最后通过一个案例给出了模型的应用.     

组织知识管理概念建模及其工具设计

知识管理就是组织利用信息和通信技术使得组织管理活动的主体主动地积累知识、方便地获取和使用知识。知识管理建模是组织实施知识管理的基础。将知识管理模型分解为组织战略、组织结构，组织过程和信息系统四个互补的子模型，利用基于XML的知识管理建模语言KMPL，开发了知识管理模型的可视化设计和完整性管理工具KMMT，很好地实现了对知识管理系统开芯的支持。     

KNOWLEDGE DISTANCE IN INFORMATION SYSTEMS

In this paper, we first introduce the concepts of knowledge closeness and knowledge distance for measuring the sameness and the difference among knowledge in an information system, respectively. The relationship between these two concepts is a strictly mutual complement relation. We then investigaie some important properties of knowledge distance and perform experimental analyses on two public data sets, which show the presented measure appears to be well suited to characterize the nature of knowledge in an information system. Finally, we establish the relationship between the knowledge distance and knowledge granulation, which shows that two variants of the knowledge distance can also be used to construct the knowledge granulation. These results will be helpful for studying uncertainty in information systems.     

知识链成员之间利益分配的二人合作博弈分析

运用合作博弈理论,构建了具有旁支付的知识链成员之间利益分配的二人合作博弈模型,并通过实例分析,解决成员之间的利益分配问题.     

基于知识的产品协同设计系统体系结构研究

从产品生命周期的视角，提出基于分布式广义知识库系统支持的产品协同设计系统的体系结构，该结构包括三个层次：基础层、应用层和决策层。研究基于知识的工程系统支持CAD协同、产品信息建模及可视化仿真的方法，系统论述各层次的设计数据管理和交换机制。在基于知识的工程环境下，研制面向产品生命周期的协同设计系统框架。给出断路器开发实例，实现其生命周期协同开发的数据和知识的交流与共享。     

知识经济条件下企业知识管理的自组织特征

仔细考察了知识经济条件下企业知识管理过程中的条件、诱因、动力、前途等要素 ,发现了企业知识管理过程中的自组织特征 ,并据此结合知识管理的理论和实践 ,运用系统科学的自组织观点加以分析论证 ,得出科学的结论。