助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   模型验证 的翻译结果: 查询用时:1.274秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
武器工业与军事技术
环境科学与资源利用
地球物理学
水利水电工程
自动化技术
航空航天科学与工程
互联网技术
动力工程
更多类别查询

图标索引 历史查询
 

模型验证     
相关语句
  model validation
     1. Studied robust identification and model validation on the basis of convextheory. The problems studied are based on mixed time-domain/frequency-domaininput-output data. Related algorithms via convex optimization are given.
     1.研究了基于凸优化的鲁棒辨识与模型验证方法,讨论基于时/频混合数据的鲁棒辨识问题以及基于时/频混合数据的不确定模型的有效性验证问题,并给出相关问题的凸优化算法。
短句来源
     Experimental Study and Mathematical Description of Cationic Polymerization Reaction in a Tubular Reactor (Ⅱ) Experimental Study and Model Validation
     阳离子管式聚合反应过程的实验研究与数学描述──(Ⅱ)实验研究与模型验证
短句来源
     Trajectory Reconstruction and Simulation Model Validation
     弹道重构与仿真模型验证
短句来源
     An Efficient Approach of Model Validation for Large-Scale Complicated Simulation Systems
     大型复杂仿真系统模型验证的有效途径
短句来源
     The Research of the Method to Model Validation on Complicated Simulation System
     复杂仿真系统模型验证方法的研究
短句来源
更多       
  model verification
     Study on the coupling process of pervaporation and chemical reaction (Ⅱ)model verification
     渗透蒸发与化学反应耦合过程的研究(Ⅱ)模型验证
短句来源
     STUDY ON PREPARATION OF RANEY Cu CATALYSTS Ⅰ ALKALI LEACHING KINETICS MODEL VERIFICATION
     Raney Cu催化剂制备规律的研究Ⅱ碱抽提动力学模型验证
短句来源
     The model verification shows that the Bayes algorithm is effective to model the task concentration and the cooperative reaction before the car-following model is implemented.
     模型验证表明:交通仿真过程中,在车辆跟驰模型实施之前,利用Bayes算法模型化驾驶员在多源信息刺激下任务集聚、协同反应的过程是行之有效的。
短句来源
     Numerical simulation of nutrient transfer and absorption in soil-root system Ⅱ.Mathematical model verification and the sensitivity analyses of the parameters
     土壤-根系统养分迁移和吸收的数值模拟 Ⅱ.模型验证及参数的敏感性分析
短句来源
     Study on coupling between winter wheat growth and water-heat transfer in soil-plant-atmosphere continuum II.Model verification and application
     冬小麦生长与土壤-植物-大气连续体水热运移的耦合研究II:模型验证与应用
短句来源
更多       
  model checking
     Analysis of Anonymity Protocol WonGoo with Probabilistic Model Checking
     匿名协议WonGoo的概率模型验证分析
短句来源
     Model checking of real-time systems based on UPPAAL
     基于UPPAAL的实时系统模型验证
短句来源
     Model Checking of Timed Petri Nets to Semantically Equivalent Timed Automata Based on Uppaal
     基于Uppaal的时延Petri网到时间自动机等价模型验证
短句来源
     Model checking based on compositional reasoning for cryptographic protocols
     密码协议的一种基于组合推理的模型验证
短句来源
     According to model driven development, EUP employed the advanced techniques such as UML modelling, model checking, simulation and automatic generation of codes to provide a unified development environment for embedded software.
     该平台根据模型驱动的软件开发方法,集成UML建模、模型验证、模拟和自动代码生成技术等,为嵌入式软件的开发提供了一个统一的开发环境。
短句来源
更多       
  model-checking
     Parametric Analysis of Linear Hybrid Systems by Symbolic Model-checking
     线性混合系统符号模型验证中的参数分析方法
短句来源
     Due to the deficiency of architecture description languages in analyzing and validating dynamic behavior of software systems, the predicate/transition (Pr/T) net was introduced to model the dynamic features of software architecture, and an efficient model-checking algorithm was proposed.
     针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.
短句来源

 

查询“模型验证”译词为其他词的双语例句

 

查询“模型验证”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  model validation
Robust Control in ?1-Formulation: Model Validation and Perturbation Weight Estimation
      
Model validation consists in verifying whether the nominal model and the a priori assumptions on measurement perturbations are consistent.
      
For any model in the form of a linear stationary discrete system with structured uncertainty, model validation is reduced to verifying whether a system of inequalities generated by measurements holds or not.
      
TIME-IGGCAS model validation: Comparisons with empirical models and observations
      
The experimental results show concentration as well as temperature profiles along the column height and therefore exhibit reliable data for model validation purposes.
      
更多          
  model verification
In this paper, model verification and perturbation weight estimation are investigated within the framework the ?1-theory of robust control corresponding to the fundamental signal space ?∞.
      
The results of model verification against field data are analyzed.
      
By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement the functions of service automatic composition and model verification.
      
The methods for model checking, model verification and model simulation are also introduced.
      
And, the application of SEAMOD is divided into two parts; model calibration and model verification.
      
更多          
  model checking
For model checking, however, the naive empirical likelihood (EL) based tests are not of Wilks' phenomenon.
      
Moreover, model checking technique is exploited for the design-time and run-time logical verification of grid service chain models.
      
Combining search space partition and abstraction for LTL model checking
      
The state space explosion problem is still the key obstacle for applying model checking to systems of industrial size.
      
This paper presents an approach based on refinement of search space partition and abstraction which combines these two techniques for reducing the complexity of model checking.
      
更多          
  model verifying
Preliminary modelling results of an urban air quality model verifying the prediction of nitrogen dioxide, sulfur dioxide and ozo
      
  其他


点击这里查询相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关模型验证的内容
在知识搜索中查有关模型验证的内容
在数字搜索中查有关模型验证的内容
在概念知识元中查有关模型验证的内容
在学术趋势中查有关模型验证的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社