基于可拓学的行为模型验证

虚拟实体行为的逼真度和可信度是行为建模的两个重要指标,行为模型验证是断定行为模型是否真实可信的重要手段.行为模型具有决策空间多维性和响应结果不确定性等特征,传统的面向数学物理模型的验证方法难以凑效.提出依据可拓学基本原理,结合专家经验评估法,对虚拟实体行为模型进行验证的方法.算例表明该方法对于行为模型的验证是有效的,可以实现多层次验证指标的分解与合成,并最大限度地降低了验证过程中的主观因素.     

水下对抗仿真系统的校核、验证与确认方法研究

水下对抗仿真系统是以装备发展论证为应用领域的复杂仿真系统.本文针对该系统的建模与仿真特点,首先对水下对抗仿真系统的校核和验证任务进行了分析,提出了系统确认的树形评估度量结构;本文立足全生命周期的VV&A观点,建立了该系统的VV&A过程模型.最后,论文重点对该系统VV&A的5种技术及应用情况进行了描述.     

C4ISR系统能力需求行为建模及验证

针对C⁴ISR系统需求分析行为建模中,统一建模语言（unified modeling language, UML)的行为模型验证困难问题,提出了一种C⁴ISR系统能力需求行为建模及验证方法。从构建C⁴ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。     

三自由度机载光电跟瞄平台建模与校核

根据三自由度机载光电跟瞄平台的仿真目的,将建模重点确定为三轴环架的动力学特性;同时推导了环架动力学方程,应用比较检测方法校核了该方程;在Simulink(r)中完成了模型实现,通过校核纠正并改进了模型实现;论文最后采用可接受检验方法,验证了环架模型的正确性.在建模过程中结合V&V技术有效的保证了模型的可信度和正确性.     

情感影响下的人类认知行为建模研究概述

情感对人类认知行为具有重要影响作用,在认知行为建模过程中加入情感因素可以显著提高认知行为模型的真实性和适应性。首先将情感对认知行为影响作用的理论研究发展脉络划分为三个阶段,对各阶段代表性理论成果进行了阐述;其次,研究了情感影响下的认知行为模型的基本建模思想和方法,给出了若干典型的情感行为模型,并对各种方法和模型的优缺点进行了分析;最后,根据情感行为建模研究的现状,指出个体情感的精确描述与建模、多层次的情感-认知交互模型和组件化的通用情感行为建模框架是下一步需要着重研究的三个方向,并且给出了指导性的组件化的情感行为建模框架。     

建模与仿真过程中需求分析模型的校核与验证研究

建模与仿真(M&S)开始于对所研究问题的明确定义与清晰描述,准确完整的需求定义是确定M&S校核、验证与确认(VV&A)评估标准的依据.简要介绍了需求分析过程的阶段和需求分析模型的建立方法,分析了需求分析模型校核与验证的主要内容,并给出了需求分析模型的静态校验和动态校验方法.     

建模与仿真技术发展趋势分析

经过半个多世纪的发展,仿真技术已经成为对人类社会发展进步具有重要影响的一门综合性技术学科.本文对建模与仿真技术发展趋势作了较全面分析.仿真建模方法更加丰富,更加需要仿真模型具有互操作性和可重用性,仿真建模VV&A与可信度评估成为仿真建模发展的重要支柱;仿真体系结构逐渐形成标准,仿真系统层次化、网络化已成为现实,仿真网格将是下一个重要发展方向;仿真应用领域更加丰富,向复杂系统科学领域发展,并将更加贴近人们的生活.     

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

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

模型验证——基于主体建模的方法论问题

基于主体的(agent-based, AB)建模已成为目前社会经济系统复杂性分析的重要方法, 但由于缺乏有效的模型验证导致AB 建模方法还未能得到主流研究者的认同. 本文比较了AB建模和基于方程(equation-based, EB)建模在建模过程上的区别, 从结果验证、过程验证和模型对接研究三个方面回顾了AB模型验证的主要方法论问题和相关研究进展, 指出建模工具标准化、一致性判断、灵敏度分析和参数空间压缩技术是未来AB 模型验证的主要方向.     

建模与仿真校核、验证与确认综述

校核、验证与确认(verification, validation, and accreditation,简称VV&A)是必须贯穿于建模与仿真全生命周期的重要部分。文章综述了建模与仿真生命周期中的VV&A活动、原则、技术及其适用范围,以及V&V的分级方法。     

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

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

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证.该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型.同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

模数驱动的智能武器装备作战建模方法

仿真建模作为一种模型驱动的机理建模,一直是武器装备系统采办、设计和评估等工作的主要手段.随着大数据和人工智能的深入应用,数据驱动的数据建模越来越受到关注.首先从模型驱动、数据驱动和模数驱动三个方面对武器装备作战建模方法进行概述,分析单独使用仿真建模或数据建模在应对当前武器装备作战建模工作的不足,提出一种模数驱动的数字化建模方法.该方法核心是模数驱动架构的设计,在此基础上运用功能决策树表示作战行为模型,对于行为模型中的决策环节,基于深度强化学习训练和嵌入数智Agent.通过构建弹道导弹突防过程中的多目标分配场景,对比仿真实验显示,采用智能网络决策比传统基于规则脚本的目标命中率有显著提高.     

面向计算机生成兵力的认知行为模型架构研究综述

为规范和促进计算机生成兵力各类认知行为模型的标准化开发,对面向计算机生成兵力的认知行为模型架构进行综述研究,以计算机生成兵力的意图识别行为为例,探讨了一般认知行为在标准认知架构基础上的功能实现方式.论证结果表明,良设计的认知行为模型架构对于复杂认知行为建模具有很强的指导意义.还提出了需求分析、设计实现、理论基础、协作机...     

基于生成图的体系结构动态行为语义一致性验证方法

针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法. 首先根据体系结构的动态行为模型构建生成图,然后对生成图的逻辑结构和时间信息进行分析,来完成动态行为模型的逻辑关系和时序关系一致性验证. 该方法不但能够有效解决动态行为的语义一致性验证问题,而且还能准确定位模型中出现问题的地方,指导用户进行模型不一致处理和优化动态模型. 同时,生成图可供多个模型间的动态行为一致性验证,实用性更强,且在可理解性、可分析性等方面上相比传统方法具有较大改善.     

面向复杂仿真因果追溯的行为建模方法

基于行为建模的因果追溯方法是解决复杂仿真分析中因果关系追溯问题的一种思想。该思想依据仿真系统运行结果数据,重新构建描述因果关系的行为模型,并基于这些行为模型进行因果追溯。为了建立良好有效的行为模型支持追溯,首先介绍了因果关系的概念及其结构描述;然后将追溯划分为三个层次:系统表层、系统深层以及组合层,最后选取事件图行为模型为基本模型,按照这些层次分别对其进行扩展,从而获得不同层次的行为建模方法支持因果关系的描述和建模。     

基于PICS域划分的敏捷兵力行为分析、建模方法研究

敏捷兵力行为建模急需要有效的行为分析,建模方法提供支持.根据NCW(NetworkCentric Warfare)和敏捷兵力的相关理论研究成果,提出了基于PICS(Physical-Information-Cognitive-Social)域划分的敏捷兵力行为分析、建模方法,并就其实现思想进行了阐述;在此基础上,应用该方法对敏捷兵力的敏捷作战行为进行了分析、建模实现.     

开关磁阻发电系统仿真与稳定性分析

阐述了开关磁阻发电机(SRG)的发电原理,给出了三相6/4结构SRG的数学模型,利用Matlab工具在Simuink环境下建立了SRG的行为模型,进行了负载突加、负载突卸、缺相等工作状态的仿真分析,验证了模型的合理性.完成了SRG通过汇流条和二次电源加载负载的建模仿真,仿真结果证实了本模型可以作为飞机供电系统仿真模型的一个子系统来分析研究.通过SRG的简化模型进行稳定性分析,用根轨迹和bode图反映了系统的稳定性.建模时不仅考虑了模型的准确性,而且综合了与飞机供电系统中其他设备建模的兼容性和仿真速度等因素.所提出的建模方法和稳定性分析方法对SRG和飞机供电系统的研究都有一定的参考价值.     

基于浅水风浪谱的海浪水压场模型仿真与校核

对海浪水压场高精度建模仿真,是水雷水压引信研究的一个重要工作.依据由我国附近海域实测数据总结出的风浪谱模型,对浅水层海浪水压场进行建模仿真,并利用牛顿迭代法优化模型计算,提高仿真的精度和计算速度.对比实测海浪水压场特征参量,对仿真结果进行校核,证明仿真模型在特征参量准确性和作战仿真实用性方面取得不错的效果.     

基于控制论的计算机生成兵力实体对象行为模型

实体行为建模是计算机生成兵力(CGF)研究的重要内容。基于控制论的基本思想，提出适应虚拟战场需求的虚拟实体对象行为模型ESCP。ESCP行为模型由感受器、效应器和控制器三部分组成，感受器感知虚拟战场环境信息和内部反馈事件，效应器反映CGF实体对象对虚拟战场环境的作用，控制器对感知的虚拟战场环境信息进行处理，并对实体的行为进行控制。ESCP支持复合行为、协同行为以及行为并发，行为可重用。