Dissertations / Theses on the topic 'Change propagation'
To see the other types of publications on this topic, follow the link: Change propagation.
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 'Change propagation.'
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.
1
Giffin, Monica L. (Monica Lee). "Change propagation in large technical systems." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/42351.
Full textAbstract:
Thesis (S.M.)--Massachusetts Institute of Technology, System Design and Management Program, 2007.Includes bibliographical references (p. 76-77).
Propagation of engineering changes has gained increasing scrutiny as the complexity and scale of engineered systems has increased. Over the past decade academic interest has risen, yielding some small-scale in-depth studies, as well as a variety of tools aimed at aiding investigation, analysis and prediction of change propagation. This thesis applies many of the methods and seeks to apply and extend prior reasoning through examination of a large data set from industry, including data from more than 41,000 change requests (most technical, but others not) over nearly a decade. Different methods are used to analyze the data from a variety of perspectives, in both the technical and managerial realms, and the results are compared to each other and evaluated in the context of previous findings. Macro-level patterns emerge independent of smaller scale data patterns, and in many cases offer clear implications for technical management approaches for large, complex systems development.
by Monica L. Giffin.
S.M.
2
Pasqual, Michael C. "Multilayer network modeling of change propagation for engineering change management." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/62481.
Full textAbstract:
Thesis (S.M. in Technology and Policy)--Massachusetts Institute of Technology, Engineering Systems Division, Technology and Policy Program; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2010.Cataloged from PDF version of thesis.
Includes bibliographical references (p. 141-143).
Engineering change management is a critical and challenging process within product development. One pervasive source of difficulty for this process is the phenomenon of change propagation, by which a change to one part or element of a design requires additional changes throughout the product. Research efforts to understand and manage change propagation have largely drawn on network analysis. This thesis builds upon past research by introducing a multilayer network model that incorporates three proposed layers, or domains, that contribute to change propagation: namely, the product layer, change layer, and social layer. Each layer contains a distinct network of nodes and intralayer edges, but also connects to the other two layers through inter-layer dependencies. The model facilitates extensive quantitative analysis of change propagation using a repository of single-layer, double-layer, and triple-layer tools and metrics. A case study of a large technical program, which managed over 41,000 change requests in eight years, is employed to demonstrate the practical utility of the model. Most significantly, the case study explores the program's social layer and discovers a real-world correspondence between an engineer's organizational role and the propagation effects of his or her work, as measured by the newly proposed Engineer Change Propagation Index (Engineer-CPI). The case study also reveals that parent-child propagation often spanned more than one, but never more than three, system interfaces, thus confirming the possibility of indirect propagation. Finally, the study finds that propagation always stopped after five, and rarely more than four, generations of descendants. In all, the multilayer network model's holistic approach has significant policy implications for engineering change management in industry.
by Michael C. Pasqual.
S.M.
S.M.in Technology and Policy
3
Keller, René. "Predicting change propagation : algorithms, representations, software tools." Thesis, University of Cambridge, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.443494.
Full text
4
Gonzalez, Marco A. "A new change propagation metric to assess software evolvability." Thesis, University of British Columbia, 2013. http://hdl.handle.net/2429/44607.
Full textAbstract:
The development of software-intensive systems faces many challenges; one of the most important from an economic perspective is to reduce their maintenance costs. This thesis proposes a modified change propagation metric as a tool to assist the analysis of evolvability and maintainability of a software system and to ultimately support the reduction of its maintenance cost.
The technical complexity of software systems has a great impact on their ability to make increased functionality and adaptability to the environment possible. One approach to understand and master the complexity of large software systems, varying from thousands to millions of lines of source code, is through software architecture. This study examines a sample of software systems from the dependencies of their static structural view. The dependencies and their importance are expressed as a design structure matrix (DSM) that is used as an indicator to reflect the strength of dependence and connection among the different modules.
In this thesis, we propose a “modified change propagation” metric as a set of incremental improvements over the original Propagation Cost (PC) metric proposed by MacCormack (2008). Our improved metric uses dependencies weighted with strength to convey more information about the incidence of strongly connected relationships and it discounts weak dependencies. Moreover the original propagation metrics considered that the system should be acyclical; but we found that in practice a very few real systems are exempt of cycles. Furthermore, if cyclic dependencies are heavy rather than weak then these cycles should be treated differently. Finally, our metric is normalized to minimize the effect of both change in the total depth of the dependency graph, and increases in the size of the code.
Our modified change propagation metric can help software designers assess the maintainability of a software system at design time and over a proposed release sequence by comparing change propagation measures for different designs of software architecture. For instance, after refactoring. We validated our metric both on a system developed at UBC, and on several large open-source repositories for which we were able to obtain long release histories.
5
CAFEO, BRUNO BARBIERI DE PONTES. "ON THE RELATIONSHIP BETWEEN FEATURE DEPENDENCIES AND CHANGE PROPAGATION." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2015. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=26957@1.
Full textAbstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROCOORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO
PROGRAMA DE EXCELENCIA ACADEMICA
PROGRAMA DE DOUTORADO SANDUÍCHE NO EXTERIOR
Características são abstrações-chave para o desenvolvimento e manutenção de linhas de produto de software. Um desafio encarado na manutenção de linhas de produto de software é o entendimento das dependências que existem entre características. No código-fonte, uma dependência entre características ocorre sempre que um elemento de programa dentro dos limites de implementação de uma característica depende de elementos externos a esta característica. Exemplos são atributos ou métodos definidos na implementação de uma característica, mas utilizados no código responsável pela implementação de outra característica. A medida que desenvolvedores modificam o código-fonte associado com uma característica, eles devem garantir que outras características são consistentemente atualizadas com as novas mudanças – as chamadas propagações de mudanças. No entanto, a apropriada propagação de mudanças não é uma tarefa trivial, pois características geralmente não são modularizadas no código-fonte. Dessa forma, dado uma mudança em uma determinada característica, é desafiador revelar quais (partes de) outras características também devem ser alteradas. Propagação de mudanças se torna, portanto, um aspecto central e não-trivial da manutenção de linhas de produto de software. Desenvolvedores podem negligenciar partes importantes de código que deveriam ser revisadas ou alteradas, portanto não propagando mudanças de forma completa. Por outro lado, desenvolvedores também podem analisar de forma desnecessária partes de código que não são relevantes para a tarefa de manutenção de características, portanto aumentando o esforço de manutenção ou até propagando mudanças de forma indevida. A criação de um bom modelo mental da estrutura das dependências de características se torna essencial para ganhar compreensão sobre o complexo relacionamento de características com o objetivo de propagar mudanças de forma apropriada. Infelizmente, não existe entendimento no estado-da-arte sobre propriedades estruturais de dependências de características que afetam a propagação de mudanças. Este entendimento ainda não é possível, pois: (i) não existe meios de caracterização e quantificação para propriedades estruturais de dependências de características, e (ii) não existem investigações empíricas sobre a influência dessas propriedades na propagação de mudanças. Nesse contexto, esta tese apresenta três contribuições para superar os problemas acima mencionados. Primeiro, foi desenvolvido um estudo para entender a propagação de mudanças na presença de dependência de características em várias linhas de produto industriais. Segundo, é proposto um arcabouço de medidas com o propósito de quantificar propriedades estruturais de dependências de características. Nesse contexto, também foi desenvolvido um estudo revelando que métricas convencionais tipicamente aplicadas em trabalhos de linha de produto, tais como a métrica de acoplamento, não são indicadores efetivos da propagação de mudanças em linhas de produto de software. As métricas propostas nesta tese superaram consistentemente as métricas convencionais estudadas. Terceiro, esta tese propõe um método para auxiliar a propagação de mudanças encarando informações sobre a organização de dependência de características encarando-as como um problema de agrupamento. Foi avaliado se a organização de informações proposta nesta tese tem potencial para auxiliar desenvolvedores a propagar mudanças em linhas de produto de software.
Features are the key abstraction to develop and maintain software product lines. A challenge faced in the maintenance of product lines is the understanding of the dependencies that exist between features. In the source code, a feature dependency occurs whenever program elements within the boundaries of a feature s implementation depend on elements external to that feature. Examples are either attributes or methods defined in the realisation of a feature, but used in the code realising other features. As developers modify the source code associated with a feature, they must ensure that other features are consistently updated with the new changes – the so-called change propagation. However, appropriate change propagation is far from being trivial as features are often not modularised in the source code. In this way, given a change in a certain feature, it is challenging to reveal which (part of) other features should also change. Change propagation becomes, therefore, a central and non-trivial aspect of software product-line maintenance. Developers may overlook important parts of the code that should be revised or changed, thus not fully propagating changes. Conversely, they may also unnecessarily analyse parts that are not relevant to the feature-maintenance task at hand, thereby increasing the maintenance effort or even mis-propagating changes. The creation of a good mental model based on the structure of feature dependencies becomes essential for gaining insight into the intricate relationship between features in order to properly propagate changes. Unfortunately, there is no understanding in the state of the art about structural properties of feature dependencies that affect change propagation. This understanding is not yet possible as: (i) there is no conceptual characterisation and quantification means for structural properties of feature dependency, and (ii) there is no empirical investigation on the influence of these properties on change propagation. In this context, this thesis presents three contributions to overcome the aforementioned problems. First, we develop a study to understand change propagation in presence of feature dependencies in several industry-strength product lines. Second, we propose a measurement framework intended to quantify structural properties of feature dependencies. We also develop a study revealing that conventional metrics typically used in previous research, such as coupling metrics, are not effective indicators of change propagation in software product lines. Our proposed metrics consistently outperformed conventional metrics. Third, we also propose a method to support change propagation by facing the organisation of feature dependency information as a clustering problem. We evaluate if our proposed organisation has potential to help developers to propagate changes in software product lines.
6
Garg, Tushar. "Estimating change propagation risk using TRLs and system architecture." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/110134.
Full textAbstract:
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, School of Engineering, System Design and Management Program, 2017.Cataloged from PDF version of thesis.
Includes bibliographical references (pages 27-28).
Risk estimation is a key activity for product development and technology integration programs. There are a number of decision support tools that help project managers identify and mitigate risks in a project, however few explicitly consider the effects of architecture on risk. We propose a novel risk estimation framework that includes considerations of the system architecture. By starting with traditional project management literature, we define risk as a combination of likelihood and impact. We use Technology Readiness Levels as our measure for likelihood, and given that change propagates through interfaces, we used metrics that relate to connectivity to estimate impact. To analyze the connectivity, we model systems using networks of nodes and edges and calculate centrality metrics. This framework is applied to an industry example and we visualize the data in different formats to aid in analysis. The insights gained from this analysis are discussed, and we conclude that the risk estimation framework provides estimates that are in line with the experience of engineers at the company.
by Tushar Garg.
S.M. in Engineering and Management
7
Koh, Chan Yang Edwin. "Managing change propagation in the development of complex products." Thesis, University of Cambridge, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.609499.
Full text
8
Ariyo, Owolabi Opeyemi. "Change propagation in complex design : predicting detailed change cases with multi-levelled product models." Thesis, University of Cambridge, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.612492.
Full text
9
Seifert, Mirko. "Designing Round-Trip Systems by Change Propagation and Model Partitioning." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-71098.
Full textAbstract:
Software development processes incorporate a variety of different artifacts (e.g., source code, models, and documentation). For multiple reasons the data that is contained in these artifacts does expose some degree of redundancy. Ensuring global consistency across artifacts during all stages in the development of software systems is required, because inconsistent artifacts can yield to failures. Ensuring consistency can be either achieved by reducing the amount of redundancy or by synchronizing the information that is shared across multiple artifacts. The discipline of software engineering that addresses these problems is called Round-Trip Engineering (RTE).
In this thesis we present a conceptual framework for the design RTE systems. This framework delivers precise definitions for essential terms in the context of RTE and a process that can be used to address new RTE applications. The main idea of the framework is to partition models into parts that require synchronization - skeletons - and parts that do not - clothings. Once such a partitioning is obtained, the relations between the elements of the skeletons determine whether a deterministic RTE system can be built. If not, manual decisions may be required by developers. Based on this conceptual framework, two concrete approaches to RTE are presented.
The first one - Backpropagation-based RTE - employs change translation, traceability and synchronization fitness functions to allow for synchronization of artifacts that are connected by non-injective transformations. The second approach - Role-based Tool Integration - provides means to avoid redundancy. To do so, a novel tool design method that relies on role modeling is presented. Tool integration is then performed by the creation of role bindings between role models.
In addition to the two concrete approaches to RTE, which form the main contributions of the thesis, we investigate the creation of bridges between technical spaces. We consider these bridges as an essential prerequisite for performing logical synchronization between artifacts. Also, the feasibility of semantic web technologies is a subject of the thesis, because the specification of synchronization rules was identified as a blocking factor during our problem analysis.
The thesis is complemented by an evaluation of all presented RTE approaches in different scenarios. Based on this evaluation, the strengths and weaknesses of the approaches are identified. Also, the practical feasibility of our approaches is confirmed w.r.t. the presented RTE applications.
10
Hamraz, Bahram. "Engineering change modelling using a function-behaviour-structure scheme." Thesis, University of Cambridge, 2013. https://www.repository.cam.ac.uk/handle/1810/245074.
Full textAbstract:
Engineering changes are unavoidable and occur throughout the lifecycle of products. Due to the high interconnectivity of engineering products, a single change to one component usually has knock-on effects on other components causing further changes. This change propagation significantly affects the success of a product in the market by increasing development cost and time-to-market. As such engineering change management is essential to companies, but it is a complex task for managers and researchers alike. To address this challenge, the thesis at hand investigates the state-of-the-art of research in engineering change management and develops a method to support engineering change propagation analysis, termed FBS Linkage. This method integrates functional reasoning with change prediction. A product is modelled as a network of its functional, behavioural, and structural attributes. Change propagation is then described as spread between the elements along the links of this network. The FBS Linkage concept is designed based on a comprehensive set of requirements derived from both the literature and industry practices as well as a comparative assessment of existing change methods and functional reasoning schemes. A step-by-step technique of building and using an FBS Linkage model is demonstrated. The method’s potential benefits are discussed. Finally, the application of the method to two industrial case studies involving a diesel engine and a scanning electron microscope is presented. The method evaluation indicates that the benefits of the method outweigh its application effort and pinpoints areas for further refinement.
11
Weidlich, Matthias, Jan Mendling, and Mathias Weske. "Propagating Changes between Aligned Process Models." Elsevier, 2012. http://epub.wu.ac.at/3497/1/JSS12%2Dchange.pdf.
Full textAbstract:
There is a wide variety of drivers for business process modelling initiatives, reaching from organisational redesign to the development of information systems. Consequently, a common business process is often captured in multiple models that overlap in content due to serving different purposes. Business process management aims at exible adaptation to changing business needs. Hence, changes of business processes occur frequently and have to be incorporated in the respective process models. Once a process model is changed, related process models have to be updated accordingly, despite the fact that those process models may only be loosely coupled. In this article, we introduce an approach that supports change propagation between related process models. Given a change in one process model, we leverage the behavioural
abstraction of behavioural profiles for corresponding activities in order to determine a change region in another model. Our approach is able to cope with changes in pairs of models that are not related by hierarchical refinement and show behavioural inconsistencies. We evaluate the applicability of our approach with two real-world process model collections. To this end, we either deduce change operations from different model revisions or rely on synthetic change operations.
12
Imamura, Hisaji. "Network specific change in white matter integrity in mesial temporal lobe epilepsy." Kyoto University, 2017. http://hdl.handle.net/2433/226747.
Full text
13
Carcillo, Magalie. "Etude des phénomènes liés à la propagation de flamme sur câble : instrumentation, formulation et modélisation." Thesis, Montpellier, 2018. http://www.theses.fr/2018MONTS132.
Full textAbstract:
Associés à un risque incendie important, les câbles électriques font l’objet d’une réglementation très stricte concernant leur réaction au feu. Des normes ont été mises en place afin d’inciter les câbliers à produire des câbles résistants au feu et dont les fumées sont peu toxiques. Les câbles électriques sont alors classés selon les Euroclasses en fonction de leurs performances lors de deux tests feu normés IEC 60332-1 (test sur câble unique) et EN 50399 (test grande échelle sur un faisceau de câbles). L’objectif de la thèse était d’analyser les principaux paramètres caractéristiques des câbles gouvernant leur classement au test grande échelle et de développer des méthodes permettant de prédire ce classement sans avoir à réaliser le test. Des corrélations ont ainsi été mises en évidence entre le test EN 50399 et les caractéristiques des câbles mais aussi entre le test EN 50399 et des tests petite échelle (test IEC 60332-1 et cône calorimètre). Au-delà des corrélations effectuées entre les tests feu, l’influence de paramètres matériau tels que l’épaisseur de gaine, la quantité de combustible interne ou la structure interne des câbles, a été étudiée pour la réaction au feu des câbles lors de ces trois essais. Comme attendu, la gaine extérieure joue un rôle majeur de protection des combustibles internes lors des premiers instants de la combustion. Cependant, l’isolant interne non ignifugé finit par se dégrader, alimenter la flamme et intensifier le dégagement de chaleur. Un modèle analytique a été optimisé lors de la thèse afin de prédire la courbe du taux de chaleur dégagée par des câbles lors d’essais au cône calorimètre à l’aide des paramètres structure câbles, configuration d’essai et irradiance. De plus, une simulation numérique d’essais au cône calorimètre a été proposée à l’aide d’une modélisation par éléments finis. Une géométrie complexe a dû être mise en place afin de prédire convenablement la courbe HRR du cône. Une méthode analytique a également été développée afin de prédire le classement feu des câbles électriques à partir des essais au cône calorimètreAssociated with a significant fire risk, electrical cables are subject to strict regulations in regard to their fire reaction. Standards were established to encourage cable manufacturers to produce fire-resistant cables with low toxic fumes. The electrical cables have to be classified according to the Euroclasses according to their performance in two standard fire tests: IEC 60332-1 (single cable test) and EN 50399 (large scale test on a cable ladder). The aims of the thesis were to analyze the main characteristic parameters of the cables governing their classification in the large scale test and to develop methods to predict this classification without having to carry out the test. Correlations were highlighted between the EN 50399 test and the characteristics of the cables but also between the EN 50399 test and small scale tests (IEC 60332-1 test and calorimeter cone). More than the correlations made between the fire tests, the influences of material parameters such as sheath thickness, the amount of isolation or the structure of the cables, were studied for the fire reaction of the cables during these three tests. As expected, the sheath plays a major role in protecting the internal fuels during the first moments of combustion. However, the non-flame retarded insulation eventually degrades, fueling the flame and intensifying the heat release rate. An analytical model was optimized during the thesis to predict the curve of the heat release rate for cables burning under the calorimeter cône, using the cable structure, test configuration and irradiance parameters. In addition, a numerical simulation of cone calorimeter tests has been proposed using finite element modeling. Complex geometry had to be implemented in order to properly predict the HRR curve of the cone. An analytical method wasn developed to predict the fire classification of electric cables from cone calorimeter results
14
Seifert, Mirko [Verfasser], Uwe [Akademischer Betreuer] Aßmann, and Jean [Akademischer Betreuer] Bézivin. "Designing Round-Trip Systems by Change Propagation and Model Partitioning / Mirko Seifert. Gutachter: Uwe Aßmann ; Jean Bézivin. Betreuer: Uwe Aßmann." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://d-nb.info/1067190163/34.
Full text
15
Masmoudi, Mahmoud. "Contribution au développement d’une méthode analytique pour l’identification des dépendances et la propagation des changements d’ingénierie en re-conception de produits." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLC021.
Full textAbstract:
La gestion des changements d’ingénierie, appelée aussi ingénierie du changement, est un domaine de recherche qui s’intéresse à l’étude des changements et des modifications apportés par les concepteurs industriels sur un produit durant l’une des phases de son cycle de vie. Ces changements peuvent exister dans le cadre de renouvellement d’un produit dans un but d’amélioration ou de reconception. Dans la littérature, plusieurs méthodes et outils ont été mis en place pour évaluer l’impact d’un changement en utilisant les dépendances existantes entre les éléments d’un produit, prédire de façon efficace la propagation du changement et évaluer ensuite ses conséquences possibles. Mais aucun d’entre eux n’a tenté de caractériser la relation de dépendance sous la forme d’une fonction polynomiale, en plus des caractérisations classiques par valeurs qualitatives et quantitatives. Nous proposons donc, une nouvelle méthode pour générer les variations possibles d’un changement, afin de modéliser ces variations par paire sous formule analytique, d’étendre les variations par paire aux variations de plusieurs variables et de vérifier formellement la cohérence des résultats obtenus. Visuellement, un graphe de dépendance est construit oú les noeuds représentent les éléments de produit et les arcs portent les fonctions qui les relient. Nos résultats montrent que cette caractérisation fonctionnelle de la dépendance est instructive et permet une propagation de changement et une évaluation efficace. Un modèle géométrique 2D d’un vélo est utilisé pour illustrer l’approche proposéeEngineering Change Management, also known as Change Engineering, is the research domain that focuses on the study of changes and modifications brought by industrial designers on a product during one of the phases of its life cycle. These changes can exist in the case of product renewal for improvement or re-design. In the literature, several methods and tools have proposed to assess the change impact using the existing dependencies between the product components, predict effectively the change propagation and then evaluate its possible consequences. However, none of them attempted to characterize the dependency relationship in the form of a polynomial function in addition to the qualitative and quantitative values. Therefore, we propose, a new method to generate change variations, in order to model these variations in pairs with an analytical formula, expand the variations in pairs to changes in several variables and formally check the consistency of the results obtained. Visually, a dependency graph is constructed where nodes represent the components of product and edges are the functions that connect them. Our results show that this functional characterization of dependency allows an effective assessment of change propagation. A bike with 2-D geometric model is used to illustrate the proposed approach
16
Frommhold, Marvin, Sebastian Tramp, Natanael Arndt, and Niklas Petersen. "Publish and subscribe for RDF in enterprise value networks." Universität Leipzig, 2016. https://ul.qucosa.de/id/qucosa%3A15776.
Full textAbstract:
Sharing information securely between business partners and managing large supply chains effciently will be a crucial competitive advantage for enterprises in the near future. In this paper, we present a concept that allows for building value networks between business partners in a distributed manner. Companies are able to publish Linked Data which participants of the network can clone and subscribe to. Subscribers get noticed as soon as new information becomes available. This provides a technical infrastructure for business communication acts such as supply chain communication or master data management. In addition to the conceptual analysis, we provide an implementation enabling companies to create such dynamic semantic value networks.
17
Dam, Khanh Hoa, and s3007289@student rmit edu au. "Supporting Software Evolution in Agent Systems." RMIT University. Computer Science and Information Technology, 2009. http://adt.lib.rmit.edu.au/adt/public/adt-VIT20090319.143847.
Full textAbstract:
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed to maintain consistency between software artefacts? Although many approaches have been proposed, automated change propagation is still a significant technical challenge in software maintenance and evolution. Our objective is to provide tool support for assisting designers in propagating changes during the process of maintaining and evolving models. We propose a novel, agent-oriented, approach that works by repairing violations of desired consistency rules in a design model. Such consistency constraints are specified using the Object Constraint Language (OCL) and the Unified Modelling Language (UML) metamodel, which form the key inputs to our change propagation framework. The underlying change propagation mechanism of our framework is based on the well-known Belief-Desire-Intention (BDI) agent architecture. Our approach represents change options for repairing inconsistencies using event-triggered plans, as is done in BDI agent platforms. This naturally reflects the cascading nature of change propagation, where each change (primary or secondary) can require further changes to be made. We also propose a new method for generating repair plans from OCL consistency constraints. Furthermore, a given inconsistency will typically have a number of repair plans that could be used to restore consistency, and we propose a mechanism for semi-automatically selecting between alternative repair plans. This mechanism, which is based on a notion of cost, takes into account cascades (where fixing the violation of a constraint breaks another constraint), and synergies between constraints (where fixing the violation of a constraint also fixes another violated constraint). Finally, we report on an evaluation of the approach, covering both effectiveness and efficiency.
18
Ogata, Sho. "Development of Coupled Thermal-Hydraulic-Mechanical-Chemical Models for Predicting Rock Permeability Change." Doctoral thesis, Kyoto University, 2019. http://hdl.handle.net/2433/244532.
Full textAbstract:
京都大学0048
新制・課程博士
博士(工学)
甲第22051号
工博第4632号
新制||工||1722(附属図書館)
京都大学大学院工学研究科都市社会工学専攻
(主査)教授 岸田 潔, 教授 木村 亮, 教授 小池 克明
学位規則第4条第1項該当
Doctor of Philosophy (Engineering)
Kyoto University
DFAM
19
Zhang, Xin. "Contribution à l’ingénierie du changement dans les projets de développement de produits : modèle de référence et simulation par système multi-agents." Thesis, Bordeaux 1, 2013. http://www.theses.fr/2013BOR14892/document.
Full textAbstract:
L’objectif de cette thèse est de fournir des modèles de référence, les méthodes de soutien et des outils qui simulent les change propagations dans un projet de développement de produit (PD) pour aider les prises de décision. Nous établissons d’abord un cadre d’analyse des changes de modéliser le contexte du change apparition et la propagation en prenant en compte les multiples domaines du projet PD simultané- ment. Dans le cadre, nous proposons les modèles conceptuels de change apparition et la propagation qui fournissent une méthode pour identifier les change et propagation et impliquent certaines caractéristiques du change propagations. S’appuyant sur cela, nous vous proposons les procédures de mise en place des réseaux de propagation. Au sein du réseau, nous proposons la méthodologie de simulation de l’évolution propaga- tions, puis de présenter le processus de mise en uvre des méthodologies et des modèles comme un prototype en utilisant la technologie à base multi-agentsThe overall goal of this Ph.D. research is to provide reference models, support me- thods and tools that simulate change propagations in a Product Development (PD) project to assist decision-makings. We firstly establish a change analysis framework of modeling the context of change occurrence and propagation by taking into account the multiple knowledge areas of PD project simultaneously. Under the framework, we propose the conceptual models of change occurrence and change propagation that pro- vide a qualitative method to identify change and change propagation and imply some characteristics of change propagations. Relying on that, we suggest the procedures of building up the change propagation networks. Within the network, we propose the methodology of simulating change propagations and then present the process of im- plementing the methodologies and the models as a software prototype by using multi- agent based technology
20
Yin, Ruiqing. "Steps towards end-to-end neural speaker diarization." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS261/document.
Full textAbstract:
La tâche de segmentation et de regroupement en locuteurs (speaker diarization) consiste à identifier "qui parle quand" dans un flux audio sans connaissance a priori du nombre de locuteurs ou de leur temps de parole respectifs. Les systèmes de segmentation et de regroupement en locuteurs sont généralement construits en combinant quatre étapes principales. Premièrement, les régions ne contenant pas de parole telles que les silences, la musique et le bruit sont supprimées par la détection d'activité vocale (VAD). Ensuite, les régions de parole sont divisées en segments homogènes en locuteur par détection des changements de locuteurs, puis regroupées en fonction de l'identité du locuteur. Enfin, les frontières des tours de parole et leurs étiquettes sont affinées avec une étape de re-segmentation. Dans cette thèse, nous proposons d'aborder ces quatre étapes avec des approches fondées sur les réseaux de neurones. Nous formulons d’abord le problème de la segmentation initiale (détection de l’activité vocale et des changements entre locuteurs) et de la re-segmentation finale sous la forme d’un ensemble de problèmes d’étiquetage de séquence, puis nous les résolvons avec des réseaux neuronaux récurrents de type Bi-LSTM (Bidirectional Long Short-Term Memory). Au stade du regroupement des régions de parole, nous proposons d’utiliser l'algorithme de propagation d'affinité à partir de plongements neuronaux de ces tours de parole dans l'espace vectoriel des locuteurs. Des expériences sur un jeu de données télévisées montrent que le regroupement par propagation d'affinité est plus approprié que le regroupement hiérarchique agglomératif lorsqu'il est appliqué à des plongements neuronaux de locuteurs. La segmentation basée sur les réseaux récurrents et la propagation d'affinité sont également combinées et optimisées conjointement pour former une chaîne de regroupement en locuteurs. Comparé à un système dont les modules sont optimisés indépendamment, la nouvelle chaîne de traitements apporte une amélioration significative. De plus, nous proposons d’améliorer l'estimation de la matrice de similarité par des réseaux neuronaux récurrents, puis d’appliquer un partitionnement spectral à partir de cette matrice de similarité améliorée. Le système proposé atteint des performances à l'état de l'art sur la base de données de conversation téléphonique CALLHOME. Enfin, nous formulons le regroupement des tours de parole en mode séquentiel sous la forme d'une tâche supervisée d’étiquetage de séquence et abordons ce problème avec des réseaux récurrents empilés. Pour mieux comprendre le comportement du système, une analyse basée sur une architecture de codeur-décodeur est proposée. Sur des exemples synthétiques, nos systèmes apportent une amélioration significative par rapport aux méthodes de regroupement traditionnellesSpeaker diarization is the task of determining "who speaks when" in an audio stream that usually contains an unknown amount of speech from an unknown number of speakers. Speaker diarization systems are usually built as the combination of four main stages. First, non-speech regions such as silence, music, and noise are removed by Voice Activity Detection (VAD). Next, speech regions are split into speaker-homogeneous segments by Speaker Change Detection (SCD), later grouped according to the identity of the speaker thanks to unsupervised clustering approaches. Finally, speech turn boundaries and labels are (optionally) refined with a re-segmentation stage. In this thesis, we propose to address these four stages with neural network approaches. We first formulate both the initial segmentation (voice activity detection and speaker change detection) and the final re-segmentation as a set of sequence labeling problems and then address them with Bidirectional Long Short-Term Memory (Bi-LSTM) networks. In the speech turn clustering stage, we propose to use affinity propagation on top of neural speaker embeddings. Experiments on a broadcast TV dataset show that affinity propagation clustering is more suitable than hierarchical agglomerative clustering when applied to neural speaker embeddings. The LSTM-based segmentation and affinity propagation clustering are also combined and jointly optimized to form a speaker diarization pipeline. Compared to the pipeline with independently optimized modules, the new pipeline brings a significant improvement. In addition, we propose to improve the similarity matrix by bidirectional LSTM and then apply spectral clustering on top of the improved similarity matrix. The proposed system achieves state-of-the-art performance in the CALLHOME telephone conversation dataset. Finally, we formulate sequential clustering as a supervised sequence labeling task and address it with stacked RNNs. To better understand its behavior, the analysis is based on a proposed encoder-decoder architecture. Our proposed systems bring a significant improvement compared with traditional clustering methods on toy examples
21
Hassan, Ahmed. "Mining Software Repositories to Assist Developers and Support Managers." Thesis, University of Waterloo, 2004. http://hdl.handle.net/10012/1017.
Full textAbstract:
This thesis explores mining the evolutionary history of a software system to support software developers and managers in their endeavors to build and maintain complex software systems.
We introduce the idea of evolutionary extractors which are specialized extractors that can recover the history of software projects from software repositories, such as source control systems. The challenges faced in building C-REX, an evolutionary extractor for the C programming language, are discussed. We examine the use of source control systems in industry and the quality of the recovered C-REX data through a survey of several software practitioners.
Using the data recovered by C-REX, we develop several approaches and techniques to assist developers and managers in their activities.
We propose Source Sticky Notes to assist developers in understanding legacy software systems by attaching historical information to the dependency graph. We present the Development Replay approach to estimate the benefits of adopting new software maintenance tools by reenacting the development history.
We propose the Top Ten List which assists managers in allocating testing resources to the subsystems that are most susceptible to have faults. To assist managers in improving the quality of their projects, we present a complexity metric which quantifies the complexity of the changes to the code instead of quantifying the complexity of the source code itself.
All presented approaches are validated empirically using data from several large open source systems.
The presented work highlights the benefits of transforming software repositories from static record keeping repositories to active repositories used by researchers to gain empirically based understanding of software development, and by software practitioners to predict, plan and understand various aspects of their project.
22
Raddadi, Merfat. "Charge propagation in a classical background." Thesis, University of Plymouth, 2013. http://hdl.handle.net/10026.1/3134.
Full textAbstract:
This thesis advances the understanding of charge propagation in a classical background through the study of the canonical quantisation of a charged particle in an intense laser background and the associated twopoint function. We will clarify how the causal propagator can be extracted. In addition, in this thesis we will provide an interpretation of this propagator in terms of degenerate quantum processes. We show how to use the Feynman diagram technique to build up a perturbative description of the interaction with the laser background. This also includes how multi-pole structures emerge as a perturbative feature. For all orders in perturbation theory we calculate the associated multiple wave-function renormalisations. We use Bessel functions to describe the distortion of the plane wave solutions due to the interaction with the laser. This is done for both a circularly and a linearly polarised laser.
23
Jaiser, Ralf. "Dreidimensionale Diagnostik der großskaligen Zirkulation der Tropo- und Stratosphäre." Phd thesis, Universität Potsdam, 2013. http://opus.kobv.de/ubp/volltexte/2013/6906/.
Full textAbstract:
In dieser Arbeit werden Konzepte für die Diagnostik der großskaligen Zirkulation in der Troposphäre und Stratosphäre entwickelt. Der Fokus liegt dabei auf dem Energiehaushalt, auf der Wellenausbreitung und auf der Interaktion der atmosphärischen Wellen mit dem Grundstrom. Die Konzepte werden hergeleitet, wobei eine neue Form des lokalen Eliassen-Palm-Flusses unter Einbeziehung der Feuchte eingeführt wird. Angewendet wird die Diagnostik dann auf den Reanalysedatensatz ERA-Interim und einen durch beobachtete Meerestemperatur- und Eisdaten angetriebenen Lauf des ECHAM6 Atmosphärenmodells.
Die diagnostischen Werkzeuge zur Analyse der großskaligen Zirkulation sind einerseits nützlich, um das Verständnis der Dynamik des Klimasystems weiter zu fördern. Andererseits kann das gewonnene Verständnis des Zusammenhangs von Energiequellen und -senken sowie deren Verknüpfung mit synoptischen und planetaren Wellensystemen und dem resultierenden Antrieb des Grundstroms auch verwendet werden, um Klimamodelle auf die korrekte Wiedergabe dieser Beobachtungen zu prüfen. Hier zeigt sich, dass die Abweichungen im untersuchten ECHAM6-Modelllauf bezüglich des Energiehaushalts klein sind, jedoch teils starke Abweichungen bezüglich der Ausbreitung von atmosphärischen Wellen existieren. Planetare Wellen zeigen allgemein zu große Intensitäten in den Eliassen-Palm-Flüssen, während innerhalb der Strahlströme der oberen Troposphäre der Antrieb des Grundstroms durch synoptische Wellen verfälscht ist, da deren vertikale Ausbreitung gegenüber den Beobachtungen verschoben ist.
Untersucht wird auch der Einfluss von arktischen Meereisänderungen ausgehend vom Bedeckungsminimum im August/September bis in den Winter. Es werden starke positive Temperaturanomalien festgestellt, welche an der Oberfläche am größten sind. Diese führen vor allem im Herbst zur Intensivierung von synoptischen Systemen in den arktischen Breiten, da die Stabilität der troposphärischen Schichtung verringert ist. Im darauffolgenden Winter stellen sich barotrope bis in die Stratosphäre reichende Änderungen der großskaligen Zirkulation ein, welche auf Meereisänderungen zurückzuführen sind. Der meridionale Druckgradient sinkt und führt so zu einem Muster ähnlich einer negativen Phase der arktischen Oszillation in der Troposphäre und einem geschwächten Polarwirbel in der Stratosphäre.
Diese Zusammenhänge werden ebenfalls in einem ECHAM6-Modelllauf untersucht, wobei vor allem der Erwärmungstrend in der Arktis zu gering ist. Die großskaligen Veränderungen im Winter können zum Teil auch im Modelllauf festgestellt werden, jedoch zeigen sich insbesondere in der Stratosphäre Abweichungen für die Periode mit der geringsten Eisausdehnung. Die vertikale Ausbreitung planetarer Wellen von der Troposphäre in die Stratosphäre ist in ECHAM6 mit sehr großen Abweichungen wiedergegeben. Somit stellt die Wellenausbreitung insgesamt den größten in dieser Arbeit festgestellten Mangel in ECHAM6 dar.In this study concepts for the diagnostics of the large-scale circulation in the troposphere and the stratosphere are developed. Therefore the energy budget, wave propagation and the interaction between waves and the mean flow are analyzed. A corresponding set of diagnostic methods is derived. Furthermore a new type of localized Eliassen Palm Fluxes including moisture fluxes is introduced. These diagnostic methods are then applied to the ERA-Interim reanalysis and to a run of the ECHAM6 atmospheric model forced with observed sea surface temperatures and sea ice data. The diagnostics of the large scale circulation are useful to enhance the understanding of the climate system dynamics. Furthermore the knowledge of the relation between energy sources and sinks, atmospheric waves on planetary and synoptic scales and their forcing of the mean flow is applicable to validate global climate models. The results presented here show small deviations in terms of the energy balance in ECHAM6 but large discrepancies in terms of wave propagation. On the one hand Eliassen Palm fluxes connected to planetary waves are generally too strong. On the other hand the mean flow forcing within upper tropospheric jet streams by synoptic scale waves does not agree with observations, since the vertical propagation is shifted. A second part of this study analyses the influence of Arctic sea ice anomalies at the sea ice minimum in August/September on atmospheric conditions. Strong positive temperature anomalies with their maximum at the surface are observed. In autumn they lead to intensified synoptic scale systems, because of a reduced atmospheric vertical stability. A large-scale barotropic circulation pattern up to the stratosphere appears in winter related to previous late summer sea ice changes. A reduced meridional pressure gradient leads to a pattern related to a negative phase of the Arctic Oscillation in the troposp here as well as related to a weaker stratospheric polar vortex. The same analysis performed with an ECHAM6 model run shows a too small warming of Arctic latitudes. While tropospheric changes in the Arctic are covered by the model to some degree, the stratosphere shows large discrepancies in reproducing the observed changes in the low ice period. The vertical propagation of planetary waves from the troposphere into the stratosphere is reproduced with large differences. Accordingly this study shows the largest errors in ECHAM6 related to atmospheric wave propagation.
24
Da, Silva João Bosco. "Charge en mouvement sur une fondation périodique." Ecully, Ecole centrale de Lyon, 1993. http://www.theses.fr/1993ECDL0042.
Full textAbstract:
Cette étude propose un formalisme original qui permet d'analyser le comportement d'une poutre s'appuyant sur une fondation périodique infinie et soumise a une charge harmonique se déplaçant a vitesse constante. Ce type de problème fait ressortir des phénomènes de propagation complexe associée a des ondes progressives et stationnaires. Ainsi la majorité des études réalisées dans ce domaine se sont limitées aux structures de dimensions finies qui ne permettent pas de décrire l'émission des ondes. La méthode proposée dans la première partie de cette étude est analytique. Elle rend compte du phénomène réel de propagation. L’interprétation de cette méthode en termes de groupes d'ondes associes aux structures périodiques a abouti a la définition des vitesses critiques dites primaires. Des exemples particuliers ont été utilises pour tester la démarche utilisée. Il a été possible par ailleurs de définir les limites du modèle de fondation continue de winkler dans la représentation des réactions d'appuis. Dans la deuxième partie, la stabilité dynamique d'un système en mouvement sur un milieu infini est discutée en utilisant la méthode précédente. En fait une démarche générale d'analyse de ce système couple est présentée. Elle montre que les véhicules possédant un seul point de contact avec la fondation deviennent instables à partir d'une certaine vitesse critique fortement dépendante des masses non suspendues. L’évolution des frontières du domaine d'instabilité en flottement en fonction des caractéristiques de la fondation est présentée dans le cas d'un véhicule type. Dans la troisième partie, une procédure de calcul de la réponse dynamique d'un rail continu supportant un véhicule possédant plusieurs points de contact est proposée.
25
Ra, Youngchul 1968. "Laminar flame propagation in a stratified charge." Thesis, Massachusetts Institute of Technology, 1999. http://hdl.handle.net/1721.1/9341.
Full textAbstract:
Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1999.Includes bibliographical references (p. 48-50).
The propagation of laminar flame from a rich or stoichiometric mixture to a lean mixture in a stratified methane-air charge was investigated experimentally and numerically. Emphasis was on the understanding of the flame behavior in the transition region; in particular, on the mechanism of burning velocity enhancement in this region. In the experimental setup, mixtures of two different equivalence ratios were separated by a soap bubble in a spherical constant volume combustion vessel. The richer mixture inside the bubble was ignited by a focused laser beam. The flame development was observed by Schlieren technique and flame speeds were measured by heat release analysis of the pressure data. An one-dimensional, time-dependant numerical simulation of the flame propagation in a charge with step-stratification was used to interpret the experimental results. Both the experimental and numerical studies showed that the instantaneous flame speed depended on the previous flame history. Thus a 'strong'(with mixture equivalence ratio close to stoichiometric) flame can sustain propagation into finite regions of substantially lean equivalence ratio. Both thermal and chemical effects were crucial for explaining the mechanism of the flame speed enhancement in the transition period. Because of the presence of this 'back-support' effect, the usual concept of specifying the burning velocity as a function of the end gas state is inadequate for a stratified charge. A simple correlation for instantaneous flame velocity based on the local burned gas temperature is developed.
by Youngchul Ra.
Ph.D.
26
Wiese, Igor Scaliante. "Predição de mudanças conjuntas de artefatos de software com base em informações contextuais." Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02122016-140016/.
Full textAbstract:
O uso de abordagens de predição de mudanças conjuntas auxilia os desenvolvedores a encontrar artefatos que mudam conjuntamente em uma tarefa. No passado, pesquisadores utilizaram análise estrutural para construir modelos de predição. Mais recentemente, têm sido propostas abordagens que utilizam informações históricas e análise textual do código fonte. Apesar dos avanços obtidos, os desenvolvedores de software ainda não usam essas abordagens amplamente, presumidamente por conta do número de falsos positivos. A hipótese desta tese é que informações contextuais obtidas das tarefas, da comunicação dos desenvolvedores e das mudanças dos artefatos descrevem as circunstâncias e condições em que as mudanças conjuntas ocorrem e podem ser utilizadas para realizar a predição de mudanças conjuntas. O objetivo desta tese consiste em avaliar se o uso de informações contextuais melhora a predição de mudanças conjuntas entre dois arquivos em relação às regras de associação, que é uma estratégia frequentemente usada na literatura. Foram construídos modelos de predição específicos para cada par de arquivos, utilizando as informações contextuais em conjunto com o algoritmo de aprendizagem de máquina random forest. Os modelos de predição foram avaliados em 129 versões de 10 projetos de código aberto da Apache Software Foundation. Os resultados obtidos foram comparados com um modelo baseado em regras de associação. Além de avaliar o desempenho dos modelos de predição também foram investigadas a influência do modo de agrupamento dos dados para construção dos conjuntos de treinamento e teste e a relevância das informações contextuais. Os resultados indicam que os modelos baseados em informações contextuais predizem 88% das mudanças corretamente, contra 19% do modelo de regras de associação, indicando uma precisão 3 vezes maior. Os modelos criados com informações contextuais coletadas em cada versão do software apresentaram maior precisão que modelos construídos a partir de um conjunto arbitrário de tarefas. As informações contextuais mais relevantes foram: o número de linhas adicionadas ou modificadas, número de linhas removidas, code churn, que representa a soma das linhas adicionadas, modificadas e removidas durante um commit, número de palavras na descrição da tarefa, número de comentários e papel dos desenvolvedores na discussão, medido pelo valor do índice de intermediação (betweenness) da rede social de comunicação. Os desenvolvedores dos projetos foram consultados para avaliar a importância dos modelos de predição baseados em informações contextuais. Segundo esses desenvolvedores, os resultados obtidos ajudam desenvolvedores novatos no projeto, pois não têm conhecimento da arquitetura e normalmente não estão familiarizados com as mudanças dos artefatos durante a evolução do projeto. Modelos de predição baseados em informações contextuais a partir de mudanças de software são relativamente precisos e, consequentemente, podem ser usados para apoiar os desenvolvedores durante a realização de atividades de manutenção e evolução de softwareCo-change prediction aims to make developers aware of which artifacts may change together with the artifact they are working on. In the past, researchers relied on structural analysis to build prediction models. More recently, hybrid approaches relying on historical information and textual analysis have been proposed. Despite the advances in the area, software developers still do not use these approaches widely, presumably because of the number of false recommendations. The hypothesis of this thesis is that contextual information of software changes collected from issues, developers\' communication, and commit metadata describe the circumstances and conditions under which a co-change occurs and this is useful to predict co-changes. The aim of this thesis is to use contextual information to build co-change prediction models improving the overall accuracy, especially decreasing the amount of false recommendations. We built predictive models specific for each pair of files using contextual information and the Random Forest machine learning algorithm. The approach was evaluated in 129 versions of 10 open source projects from the Apache Software Foundation. We compared our approach to a baseline model based on association rules, which is often used in the literature. We evaluated the performance of the prediction models, investigating the influence of data aggregation to build training and test sets, as well as the identification of the most relevant contextual information. The results indicate that models based on contextual information can correctly predict 88% of co-change instances, against 19% achieved by the association rules model. This indicates that models based on contextual information can be 3 times more accurate. Models created with contextual information collected in each software version were more accurate than models built from an arbitrary amount of contextual information collected from more than one version. The most important pieces of contextual information to build the prediction models were: number of lines of code added or modified, number of lines of code removed, code churn, number of words in the discussion and description of a task, number of comments, and role of developers in the discussion (measured by the closeness value obtained from the communication social network). We asked project developers about the relevance of the results obtained by the prediction models based on contextual information. According to them, the results can help new developers to the project, since these developers have no knowledge about the architecture and are usually not familiar with the artifacts history. Thus, our results indicate that prediction models based on the contextual information are useful to support developers during the maintenance and evolution activities
27
Zhang, Xin. "Contribution à l'ingénierie du changement dans les projets de développement de produits : modèle de référence et simulation par système multi-agents." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00920415.
Full textAbstract:
L'objectif de cette thèse est de fournir des modèles de référence, les méthodes de soutien et des outils qui simulent les change propagations dans un projet de développement de produit (PD) pour aider les prises de décision. Nous établissons d'abord un cadre d'analyse des changes de modéliser le contexte du change apparition et la propagation en prenant en compte les multiples domaines du projet PD simultané- ment. Dans le cadre, nous proposons les modèles conceptuels de change apparition et la propagation qui fournissent une méthode pour identifier les change et propagation et impliquent certaines caractéristiques du change propagations. S'appuyant sur cela, nous vous proposons les procédures de mise en place des réseaux de propagation. Au sein du réseau, nous proposons la méthodologie de simulation de l'évolution propaga- tions, puis de présenter le processus de mise en uvre des méthodologies et des modèles comme un prototype en utilisant la technologie à base multi-agents.
28
Damak, Youssef. "Operational Context-Based Design and Architecting of Autonomous Vehicles A semi-automated requirements reuse and recycling process for Autonomous Transportation Systems R&D." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASC029.
Full textAbstract:
Les Véhicules Autonomes (VA) sont des systèmes émergents et considérés comme une pierre angulaire de la mobilité du futur. Leur conception est à l'origine de nombreux efforts de recherche universitaires et industrielles. L'industrialisation des VAs est un moyen pour les acteurs de la mobilité de renforcer le positionnement futur. Les VAs fonctionnent en interagissant avec leur contexte opérationnel (CO) et doivent être adaptés à celui-ci. L'adaptation des architectures des VAs à leur CO dès la conception devient un défi important dans la conception de VA robustes.L'état de l’art actuel ne propose pas de méthodes de conception d’architecture de VAs basées sur le CO. Ce travail de recherche vise à soutenir les activités d'architecture des Véhicules Autonomes pour aboutir à des architectures adaptées à leurs contextes opérationnels. Une ontologie du CO pour Véhicules Autonomes est proposée pour soutenir l'identification et la définition de scénarios dans la phase initiale de conception, suivant une approche de conception basée sur les scénarios. En utilisant cette ontologie, une méthode de conception de l'architecture logique des VAs basée sur l'OC est proposée. La prise en compte du CO dans les activités de conception d'architecture des VAs est renforcée par une deuxième méthode visant à évaluer l'impact du changement du CO sur l'architecture durant la phase de conception. Les contributions proposées sont validées par des études de cas industriels sur la conception d'architectures AV tenant en compte du CO et de son évolutionAutonomous Vehicles (AV) are emerging systems and considered cornerstones of the future of mobility. Their design is a source of many academic and industrial research efforts. The industrialization of AV is the mean for mobility stakeholders to strengthen their future position. AVs function by interacting with their operational environment and must be fit for their Operational Context (OC). Adapting AVs architectures to their Operational Context during design becomes an important challenge in designing robust AV.The current state of the art does not propose AV architecting methods based on the OC. This research work aims to support the architecting activities of Autonomous Vehicles to result in architectures fit for their Operational Context. An OC ontology for AV is proposed to support scenario identification and definition in the early design phase, for a scenario-based design approach. Using this ontology, a method to design AV logical architecture based on the OC is proposed. The consideration of the OC in the architecting activities of AV is strengthened with a second method aiming at assessing the impact of OC change on the AV’s architecture during the design phase. The proposed contributions are validated with industrial case studies on the design of AV architectures given the OC and its evolution
29
Sørensen, Caroline S. M. Massachusetts Institute of Technology. "Measurement of flame propagation through step changes in mixture composition." Thesis, Massachusetts Institute of Technology, 2016. http://hdl.handle.net/1721.1/104265.
Full textAbstract:
Thesis: S.M., Massachusetts Institute of Technology, Department of Mechanical Engineering, 2016.Cataloged from PDF version of thesis.
Includes bibliographical references (pages 51-53).
Flame speed is a central metric in the field of combustion. While particular mixtures have characteristic flame speeds, it has also been shown that in compositionally stratified mixtures, flames exhibit a path dependency, or memory effect. The goal of the experimental work presented in this thesis was to investigate the behavior of flame speed over step changes in equivalence ratios. This sharp stratification was achieved using a soap bubble blown at the center of a combustion bomb. A laser was used to ignite the mixture from the center. Flame speed was calculated from both a pressure trace analysis and from measuring the movement of the flame front through high speed Schlieren imaging. Both methods demonstrated good correlation with the literature for homogeneous charges. However, the analysis necessarily assumes a spherical flame, but the Schlieren video showed that the laser ignition system induced a significant protrusion in the flame front. This protrusion smooths the transition from the flame speed of the inner mixture to that of the outer. Therefore, it was demonstrated that this setup is not suitable for the measurement of flame speed transitional behavior over step-changes in equivalence ratio.
by Caroline Sorensen.
S.M.
30
Akour, Mohammed Abd Alwahab. "Towards Change Propagating Test Models In Autonomic and Adaptive Systems." Diss., North Dakota State University, 2012. https://hdl.handle.net/10365/26504.
Full textAbstract:
The major motivation for self-adaptive computing systems is the self-adjustment of the software according to a changing environment. Adaptive computing systems can add, remove, and replace their own components in response to changes in the system itself and in the operating environment of a software system. Although these systems may provide a certain degree of confidence against new environments, their structural and behavioral changes should be validated after adaptation occurs at runtime.
Testing dynamically adaptive systems is extremely challenging because both the structure and behavior of the system may change during its execution. After self adaptation occurs in autonomic software, new components may be integrated to the software system. When new components are incorporated, testing them becomes vital phase for ensuring that they will interact and behave as expected. When self adaptation is about removing existing components, a predefined test set may no longer be applicable due to changes in the program structure. Investigating techniques for dynamically updating regression tests after adaptation is therefore necessary to ensure such approaches can be applied in practice.
We propose a model-driven approach that is based on change propagation for synchronizing a runtime test model for a software system with the model of its component structure after dynamic adaptation. A workflow and meta-model to support the approach was provided, referred to as Test Information Propagation (TIP). To demonstrate TIP, a prototype was developed that simulates a reductive and additive change to an autonomic, service-oriented healthcare application.
To demonstrate the generalization of our TIP approach to be instantiated into the domain of up-to-date runtime testing for self-adaptive software systems, the TIP approach was applied to the self-adaptive JPacman 3.0 system.
To measure the accuracy of the TIP engine, we consider and compare the work of a developer who manually identifyied changes that should be performed to update the test model after self-adaptation occurs in self-adaptive systems in our study. The experiments show how TIP is highly accurate for reductive change propagation across self-adaptive systems. Promising results have been achieved in simulating the additive changes as well.
31
Hustedt, Bernhard. "Propagation des ondes : approches espace et ondelette." Phd thesis, Université de Nice Sophia-Antipolis, 2002. http://tel.archives-ouvertes.fr/tel-00653799.
Full textAbstract:
Dans le domaine de la sismologie, la modélisation numérique de la propagation des ondes est un outil essentiel pour, par exemple, la quantification du risque sismique ou l'imagerie du sous-sol par inversion de données sismiques. Ces applications géophysiques nécessitent le développement de méthodes numériques sophistiquées de modélisation des ondes dans des milieux de propagation 3D hétérogènes. Parmi les approches possibles,les méthodes directes fondées sur la représentation du milieu sur des grilles numériques permettent la prise en compte de toute la complexité du champ d'onde dans des milieux fortement hétérogènes. Dans ce contexte, la représentation optimale du milieu de propagation et du champ d'onde propagé sur des grilles numériques irrégulières est actuellement. un axe de recherche fortement développé car elle permet d'atteindre le meilleur compromis entre la précision et la rapidité d'exécution des simulations dans des grilles numériques de taille considérable. Dans cette thèse, je propose une nouvelle méthode de modélisation de la propagation des ondes acoustiques par différences finies dans le domaine des fréquences . Le problème numérique associé est la résolution d'un système matriciel. L'approche développée propose une discrétisation spatiale optimisée de l'équation d'onde rendant possible des modélisations en 3D. Premièrement, je compare des modélisations acoustiques en milieu hétérogène calculées avec des schémas aux différences finies en quinconce et. des schémas optimisés, discrétisés suivant deux systèmes d'axe tournés de 45 degrés (schémas tournés). Pour des modélisations 2D, la seconde approche montre des performances supérieures en terme de temps calcul et de stockage mémoire. J 'en conclus que la discrétisation suivant des grilles tournées doit être utilisée pour des simulations 2D. Dans le cas 3D, les schémas utilisant les deux types de discrétisation contiennent 19 coefficients dans le cas des grilles en quinconce et 27 coefficients dans le cas des schémas tournés. Je suggère que les performances, en termes de précision numérique et de stockage mémoire, des deux types de discrétisation doivent être examinées dans le futur. Deuxièmement, je propose une approche mixte multi-échelles combinant une méthode directe et itérative de résolution du système matriciel qui permet d'effectuer des modélisations réalistes dans des milieux 3D. Dans un premier temps, le champ d'onde exact est calculée via la factorisation LU de la matrice sur une grille de résolution grossière. Deuxièmement, ce champ d'onde approché est interpolé sur une grille numérique de résolution fine pour être injecté comme estimé initial dans l'algorithme de résolution itérative. J 'ai exploré deux approches multi-échelles fondées respectivement sur une" nested iteration ", appellée méthode "Direct-Iterative-Space Solver" (DISS), et une décomposition multigrilles en ondelettes, appellée méthode" Direct-lterative- Wavelet Solver" (DIWS) . Les performances respectives, en termes de temps-CPU et de stockage mémoire, de ces deux méthodes de modélisation des ondes en milieu 2D et 3D sont comparées. L'algorithme de la méthode DISS permet la construction rapide du système matriciel. La convergence de l'algorithme itératif dépend fortement de sa capacité à éliminer des artefacts numériques associés à des phénomènes déphasage. L'importance de ces artefacts dépend fortement de la précision de la solution initiale et de la discrétisation numérique du champ modélisé dans l'algorithme itératif. Un nombre important d'itérations ou l'utilisation de cycles en V et W sont nécessaires pour supprimer ces phénomènes. Dans la méthode DIWS, une représentation multirésolution du système matriciel est développée par projection sur une base d'ondelettes. Malgré le coût induit pour transformer le système dans le domaine spectral, la représentation multirésolution a fourni un outil numérique de préconditonnement permettant de stabiliser et d'accélérer significativement l'algorithme itératif. L'accélération de la convergence est attribuée à la représentation du système sur plusieurs grilles numériques de résolution différente dont les interactions sont prises en compte au cours des itérations. Par ailleurs, la formulation en ondelettes ouvre des perspectives d'optimisation sous forme d'adaptation spatial du maillage en fonction des propriétés locales du milieu et du champ propagé. Plusieurs exemples de simulation d'ondes dans des milieux 2D et 3D de complexité variable sont présentés pour illustrer les performances respectives des méthodes DISS et DIWS. La taille des applications 3D présentées a été limitée par l'utilisation de programmes séquentiels. Finalement, des stratégies de parallélisation en mémoire distribuéedes codes sont proposées.
32
Mohan, Srividya. "Reaction coordinates for RNA conformational changes." Diss., Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/33815.
Full textAbstract:
This work investigates pathways of conformational transitions in ubiquitous RNA structural motifs. In our lab, we have developed multi-scale structural datamining techniques for identification of three-dimensional structural patterns in high-resolution crystal structures of globular RNA. I have applied these techniques to identify variations in the conformations of RNA double-helices and tetraloops. The datamined structural information is used to propose reaction coordinates for conformational transitions involved in double-strand helix propagation and tetraloop folding in RNA. I have also presented an algorithm to identify stacked RNA bases. In this work, experimentally derived thermodynamic evaluation of the conformations has been used to as an additional parameter to add detail to RNA structural transitions.
RNA conformational transitions help control processes in small systems such as riboswitches and in large systems such as ribosomes. Adopting functional conformations by globular RNA during a folding process also involves structural transitions. RNA double-helices and tetraloops are common, ubiquitous structural motifs in globular RNA that independently fold in to a thermodynamically stable conformation. Folding models for these motifs are proposed in this work with probable intermediates ordered along the reaction coordinates.
We hypothesize that frequently observed structural states in crystals structures are analogous in conformation to stable thermodynamic â on-pathwayâ folded states. Conversely, we hypothesize that conformations that are rarely observed are improbable folding intermediates, i.e., these conformational states are â off-pathwayâ states. In general on-pathway states are assumed to be thermodynamically more stable than off-pathway states, with the exception of kinetic traps.
Structural datamining shows that double helices in RNA may propagate by the â stack-ratchetâ mechanism proposed here instead of the commonly accepted zipper mechanism. Mechanistic models for RNA tetraloop folding have been proposed and validated with experimentally derived thermodynamic data. The extent of stacking between bases in RNA is variable, indicating that stacking may not be a two-state phenomenon. A novel algorithm to define and identify stacked bases at atomic resolution has also been presented in this work.
33
Lemmens, Yves Claude Jean. "Modelling and analysis of engineering changes in complex systems." Thesis, Cranfield University, 2007. http://dspace.lib.cranfield.ac.uk/handle/1826/5071.
Full textAbstract:
Complex products are comprised of a large number of tightly integrated components, assemblies and systems resulting in extensive logical and physical interdependences between the constituent parts. Thus a change to one item of a system is highly likely to lead to a change to another item, which in turn can propagate further. The aim of this research therefore is to investigate dependency models that can be used to identify the impact and trace thepropagation of changes in different information domains, such as requirements, physical product architecture or organisation. Cont/d.
34
Degefa, Tesfaye Hailu. ""Ion channel (mimetic) sensors" mechanism of charge propagation through thiol-, protein- and dendrimer-modified electrodes /." Doctoral thesis, [S.l.] : [s.n.], 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=980218624.
Full text
35
Robinson, Simon. "Charge Coupled Device camera recording and computational analysis of flame propagation in a spark-ignition engine." Thesis, Loughborough University, 1996. https://dspace.lboro.ac.uk/2134/27203.
Full textAbstract:
Homogeneous charge combustion in a four stroke cycle spark-ignition engine was studied using through-piston-photography with a gated-intensified CCD camera. Analysis of computer stored multiple exposed flame front images was carried out for various engine conditions, in conjunction with the test data and cylinder pressure signals. Representative turbulence scales were inferred from the flame propagation and cylinder pressure data. Fractal analysis of flame edge contours resulted in a fractal dimension D3 in the range 2.12 to 2.23 corroborating data presented elsewhere. A correlation is presented here between the standard deviation of peak cylinder pressure and the fractal dimension D3.
36
Merhy, Elias. "Propagation de fissure sous chargement thermomécanique cyclique anisotherme." Phd thesis, Ecole Polytechnique X, 2011. http://pastel.archives-ouvertes.fr/pastel-00658854.
Full textAbstract:
Le but du travail est de trouver, dans le domaine de fatigue oligocyclique, une loi de propagation de fissure sous un chargement thermomécanique anisotherme. La loi trouvée permet ainsi d'avoir un dimensionnement optimal des culasses des moteurs HDI PSA dont le matériau constitutif est l'AS7G03 "dopé" cuivre. Le travail réalisé durant les trois années de thèse se résume par les cinq étapes suivantes : - Etude bibliographique : sur la microstructure des alliages d'aluminium, les critères de fatigue et les lois de propagation de fissure. - Calcul numérique de structure : Des calculs des champs thermomécanique ont été réalisés sur la structure afin de mettre en évidence les zones critiques des culasses et de déterminer la nature et les amplitudes des chargements dans la zone qui nous intéresse. - Caractérisation expérimentale de la propagation de la fissure : Plusieurs campagnes d'essais de fissuration isotherme et anisotherme à rapport de charge positif et négatif ont été menées sur des éprouvettes CT16 et des éprouvettes SEN. Egalement, des observations microstructurales (faciès de rupture, trajet de fissuration, plans de glissements, endommagements locaux dans les zones eutectiques, ...) ont été réalisées. - Loi de propagation de fissure : En se basant sur les résultats numériques et expérimentaux, une nouvelle loi de propagation de fissure a été développée et validée. - Implémentation du modèle formel dans le logiciel de calcul et réalisation des calculs et des essais en condition anisotherme afin de valider le modèle.
37
Eveillard, Sébastien. "Propagation d'une onde de choc en présence d'une barrière de protection." Phd thesis, Université d'Orléans, 2013. http://tel.archives-ouvertes.fr/tel-00952259.
Full textAbstract:
Les travaux de thèse présentés dans ce mémoire s'inscrivent dans le cadre du projet ANR BARPPRO. Ce programme de recherche vise à étudier l'influence d'une barrière de protection face à une explosion en régime de détonation. L'objectif est d'établir des méthodes de calcul rapides de classement des zones d'effets pour aider les industriels au dimensionnement des barrières de protection. L'une à partir d'abaques, valable pour des configurations en géométrie 2D, sur des plages spécifiées de paramètres importants retenus, avec une précision de +/- 5%. L'autre à partir d'une méthode d'estimation rapide basée notamment sur les chemins déployés, valable en géométrie 2D et en géométrie 3D, mais dont la précision estimée est de +/- 30%. Afin d'y parvenir, l'étude s'appuie sur trois volets : expérimental, simulation numérique et analytique. La partie expérimentale étudie plusieurs géométries de barrière de protection à petites échelles pour la détonation d'une charge gazeuse (propane-oxygène à la stoechiométrie). Les configurations expérimentées servent à la validation de l'outil de simulation numérique constitué du solveur HERA et de la plateforme de calcul TERA 100. Des abaques d'aide au dimensionnement ont pu être réalisés à partir de résultats fournis par l'outil de simulation (3125 configurations de barrière de protection, TNT). L'étude des différents phénomènes physiques présents a également permis de mettre en place une méthode d'estimation rapide basée sur des relations géométriques, analytiques et empiriques. L'analyse de ces résultats a permis d'établir quelques recommandations dans le dimensionnement d'une barrière de protection. Les abaques et le programme d'estimation rapide permettent à un ingénieur de dimensionner rapidement une barrière de protection en fonction de la configuration du terrain et de la position de la zone à protéger en aval du merlon.
38
Ouagne, Pierre. "Fracture property changes with oxidation and irradiation in nuclear graphites." Thesis, University of Bath, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.341675.
Full text
39
Sjakste, Jelena. "Etude par propagation de paquets d'ondes de la dynamique du transfert électronique entre un atome et une surface métallique." Paris 11, 2004. https://tel.archives-ouvertes.fr/tel-00008743.
Full textAbstract:
Ce travail de thèse est une étude théorique et numérique du processus de transfert de charge résonant (TCR), entre un atome (ion) et un métal pendant une collision. Le TCR correspond au passage d’un électron de l’atome vers le métal, sans changement d’énergie. On étudie le TCR dans des systèmes à plusieurs états localisés. Il peut s'agir des états localisés sur le projectile, ou sur le projectile et une impureté de la surface. Une attention particulière est portée aux transitions induites entre différents états du système par le mouvement du projectile. La Méthode de Propagation de Paquets d’Ondes, qui consiste en une solution directe sur une grille de l’équation de Schrödinger dépendant du temps, est utilisée dans ce travail. On étudie d'abord les perturbations locales du TCR entre un projectile (un ion H-) et une surface métallique (Al ou Cu(111)), induits par la présence d’un adsorbat alcalin (Li ou Cs). Un intérêt particulier était porté au caractère 3-corps du TCR (l’électron interagit avec le projectile, l’adsorbat et le substrat). Les résultats pour Cu(111), qui possède une bande interdite projetée dans la direction normale à la surface, sont très différents des résultats pour Al, qui est un métal à électrons libres. Ensuite, on étudie le TCR entre des atomes de Rydberg (Xe) et une surface métallique, dans un champ électrique extérieur. Les transitions entre les différents états du projectile induits par la collision avec la surface influencent lfortement le TCR. Nos résultats permettent de comprendre des résultats expérimentaux récents (groupe de F. B. Dunning, Houston, USA). Dans ce travail on a montré l'importance d'uneétude explicite de la dynamique de TCRThis PhD thesis is a theoretical and numerical study of the resonant charge transfer (RCT) process during a collision between an atom (ion) and a metal surface. The RCT corresponds to the transfer of an electron from the atom to the metal without an energy change. We study the RCT in systems with several localised states. These states can be localised on the projectile, or they can be localised on the projectile and an impurity of the surface. Special attention is paid to the projectile motion induced transitions between different states of the system. The Wave Packet Propagation Method, which consists in on the grid solution of the time-dependent Schrödinger equation, is used in this work. First, we study the local perturbation of the RCT between a projectile (H- ion) and a metal surface (Al or Cu(111)), induced by the presence on an alkali adsorbate (Li or Cs). Special attention is paid to the 3-body character of the RCT (the electron interacts with the projectile, the adsorbate and the substrate). The results for Cu(111), which has a projected band gap in the direction normal to the surface, are very different from the results for Al, which is a free-electron metal. Second, we study the RCT between Rydberg atoms (Xe) and a metal surface, in an external electric field. The collision-induced transitions between different states of the projectile strongly affect the RCT. Our results allow to understand the recent experimental results (group of F. B. Dunning, Houston, USA). This work shows the importance of an explicit study of the dynamics of RCT
40
SJAKSTE, Jelena. "Etude par propagation de paquets d'ondes de la dynamique du transfert électronique." Phd thesis, Université Paris Sud - Paris XI, 2004. http://tel.archives-ouvertes.fr/tel-00008743.
Full textAbstract:
Ce travail de thèse est une étude théorique et numérique du processus de transfert de charge résonnant(TCR), entre un atome (ion) et une surface métallique pendant une collision. Le TCR correspond au passage d'un électron de l'atome vers le métal, sans changer d'énergie. On étudie le TCR dans des systèmes à plusieurs états électroniques. Ces états peuvent être localisés sur un projectile, ou sur un projectile et sur une impureté de la surface. Une attention particulière est portée aux transitions induites entre différents états du système par le mouvement du projectile. La Méthode de Propagation de Paquets d'Ondes, qui consiste en une solution directe sur une grille de l'équation de Schrödinger dépendant du temps, est utilisée dans ce travail. Dans la première partie de la thèse, on étudie les perturbations locales du TCR entre le projectile (un ion H-) et la surface métallique (Al ou Cu(111)), induits par la présence d'un adsorbat alcalin (Li ou Cs). Un intérêt particulier est porté au caractère 3-corps du TCR (l'électron interagit avec le projectile, l'adsorbat et le substrat). Les résultats pour Cu(111), qui possède une bande interdite projetée dans la direction normale à la surface, sont très différents des résultats pour Al, qui est un prototype du métal à électrons libres. Dans la deuxième partie de la thèse, on étudie le TCR entre des atomes de Rydberg (Xe) et une surface métallique, dans un champ électrique extérieur. Les transitions induites par la collision avec la surface entre les différents états de projectile influencent le TCR. Ces résultats permettent d'expliquer les résultats expérimentaux récents du groupe de F.B. Dunning, Houston, USA. Ce travail de thèse montre l'importance d'une étude explicite de la dynamique de TCR entre un atome (ion) et une surface métallique pour la compréhension des interactions atome (ion) - surface.
41
Anache-Ménier, Domitille. "Propagation des ondes dans les milieux désordonnés: étude de la phase des ultrasons et des ondes sismiques." Phd thesis, Université Joseph Fourier (Grenoble), 2008. http://tel.archives-ouvertes.fr/tel-00335480.
Full textAbstract:
Cette thèse est consacrée à l'étude théorique et expérimentale de la phase des ondes sismiques et des ultrasons se propageant dans les milieux désordonnés.La théorie des distributions et des corrélations des dérivées spatiales et temporelles de la phase est développée dans l'hypothèse d'un champ scalaire analytique gaussien et circulaire. Ces fonctions statistiques permettent de caractériser les diffuseurs dans les deux dispositifs expérimentaux au coeur de cette thèse. D'une part, les fluctuations temporelles de la phase d'ultrasons sont utilisées pour sonder la dynamique d'une suspension de billes millimétriques sur des échelles de temps allant de la milliseconde à la seconde. D'autre part les fluctuations spatiales de la phase donnent une caractérisation de la diffusion multiple des ondes de flexion dans une plaque de Plexiglas ® perforée aléatoirement. Le comportement asymptotique en loi de puissance des distributions des dérivées de la phase démontre les propriétés gaussiennes des codas dans ces deux dispositifs.
Enfin, l'étude de la coda de séismes régionaux en Californie a permis de proposer une application à la détermination du libre parcours moyen des ondes sismiques dans la croûte terrestre : il est montré que c'est la seule échelle caractéristique de la fonction de corrélation de la dérivée spatiale de la phase.
42
Hayakawa, Naoki, Masato Morikawa, and Hitoshi Okubo. "Partial Discharge Inception and Propagation Characteristics of Magnet Wire for Inverter-fed Motor under Surge Voltage Application." IEEE, 2007. http://hdl.handle.net/2237/9459.
Full text
43
Boerner, Susann. "Probing reaction conditions and cofactors of conformational prion protein changes underlying the autocatalytic self-propagation of different prion strains." Doctoral thesis, Humboldt-Universität zu Berlin, Lebenswissenschaftliche Fakultät, 2014. http://dx.doi.org/10.18452/17003.
Full textAbstract:
Prionen sind das infektiöse Agens transmissibler spongiformer Enzephalopathien von Tieren und Menschen. Prionen bestehen hauptsächlich aus einer abnormal gefalteten und aggregierten Isoform des zellulären Prionproteins (PrP). Die Replikation von Prionen findet mutmaßlich durch keiminduzierte Polymerisation des Prionproteins statt. Es existieren verschiedene Prionstämme, die unterschiedliche Eigenschaften aufweisen, aber vom selben zellulären Prionprotein abstammen können. Neben PrP scheinen Kofaktormoleküle an der Prionreplikation beteiligt zu sein. Weiterhin wird angenommen, dass Kofaktoren bei der Definition von Stammeigenschaften beteiligt sind, sowie ein Einfluss auf die Infektiosität von Prionen besteht. In dieser Arbeit wurden die Auswirkungen verschiedener Kofaktoren auf die Replikation von vier Hamster-adaptierten Prionstämmen in vitro mittels der Methode der „Protein Misfolding Cyclic Amplification“ (PMCA) untersucht. Es wurden stammabhängige Unterschiede bezüglich der Anforderungen an die Replikationsbedingungen in der PMCA, sowie Kofaktor-Selektivitäten festgestellt. Der Einfluss von Kofaktoren wurde durch den Vergleich ausgewählter biologischer, biochemischer und biophysikalischer Eigenschaften von in vitro erzeugten PMCA Produkten (PrPres) mit denen nativer Prionkeime untersucht. Es zeigte sich, dass Kofaktoren Stammeigenschaften, wie die biologische Keimaktivität in primären Gliazellkulturen und biochemische Eigenschaften, wie die Migration in SDS-Gelen, beeinflussen können. Um festzustellen, ob unterschiedliche Kofaktorbedingungen während der PMCA messbare Veränderungen der Proteinkonformation hervorrufen, wurde PMCA generiertes PrPres mittels FT-IR Spektroskopie in einer Pilotstudie charakterisiert. Erste Befunde zeigten spektrale Unterschiede zwischen den Proteinkeimen und deren PMCA Produkten bei allen Stämmen, unabhängig von den Kofaktorbedingungen.Prions are the causative agent of transmissible spongiform encephalopathies in animals and humans such as scrapie, bovine spongiform encephalopathy (BSE) and Creutzfeldt-Jakob disease (CJD). Prions are thought to be composed essentially of a misfolded and aberrantly aggregated isoform of the cellular prion protein (PrP) and to replicate by seeded PrP polymerization. Prions may exist in the form of distinct strains that differ in their phenotypic characteristics although they are derived from the same cellular prion protein. Cofactor molecules other than PrP may be involved in prion replication and may be a determinant of strain properties. Furthermore, cofactors may also be required for conveying infectivity. The present study examined the effects of different cofactor molecules on the replication efficacy of four hamster adapted prion agents using the method of serial protein misfolding cyclic amplification (PMCA) as in vitro assay for PrP misfolding and aggregation. The study revealed strain dependent differences of PMCA conditions and cofactors required for efficient in vitro replication. The impact of cofactors was assessed by comparative analyses of selected biological, biochemical and biophysical properties of PMCA products (PrPres) and native prion seeds. The biological seeding activity as monitored in a primary hamster glial cell assay, and biochemical properties such as electrophoretic migration in SDS-gels, were affected differently by different cofactors. In order to define the impact of putative cofactors on the molecular conversion of PrP in more detail, changes in the spatial structure associated with different cofactor molecule conditions during amplification of PrPres in PMCA was monitored by Fourier transform-infrared (FT-IR) spectroscopic analysis. Largely preliminary data revealed spectral differences between native prion seeds and progeny PMCA generated PrPres for all prion strains, but no variations due to different cofactor conditions.
44
Fröhlich, Kristina, and Christoph Jacobi. "The solar cycle in the middle atmosphere: changes of the mean circulation and of propagation conditions for planetary waves." Wissenschaftliche Mitteilungen des Leipziger Instituts für Meteorologie ; 34 = Meteorologische Arbeiten aus Leipzig ; 9 (2004), S. 106-117, 2004. https://ul.qucosa.de/id/qucosa%3A15281.
Full textAbstract:
Der Einfluss des 11-jährigen Sonnenfleckenzyklusses auf die mittlere Atmosphäre wurde mit COMMA-LIM (Cologne Model of the Middle Atmosphere – Leipzig Institute for Meteorology), einem 3-D mechanistischen Zirkulationsmodell, untersucht. Um dies zu erreichen, wurden in der Strahlungsflussberechnung die prozentual verschieden stark ausfallenden Änderungen des solaren Flusses, die aus früheren Untersuchungen zur Verfügung standen, in den relevanten Banden einbezogen. Zusätzlich wurden neue Ozondatensätze eingesetzt; der erste verbindet Daten von GOME (Global Ozone Monitoring Experiment) mit der Berliner Ozonklimatologie, der zweite Datensatz wurde vom Chemie-Transport Modell SUNY-SPB (State University New York – St. Petersburg) erstellt. Die Temperaturdifferenzen zwischen einem solaren Maximum und einem solaren Minimum betragen in der Stratopause 1,5 bis 3 Kelvin. Oberhalb von 100 km steigt die Differenz steil an, hervorgerufen durch die starke Variation der Absorption durch molekularen Sauerstoff in der Thermosphäre. Die Veränderungen in der Temperaturverteilung verursachen ein Ansteigen des mittleren ostwärts gerichteten Zonalwindes in der Wintermesosphäre und ein Ansteigen des mittleren westwärts gerichteten Zonalwindes im Bereich der sommerlichen Mesosphäre der mittleren Breiten. Es wird untersucht, inwieweit der durch den solaren Zyklus bedingte Anstieg des Windes durch die Ausbreitung planetarer Wellen beeinflusst wird.The influence of the 11-year solar cycle on the zonal mean circulation was investigated with COMMA-LIM (Cologne Model of the Middle Atmosphere – Leipzig Institute for Meteorology), a 3-D mechanistical model. The solar impact was simulated via changes in solar absorption taking into account percentage contributions for different bands which are obtained from measurements. Additionally, new data sets for ozone were used. One combins the Berlin ozone climatology with new ozone data from GOME (Global Ozone Monitoring Experiment) and the other is produced by the chemical- transport model SUNY-SPB (State University New York – St. Petersburg) assimilating data from TOMS. Temperature differences between solar maximum and solar minimum conditions achieve up to 3 Kelvin in the stratosphere. Above 100 km the difference increases considerably, caused by the strong variation of absorption by molecular and atomic oxygen there. Changes in temperature distribution generate an increase of the mean westerly zonal wind in the winter mesosphere as well as an increase in the mean easterly zonal wind in the summer mesosphere in midlatitudes. It was investigated how strong the propagation of planetary waves is able to increase in the mean zonal wind during the solar cycle.
45
Lacombe, Céline. "Propagation des ondes élastiques dans la lithosphère hétérogène : modélisations et applications." Phd thesis, Grenoble 1, 2001. http://tel.archives-ouvertes.fr/tel-00759982.
Full textAbstract:
Cette thèse a pour but d'évaluer l'hétérogénéité crustale et de comprendre son effet sur la propagation des ondes sismiques. Nous étudions l'énergie de la coda de sismograrnrnes courte période. Pour cela, nous simulons la propagation des ondes en milieu hétérogène en résolvant l'équation de transfert radiatif (ETR) par des méthodes Monte Carlo, La première partie de cette thèse est effectuée dans l'approximation acoustique. Nous résolvons l'ETR dans un milieu composé d'un guide d'ondes hétérogène (la croûte) et d'un demi espace transparent (le manteau). Ces simulations sont comparées aux observations de la coda de séismes régionaux français, Cette étude nous permet de définir un modèle simple pouvant expliquer l'atténuation des ondes Lg directes et de leur coda en temps et en distance. Nous montrons qu 'en France l'atténuation produite par les diffracteurs est de l'ordre de l'absorption anélastique, Dans un deuxième temps, nous étudions la possibilité d'imager un contraste latéral d 'hétérogénéité dans les volcans, Avec des simulations numériques, des analyses de données et des expériences en laboratoire, nous montrons qu'un contraste latéral d'hétérogénéité influence fortement la répartition spatio-temporelle de l'énergie de la coda. La seconde partie est consacrée à la diffusion multiple des ondes élastiques dans un milieu stratifié composé d'un guide d'onde hétérogène d'épaisseur H (croûte) et d'un demi espace homogène (manteau).Une étude de coda-Q montre que la fuite vers le manteau est gouvernée par le libre parcours moyen de transport. L , et cela même si L > > H . Nous montrons également que les valeurs de coda-Q obtenues sont, pour un L donné, identiques à celles mesurées en acoustique. Enfin, nous étudions le phénomène d'équipartition (stabilisation du rapport entre l'énergie des ondes S et P) . Nous montrons que la valeur de stabllisation du rapport dépend de l'anisotropie de scattering et de L.
46
Baptista, Marcio. "Contribution à l'étude de la propagation de crues en hydrologie." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1990. http://pastel.archives-ouvertes.fr/pastel-00568722.
Full textAbstract:
L'étude de la propagation de crues est un problème assez complexe et fastidieux du fait des nombreuses données hydrologiques et hydrauliques nécessaires et des calculs impliqués par la résolution numérique des équations de Saint Venant. Il est donc utile, en particulier dans le domaine de l'hydrologie, de disposer de méthodes simples et assez fiables pour traiter ce phénomène. Dans ce travail on a cherché à avoir une vision globale du phénomène, par la connaissance approchée du rôle de quelques paramètres descriptifs des cours d'eau et des crues. L'utilisation de ces paramètres dans des modèles simplifiés de propagation a été l'objectif de cette thèse. Tout d'abord, à partir d'un modèle diffusif linéaire, proposé par Hayami, et moyennant quelques hypothèses simplificatrices sur la forme des hydrogrammes, on a pu proposer une méthodologie d'évaluation de la propagation de pointes de crues. Ensuite on s'est intéressé au modèle complet de Saint Venant et à partir d'une analyse a posteriori des résultats de plusieurs simulations de propagation selon ce modèle, on a proposé des modèles simplifiés de propagation, portant toujours sur la pointe de crue. Enfin on a étudié l'applicabilité de ces modèles sur des cours d'eau et des crues réels.
47
Boullard, Arnaud. "Propagation des ondes dans les coques simples ou en nid d'abeilles soumises à des charges mobiles : application au lanceur Ariane 5." Châtenay-Malabry, Ecole centrale de Paris, 2004. http://www.theses.fr/2004ECAP0936.
Full textAbstract:
L'arrivée sur le marché spatial d'une nouvelle classe de lanceurs plus puissants tel Ariane 5, fait ressurgir un critère dimensionnant mal maîtrisé analytiquement et numériquement : celui des chocs d'origine pyrotechnique induits par les lanceurs sur les satellites. Les problèmes rencontrés lors de la modélisation de ces chocs pyrotechniques sont principalement liés à la taille de la structure et aux très hautes fréquences rencontrées. La géométrie de la structure est de type coque mince. A cause de la courbure il est impossible de découpler les différents modes de propagation des ondes provenant du choc. Dans une première partie, après avoir précisé quelques éléments de géométrie différentielle, on s'intéresse aux équations des ondes dans les coques de Mindlin, dans le cas le plus général. Le contexte nous permet cependant d'axer notre étude sur les hautes fréquences, ce qui permet, après avoir explicité le tenseur acoustique caractéristique, de trouver des solutions analytiques à notre problème. La modélisation retenue pour le choc pyrotechnique est une charge mobile défilant à haute vitesse. Une étude analytique permet de faire ressortir les phénomènes d'ondes de chocs. Des résultats numériques mettent en évidence les cônes de Mach pouvant exister dans un milieu bidimensionnel soumis à une charge mobile supersonique. La stratégie retenue est celle du remaillage adaptatif, et le schéma d'intégration en temps est basé sur la formulation de Galerkin discontinue. A cette occasion, les phénomènes de couplage entre les différents types d'ondes apparaissent lorsque la structure est de type coque. Des éléments du lanceur européen étant réalisés en nid d'abeille, la dernière partie de l'étude est axée sur ce matériau. Nos résultats analytiques et numériques dans des coques et des plaques font apparaître des phénomènes intéressants, comme l'anisotropie en dynamique. Une approche locale de la propagation des ondes dans le nid d'abeille est utilisée, et permet d'envisager une homogénéisation par un matériau isotrope transverse. De nombreuses pistes de recherche sont finalement proposées pour de futures investigations.
48
Lefrancois, André. "Propagation par fatigue de fissures bi et tridimensionnelles dans deux alliages d'aluminium : effets de petite fissure et de chargements aleatoires." Paris, ENMP, 1987. http://www.theses.fr/1987ENMP0089.
Full textAbstract:
Comparaison du comportement des fissures courtes (inferieures a 0,3-0,4mm) et longues dans deux alliages d'aluminium 2124 et 7475 soumis a deux types de chargement : sollicitations d'amplitude constante, sollicitations incluant des surcharges uniques ou repetees periodiquement
49
Kriebel, Maximilian [Verfasser], Tim [Akademischer Betreuer] Clark, Tim [Gutachter] Clark, and Rainer [Gutachter] Fink. "1. Feynman-dispersion correction 2. Charge transport via imaginary time propagation / Maximilian Kriebel ; Gutachter: Tim Clark, Rainer Fink ; Betreuer: Tim Clark." Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2020. http://d-nb.info/1211557510/34.
Full text
50
Deberteix, Pascal. "Etude thermoaéraulique des écoulements en conduite ventilée en présence d'une source de chaleur : application à la propagation des fumées d'incendie en tunnel." Poitiers, 2000. http://www.theses.fr/2000POIT2268.
Full textAbstract:
Le present travail a eu pour objet : - d'une part de caracteriser les ecoulements turbulents dans les conduites rectilignes de section droite non circulaire comme ceux representatifs des tunnels de la ratp a partir d'essais experimentaux sur la maquette d'un tunnel a l'echelle 1/30 e m e et de simulations numeriques. Cette premiere etude a permis de determiner les pertes de charge caracteristiques de configurations usuelles du reseau ratp et de mettre en evidence les ecoulements secondaires generes par l'anisotropie de la turbulence dans les conduites de section droite complexe. - d'autre part d'etudier les principales caracteristiques d'un feu qui se developpe en tunnel, en regime stationnaire, soumis a un debit de ventilation, et plus particulierement le phenomene de la couche de retour observe dans certaines conditions. Les differents resultats obtenus a partir d'essais experimentaux sur maquette et de simulations numeriques ont mis en exergue l'importance de la vitesse de ventilation et de la nature de la flamme sur le comportement de la couche de retour. Une similitude fondee sur le nombre de richardson permet de correler certaines grandeurs caracteristiques de la couche de retour telles que sa longueur et de retrouver correctement des phenomenes observes en vraie grandeur.