Model checking Z specifications using SAL

The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems. Tools supported include a simulator and four temporal logic model checkers. The common input language to these tools was originally developed with translation from other languages, both programming and specification languages, in mind. It is, therefore, a rich language supporting a range of type definitions and expressions. In this paper, we investigate the translation of Z specifications into the SAL language as a means of providing model checking support for Z. This is facilitated by a library of SAL definitions encoding the Z mathematical toolkit.

DEMANDA DE MÃO DE OBRA DA PETROBRAS POR NÍVEIS DE COMPETÊNCIAS A PARTIR DA DESCOBERTA DO PRÉ-SAL

A pesquisa possui como objetivo geral levantar, analisar, quantificar e classificar por níveis de competências quais foram os profissionais recrutados pela Petrobras no período pós-descoberta da camada do pré-sal brasileiro. A pesquisa se justifica pela previsão de crescimento da produção nacional de petróleo e gás natural estimada para os próximos anos o que poderá causar um descompasso entre a oferta e a demanda de mão de obra para o seu desenvolvimento. A abordagem metodológica desenvolvida para realização da pesquisa foi a da pesquisa exploratória, descritiva e documental, através de análise qualitativa e quantitativa longitudinal. Como resultado, a pesquisa revelou que a Petrobras não recruta profissionais para posições de nível gerencial. Os resultados demonstraram ainda que 56,8% das vagas abertas ao recrutamento são destinadas aos profissionais com formação de nível médio e que 76,4porcento das vagas são relacionadas ao processo fabril evidenciando que a Petrobras utiliza como porta de entrada a contratação de profissionais de nível médio com formação técnica. Ao realizar a classificação e qualificação da oferta de vagas abertas ao recrutamento a pesquisa identificou cinco grupos de profissionais distribuídos por três eixos de carreira e quatro níveis salariais que quando categorizados por níveis de competências que foram responsáveis por 69porcento de todas as vagas abertas ao recrutamento. Os dois primeiros grupos em relevância estão relacionados ao eixo de carreira de operações industriais onde o nível superior (O6) e o nível inferior (O1) foram os responsáveis por 22porcento e 21porcento respectivamente do total da oferta de vagas no período. O terceiro grupo em importância diz respeito ao eixo de carreira engenharia, processos e projetos onde os profissionais categorizados com nível médio (E3) numa escala de dois a cinco foram os responsáveis por 13porcento do total de vagas abertas. O quarto e quinto grupos estão relacionados ao eixo de carreira gestão de negócios e categorizados por níveis de competências nos níveis três (G3) e quatro (G4) em uma escala de um a cinco sendo estes responsáveis 7porcento e 6porcento do total de vagas.

O QUE QUERES QUE EU TE FAÇA? - EM BUSCA DE UMA METODOLOGIA DA CONVIVÊNCIA NA AÇÃO PASTORAL PARA A POPULAÇÃO SOBRANTE DOS CENTROS URBANOS: ESTUDO DE CASO DA MISSÃO SAL EM SANTO A NDRÉ.

Um dos grandes desafios a serem enfrentados pelas cidades brasileiras é a problemática vivenciada pela população em situação de rua, cada vez mais numerosa nos centros urbanos. Essa população heterogênea e complexa vem sendo cada vez mais, alvo de discussões que buscam compreendê-la melhor, tentando quantificá-la e descrevê-la para delinear caminhos de intervenção em sua situação-limite, que melhor contemple suas necessidades. As ações pastorais adotadas com a população em situação de rua nas cidades, por sua vez, geralmente têm privilegiado o proselitismo e o assistencialismo, que acabam por reproduzir os mecanismos que os excluem e os tornam sobrantes em todos os aspectos da vida, inclusive da própria religião. Essa postura se explica por sua pastoral estar pautada no antigo paradigma de missão, no qual o assistido não tem voz e torna-se apenas um depositário de assistência e de dogmas. Na busca de uma ação pastoral alternativa, encontramos a Missão SAL, em Santo André, que realiza sua missão a partir da convivência familiar com pessoas sobrantes dos centros urbanos, como aquela que pode revelar-se uma importante expressão do rosto da missão para eles. Assim, a presente dissertação se propôs a analisar a ação pastoral da Missão SAL a partir da seguinte pergunta norteadora: A ação pastoral adotada pela Missão Sal possui suas bases em uma metodologia da convivência, que promova o diálogo, devolvendo a voz às pessoas sobrantes que acolhe, contribuindo para a construção de sua autonomia? A metodologia utilizada contou com dois momentos distintos. Iniciamos com a sistematização de referencial bibliográfico sobre a população em situação de rua, especialmente o que convencionamos chamar de sobrantes, bem como o contexto em que esta está inserida na contemporaneidade e a sistematização da bibliografia sobre o referencial teórico para uma avaliação crítica da metodologia de ação pastoral utilizada na Missão SAL. Em seguida nos detivemos ao estudo de caso, que teve como objeto a metodologia de ação pastoral da Missão SAL, em Santo André, que foi analisada a partir da observação participativa e de entrevistas não estruturadas com os moradores da casa. Essa dissertação está composta em três capítulos. O primeiro capítulo buscou apresentar os sobrantes que fazem parte de um exército de excluídos e marginalizados, que vivem em situação de rua nos centros urbanos, apontando sua relação com a cidade. O segundo capítulo apresentou os resultados obtidos no estudo de caso da Missão SAL e, por fim, o terceiro capítulo procurou apontar caminhos para uma metodologia da convivência na ação pastoral para a população sobrante dos centros urbanos, como aquela que pode contribuir para a autonomia dessa população.

Estudo da injeção de água e gás em um reservatório com características do pré-sal brasileiro

The pre-salt province is composed by large amounts of light oil and with good quality, a reality that puts Brazil in a strategic position facing the great demand for energy worldwide. In this province are the largest discoveries in the world in the last ten years; areas as Libra, Franco and Lula field, everyone containing volumes greater than 8 billion recoverable oil barrels. To develop and optimize the production of these fields, a study was done for choosing the improved oil recovery methods. The main motivations were the presence of carbon dioxide (CO2) as a contaminant and the strategic decision of do not discard it, combined with high GOR (gas-oil ratio) of the reservoir fluid. The method should take advantage of the unique abundant resources: seawater and produced gas. This way, the process of matching these resources in the water alterning gas injection (WAG) became a good option. In this master’s dissertation, it was developed a reservoir model with average characteristics of the Brazilian pre-salt, where was applied the improved oil recovery method of water alternating gas. The production of this reservoir was analyzed by parameters as: the first fluid injected in the injection process, position of the injection wells completion, injection water and gas rate and cycle time. The results showed a good performance of the method, with up to 26% of gains in the recovery factor regarding the primary recovery, since the application of water injection and gas, individually, was not able to overcome 10 % of gain. The most influential parameter found in the results was the cycle time, with higher recovery factor values obtained with the use of shorter times.

O uso de redes neuronais artificiais na estimação do preço das habitações na ilha do sal, em Cabo Verde

Esta dissertação tem como objetivo desenvolver um modelo de redes neuronais artificiais para aferir as caraterísticas das habitações que mais influenciam o preço na Ilha do Sal, em Cabo Verde. Foram consideradas caraterísticas como: área, número de quartos, existência de varandas, existência de terraços, número de casas de banho, localização do imóvel, número de andares e proximidade com instituições públicas. A amostra utilizada considerou 1092 habitações no período de 2009 a 2014. Para além da análise baseada no desenvolvimento do modelo de redes neuronais, efetuou-se a análise pela estimação do modelo dos preços hedónicos. Os resultados do modelo de redes neuronais artificiais permitiram verificar que o preço das habitações é fortemente influenciado pela área, e em seguida pela localização. A existência de caraterísticas, tais como a proximidade com a câmara municipal e finanças e existência de varandas, são as variáveis que menos influenciam o preço das habitações na Ilha do Sal. Os resultados da estimação com o modelo dos preços hedónicos indicam que o preço das habitações é fortemente influenciado por algumas variáveis representativas de características estruturais, localização e de vizinhança. Algumas dessas variáveis têm efeito estatisticamente significativo positivo no preço tais como, a localização do imóvel em Algodoeiro- Santa Maria, o número de quartos e a área. Outras variáveis têm efeito estatisticamente significativo negativo no preço, tais como a localização do imóvel no Bairro Novo e a proximidade com o hospital. Os resultados mostram que comparativamente com o modelo de preços hedónicos, o modelo de redes neuronais artificiais representa uma melhor alternativa para a previsão dos preços das habitações na Ilha do Sal, isto considerando a comparação dos erros estimados entre os modelos e as medidas de desempenho comumente utilizadas.

Las puestas comunales de Hemidactylus boavistensis en la isla de Sal (Archipiélago de Cabo Verde)

[ES]De acuerdo con Pough (1973), los requerimientos metabólicos de un saurio de pequeño tamaño determinan que su dieta deba ser básicamente insectívora. El mismo autor añadía que cuando el lagarto sobrepasa un determinado tamaño esa dieta basada en el consumo exclusivo de artrópodos ya no va a permitirle cubrir sus necesidades energéticas básicas y debe, por eso, buscar alternativas. Aunque en términos generales muchas especies se ajustan bastante bien a estas “reglas” ecofisiológicas, en los últimos 25 años han sido numerosos los trabajos publicados en los que se han recogido ejemplos que contravienen las previsiones de ese modelo, especialmente cuando se trata de lagartos que viven en comunidades insulares (Pérez Mellado & Corti, 1999; Cooper & Vitt, 2002; Espinoza et al., 2004).

Infiltração de sal de alumínio em fibras de sisal para obtenção de fibras de alumina

ANDRADE JR., T. E. et al. Infiltração de sal de alumínio em fibras de sisal para obtenção de fibras de alumina. Cerâmica, v.51, n.317, p.37-41.ISSN 0366-6913. Disponível em:. Acesso em: 06 out. 2010.

La tortuga fósil de la isla de Sal (Archipiélago de Cabo Verde)

[ES] Se describe una nueva especie de tortuga terrestre fósil para la isla de Sal en función de cuatro restos óseos: un fémur, dos huesos del caparazón y un cráneo incluido en una matriz caliza. La nueva especie, relativamente próxima a la actual Geochelone sulcata del Sahel, se caracteriza por presentar un tamaño más pequeño que ésta (longitud del caparazón próxima a los 400 mm) y por ser mucho menos robusta.

Infiltração de sal de alumínio em fibras de sisal para obtenção de fibras de alumina

ANDRADE JR., T. E. et al. Infiltração de sal de alumínio em fibras de sisal para obtenção de fibras de alumina. Cerâmica, v.51, n.317, p.37-41.ISSN 0366-6913. Disponível em:. Acesso em: 06 out. 2010.

Relación entre la ingesta de sal y la presión arterial en pacientes hipertensos

Introducción: La hipertensión arterial resistente o refractaria al tratamiento supone un serio problema de salud pública y aunque, no están claros los mecanismos por los que se produce esta resistencia, se sospecha que el consumo de sodio puede jugar un papel importante en el mantenimiento de la misma. Objetivo: Determinar si los pacientes con hipertensión resistente toman sodio oculto en los alimentos ingeridos en su dieta; así como relacionar este consumo con sus hábitos dietéticos. Pacientes y Métodos: Se estudiaron 32 pacientes con una media de edad de 74,25±6,38 años, (65,6% hombres y 34,4% mujeres). Se realizó un estudio descriptivo y transversal mediante entrevista estructurada sobre consumo de alimentos. Se estudió: edad, género, estado civil, presión arterial, responsable de la elaboración de las comidas, índice de masa corporal (IMC), consumo de sodio oculto en la dieta y percepción de los pacientes sobre su consumo de sodio. Resultados: Se encontró una ingesta media real de 3693,56±2330,97 mg de sodio. En el 59,4% de los casos las comidas las elaboraba otra persona diferente al paciente, siendo mayor el consumo de sodio en estos pacientes (3.709,44±529,37 frente a 3.677,69±649,27 mg. Respecto a la percepción sobre la cantidad de sodio ingerida, el 9,4% decían no tomar nada, el 56,3% poco, el 21,9% lo normal y el 12,5% bastante. Los que decían no tomar nada de sodio y lo normal, el mayor aporte lo hacían durante la cena; y los que decían tomar poco sodio y bastante, era en el almuerzo. Se encontró correlación significativa entre ingesta de sodio total e IMC (r=0,411, p & lt0,05). No se encontró relación entre consumo de sodio y hipertensión arterial. Conclusiones: Al menos en la muestra estudiada, no existe relación entre ingesta de sodio y presión arterial; existe una relación directa entre consumo de sodio y la persona que cocina. Por otro lado, la percepción que tienen estos pacientes respecto a su consumo de sodio es adecuada.

Geografia da dominação: um estudo sobre a organização espacial da terra do sal (Macau-RN)

This work aims to understand the spatial organization in the Town of Macau, State of Rio Grande do Norte, Brazil. This approach focus on bringing back the history of the town, the main personages responsible for the construction of this place, denominated "social agents", as well as its social processes and the spatial forms derived from them. As the personages and their practices were identified, it was found out the existence of a driving force for structuring, interlocking, and maintaining the actions carried out by the social agents during the time. Such actions were materialized in the urban space: "the social segregation". The social segregation takes place as a specific geography of domination. The outcome of those owning the best areas" and ways of accessibility in the urban space, varies from the enrichment by property valorization, because of the concentration of public investments of infrastructure, to the comfort of easily reaching all the daily needs related to the displacements in the urban space. In the latter case, such facility has contributed to improve life quality. While one takes advantage of the location in the urban space, others are negatively affected by the same process. This research identified the salina worker as the weakest element of this social structure, occupying the urban periphery of the town of Macau. Such area is characterized by the lack of services and urban equipment in opposition to the center of the town, the locus of elite. This way, it is established the most known segregation pattern: center x periphery, in which the space acts as a mechanism of segregation

Teor de sal e de gordura em refeições prontas a comer

Introdução: Os consumidores estão cada vez mais exigentes e conscientes do impacto na saúde do consumo de determinados alimentos. O estilo de vida das famílias tem sofrido alterações profundas, traduzindo-se essencialmente na falta de tempo para preparar as refeições. Por esse motivo, recorrem cada vez mais à aquisição de alimentos confecionados ou pré-confecionados. Objetivos: Determinar os teores totais de sal e de gordura de refeições prontas a comer, e avaliar os benefícios/riscos para a saúde da população Portuguesa, tendo por base as recomendações de referência e o consumo destes produtos. Métodos: Foram adquiridas, em 2015, em grandes superfícies da região de Lisboa, 24 refeições prontas a comer, sendo 12 fornecidas por cadeias de fast-food. O teor de sal foi determinado utilizando o método de Charpentier-Volhard. O teor de gordura total foi determinado pelo método de hidrólise ácida, seguido de extração em Soxhlet com éter de petróleo. Os valores obtidos foram comparados com os valores de referência do Regulamento (UE) N.º 1169/2011 e com as orientações da Organização Mundial de Saúde. Resultados: O teor de gordura total das refeições analisadas variou entre 9,70 g/porção (dobrada com feijão branco) e 69,3 g/porção (hambúrguer de carne de vaca com batata frita). Em 75% das refeições analisadas o teor de sal foi superior a 2,5 g/porção, representando mais de 50% da dose diária de referência para o consumo de sal. De uma forma geral, o teor de sal era inferior nas refeições de fast-food comparativamente às outras refeições analisadas. Conclusões: Grande parte das refeições analisadas apresenta um elevado teor de gordura e de sal. Parece recomendável a sua reformulação, no sentido de se tornarem produtos mais saudáveis, promovendo a saúde pública. Num futuro próximo, pretende-se alargar este trabalho de investigação a um maior número de refeições.

Análise comparativa entre as propriedades do gesso obtido de rejeito da produção de sal e gesso comerciais

The environmental impacts, caused by the solid residues generation, are an often quoted concern nowadays. Some of these residues, which are originated from different human activities, can be fully reused, reducing the effects of the poor waste management on the environment. During the salt production process, the first formed crystals are discarded as industrial waste. This is mainly made of gypsum that is a calcium sulfate dihydrate (CaSO4.2H2O). The gypsum in question may go through a calcination process due to the plaster (CaSO4.0,5H2O) production and then the application on the cement industry. Considering the necessity of development and application for these industrial wastes, this paper aims to analyze the plaster, called Salgesso, from the gypsum that was generated during the salt production, and its use viability on the civil construction industry in order to create environmental and economical benefits. For characterization, the following experiments were performed: X-ray Fluorescence (XRF), X-ray Diffraction (XRD), thermal analysis (TG/DTG) and Scanning Electron Microscopy (SEM) with EDS. The following tests were also performed to obtain the mechanical characteristics: Thinness Modulus, Unit Mass, Setting Time and Compressive Resistance. Three commercial plasters used on civil construction were taken as references. All of these tests were performed according to the current standards. It was noticed that although there were some conflicting findings between the salt and commercial plasters in all of the studied properties, the Salgesso has its values within the standard limits. However, there is the possibility to improve them by doing a more effective calcination process. Three commercial plasters, used in construction, were used as reference material. All tests were performed according to standards in force. It was observed that although some tests present conflicting findings between the salt and gypsum plasters commercial properties in all of the studied Salgesso have values within the limits imposed by the standard, but can be improved simply by calcination process more effective

Geografia da dominação: um estudo sobre a organização espacial da terra do sal (Macau-RN)

This work aims to understand the spatial organization in the Town of Macau, State of Rio Grande do Norte, Brazil. This approach focus on bringing back the history of the town, the main personages responsible for the construction of this place, denominated "social agents", as well as its social processes and the spatial forms derived from them. As the personages and their practices were identified, it was found out the existence of a driving force for structuring, interlocking, and maintaining the actions carried out by the social agents during the time. Such actions were materialized in the urban space: "the social segregation". The social segregation takes place as a specific geography of domination. The outcome of those owning the best areas" and ways of accessibility in the urban space, varies from the enrichment by property valorization, because of the concentration of public investments of infrastructure, to the comfort of easily reaching all the daily needs related to the displacements in the urban space. In the latter case, such facility has contributed to improve life quality. While one takes advantage of the location in the urban space, others are negatively affected by the same process. This research identified the salina worker as the weakest element of this social structure, occupying the urban periphery of the town of Macau. Such area is characterized by the lack of services and urban equipment in opposition to the center of the town, the locus of elite. This way, it is established the most known segregation pattern: center x periphery, in which the space acts as a mechanism of segregation