Gas hydrate formation was studied in Gulf of Mexico (GOM) sediments. Sediments studied were from six-meter long cores from Mississippi Canyon Block 118 and a 27-meter core from a cruise in 2002 of the Marion Dufresne. These sediments retained their in situ seawater before testing. Hydrate formation rate and induction times were measured. The hydrate memory effect was studied in GOM sediments with and without in situ seawater. Hydrate induction time was short when in situ seawater was present. Bioproducts adsorbed on particles in the sediments are postulated to shorten the induction times by maintaining seawater structuring around coated particles. Hydrate nucleation was studied by Dynamic Light Scattering and Scanning Electron Microscopy. Particles around 50 to 100 nm nucleated hydrate formation. These small nucleating particles appeared to be clays or surfactant molecules and interactions thereof. Hydrate capillaries were studied and found to be at least 100 nm in diameter because the sediment nucleating particles with bioproducts diffused through the hydrate capillaries. Large complexes of nontronite smectite clay and Emulsan, an anionic biosurfactant, were found to facilitate hydrate formation. It was determined that Emulsan entered the interlayer of nontronite. The clay contents of the GOM sediments were determined. All sediments contained smectite, illite, chlorite, and kaolinite in different proportions. The study gave new insight into the gas hydrate formation mechanism in seafloor sediments.

Au cours de ces dernières décennies, des études ont étés menées pour identifier plusieurs traceurs des matériaux du cycle du combustible nucléaire, dans le cadre de la lutte contre la prolifération nucléaire. Ces matériaux sont généralement collectés lors d’inspections dans des installations nucléaires, ou saisis lors de contrôles de trafics illicites. Les informations fournies par ces traceurs sont parcellaires et ne permettent pas de déterminer avec exactitude la provenance et l’historique industriel de ces matériaux.Le but de ce travail de thèse est de démontrer le potentiel de l’utilisation des isotopes du molybdène pour le traçage des matériaux du cycle du combustible nucléaire. Le choix s’est porté sur le molybdène car en raison de la similarité de leurs propriétés chimiques, le molybdène et l’uranium sont étroitement associés dans les minerais d’uranium et tout au long de la chaîne de purification de l’uranium. L’étude s’est focalisée sur une partie de l’amont du cycle du combustible, depuis l’extraction des minerais d’uranium jusqu’à la production des concentrés miniers d’uranium : divers procédés physiques et chimiques sont appliqués, à la fois pour purifier l’uranium et abaisser la concentration en molybdène.Au cours de cette étude, une nouvelle méthode de séparation du molybdène a été développée pour caractériser sa composition isotopique dans des minerais, minéraux et concentrés miniers d’uranium. La variabilité des compositions isotopiques du molybdène dans un gisement d’uranium est principalement due aux mécanismes d’adsorption et/ou de précipitation du molybdène. Les gisements magmatiques et sédimentaires ont des compositions isotopiques différentes, ce qui permet ainsi leurs distinctions. Les concentrés miniers d’uranium produits à partir de ces deux types de gisements ont des compositions isotopiques similaires aux minerais. Ces résultats soulignent ainsi le potentiel des isotopes du molybdène comme traceur des origines des concentrés miniers d’uranium. Cependant, un fractionnement des isotopes du molybdène a été établi lors de la production des concentrés miniers d’uranium pour deux usines au Niger. Les procédés de purification de l’uranium tels que la lixiviation, l’extraction par solvant et la précipitation ont été reproduits en laboratoire sur des échantillons réels pour expliquer le fractionnement isotopique du molybdène lors de la production des concentrés miniers. Au cours de ces procédés, le fractionnement peut être positif (lixiviation), négatif (extraction par solvant, précipitation à l’eau oxygénée) ou nul (précipitation à l’ammoniaque). Dans le cas des échantillons du Niger, la somme de ces procédés est négative, dans le sens des données expérimentales que nous avons obtenues, démontrant ainsi également le potentiel de l’utilisation des isotopes du molybdène comme traceur des procédés de transformations des matériaux du cycle du combustible nucléaire. / Nuclear forensics aims at determining the age, provenance as well as industrial or storage history of uranium ores and uranium ore concentrates that are part of the nuclear fuel cycle. Several potential tracers have already been identified for this purpose. However, these tracers are not providing always unambiguous information. This study is focused on establishing Mo isotopes as a new tracer of uranium ore provenance and of ore processing for its application in nuclear forensics. Molybdenum and uranium share a number of common geochemical properties. In the nuclear fuel cycle, molybdenum is an impurity that is difficult to separate during uranium extraction and purification processes, while its concentration is required to be lower than some specification limits. We focused this study on the first part of the nuclear fuel cycle, from the uranium ores extraction to the production of uranium ore concentrates.We developed an enhanced separation method for Mo from a uranium-rich matrix (uranium ores, uranium minerals, uranium ore concentrates) in order to analyze the mass fractionation induced by processes typical of the nuclear fuel cycle. Molybdenum isotopic compositions in uranium ores depend of adsorption and precipitation processes. The δ98Mo values of sedimentary uranium ores is shifted to negative values relative to magmatic ores. This provides a means of distinguishing these types of uranium ores. Uranium ores concentrates produced from both uranium ore natures (magmatic and sedimentary) have Mo isotope compositions similar to the uranium ores. These results suggest that molybdenum isotopes have a strong potential of as a tracer for identifying the origin of the uranium ore concentrates. However, Mo isotopes fractionations were established during the production of uranium ore concentrates in the both Niger mills. We reproduced in laboratory the lixiviation, solvent extraction and precipitation processes to explain these observations. The Mo isotopes fractionation is positive for the lixiviation process, negative for the solvent extraction and precipitation with hydrogen peroxide, and null for ammonia precipitation. In the case of the Niger samples, the sum of these processes is negative and agrees with our experimental data. Mo isotopes have a strong potential as a tracer for identifying the origin and transformation of uranium in the nuclear fuel cycle, in the framework of nuclear forensics.

In the context of broadband wireless communications using code division multiple access (CDMA), the main multiple access (MA) options include single-carrier direct sequence CDMA (SC-DS-CDMA) using time-domain direct sequence spreading [1, p. 728], multicarrier CDMA (MC-CDMA) using frequency-domain spreading [2, 3] and multicarrier DS-CDMA (MC-DS-CDMA) using time-domain direct sequence spreading of the individual sub-carrier signals [4, 5]. It was shown in [6] that MC-DS-CDMA has the highest degrees of freedom in the family of CDMA schemes that can be beneficially exploited during the system design and reconfiguration procedures. An amalgam of MC-CDMA and MC-DS-CDMA known as time and frequency domain spreading (TF-domain spreading) MC-DS-CDMA was proposed in [6]. TF-domain spreading MC-DS-CDMA has several benefits over conventional MC-DS-CDMA with regard to both capacity and performance [7]. However, in contrast to conventional MC-DS-CDMA, TF-domain spreading MC-DS-CDMA introduces MUI, which necessitates the use of joint detection at the receiver. Recently, multiple input multiple output (MIMO) or multi-antenna TF-domain spreading MC-DS-CDMA schemes have been proposed in the literature that e ciently exploit both the spatial and frequency diversity available in MIMO frequency-selective channels [8, 9]. Although an extensive amount of research has been done on single and multi-antenna TF-domain spreading MC-DS-CDMA schemes that achieve both spatial and frequency diversity in frequency-selective slow fading channels [6–9], very little research considers the time-selectivity of the wireless channels encountered. Thus, the above-mentioned schemes may not be su ciently e cient, when communicating over wireless channels exhibiting both frequency-selective and time-selective fading. There are very few MC-DS-CDMA schemes in the literature that consider the time-selectivity of the wireless channels encountered. This study considers the design of single and multi-antenna TF-domain spreading MC-DS-CDMA, for frequency-selective block-fading channels, which are capable of exploiting the full diversity available in the channel (i.e. spatial, frequency and temporal diversity), using various methods of joint detection at the receiver. It has been shown that the diversity gain in block-fading channels can be improved by coding across multiple fading blocks [10–12]. Single-antenna TF-domain spreading MC-DS-CDMA is considered for the quasi-synchronous uplink channel, and multi-antenna TF-domain spreading MC-DS-CDMA is considered for the synchronous downlink channel. Numerous simulated bit error rate (BER) performance curves, obtained using a triply selective MIMO channel platform, are presented in this study using optimal and sub-optimal joint detection algorithms at the receiver. In addition, this study investigates the impact of spatial correlation on the BER performance of the MC-DS-CDMA schemes considered. From these simulated results, one is able to conclude that TF-domain spreading MC-DS-CDMA designed for frequency-selective block-fading channels performs better than previously proposed schemes designed for frequency-selective slow fading channels, owing to the additional temporal diversity exploited under the block-fading assumption. AFRIKAANS : In die konteks van bre¨eband- draadlose kommunikasie deur die gebruik van kodeverdelingveelvuldige toegang (KVVT) behels die belangrikste veelvuldigetoegang- (VT) opsies enkel-draer direkte-sekwensie KVVT (ED-DS-KVVT), deur die gebruik van tyd-domein direkte sekwensie-verspreiding [1, p. 728], veelvuldigedraer-KVVT (VD-KVVT) deur die gebruik van frekwensiedomein-verspreiding [2, 3] en VD-DS- KVVT deur die gebruik van tyd-domein direkte sekwensie-verspreiding van die individuele sub-draerseine [4, 5]. Daar is in [6] aangetoon dat VD-DS-KVVT die hoogste vlakke van vryheid in die familie KVVT-skemas het wat voordelig benut kan word gedurende sisteemontwerp en rekonfigurasieprosedures. ’n Amalgaam van VD-KVVT en VD-DS-KVVT bekend as tyd-en-frekwensiedomeinverspreiding (TF-domeinverspreiding) VD-DS-KVVT is voorgestel in [6]. TF-domeinverspreiding VD-DS-KVVT het verskeie voordele bo konvensionele VD-DS-KVVT wat sowel kapasiteit as werkverrigting betref [7]. In teenstelling met konvensionele VD-DS-KVVT benut TF-domeinverspreiding VD-DS-KVVT multi-gebruiker-interferensie, wat die gebruik van gesamentlike opsporing by die ontvanger noodsaak. In die onlangse verlede is in die literatuur veelvuldige-inset-veelvuldige-uitset- (VIVU) of veelvuldige-antenna TF-omeinverspreiding VD-DS-KVVT-skemas voorgestel wat sowel die ruimtelike as frekwensiediversiteit wat in VIVU frekwensie-selektiewe kanale beskikbaar is, e ektief gebruik [8, 9]. Hoewel uitgebreide navorsing onderneem is oor enkel- en multi-antenna TF-domeinverspreiding VD-DS-KVVT-skemas wat sowel ruimtelike as frekwensie diversiteit in frekwensie-selektiewe stadig deinende kanale bereik [6–9], oorweeg baie min navorsing die tyd-selektiwiteit van die draadlose kanale wat betrokke is. Bogenoemde skemas mag dus nie e ektief genoeg wees nie wanneer kommunikasie plaasvind oor draadlose kanale wat sowel frekwensie-selektiewe as tyd-selektiewe wegsterwing toon. Baie min VD-DS-KVVT-skemas in die literatuur skenk aandag aan die tyd-selektiwiteit van die betrokke draadlose kanale. Die studie ondersoek die ontwerp van enkel- en multi-antenna TF-domeinverspreiding VD-DS-KVVT vir frekwensie-selektiewe blokwegsterwingkanale, wat in staat is om die volle diversiteit wat in die kanaal beskikbaar is, te benut (i.e. ruimtelike, frekwensie- en tyddiversiteit), deur die gebruik van verskeie metodes van gesamentlike opsporing by die ontvanger. Daar is aangetoon dat die diversiteitwins in blokwegsterwingkanale verbeter kan word deur kodering oor veelvuldige deinende blokke [10–12]. Enkel-antenna TF-domeinverspreiding VD-DS-KVVT word oorweeg vir die kwasi-sinchroniese opverbinding-kanaal, en multi-antenna TF-domeinverspreiding VD-DS-KVVT vir die sinchroniese afverbinding-kanaal. Talryke gesimuleerde bisfouttempo (BFT) werkverrigtingkurwes wat verkry is deur die gebruik van ’n drie-voudige selektiewe VIVU-kanaalplatform, word in hierdie studie aangebied, deur die gebruik van optimale en sub-optimale gesamentlike opsporingsalgoritmes by die ontvanger. Daarbenewens ondersoek hierdie studie die impak van ruimtelike korrelasie op die BFT-werkverrigring van die VD-DS-KVVT-skemas wat oorweeg word. Uit hierdie gesimuleerde resultate is dit moontlik om tot die gevolgtrekking te kom dat TF-domeinverspreiding VD-DS-KVVT wat ontwerp is vir frekwensie-selektiese blokwegsterwingkanale beter werkverrigting toon as vroe¨er voorgestelde skemas wat ontwerp is vir frekwensie-selektiewe stadig deinende kanale, te danke aan die ekstra tyddiversiteit wat deur die blokwegsterwing-aanname benut word. Copyright / Dissertation (MEng)--University of Pretoria, 2010. / Electrical, Electronic and Computer Engineering / unrestricted

In my graduation thesis I first of all shortly mentioned frequency–selection filters and their utilisations. However, the base point of this project was to acquaint with different types of signal flow diagrams with whom I should design and analyse frequency-selection filtres with conventional and also innovative active components. As the first I created signal flow diagrams for both voltage and current conveyors. These modern active components are well known today and enable the construction of circuits with better properties than circuits with traditional differentiating amplifiers with voltage feedback. Thereinafter I made signal flow diagrams for OTA component. Transconductancal amplifiers are well known active components used in various areas of analog signal processing. OTA amplifier is in fact the current source controlled by voltage difference, which is characterised by gm transconductance. Ulterior components were IOZ and IZN models of voltage amplifier with voltage gain A. The last component was COA amplifier. It is a current operational amplifier. COA model is fully dual component to VOA, which is classical voltage amplifier. In my project I used filters with two OTA components. This filter offers functions like low-pass filter, band-pass filter, high-pass filter, band-stop filter and two-phase network. Following this I used circuits with two GCC conveyors. These offer band-pass filter, low-pass filter, high-pass filter, band-stop filter and two-phase network. Ultimately I designed filters with COA components, which offer three transmission functions simultaneously (DP, PP and HP). Analysis of these filters was made with a help of PSpice computer programme.

På grund av bostadsbristen de senaste åren har byggbranschen varit tvungen att möta den höga efterfrågan på bostäder. Ett sätt att underlätta det tryck som skapats på grund av den höga efterfrågan är att rekonstruera byggnader avsedda för annan användning än bostäder till bostadshus. Ett problem som har uppstått vid ombyggnation av till exempel ett kontorshus som består av spännarmerade pelardäck, är känsligheten för nya hål som krävs för nya installationer som går igenom de efterspända bjälklagen (bestående av betongplattor). Problematiken består av att håltagningar som vanligtvis är lokaliserade nära pelarna måste göras på ett större avstånd från pelaren på grund av de spännkablar som går över och nära plattans pelaranslutning. Efterspända kablar är normalt sett belägna över plattans pelaranslutning enligt dagens dimensioneringsnormer för att bidra till plattornas genomstansningskapacitet.I detta examensarbete undersöktes det om det finns vetenskapligt stöd för att flytta kablarna till en längre distans från pelaren (än vad normerna rekommenderar) med hänsyn till genomstansningskapaciteten, och därmed förenkla vid en potentiell ombyggnation.Huvudsyftet med arbetet var att med hjälp av en litteraturstudie samt beräkningar jämföra ett experiment som utförts av Ghassem Hassanzadeh och Håkan Sundquist vid KTH 1997- 1998 (som visade att kablar på ett längre avstånd från pelaren ger ett visst bidrag till betongplattans genomstansningskapacitet) med dagens normer samt nyare studier. Dagens dimensioneringsnormer inkluderar inte bidraget till kapaciteten när spännkablarna placeras utanför det så kallade grundkontrollsnittet (området som undersöks vid dimensionering enligt normerna).Ett annat syfte med detta examensarbete var att studera och uppdatera de beräknade resultaten (enligt dåtidens normer) från studien. Denna rapport uppdaterar studien genom att undersöka rådande normernas beräknade resultat samt jämföra med liknande tester från andra forskare. Dimensioneringsnormerna som undersöktes var Eurokod 2, ACI 318 och MC2010Som del av litteraturstudien redovisas även en liknande försökserie från Portugal av A. Pinho Ramos, Valter J.G. Lúcio & Duarte M.V Faria samt en sammanställning av olika försök som genomfördes i Schweiz av Clément T, Ramos A.P, Fernández Ruiz M, Muttoni A. Sammanställning i Schweiz beräknade genomstansningskapaciteten för 74 olika plattor där plattorna från försöket vid KTH finns med. Den här studien tyder på att dagens dimensioneringsnormer har en säkerhetsmarginal vid approximationer (vid både normalfall och vid flytt av kablar), men att det fortfarande saknas tillräckliga belägg för att rättfärdiga en flytt av spännkablar.Rapporten är skriven för CBI Betonginstitutet där G. Hassanzadeh har varit handledare.

In this thesis we describe subclasses of a class of graphs with three types of edges, called loopless mixed graphs (LMGs). The class of LMGs contains almost all known classes of graphs used in the literature of graphical Markov models. We focus in particular on the subclass of ribbonless graphs (RGs), which as special cases include undirected graphs, bidirected graphs, and directed acyclic graphs, as well as ancestral graphs and summary graphs. We define a unifying interpretation of independence structure for LMGs and pairwise and global Markov properties for RGs, discuss their maximality, and, in particular, prove the equivalence of pairwise and global Markov properties for graphoids defined over the nodes of RGs. Three subclasses of LMGs (MC, summary, and ancestral graphs) capture the modified independence model after marginalisation over unobserved variables and conditioning on selection variables of variables satisfying independence restrictions represented by a directed acyclic graph (DAG). We derive algorithms to generate these graphs from a given DAG or from a graph of a specific subclass, and we study the relationships between these classes of graphs. Finally, a manual and codes are provided that explain methods and functions in R for implementing and generating various graphs studied in this thesis.

Made available in DSpace on 2015-03-05T13:58:27Z (GMT). No. of bitstreams: 0 Previous issue date: 23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Uma das tarefas críticas na confecção de sistemas de software é a elicitação de requisitos, a qual configura uma ação de descoberta de conhecimento. Assim, muitas técnicas são empregadas na tentativa de minimizar conflitos de idéias, conceitos mal formados, interpretações redundantes e omissão de dados; sendo que, para tanto, o uso de cenários, entrevistas, cartões, viewpoints e diagramas de Use Case são utilizados como ferramentas para diminuir a distância entre o técnico e o usuário na definição dos requisitos. Além disso, os Mapas Conceituais têm sido empregados com muita eficiência em tarefas de captura de conhecimento, portanto, este trabalho utiliza esse conceito como forma de organizar, identificar, aprimorar conceitos e definições dos requisitos de um software de forma cooperativa, formatado em User Story da metodologia Extreme Programming (XP). Com esse objetivo, o processo é apoiado por uma ferramenta baseada na web, que automatiza a geração, organização e acompanhamento da captura dos requisitos ge / One of the hardest tasks of building a software system is requirements elicitation, which triggers a knowledge discovery action. Thus, many techniques are used with the intention to minimize idea conflicts, misformed concepts, erroneous interpretations and missing data; In order to achieve this goal, scenarios interviews, User Stories, viewpoints and Use Case diagrams are techniques to reduce the distance between the researcher and the user on requirement elicitation. Concept maps have been used as efficient way to represent knowledge. This research uses concept maps to deal with the organization, identification and improvement of concepts and software requirements definitions in a cooperative way, making use of the User Story format introduced by the Extreme Programming (XP) methodology. The proposed process is supported by a web-based tool, which automates the generation, organization and management of the requirements capture generated in the Concept Maps format

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2017-06-20T12:30:42Z No. of bitstreams: 1 Moisés Mário Cachepa_.pdf: 3004067 bytes, checksum: 24c7ce290fa414a34e3454c918c0403c (MD5) / Made available in DSpace on 2017-06-20T12:30:42Z (GMT). No. of bitstreams: 1 Moisés Mário Cachepa_.pdf: 3004067 bytes, checksum: 24c7ce290fa414a34e3454c918c0403c (MD5) Previous issue date: 2017-05-22 / CNPQ – Conselho Nacional de Desenvolvimento Científico e Tecnológico / O uso de adições minerais, como as pozolanas, tem sido adotado como adição ou substituição parcial do cimento, fundamentalmente na produção de concretos, com intuito de melhorar algumas das características, tais como redução de calor de hidratação, melhoria da trabalhabilidade, aumento da resistência à compressão, aumento da durabilidade em meios agressivos, redução da emissão de CO2, redução do aparecimento de eflorescência. Um sério problema de durabilidade é a reação álcali-agregado (RAA), que é um fenômeno que em geral se manifestam em estruturas de concreto massa, como barragens. A RAA é entendida como sendo um processo químico que ocorre em concreto, em que alguns constituintes mineralógicos presentes no agregado reagem com íons alcalinos, provenientes de hidróxidos originados na hidratação do cimento que estão dissolvidos na solução dos poros, formando um gel higroscópico expansivo. Este trabalho teve como objetivo avaliar a mitigação da reação álcali-agregado em concreto mediante o emprego de resíduos da cerâmica vermelha (RCV) e metacaulim (MK) como pozolanas. O RCV foi adquirido como resíduo de indústria da produção de blocos cerâmicos, enquanto que o MK é um produto comercializado, sabidamente mitigador da RAA e, geralmente, com elevada atividade pozolânica. Para se alcançar o objetivo, foram analisadas as características físicas, químicas, mineralógicas do RCV e do MK, e determinou-se o índice da atividade pozolânica. Tanto o RCV como o MK apresentaram índice de atividade pozolânica superior a 90%. O agregado utilizado foi classificado como potencialmente reativo por meio de análise de petrografia e do método acelerado de barras de argamassa. Para avaliação da eficiência das adições minerais na mitigação da RAA, empregou-se o método acelerado de barras de argamassa. As pozolanas isoladas e combinadas foram empregadas em teores de substituição de cimento de 20% e 30%. Avaliou-se também resistência à compressão e absorção capilar de água em 48h e 28 dias, submetidos à solução saturada de em Ca(OH)2; e em 28 dias de imersão em solução de NaOH. Com os resultados de expansão, foi possível verificar que todos os materiais e teores propostos promoveram uma mitigação da RAA em relação às amostras confeccionadas somente com cimento, com valores de expansão inferiores a 0,10%. Para os aglomerantes estudados, foi possível verificar que entre as pozolanas, quanto menor o equivalente alcalino, menores são as expansões. No entanto, as misturas somente com MK apresentam valores de equivalente alcalino similares ao cimento e as expansões são significativamente reduzidas. Para uma mesma relação Ca/Si dos aglomerantes, quanto maior for o teor de RCV menor é a expansão. Quando se avalia o teor de alumina dos aglomerantes, percebe-se que aqueles que contém MK apresentam o maior teor, mas, no entanto, não retornam as menores expansões, o que se explica pela sua maior dimensão média equivalente, em relação aos aglomerantes que contém RCV. A menor dimensão das partículas de RCV parecem aumentar o efeito mitigador que o teor de Al possui, pois a superfície de dissolução destas partículas é maior. A comparação dos resultados da resistência à compressão e absorção de água antes de iniciar o ensaio acelerado e após, bem como a comparação com as argamassas aos 28 dias que não sofreram ataques ajudam a enteder o comportamento das pozolanas na mitigação da RAA. / The use of mineral additions through pozzolans, both naturally and artificially, has been adopted by several civil engineering professionals through the partial substitution of cement primarily in the production of concrete slabs, with the aim of improving some of the characteristics such as: Reduction of the heat of hydration, improvement of the workability, increase of the resistance to compressive strength, increase of the durability in aggressive environments, reduction of the emission of CO2, reduction of the appearance of efflorescence and reduction of the expansions due to the alkali-aggregate reactions. One of the pathologies that greatly affects mass concrete structures such as dams is the alkali-aggregate reaction, which is understood to be a chemical process occurring in concrete, in which some mineralogical constituents present in the aggregate react with hydroxides from the cement that are dissolved In the solution of the pores forming an expansive hygroscopic gel. The elaboration of this work, on the one hand, was motivated by the fact that one of the main dams in Africa located in Mozambique, shows signs of expansion according to several authors and, on the other hand, as a way of evaluating the Pozolan potential of RCV and MK. This work aimed to evaluate the mitigation of the alkali-aggregate reaction in concrete through the use of residues of red ceramics and metakaolin as pozzolans. The RCV was purchased as a waste from the production of ceramic blocks, while the MK was from a commercial product. In order to reach the objective, the RCV and MK underwent an investigation taking into account physical, chemical, mineralogical characteristics and the determination of the index of the pozzolanic activity. Both RCV and MK had pozzolanic activity index higher than the 90% established by NBR 12653 (2014). The aggregate used was classified as potentially reactive through analyzes of petrography, DRX, FRX and accelerated method of mortar bars. For the evaluation of RAA, samples were prepared and analyzes of aggregate reactivity and mineral additions efficiency were performed using the accelerated method of mortar bars, compressive strength and water capillary absorption in a substitution of 20% and 30% of cement by RCV, MK and RCV + MK, in the following curing ages: 48h, 28 days in Ca (OH) 2 and 28 days of immersion in NaOH solution. By the expansion results, it was possible to verify that all materials and cement substitution contents by pozzolans proposed had a reduction of less than 0.10% recommended by ASTM C1567 (2013), classified as insufficient to cause deleterious reactions due to potential Pozolânico of the MK and RCV. It was possible to verify that the higher the alkaline equivalent, the larger the expansions, the smaller the Ca / Si ratio, the smaller the expansions, the higher the alumina content, the smaller the expansions, the smaller the average equivalent size Of the particles, the smaller the expansions, and the larger the total porosity, the larger the expansions. The results of the compressive strength and water absorption showed that the mixtures submitted to the accelerated test presented worse performance in relation to the cured mixtures in Ca (OH) 2 due to the microstructure of the mortars, creating internal microcracks, or because the formed gel permeable to water penetration.

The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. We identify critical problems and trends when certifying safety critical software and propose a proof-of-concept using static analysis, model checking and incremental SAT solving as a contribution towards solving the identified problems. We present quantitative execution times and code coverage results of our proposed solution. The proposed solution is developed under the assumptions of safety critical software standards and compared to other studies proposing similar methods. Lastly, we conclude the issues and advantages of our proof-of-concept in perspective of the software developer community

Ce travail de thèse est essentiellement consacré à l'investigation des populations de zircons et de l'âge des protolithes des formations varisques grâce à une datation U-Pb in situ systématique par le couplage Laser/MC-ICPMS, dans des formations orthodérivées, métasédimentaires et magmatiques tardi-orogéniques du Massif Central français et du domaine Sud armoricain. Cette étude a montré que les populations de zircons sont largement héritées, s'étalant de l'Archéen au Paléozoïque inférieur. L'ensemble des pics d'âges obtenus, ainsi que l'absence d'âge mésoprotérozoïque (1.7-1.1 Ga) accréditent l'affinité gondwanienne de ces formations. Des âges maximum de dépôt sont proposés pour les métasédiments des principales unités définies dans le Massif Central. Ces âges maximum de dépôt sont décroissants suivant l'empilement lithotectonique reconnu. En marge de ce travail, nous avons pu déterminer que les âges de mise en place des granitoïdes du Sillon Houiller (Massif Central) et du golfe du Morbihan se situent aux alentours de 300 Ma. Des âges plus anciens, principalement obtenus sur monazite lors d'études antérieures, ont été réinterprétés comme des âges hérités. L'abondance de zircons hérités d'âge ordovicien et néoprotérozoïque met en évidence la large contribution des métagranites et métasédiments fertiles de ces périodes dans la source des granites tardi-orogéniques varisques. Le granite de Sarzeau expose de plus les traces d'un protolithe silurien. Le recyclage de la croûte continentale est caractérisé par une évolution polycyclique au cours de l'orogénèse varisque, avec tout d'abord l'érosion de formations du craton africain, majoritairement d'âge néoprotérozoïque, puis la superposition des événements magmatiques cambro-ordoviciens et syn-orogéniques varisques.