Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Incorporação do vínculo de suavidade no ajuste de histórico de reservatórios de petróleo

The history match procedure in an oil reservoir is of paramount importance in order to obtain a characterization of the reservoir parameters (statics and dynamics) that implicates in a predict production more perfected. Throughout this process one can find reservoir model parameters which are able to reproduce the behaviour of a real reservoir.Thus, this reservoir model may be used to predict production and can aid the oil file management. During the history match procedure the reservoir model parameters are modified and for every new set of reservoir model parameters found, a fluid flow simulation is performed so that it is possible to evaluate weather or not this new set of parameters reproduces the observations in the actual reservoir. The reservoir is said to be matched when the discrepancies between the model predictions and the observations of the real reservoir are below a certain tolerance. The determination of the model parameters via history matching requires the minimisation of an objective function (difference between the observed and simulated productions according to a chosen norm) in a parameter space populated by many local minima. In other words, more than one set of reservoir model parameters fits the observation. With respect to the non-uniqueness of the solution, the inverse problem associated to history match is ill-posed. In order to reduce this ambiguity, it is necessary to incorporate a priori information and constraints in the model reservoir parameters to be determined. In this dissertation, the regularization of the inverse problem associated to the history match was performed via the introduction of a smoothness constraint in the following parameter: permeability and porosity. This constraint has geological bias of asserting that these two properties smoothly vary in space. In this sense, it is necessary to find the right relative weight of this constrain in the objective function that stabilizes the inversion and yet, introduces minimum bias. A sequential search method called COMPLEX was used to find the reservoir model parameters that best reproduce the observations of a semi-synthetic model. This method does not require the usage of derivatives when searching for the minimum of the objective function. Here, it is shown that the judicious introduction of the smoothness constraint in the objective function formulation reduces the associated ambiguity and introduces minimum bias in the estimates of permeability and porosity of the semi-synthetic reservoir model

Aplicação da geologia de engenharia na redução de risco geológico urbano em Itapecerica da Serra - SP: estudo de caso

O município de Itapecerica da Serra, Região Metropolitana de São Paulo (RMSP), possui uma população de 162 mil habitantes e cerca de 150 km² de área. As características geológicas e geomorfológicas do seu território e o fato de localizar-se quase inteiramente em área de proteção aos mananciais que abastecem a RMSP implicam restrições ao uso do solo e à expansão da ocupação nos moldes em que vem ocorrendo. O diagnóstico das áreas de risco geológico do município foi uma das atividades implementadas para a execução do Plano Municipal de Redução de Riscos (PMRR) do município. O PMRR tem por objetivo apresentar os resultados da identificação e da análise das situações de risco geológico-geotécnico, criando propostas de intervenções estruturais para a sua eliminação e/ou redução, estimativas de custo e estratégias para a gestão de risco no município. O mapeamento do risco geológico foi realizado em 35 áreas, onde foram identificados 66 setores de risco englobando, 419 moradias, sendo 175 moradias em setores cujo grau de risco foi classificado como alto ou muito alto. As propostas de intervenção estrutural buscaram a aderência entre o processo geodinâmico atuante e a tipologia de intervenção sugerida para estabilização e controle. A definição de critérios para a hierarquização das intervenções propostas contribuiu para a inserção das propostas do PMRR no planejamento plurianual do município de Itapecerica da Serra.

Utilização de sismógrafos de engenharia como ferramenta no controle de qualidade de acessórios de detonação não elétricos

Nesse artigo, são apresentados os trabalhos realizados com o objetivo de verificar se a elevada dispersão dos valores de velocidade de partícula obtidos durante monitoramentos de vibrações decorrentes de desmontes de rocha com a utilização de explosivos, em mineração localizada no município de Limeira (SP), vinculava-se a variações nos tempos dos elementos de retardo dos acessórios de detonação em relação aos nominais. Os experimentos foram realizados em janeiro e junho de 2004. O procedimento adotado para estimar os tempos de retardo de acessórios de detonação não elétricos redundou em resultados que apresentam consistência, necessitando, porém, de estudos mais aprofundados. Os dados obtidos indicam a necessidade de considerar sua ocorrência quando da elaboração de planos de fogo, por suas implicações: ambientais, que inclui aspectos relativos à segurança e econômicas.

Aplicação da técnica de caminhamento elétrico em área contaminada por derivados de petróleo

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Aplicação de métodos geofísicos no monitoramento de área contaminada sob atenuação natural

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Balanço energético em galpão de frangos de corte

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Análise energética na produção de feno de Cynodon dactylon (L.) Pers

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Avaliação do desempenho de um aquecedor para aves adaptado para utilizar biogás como combustível

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Polímeros biorreabsorvíveis como substrato para cultura de células e engenharia tecidual

Biomateriais poliméricos são desenvolvidos para uso como substitutos de tecidos danificados e/ou estimular sua regeneração. Uma classe de biomateriais poliméricos são os biorreabsorvíveis, compostos que se decompõem tanto in vitro quanto in vivo. São empregados em tecidos que necessitam de um suporte temporário para sua recomposição tecidual. Dentre os vários polímeros biorreabsorvíveis, destacam-se os alfa-hidróxi ácidos, entre eles, diferentes composições do poli(ácido lático) (PLA), como o poli(L-ácido lático) (PLLA), poli(D-ácido lático) (PDLA), poli(DL-ácido lático) (PDLLA), além do poli(ácido glicólico) (PGA) e da policaprolactona (PCL). Estes polímeros são considerados biorreabsorvíveis por apresentarem boa biocompatibilidade e os produtos de sua decomposição serem eliminados do corpo por vias metabólicas. Diversas linhas de pesquisa mostram que os diferentes substratos à base de PLA estudados não apresentam toxicidade, uma vez que as células são capazes de crescer e proliferar sobre eles. Além disso, diversos tipos de células cultivadas sobre diferentes formas de PLA são capazes de se diferenciarem sobre os diferentes polímeros e passar a produzir componentes de matriz extracelular. Neste trabalho, é revisada a utilização de substratos à base de alfa-hidróxi ácidos, com destaque para diferentes formas de PLA, utilizados como substratos para cultura de células, bem como suas aplicações.

Metodologia para determinar parâmetros petrofísicos de corte em um campo de petróleo: o caso Socororo, bacia do Oriente, Venezuela

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O processamento automático de línguas naturais enquanto engenharia do conhecimento linguístico

In this paper, we provide a brief description of the multidisciplinary domain of research called Natural Language Processing (NLP), which aims at enabling the computer to deal with natural languages. In accordance with this description, NLP is conceived as "human language engineering or technology". Therefore, NLP requires consistent description of linguistic facts on every linguistic level: morphological, syntactic, semantic, and even the level of pragmatics and discourse. In addition to the linguistically-motivated conception of NLP, we emphasize the origin of such research field, the place occupied by NLP inside a multidisciplinary scenario, their objectives and challenges. Finally, we provide some remarks on the automatic processing of Brazilian Portuguese language.

Cartera de inversiones de los países exportadores de petróleo: diversificación orientada hacia América Latina

Incluye Bibliografía

Utilização do coque verde de petróleo da Petrobras em substituição parcial ao carvão mineral das misturas injetadas em altos fornos

The Petrobras produced green petroleum coke (GPC) is a carbon rich fuel, virtually ash-free, with low sulfur content, and is a fuel suitable to replace metallurgical coke in blast furnaces. The GPC was tested in a pulverized coal injection simulator built in the Volta Redonda research center. It presented a low burning efficiency due to low volatile material content and high substitution rate by the carbon content. The tests were carried out in blast furnaces with ≤ 50% Petrobras GPC in the coal blends. The injected coal/CVP mixtures produced no negative side effects in the blast furnace grinding systems, pneumatic conveying, or operating process. The mixture burning process inside the blast furnace showed a decrease in fuel consumption, with a significant reduction in metallurgical coke consumption. The industrial-scale tests of the GPC mixtures did not reach the 70% maximum for lack of the GPC feedstock, which is necessary to continue with standard coal mixtures.

Efectos del alza del precio del petróleo en la competitividad de las exportaciones manufactureras de Centroamérica, México y la República Dominicana

Incluye Bibliografía