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

针对仿真模型验证过程中缺少参考数据的情况,提出一种基于知识的仿真模型验证方法.首先将仿真系统的行为分割成各种基本行为模式,然后提取出行为特征,最后将已提取出的仿真系统行为特征与知识库中的专家知识进行比较,实现仿真模型的验证.实验表明,该方法能够较好的解决仿真模型验证中缺少参考数据的问题.     

目标机动策略的智能决策支持系统研究

在建立地面防空作战信息对抗模型的过程中,为充分利用目标机动时的定性和定量信息,应用智能决策支持系统的基本理论和方法建立了目标机动策略的智能决策支持系统模型。该系统模型突出知识库创建、知识表示方法、模型库和决策支持系统建立,形成了具有专家水准的目标机动的战术机动自动决策仿真机制,为地面防空作战信息对抗模型的进一步研究提供了良好的平台。     

建模与仿真的智能化、集成化发展综述

本文简述了建模与仿真技术发展的历史和现状；就建模与仿真系统智能化接口的几种实现方法、支持仿真模型自动生成的模型库和知识库的组织结构等进行了综合性的评述；分析了智能决策在建模与仿真过程中的作用和集成化仿真系统的基本构成。最后，就建模与仿真系统的设计方法和新的设计思想进行了简要综述     

面向并行工程的知识库校验模型与方法研究

主要研究并行工程知识管理中底层领域知识的分析和验证问题 .将 Petri网技术应用于领域知识库的建模和分析 ,基于高级网系统给出了知识库各种异常现象 (包括 :规则冗余、规则冲突、循环规则等 )检测的建模技术和验证方法 .     

建模与仿真的智能化,集成化发展综述

本文简述了建模与仿真技术发展的历史和现状；就建模与仿真系统智能化接口的几种实现方法，支持仿真模型自动生成的模型库和知识库的组织结构等进行了综合性的评述；分析了智能决策在建模瑕仿真过程中的作用和集成化仿真系统的基本构成。     

一种基于智能中间件的综合GDSS框架模型

针对群体决策分析的过程和特点,在传统中间件的基础上,增加知识库的相关内容和方法,获得一个由中央处理单元、辅助选择、功能组合平台和知识库交互平台构成的智能中间件,并提出一个基于智能中间件的综合群体决策支持系统框架模型。在该框架模型中,将知识发现、知识管理和群体决策支持系统相互结合,集智能中间件、知识发现技术于一体,系统分为三个层面:用户层、管理层和分析层,分别对应于用户交互、知识管理和知识挖掘三个平台,并给出了三个平台的框架结构和功能。最后,通过具体实例讨论了该系统框架模型的应用。     

基于知识元的应急决策知识表示与生成方法

非常规突发事件应急决策是一类应急状态下的复杂系统决策问题,快速生成应急决策知识是解决这类问题关键.本文从不同科学域的共性整体特征出发,构建应急决策知识元模型,为多领域、多学科显性知识和隐性知识的表示与融合提供支持.在此基础上,本文首先基于知识元模型生成个体知识,然后通过GRA-T(grey relation analysis and TOPSIS)方法确定决策主体考虑问题的权重,再使用WGRG(weight grey relation grade)融合算子将专家知识整合成系统性的应急决策知识,为保证应急决策的及时性、科学性和有效性提供知识支持.最后,通过数值算例和地铁火灾突发事件案例分别验证GRA-T和WGRG方法的优越性以及应急决策知识表示和生成方法的实用性和科学性.     

Ontology_CVGE:本体支持下的协同虚拟地理环境框架

为地理问题的群体协同决策提供可视化环境是协同虚拟地理环境的基本目标.协同决策是一个领域知识驱动的过程,而本体是目前用于领域知识表达与相关概念描述的重要工具.因此,在分析知识表达在协同虚拟地理环境中所具有的重要意义基础上,提出协同虚拟地理环境中群体决策的迭代过程模型,并以森林灭火决策为例,构建支撑协同虚拟地理环境的本体知识库.最后,综合上述研究成果设计了本体支持下的协同虚拟地理环境框架-Ontology_CVGE.     

基于HLA的鱼雷武器性能仿真系统及其VV&A研究

讨论了高层体系结构(HLA)技术应用于鱼雷武器性能仿真的需求和关键技术以及该仿真系统的VV&A:(1)建立精确的武器系统仿真模型;(2)解决实时性问题;(3)建立有效的VV&A技术保障。在基于HLA的鱼雷武器性能仿真系统的FEDEP开发过程中利用Labworks工具集辅助进行FOM/SOM校核、互操作性校核以及联邦测试等VV&A过程,采用主观判断分析、软件测试和频谱分析等方法对鱼雷控制系统模型、弹道模型和自导系统模型进行了校核与验证,提高了HLA仿真试验结果的可信度。     

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

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

任务空间概念模型轻量级形式化校核方法初探

任务空间概念模型是现实世界军事知识的第一层抽象，是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量，任务空间概念模型自身的VV＆A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述，定性描述占主要，定量成分非常少。因此，传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。把轻量级形式化方法引入了任务空间概念模型的校核，提出形式化校核过程。并建立了部分校核模型。     

C4ISR系统体系结构的仿真验证方法研究

C4ISR系统体系结构设计在系统研制中的地位和作用越来越受到重视,体系结构设计的质量将直接关系到系统开发的成败.体系结构验证是利用体系结构产品,将其转换为可执行模型,通过分析可执行模型的执行过程和结果,从而验证评估体系结构设计质量的方法.文章研究了体系结构验证的基本思路,利用现有的组件化建模仿真技术与环境,以部分C4ISR体系结构产品为基础构建仿真系统,通过仿真实验来进行体系结构验证,从而为体系结构验证提供技术支持.     

混杂交通微观仿真原型系统的验证

在混杂交通微观仿真原型系统的开发中，需要做大量实地研究工作，并且验证主要是验证交通参与者模型。考虑到这些特点，在借鉴现有仿真验证方案的基础上，为其验证制定了方案。验证方案包含5步：仿真用途确定、比较基准定义、概念模型验证、规则库验证、结果验证。在文章最后，给出了一个应用该验证方案的具体实例。     

A New Method with High Confidence for Validation of Computer Simulation Models of Flight Systems

Computer simulation models may by used to gain further information about missile performance variability. Model validation is an important aspect of the test program for a missile system. Validation provides a basis for confidence in the model's results and is a necessary step if the model is to be used to draw inference about the behavior of the real missile. This paper is a review of methods useful for validation of computer simulation models of missile systems and provides a new method with high degree of confidence for validation of computer simulation models of missile systems. Some examples of the use of the new method in validating computer simulation models are given.     

煤矿生产系统的动态仿真

本文所述是“智能型矿务局分布式决策支持系统”(IDDSS-mb)的一部分。文中首先对煤矿生产系统进行了分析。继而基于此系统分析、建立了煤矿生产仿真模型体系。随后详细叙述了该模型体系的工作流程,并介绍了系统软件开发的若干关键技术和实际应用情况,最后展望了今后的研究工作。     

电路仿真与故障知识获取研究

为解决故障诊断专家系统的故障知识获取的“瓶颈”问题,利用电路仿真软件Multisim2001对某型导弹发射车的电控系统电路进行仿真。通过仿真获得导弹发射车的电控系统电路的故障参数,获取功能-故障之间的对应关系,建立了故障诊断专家系统知识库,为解决故障诊断专家系统的知识获取问题提供了一个新的思路。     

稻麦联合收获机清选智能调控模型仿真与试验

如何根据清选损失率和含杂率的变化进行清选智能调控建模与仿真是智能化稻麦联合收获机智能调控的研究重点和热点问题。基于清选调控流程图构建了清选智能调控专家经验知识获取方法,基于产生式规则表示法构建了面向田间作业环境的清选智能调控知识库;基于仿人智能控制原理,构建了自适应选择清选调控策略的知识推理算法,完成了清选智能调控模型的构建。基于Matlab的Simulink模块库构建了清选智能调控模型仿真与测试环境,通过模拟清选含杂率和清选损失率的输入,对该智能控制算法进行了仿真试验与分析。     

智能决策支持系统:研究现状与挑战

综述智能决策支持系统的研究内容和现状，从基于知识的系统及其与决策过程的关系出发，讨论了IDSS中的知识和知识处理系统，以知识和学习能力为线索，分析几种智能决策支持系统的不同类型，并进行比较分析，介绍了智能决策支持系统的体系结构，智能决策支持方法和决策支持系统中的认知问题等的研究成果，最后，分析了智能决策支持系统面临的挑战，提出了进一步的研究方向。