搜索页_+Verification+and+validation

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(7)	SpringerLink电子期刊(1172)	GSW全文库(4)
Wiley电子期刊(15)	ProQuest学位论文(78)	Elsevier电子期刊(1425)
Springer电子图书(14)	NATURE电子期刊(5)	ACS电子期刊(38)

在“Elsevier电子期刊”中，命中：1,425条，耗时：0.0149961 秒

在所有数据库中总计命中：2,758条

1.Clinical validation of the 50 gene AmpliSeq Cancer Panel V2 for use on a next generation sequencing platform using formalin fixed, paraffin embedded and fine needle aspiration tumour specimens

作者：Vivek Rathi¹ ; ² ; ^{Vivek.Rathi@svha.org.au} ; Gavin Wright³ ; Diana Constantin¹ ; Siok Chang¹ ; Huong Pham¹ ; Kerryn Jones¹ ; Atha Palios¹ ; Sue-Anne Mclachlan⁴ ; Matthew Conron⁵ ; Penny McKelvie¹ ; Richard Williams¹

关键词：Validation ; next generation sequencing ; mutational analysis ; formalin fixed paraffin embedded ; molecular

刊名：Pathology

出版年：2017

2.Dynamic state machines for modelling railway control systems

作者：M. Benerecetti^a ; R. De Guglielmo^c ; U. Gentile^a ; S. Marrone^b ; N. Mazzocca^a ; R. Nardone^a ; ^{roberto.nardone@unina.it} ; A. Peron^a ; L. Velardi^c ; V. Vittorini^a

关键词：Dynamic STate machines ; Promela model ; ERTMS/ETCS ; Control system ; Verification and validation

刊名：Science of Computer Programming

出版年：2017

3.Automatic verification and validation wizard in web-centred end-user software engineering

作者：David Lizcano^a ; ^{david.lizcano@udima.es}Author Vitae ; Javier Soriano^b ; ^{jsoriano@fi.upm.es}Author Vitae ; Genoveva Ló ; pez^b ; ^{glopez@fi.upm.es}Author Vitae ; Javier J. Gutié ; rrez^c ; ^{javierj@us.es}Author Vitae

关键词：End-user software engineering ; Web engineering ; Reliability ; End-user programming ; visual programming ; human-computer interaction

刊名：Journal of Systems and Software

出版年：2017

4.Development and validation of a TRACE/PARCS core model of Leibstadt Kernkraftwerk cycle 19

作者：M. Hursin^a ; ^{mathieu.hursin@psi.ch} ; S. Bogetic^b ; A. Dohkane^a ; S. Canepa^a ; O. Zerkak^a ; H. Ferroukhi^a ; A. Pautz^a ; ^c

关键词：TRACE/CORE BWR core model ; SIMULATE-3 ; Validation

刊名：Annals of Nuclear Energy

出版年：2017

5.Verification of structural elements made of FRC only: A critical discussion and proposal of a novel analytical method

作者：Luca Facconi ^{luca.facconi@unibs.it} ; Fausto Minelli ; ^{fausto.minelli@unibs.it}

关键词：fib Model Code 2010 ; FRC design ; Fiber reinforced concrete ; Nonlinear analysis ; Structure ductility ; FRC verification

刊名：Engineering Structures

出版年：2017

6.Verification and Validation exercises for the flow around the KVLCC2 tanker at model and full-scale Reynolds numbers

作者：F.S. Pereira^a ; ^b ; ^{filipemsoares@ist.utl.pt} ; L. Eç ; a^b ; ^{luis.eca@ist.utl.pt} ; G. Vaz^c ; ^{g.vaz@marin.nl}

关键词：ASME ; American Society of Mechanical Engineers ; BSL ; Baseline ; CFD ; Computational Fluid Dynamics ; DES ; Detached-Eddy Simulation ; EARSM ; Explicit Algebraic Reynolds-Stresses Model ; EFD ; Experimental Fluid Dynamics ; ITTC ; International Towing Tank Conference ; KRISO ; Korea Research Institute of Ships and Ocean ; KVLCC2 ; KRISO Very Large Crude Carrier 2 ; LES ; Large-Eddy Simulation ; MARIN ; Maritime Research Institute Netherlands ; RANS ; Reynolds-Averaged Navier-Stokes equations ; ReFRESCO ; Reliable and

刊名：Ocean Engineering

出版年：2017

7.Bridging the gap between designed and implemented controllers via adaptive robust discrete sliding mode control

作者：M.R. Amini^a ; ^{mamini@mtu.edu} ; M. Shahbakhti^a ; ^{mahdish@mtu.edu} ; S. Pan^b ; ^{slpan@stanford.edu} ; J.K. Hedrick^c ; ^{khedrick@me.berkeley.edu}

关键词：Sliding mode control ; Model uncertainty ; Implementation imprecisions ; Analog to digital conversion ; Verification and validation

刊名：Control Engineering Practice

出版年：2017

8.Validation of wax deposition models with recent laboratory scale flow loop experimental data

作者：Auzan A. Soedarmo ; Nagu Daraboina ; Cem Sarica

关键词：Wax deposition models ; Flow loop experiments ; Model verification

刊名：Journal of Petroleum Science and Engineering

出版年：2017

9.Methodology for experimental verification of steel armour impact modelling

作者：D.E. Tria ; ^{djaleleddine.tria@gmail.com} ; R. Trębiński

关键词：Experimental validation ; Terminal ballistics ; Finite element analysis ; Constitutive modelling ; Armour plate

刊名：International Journal of Impact Engineering

出版年：2017

10.A review of predictive nonlinear theories for multiscale modeling of heterogeneous materials

作者：Karel Matou&scaron ; ^a ; ^{kmatous@nd.edu} ; Marc G.D. Geers^b ; Varvara G. Kouznetsova^b ; Andrew Gillman^a

关键词：Predictive science ; Image-based multiscale modeling ; Computational homogenization ; High performance computing ; Co-designed simulations and experiments ; Verification and validation ; Model reduction ; Big Data

刊名：Journal of Computational Physics

出版年：2017

按检索点细分(1425)

题名(163)

关键词(244)

文摘(1004)

按出版年细分(1425)

2027年及以后(73)

2017年(26)

2016年(123)

2015年(26)

2014年(10)

2013年(120)

2012年(118)

2011年(110)

2010年(74)

2009年(75)

2008年(116)

2007年(89)

2006年(61)

2005年(49)

2004年(35)

2003年(43)

2002年(30)

2001年(28)

2000年(39)

2000年及以前(180)