搜索页_+Model+verification

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

中国地质文献-英文(59)	SpringerLink电子期刊(8307)	GSW全文库(62)
Wiley电子期刊(86)	ProQuest学位论文(451)	Elsevier电子期刊(17960)
Springer电子图书(108)	NATURE电子期刊(19)	ACS电子期刊(221)

在“SpringerLink电子期刊”中，命中：8,307条，耗时：0.0869594 秒

在所有数据库中总计命中：27,273条

1. Development, Calibration and Verification of a 1-D Flow Model for a Looped River Network

作者： Mirjana Horvat ; Zoltan Horvat ; Biljana Isic

关键词：1 ; D numerical model ; Looped river network ; Calibration ; Verification ; Strickler’s coefficient

刊名：Environmental Modeling & Assessment

出版年：2017

2. MCMAS: an open-source model checker for the verification of multi-agent systems

作者： Alessio Lomuscio ; Hongyang Qu…

关键词：Verification ; Multi ; agent systems ; Model checking

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

3. Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models

作者： Matthew L. Bolton ; Xi Zheng ; Kylie Molinaro…

关键词：Model checking ; Task analytic models ; Formal methods ; Scalability

刊名：Innovations in Systems and Software Engineering

出版年：2017

4. Scene text detection using adaptive color reduction, adjacent character model and hybrid verification strategy

作者： Hui Wu ; Beiji Zou ; Yu-qian Zhao ; Jianjing Guo

关键词：Scene text detection ; Adaptive color reduction ; Adjacent character model ; Hybrid text verification strategy

刊名：The Visual Computer

出版年：2017

5. Analysis and extraction of LP-residual for its application in speaker verification system under uncontrolled noisy environment

作者： Songhita Misra ; Rabul Hussain Laskar ; U. Baruah…

关键词：LP ; residual ; Telephonic database ; Auto associative neural network ; FCM modelK ; Means model ; LBG model ; Voice ; segment level approach ; Sentence level analysis ; Text dependent speaker verification system

刊名：Multimedia Tools and Applications

出版年：2017

6. Handling loops in bounded model checking of C programs via k-induction

作者： Mikhail Y. R. Gadelha ; Hussama I. Ismail…

关键词：Software engineering ; Formal methods ; Verification ; Model checkingk ; induction

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

7. A general approach for viscoelastic model validation applied on the analyses of epoxy resin modified by end-functionalized liquid polybutadiene

作者： D. A. Castello ; L. A. Borges…

关键词：Viscoelasticity ; Fractional Zener model ; Model validation ; Uncertainties ; Monte Carlo simulation ; Epoxy resin modified

刊名：Journal of the Brazilian Society of Mechanical Sciences and Engineering

出版年：2017

8. Sensitivity Study of Cloud Cover and Ozone Modeling to Microphysics Parameterization

作者： Kinga Wałaszek ; Maciej Kryza ; Mariusz Szymanowski…

关键词：Cloud mask ; meteorological modeling ; ozone ; WRF ; Poland ; model evaluation

刊名：Pure and Applied Geophysics

出版年：2017

9. A formal modeling and analysis approach for access control rules, policies, and their combinations

作者： Vahid R. Karimi ; Paulo S. C. Alencar…

关键词：Access control (AC) ; XACML ; AC combining algorithms ; Modeling ; Analysis

刊名：International Journal of Information Security

出版年：2017

10. Mathematical Model for Predicting the Resistivity of an Electroconductive Woven Structure

作者： Magdalena Tokarska

关键词：Two ; component composite ; electroconductive woven fabric ; resistivity ; mathematical model

刊名：Journal of Electronic Materials

出版年：2017

按检索点细分(8307)

题名(656)

作者(1)

关键词(903)

文摘(6782)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700