Дисертації з теми "Validation approch"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 дисертацій для дослідження на тему "Validation approch".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.
Pang, Lee Yick. "A quantitative approach to linguistic model validation." Thesis, University College London (University of London), 1990. http://discovery.ucl.ac.uk/10018475/.
Повний текст джерелаWeekley, Christopher D. "Aircraft simulation validation using an instrumental variable approach." Thesis, Virginia Tech, 1992. http://hdl.handle.net/10919/41517.
Повний текст джерелаMaster of Science
Yeo, Sheau-yuen. "Measuring organizational climate for diversity a construct validation approach /." Columbus, Ohio : Ohio State University, 2006. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1141677667.
Повний текст джерелаHachey, Krystal. "Examining Thinking Skills in the Context of Large-scale Assessments Using a Validation Approach." Thèse, Université d'Ottawa / University of Ottawa, 2014. http://hdl.handle.net/10393/30974.
Повний текст джерелаEssien, Joe. "Model driven validation approach for enterprise architecture and motivation extensions." Thesis, University of West London, 2015. https://repository.uwl.ac.uk/id/eprint/1269/.
Повний текст джерелаReeves, Stanley J. "A cross-validation approach to image restoration and blur identification." Diss., Georgia Institute of Technology, 1990. http://hdl.handle.net/1853/13414.
Повний текст джерелаBaduel, Ronan. "An integrated model-based early validation approach for railway systems." Thesis, Toulouse 2, 2019. http://www.theses.fr/2019TOU20083.
Повний текст джерелаSystem engineering is a domain that studies the conception of complex system. A system corresponds to a solution we want to develop, such as a train, a satellite network, etc. A complex system is composed of several independent elements Engineers work from lists of individual expectations regarding the system to be or what it is supposed to do, which they use to create a system and see if it answers expectations. To gain time and money, we would like to check that the system-to-be answers expectations before developing it: it requires to integrate expectations and specify how they should be put together, inducing a system expected that we can check. The goal pursued in this PhD is to provide a method to integrate information regarding a train system during conception, enabling the specification, representation and validation of its behavior
Xiong, Jingwei. "A Penalized Approach to Mixed Model Selection Via Cross Validation." Bowling Green State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1510965832174342.
Повний текст джерелаJaoua, Ali. "Recouvrement avant de programmes sous les hypotheses de specifications deterministes et non deterministes." Toulouse 3, 1987. http://www.theses.fr/1987TOU30227.
Повний текст джерелаFernandez, Charles. "Modélisation et validation expérimentale des complexes insonorisants pour la prévision vibroacoustique numérique basse et moyenne fréquences des automobiles." Phd thesis, Université Paris-Est, 2008. http://tel.archives-ouvertes.fr/tel-00470535.
Повний текст джерелаFaye-Dumanget, Christine. "L'épuisement estudiantin : approche clinique, psychopathologique, épidémiologique et psychothérapeutique TCC du syndrome du burnout académique." Thesis, Nantes, 2018. http://www.theses.fr/2018NANT2050/document.
Повний текст джерелаThe student population is a particularly vulnerable group in terms of distress or psychological suffering. Indeed, anxiety-depressive and addictive risks are often identified in these young adults. Stress is also particularly prevalent and exhaustion for this age group is the first leading cause of psychological fragility. International researches focusing on student psychic health refer to this phenomenon with the terms academic burnout syndrome or academic burnout (ABO). Burnout is widely recognized in professional environments and is transferable to other contexts, such as higher education and training. It reflects a three-dimensional process which includes mental exhaustion, cynicism and the reduction or loss of the sense of effectiveness associated with studies. Even if many international studies investigated ABO, no French validated tool is available, which complicates the possibility of conducting systematic studies in French-speaking countries. The objective of this work is to report on the phenomenon from a clinical point of view (clinical cases), to empirically validate an evaluation tool for academic burnout (psychometric validation of the Maslach Burnout Inventory Student Survey (MBI-SS) on a sample of 667 students), to carry out the epidemiological exploration of the ABO and its links with certain psychopathological factors (anxiety, depression) and adaptive processes ( emotional regulation, mental flexibility) with a sample of 2260 students from French-speaking areas and finally to propose a management of ABO based on Behavioral and Cognitive Therapies. All of these studies are discussed in order to highlight the particularity of the ABO in this population as well as the characteristics of one ABO dimension, the emotional exhaustion, as a transdiagnostic process
Abidelah, Anis. "Analyse numérique du comportement d'assemblages métalliques. Approche numérique et validation expérimentale." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2009. http://tel.archives-ouvertes.fr/tel-00725229.
Повний текст джерелаWalia, Gursimran Singh. "Empirical Validation of Requirement Error Abstraction and Classification: A Multidisciplinary Approach." MSSTATE, 2006. http://sun.library.msstate.edu/ETD-db/theses/available/etd-05152006-151903/.
Повний текст джерелаTomiyama, Hiroyuki, Shin-ichiro Chikada, Shinya Honda, and Hirouyuki Takada. "An RTOS-based approach to design and validation of embedded systems." IEEE, 2005. http://hdl.handle.net/2237/6840.
Повний текст джерелаEngsner, Hampus. "A PIT - Based approach to Validation of Electricity Spot Price Models." Thesis, KTH, Matematisk statistik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-172996.
Повний текст джерелаModelleringen av spotpriser på el är fortfarande i ett tidigt stadium, med många olika modeller som förespråkas av olika forskare. Detta innebär att forskning som fokuserar på modellutvärdering och jämförelse är viktig både för berörda parter i näringslivet och forskare inom detta område. Det finns dock en klar brist på konsensusmetoder att utvärdera modellers validitet, då olika forskare förespråkar olika metoder av varierande lämplighet som valideringsverktyg. I den här uppsatsen kartläggs det nuvarande landskapet av spotprismodeller och de metoder som används för att utvärdera dem. Sedan, som det huvudsakliga forskningsbidraget av detta arbete, presenteras ett generellt och flexibelt valideringsramverk som baseras på vad som kallas ”Probability Integral Transform” (PIT). PIT, vilken kan ses som en generalisering av att undersöka residualer i enkla tidsserie- och regressionsmodeller, transformerar utfallet av en tidsserie till oberoende och identiskt fördelade U(0,1) variabler med hjälp av tidsseriens betingade fördelningar. Att testa modellens validitet reduceras med denna metod till att testa om PIT – värdena är oberoende och identiskt fördelade U(0,1) variabler. Uppsatsen avslutas med tester av spotprismodeller av varierande validitet enligt litteraturen med hjälp av detta ramverk mot faktiskt spotprisdata. De empiriska testerna antyder att PIT – baserad modellvalidering faktiskt stämmer överrens med modellers validitet baserat på nuvarande konsensus, där särskilt opassande modeller förkastas med stora marginaler.
Yoo, Min-Jung. "Une approche componentielle pour la modélisation d'agents coopératifs et leur validation." Paris 6, 1999. http://www.theses.fr/1999PA066652.
Повний текст джерелаNeloy, Md Naim Ud Dwla. "Validation of theoritical approach to measure biodiversity using plant species data." Thesis, Högskolan i Skövde, Institutionen för biovetenskap, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-19431.
Повний текст джерелаGuibert, Nicolas. "Validation d'une approche basée sur l'exemple pour l'initiation à la programmation." Poitiers, 2006. http://www.theses.fr/2006POIT2341.
Повний текст джерелаAlthough computers and programs have now become essential in experimental sciences as analysis or measurement tools, many students still find learning Computer Science is extremely difficult. Many studies have characterised the errors and difficulties encountered by novice programmers. The environments in use nowadays for learning programming are tools built in the unique perspective of development, and not in a pedagogical perspective. This “industrial” approach is often opposed to a genuine pedagogical approach, where the goal is discovery and acquisition of knowledge, and not the realisation of technical tasks. This thesis explores the use of an alternative interaction paradigm, “programming by examples”, to support the student’s active construction of viable knowledge, by the use of experimental studies led in a concrete environment, with an adapted programming by examples environment, engineered specifically for a pedagogical purpose
Vachon, Éric. "Une nouvelle approche de la validation de requête vidéo par l'utilisateur." Paris 6, 2003. http://www.theses.fr/2003PA066329.
Повний текст джерелаPediaditakis, Michael. "Presenting multi-language XML documents : an adaptive transformation and validation approach." Thesis, University of Kent, 2006. https://kar.kent.ac.uk/24021/.
Повний текст джерелаLi, Zheng, and n/a. "A pattern-based approach to the specification and validation of web services interactions." Swinburne University of Technology, 2007. http://adt.lib.swin.edu.au./public/adt-VSWT20070618.115228.
Повний текст джерелаPaisant, Jean-Francois. "Modélisation numérique et validation expérimentale de l'hydrodynamique d'une émulsion dans une colonne d'extraction." Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066453/document.
Повний текст джерелаIn the core of spent fuel reprocessing operations, the pulsed columns with packing are the liquid-liquid extraction apparati mainly used. The context of economical competiveness and scarce resources, industrials are driven to improve the efficiency of these processes. Pulsed column efficiency is bound to the amount of available exchange surface, which depends on geometrical parameters of the column and the operating conditions. A better design would improve the efficiency. In this aim the knowledge of the interphase slip velocity is necessary. The work presented in this thesis revolves around physical and numerical modelling of the hydrodynamics of the emulsion and its experimental characterization.In this work, a eulerian approach, based on the work of D.Lhuillier, allows to obtain a two-fluid model coupled with an evolution equation of the exchange surface (interfacial area). We use finite elements method to solve this model along with CAST3M software. Numerical simulations have shown the model abilities to correctly reproduce the emulsion behaviour and to obtain the slip velocity.In order to experimentally validate the model, we carried out two types of experimentation. Particles images velocimetry coupled to laser induced fluorescence are involved to obtain velocities of each phases and the dispersed phase volume fraction. We developed a tracking algorithm to obtain the dispersed phase velocity and the hold up. These results, such as velocities and strain rate tensor, have been used in a first validation of the model
Belt, P. (Pekka). "Improving verification and validation activities in ICT companies—product development management approach." Doctoral thesis, University of Oulu, 2009. http://urn.fi/urn:isbn:9789514291487.
Повний текст джерелаYeoh, Terence Eng Siong. "Validation Of The Facet Satisfaction Scale (Fss): An Evaluative Approach To Assessing Facet Job Satisfaction." Thesis, University of North Texas, 2011. https://digital.library.unt.edu/ark:/67531/metadc103414/.
Повний текст джерелаZhang, Zhiqi. "Blood-Brain Barrier in vitro Model: A Tissue Engineering Approach and Validation." FIU Digital Commons, 2010. http://digitalcommons.fiu.edu/etd/246.
Повний текст джерелаPellegri, Matteo, Andrea Vacca, Ram S. Devendran, Etienne Dautry, and Benjamin Ginsberg. "A Lumped Parameter Approach for GEROTOR Pumps: Model Formulation and Experimental Validation." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-199845.
Повний текст джерелаBryant, Nathan J. "EXPERIMENTAL VALIDATION OF THE CALPHAD APPROACH APPLIED TO MULTI-PRINCIPLE ELEMENT ALLOYS." Wright State University / OhioLINK, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=wright1433176902.
Повний текст джерелаMarche, Mikaël. "Une approche par simulation d'environnement pour la validation de code d'agents mobiles." Besançon, 2002. http://www.theses.fr/2002BESA2057.
Повний текст джерелаWe propose in this thesis a way to validate mobile applications by using a technique based on simulation. Thus, we tackle the problems of the test execution which is difficult to implement. In particular, testing for such systems must take into account the mobility of tested processes, which makes it difficult to maintain contact points between testing and tested processes. To solve these difficulties, we define an architecture allowing to simulate several configurations of an environment of agents. The approach by simulation makes it possible to define without limitations the test environment Around the simulation tool (SAM), we propose a way to express the checking of behavior during the execution. For that, we provide a language of control and observation which makes it possible to express the tests to be carried out on the implementation under test. The language (JOR) and the semantics of observation suggested are voluntarily uncoupled from the initial goal of testing. The objective is to profit that one is in a context of simulation to allow all types of definable activities on the tool. Thus, the approach by simulation we suggest is resolutely open in order to allow at the same time the validation by testing and the design and checking of prototypes
Filomena, Melissa, and Protik Sarkar. "Can dinosaurs generate unicorns? : -A corporate approach for early stage idea validation." Thesis, KTH, Industriell ekonomi och organisation (Inst.), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-246021.
Повний текст джерелаMariani, Lucia. "Driving Simulator for HMI development and validation: definition of a dedicated approach and test protocol." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022.
Знайти повний текст джерелаBaron, Mickaël. "Vers une approche sûre du développement des Interfaces Homme-Machine." Poitiers, 2003. http://www.theses.fr/2003POIT2323.
Повний текст джерелаHuman-Computer Interfaces (HCI) represent an essential part in most computing systems. Resorting to specification, development, checking, validation models is becoming necessary to ensure that the system perfectly meets the HCI's properties. Nowadays, we consider that properties can be checked following two approaches one based on formal developments and the second one is tool based. In spite of great progress, none of them emerged. In this context, we propose two new approaches allowing a safe HCI development, based on a single formal method (B method). The first approach, based on formal developments, permits the integration of HCI heterogeneous techniques in order to express, check and validate interactive system properties. The second one, based on tools definitions (SUIDT) allows creating an interactive dialog between the formally-developed functional core and an user interface. Moreover, the latter approach ensures properties what are expressed both into the functional core and by the user's needs
Khalgui, Mohamed. "Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants." Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL009N/document.
Повний текст джерелаThis thesis deals with the temporal validation and the deployment of component-based industrial control applications. We are interested in the Function Blocks approach, defined in the IEC 61499 standard, as a well known component based technology in the industry. A Function Block is an event triggered component owning data to support the application functionalities. The advantage of this technology is the taking into account of the application and also its execution support. The first thesis contribution deals with the interpretation of the different concepts defined in the standard. In particular, we propose a policy defining a deterministic behavior of a FB. To apply an exhaustive temporal validation of the application, we propose a behavioral model of a Block as Timed Automata. On the other hand, we propose a semantic for the concept of FBs networks to develop industrial control applications. The second thesis contribution deals with the deployment of FBs networks in a distributed multi-tasking architecture. Such deployment has to respect classical End to End Response Time Bounds as temporal constraints. To validate the temporal behavior of an application, we propose an approach transforming its blocks into an actions system with precedence constraints. The purpose is to exploit previous theories on the scheduling of real-time systems. To deploy FBs networks in feasible OS tasks, we propose a Hybrid scheduling approach combining an off-line non-preemptive scheduling and an on-line preemptive one. The off-line scheduling allows to construct OS tasks from FBs, whereas the on-line one allows to schedule these tasks according to the classical EDF policy. A constructed OS task is an actions sequence defining an execution scenario of the application. Thanks to this approach, we reduce the context switching at run-time by merging application actions in OS tasks. In addition, the system feasibility is increased by applying an on-line preemptive policy. Finally, the last thesis contribution is an extension of the previous one. We propose an approach allocating FBs networks in a distributed architecture. Based on a heuristic, such approach uses the hybrid method to construct feasible OS tasks in calculators. The allocation problem of a particular application FB is to look for a corresponding calculator while respecting functional, temporal and execution support constraints. We note that the proposed heuristic is based on a back-tracking technic to increase the solutions space
Barbu, Andreea. "Developing mobile agents through a formal approach." Paris 12, 2005. https://athena.u-pec.fr/primo-explore/search?query=any,exact,990002282380204611&vid=upec.
Повний текст джерелаThis thesis deals with the modelling and validation of mobile agent systems. The development of a support structure for mobile agents demans the development of solutions for set of specific problems that appear due to mobility. A basic question in software development is if the proposed program is really a solution for the considered problem. One way to answer this question is through the use of formal methods. In our approach, the first step is to build a model of the solution (specification) using the higher-order Pi-calculus. Having this formal model as a base, we can : validate the model through simulations ; carry out mathematical tests to guarantee that this model possesses the required properties (verification) ; being able to prove that the implementation is correct with respect to the specification. Making use of our results, we have implemented a prototype called HOPiTool which allows the possibility of validation of mobile agent systems conceived with higher-order Pi-calc
Li, Zheng. "A pattern-based approach to the specification and validation of web services interactions." Australasian Digital Thesis Program, 2007. http://adt.lib.swin.edu.au/public/adt-VSWT20070618.115228/index.html.
Повний текст джерелаA thesis submitted to Faculty of Information and Communication Technologies, Swinburne University of Technology for the degree of Master of Science by Research, 2007. Typescript. Bibliography p. 107-112.
Usher, John S. "Subjective evaluation and electroacoustic theoretical validation of a new approach to audio upmixing." Thesis, McGill University, 2006. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=102741.
Повний текст джерелаThe new system removes short-term correlated components from two electronic audio signals using a pair of adaptive filters, updated according to a frequency domain implementation of the normalized-least-means-square algorithm. The major difference of the new system with all extant audio upmixers is that unsupervised time-alignment of the input signals (typically, by up to +/-10 ms) as a function of frequency (typically, using a 1024-band equalizer) is accomplished due to the non-minimum phase adaptive filter. Two new signals are created from the weighted difference of the inputs, and are then radiated with two loudspeakers behind the listener. According to the consensus in the literature on the effect of interaural correlation on auditory image formation, the self-orthogonalizing properties of the algorithm ensure minimal distortion of the frontal source imagery and natural-sounding, enveloping reverberance (ambiance) imagery.
Performance evaluation of the new upmix system was accomplished in two ways: Firstly, using empirical electroacoustic measurements which validate a theoretical model of the system; and secondly, with formal listening tests which investigated auditory spatial imagery with a graphical mapping tool and a preference experiment. Both electroacoustic and subjective methods investigated system performance with a variety of test stimuli for solo musical performances reproduced using a loudspeaker in an orchestral concert-hall and recorded using different microphone techniques.
The objective and subjective evaluations combined with a comparative study with two commercial systems demonstrate that the proposed system provides a new, computationally practical, high sound quality solution to upmixing.
Mac, Garrigle Ellen F. "A validation of the enterprise management engineering approach to knowledge management systems engineering." Thesis, The George Washington University, 2014. http://pqdtopen.proquest.com/#viewpdf?dispub=3614805.
Повний текст джерелаKnowledge management is one of the current "buzzwords" gaining popularity on an almost-daily basis within the business world. Much attention has been paid to the theory and justification of knowledge management (KM) as an effective business and organizational practice. However, much less attention has been paid to the more specific issues of effective implementation of knowledge management, or to the potential financial benefit or payoff that could potentially result from an effective system implementation. As the concept of KM becomes more generally accepted, knowledge management systems (KMS) are becoming more prevalent. A KMS is often considered simply another information system to be designed, built, and supported by the IT department. In actual implementation, many KM system development efforts are not successful. There is frequently a perception that strict adherence to development processes produces an excessive time lag, rigor, and formality which will "disrupt" the desired free flow of knowledge. Professor Michael Stankosky of GWU has posited a more flexible variation of the usual systems engineering (SE) approach, tailored specifically to the KM domain and known as Enterprise Management Engineering© (EME). This approach takes the four major pillars of KM as identified by GWU research in this area—Leadership, Organization, Technology, and Learning—and adapts eighteen key SE steps to accommodate the more flexible and imprecise nature of "knowledge".
Anecdotal study of successful KMS developments has shown that many of the more formal processes imposed by systems engineering (such as defining strategic objectives before beginning system development) serve a useful purpose. Consequently, an integrated systems engineering process tailored specifically to the KM domain should lead to more successful implementations of KM systems. If this is so, organizations that have followed some or all of the steps in this process will have designed and deployed more "successful" KMS than those organizations that have not done so. To support and refine this approach, a survey was developed to determine the usage of the 18 steps identified in EME. These results were then analyzed against a objective financial measurement of organizational KM to determine whether a correlation exists. This study is intended to test the validity of the efficacy of the EME approach to KM implementation.
For the financial measurement data, the subject list of organizations for this study used a measure of intangible valuation developed by Professor Baruch Lev of NYU called Knowledge Capital Earnings © (KCE). This is the amount of earnings that a company with good "knowledge" has left over once its earnings based on tangible financial and physical assets have been subtracted from overall earnings. KCE can then be used to determine the Knowledge Capital (KC) of an organization. This in turn provides two quantitative measures (one relative, one absolute) that can be used to define a successful knowledge company.
For this study, Lev's research from 2001 was updated, using more recent financial data. Several of these organizations completed a survey instrument based upon the 18 points of the EME approach. The results for the 18 steps were compared against each other and against each organization's KC scores. The results show that there is a significant correlation between EME and the relative KC measurement, and select EME steps do correlate significantly with a high KC value. Although this study, being the first validation effort, does not show provable causation, it does demonstrate a quantifiable correlation and association between EME and successful KM implementation. This in turn should contribute to the slim body of objective knowledge on the design, deployment, and measurement of KM systems.
Sheard, Michael. "A construct validation approach to mental toughness in sport : a positive psychological perspective." Thesis, Teesside University, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425977.
Повний текст джерелаMouawia, Hussein. "Validation clinique d'une nouvelle approche "ISET" du diagnostic prénatal non invasif d'Amyotrophie spinale." Paris 5, 2008. http://www.theses.fr/2008PA05T006.
Повний текст джерелаA promising non-invasive strategy for prenatal diagnosis of SMA has been proposed using ISET (Isolation by Size of Epithelial Trophoblastic cells). A prospective blinded clinical validation study of the ISET method for SMA was set up in the Necker-Enfants Malades Hospital in Paris according to statistical recommendations. It targeted 160 genetic diagnoses of SMA through the study of 160 fetal cells obtained from the blood (20 ml) of 16 mothers at risk of having an affected child. The results show the successful validation of the ISET method for prenatal diagnosis of SMA and should have implications for the implementation of a safe prenatal diagnosis of this genetic disease in clinical practice
Gurav, Hardik. "Experimental Validation of the Global Transmissibility (Direct Method) Approach to Transfer Path Analysis." University of Cincinnati / OhioLINK, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1563273082454307.
Повний текст джерелаFonseca, Pedro Nicolau Faria Da. "Modélisation et validation des algorithmes non-déterministes de synchronisation des horloges." Vandoeuvre-les-Nancy, INPL, 1999. http://docnum.univ-lorraine.fr/public/INPL_T_1999_FARIA_DA_FONSECA_P_N.pdf.
Повний текст джерелаThis thesis addresses the problem of analyzing and designing non-deterministic clock synchronization algorithms in distributed systems. Non-deterministic algorithms are a promising solution to the clock synchronization problem, which can be testified by the attention they have received in recent years. Non-determinist dock synchronization algorithms use statistical or probabilistic techniques and they allow a better precision than with deterministic ones; the price to pay is a small probability that the system will fail to synchronize to the desired precision. This probability of failure can be made as small as desired by sending a sufficiently large number of messages. Unfortunately, assessing different algorithms is a difficult task, especially because we lack a common ground to establish comparisons. We propose an analytical model for the behaviour of non-deterministic dock synchronization algorithms. The aim is to find an expression that the distributed systems designer can use to estimate the required number of messages, in order to guarantee that a certain algorithm will synchronize to the desired precision and probability of success. This result is a Sufficient Condition for Synchronization, which states the conditions that must be fulfilled in order to guarantee the desired precision and probability of success. This condition is based on local parameters and on system parameters that are easily computed, such as the number of sites and the description of the delay as a random variable. The underlying assumptions are experimentally verified. For this purpose, we developed a test-bed based on the Controller Area Network. The results validate the assumptions used for the model
Esta tese aborda o problema da analise e da concepção de algoritmos de sincronização de relógios nao deterministicos. Os algoritmos não-deterministicos constituem uma soluçao promissora para o problema da sincronização de relógios, sendo prova disso o interesse que estes têm despertado nos ultimos anos. Os algoritmos de sincronização não-deterministicos utilizam técnicas estatisticas ou probabilisticas para a obtençao do resultado. Obtém-se assim uma melhor precisao do que com os algoritmos determinfsticos. 0 preço a pagar é uma (pequena) probabilidade que o sistema. Não consiga sincronizar com a precisão desejada. . Pode-se tornar esta probabilidade de insucesso tao pequena quanto necessario através da utlizaçao de um numero de mensagens suficientemente grande. Infelizmente, a comparação e a avaliação das diferentes soluçoes propostas é dificil, principalmente devido à inexistência duma base comum para estabelecer essas comparaçoes. Nesta tese, propomos um modelo analitico para o funcionamento dos algoritmos de sincronização nao-determinfsticos. 0 objectiva é obter uma. Expressão que permita calcular o numero de mensagens necessarias para um determinado algoritmo, de modo a que a sincronização ocorra corn a precisão e a probabilidade especificadas. Este resultado é a Condiçao de Garantia de Sincronizaçao, que define uma condição suficiente para garantir o sucesso da sincronizaçao nao-deterministica sob as condiçoes especificadas de precisão e probabilidade de sucesso. Esta condiçao é estabelecida a partir de parâmetros locais deum nô e de parâmetros do sistema que siio facilmente calculaveis, tais como o numero de nôs ou os parâmetros que descrevem o atraso de comunicação como uma variavel aleatôria. As condiçãoes subjacentes ao modelo proposto são verificadas experimentalmente. Para tal, desenvolveuse uma plataforma baseada na rede CAN (Controller Area Network). As experiências realizadas permitiram verificar a validade das hipóteses associadas ao modelo
Abdollahzadeh, Ali Akbar. "Validation de données par équilibrage de bilans : synthèse et nouvelles approches." Vandoeuvre-les-Nancy, INPL, 1997. http://www.theses.fr/1997INPL118N.
Повний текст джерелаTaher, Akar. "Approche coopérative et non supervisée de partitionnement d’images hyperspectrales pour l’aide à la décision." Thesis, Rennes 1, 2014. http://www.theses.fr/2014REN1S094/document.
Повний текст джерелаHyperspectral and more generally multi-component images are complex images which cannot be successfully partitioned using a single classification method. The existing non-cooperative classification methods, parametric or nonparametric can be categorized into three types: supervised, semi-supervised and unsupervised. Supervised parametric methods require a priori information and also require making hypothesis on the data distribution model. Semi-supervised methods require some a priori knowledge (e.g. number of classes and/or iterations), while unsupervised nonparametric methods do not require any a priori knowledge. In this thesis an unsupervised cooperative and adaptive partitioning system for hyperspectral images is developed, where its originality relies i) on the adaptive nature of the feature extraction ii) on the two-level evaluation and validation process to fuse the results, iii) on not requiring neither training samples nor the number of classes. This system is composed of four modules: The first module, classifies automatically the image pixels into textured and non-textured regions, and then different features of pixels are extracted according to the region types. Texture features are extracted for the pixels belonging to textured regions, and the local mean feature for pixels of non-textured regions. The second module consists of an unsupervised cooperative partitioning of each component, in which pixels of the different region types are classified in parallel via the features extracted previously using optimized versions of Fuzzy C-Means (FCM) and Adaptive Incremental Linde-Buzo-Gray algorithm (AILBG). For each algorithm the number of classes is estimated according to the weighted average dispersion of classes. The third module is the evaluation and conflict management of the intermediate classification results for the same component obtained by the two classifiers. To obtain a final reliable result, a two-level evaluation is used, the first one identifies the pixels classified into the same class by both classifiers and report them directly to the final classification result of one component. In the second level, a genetic algorithm (GA) is used to remove the conflicts between the invalidated remaining pixels. The fourth module is the evaluation and conflict management in the case of a multi-component image. The system handles all the components in parallel; where the above modules are applied on each component independently. The results of the different components are compared, and the adjacent components with highly similar results are grouped within a subset and fused using a GA also. To get the final partitioning result of the multi-component image, the intermediate results of the subsets are evaluated and fused by GA. The system is successfully tested on a large database of synthetic images (mono and multi-component) and also tested on two real applications: classification of invasive plants and pine trees detection
Komari, Prabanjan. "A Novel Simulation Based Approach for Trace Signal Selection in Silicon Debug." University of Cincinnati / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1468512478.
Повний текст джерелаFalcone, Jessica Dominique. "Validation of high density electrode arrays for cochlear implants: a computational and structural approach." Thesis, Georgia Institute of Technology, 2011. http://hdl.handle.net/1853/39563.
Повний текст джерелаKulkarni, Shashank D. "Development and validation of a Method of Moments approach for modeling planar antenna structures." Worcester, Mass. : Worcester Polytechnic Institute, 2007. http://www.wpi.edu/Pubs/ETD/Available/etd-042007-151741/.
Повний текст джерелаKeywords: patch antennas; volume integral equation (VIE); method of moments (MoM); low order basis functions; convergence. Includes bibliographical references (leaves 169-186 ).
Barati, Hossein. "Test-taking strategies and the assessment of reading skills : an approach to construct validation." Thesis, University of Bristol, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.420924.
Повний текст джерелаKitchaev, Daniil A. "Development and validation of a computational approach to predicting the synthesis of inorganic materials." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/115604.
Повний текст джерелаThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 159-191).
The concept of computational materials design envisions the identification of chemistries and structures with desirable properties through first-principles calculations, and the downselection of these candidates to those experimentally accessible using available synthesis methods. While first-principles property screening has become routine, the present lack of a robust method for the identification of synthetically accessible materials is an obstacle to true materials design. In this thesis, I develop a general approach for evaluating synthesizeability, and where possible, identifying synthesis routes towards the realization of target materials. This approach is based on a quasi- thermodynamic analysis of synthesis methods, relying on the assumption that phase selection is guided by transient thermodynamic stability under the conditions relevant to phase formation. By selecting the thermodynamic handles relevant to a growth procedure and evaluating the evolution of thermodynamic boundary conditions throughout the reaction, I identify potential metastable end-products as the set of ground state phases stabilized at various stages of the synthesis. To validate this approach, I derive the quasi-thermodynamic influence of adsorption-controlled finite- size stability and bulk off-stoichiometry on phase selection in the aqueous synthesis of polymorphic FeS2 and MnO2 systems, rationalizing the results of a range of synthesis experiments. To enable this analysis, I develop and benchmark the methodology necessary for the reliable first-principles evaluation of structure-sensitive bulk and interfacial stability in aqueous media. Finally, I describe a manganese oxide oxygen evolution catalyst, whose high activity is controlled by metastable, tetrahedrally- coordinated Mn3+ ions as an example of materials functionality enabled by structural metastability. The framework for the first-principles analysis of synthesis proposed and validated in this thesis lays the groundwork for the development of computational synthesis prediction and holds the potential to greatly accelerate the design and realization of new functional materials.
by Daniil A. Kitchaev.
Ph. D.
Chambin, Odile. "Validation d'un modele d'absorption percutanee ex vivo : approche correlative avec des parametres in vivo." Dijon, 1995. http://www.theses.fr/1995DIJOPE02.
Повний текст джерелаOvidiu, Parvu. "Computational model validation using a novel multiscale multidimensional spatio-temporal meta model checking approach." Thesis, Brunel University, 2016. http://bura.brunel.ac.uk/handle/2438/11863.
Повний текст джерелаRosinski, Jenny M. "Derivation and validation of alcohol phenotypes in a college population a motivational/developmental approach /." Diss., Columbia, Mo. : University of Missouri-Columbia, 2008. http://hdl.handle.net/10355/5535.
Повний текст джерелаThe entire dissertation/thesis text is included in the research.pdf file; the official abstract appears in the short.pdf file (which also appears in the research.pdf); a non-technical general description, or public abstract, appears in the public.pdf file. Title from title screen of research.pdf file (viewed on July 29, 2009) Includes bibliographical references.