仿真系统可信度评估及模型验证方法研究

该文对仿真系统可信度评估的一些概念和M＆S过程中V&V的应用进行了综述.讨论了有关概念模型验证的一些问题,并介绍了模型验证的贝叶斯(Bayes)方法.     

复杂系统仿真模型可信度评估方法对比

为准确评估复杂系统仿真模型的可信度,以某飞行器非线性动力学模型为研究对象,对比多种传统可信度评估方法和基于复杂性测度的可信度评估方法的准确性。结果表明：传统可信度评估方法可以从单一方面进行模型的可信度评估并得到可信的结果,而基于复杂性测度的可信度评估方法可以综合分析信息熵、复杂度和系统结构认知图等信息,客观定量地评价模型的可信度。基于复杂性测度的可信度评估结果可为其他评估方法的准确性判断提供依据。     

作战仿真系统的可信度研究

随着计算机技术和仿真技术在作战领域中的广泛应用,仿真的正确性和可信性成为衡量作战仿真系统的核心因素,直接影响着仿真的成败。论文在介绍作战仿真系统可信度国内外研究现状的基础上,对目前作战仿真系统可信度评估中所存在的问题进行了综述,明确了作战仿真系统可信度评估的相关概念。根据作战仿真系统的层次和规模,给出了不同层次的作战仿真系统校验、验证和确认(VV&A)的内容和方法,同时对于作战仿真系统可信度评估的目标、影响因素、数据和体系结构也进行了详细阐述。论文对于研究作战仿真系统的可信度有重要的现实意义。     

计算机仿真系统的可信度评估

相似理论是计算机仿真的基础,它在建立仿真模型、仿真可信性评估等方面都有很好的指导作用,在文中分析相似理论中的序结构定律的基础上,将序结构定律运用于计算机仿真系统的相似评定中,并给出了具体的算法。对如何评估仿真系统的相似度问题,在理论上作了一定的研究和探讨。     

基于RS-Fuzzy的仿真系统可信度评估研究

为了更好地评价仿真系统可信度,提出了一种基于Rough Set和Fuzzy结合的仿真可信度评估方法。该方法首先将决策者经验权系数同Rough Set确定的属性重要度结合起来确定最终指标权系数,然后采用Fuzzy法对仿真系统可信度进行全面综合地评价,并用模糊状态方程式的方式表示结果。最后,以轨道交通ATC仿真系统可信度评估为例,验证了该方法的有效性和实用性,为仿真系统可信度评估提供了方便快捷的途径。     

基于系统可信度的动态安全访问控制模型

为提高安全访问控制中多策略组合的灵活度,满足系统的安全性和实用性,提出一种基于系统可信度的动态安全访问控制模型。该模型能根据系统状态的变化,动态调整安全策略间的组合方式,达到最优化系统性能的目的。实验结果证明,该模型对多策略的支持更为灵活,在保证系统原有安全性的同时进一步提高了系统的实用性。     

一种新的汽车乘员分类视觉检测算法

针对第5百分位（身材矮小）成年女性与第50百分位（平均身材）成年男性等不同类型的乘员,建立基于低成本CMOS摄像机的汽车乘员分类视觉检测系统及其智能模式识别算法。通过建立乘员图像测量空间的图像预处理算法和乘员边缘检测算法,利用Legendre矩描述乘员特征空间的乘员边缘主特征,以及建立基于BP神经网络的乘员类型空间模式分类器,实现不同乘员类型的模式分类。     

关于仿真可信度评估及仿真VV＆A的探讨

根据国内外仿真可信度及仿真系统的校核、验证与确认(VerificationValidationandAccreditation,VV&A)的研究现状,探讨了仿真可信度评估理论,重点研究了仿真可信度的概念和性质,仿真系统可信度评估的原则以及仿真可信度与仿真系统的校核、验证与确认(VV&A)之间的关系。同时,该文还运用一个简单的例子就仿真系统可信度评估与仿真系统的校核、验证与确认(VV&A)之间的关系作了一个简单、明确的阐述,使大家对仿真系统可信度评估与仿真系统的校核、验证与确认(VV&A)有一个更加清楚的认识。     

武器装备仿真系统可信度评估

随着现代科技的发展和军事的需要,武器装备系统仿真对武器装备系统的论证变得越来越重要,主要作用是节约开支,优化作战性能,进行效能评估等.然而仿真可信度目前还没有很好的评估方法.一个仿真系统如果不知道其可信度如何,往往让人难以接受.根据国内外研究现状,主要讨论了仿真的校核、确认与验收和仿真可信度的关系,同时分析了仿真可信度的概念,并在概念分析的基础上提出了一些常用可信度的评估方法,这些方法在实际应用中具有指导意义.     

基于模糊AHP的系统仿真可信度评估方法

该文讨论用模糊层次分析法(fuzzy AHP)计算影响系统仿真可信度评估的各因素的权重，fuzzy AHP基于模糊理论，用三角模糊数表示两两判断矩阵。通过比较第1个对象满足m个目标的综合程度计算权重向量。filzzy AHP用法考虑了人们对复杂事物判断的模糊性，能够更好地克服人为主观判断、偏好给决策带来的影响，因而更具有合理性。最后的应用结果表明该方法科学合理，简单实用，具有一定的工程应用价值。     

Reliability-based robust assessment for multiobjective optimization design of improving occupant restraint system performance

Optimal performance of vehicle occupant restraint system (ORS) requires an accurate assessment of occupant injury values including head, neck and chest responses, etc. To provide a feasible framework for incorporating occupant injury characteristics into the ORS design schemes, this paper presents a reliability-based robust approach for the development of the ORS. The uncertainties of design variables are addressed and the general formulations of reliable and robust design are given in the optimization process. The ORS optimization is a highly nonlinear and large scale problem. In order to save the computational cost, an optimal sampling strategy is applied to generate sample points at the stage of design of experiment (DOE). Further, to efficiently obtain a robust approximation, the support vector regression (SVR) is suggested to construct the surrogate model in the vehicle ORS design process. The multiobjective particle swarm optimization (MPSO) algorithm is used for obtaining the Pareto optimal set with emphasis on resolving conflicting requirements from some of the objectives and the Monte Carlo simulation (MCS) method is applied to perform the reliability and robustness analysis. The differences of three different Pareto fronts of the deterministic, reliable and robust multiobjective optimization designs are compared and analyzed in this study. Finally, the reliability-based robust optimization result is verified by using sled system test. The result shows that the proposed reliability-based robust optimization design is efficient in solving ORS design optimization problems.     

基于STeC-Stateflow转换系统的实时系统仿真与验证方法

物联网以及信息物理融合系统对形式化建模提出了新的挑战, 引入了实时系统规范语言STeC, 为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统, 提出一种基于STeC至Stateflow转换的仿真及验证方法, 该方法使用STeC语言对实时系统进行形式化建模, 再建立实时监控的Simulink仿真模型, 并使用Checkmate对系统进行安全性验证。通过对京沪高铁运行的实例研究, 表明该方法对高铁运行系统实时仿真的有效性, 并能够验证高铁运行系统的安全性。     

SV DPI技术在FPGA仿真验证的应用探讨

SystemVerilog作为近年来逐渐流行的FPGA验证语言,包含了丰富的验证特性：DPI、断言技术、功能覆盖率等,其中DPI接口技术可以帮助验证工程师在验证平台中实现对C或C++的调用,验证工程师可以通过编写C函数来实现复杂激励模型设计,同时也为进行复杂算法的FPGA设计的仿真验证提供了新的验证思路。本文提出一种基于DPI接口的FPGA仿真验证方法,实验表明：利用该方法搭建的仿真验证平台相对于传统的纯verilog验证平台,具有更高的仿真效率和验证的灵活性。该验证方法为算法级FPGA设计的确认测试提供了新的验证思路。     

基于马尔可夫模型的多agent自适应在线验证

用于领域中业务关键型的自适应系统(self-adaptive system,SAS)需要遵从严格的质量要求,在多agent自适应系统运行过程中需要根据动态环境与需求实现自适应调整。针对上述问题,提出了一种基于马尔可夫的多agent自适应在线验证方法。首先将多agent系统中环境影响因素转换为概率形式,然后将系统形式化为马尔可夫模型,最后通过模型检查的方式进行在线验证,使系统通过验证结果对自身进行调控。通过现实的智能无人停车场案例进行了实验,论述了方法的使用流程以及验证效果。实验结果表明,该方法适用于具有多agent的自适应系统,并能够在系统出现故障情况下及时进行调控,相比原始系统的稳定性有了较大的改善。     

用粗糙集理论探讨仿真的可信度

首先归纳了目前仿真系统可信度评估方法,分析了这些方法存在的问题,提出了一种应用粗糙集理论对仿真系统的可信度进行定量评估的方法,然后介绍了粗糙集的相关理论。在此基础上建立了仿真系统可信度评估的体系结构和评价指标的属性表,详细阐述了基于粗糙集的仿真可信度的评估模型,最后进行了归纳总结。     

基于模糊模拟的主观信任评价模型研究

通过对开放网络环境中主观信任评价方法的讨论,考虑到主观信任的模糊性,提出以可信性理论为基础的主观信任量化表述与评价方法,并给出了主体信任属性评价值为模糊变量情形下主观信任可信性的模拟计算方法。实例分析表明,该方法对主观信任评价是可行和有效的。     

舰载武器惯导系统传递对准仿真验证的研究

针对传统船用惯导系统采用理想运动状态对传递对准方案进行仿真验证的问题,提出了引入舰船空间运动模型的传递对准仿真验证方法。通过舰船空间运动模型提供接近真实运动环境的空间运动参数,并实现了空间运动信息至惯性敏感信息的正确转换,给出了各模块的空间变换算法转换流程。"速度+姿态"子惯导传递对准模块的仿真精度优于0.05°,证明了仿真验证系统变换算法的正确性。该研究设计为开展其它领域的传递对准仿真验证提供了有效的参考依据。