1) model set validation
模型集检验
2) model checking integrated planning system
模型检验集成规划系统
4) model checking
模型检验
1.
Application of model checking technology to automatically vulnerabilities finding in software;
模型检验技术在软件漏洞自动挖掘中的应用
2.
Using model checking to generate test cases for class testing;
一种基于模型检验的类测试用例生成方法
3.
Method of model checking based on linear weighted generalized list;
基于线性带权值的广义表的模型检验方法
6) model validation
模型检验
1.
Model validation is an important method to ensure its credibility.
模型检验是保证模型可信度的重要手段,根据模型输出的不同,应选用不同的检验方法。
2.
In this paper,we investigate a model validation problem when there is bounded but uncertain additive modelling error in the plant nominal model and the plant nominal model is with intended application as robust controller design.
本文研究了在控制对象的模型具有不确定的建模误差时的模型检验问题。
补充资料：集装箱检验
集装箱检验
集装箱检验对装运进出口商品的集装箱进行的检验。在中国，商检机构对装运出口易腐烂变质食品的集装箱实施法定检验和凭单中请办理进出口商品集装箱货物的装箱、拆箱检验以及集装箱的承租、退租、其他单项鉴定等鉴定工作。按国家商检局发布的现行规定，装送出口易腐烂变质食品应施集装箱法定验箱的范围为:散装食用油，各种冷冻和冷藏食品，粮谷、大豆、杂豆、果仁、油籽、干鲜果、蔬菜、蛋品、鲜奶和乳制品类、食糖、罐头食品(包括罐装啤酒)等。实施决定检验的集装箱，其装运技术条件，除应符合贸易合同和运输契约的规定外，并需符合箱号清晰，箱体完整，集装箱的活动部分、胶垫、箱门开关和风雨密状况良好;箱内清洁、干燥、无异味、无活害虫、无残留有毒有害物品;冷藏集装箱的冷藏效能良好;罐式集装箱前次未装过有毒有害物品的要求。 集装箱出口货物装箱检验，包括检验集装箱适载条件，审核货物配载计划，监视装箱，鉴定装运货物的包装、标记、数量和积载等，并签封集装箱。集装箱进口货物拆箱检验，包括检验集装箱的封识和外观状况.启封集装箱，鉴定卸货前货物的积载情况.监视卸货.鉴定所卸货物的包装、标记、数量.判明货损、货差原因等如需验残，可一并办理，按有关检验内容和规定，进行检验，并签发《拆箱检验、验残分证书。集装箱的承租鉴定.包括集装箱的类别、号码、规格、数量和内外观状况及适载条件集装箱的退租鉴定.包括按照承租合同内容.鉴定退租时的集装箱现状、残损情况及残损程度，如需整理，可证明整理所需费用二集装箱的单项鉴定.包括清洁、冷藏效能、风雨密等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条