复杂仿真系统可信度评估框架研究

关于复杂仿真系统VV&A可信度评估问题,模型可信度层次结构的划分和仿真过程不同阶段对应模型可信度之间的依赖关系,底层模型单元的可信度的确定方法各不同。通过采用贝叶斯网的概念与方法,对复杂建模与仿真系统全生命周期过程的可信度评估框架进行了研究。贝叶斯网的结构可以描述开发过程的每一阶段模型的层次结构以及不同开发阶段对应模型的可信度的依赖关系;节点变量的主观概率值是模型的可信度。通过分析和验证,表明贝叶斯网的可信度评估框架与方法,不但合理、正确而且有效。     

基于神经网络的复杂仿真系统验证方法

在复杂仿真系统模型验证的有效方法的研究中,神经网络可以做为复杂仿真系统校核、验证和确认的主要应用工具和手段.首先介绍了传统仿真系统的验证方法,指出了传统验证方法存在的问题.提出了基于神经网络的复杂仿真系统验证方法.采用神经网络模型识别和验证,根据神经网络时间序列预测和神经网络的最大熵谱估计验证方法.最后给出了具体仿真应用示例并分析了几种验证方法的优缺点,可以为解决复杂仿真系统验证问题提供了一条新的途径.     

支持Modelica模型的半物理仿真系统设计及关键技术

针对当前基于MATLAB/SIMULINK的半物理仿真（Hardware in Loop Simulation,HILS）系统中不支持多领域建模、联合仿真模型转换过程复杂且存在误差等问题,提出基于Modelica和建模仿真软件MWorks进行HILS的方法,分析其所涉及的建模方法、实时仿真接口和代码生成等关键技术,并以此为基础构建支持Modelica模型的HILS.以前起落架转向系统和起落架收放系统为应用实例,建立HILS平台,对该方法进行验证.仿真结果表明该方法可行,结果可信度高.     

关于仿真可信度评估的探讨

根据国内外仿真可信度研究现状 ,探讨了仿真可信度评估理论。重点研究了仿真可信度的概念和性质 ,仿真系统可信度评估的原则以及与仿真系统的校核、验证与确认 (Verification、ValidationandAccreditation :VV&A)之间的关系     

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

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

建模与仿真的校核与验证技术综述

系统建模与仿真是人类认识世界的三大方法之一。随着系统仿真技术的不断发展，建模与仿真在军事、经济等方面发挥着日益重要的作用。与此同时，人们也逐步认识到建模与仿真的可信度问题，对模型与仿真正确性和可信度的要求也越来越高。校核与验证（V＆V）技术是系统仿真技术的关键技术之一，用于评价模型与仿真的可信度。首先介绍建模与仿真（M＆S）的VV＆A的基本概念和重要作用，然后详细介绍非正规的、静态的和正规的校核与验证技术并分析各自的特点，最后论述M＆S生命周期中V＆V活动的实施及V＆V技术的适用范围。     

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

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

层次分析法在制导仿真系统可信度评估中的应用

制导仿真系统是一个多层次、多方面、多步骤的仿真系统,该文通过对制导仿真系统进行VV＆A分析,并且结合具体型号的制导仿真系统,最终建立了一套较为完整的制导仿真系统可信度评估指标体系;其次,通过对层次分析法的原理进行研究,该文提出了一套适用于制导仿真系统可信度评估的方法和流程,并且利用此方法对制导仿真系统的可信度评估指标进行了综合,最终得到整个制导仿真系统的可信度.为了工程上的应用方便,编写了“制导仿真系统可信度评估软件”,并且利用此软件对某型号制导仿真系统的可信度进行了分析,分析结果表明,这种利用层次分析法分析制导仿真系统可信度的方法是完全可行的.     

基于AHP算法的仿真可信度模型的探讨研究

提出了一种引入层次分析法来解决复杂系统仿真可信度计算问题的新思想:对复杂仿真系统进行功能层次分解,通过对其各层功能模块的相对重要性进行两两比较构造出判断矩阵,并对各层元素的权重进行排序和一致性检验,最后得到各层功能模块的可信度相对于系统可信度的组合权重。基于这一思想,建立了基于AHP的可信度评估算法模型,为科学地解决可信度评估问题提供了一种新的思路。     

基于虚拟样机的仿真系统校核、验证与确认研究

虚拟样机模型的正确性和精确度直接影响到仿真的置信度，如何保证建立的计算机仿真模型的正确性是虚拟样机建模的一个重要问题。首先对虚拟样机技术的特点及其仿真步骤进行了描述；然后，在介绍仿真系统校核、验证与确认概念的基础上，讨论了分布交互仿真系统校核、验证与确认的原则；根据虚拟样机的特点，研究制定了虚拟样机仿真系统的校核、验证与确认的七步过程，重点对虚拟样机仿真系统的模型验证方法进行分析；最后，提出了的虚拟样机校核、验证与确认过程中应该遵循的原则。     

用于仿真系统可信度评估的CES网方法研究

在分析了仿真可信度评估需求及问题域的基础上,提出了仿真可信度评估(CES)网的概念,给出了网元素的数学定义、规则、性质、算式、节点优先级等,并提供了一个仿真可信度评估的应用实例.CES网能够弥补传统层次分析(AHP)法在复杂系统中的不足,更适合解决仿真可信度评估问题.     

求解多文字可满足SAT问题的置信传播算法

可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得合取范式公式中每个子句至少有一个文字为真.多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得CNF公式中每个子句至少有两个文字为真.显然,此问题仍然是一个NP难问题.为了研究解决多文字可满足SAT问题的算法,引入随机实例产生模型,设计求解多文字可满足SAT问题的置信传播算法.最后,用实例模型产生了大量数据进行实验验证,结果表明:该算法求解多文字可满足SAT问题的性能优于其他启发式算法.     

Modeling and simulation-driven development of embedded real-time systems

The design and development of embedded hard real-time (RT) systems is one of the complex development practices, because of the requirements of criticality and timeliness of these systems. One critical aspect of RT systems is the production of output before specified deadline. Formal methods are promising in dealing with the design issues of these applications, although they do not scale well for complex systems. Instead, Modeling and Simulation (M&S) provides a cost-effective approach to verify the design and implementation details of very Complex RT applications. M&S methods provide dynamic and risk-free testing environments to verify different scenarios, and they are used for feasibility analysis and verification of such systems. Nevertheless, the simulation models are usually discarded in the later phases of the development.We present the application of an M&S-based method referred to as DEVSRT (Discrete EVent System Specifications in Real-Time) to solve the discontinuity between the simulation models and the final embedded application, in this paper. DEVSRT defines explicit deadline notation for DEVS transitions, draws a clear mapping between DEVS transitions and real-time tasks and provides a formal method and tool for integration of simulation models with the associated hardware components.     

基于有向图的定性模型分解方法

模型分解是减小系统复杂程度、降低仿真运行代价的有效手段，当前许多定性仿真理论，由于仿真代价过高等原因而难以处理大规模系统。针对这种状况，文中对定性理论中常见的因果关系有向图形式表示的结构模型，给出一种模型分解方法，通过实例给出了具体的分解并与定性理论中别的方法作了简要比较。     

AHP-Fuzzy在仿真系统可信度综合评价中的应用

该文在介绍层次分析法（AHP）和模糊评价（Fuzzy）两种系统评价理论和方法的基础上,把两种方法结合起来,对仿真系统可信度评价进行分析。根据仿真系统可信度的特点,从概念模型、仿真模型、软件模型、结果分析等因素出发,建立系统可信度评价指标体系。通过计算影响仿真系统可信度评价的各因素权重,并应用AHP—Fuzzy来评价系统可信度,进而提出了多级综合评价方法。实例证明,该方法具有两种方法的优点,而且能较好地保证评价结果的客观性。     

Parametric estimation of interconnected nonlinear systems described by input-output mathematical models

In this paper, two types of mathematical models are developed to describe the dynamics of large-scale nonlinear systems,which are composed of several interconnected nonlinear subsystems. Each subsystem can be described by an input-output nonlinear discrete-time mathematical model, with unknown, but constant or slowly time-varying parameters. Then, two recursive estimation methods are used to solve the parametric estimation problem for the considered class of the interconnected nonlinear systems. These methods are based on the recursive least squares techniques and the prediction error method. Convergence analysis is provided using the hyper-stability and positivity method and the differential equation approach. A numerical simulation example of the parametric estimation of a stochastic interconnected nonlinear hydraulic system is treated.     

一种基于随机二态编码的交易保密验证方法

针对密文状态下的交易金额验证问题,采用安全多方计算原理提出一种新的随机二态编码方法。应用这种编码方法和随机产生的全序集合对交易进行编码,构造一个能使交易完全一一对应的编码向量。基于此,将交易保密验证问题转换为保密计算编码向量中部分元素累加问题。通过累加结果区分交易关系,结合椭圆曲线及同态特性进而解决交易保密验证问题。最后在半诚实模型下利用模拟范例证明了方法的正确性和安全性。理论分析表明,与已有方案相比,所提出的方法具有密钥短小、实用性强等优点。     

ABC inventory classification in the presence of both quantitative and qualitative criteria

Organizations classically employ the ABC analysis to have an efficient control on a large number of inventory items. The customary classification method considers just one criterion, i.e., the annual dollar usage to classify inventory items. Recently, several methods have been developed for ABC inventory classification, especially DEA-like models that account for other important criteria leading to more logical results in practice. However, these models assume that all criteria are of quantitative type and hence cannot handle the qualitative criteria which are not stated numerically but as linguistic terms. To alleviate this shortcoming, this paper proposes a modified version of an existent common weight DEA-like model by using of some concepts in the current imprecise DEA (IDEA) models and then applies it for ABC inventory classification in the case where there exist both quantitative and qualitative criteria. The merits of employing the modified model to solve the multi criteria inventory classification (MCIC) problem are discussed. A case example is also illustrated to demonstrate the applicability of the modified model in the context of MCIC problem as well as its superiority over existing approaches.     

State estimation for multi‐channel stochastic singular systems with multiplicative noise

The state estimation problem for multi‐channel singular systems with multiplicative noise is considered based on singular value decomposition. First, two equivalent reduced order subsystems are obtained via the decomposition. Then, in order to solve the estimation problem, the subsystems are rewritten into a new form. It is noted that the measurement noise here becomes colored noise, which contains the dynamic noise, measurement noise, and multiplicative noise of the original system. In this situation, existing filtering methods cannot be directly applied, so a modified filtering method is given. The recursive algorithm for the state estimation is obtained by the filtering method. In addition, the estimation of dynamic noise is derived via the algorithm. A simulation example is given to show the effectiveness of the proposed algorithm. Copyright © 2010 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society