Linguagem de especificação leve Hoare-separação para java

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Formulação de grautes leves para a cimentação de poços de petróleo onshore

Grautes are dry mixes with hydraulic characteristics widely used in construction. This material comprises cement, mineral additives and dosed in accordance with the desired properties. The use of grautes in cementing oil wells potentially increases the precision in the composition of the mixture, since it is requires only the addition of the mixing water before its pumping. Such benefit may be availed in cementing wells since the formulations grautes meet the temperature and pressure characteristics typical of wells. The objective of this study is to evaluate the effect of adding different percentages of industrial minerals properties of light grautes for onshore oil wells. For the formulation of the employees were grautes light industrial minerals and waste minerals abundant in the Northeast, in addiction to Portland cement and chemical additives Special class. Grautes were formulated with densities between 1.55 g/cm3 (13.0 lb/gal) and 1.68 g/cm3 (14 lb/gal). Tests results showed that grautes with higher density in the range studied meet the specifications for cementation of shallow wells onshore. The compositions lighter can also be adjusted for applying the material in the cementation of oil wells

Influência da vermiculita expandida na formulação de pastas leves para evitar a migração de gás em cimentação de poços petrolíferos

The gas migration during the cementing of wells is one of the main problems of oil wells engineering. Its occurrence can cause severe problems since shortly to loss of control of the well after cementation. Recently, 20/04/2010 In an accident of major proportions in the Gulf of Mexico, among other factors, faulty cementing operation provided the gas migration, causing the accident, in which 11 people died and 17 were injured occurred. Besides the serious consequences that can be caused by gas migration, remediation of the problem, which is made by injecting cement in damaged areas, usually involves additional costs and is not always effective. Therefore, preventing gas migration to be preferred. Some methods are used to prevent the migration of the pressurized gas as the annular space, application of pressure pulses, reducing the height of the cement column compressible cement pastes of low permeability, pastes and to control free filtered water, and binders of thixotropic cement expandable and flexible. Thus, the cement pastes used to prevent gas migration must meet the maximum these methods. Thus, this study aimed to formulate a cement paste to prevent gas migration, using the expanded vermiculite, and evaluate the behavior of the folder trials necessary for use in oil wells. Free water content, rheological properties, compressive strength, loss of liquid phase sedimentation of solids, specific weight, thickening time and gas migration: The following tests were performed. The results show that meets the specifications paste formulated for use in oil wells and the use of expanded vermiculite contribute to the absorption of free water, thixotropy and low density. The absorption of free water is proven to result in zero percentage test free water content, thixotropy is observed with the high value of the initial gel strength (Gi) in testing rheological properties and low density is proven in test weight specific

Formulação de grautes leves para a cimentação de poços de petróleo onshore

Grautes are dry mixes with hydraulic characteristics widely used in construction. This material comprises cement, mineral additives and dosed in accordance with the desired properties. The use of grautes in cementing oil wells potentially increases the precision in the composition of the mixture, since it is requires only the addition of the mixing water before its pumping. Such benefit may be availed in cementing wells since the formulations grautes meet the temperature and pressure characteristics typical of wells. The objective of this study is to evaluate the effect of adding different percentages of industrial minerals properties of light grautes for onshore oil wells. For the formulation of the employees were grautes light industrial minerals and waste minerals abundant in the Northeast, in addiction to Portland cement and chemical additives Special class. Grautes were formulated with densities between 1.55 g/cm3 (13.0 lb/gal) and 1.68 g/cm3 (14 lb/gal). Tests results showed that grautes with higher density in the range studied meet the specifications for cementation of shallow wells onshore. The compositions lighter can also be adjusted for applying the material in the cementation of oil wells

Influência da vermiculita expandida na formulação de pastas leves para evitar a migração de gás em cimentação de poços petrolíferos

The gas migration during the cementing of wells is one of the main problems of oil wells engineering. Its occurrence can cause severe problems since shortly to loss of control of the well after cementation. Recently, 20/04/2010 In an accident of major proportions in the Gulf of Mexico, among other factors, faulty cementing operation provided the gas migration, causing the accident, in which 11 people died and 17 were injured occurred. Besides the serious consequences that can be caused by gas migration, remediation of the problem, which is made by injecting cement in damaged areas, usually involves additional costs and is not always effective. Therefore, preventing gas migration to be preferred. Some methods are used to prevent the migration of the pressurized gas as the annular space, application of pressure pulses, reducing the height of the cement column compressible cement pastes of low permeability, pastes and to control free filtered water, and binders of thixotropic cement expandable and flexible. Thus, the cement pastes used to prevent gas migration must meet the maximum these methods. Thus, this study aimed to formulate a cement paste to prevent gas migration, using the expanded vermiculite, and evaluate the behavior of the folder trials necessary for use in oil wells. Free water content, rheological properties, compressive strength, loss of liquid phase sedimentation of solids, specific weight, thickening time and gas migration: The following tests were performed. The results show that meets the specifications paste formulated for use in oil wells and the use of expanded vermiculite contribute to the absorption of free water, thixotropy and low density. The absorption of free water is proven to result in zero percentage test free water content, thixotropy is observed with the high value of the initial gel strength (Gi) in testing rheological properties and low density is proven in test weight specific

Fontes de metionina em rações formuladas com base em aminoácidos totais ou digestíveis para frangas de reposição leves e semipesadas

Foram conduzidos dois experimentos com o objetivo de avaliar a utilização de duas fontes de metionina (em pó ou líquida) em rações formuladas com base em aminoácidos digestíveis ou totais para frangas de reposição leves e semipesadas, nas fases inicial (de 1 a 6 semanas de idade) e de crescimento (de 11 a 16 semanas de idade). Em cada experimento, foram utilizadas 384 aves distribuídas em delineamento inteiramente ao acaso, em esquema fatorial 2 × 2 × 2, composto de duas linhagens (Hy-Line W36 e Hy-Line Brown), duas fontes de metionina (HMTBA - 88% e DL-Metionina - 99%) e dois critérios de formulação da dieta (aminoácidos totais e digestíveis), totalizando oito tratamentos, cada um com seis repetições de oito aves. Foram avaliados os consumos de ração, proteína bruta e energia metabolizável, o peso e ganho de peso corporal e a conversão alimentar das aves. Não houve interação entre os fatores para nenhuma das variáveis estudadas. As aves da linhagem Brown apresentaram maior consumo de ração, peso corporal e ganho de peso. As fontes de metionina e os critérios de formulação de ração não influenciaram as características de desempenho. As aves das linhagens W36 e Brown da linhagem Hy-Line apresentam diferentes perfis de desenvolvimento corporal. A metionina em pó (DL-metionina - 99%) ou a líquida (HMTBA - 88%), assim como os critérios de formulação de ração (aminoácidos totais ou digestíveis) proporcionam desempenho semelhante em aves de reposição.

Argamassas leves para execução de camadas de regularização e de enchimento de pavimentos

Este trabalho aborda os aspectos relacionados com a execução de argamassas e betões leves para execução de camadas de regularização e enchimento de pavimentos, apresentando opções actuais, de forma a estabelecer uma metodologia de comparação, técnicas de execução e respectivo controlo. A execução destas camadas deve-se à necessidade de incorporar nos pavimentos as diversas instalações técnicas, à colocação de isolamentos e à criação de pendentes em coberturas planas. As opções apresentadas referem-se à execução das referidas argamassas, utilizando um dos seguintes agregados leves: granulado de poliestireno expandido; argila expandida e o regranulado negro de cortiça; e o betão celular. Sendo o pavimento um conjunto integrado de camadas, cada qual com a sua função, deverão as mesmas ser analisadas em conjunto de forma a ser possível a sua compatibilização e consequente optimização, visando-se assim a economia e a qualidade exigível. Este trabalho permitiu concluir que a utilização destes materiais, com as suas características específicas, é vantajosa em termos de redução das acções permanentes, comparticipação no conforto térmico e acústico. Por outro lado, juntamente com a camada de acabamento, asseguram a função de base para assentamento dos revestimentos de piso.

Geração de código VHDL a partir de especificações IOPT PNML2VHDL

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção de grau de Mestre em Engenharia Electrotécnica e de Computadores

Durabilidade de argamassas poliméricas de agregados leves

Dissertação para obtenção do grau de Mestre em Engenharia Civil, na especialidade de Estruturas e Geotecnia

Estudo dos efeitos da composição e das dimensões no comportamento mecânico das argamassas poliméricas de agregados leves

Dissertação para obtenção do Grau de Mestre em Engenharia Civil na especialidade de Estruturas e Geotecnia

Análise de elementos leves por reacções nucleares com produção de radiação gama

Dissertação apresentada para obtenção do grau de Doutor em Física,especialidade de Física Nuclear,pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Sistemas eólicos de energia mais leves que o ar

Os produtores associados às energias eólicas tem nos últimos anos procurado novas formas de produção de energia elétrica mais eficientes e menos dispendiosas que as tecnologias atuais. As soluções atuais apresentam ainda elevados custos de instalação e manutenção para além de terem associadas a si o traço intermitente e irregular do seu recurso natural – o vento. Entre muitas alternativas em estudo, as tecnologias (LTA - Lighter than Air) tem merecido particular interesse devido aos anos de experiência e saber acumulado na área e muito em parte devido ás potencialidades económicas que estas deixam em aberto. A prova chega-nos por mão da Altaeros Energies, start-up fundada no MIT que já tem em fase de testes o seu primeiro protótipo BAT - Buoyant Airborne Turbine (Turbina aerogeradora flutuante). Este artigo ambiciona apresentar esta tecnologia e os seus princípios de funcionamento destas tecnologias, utilizando como exemplo o protótipo da Altaeros que será alvo de um estudo ao nível das suas características aerodinâmicas, bem como ao nível da sua viabilidade económica.

Utilização de materiais de aterro leves do domínio das obras geotécnicas

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Construção

Avaliação experimental de compósitos de agregados leves impregnados com PCM, para aplicação em pavimentos rodoviários

Este trabalho visa, em primeiro lugar, a caracterização experimental do comportam ento de argamassas com materiais de mudança de fase (PCM) incorporados através de agregados leves, comparativamente com argamassas de referência sem incorporação de PCM. Verifica-se que a aplicação de argamassas com PCM em camadas de desgaste de pavimentos contribui para a minimização dos potenciais efeitos negativos de gelo e degelo. Os estudos experimentais permitem concluir que o método utilizado de impregnação de PCM em materiais porosos, para posterior incorporação em argamassa ou betão, é um método simples, mas muito eficaz. Os resultados indicam ainda que os materiais compósitos com PCM incorporado, podem melhorar a inércia térmica, bem como, atrasar o tempo de eventual ocorrência de congelamento sob a camada de desgaste de um pavimento

Geração de aplicações a partir de especificações UML como fator de sucesso para o desenvolvimento de sistemas de informação

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação