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

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

基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。     

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

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

可计算组织模型的验证难点与验证方法综述

模型"有效性"能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈.立足于计算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法.首先,可计算组织模型验证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题域、建模目的、参照系三者内在联系的验证情境,从"度"上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VVA验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循迭代验证原则,是未来的研究趋势.本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.     

可计算组织模型的验证难点与验证方法综述

模型“有效性”能否得到验证是推动计算组织理论发展的必要条件,也是一大瓶颈. 立足于计 算组织理论的前沿地位,论文综述并讨论了可计算组织模型的验证难点和验证方法. 首先,可计算组织模型验 证区别于自然工程模型,也超越了传统实证方法,在验证过程面临诸多主观、客观的难点;其次,发展基于问题 域、建模目的、参照系三者内在联系的验证情境,从“度”上考量模型有效性,是可计算组织模型的有效性本质;再次,建立区别于自然工程系统的VV&A验证方法,关注概念效度验证、操作效度验证以及数据效度验证,遵循 迭代验证原则,是未来的研究趋势. 本课题也列举了相应的验证案例;最后,可计算组织模型验证应该是一个不断 增强模型信心的过程,亟待跨领域专家执着于该领域的研究兴趣.     

基于BPEL4WS和Petri网的服务建模与分析

描述了SOA中基于BPEL4WS (Business Process Execution Language for Web Services)和Petri网的服务建模与分析方法,提出了将基于BPEL4WS的业务流程建模转化为Petri网模型的方法,并在此基础上结合实例,对所得的Petri网模型进行分析,从而验证服务模型的安全性、死锁,循环等方面是否符合要求.     

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

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

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

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

ExtendSim模型与数据驱动的指控流程建模与分析

联合作战背景下的指控流程(command and control process, CCP)涉及同层级内不同指控单元之间的横向信息交互与不同层级间的纵向信息交互。针对这种复杂化与多元化指控流程,研究了如何利用ExtendSim仿真工具对指控流程进行模型构建、验证、评估与优化。首先,通过对指控流程特点进行分析,抽取通用的要素类型,包括实体和关系要素,并映射到ExtendSim关键模块;其次,构建“指控流程要素-ExtendSim模块”的转换规则,提出构建ExtendSim指控流程模型的方法步骤;然后,研究基于ExtendSim的指控流程可行性验证方法(行为一致性、可执行性、合理性验证),提出了基于ExtendSim的指控流程评估指标(任务平均耗时、任务平均等待时间与任务最大处理容量),并研究了基于ExtendSim的指控流程优化方法;最后,通过一个通用反导指控流程案例,验证了所提建模与分析方法的可行性与有效性,可以为指控流程的建模与分析提供支撑和参考。     

金融科技视角下的计算实验金融建模

计算实验建模~1以其独特的"上帝视角",正广泛地影响着传统经济和金融学研究.伴随着大数据、人工智能等技术的兴起,计算实验建模与这些金融科技领域的基础支撑技术深度融合,共同推动金融科技不断突破.特别是,在大数据的本体论研究、计算实验模型校准、投资者行为建模、监管科技应用等方面,计算实验建模均展示出了与金融科技融合的独特优势.从大数据本体论考虑,计算实验是运用金融大数据本体论建模来刻画金融主体之间的关联关系和研究其因果关系的有效方法.从人工智能角度考虑,人工智能为个体的精细化建模和行为演化建模提供了基础,计算实验为算法交易提供了新的研究框架.从监管科技角度考虑,计算实验模型在发展过程中推动形成了"情景-应对"型风险管理新思想,从而为"监管科技"的发展提供支撑.本文认为,计算实验能够与金融科技的基础支撑技术相融合,为计算实验建模的发展和金融科技中监管创新提供重要推动力.     

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.     

Validation methodology for distribution-based degradation model

Distribution-based degradation models (or graphical approach in some literature) occur in a wide range of applications. However, few of existing methods have taken the validation of the built model into consideration. A validation methodology for distribution-based models is proposed in this paper. Since the model can be expressed as consisting of assumptions of model structures and embedded model parameters, the proposed methodology carries out the validation from these two aspects. By using appropriate statistical techniques, the rationality of degradation distributions, suitability of fitted models and validity of degradation models are validated respectively. A new statistical technique based on control limits is also proposed, which can be implemented in the validation of degradation models’ validity. The case study on degradation modeling of an actual accelerometer shows that the proposed methodology is an effective solution to the validation problem of distribution-based degradation models.     

实时仿真系统可信性验证

实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证，给出了验证的基本步骤，提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点；然后提出了三个指标来验证实时性，给出了各指标的定量计算模型；并研究了实时仿真系统逻辑计算正确性的相关问题，给出了逻辑计算正确性验证的基本步骤；最后分析了实时仿真系统稳定性验证。     

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

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

基于灰色关联分析的仿真模型验证及其改进

分析比较了仿真模型可信性验证常用方法的特点，把灰色关联分析方法运用于仿真模型的可信性验证中，给出了具体的操作步骤，然后分析了灰色关联分析模型运用于仿真模型可信性验证中存在的风险，并针对仿真模型可信性验证的特殊需要，对灰色关联分析模型进行了一定的改进，最后通用实例验证了改进的合理性及风险的降低。     

战争系统中民意走势预测分析模型框架研究

将目前最具活力的方法之一——基于Agent的复杂模型构建技术引入战争系统的民意问题中,提出了“政治倾向性(民意走向)进化”的观点,设计了我国某地区特定民意走势的预测分析模型,并详细分析了模型实现框架和运行流程,为民意走势预测分析进一步的研究奠定基础.