Automobile système embarqué est une architecture distribuée de l'ordinateur des applications basées sur. La prolifération des systèmes embarqués dans une automobile a apporté de nombreux avantages,tels que le remplacement du système mécanique ancienne avec capteur électronique en réseau et desactionneurs, par exemple, dans des applications telles suspensions adaptatives. Le remplacement des systèmes mécaniques avec ceux électroniques et l'intégration de nouvelles fonctionnalités dans l'électronique soulève une grave préoccupation, c'est de fournir des garanties que ces systèmes embarqués seront en mesure d'effectuer, même dans des environnements difficiles, en particulier dans un système critique pour la sécurité comme un automobile. De plus, ceux-ci l'actualité informatique applications à la demande, imposée par un processus physique.Par exemple, pour éviter un événement catastrophique comme un accident de la demande de freinage doit répondre aux contraintes de minutage. Ce qui implique que la durée de temps entre l'instance de l'application du frein (à la pédale de frein) et l'instance de l'actionnement au niveau des roues d'un véhicule automobile doit être inférieure à la limite. En outre, l'application de freinage est généralement répartie sur le nombre de nœuds, qui sont embarqués communicants les uns avec les autres en utilisant une ressource de communication partagée. Par conséquent, il est important que nous fournissons des garanties que la demande, individuellement et collectivement, est atteinte de ses contrainte temporelle; qui est dans la composition de plusieurs nœuds embarqués. En outre, la prolifération des applications informatiques est également livré avec une hétérogénéité croissante et la complexité de l'architecture intégrée, ce qui conduira à l'augmentation de la complexité de l'analyse pour les systèmes automobiles.Par conséquent, il ya un besoin croissant d'assurer que ces systèmes automobiles embarqués répondre à des contraintes temporelles et de fournir des garanties de sécurité au cours de leur fonctionnement normal ou lors de situations critiques. Cette thèse vise à développer les analyses d'ordonnançabilité pour systèmes automobiles et les réseaux intégrés, avec le but de faciliter,d'une manière rentable et fiable, la conception et l'analyse des systèmes embarqués automobiles. Les analyses sont élaborées et appliquées dans le contexte de l'automobile; de ​​façon à réduire le risque d'échec en raison de délai: les limites du matériel; frais généraux de mise en œuvre, et les interférences dues à la circulation probaliste / Automotive embedded system is a distributed architecture of computer-based applications. The proliferation of embedded systems in an automobile has brought numerous benefits; such as replacement of old mechanical system with networked electronic sensor and actuators, for example, in applications like adaptive suspensions. The replacement of mechanical systems with electronic onesand the integration of new functionality in electronics raises a serious concern; that is to provide guarantees that these embedded systems will be able to perform, even in harsh environments, particularly in a safety-critical system like an automobile.Moreover, these computer-based applications demand timeliness, imposed by a physical process. For example, to avoid a catastrophic event like a crash the braking application has to meet thetiming-constraints. This implies that the time duration between the instance of application of the brake (at brake pedal) and the instance of actuation at the wheels of an automobile should be less than the deadline. Moreover, the braking application is usually spread over number of embedded nodes, which are communicating with each other using a shared communication resource. Therefore, it is important that we provide some guarantees that an application, individually and collectively, is meeting its timing constraint; that is in the composition of multiple embedded nodes. Moreover, theproliferation of computer-based applications also comes with an increasing heterogeneity and complexity of the embedded architecture; which lead to the increase in the complexity of the analysis for the automotive systems Therefore, there is an increasing need to ensure that these automotive embedded systems meet temporal constraints and provide safety guarantees during their normal operation or during critical situations. This thesis aims at developing the schedulability analyses for automotive systems and embedded networks; with the aim to facilitate, in a cost-effective and reliable manner, the design and analysis of automotive embedded systems. The analyses are developed and applied in the automotive context; so as to reduce the risk of deadline failure due to: hardware limitations ; implementation overheads; and nterference due to probabilistic traffic

Le Rhin dans son parcours franco-allemand a été aménagé depuis deux siècles pour la protection contre les inondations, la navigation et la production hydro-électrique. La rectification (19ème siècle), la régularisation (1930) et la construction du Grand Canal d’Alsace (1928-1959) ont profondément altéré le fonctionnement hydro-sédimentaire du « Vieux Rhin », tronçon de 50 km court-circuité entre les barrages de Kembs et de Breisach, conduisant à une réduction de la complexité du tracé en plan, une incision, un pavage du fond du lit et une simplification des habitats aquatiques et riverains. La possibilité de restaurer le transport sédimentaire et la dynamique alluviale du Vieux Rhin est évaluée au sein de projets portés par la Région Alsace et EDF. Dans ce cadre, la présente thèse repose sur deux types d’approches de la géomorphologie fluviale, historique et expérimentale, afin de répondre à la problématique de restauration morpho-écologique du tronçon fluvial. Ce travail, basé sur la collecte de données anciennes et de terrain, ainsi que sur la quantification des évolutions morphologiques à différents niveaux scalaires, a conduit à une meilleure compréhension de la trajectoire temporelle d’ajustement de l’hydrosystème et à une estimation de sa sensibilité aux changements. Le suivi géomorphologique d’un test de recharge sédimentaire conduit sur un site-pilote a servi également à évaluer la pertinence de ce type d’intervention, à travers l’analyse des bénéfices et des risques environnementaux potentiels. L'ensemble des résultats obtenus a permis d’apporter aux gestionnaires des éléments d'aide à la réflexion pour orienter les stratégies de restauration ainsi que des indicateurs physiques d’évaluation des futures actions / The Upper Rhine River has undergone several anthropogenic modifications since the last two centuries for flood protection, navigation and hydropower generation. Channel rectification, groyne fields and lateral “Grand Canal of Alsace” construction heavily altered the hydro-sedimentary functioning of the 50 km-long "Old Rhine" by-passed between Kembs and Breisach: channel pattern simplification, bed incision, armouring and ecological habitats alterations. Two complementary projects have been initiated to restore the sediment transport and the reach alluvial dynamics. This thesis investigated space-time and experimental geomorphic approaches within the morpho-ecological restoration of a modified fluvial system. The archive and field data-based work aimed at understanding the Old Rhine historical trajectory. The geomorphological monitoring of a gravel input experiment also consisted in evaluating environmental benefits and potential risks for society and proposing physical assessment indicators. Results will help river stakeholders to define strategies to restore morphological processes and associated ecological functions in the Old Rhine.

Military helicopter operations require precise maneuverability characteristics for performance to be determined for the entire helicopter flight envelope. Historically, these maneuverability analyses are combinatorial in nature and involve human-interaction, which hinders their integration into conceptual design. A model formulation that includes the necessary quantitative measures and captures the impact of changing requirements real-time is presented. The formulation is shown to offer a more conservative estimate of maneuverability than traditional energy-based formulations through quantitative analysis of a typical pop-up maneuver. Although the control system design is not directly integrated, two control constraint measures are deemed essential in this work: control deflection rate and trajectory divergence rate. Both of these measures are general enough to be applied to any control architecture, while at the same time enable quantitative trades that relate overall vehicle maneuverability to control system requirements. The dimensionality issues stemming from the immense maneuver space are mitigated through systematic development of a maneuver taxonomy that enables the operational envelope to be decomposed into a minimal set of fundamental maneuvers. The taxonomy approach is applied to a helicopter canonical example that requires maneuverability and design to be assessed simultaneously. The end result is a methodology that enables the impact of design choices on maneuverability to be assessed for the entire helicopter operational envelope, while enabling constraints from control system design to be assessed real-time.

Optimised allocation of system architectures is a well researched area as it can greatly reduce the developmental cost of systems and increase performance and reliability in their respective applications.In conjunction with the recent shift from federated to integrated architectures in automotive, and the increasing complexity of computer systems, both in terms of software and hardware, the applications of design space exploration and optimised allocation of system architectures are of great interest.This thesis proposes a method to derive architectures and their allocations for systems with real-time constraints.The method implements integer linear programming to solve for an optimised allocation of system architectures according to a set of linear constraints while taking resource requirements, communication dependencies, and manual design choices into account.Additionally, this thesis describes and evaluates an industrial use case using the method wherein the timing characteristics of a system were evaluated, and, the method applied to simultaneously derive a system architecture, and, an optimised allocation of the system architecture.This thesis presents evidence and validations that suggest the viability of the method and its use case in an industrial setting.The work in this thesis sets precedence for future research and development, as well as future applications of the method in both industry and academia.

title: Surface Wave Analysis and Inversion Application to the Bohemian Massif author: Mgr. Petr Kolínský, DiS. author's e-mail address: kolinsky@irsm.cas.cz departments: Department of Geophysics Faculty of Mathematics and Physics Charles University Prague V Holešovičkách 2, Praha 8 - 180 00, Czech Republic and Department of Seismology Institute of Rock Structure and Mechanics, v.v.i. Academy of Sciences of the Czech Republic V Holešovičkách 41, Praha 8 - 182 09, Czech Republic supervisor: RNDr. Johana Brokešová, CSc. supervisor's e-mail address: johana.brokesova@mff.cuni.cz consultant: RNDr. Jiří Málek, PhD. consultant's e-mail address: malek@irsm.cas.cz keywords: surface waves, group velocity, phase velocity, frequency-time analysis, multiple filtering, tomography, inversion problems, Earth crust structure, Bohemian Massif An overview of surface wave analysis methods as well as of inversion techniques is given. Special attention is paid to the multiple filtering method for dispersion curve estimation, which is described by two different ways in detail. The isometric method is used for dispersion curve inversion and its description and tests are presented. Described methods are further used in applications. The applications show examples of surface wave analysis and inversion for 1D and 2D...

Esta pesquisa ocupa-se em investigar, à luz da Teoria da Variação laboviana, o emprego de tepe em lugar de vibrante em onset silábico na fala da comunidade bilíngue (português-italiano) de Flores da Cunha (RS), alternância que não se verifica na fala de monolíngues-português. Utilizaram-se dados de dois bancos, VARSUL e BDSer, levantados de entrevistas realizadas em 1990 e 2009, o que possibilitou fazer um estudo em tempo real. A análise da fala de 40 informantes, 20 de cada banco, revelou um decréscimo na frequência total de aplicação da regra: 41% nos dados do VARSUL, 31% nos do BDSer, indício de regressão da regra. Na análise em tempo real, estudo de tendência, observou-se semelhança no papel favorecedor ou desfavorecedor das variáveis controladas, exceto no que diz respeito à variável Idade. O estudo de painel mostrou que os informantes diminuíram a aplicação da regra com o passar dos anos, o que contraria a expectativa de estabilidade do padrão linguístico da fala adulta. / This is a research about the use of tap where a trill is expected in Brazilian Portuguese, which does not occur in the speech of monolinguals, but can be verified in the speech of Portuguese-Italian bilinguals who live in the city of Flores da Cunha (Rio Grande do Sul, Brazil). The analysis follows the Theory of Language Variation, by William Labov. The data come from two different sources, VARSUL and BDSer data banks, which have sociolinguistic interviews recorded in 1990 and 2009. This fact enabled us to carry out a real time study. The analysis of the speech of 40 informants, 20 from each bank, showed a decrease in the total frequency of rule application: 41% in the speech of VARSUL informants, 31% in the speech of BDSer informants, a sign of rule regression. The real time analysis, tendency study, showed that the role of the variables under control has not changed along 20 years, except the role of the variable Age. The pannel study showed a decrease in rule application by the three informants studied. This goes against the expectation of a stable linguistic behavior in adult speech.

Esta tese objetiva analisar processos de variação linguística em tempo real (LABOV, 1994) no português brasileiro de contato com variedades dialetais italianas, para verificar se existe coerência dialetal (GUY e HINSKENS, 2016) na comunidade de Flores da Cunha (RS). Para tanto, fizemos análise quantitativa conforme metodologia de análise de regra variável (LABOV, 1972), para cotejar o padrão de variação de -ão::-on em tempo real com o de outro processo na mesma comunidade. A pesquisa foi embasada em dados de fala provenientes de dois acervos distintos, o do projeto VARSUL (1990) e do Projeto BDSer (2008/2009). Na „troca‟ de -ão por –on, houve um decréscimo na frequência total de aplicação da regra variável: 30,7% nos dados do VARSUL e 21,6% nos do BDSer, indício de regressão de regra. Para verificar a existência de coerência dialetal, compararam-se os resultados da análise de ão::on com os do estudo de Azeredo (2012), sobre o uso variável de tepe em lugar de vibrante no português de contato com variedades dialetais italianas e observamos que as variantes atribuídas ao contato são, ambas, favorecidas pelos homens de mais idade e com nível mais baixo de escolaridade. Essa correlação entre as variáveis analisadas aponta para a existência de coerência dialetal na comunidade de fala em estudo. / This thesis aims at analyzing linguistic variation processes in real time (LABOV, 1994) in Brazilian Portuguese in contact with Italian dialectal varieties, to verify if there is lethal coherence (GUY and HINSKENS, 2016) in the community of Flores da Cunha (RS). We performed a quantitative analysis according to the methodology of variable rule analysis (LABOV, 1972), to compare the variation pattern of -ão::-on in real time with that of another process in the same community. Our research was based on speech data from two different collections, the VARSUL project (1990) and the BDSer Project (2008/2009). The analysis showed a decrease in the total frequency of use of -on in contexts where -ão is expected: 30.7% in the speech of VARSUL informants and 21.6% in the speech of BDSer informants, a sign of rule regression. We compared the results of the analysis of -ão::-on with the results of Azeredo (2012) about the use of tap where a trill is expected. We observed that older men with low level of schooling favor the variants under analysis. The correlation between the analyzed variables points to the existence of lethal coherence in the speech community under study.

La détection d'endommagements et de changements des propriétés élastiques dans des structures, utilisant les variations des paramètres dynamiques, fait l'objet d'une attention particulière depuis plusieurs années dans les domaines du génie mécanique et du génie civil. Le principe général repose sur le fait que la variation des propriétés physiques (e.g. rigidité, masse, module d'Young, conditions aux limites) entraîne une variation des caractéristiques dynamiques de la structure (e.g. fréquences de résonance, amortissements modaux et déformées modales). La présence d'endommagement provoque ainsi une diminution de la rigidité de la structure, c'est-à-dire une augmentation de sa flexibilité et de son amortissement que l'on retrouve dans la forme des modes et les valeurs des fréquences. Utilisant le changement de ces informations entre un état sain et un état endommagé, plusieurs méthodes non-destructives ont été proposées dans la littérature afin d'identifier et de localiser ces endommagements. Ces pratiques et ces activités sont d'une importance considérable puisqu'elles permettent en premier lieu d'anticiper et donc d'éviter des ruptures dans les structures, toujours catastrophiques, et plus généralement de mettre en place des plans de maintenance prédictives, en lien avec le suivi sur le long terme de leur intégrité (Structural Health Monitoring). Ces méthodes de surveillance se popularisent également du fait de la réduction des coûts des instrumentations, liés à l'apparition de nouveaux équipements à bas coût, ayant des performances satisfaisantes. L'objectif de ce travail est de tester les différentes solutions permettant la détection, la localisation et la quantification des changements dans des structures simples. Plusieurs méthodes ont été testées et une approche nouvelle a été proposée basée sur l'utilisation de la méthode des perturbations. Trois approches ont été suivies: une modélisation par éléments finis (analyse modale), une simulation numériques par éléments finis (analyse temporelle) et enfin des analyses expérimentales sur des poutres en Plexiglas au laboratoire, les trois volets de ce travail ayant permis de tester la sensibilité des méthodes non-destructives (NDE) globales et locales pour la détection et la localisation. Les changements ont été associés à une variation locale du module de Young (E), numériquement pour les solutions numériques et par chauffage local sur des sections de la poutre dans le volet expérimental. Dans tous les cas, nous sommes en situations réelles afin de proposer l'identification des caractéristiques modales par des méthodes opérationnelles (Operative Modal Analysis) telles que la méthode du décrément aléatoire et la méthode de décomposition dans le domaine fréquentiel (Frequency Domain Decomposition). Les résultats d'identification ont montré une très bonne corrélation entre les valeurs numériques et les valeurs expérimentales obtenues : fréquences de résonance et déformés modale. Pour identifier l'endommagement, les méthodes de localisation basées sur la courbure des déformées propres, la matrice de flexibilité, la courbure de flexibilité et enfin sur la méthode d'inversion des modes ont été employées. D'après les résultats obtenus, la méthode d'inversion se montre efficace dans le cas de variations modales faibles et transitoires, alors que la méthode de la courbure de flexibilité donne généralement de bons résultats et apparait robuste lorsque les variations sont plus prononcées. / The detection of damage and changes in elastic properties of structures, using the variation of dynamic parameters, has been the subject of special attention for several years in the fields of mechanical and civil engineering. The general principle is based on the fact that the variation of physical properties (e.g. stiffness, mass, Young's modulus, boundary conditions) leads to a change in the dynamic characteristics of structures (e.g. resonance frequencies, modal damping and mode shapes). The presence of damage causes a decrease in the rigidity of structures, which give rise to an increase in flexibility and damping, which can be seen in mode shapes and frequency values. Using the change of this information between a healthy and damaged condition, several non-destructive methods have been proposed in the literature in order to identify and locate the damage. These practices and activities are of considerable importance. They allow us to anticipate and avoid breaks in structures, which are always catastrophic, and more generally, they allow us to establish the plans of a predictive maintenance, along with monitoring of the long-term of integrity (Structural Health monitoring). These monitoring methods are equally us popular because of the low cost of instrumentation, related to the appearance of new equipment at low cost, having the satisfactory performance. The objective of this work is to test different solutions, allow for detection, localization and quantification of changes in simple structures. Several methods have been tested and a new approach is proposed based on the use of the perturbation method. Three approaches are followed: finite element modeling (modal analysis), finite element numerical simulation (temporal analysis), and finally, experimental analysis of a Plexiglas beam in the laboratory. These three scopes of work have allowed us to test the sensitivity of global and local non-destructive methods (NDE) for detection and localization of damage. Changes associated with a local variation of Young's modulus (E) are tested numerically in modal and temporal analysis, and shown experimentally in local heating on the sections of beam. In all cases, we are in real life situations, where we identify modal characteristics by operational methods (Operative Modal Analysis) such as the random decrement technique and the method of decomposition in the frequency domain (Frequency Domain Decomposition). The results show a very good correlation between the numerical and experimental values obtained: resonant frequencies and mode shapes. For identifying damage, localization methods based on the curvature of mode shape, flexibility matrix, curvature of flexibility, and finally on the method of inversion of modes are employed. According to the results, the method of inversion proves effective in the case where modal variation is low and transient, whereas, the curvature of flexibility (ULS method) usually gives good results and appears robust when the changes are more pronounced.

Esta tese objetiva analisar processos de variação linguística em tempo real (LABOV, 1994) no português brasileiro de contato com variedades dialetais italianas, para verificar se existe coerência dialetal (GUY e HINSKENS, 2016) na comunidade de Flores da Cunha (RS). Para tanto, fizemos análise quantitativa conforme metodologia de análise de regra variável (LABOV, 1972), para cotejar o padrão de variação de -ão::-on em tempo real com o de outro processo na mesma comunidade. A pesquisa foi embasada em dados de fala provenientes de dois acervos distintos, o do projeto VARSUL (1990) e do Projeto BDSer (2008/2009). Na „troca‟ de -ão por –on, houve um decréscimo na frequência total de aplicação da regra variável: 30,7% nos dados do VARSUL e 21,6% nos do BDSer, indício de regressão de regra. Para verificar a existência de coerência dialetal, compararam-se os resultados da análise de ão::on com os do estudo de Azeredo (2012), sobre o uso variável de tepe em lugar de vibrante no português de contato com variedades dialetais italianas e observamos que as variantes atribuídas ao contato são, ambas, favorecidas pelos homens de mais idade e com nível mais baixo de escolaridade. Essa correlação entre as variáveis analisadas aponta para a existência de coerência dialetal na comunidade de fala em estudo. / This thesis aims at analyzing linguistic variation processes in real time (LABOV, 1994) in Brazilian Portuguese in contact with Italian dialectal varieties, to verify if there is lethal coherence (GUY and HINSKENS, 2016) in the community of Flores da Cunha (RS). We performed a quantitative analysis according to the methodology of variable rule analysis (LABOV, 1972), to compare the variation pattern of -ão::-on in real time with that of another process in the same community. Our research was based on speech data from two different collections, the VARSUL project (1990) and the BDSer Project (2008/2009). The analysis showed a decrease in the total frequency of use of -on in contexts where -ão is expected: 30.7% in the speech of VARSUL informants and 21.6% in the speech of BDSer informants, a sign of rule regression. We compared the results of the analysis of -ão::-on with the results of Azeredo (2012) about the use of tap where a trill is expected. We observed that older men with low level of schooling favor the variants under analysis. The correlation between the analyzed variables points to the existence of lethal coherence in the speech community under study.

Esta pesquisa ocupa-se em investigar, à luz da Teoria da Variação laboviana, o emprego de tepe em lugar de vibrante em onset silábico na fala da comunidade bilíngue (português-italiano) de Flores da Cunha (RS), alternância que não se verifica na fala de monolíngues-português. Utilizaram-se dados de dois bancos, VARSUL e BDSer, levantados de entrevistas realizadas em 1990 e 2009, o que possibilitou fazer um estudo em tempo real. A análise da fala de 40 informantes, 20 de cada banco, revelou um decréscimo na frequência total de aplicação da regra: 41% nos dados do VARSUL, 31% nos do BDSer, indício de regressão da regra. Na análise em tempo real, estudo de tendência, observou-se semelhança no papel favorecedor ou desfavorecedor das variáveis controladas, exceto no que diz respeito à variável Idade. O estudo de painel mostrou que os informantes diminuíram a aplicação da regra com o passar dos anos, o que contraria a expectativa de estabilidade do padrão linguístico da fala adulta. / This is a research about the use of tap where a trill is expected in Brazilian Portuguese, which does not occur in the speech of monolinguals, but can be verified in the speech of Portuguese-Italian bilinguals who live in the city of Flores da Cunha (Rio Grande do Sul, Brazil). The analysis follows the Theory of Language Variation, by William Labov. The data come from two different sources, VARSUL and BDSer data banks, which have sociolinguistic interviews recorded in 1990 and 2009. This fact enabled us to carry out a real time study. The analysis of the speech of 40 informants, 20 from each bank, showed a decrease in the total frequency of rule application: 41% in the speech of VARSUL informants, 31% in the speech of BDSer informants, a sign of rule regression. The real time analysis, tendency study, showed that the role of the variables under control has not changed along 20 years, except the role of the variable Age. The pannel study showed a decrease in rule application by the three informants studied. This goes against the expectation of a stable linguistic behavior in adult speech.