Dissertations / Theses on the topic 'Model-based analysi'
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 'Model-based analysi.'
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.
VIRGILI, LUCA. "Graphs behind data: A network-based approach to model different scenarios." Doctoral thesis, Università Politecnica delle Marche, 2022. http://hdl.handle.net/11566/295088.
Full textNowadays, the amount and variety of scenarios that can benefit from techniques for extracting and managing knowledge from raw data have dramatically increased. As a result, the search for models capable of ensuring the representation and management of highly heterogeneous data is a hot topic in the data science literature. In this thesis, we aim to propose a solution to address this issue. In particular, we believe that graphs, and more specifically complex networks, as well as the concepts and approaches associated with them, can represent a solution to the problem mentioned above. In fact, we believe that they can be a unique and unifying model to uniformly represent and handle extremely heterogeneous data. Based on this premise, we show how the same concepts and/or approach has the potential to address different open issues in different contexts.
SIVORI, DANIELE. "Ambient vibration tools supporting the model-based seismic assessment of existing buildings." Doctoral thesis, Università degli studi di Genova, 2021. http://hdl.handle.net/11567/1045713.
Full textCerneaz, Nicholas J. "Model-based analysis of mammograms." Thesis, University of Oxford, 1994. http://ora.ox.ac.uk/objects/uuid:a8d91bb2-429c-4da3-9f1b-6209771c61b5.
Full textMcGarry, Gregory John. "Model-based mammographic image analysis." Thesis, Queensland University of Technology, 2002.
Find full textMontrieux, Lionel. "Model-based analysis of role-based access control." Thesis, Open University, 2013. http://oro.open.ac.uk/38672/.
Full textZhang, Fan. "Model identification and model based analysis of membrane reactors." Aachen Shaker, 2008. http://d-nb.info/992051029/04.
Full textGraham, Matthew R. "Extensions in model-based system analysis." Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2007. http://wwwlib.umi.com/cr/ucsd/fullcit?p3273192.
Full textTitle from first page of PDF file (viewed August 31, 2007). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 116-123).
Woolrich, Mark. "Model-based approaches to FMRI analysis." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.249485.
Full textRekik, Saoussen. "Methodology for a model based timing analysis process for automotive systems." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00647906.
Full textde, Araujo Rodrigues Vieira Elisangela. "Automated model-based test generation for timed systems." Evry, Institut national des télécommunications, 2007. http://www.theses.fr/2007TELE0011.
Full textLes systèmes temporisés sont des systèmes avec des contraintes de temps réel. L'exactitude d'un système temporisé dépend non seulement des opérations qu'il effectue mais également de la synchronisation quand ils sont exécutés. La synchronisation prend en compte non seulement l’ordre des opérations mais surtout le moment quand elles sont exécutées. Tester un système vise à garantir son exactitude. La génération de teste basée sur des modèles c’est une approche pour produire des cas de test basés sur un modèle formel. Bien que d’autres méthodes de génération de test ont déjà été proposés, la génération pour les systèmes temporisés c’est un domaine bien plus récente. En outre, la plupart des solutions proposées souffrent de l'explosion combinatoire, ce qui limite toujours leur applicabilité dans la pratique. En conséquence, cela explique pourquoi il y a tellement peu de méthodes formelles automatiques pour la génération de test dans tout les domaines. Cette thèse présente une approche automatique de génération de teste adressée aux systèmes temporisés. Pour cela, nous proposons un algorithme de génération basé sur des objectives de test. Cette approche permet de générer des tests pour ce qui concerne les parties critiques du système et évite le problème d'explosion combinatoire. En outre, nous proposons des techniques pour produire des tests avec la détection des timing faults et avec des transitions retardées et/ou instantanées. Afin d'évaluer l'applicabilité et l'efficacité de la méthode proposée, nous avons mis en oeuvre deux outils: une en utilisant un simulateur industriel, pour des modèles en LDS et une autre employant un simulateur basé sur le langage IF. Deux applications industrielles sont employées comme étude de cas : Un système de Passage à Niveau et un Service Vocal fourni par France Telecom
Tantrum, Jeremy. "Model based and hybrid clustering of large datasets /." Thesis, Connect to this title online; UW restricted, 2003. http://hdl.handle.net/1773/8933.
Full textHatefi, Armin. "Mixture model analysis with rank-based samples." Statistica Sinica, 2013. http://hdl.handle.net/1993/23849.
Full textMorrison, Steven. "Model based parameter estimation for image analysis." Thesis, Heriot-Watt University, 1999. http://hdl.handle.net/10399/561.
Full textDehmeshki, Jamshid. "Stochastic model-based approach to image analysis." Thesis, University of Nottingham, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.363908.
Full textLin, Dong. "Model-based cluster analysis using Bayesian techniques." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.
Full textGOMES, Adriano José Oliveira. "Systematic model-based safety assessment via probabilistic model checking." Universidade Federal de Pernambuco, 2010. https://repositorio.ufpe.br/handle/123456789/2651.
Full textFaculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco
A análise da segurança (Safety Assessment) é um processo bem conhecido que serve para garantir que as restrições de segurança de um sistema crítico sejam cumpridas. Dentro dele, a análise de segurança quantitativa lida com essas restrições em um contexto numérico (probabilístico). Os métodos de análise de segurança, como a tradicional Fault Tree Analysis (FTA), são utilizados no processo de avaliação da segurança quantitativo, seguindo as diretrizes de certificação (por exemplo, a ARP4761 Guia de Práticas Recomendadas da Aviação). No entanto, este método é geralmente custoso e requer muito tempo e esforço para validar um sistema como um todo, uma vez que para uma aeronave chegam a ser construídas, em média, 10.000 árvores de falha e também porque dependem fortemente das habilidades humanas para lidar com suas limitações temporais que restringem o âmbito e o nível de detalhe que a análise e os resultados podem alcançar. Por outro lado, as autoridades certificadoras também permitem a utilização da análise de Markov, que, embora seus modelos sejam mais poderosos que as árvores de falha, a indústria raramente adota esta análise porque seus modelos são mais complexos e difíceis de lidar. Diante disto, FTA tem sido amplamente utilizada neste processo, principalmente porque é conceitualmente mais simples e fácil de entender. À medida que a complexidade e o time-to-market dos sistemas aumentam, o interesse em abordar as questões de segurança durante as fases iniciais do projeto, ao invés de nas fases intermediárias/finais, tornou comum a adoção de projetos, ferramentas e técnicas baseados em modelos. Simulink é o exemplo padrão atualmente utilizado na indústria aeronáutica. Entretanto, mesmo neste cenário, as soluções atuais seguem o que os engenheiros já utilizavam anteriormente. Por outro lado, métodos formais que são linguagens, ferramentas e métodos baseados em lógica e matemática discreta e não seguem as abordagens da engenharia tradicional, podem proporcionar soluções inovadoras de baixo custo para engenheiros. Esta dissertação define uma estratégia para a avaliação quantitativa de segurança baseada na análise de Markov. Porém, em vez de lidar com modelos de Markov diretamente, usamos a linguagem formal Prism (uma especificação em Prism é semanticamente interpretada como um modelo de Markov). Além disto, esta especificação em Prism é extraída de forma sistemática a partir de um modelo de alto nível (diagramas Simulink anotados com lógicas de falha do sistema), através da aplicação de regras de tradução. A verificação sob o aspecto quantitativo dos requisitos de segurança do sistema é realizada utilizando o verificador de modelos de Prism, no qual os requisitos de segurança tornam-se fórmulas probabilísticas em lógica temporal. O objetivo imediato do nosso trabalho é evitar o esforço de se criar várias árvores de falhas até ser constatado que um requisito de segurança foi violado. Prism não constrói árvores de falha para chegar neste resultado. Ele simplesmente verifica de uma só vez se um requisito de segurança é satisfeito ou não no modelo inteiro. Finalmente, nossa estratégia é ilustrada com um sistema simples (um projeto-piloto), mas representativo, projetado pela Embraer
Andalib, Maryam Alsadat. "Model-based Analysis of Diversity in Higher Education." Diss., Virginia Tech, 2018. http://hdl.handle.net/10919/96221.
Full textPh. D.
Coletti, Mark. "An analysis of a model-based evolutionary algorithm| Learnable Evolution Model." Thesis, George Mason University, 2014. http://pqdtopen.proquest.com/#viewpdf?dispub=3625081.
Full textAn evolutionary algorithm (EA) is a biologically inspired metaheuristic that uses mutation, crossover, reproduction, and selection operators to evolve solutions for a given problem. Learnable Evolution Model (LEM) is an EA that has an evolutionary algorithm component that works in tandem with a machine learner to collaboratively create populations of individuals. The machine learner infers rules from best and least fit individuals, and then this knowledge is exploited to improve the quality of offspring.
Unfortunately, most of the extant work on LEM has been ad hoc , and so there does not exist a deep understanding of how LEM works. And this lack of understanding, in turn, means that there is no set of best practices for implementing LEM. For example, most LEM implementations use rules that describe value ranges corresponding to areas of higher fitness in which offspring should be created. However, we do not know the efficacy of different approaches for sampling those intervals. Also, we do not have sufficient guidance for assembling training sets of positive and negative examples from populations from which the ML component can learn.
This research addresses those open issues by exploring three different rule interval sampling approaches as well as three different training set configurations on a number of test problems that are representative of the types of problems that practitioners may encounter. Using the machine learner to create offspring induces a unique emergent selection pressure separate from the selection pressure that manifests from parent and survivor selection; an outcome of this research is a partially ordered set of the impact that these rule interval sampling approaches and training set configurations have on this selection pressure that practitioners can use for implementation guidance. That is, a practitioner can modulate selection pressure by traversing a set of design configurations within a Hasse graph defined by partially ordered selection pressure.
Zhang, Fan [Verfasser]. "Model Identification and Model Based Analysis of Membrane Reactors / Fan Zhang." Aachen : Shaker, 2009. http://d-nb.info/1161308121/34.
Full textThiers, George. "A model-based systems engineering methodology to make engineering analysis of discrete-event logistics systems more cost-accessible." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/52259.
Full textZhao, Yanbin. "Relaxed stability analysis of fuzzy-model-based control systems." Thesis, King's College London (University of London), 2018. https://kclpure.kcl.ac.uk/portal/en/theses/relaxed-stability-analysis-of-fuzzymodelbased-control-systems(df7ec615-6b23-4344-844d-00300a43f975).html.
Full textMalsiner-Walli, Gertraud, Sylvia Frühwirth-Schnatter, and Bettina Grün. "Model-based clustering based on sparse finite Gaussian mixtures." Springer, 2016. http://dx.doi.org/10.1007/s11222-014-9500-2.
Full textMcDonald, Adam. "An integrated UML based model for design analysis." Pullman, Wash. : Washington State University, 2010. http://www.dissertations.wsu.edu/Thesis/Spring2010/a_mcdonald_041810.pdf.
Full textTitle from PDF title page (viewed on June 23, 2010). "School of Engineering and Computer Science." Includes bibliographical references (p. 79-80).
Wang, Yuehe. "Model based dynamic analysis of human sleep electroencephalogram." Thesis, University of Leicester, 1997. http://hdl.handle.net/2381/30210.
Full textShah, Sohrab P. "Model based approaches to array CGH data analysis." Thesis, University of British Columbia, 2008. http://hdl.handle.net/2429/2808.
Full textLoer, Karsten. "Model-based automated analysis for dependable interactive systems." Thesis, University of York, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.399265.
Full textArbab-Zavar, Banafshe. "On guided model-based analysis for ear biometrics." Thesis, University of Southampton, 2009. https://eprints.soton.ac.uk/72062/.
Full textCrawford, Gordon Finlay. "Vision-based analysis, interpretation and segmentation of hand shape using six key marker points." Thesis, University of Ulster, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.243732.
Full textRobinson, Elinirina Iréna. "Filtering and uncertainty propagation methods for model-based prognosis." Thesis, Paris, CNAM, 2018. http://www.theses.fr/2018CNAM1189/document.
Full textIn this manuscript, contributions to the development of methods for on-line model-based prognosis are presented. Model-based prognosis aims at predicting the time before the monitored system reaches a failure state, using a physics-based model of the degradation. This time before failure is called the remaining useful life (RUL) of the system.Model-based prognosis is divided in two main steps: (i) current degradation state estimation and (ii) future degradation state prediction to predict the RUL. The first step, which consists in estimating the current degradation state using the measurements, is performed with filtering techniques. The second step is realized with uncertainty propagation methods. The main challenge in prognosis is to take the different uncertainty sources into account in order to obtain a measure of the RUL uncertainty. There are mainly model uncertainty, measurement uncertainty and future uncertainty (loading, operating conditions, etc.). Thus, probabilistic and set-membership methods for model-based prognosis are investigated in this thesis to tackle these uncertainties.The ability of an extended Kalman filter and a particle filter to perform RUL prognosis in presence of model and measurement uncertainty is first studied using a nonlinear fatigue crack growth model based on the Paris' law and synthetic data. Then, the particle filter combined to a detection algorithm (cumulative sum algorithm) is applied to a more realistic case study, which is fatigue crack growth prognosis in composite materials under variable amplitude loading. This time, model uncertainty, measurement uncertainty and future loading uncertainty are taken into account, and real data are used. Then, two set-membership model-based prognosis methods based on constraint satisfaction and unknown input interval observer for linear discete-time systems are presented. Finally, an extension of a reliability analysis method to model-based prognosis, namely the inverse first-order reliability method (Inverse FORM), is presented.In each case study, performance evaluation metrics (accuracy, precision and timeliness) are calculated in order to make a comparison between the proposed methods
Liu, Chuang. "Relaxed stability analysis for fuzzy-model-based observer-control systems." Thesis, King's College London (University of London), 2016. https://kclpure.kcl.ac.uk/portal/en/theses/relaxed-stability-analysis-for-fuzzymodelbased-observercontrol-systems(082673fa-9a83-4cda-8622-9358ed8d7118).html.
Full textPonge, Julien Nicolas Computer Science & Engineering Faculty of Engineering UNSW. "Model based analysis of time-aware web services interactions." Publisher:University of New South Wales. Computer Science & Engineering, 2009. http://handle.unsw.edu.au/1959.4/43525.
Full textFarooq, Usman. "Model based test suite minimization using metaheuristics." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2011. https://ro.ecu.edu.au/theses/409.
Full textROTA, GRAZIOSI ANDREA. "EVALUATION AND CHARACTERIZATION OF DIETARY STRATEGIES ON ENVIRONMENTAL SUSTAINABILITY OF DAIRY COW MILK PRODUCTION." Doctoral thesis, Università degli Studi di Milano, 2022. http://hdl.handle.net/2434/924352.
Full textWurzbacher, Tobias. "Vocal fold dynamics : quantification and model-based classification /." Aachen : Shaker Verlag, 2008. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016315367&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.
Full textLunsford, Ian M. "SUBSYSTEM FAILURE ANALYSIS WITHIN THE HORIZON SIMULATION FRAMEWORK." DigitalCommons@CalPoly, 2016. https://digitalcommons.calpoly.edu/theses/1560.
Full textLi, Yan. "Analysis of complex survey data using robust model-based and model-assisted methods." College Park, Md. : University of Maryland, 2006. http://hdl.handle.net/1903/4080.
Full textThesis research directed by: Survey Methodology. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Ponge, Julien. "Model based analysis of Time-aware Web service interactions." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2008. http://tel.archives-ouvertes.fr/tel-00730187.
Full textFernandez, Cuesta Roald. "Motion Analysis : Model Based Head Pose Estimation of Infants." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for teknisk kybernetikk, 2010. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-11935.
Full textDong, Jing. "Sparse analysis model based dictionary learning and signal reconstruction." Thesis, University of Surrey, 2016. http://epubs.surrey.ac.uk/811095/.
Full textRutaganda, Remmy. "Automated Model-Based Reliability Prediction and Fault Tree Analysis." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-67240.
Full textYin, Lijun. "Facial expression analysis and synthesis for model based coding." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0011/NQ59702.pdf.
Full textCunado, David. "Automatic gait recognition via model-based moving feature analysis." Thesis, University of Southampton, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.297628.
Full textBeaumont, Paul James. "Model-based analysis of nuclear arms control verification processes." Thesis, Imperial College London, 2017. http://hdl.handle.net/10044/1/54653.
Full textBailey, William. "Using model-based methods to support vehicle analysis planning." Thesis, Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/50377.
Full textBagheri, Mehrdad. "Analysis of Model-based Testing methods for Embedded Systems." Thesis, Uppsala universitet, Institutionen för informationsteknologi, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-300744.
Full textAguilar, Chongtay María del Rocío. "Model based system for automated analysis of biomedical images." Thesis, University of Edinburgh, 1997. http://hdl.handle.net/1842/30059.
Full textPonge, Julien. "Model based analysis of Time-aware Web Services Interactions." Clermont-Ferrand 2, 2008. http://www.theses.fr/2008CLF21840.
Full textCoulibaly, Ibrahim. "Microcomputer based optimization model for photovoltaic system performance analysis." Thesis, Virginia Polytechnic Institute and State University, 1986. http://hdl.handle.net/10919/104314.
Full textPanas, Dagmara. "Model-based analysis of stability in networks of neurons." Thesis, University of Edinburgh, 2017. http://hdl.handle.net/1842/28883.
Full textDeosthale, Eeshan Vijay. "Model-Based Fault Diagnosis of Automatic Transmissions." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1542631227815892.
Full text