模型验证是指测定标定后的交通模型对未来数据的预测能力(即可信程度）的过程。根据具体要求和可能，可用的验证方法有:①灵敏度分析,着重于确保模型预测值不会背离期望值，如相差太大，可判断应调整前者还是后者,另外还能确保模型与假定条件充分协调。②拟合度分析，类似于模型标定，校核观测值和预测值的吻合程度。
前言 在实际模态分析中，「模型验证（model verification）主要是作为理论数 学模型与实验模态分析对实际结构之比较与验证。以求得正确模拟实际结构之数 学模型。
基于906个网页-相关网页
其中，模型验证（Model checking）是形式化验证方法中的一项主要技术。概括地说，它包括三个步骤：待验证系统的形式化建模、逻辑性质的描述、在系统模型上验证逻辑...
基于66个网页-相关网页
...报（自然科学版、英文版） 关键字: 模型校验;模型验证;模型确认;仿真可信度[gap=956]Key words: model verification; validation; accreditation; simulation credibility...
基于12个网页-相关网页
The main idea of this paper is about the research of the technology of the requirement analysis modelling and model verification. The word "analysis model" refers to the semi-formaliztion of the requirement specification.
本文的主旨是关于需求分析建模和模型验证技术的研究，文中的“分析模型”是需求规格说明的半形式化表示。
参考来源 - 关于需求分析建模与模型验证技术的研究Model checking is a critical technology in Model Driven Service-creation approach.
模型验证是模型驱动的业务生成技术中的关键技术。
参考来源 - 模型驱动的业务生成技术中模型验证的研究与实现Based on the actuality of research and develop in outside, this article provides a special workflow platform, which can be used among different platforms, operation system and can supposes model checking.
在对国内外的工作流开发平台和管理系统的研究基础上,本文提出了一个跨平台、支持各种操作系统、并且能够提供模型验证的独特工作流开发平台框架。
参考来源 - 工作流开发平台框架的研究和工作流形式化建模Firstly, it is reviewed and summarized the historical research and information, put forward concept model and then with examples to quantitative analysis and model validation.
首先通过对历史相关研究和资料进行回顾和总结,提出理论构思模型,然后结合实例进行定量分析和模型验证。
参考来源 - 我国汽车产业的战略联盟发展对策研究All the model data is saved in XML files which would be beneficial to the subsequent model verification, code generation and document generation.
所有的模型数据都以XML文件形式保存,为后续的模型验证工作、代码自动生成、文档自动生成工作提供便利。
参考来源 - 基于模型驱动的建模环境—SmartDesigner 3.5·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐