Thèses sur le sujet « Automated model transformation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 32 meilleures thèses pour votre recherche sur le sujet « Automated model transformation ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.
Lin, Yuehua. « A model transformation approach to automated model evolution ». Birmingham, Ala. : University of Alabama at Birmingham, 2007. http://www.mhsl.uab.edu/dt/2007p/lin.pdf.
Texte intégralHolm, Gustav. « Automated Model Transformation for Cyber-Physical Power System Models ». Thesis, KTH, Skolan för teknikvetenskap (SCI), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-214750.
Texte intégralAbdul, Sani Asmiza. « Towards automated formal analysis of model transformation specifications ». Thesis, University of York, 2013. http://etheses.whiterose.ac.uk/8641/.
Texte intégralShah, Seyyed Madasar Ali. « Model transformation dependability evaluation by the automated creation of model generators ». Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3407/.
Texte intégralLiang, Dong. « Automatic generation of software applications ». Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-149742.
Texte intégralSonntag, Christian [Verfasser]. « Model Transformations for the Engineering of Complex Automated Systems / Christian Sonntag ». Aachen : Shaker, 2018. http://d-nb.info/1188550268/34.
Texte intégralBrown, Stephen Anthony. « Models for automatic diffrentiation : a conceptual framework for exploiting program transformation ». Thesis, University of Hertfordshire, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263028.
Texte intégralLi, Jinyu. « Soft margin estimation for automatic speech recognition ». Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26613.
Texte intégralCommittee Chair: Dr. Chin-Hui Lee; Committee Member: Dr. Anthony Joseph Yezzi; Committee Member: Dr. Biing-Hwang (Fred) Juang; Committee Member: Dr. Mark Clements; Committee Member: Dr. Ming Yuan. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Wang, Tiexin. « A study to define an automatic model transformation approach based on semantic and syntactic comparisons ». Thesis, Ecole nationale des Mines d'Albi-Carmaux, 2015. http://www.theses.fr/2015EMAC0015/document.
Texte intégralThe models are increasingly used both for the description of a view of a complex system or for information exchange. However, to share the information, transferring information from one model to another is an issue related to the interoperability of systems now. This problem can be approached in three ways: integrated (all identical models), unified (all models refer to a pivot model), federated (no specific rules on the models). Although standards exist, they are rarely respected rigorously. The federated approach therefore seems to be the most realistic approach. However, because of the different models, this approach is complicated. Models can have a very heterogeneous structure and different vocabulary to describe the same concept. Therefore, we must identify the common concepts of different models before defining the transformation rules for transforming from one format to another. This thesis proposes a methodology to achieve these goals. It is partly based on the proposal of a meta-meta-model (to unify the description of the model structure), i.e. the meta-model, and secondly calculating the distance between each element of models to deduce the transformation rules. This distance reflecting both syntactic distance (words occurrence) and semantic relation that related to the synonymous. Researching synonym relation is based on the use of knowledge base, represented as ontology, such as WordNet
Amer, Hoda. « Automatic transformation of UML software specification into LQN performance models using graph grammar techniques ». Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/MQ61015.pdf.
Texte intégralProvost, Julien. « Test de conformité de contrôleurs logiques spécifiés en grafcet ». Thesis, Cachan, Ecole normale supérieure, 2011. http://www.theses.fr/2011DENS0029/document.
Texte intégralThe works presented in this PhD thesis deal with the generation and implementation of test sequences for conformance test of logic controllers. Within these works, Grafcet (IEC 60848 (2002)), graphical specification language used in industry, has been selected as the specification model. Logic controllers mainly considered in these works are Programmable Logic Controllers (PLC). In order to validate the carrying out of conformance test of critical control systems, this thesis presents: - A formalization of the Grafcet specification language. Indeed, to apply usual verification and validation methods, the behavior is required to be expressed through formal models. However, in industry, the models used to describe functional specifications are chosen for their expression power and usability, but these models rarely have a formal semantics. - A study of test sequences execution and analysis of obtained verdicts when several logical inputs are changed simultaneously. Series of experimentation have permitted to quantify, for different configurations of the implantation under test, the rate of erroneous verdicts due to these simultaneous changes. - A definition of the SIC-testability criterion for an implantation. This criterion, determined on the Grafect specification defines the ability of an implementation to be tested without any erroneous verdict. Automatic generation of test sequences that minimize the risk of erroneous verdict is then studied
Vitorino, dos Santos Filho Jairson. « CHROME : a model-driven component-based rule engine ». Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1638.
Texte intégralCoordenação de Aperfeiçoamento de Pessoal de Nível Superior
Vitorino dos Santos Filho, Jairson; Pierre Louis Robin, Jacques. CHROME: a model-driven component-based rule engine. 2009. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.
Koc, San Dilek. « Approaches For Automatic Urban Building Extraction And Updating From High Resolution Satellite Imagery ». Phd thesis, METU, 2009. http://etd.lib.metu.edu.tr/upload/3/12610501/index.pdf.
Texte intégralRicha, Elie. « Qualification des générateurs de code source dans le domaine de l'avionique : le test automatisé des chaines de transformation de modèles ». Thesis, Paris, ENST, 2015. http://www.theses.fr/2015ENST0082/document.
Texte intégralIn the avionics industry, Automatic Code Generators (ACG) are increasingly used to produce parts of the embedded software. Since the generated code is part of critical software, safety standards require a thorough verification of the ACG called qualification. In this thesis in collaboration with AdaCore, we seek to reduce the cost of testing activities by automatic and effective methods.The first part of the thesis addresses the topic of unit testing which ensures exhaustiveness but is difficult to achieve for ACGs. We propose a method that guarantees the same level of exhaustiveness by using only integration tests which are easier to carry out. First, we propose a formalization of the ATL language in which the ACG is defined in the Algebraic Graph Transformation theory. We then define a translation of postconditions expressing the exhaustiveness of unit testing into equivalent preconditions that ultimately support the production of integration tests providing the same level of exhaustiveness. Finally, we propose to optimize the complex algorithm of our analysis using simplification strategies that we assess experimentally.The second part of the work addresses the oracles of ACG tests, i.e. the means of validating the code generated by the ACG during a test. We propose a language for the specification of textual constraints able to automatically check the validity of the generated code. This approach is experimentally deployed at AdaCore for a Simulink® to Ada/C ACG called QGen
Kumar, Rahul. « Using Live Sequence Chart Specifications for Formal Verification ». BYU ScholarsArchive, 2008. https://scholarsarchive.byu.edu/etd/1500.
Texte intégralTrifunovic, Konrad. « Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler ». Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00661334.
Texte intégralBiscuola, Vinicius Bertolazzi. « Modelo matemático híbrido determinístico-estocástico para a previsão da macroestrutura de grãos bruta de solidificação ». Universidade de São Paulo, 2011. http://www.teses.usp.br/teses/disponiveis/3/3133/tde-04042011-121401/.
Texte intégralThe processing variables determine many properties of the products obtained by casting and welding processes and these properties, on the other hand, are strongly affected by the as-cast micro and macrostructure. Particularly the position of the columnar-to-equiaxed transition (CET), which determines the amount of columnar and equiaxed grains in the macrostructure, has an important effect on the properties of as-cast parts. Therefore, understanding the important physical phenomena that cause and affect the formation of the CET plays a crucial role in predicting the ascast macrostructure. To predict the CET formation, empirical methods and mathematical models have been developed. These models are frequently divided into two main groups: deterministic and stochastic. Both groups have been thoroughly studied, but a comparison between them was never attempted, especially regarding the prediction of the CET position. One of the main objectives of the present work is to fulfill this gap by carefully comparing these models. Nevertheless, the most important objective is to propose, implement, and validate a hybrid stochastic-deterministic model, referred to as CADE (Cellular Automaton Deterministic), that combines some important and well-known features of each model. Initially, a model from the stochastic group was implemented and validated using results available in the literature and then used to analyze the effects of some processing variables on the CET prediction. To carry out this analyzes, a criteria based on the aspect ratio of the grains was proposed and developed to identify the CET region from macrostructure images calculated by the model. The results were compared with those obtained by deterministic models and finally led to the development of the new proposed model. This new model has some characteristics from each group of mathematical models and, for this reason, was denoted as hybrid. A deterministic model based on a mechanical blocking criterion to block columnar grains and define the CET position showed, for the most part, larger columnar regions than those predicted by the stochastic model. A deterministic model with a solutal blocking criterion to predict the CET showed results similar to those calculated with the stochastic model. The model proposed in the present work (CADE) was able to predict the as-cast macrostructure using the well-established deterministic equations, without the need for a new method to track columnar grains or predict their blocking by equiaxed grains.
Valderas, Aranda Pedro José. « A requirements engineering approach for the development of web applications ». Doctoral thesis, Universitat Politècnica de València, 2008. http://hdl.handle.net/10251/1997.
Texte intégralValderas Aranda, PJ. (2008). A requirements engineering approach for the development of web applications [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1997
Palancia
Jabri, Sana. « Génération de scénarios de tests pour la vérification de systèmes complexes et répartis : application au système européen de signalisation ferroviaire (ERTMS) ». Phd thesis, Ecole Centrale de Lille, 2010. http://tel.archives-ouvertes.fr/tel-00584308.
Texte intégralProkopetc, Kristina. « Precise Mapping for Retinal Photocoagulation in SLIM (Slit-Lamp Image Mosaicing) ». Thesis, Université Clermont Auvergne (2017-2020), 2017. http://www.theses.fr/2017CLFAC093/document.
Texte intégralThis thesis arises from an agreement Convention Industrielle de Formation par la REcherche (CIFRE) between the Endoscopy and Computer Vision (EnCoV) research group at Université Clermont Auvergne and the company Quantel Medical (www.quantel-medical.fr), which specializes in the development of innovative ultrasound and laser products in ophthalmology. It presents a research work directed at the application of computer-aided diagnosis and treatment of retinal diseases with a use of the TrackScan industrial prototype developed at Quantel Medical. More specifically, it contributes to the problem of precise Slit-Lamp Image Mosaicing (SLIM) and automatic multi-modal registration of SLIM with Fluorescein Angiography (FA) to assist navigated pan-retinal photocoagulation. We address three different problems.The first is a problem of accumulated registration errors in SLIM, namely the mosaicing drift.A common approach to image mosaicking is to compute transformations only between temporally consecutive images in a sequence and then to combine them to obtain the transformation between non-temporally consecutive views. Many existing algorithms follow this approach. Despite the low computational cost and the simplicity of such methods, due to its ‘chaining’ nature, alignment errors tend to accumulate, causing images to drift in the mosaic. We propose to use recent advances in key-frame Bundle Adjustment methods and present a drift reduction framework that is specifically designed for SLIM. We also introduce a new local refinement procedure.Secondly, we tackle the problem of various types of light-related imaging artifacts common in SLIM, which significantly degrade the geometric and photometric quality of the mosaic. Existing solutions manage to deal with strong glares which corrupt the retinal content entirely while leaving aside the correction of semi-transparent specular highlights and lens flare. This introduces ghosting and information loss. Moreover, related generic methods do not produce satisfactory results in SLIM. Therefore, we propose a better alternative by designing a method based on a fast single-image technique to remove glares and the notion of the type of semi-transparent specular highlights and motion cues for intelligent correction of lens flare.Finally, we solve the problem of automatic multi-modal registration of FA and SLIM. There exist a number of related works on multi-modal registration of various retinal image modalities. However, the majority of existing methods require a detection of feature points in both image modalities. This is a very difficult task for SLIM and FA. These methods do not account for the accurate registration in macula area - the priority landmark. Moreover, none has developed a fully automatic solution for SLIM and FA. In this thesis, we propose the first method that is able to register these two modalities without manual input by detecting retinal features only on one image and ensures an accurate registration in the macula area.The description of the extensive experiments that were used to demonstrate the effectiveness of each of the proposed methods is also provided. Our results show that (i) using our new local refinement procedure for drift reduction significantly ameliorates the to drift reduction allowing us to achieve an improvement in precision over the current solution employed in the TrackScan; (ii) the proposed methodology for correction of light-related artifacts exhibits a good efficiency, significantly outperforming related works in SLIM; and (iii) despite our solution for multi-modal registration builds on existing methods, with the various specific modifications made, it is fully automatic, effective and improves the baseline registration method currently used on the TrackScan
Li, Yunming. « Machine vision algorithms for mining equipment automation ». Thesis, Queensland University of Technology, 2000.
Trouver le texte intégralCARNEVALI, LAURA. « Formal methods in the development life cycle of real-time software ». Doctoral thesis, 2010. http://hdl.handle.net/2158/521924.
Texte intégralDeters, Isabel Kristin. « Automating shopping for consumer goods : the potential of IoT-enabled replenishments as a new business model in FMCG ». Master's thesis, 2021. http://hdl.handle.net/10400.14/34889.
Texte intégralOs consumidores cada vez mais valorizam a conveniência e a inovação nas suas decisões de compra. As empresas estão conscientes de que a tecnologia e a digitalização desempenham um papel importante na vida dos indivíduos. Na FMCG esta tendência é visível através do aumento das vendas de E-Commerce. O próximo passo para retalhistas e fabricantes aumentarem as suas quotas de mercado online e offline passa por automatizarem a recompra oferecendo soluções de reabastecimento. Através da tecnologia IoT, os dispositivos são inteligentes. Podem comunicar quando um produto está a ficar com pouco, para que a compra seja automaticamente iniciada sem que o cliente encomende manualmente. Esta tese desenvolve como uma tecnologia de reabastecimento pode constituir um novo modelo de negócio em FMCG e se tem o potencial de se tornar um modelo de utilização comum. A pesquisa consiste em entrevistas a peritos e num inquérito online. Ambos os métodos procuram avaliar o desenvolvimento do modelo; pela perspetiva do consumidor e pela perspetiva dos especialistas da atualidade e da indústria. Os resultados revelam que os consumidores ainda não se sentem preparados para substituir as compras convencionais, especialmente para certos produtos concretos. Adicionalmente, esta tecnologia ainda não está pronta para reabastecimentos para assumir as compras físicas e online. No entanto, certos produtos em FMCG têm aptidão para funcionar com este modelo e é provável que, com o progresso da digitalização e a aceitação do consumidor, o modelo se desenvolva ainda mais e encontre o seu caminho na vida quotidiana dos indivíduos.
Rebac, Laura Katja. « The future of traditional grocery retailers : the impact of enabling trends on grocery retailers´ business model ». Master's thesis, 2021. http://hdl.handle.net/10400.14/35403.
Texte intégralA indústria retalhista de mercearia está a transformar-se com base na mudança das expectativas dos clientes, em novas tecnologias de ponta e no aumento da concorrência através da entrada de novos operadores no mercado. A lenta adaptação às circunstâncias externas coloca os retalhistas tradicionais de mercearia sob pressão crescente, o que acrescenta urgência às escolhas estratégicas entre uma selecção de actividades digitais e não digitais. Este estudo analisa as tendências digitais e não-digitais que estão a definir o futuro da indústria retalhista de mercearia. Combinando dados secundários com um inquérito aos consumidores e entrevistas a peritos, identificam-se as principais tendências que permitem aos retalhistas de mercearia tradicional fornecerem informações sobre a forma como os futuros modelos de negócio precisam de evoluir estrategicamente. Os resultados revelam que várias tecnologias ao longo de toda a cadeia de valor serão cruciais para uma transformação holística, especialmente a automatização dos processos de armazenagem e distribuição e o lançamento de aplicações digitais de clientes como uma solução omni-canal. Assim, a definição de perfis de clientes pode ser melhorada para gerar percepções valiosas dos clientes. No futuro, os principais indicadoreschave de desempenho concentrar-se-ão no aumento da eficiência e na redução de custos de pessoal, o que torna essencial a implementação de tecnologias.
Soares, João António Custódio. « Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets ». Master's thesis, 2017. https://repositorio-aberto.up.pt/handle/10216/106158.
Texte intégralThe dependence of our society on ever more complex software systems makes the task of testing and validating this software increasingly important and challenging. In many cases, multiple independent and heterogeneous systems form a system of systems responsible for providing services to users, and the current testing automation tools and techniques provide little support for the performance of this task.This dissertation is part of a larger scale project that aims to produce a Model-based Testing tool that will automate the process of testing distributed systems, from UML sequence diagrams. These diagrams graphically define the interaction between the different modules of a system and its actors in a sequential way, facilitating the understanding of the system's operation and allowing the definition of critical sections of distributed systems such as situations of concurrency and parallelism.This dissertation intends to develop one of the components of this project that will be in charge of the conversion of the descriptive diagrams of the system in Petri Nets. Petri Nets are a modeling formalism that is indicated for describing distributed systems by their ability to define communication and synchronization tasks, and by the possibility of executing them in runtime using tools such as CPN Tools.The objective will be to define Model-to-Model translation rules that will allow the conversion of models, in order to allow integration with the target system, taking advantage of existing model transformation frameworks (e.g. EMF - Eclipse Modeling Framework). With this, we have been able to hide the complexity of the system analysis to the user (Software Tester) introducing the possibility of automation, generation and execution of tests from the diagrams of test cases, and presenting the results (Errors and Code Coverage) visually.This document is divided in four sections. The first section introduces the context and motivation for the dissertation and defines the problem and goals. The second section consists in the summarization of concepts required to understand this dissertation, the state of the art of studies in this domain and an analysis of the tools to implement the solution. The third section explains the architecture and technological choices for the proposed solution. Finally, the last section explains the conclusions for this study and defines the future work plan.
Soares, João António Custódio. « Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets ». Dissertação, 2017. https://repositorio-aberto.up.pt/handle/10216/106158.
Texte intégralThe dependence of our society on ever more complex software systems makes the task of testing and validating this software increasingly important and challenging. In many cases, multiple independent and heterogeneous systems form a system of systems responsible for providing services to users, and the current testing automation tools and techniques provide little support for the performance of this task.This dissertation is part of a larger scale project that aims to produce a Model-based Testing tool that will automate the process of testing distributed systems, from UML sequence diagrams. These diagrams graphically define the interaction between the different modules of a system and its actors in a sequential way, facilitating the understanding of the system's operation and allowing the definition of critical sections of distributed systems such as situations of concurrency and parallelism.This dissertation intends to develop one of the components of this project that will be in charge of the conversion of the descriptive diagrams of the system in Petri Nets. Petri Nets are a modeling formalism that is indicated for describing distributed systems by their ability to define communication and synchronization tasks, and by the possibility of executing them in runtime using tools such as CPN Tools.The objective will be to define Model-to-Model translation rules that will allow the conversion of models, in order to allow integration with the target system, taking advantage of existing model transformation frameworks (e.g. EMF - Eclipse Modeling Framework). With this, we have been able to hide the complexity of the system analysis to the user (Software Tester) introducing the possibility of automation, generation and execution of tests from the diagrams of test cases, and presenting the results (Errors and Code Coverage) visually.This document is divided in four sections. The first section introduces the context and motivation for the dissertation and defines the problem and goals. The second section consists in the summarization of concepts required to understand this dissertation, the state of the art of studies in this domain and an analysis of the tools to implement the solution. The third section explains the architecture and technological choices for the proposed solution. Finally, the last section explains the conclusions for this study and defines the future work plan.
Chang, Yi-Fan, et 張依帆. « Automatic 2D Virtual Face Generation by 3D Model Transformation Techniques and Applications ». Thesis, 2007. http://ndltd.ncl.edu.tw/handle/64659203981015260316.
Texte intégral國立交通大學
多媒體工程研究所
95
In this study, a system for automatic generation of talking cartoon faces is proposed, which includes four processes: cartoon face creation, speech analysis, facial expression and lip movement synthesis, and animation generation. A face model of 72 facial feature points is adopted. A method for construction of a 3D local coordinate system for the cartoon face is proposed, and a transformation between the global and the local coordinate systems by the use of a knowledge-based coordinate system transformation method is conducted. A 3D rotation technique is applied to the cartoon face model with some additional points to draw the face in different poses. A concept of assigning control points is applied to animate the cartoon face with different facial expressions. A statistical method is proposed to simulate the timing information of various facial expressions. For lip synchronization, a sentence utterance segmentation algorithm is proposed and a syllable alignment technique is applied. Twelve basic mouth shapes for Mandarin speaking are defined to synthesize lip movements. A frame interpolation method is utilized to generate the animation. Finally, an editable and opened vector-based XML language - Scalable Vector Graphics (SVG) is used for rendering and synchronizing the cartoon face with speech. Two kinds of interesting applications are implemented. Good experimental results show the feasibility and applicability of the proposed methods.
Liang, Dong. « Automatic generation of software applications : a platform-based MDA approach ». Doctoral thesis, 2013. https://tubaf.qucosa.de/id/qucosa%3A22931.
Texte intégralZHAO, XULIN. « A BUSINESS PROCESS DRIVEN APPROACH FOR AUTOMATIC GENERATION OF BUSINESS APPLICATIONS ». Thesis, 2011. http://hdl.handle.net/1974/6296.
Texte intégralThesis (Ph.D, Electrical & Computer Engineering) -- Queen's University, 2011-01-30 00:06:34.77
Gamboa, Miguel. « Using Workflows to Automate Activities in MDE Tools ». Thèse, 2016. http://hdl.handle.net/1866/18758.
Texte intégralSoftware engineering aims to create software tools that allow people to solve particular problems in an easy and efficient way. In this regard, Model-driven engineering (MDE) enables to generate software tools, by systematically modeling and transforming models. In order to do this, MDE relies on language workbenches: Integrated Development Environment (IDE) for engineering modeling languages, designing models executing them and verifying them. However, the usability of these tools is far from efficient. Common MDE activities, such as creating a domain-specific language or developing a model transformation, are nontrivial and often require repetitive tasks. This results in unnecessary risings of development time. The goal of this thesis is to increase the productivity of modelers in their daily activities by automating the tasks performed in current MDE tools. I propose an MDE-based solution where the user defines a reusable workflow that can be parameterized at run-time and executed. This solution is implemented in an IDE for graphical modeling. I also performed two empirical evaluations in which the users’ productivity is improved.
Yan, Haowen. « Theory of Spatial Similarity Relations and Its Applications in Automated Map Generalization ». Thesis, 2014. http://hdl.handle.net/10012/8317.
Texte intégralBhaskaracharya, Somashekaracharya G. « Automatic Storage Optimization of Arrays Affine Loop Nests ». Thesis, 2016. http://hdl.handle.net/2005/3208.
Texte intégral