No description available.

Ce travail de thèse porte sur la problématique d'élaboration de modèles de systèmes hétérogènes. Il a associé le laboratoire de recherche LAAS-CNRS et la société MENTOR GRAPHICS. Il prend place au sein d'un processus de conception qui se fonde sur les recommandations de l'EIA-632 et sur une ingénierie guidée par les modèles. L'objectif de notre travail est de montrer en quoi le langage VHDL-AMS est adapté à la problématique de modélisation et de simulation de la solution physique au sens des recommandations de l'EIA-632. Dans un premier temps, ce manuscrit présente un état de l'art sur les besoins en modélisation pour la conception système, et dresse un bilan sur les différents langages de modélisation susceptibles d'y répondre. Afin de proposer la norme VHDL-AMS (IEEE 1076.1-1999) comme solution, notre travail s'est attaché à présenter et proposer une méthode à mettre en oeuvre pour converger vers cette norme. Notre démarche s'appuie sur l'ingénierie guidée par les modèles avec une place prépondérante jouée par les transformations de modèle. Nous avons développé ce concept de transformation en vue d'une convergence vers le VHDL-AMS : nous développons la notion de meta modèle avec, entre autre, la création d'un meta modèle du langage VHDL-AMS. Celui-ci va permettre une vérification de la conformité des modèles créés, mais aussi l'écriture de règles de transformations au niveau meta modèle. L'intérêt des industriels possédant un existant de modèles écrits dans un langage de description de matériel propriétaire autre (par exemple le langage MAST) en vue d'une migration vers la norme VHDL-AMS, nous a permis d'éprouver cette méthodologie dans de nombreux cas concrets. Nous avons aussi comparé cette approche à une méthodologie que nous avions précédemment définie, nécessitant une expertise dans les deux langages source et cible. Cela nous a permis de conclure positivement sur la faisabilité d'une telle transformation avec une semi-automatisation et une expertise encore n écessaire à certaines étapes. A titre de démonstration, nous avons développé de nombreux modèles mixtes confirmant les aptitudes du VHDL-AMS à pouvoir être le support principal du prototypage virtuel, ainsi que la validité de notre méthode de transformation. Nous avons notamment réalisé la modélisation VHDL-AMS d'un système très hétérogène de mise à feu d'une charge pyrotechnique, qui valide notre méthodologie. La validation des modèles en conformité avec les spécifications est une des perspectives identifiées de nos travaux, à approfondir.

Les systèmes sur puce sont de plus en plus complexes : ils intègrent des parties numériques, des parties analogiques et des capteurs ou actionneurs. SystemC et son extension SystemC AMS permettent aujourd'hui de modéliser à haut niveau d'abstraction de tels systèmes. Ces outils constituent de véritables atouts dans une optique d'étude de faisabilité, d'exploration architecturale et de vérification du fonctionnement global des systèmes complexes hétérogènes et multiphysiques. En effet, les durées de simulation deviennent trop importantes pour envisager les simulations globales à bas niveau d'abstraction. De plus, les simulations basées sur l'utilisation conjointe de différents outils provoquent des problèmes de synchronisation. Les modèles de bas niveau, une fois crées par les spécialistes des différents domaines peuvent toutefois être abstraits afin de générer des modèles de haut niveau simulables sous SystemC/SystemC AMS en des temps de simulations réduits. Une analyse des modèles de calcul et des styles de modélisation possibles est d'abord présentée afin d'établir un lien avec les durées de simulation, ceci pour proposer un style de modélisation en fonction du niveau d'abstraction souhaité et de la taille du modèle à simuler. Dans le cas des circuits analogiques linéaires, une méthode permettant de générer automatiquement des modèles de haut niveau d'abstraction à partir de modèles de bas niveau a été proposée. Afin d'évaluer très tôt dans le flot de conception la consommation d'un système, un moyen d'enrichir les modèles de haut niveau préalablement générés est présentée. L'attention a ensuite été portée sur la modélisation à haut niveau des systèmes multiphysiques. Deux méthodes y sont discutées : la méthode consistant à utiliser le circuit équivalent électrique puis la méthode basée sur les bond graphs. En particulier, nous proposons une méthode permettant de générer un modèle équivalent au bond graph à partir d'un modèle de bas niveau. Enfin, la modélisation d'un système éolien est étudiée afin d'illustrer les différents concepts présentés dans cette thèse.

名古屋大学年代測定総合研究センターシンポジウム報告

129I is a radioactive isotope (T1/2= 15.7 million years) produced through natural and anthropogenic pathways, but the anthropogenic production is presently dominating the Earth’s surface environments. Sparse data from previous investigations in the Baltic Sea clearly indicated the occurrence of 129I at levels 3-4 orders higher than natural pre-atomic era (before 1940) without comprehensive evaluation of distribution and inventory. In this thesis extensive data on the distribution and inventory of iodine isotopes, 129I and 127I, and their species in waters of the Baltic Sea, Kattegat and Skagerrak are presented and used for estimation of water masses exchange and impact on the environment.  To fulfill these objectives seawater samples were collected in August 2006 and April 2007 in the Baltic Proper, Kattegat and Skagerrak as well as in December 2009 in the Bothnian Sea. After elaborative chemical separation of total iodine and iodine species, the analysis was performed using ICP-MS for 127I and AMS for 129I. The results reveal considerable differences in 129I concentration in terms of spatial and temporal variability and expose relatively high concentrations in the deep waters. Inventory estimates show higher amounts of 129I in August 2006 (24.2 ±15.4 kg) than in April 2007 (14.4± 8.3 kg) within the southern and central Baltic Proper, whereas almost a constant inventory is found in the Kattegat Basin. Relatively high 127I-/127IO3- and 129I-/129IO3- values in water of the Baltic Proper suggest effective reduction of iodate at a maximum rate of  8×10-7 (127IO3-) and 6×10-14 (129IO3-) (g/m3.day). The combination of 129I and 127I as tracers of water circulation in the Baltic Sea suggest that upwelling deep basinal water occurs into the surface along the Gotland deep and intrusion of North Atlantic water into southern Baltic. Furthermore, 129I-based model inventory reveals inflow of 330 km3/y (230-450 km3/y) water from the Kattegat into the Baltic Proper. Water exchange between the Baltic Proper and the Bothnian Sea and vice versa is estimated at 980 km3/y (600-1400 km3/y) and 1180 km3/y (780-1600 km3/y) respectively. Finally, an environmental assessment of radioactivity associated with 129I burden in the Baltic Sea region is discussed.

Diaconis and Ylvisaker (1979) give necessary conditions for conjugate priors for distributions from the natural exponential family to be proper as well as to have the property of linear posterior expectation of the mean parameter of the family. Their conditions for propriety and linear posterior expectation are also sufficient if the natural parameter space is equal to the set of all d-dimensional real numbers. In this paper their results are extended to characterize when conjugate priors are proper if the natural parameter space is bounded. For the special case where the natural exponential family is through a spherical probability distribution n,we show that the proper conjugate priors can be characterized by the behavior of the moment generating function of n at the boundary of the natural parameter space, or the second-order tail behavior of n. In addition, we show that if these families are non-regular, then linear posterior expectation never holds. The results for this special case are also extended to natural exponential families through elliptical probability distributions.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-03-31T22:51:29Z No. of bitstreams: 1 EridenesFernandesDeQueiroz_DISSERT.pdf: 2172856 bytes, checksum: c0623801f61f91802fc4d7deb05fbca0 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-04-04T20:18:39Z (GMT) No. of bitstreams: 1 EridenesFernandesDeQueiroz_DISSERT.pdf: 2172856 bytes, checksum: c0623801f61f91802fc4d7deb05fbca0 (MD5) / Made available in DSpace on 2016-04-04T20:18:39Z (GMT). No. of bitstreams: 1 EridenesFernandesDeQueiroz_DISSERT.pdf: 2172856 bytes, checksum: c0623801f61f91802fc4d7deb05fbca0 (MD5) Previous issue date: 2015-05-28 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / Este trabalho tem como objetivo propor, implementar e validar um modelo para o consumo de energia em n?s de uma Rede de Sensores Sem Fio (RSSF). O modelo proposto foi implementada uma m?quina de estados finitos utilizando a ferramenta de modelagem e simula??o SystemC-AMS com o objetivo de simular o consumo de energia de um n?-sensor em um ambiente de comunica??o real. A mesma m?quina de estados tamb?m foi implementada na plataforma Stateflow com o objetivo de comparar os resultados obtidos na simula??o com SystemC-AMS. O consumo de energia nos diferentes estados de opera??o foi determinado medindo a corrente de dreno utilizada para aquisi??o de dados do sensor e para a comunica??o com os outros n?s da rede. Al?m de simular o consumo de energia, o ambiente de simula??o tamb?m utiliza um modelo de descarga para fazer a an?lise da situa??o energ?tica atual da bateria. Esta an?lise resulta em um gr?fico de varia??o de tens?o e estado de carga da bateria (SOC). Por fim, ? realizado um estudo de caso do consumo de energia em RSSF aplicado a aquicultura. Tal estudo tem como objetivo analisar o modo de aquisi??o e comunica??o de dados da rede. Com esta an?lise ? poss?vel fazer ajustes nos n?-sensores de modo a reduzir o consumo de energia total da rede. / This work aims at modeling power consumption at the nodes of a Wireless Sensor Network (WSN). For doing so, a finite state machine was implemented by means of SystemC-AMS and Stateflow modeling and simulation tools. In order to achieve this goal, communication data in a WSN were collected. Based on the collected data, a simulation environment for power consumption characterization, which aimed at describing the network operation, was developed. Other than performing power consumption simulation, this environment also takes into account a discharging model as to analyze the battery charge level at any given moment. Such analysis result in a graph illustrating the battery voltage variations as well as its state of charge (SOC). Finally, a case study of the WSN power consumption aims to analyze the acquisition mode and network data communication. With this analysis, it is possible make adjustments in node-sensors to reduce the total power consumption of the network.

Krkonose-Jizera plutonic complex is one of the largest composite plutonic bodies in the Czech massif. The emplacement of this pluton relates to the origin of the structural and thermal aureole. The processes of contact metamorphism are most evident in the northern and southern part. The topic of this work is to find influence of the contact metamorphism in the host rocks. Partial information about contact metamorphism in this area could be found in several papers, but there aren't work which discuss this topic in detail. Goal of this work is to make complex interpretation of contact metamorphic processes connected with intrusion of the Krkonose-Jizera plutonic complex and use this interpretation for discussion about model of magma intrusion. In rocks of contact aureole of Krkonose-Jizera plutonic complex (KJPC) were identified relicts of Variscan regional metamorphism, connected to creation of regional metamorphic fabric S1 and S2. Original mineral associations and deformation fabrics were in near-contact zone of KJPC 1 km in average in width heterogeneously overprinted by effects of the contact metamorphism, which intensity increases towards the intrusive contact. In the mineral associations of contact-metamorphic rocks appears characteristic minerals such as cordierite and andalusite, rarely...

Municipal wastewater contains a significant amount of nutrients such as phosphorus (P) and nitrogen (N). Therefore have the interest of recovering these nutrients at wastewater treatment plants (WWTP) increased. Nutrient recovery would generate revenue for the WWTP, as it is possible to sell the products as fertiliser. Today, there are several techniques on the market to recover P as magnesium ammonium phosphate (MAP) and N as ammonium sulphate (AMS). Urine is the fraction contributing with the highest concentration of nutrients. Techniques to separate urine from the rest of the wastewater have been developed. These techniques enable the possibility to recover nutrients from the urine fraction separately; this is beneficial since the nutrient concentration would be higher. The purpose with this study was to examine the possibility for increased nutrient recovery at centralised WWTPs through urine separation.   Different techniques for nutrient recovery were compared by their recovery efficiency, chemical demand, and hydraulic retention time (HRT). A WWTP with enhanced biological P removal was modelled with Danish Hydraulic Institute’s (DHI) software WEST. Eight scenarios, with different percentage of the population equivalents using urine separation techniques, were simulated. The P recovery was calculated from phosphate (PO4) in the hydrolysed excess sludge and the separated urine. The N recovery was calculated from the ammonium (NH4) in the supernatant from the anaerobe digester. The theoretical biogas production was also calculated, from the modelled sludge.    The comparison of P recovery techniques showed no substantial differences in their recovery efficiency, chemical demand, and HRT. The comparison of N recovery techniques showed three techniques with a higher efficiency than the other methods. Ekobalans Fenix AB, CMI Europe Environment, and Organics developed these techniques. To determine which method to use, requests for proposal from different providers are recommended. As the urine separation increased, the influent P and N load decreased. When the urine separation increased and the operational parameters were kept constant, the effluent concentration of P and N decreased. The ratio of total Kjeldahl nitrogen (TKN) and total nitrogen (TN) however increased as the urine separation increased. The total MAP production calculated from the modelled hydrolysis showed that the production increased as the urine separation increased. On the other hand, the total MAP production from calculated hydrolysis showed a decrease in production as the urine separation increased. The difference in these results could be because of the performance of the modelled hydrolysis was better with a smaller nutrient load, resulting in a larger release of PO4 as the urine separation increased. The total AMS production increased as the urine separation increased. This, due to the increase of the TKN:TN ratio. The biogas production was not substantially affected by the increased urine separation.

En raison de l'évolution technologique, l'analyse de l'intégrité du signal est devenue de plus en plus critique dans la conception des systèmes électroniques. Plusieurs méthodes d'analyse ont été proposées et sont utilisées. Cependant, l'hétérogénéité croissante des systèmes et la réduction du temps de mise sur le marché des applications font que les concepteurs ont besoin de nouvelles méthodes travaillant à haut niveau d'abstraction, afin qu'elles puissent être intégrées facilement à un modèle au niveau système de l'application, et ainsi analyser l'intégrité du signal au plus tôt dans le cycle de conception. Dans cette thèse, nous proposons une méthode basée sur deux types de blocs complémentaires, nommés blocs fonctionnels et blocs non-fonctionnels, décrits à l'aide d'un même langage (C/C++ et SystemC/SystemC-AMS), et donc aisément simulables dans un unique environnement. Les blocs fonctionnels servent à modéliser les comportements idéaux du système. Les comportements non-idéaux, engendrés par les problèmes d'intégrité du signal, sont modélisés dans les blocs non-fonctionnels à l'aide de réseaux de neurones. Pour valider notre méthodologie, deux applications autour des bus I2C et USB 3.0 ont été modélisées. Les résultats de simulations démontrent la faisabilité de notre méthodologie. En la comparant à des modèles de référence, notre méthode permet de réduire de façon remarquable le temps de simulation (99% par rapport à un modèle SPICE) et l'écart moyen est d'environ 3%. Notre méthode offre enfin certaines possibilités de flexibilité et de modularité. Dans le futur, cette méthode originale pourra être intégrée au flot de conception de systèmes cyber-physiques. / As a result of continuing growth of electronic technology, signal integrity analysis has now become a more and more critical challenge in the electronic systems design process. To address this issue, designers have introduced several approaches. However, due to the higher heterogeneity of modern applications, along with time-to-market constraints, a new modeling methodology is required to provide the system?s signal integrity performance at a high-level of abstraction. Moreover, it should be easily interoperable with the system?s functional model. The aim of this work is to propose a new modeling methodology for signal integrity analysis that can meet these requirements. Our method is based on the combination of two kinds of blocks, named functional blocks and non-functional blocks. They are built in C/C++ or SystemC/SystemC-AMS, in order to be easily simulated in a single environment. The functional block is used to model the ideal behavior of the system. The non-functional block is used to represent the highly nonlinear and non-ideal behaviors, caused by signal integrity issues. In the non-functional block, neural networks are used to model these non-ideal behaviors. To validate our method, we developed two applications based on I2C and USB 3.0 applications. Our method greatly increases simulation speed (99% faster than a SPICE model), while achieving a relative absolute error around 3%. Finally, our method is a flexible and modular approach since models can easily be parameterized and interoperable. In the future, this original method for high-level modeling of signal integrity could be integrated in the forthcoming design flows of cyber-physical systems.