Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Bases conceptuales para el ciclo de cursos sobre gerencia de proyectos y programas

Incluye Bibliografía

La actitud positiva y el bienestar: un análisis del ciclo vital de la esperanza de vida sana y la esperanza de vida feliz a nivel individual en el Brasil y México

Incluye bibliografía

Estratégias internacionais da fruticultura do RN: o caso finobrasa processo e evolução

The present inquiry has as main objective to understand the process of formation of the international strategies of the exporting companies of fruits of the RN through the theory of the resource dependence. Aiming at to clarify as the companies they can carry through the process of internationalization through this theory had been study the behavior and economic theories of the process of internationalization of companies. Amongst the economic theories they are distinguished the eclectic paradigm of Dunning (1958), Vernon (1669) through the theory of the cycle of the product and Bucley and Casson (1979) with the theory of the international operations. In the mannering boarding they had been investigated the school of Upsala through Johanson and Valnhe (1977) with the concept of the increasing of the markets and in the distance psychic starts and the interaction of the purchaser-salesman of Hallen and Wiedersheim-Paul (1979). In this perspective it observes main the occured changes in the organization in function of this process, following the rules observed by the gradual ingression in the international market, having as base ways of entrances in the external market used by these companies, in view of the frist phase that the company presents of businesses. Ahead of you analyze of these theories the study searches to analyze the convergence of the concepts proclaimed for the theory of the dependence of resources (PFEFFER; SALANCIK, 1978). and strategies of internationalization of the companies. The research is characterized as qualitative case study which adopts and exploratory and analytical type, retrospective matrix. The adopted strategy is of case study and the unit of analysis consisting of the Finobrasa, pertaining company to the Vicunha Group. The main method of collection of data was halfstructuralized interview allied the documentary research that together had presented an empirical perspective of the internationalization process. The analysis and quarrel of the results understand the description and the interpretation of the one of the information through the technique of analyzes of content. Initially the historical of the exportation of fruits of the Rio Grande do Norte with the focus in the region Açu/Mossoró is presented and after that the information of the Finobrasa are presented as base of the study. The main events are identified that had constituted the phases of the strategical model of the company. It was observed that the dimensions most excellent amongst those proclaimed by the School of Uppsala had been the learning, staffs and the step-starts is sufficiently gifts in the reality of the company, as well as the aspects of strategical alliances since the consolidated relationship of the Vicunha Group create a more solid trajectory in the international market allied the conditions created windows of marked . One understands, therefore, that the investigated process still has base the theoretical theories of the internationalization strategies corroborating for the theoretical convergence of the rules proclaimed for the theory of the dependence of resources.

Estratégias internacionais da fruticultura do RN: o caso finobrasa processo e evolução

The present inquiry has as main objective to understand the process of formation of the international strategies of the exporting companies of fruits of the RN through the theory of the resource dependence. Aiming at to clarify as the companies they can carry through the process of internationalization through this theory had been study the behavior and economic theories of the process of internationalization of companies. Amongst the economic theories they are distinguished the eclectic paradigm of Dunning (1958), Vernon (1669) through the theory of the cycle of the product and Bucley and Casson (1979) with the theory of the international operations. In the mannering boarding they had been investigated the school of Upsala through Johanson and Valnhe (1977) with the concept of the increasing of the markets and in the distance psychic starts and the interaction of the purchaser-salesman of Hallen and Wiedersheim-Paul (1979). In this perspective it observes main the occured changes in the organization in function of this process, following the rules observed by the gradual ingression in the international market, having as base ways of entrances in the external market used by these companies, in view of the frist phase that the company presents of businesses. Ahead of you analyze of these theories the study searches to analyze the convergence of the concepts proclaimed for the theory of the dependence of resources (PFEFFER; SALANCIK, 1978). and strategies of internationalization of the companies. The research is characterized as qualitative case study which adopts and exploratory and analytical type, retrospective matrix. The adopted strategy is of case study and the unit of analysis consisting of the Finobrasa, pertaining company to the Vicunha Group. The main method of collection of data was halfstructuralized interview allied the documentary research that together had presented an empirical perspective of the internationalization process. The analysis and quarrel of the results understand the description and the interpretation of the one of the information through the technique of analyzes of content. Initially the historical of the exportation of fruits of the Rio Grande do Norte with the focus in the region Açu/Mossoró is presented and after that the information of the Finobrasa are presented as base of the study. The main events are identified that had constituted the phases of the strategical model of the company. It was observed that the dimensions most excellent amongst those proclaimed by the School of Uppsala had been the learning, staffs and the step-starts is sufficiently gifts in the reality of the company, as well as the aspects of strategical alliances since the consolidated relationship of the Vicunha Group create a more solid trajectory in the international market allied the conditions created windows of marked . One understands, therefore, that the investigated process still has base the theoretical theories of the internationalization strategies corroborating for the theoretical convergence of the rules proclaimed for the theory of the dependence of resources.

Ambiente de desenvolvimento e início da vida reprodutiva em mulheres Brasileiras

Modelos teóricos inspirados na teoria da história de vida têm avaliado padrões de reprodução humanos em países desenvolvidos, com resultados ainda não conclusivos. Em vista das condições de vida na população brasileira, foram investigadas relações entre marcos da carreira reprodutiva feminina, condições ambientais e variáveis psicossociais relacionadas às condições de criação. Foram entrevistadas 606 mulheres em seis estados. Os resultados apóiam a teoria da história de vida, mostrando associações entre condições de vida na infância e início da vida sexual e da reprodução, mas não com a idade da menarca. Sugerimos que diferentes marcadores da vida reprodutiva podem estar sob controle de diferentes fenômenos e que a diversidade de condições da população brasileira oferece contextos alternativos para testar hipóteses.

Sistema de Gest??o de Conv??nios e Contratos de Repasse (Siconv). Um novo paradigma nas transfer??ncias volunt??rias da Uni??o

O Sistema de Gest??o de Conv??nios e Contratos de Repasse (Siconv) ?? a iniciativa do Governo Federal respons??vel por todo o ciclo de vida dos conv??nios, contratos de repasse e termos de parceria, no qual s??o registrados os atos, desde a formaliza????o da proposta at?? a presta????o de contas final. O Siconv inova no modelo de gest??o, proporciona celeridade aos procedimentos e desburocratiza as atividades fins, com foco na substitui????o do processo f??sico pelo eletr??nico e no registro de todos os procedimentos, o que permite maior transpar??ncia na execu????o das transfer??ncias volunt??rias da Uni??o. Destaca- se ainda que a disponibiliza????o do sistema aos usu??rios e tamb??m para a sociedade por meio do endere??o eletr??nico www.convenios.gov.br deve ser considerada como grande fator de inova????o, uma vez que, mesmo indiretamente, se apresenta como mais uma ferramenta de controle social.

A força dos pensamentos, o fedor do sangue: hematologia e gênero na Amazônia

Este artigo estabelece as bases para uma hematologia amazônica com a finalidade de compreender o significado do sangue com respeito a gênero, conhecimento e cosmologia. Baseando-se na crítica da teoria do patriarcado elaborada por Overing e em seu estudo das concepções piaroa sobre a menstruação, este artigo explora comparativamente as idéias de vários povos amazônicos sobre como os espíritos, os pensamentos e a força se transformam em corpos diferenciados por gênero. Defende que o fluxo do sangue é concebido como uma relação, já que transporta conhecimentos a todas as partes do corpo, unindo, e ao mesmo tempo diferenciando, homens e mulheres, e constituindo o eixo central da existência de uma pessoa ao longo de seu ciclo de vida. Por meio do estudo das práticas de resguardo, dieta e reclusão, mostra que a manipulação do sangue ocupa um lugar central na saúde amazônica. Sangrar é uma prerrogativa feminina e a lembrança incorporada nas mulheres sobre o incesto primordial entre Lua e sua irmã, que fundamenta a memória e o parentesco humanos. No entanto, os homens também "parecem mulheres" quando ficam sob a vingança do sangue de seus inimigos, assim como as mulheres sob a vingança de Lua. O sangrar põe a fertilidade em movimento, abrindo a comunicação entre o tempo cotidiano e outros espaços-tempos cosmológicos, expondo ambos os gêneros ao perigo da multiplicidade transformacional, à alienação e à morte. Sua relação com o xamanismo é, portanto, fundamental.

Acompanhamento e análise da degradação em componentes mecânicos

A inovação e o desenvolvimento tecnológico obrigam os fabricantes a uma intensa competição global, face a uma redução no ciclo de desenvolvimento dos produtos e a rigorosos constrangimentos de custos, ao mesmo tempo que enfrentam consumidores mais exigentes, que procuram produtos de Qualidade. A Fiabilidade do bem é um aspecto marcante dessa Qualidade. Tradicionalmente o acesso a essa fiabilidade é baseado em testes de vida, normalmente acelerados. Todavia, para produtos altamente fiáveis, pouca informação a respeito da sua fiabilidade é fornecida por via dos testes de vida, nos quais poucas ou nenhumas falhas são observadas. Perante este cenário, a análise de degradação surge como uma técnica alternativa atractiva aos clássicos métodos de estudo da fiabilidade, apresentando como grande vantagem o facto de não ser necessário que nenhuma falha ocorra para se obter informação sobre a fiabilidade do bem, beneficiando ainda de uma redução no tempo de duração dos testes. Este trabalho começa por abordar os fundamentos da teoria da fiabilidade, e sua aplicação ao ciclo de vida dos componentes, fazendo alusão aos modelos de fiabilidade, ou distribuições de vida que mais usualmente se ajustam as várias fases de vida de um bem, nomeadamente a distribuição Exponencial, Normal e com particular destaque à versátil distribuição de Weibull. De seguida é feita a abordagem à análise de degradação dos componentes como uma técnica útil para estimar a fiabilidade de um bem, e neste contexto é feita a abordagem de uma metodologia de análise da degradação com base na monitorização da condição dos componentes. Quando um bem está sujeito a um processo de degradação, onde se pode fixar um valor limite para a característica que está a ser medida, pode-se recolher uma série de dados relativos ao processo em causa, servindo estes para ajustar um modelo matemático de degradação, que por extrapolação da curva de degradação permitem estimar o tempo até à falha, e por consequência o tempo de vida útil restante.O trabalho enquadra ainda a análise da degradação dos componentes numa perspectiva de apoio à estratégia de manutenção, no domínio da manutenção condicionada, e em particular no quadro da manutenção preditiva, tendo por objectivo fazer a optimização do programa de manutenção a aplicar, de forma a minimizar os custos globais da função manutenção. Nesta vertente são também considerados os intervalos P-F para monitorizar a evolução do estado de falha, em que é necessário definir o valor do parâmetro analisado para o qual se considere o início do processo de falha e o correspondente valor de falha efectiva. É apresentado um estudo prático com a colaboração duma prestigiada empresa de comercialização e distribuição de veículos pesados, focalizado num modelo de camião específico comercializado por essa marca. O estudo está direccionado para o sistema de travagem do veículo, mais concretamente a um dos seus componentes mecânicos, as pastilhas de travão. Este componente tem associado o mecanismo de degradação conhecido por desgaste. A medição do parâmetro de desgaste será feita por meio da técnica de simulação de valores, tendo no entanto em consideração, uma base de dados restrita de valores reais. O estudo de fiabilidade deste componente tem por objectivo fundamental estimar o tempo de Vida Útil Restante (“Residual Useful Life, RUL”) para as pastilhas, ou seja, até que se atinja o valor limite admissível (considerado como falha). Para os cálculos foi utilizado o programa informático denominado Weibull ++7. O caso de estudo permitiu determinar para situações particulares a relação entre o desgaste e a distância percorrida, estimando-se desta forma a vida restante (em distância), até ao momento em que o componente atinge o limite de desgaste considerado admissível. O grande potencial de estudo futuro passa pela elaboração de um modelo (com base em dados reais de exploração), que contemple os principais factores de influência, e que duma forma expedita permita a gestores de frota, fabricantes ou responsáveis da marca fazer a análise da fiabilidade do componente, tendo em conta uma situação específica de exploração. O conhecimento da fiabilidade das pastilhas pode levar à optimização da exploração do veiculo, por meio de um planeamento estratégico da sua manutenção,nomeadamente ao nível do aprovisionamento, na programação das intervenções, e em particular quanto à vida útil restante para as pastilhas.

A fisioterapia e os estilos de vida: cuidados de saúde

As recomendações internacionais para os níveis mínimos de actividade física para manter a saúde são: Actividade Moderada - 30 minutos por dia durante pelo menos 5 dias da semana (períodos mínimos de 10 min); Actividade Intensa – 20 minutos por dia durante 3 dias por semana + Exercícios de força e resistência muscular – 2 dias por semana. Estilos de vida trabalhados pelo curso de Fisioterapia da ESTESL - Estilos de vida saudável ao longo do ciclo de vida: actividades desenvolvidas nas Escolas Secundárias para sensibilização da importância da actividade física nos jovens; actividades desenvolvidas no âmbito de projectos de prevenção da doença (ex: prevenção de doenças cardiovasculares, prevenção de acidentes no trabalho, etc.); actividades desenvolvidas com população idosa, relacionadas com o envelhecimento activo; acções de sensibilização para a população em geral, no sentido de promover a actividade física.

Estudo de sistemas de aproveitamento de energias renováveis em edifícios, análise de casos práticos e vantagens da sua aplicação

Este trabalho pretende analisar o estado da arte da tecnologia das energias renováveis em Portugal e das suas perspectivas de evolução. Analisa os progressos que têm feito nessa área e o interesse que o País tem em evoluir na sua sustentabilidade e, no desenvolvimento duma estratégia forte para o futuro nessa área. Com esta investigação, pretende-se, explicar os conceitos de sustentabilidade e eficiência energética em relação aos edifícios e como fazer a sua classificação, além do caminho para lá chegar. Também são referidas as diferentes tecnologias existentes no mercado, como a solar, eólica, biomassa, geotérmica e hídrica, e as que poderão surgir no futuro, os estudos feitos para avaliação do potencial de redução de custos de cada uma, da diminuição dos impactes ambientais, da maior sustentabilidade dos edifícios, bem como das vantagens destes em relação às fontes de energia já existentes. È também analisado o papel que poderão desempenhar estas energias de fonte renovável na redução da dependência energética de um edifício em relação às energias de origem fóssil. O ponto de situação actual da indústria e o seu futuro a nível mundial é estudado. Ao nível internacional são examinados os estudos feitos para desenvolver a tecnologia. No plano nacional foi feito uma recolha de dados que permitirá fazer uma compilação da situação energética actual, da estratégia para o sector no futuro, do enquadramento legal actual, bem como das barreiras que limitam o seu desenvolvimento. A consideração de todos estes elementos, vai mostrar que as energias renováveis, só deverão ter um papel importante no fornecimento de energia global com o investimento de privados e com ajudas do governo. Em Portugal, já representa uma fatia importante no consumo energético. Estes dois factos permitem inferir que hoje um investimento é uma oportunidade no mundo da Engenharia Civil, e que apesar de o sector nacional estar no bom caminho, o mesmo está ainda aquém do necessário e longe do seu potencial máximo.

Gestão da qualidade na tradução: implementação de processos de controlo e avaliação dos Projectos de

Orientação: Manuel F. Moreira da Silva

Desenvolvimento de uma ferramenta de pré-selecção de recursos para empresas ágeis/virtuais

Mestrado em Engenharia Electrotécnica e de Computadores

Biomimetismo e Ecodesign

Esta tese tem como objectivo o desenvolvimento de uma ferramenta baseada na WEB que combine informação sobre ecodesign com a selecção de ideias inspiradas na natureza. Trata-se de uma base para desenvolvimentos futuros, em que se apresentam linhas orientadoras com a intenção de apoiar os designers na escolha de opções criativas para o design dos seus produtos. Com o crescimento das preocupações ambientais, a adopção de práticas e comportamentos benéficos ambientalmente, como o ecodesign, tem conduzido ao desenvolvimento de um pensamento de ciclo de vida, relativamente a tudo o que é produzido pelo Homem. Esta abordagem holística do processo de desenvolvimento do produto deve ser considerada na criação de novos produtos. Para tal, o processo criativo do designer deve ser informado ambientalmente e deve ser devidamente induzido através de ferramentas adequadas. O protótipo de ferramenta desenvolvido pretende constituir um alerta para uma área com grande potencial e com grandes vantagens do ponto de vista ambiental e de responsabilização social. Esse alerta realiza-se através da incitação para o uso de analogias com o mundo natural contribuindo assim para a divulgação e efectiva aplicação do Biomimetismo no design de novos produtos.

Sustentabilidade na reablitação urbana

A indústria da construção é um setor com grande impacto na economia, no Produto Interno Bruto (PIB) e ainda em postos de trabalho diretos e indiretos. No entanto, é um dos setores com maior impacte ambiental. Com a crise económica e financeira que o país atravessa, este setor foi um dos mais afetados, contribuindo para o aumento do desemprego visto tratar-se do setor com maior taxa de empregabilidade. Concomitantemente, ocorre saturação do mercado com a construção nova e desertificação dos centros urbanos com a degradação das habitações. Assim, como impulsionador da economia, surge a aposta na reabilitação do parque edificado que, com a legislação em vigor e com os incentivos dados pela tutela tem tudo para impulsionar o setor. Sabendo que a indústria da construção é um dos setores com maiores impactes ambientais, faz todo o sentido reabilitar-se de uma forma mais sustentável. Aplicando os princípios da sustentabilidade a todo o ciclo de vida do edifício, conseguimos reduzir os recursos na fase de construção (resíduos de construção) e na fase de exploração (consumo de energia e de água). Podemos ainda reduzir os custos de energia para climatização ao termos em conta a orientação do edifício e a envolvente, os recursos naturais e aplicando tecnologias solares passivas. Assim, ao aplicarmos os princípios da construção sustentável na reabilitação urbana podemos diminuir os impactes ambientais, a produção de CO2, as emissões de gases com efeito de estufa, os resíduos de construção e a área impermeabilizada.