Dissertations / Theses on the topic 'Validation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Validation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Yuan, Changzheng. "Nutrient Validation In Women's Lifestyle Validation Study." Thesis, Harvard University, 2015. http://nrs.harvard.edu/urn-3:HUL.InstRepos:16121152.
Full textNutrition
Koepke, Hoyt Adam. "Bayesian cluster validation." Thesis, University of British Columbia, 2008. http://hdl.handle.net/2429/1496.
Full textFraher, Patrick M. A. "Environmental sensor validation." Thesis, University of Oxford, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.308651.
Full textGovereau, Paul. "Denotational Translation Validation." Thesis, Harvard University, 2011. http://dissertations.umi.com/gsas.harvard:10045.
Full textEngineering and Applied Sciences
Rizk, Raya. "Big Data Validation." Thesis, Uppsala universitet, Informationssystem, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-353850.
Full textEngel, Isabelle. "Validation des autoclaves." Paris 5, 1991. http://www.theses.fr/1991PA05P071.
Full textBeaudin, Guy. "Croyance partagée en l'efficacité groupale, validation prédictive et validation de construit." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/NQ26636.pdf.
Full textElder, Samuel Scott. "Reliable validation : new perspectives on adaptive data analysis and cross-validation." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/120660.
Full textCataloged from PDF version of thesis.
Includes bibliographical references (pages 107-109).
Validation refers to the challenge of assessing how well a learning algorithm performs after it has been trained on a given data set. It forms an important step in machine learning, as such assessments are then used to compare and choose between algorithms and provide reasonable approximations of their accuracy. In this thesis, we provide new approaches for addressing two common problems with validation. In the first half, we assume a simple validation framework, the holdout set, and address an important question of how many algorithms can be accurately assessed using the same holdout set, in the particular case where these algorithms are chosen adaptively. We do so by first critiquing the initial approaches to building a theory of adaptivity, then offering an alternative approach and preliminary results within this approach, all geared towards characterizing the inherent challenge of adaptivity. In the second half, we address the validation framework itself. Most common practice does not just use a single holdout set, but averages results from several, a family of techniques known as cross-validation. In this work, we offer several new cross-validation techniques with the common theme of utilizing training sets of varying sizes. This culminates in hierarchical cross-validation, a meta-technique for using cross-validation to choose the best cross-validation method.
by Samuel Scott Elder.
Ph. D.
Tohme, Tony. "The Bayesian validation metric : a framework for probabilistic model calibration and validation." Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/126919.
Full textCataloged from the official PDF of thesis.
Includes bibliographical references (pages 109-114).
In model development, model calibration and validation play complementary roles toward learning reliable models. In this thesis, we propose and develop the "Bayesian Validation Metric" (BVM) as a general model validation and testing tool. We show that the BVM can represent all the standard validation metrics - square error, reliability, probability of agreement, frequentist, area, probability density comparison, statistical hypothesis testing, and Bayesian model testing - as special cases while improving, generalizing and further quantifying their uncertainties. In addition, the BVM assists users and analysts in designing and selecting their models by allowing them to specify their own validation conditions and requirements. Further, we expand the BVM framework to a general calibration and validation framework by inverting the validation mathematics into a method for generalized Bayesian regression and model learning. We perform Bayesian regression based on a user's definition of model-data agreement. This allows for model selection on any type of data distribution, unlike Bayesian and standard regression techniques, that "fail" in some cases. We show that our tool is capable of representing and combining Bayesian regression, standard regression, and likelihood-based calibration techniques in a single framework while being able to generalize aspects of these methods. This tool also offers new insights into the interpretation of the predictive envelopes in Bayesian regression, standard regression, and likelihood-based methods while giving the analyst more control over these envelopes.
by Tony Tohme.
S.M.
S.M. Massachusetts Institute of Technology, Computation for Design and Optimization Program
Wang, Nan. "Validating relationships between Performance Shaping Factors within a Science-Based HRA validation framework." The Ohio State University, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=osu1398900568.
Full textLalani, Nisar. "Validation of Internet Applications." Thesis, Karlstad University, Faculty of Economic Sciences, Communication and IT, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-449.
Full textToday, testing applications for Internet (web sites and other applications) is being verified using
proprietary test solutions. An application is developed and another application is developed to
test the first one. Test Competence Centre at Ericsson AB has expertise on testing telecom
applications using TTCN-2 and TTCN-3 notations. These notations have lot of potential and are
being used for testing in various areas. So far, not much work has been done on using TTCN
notations for testing Internet application. This thesis was a step through which the
capabilities/possibilities of the TTCN notation (in Web testing) could be determined.
This thesis presents investigation results of the 3 different test technologies/tools (TTCN-2,
TTCN-3 and a proprietary free software, PureTest) to see which one is the best for testing
Internet Applications and what are the drawbacks/benefits each technology has.
The background topics included are brief introduction of software testing and web testing, short
introduction of TTCN language and its version 2 and 3, description of the tool set representing
the chosen technologies, conceptual view of how the tools work, a short description of HTTP
protocol and description of HTTP adapter (Test Port).
Several benefits and drawbacks were found from all the three technologies but it can be said that
at the moment proprietary test solutions (PureTest in this case) is still the best tool to test Internet
Application. It scores over other the two technologies (TTCN-2 and TTCN-3) due to reason like
flexibility, cost effectiveness, user friendliness, small lead times for competence development etc.
TTCN-3 is more of a programming language and is certainly more flexible when compared to
TTCN-2. TTCN-3 is still evolving and it can be said that it holds promise. Some of the features
are missing which are vital for testing Internet Applications but are better than TTCN-2.
Gatla, Goutham. "Validation of ModelicaML models." Thesis, Linköpings universitet, Programvara och system, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-86364.
Full textAustli, Viktor, and Elin Hernborg. "Standardization of Bug Validation." Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34801.
Full textFry, Andrew J. "Aspects of measurement validation." Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.343358.
Full textBradley, Michael Ian. "Quantitative bioprocess containment validation." Thesis, University College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.395529.
Full textHernandez, Tony. "Test Procedure Validation Process." Digital Commons at Loyola Marymount University and Loyola Law School, 2011. https://digitalcommons.lmu.edu/etd/401.
Full textValový, Marcel. "Bean Validation in JAXB." Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-192401.
Full textCominetti, Matteo. "Project validation using BIM." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2013. http://amslaurea.unibo.it/5413/.
Full textSALES, T. P. "Ontology Validation for Managers." Universidade Federal do Espírito Santo, 2014. http://repositorio.ufes.br/handle/10/4273.
Full textOntology driven conceptual modeling focuses on accurately representing a domain of interest, instead of making information fit an arbitrary set of constructs. It may be used for different purposes, like to achieve semantic interoperability (Nardi, Falbo and Almeida, 2013), development of knowledge representation models (Guizzardi and Zamborlini, 2012) and language evaluation (Santos, Almeida and Guizzardi,2010). Regardless its final application, a model must be accurately defined in order for it to be a successful solution. This new branch of conceptual modeling improves traditional techniques by taking into consideration ontological properties, such as rigidity, identity and dependence, which are derived from a foundational ontology. This increasing interest in more expressive languages for conceptual modeling is shown by OMGs request for language proposals for the Semantic Information Model Federation (SIMF) (OMG,2011). OntoUML (Guizzardi, 2005) is an example of a language designed for that purpose.Its metamodel (Carraretto, 2010) is designed to comply to the Unified Foundational Ontology (UFO). It focus on structural aspects of individuals and universals.Grounded on human cognition and linguistics, it aims to provide the most basic categories in which humans understand and classify things around them.In (Guizzardi, 2010) Guizzardi quotes the famous Dijkstras lecture, in which he discusses the humble programmer and makes an analogy entitled the humble ontologist. He argues that the task of ontology-driven conceptual modeling is extremely complex and thus, modelers should surround themselves with as many tools as possible to aid in the development of the ontology. These complexities arise from different sources. A couple of them come from foundational ontology itself, both its modal nature, which imposes modelers to deal with possibilities, and the many different restrictions of each ontological category. But they also come from the need of accurately defining instance level constraints, which require additional rules, outside of the languages graphical notation. To help modelers to develop high quality OntoUML models, a number of tools have been proposed to aid in different phases of conceptual modeling. From the construction of the models themselves using design patterns questions (Guizzardi et al., 2011), to automatic syntax verification (Benevides, 2010) and model validation through simulation (Benevides et al., 2010). The importance of domain specification that accurately captures the intended conceptualization has been recognized by both the traditional conceptual modeling community (Moody et al., 2003) and the ontology community (Vrandečić, 2009). In this research we want to improve (Benevides et al., 2010) initiative, but focus exclusively on the validation of ontology driven conceptual models, and not on verification. With the complexity of the modeling activity in mind, we want to help modelers to systematically produce high quality ontologies, improving precision and coverage (Gangemi et al., 2005) of the models. We intend to make the simulationbased approach available for users that are not experts in the formal method, relieving them of the need to learn yet another language, solely for the purpose of validating their models.
Dyer, Matthias. "Distributed embedded systems : validation strategies /." Aachen : Shaker Verlag, 2007. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17189.
Full textTrullols, Soler Esther. "Validation of qualitative analytical methods." Doctoral thesis, Universitat Rovira i Virgili, 2006. http://hdl.handle.net/10803/9004.
Full textD'acord amb tota aquesta varietat, els mètodes analítics es classifiquen en dos grans grups: els mètodes d'anàlisi qualitativa i els mètodes d'anàlisi quantitativa. Segons les característiques del problema analític es triarà un o altre tipus de mètode d'anàlisi. Quan l'objectiu és saber què hi ha en una mostra desconeguda, un mètode qualitatiu serà el mes adequat. En els darrers temps, aquests mètodes han estat objecte d'estudi, i s'utilitzen avui dia, en molts camps d'aplicació. Per exemple, en l'anàlisi d'aliments és habitual l'ús d'un mètode qualitatiu per determinar si un o més analits es troben presents en la mostra per sobre o per sota d'una determinada concentració.
Però si l'interès és saber la quantitat d'un determinat component en una mostra, l'opció d'un mètode quantitatiu serà la més adient.
Aquesta tesi s'ha centrat en els mètodes d'anàlisi qualitativa pels nombrosos avantatges que presenten. Aquests mètodes poden ajudar a destriar mostres en funció de si aquestes presenten una quantitat d'un cert analit al voltant d'un valor de concentració prèviament establert, abans de ser quantificades. És a dir, s'utilitzen com a pas previ a l'aplicació del mètode quantitatiu, implicant un estalvi de feina, de temps i de diners important si es tracta de quantificar contaminants, detectar adulteracions o qualsevol altra situació en la que no es pugui sobrepassar una certa concentració. En aquests casos només s'ha de quantificar la mostra que en el mètode qualitatiu revela un resultat en el que es sobrepassa aquesta certa concentració.
En d'altres àmbits d'aplicació, els mètodes qualitatius estan perfectament integrats en el procediment estàndard d'operacions, pel que, llevat en situacions molt específiques, un resultat positiu no necessita ser confirmat mitjançant una anàlisi posterior amb un mètode quantitatiu.
A més de la importància de triar un mètode analític adequat a cada problemàtica, cal destacar que és igual d'important tenir fiabilitat sobre el resultat trobat i, per tant, sobre el mètode emprat. Això vol dir que qualsevol mètode analític ha de tenir definits els seus requeriments i qualitats analítiques i que s'ha de comprovar que aquests paràmetres prèviament definits, realment tenen el valor que se'ls ha assignat. D'aquesta confirmació se'n diu Validació, i és una condició indispensable per a poder emprar un mètode analític. D'aquesta manera es poden garantir els resultats demanats pels clients/usuaris. A més, des de l'aprovació de la norma ISO 17025 aquesta comprovació del mètode analític i dels seus resultats encara s'ha fet més recomanable.
Fins fa poc temps, la validació de mètodes analítics s'ha centrat en els mètodes quantitatius. El resultat ha estat una sèrie de guies/pautes perfectament establertes d'ús molt comú. Però no hi ha cap protocol general per a validar un mètode qualitatiu. Amb aquesta tesi es vol contribuir a millorar aquesta situació.
Es comença amb una revisió de les classificacions i de les definicions lligades a aquests mètodes, a més d'un repàs sobre quines institucions han fet esment d'aquest tema. Es segueix amb una proposta de classificació d'aquests mètodes i, finalment, es defineixen aquells paràmetres de qualitat que es consideren més importants en la validació.
En les tres aplicacions pràctiques presentades es descriuen les característiques intrínseques del mètode d'anàlisi qualitativa. Després, es defineixen els paràmetres que s'adeqüen millor als requeriments del mètode i, finalment, es proposa un protocol de validació que permet el seu establiment.
El cas de la revisió de les classificacions i definicions emprades en aquest àmbit, com en el cas de la presentació de les contribucions corresponents a diferents institucions, s'han traduït en dues publicacions que s'adjunten en la tesi. Pel que fa a les aplicacions pràctiques, una d'elles també s'inclou com a article publicat i les altres dues, s'inclouen com a articles acceptats.
The chemical information about the composition of a sample can be of different nature: which species are in the sample, their concentration or if they are structurally related, etc.
In order to fit any of these requirements, either a qualitative or a quantitative analytical method may be used. If the aim is to identify species, a qualitative method will suit the problem at hand. These types of methods have been recently studied and nowadays are being increasingly used in several fields of analysis. For example, it is common to use qualitative methods as far as food analysis is concerned.
On the contrary, if the aim is to quantify one or more analytes of a sample, a quantitative method will be very useful.
This thesis has focused on qualitative analytical methods because they provide several advantages and they are being increasingly used. These types of methods can screen samples according to the presence or absence of certain analytes with regard to a pre-set level of concentration. That is to say, they are used as a step before the quantitative method and results in lower analysis time and costs because analyte quantification is not required in all situations.
There are some particular analysis fields where qualitative methods are used as routine methods. Therefore, analyte quantification is not always necessary.
Moreover, it is also important to provide reliable results, that is to say, to assure that the method performs with reliability. Any analytical method must have its requirements and its analytical properties previously defined, and their values must be proven. To confirm that the requirements and the analytical properties are the right ones and to confirm that they have the right values is to validate the analytical method. This is a necessary condition to use an analytical method. In this sense, the reliability of the results given to the clients or to the users is assured. Moreover, the ISO Standard 17025 strongly encourages method validation.
Method validation has focused on quantitative methods. Therefore and as a result, there are more standards or guidelines addressed to quantitative methods validation. These guidelines are commonly used by several communities of practitioners. However, there is no generally accepted standard or validation procedure addressed to qualitative methods. In this sense, this thesis aims to contribute with the development of several validation procedures.
The starting point is to provide an overview as a result of a bibliographic search concerning qualitative methods validation. This overview includes the criteria existing for qualitative methods classification as well as the institutions committed the validation of these methods. After that, a classification of these methods is suggested and the most relevant performance parameters in the validation process are defined.
The subsequent practical applications describe the intrinsic characteristics of the corresponding qualitative analytical method. After that, the performance parameters that best fit the requirements and the characteristics of the method are defined and, finally, a validation strategy is proposed. Bear in mind, that the strategy considers the intrinsic characteristics of the analytical method.
The overview including relevant aspects such as qualitative methods classification, performance parameters definitions and the institutions committed to qualitative method validation, among others, are presented as two publications included in the thesis. Regarding the three practical applications, they are presented as three accepted papers.
Rolland, Jean-François. "Développement et validation d'architectures dynamiques." Phd thesis, Université Paul Sabatier - Toulouse III, 2008. http://tel.archives-ouvertes.fr/tel-00367994.
Full textDavis, Robert Andrew. "Model validation for robust control." Thesis, University of Cambridge, 1995. https://www.repository.cam.ac.uk/handle/1810/251990.
Full textAlghadhi, Mostafa. "Validation of vehicle fuel consumption." Thesis, University of Huddersfield, 2015. http://eprints.hud.ac.uk/id/eprint/24697/.
Full textGraham, Robert S. "The need for social validation." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq24380.pdf.
Full textHyjek, James. "Automation of object behavior validation." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/MQ26979.pdf.
Full textWibling, Oskar. "Ad hoc routing protocol validation." Licentiate thesis, Uppsala : Department of Information Technology, Uppsala university, 2005. http://www.it.uu.se/research/reports/lic/2005-004/.
Full textMohan, Babu Diana. "Informative SNP Selection and Validation." Digital Archive @ GSU, 2007. http://digitalarchive.gsu.edu/cs_theses/48.
Full textFairchild, Carol J. "Prescription refill compliance validation study." Thesis, McGill University, 2003. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=19465.
Full textIbarguengoytia, P. H. "Any time probabilistic sensor validation." Thesis, University of Salford, 1997. http://usir.salford.ac.uk/2061/.
Full textWhurr, Renata. "The validation of aphasia tests." Thesis, Birkbeck (University of London), 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.247714.
Full textBatarfi, Omar Abdullah. "Certificate validation in untrusted domains." Thesis, University of Newcastle Upon Tyne, 2007. http://hdl.handle.net/10443/1983.
Full textJarratt, Jason Aldrin. "Validation of chemical speciation models." Thesis, Manchester Metropolitan University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263802.
Full textRender, Neil. "The validation of pharmaceutical buildings." Thesis, Northumbria University, 2006. http://nrl.northumbria.ac.uk/288/.
Full textMorrell, David. "Validation of identified turbogenerator models." Thesis, Queen's University Belfast, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.254217.
Full textPantziarka, P. "Machine learning and data validation." Thesis, University of Surrey, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425812.
Full textChen, Tsorng-Ming. "Design validation of digital systems." Thesis, University of Southampton, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264452.
Full textLievin-Lieven, Nicholas Andrew John. "Validation of structural dynamic models." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/46413.
Full textXu, Cheng. "Scalable Validation of Data Streams." Doctoral thesis, Uppsala universitet, Avdelningen för datalogi, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-291530.
Full textXiong, Wei. "Verification and validation of JavaScript." Thesis, Durham University, 2013. http://etheses.dur.ac.uk/7326/.
Full textRuddle, Alastair Richmond. "Validation of automotive electromagnetic models." Thesis, Loughborough University, 2002. https://dspace.lboro.ac.uk/2134/35592.
Full textCaprioli, Peter. "AMQP Standard Validation and Testing." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277850.
Full textAllt eftersom storskaliga datorapplikationer (t.ex. Internet of Things) blir vanligare så ökar behovet av att kunna skala upp dessa över flertalet fysiska servrar. En teknik som gör detta möjligt kallas Middleware. Denna teknik bryter ner en större applikation till mindre delar, individuellt kallade funk- tioner. Varje funktion körs oberoende av övriga funktioner vilket tillåter den större applikationen att skala mycket enkelt. Det finns flertalet Middleware- lösningar på marknaden idag. En av de mer populära kallas AMQP (Ad- vanced Message Queueing Protocol), som även har en stor mängd servrar och klienter på marknaden idag, varav många är släppta som öppen källkod. I rapporten undersöks fem populära klientimplementationer av AMQP med avseende på hur dessa hanterar det formellt definierade nätverksprotokollet. Ä ven skillnader mellan olika implementationer undersöks. Dessa skillnader evalueras sedan med avseende på både säkerhet och stabilitet. Ett flertal skillnader mellan de olika implementationerna och det formellt definierade protokollet upptäcktes. Många implementationer hade liknande avvikelser, vilket tyder på att dessa har utvecklats mot en specifik serverimplementation istället för mot den officiella specifikationen. De upptäckta skillnaderna visade sig vara små och utgör i de flesta fall inget hot mot säkerheten eller stabiliteten i protokollet. I vissa specifika fall var det, på grund av dessa skillnader, dock möjligt att genomföra en datainjektionsattack. Denna gör det möjlig för en attackerare att injecera arbiträra datatyper i vissa aspekter av protokollet. En mjukvarutestare, AMQPTester, används för att testa de olika imple- mentationerna. Denna testare publiceras tillsammans med rapporten och tillåter envar att själv med enkelhet koda/avkoda AMQP-protokollet. Hit- intills har inget testverktyg för AMQP existerat. I och med publicerandet av denna rapport och AMQPTester så förenklas således framtida forskning inom AMQP-protokollet.
Corwin, Paul S. "Incremental Validation of Formal Specifications." DigitalCommons@CalPoly, 2009. https://digitalcommons.calpoly.edu/theses/71.
Full textLindberg, Mimmi. "Forensic Validation of 3D models." Thesis, Linköpings universitet, Datorseende, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-171159.
Full textBadayos, Noah Garcia. "Machine Learning-Based Parameter Validation." Diss., Virginia Tech, 2014. http://hdl.handle.net/10919/47675.
Full textPh. D.
Lu, Ching-sung. "Automated validation of communication protocols /." The Ohio State University, 1986. http://rave.ohiolink.edu/etdc/view?acc_num=osu148726702499786.
Full textMcCaul, Courtney Ann. "Dot Counting Test cross-validation." Thesis, Alliant International University, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10249120.
Full textThe purpose of this study was to determine the reliability and validity of the Dot Counting Test as a measure of feigned cognitive performance. Archival neuropsychological test data from a “real world” sample of 147 credible and 328 non-credible patients were compared. The Dot Counting Test E-score cutoff of ≥ 17 continued to show excellent specificity (93%). However, sensitivity dropped from approximately 74% documented in 2002 to 51% in the current sample. When the cutoff was lowered to ≥ 15, adequate specificity was maintained (90%) and sensitivity rose to (61%). However, a third of credible patients with borderline IQ failed the test using the Dot Counting Test E-cutoff score, indicating cautious use of the test with individuals who likely have borderline intelligence.
Foures, Damien. "Validation de modèles de simulation." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30071/document.
Full textThis work is focused on the validity of simulation models during development of complex and critical systems. The analysis of the system engineering approach and, especially the modeling and simulation aspect, showed that it was impossible to directly determine simulation models validity. Many aspects can cause this unattainability, such as bad formulation of simulation objectives, implementation inconsistency, limits of the simulation engine, etc. The validity of a simulation model being defined for a specific simulation goal, it seemed important to provide a global M&S approach, combining a set of tools to detect inconsistencies between objectives and models of the system under test. These tools, dedicated to the simulation user, allow to improve confidence level of the simulation model and thus in simulation results. Our study is based on the M& S theory as proposed by B.P. Zeigler. Using the concept of experimental frame, we are able to propose a methodological framework to express simulation objectives clearly. This allows us to study applicability and accommodation, witch we grouped under compatibility issue. Thus, our first objective was to propose an approach able to measure inconsistencies between experimental frame and model of the system. Based on formal methods and automata theory, we propose a set of metrics that measure the degree of dynamic compatibility between experimental frame and model system of interest. For this, we firstly study the dynamic compatibility between interface automata using tree decomposition. Showing limits of this approach, we studied compatibility between DEVS models using reachability graphs analysis. This formal study of the compatibility help us to propose a set of good properties of the simulation. Finally, we propose a methodology to guide the simulation user in metrics development to measure the compatibility level. Based on model-driven engineering approach, we propose a simulation dedicated language, to help users to asses the validity of simulation models
Johansson, Fredrik, and Oskar Dahl. "Autonomous Validation through Visual Inspection." Thesis, Högskolan i Halmstad, Akademin för informationsteknologi, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-34366.
Full textNewlin, Matthew Philip Doyle John Comstock Doyle John Comstock. "Model validation, control, and computation /." Diss., Pasadena, Calif. : California Institute of Technology, 1996. http://resolver.caltech.edu/CaltechETD:etd-01032008-090000.
Full text