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

Projecto de execução de fundações e estruturas de uma ponte em betão armado pré-esforçado

Este Trabalho refere-se ao Projecto de Execução de Fundações e Estruturas de uma Ponte Rodoviária em betão armado pré-esforçado, realizado no âmbito do Trabalho Final de Mestrado em Engenharia Civil – Especialização em Estruturas, do Instituto Superior de Engenharia de Lisboa. O Projecto de Execução é composto de Peças Escritas e Peças Desenhadas. Nas Peças Escritas estão incluídos: Memória Justificativa e Descritiva; Cálculos Justificativos e Anexos. A ponte é composta por dois tabuleiros paralelos com 10,28m de largura cada um e afastados entre si de 0,10m. A obra é constituída de 8 tramos; os tramos correntes com 31m de comprimento e os tramos extremos com 25 e 20m de comprimento, perfazendo um comprimento total de 231m. A obra foi parcialmente isolada dos sismos pela introdução, em todos os pilares, de aparelhos de apoio de elevado amortecimento sísmico do tipo HDRB (High Damping Rubber Bearings). Encontram-se particularmente discriminadas e detalhadas neste projecto as seguintes situações: - Cálculo do Pré-esforço e respectivas perdas; - Acção das sobrecargas rodoviárias; - Diferença de comportamento da obra na entrada em serviço e no longo prazo; - Análise sísmica e do isolamento sísmico; - Estudo dos efeitos diferidos: retracção e fluência. Tendo as abordagens de cálculo e as verificações de segurança seguido a regulamentação nacional em vigor, nomeadamente RSA e REBAP, foi no entanto feita uma aproximação às regras do “Capacity Design” previstas no EC8, em que se privilegia a actuação do projectista sobre o comportamento da estrutura, procurando uma resposta não linear da mesma, visando garantir que: - A rotura não ocorrerá nos elementos de fundação; - Nos pilares a dissipação de energia se faz através de rótulas plásticas, evitando-se roturas associadas a esforços transversos. A aplicação destas regras neste Projecto demonstrou haver um agravamento substancial na definição dos esforços a que devem resistir alguns dos componentes da estrutura, designadamente os pilares e as fundações, originando soluções de secções de betão e armaduras bem mais exigentes do que aqueles que resultariam da simples verificação de segurança, pela comparação entre esforços actuante e esforços resistentes “secção a secção”, imposta pela actual regulamentação nacional.

Forças em estruturas de acostagem descontínuas em zonas desabrigadas: avaliação de ferramentas de cálculo existentes

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de especialização em Hidráulica

Influência dos métodos de correção de atenuação na quantificação da função renal relativa em cintigrafia renal com 99mTc-DMSA

Introdução – A estimativa da função renal relativa (FRR) através de cintigrafia renal (CR) com ácido dimercaptossuccínico marcado com tecnécio-99 metaestável (99mTc-DMSA) pode ser influenciada pela profundidade renal (PR), atendendo ao efeito de atenuação por parte dos tecidos moles que envolvem os rins. Dado que raramente é conhecida esta mesma PR, diferentes métodos de correção de atenuação (CA) foram desenvolvidos, nomeadamente os que utilizam fórmulas empíricas, como os de Raynaud, de Taylor ou de Tonnesen, ou recorrendo à aplicação direta da média geométrica (MG). Objetivos – Identificar a influência dos diferentes métodos de CA na quantificação da função renal relativa através da CR com 99mTc-DMSA e avaliar a respetiva variabilidade dos resultados de PR. Metodologia – Trinta e um pacientes com indicação para realização de CR com 99mTc-DMSA foram submetidos ao mesmo protocolo de aquisição. O processamento foi efetuado por dois operadores independentes, três vezes por exame, variando para o mesmo processamento o método de determinação da FRR: Raynaud, Taylor, Tonnesen, MG ou sem correção de atenuação (SCA). Aplicou-se o teste de Friedman para o estudo da influência dos diferentes métodos de CA e a correlação de Pearson para a associação e significância dos valores de PR com as variáveis idade, peso e altura. Resultados – Da aplicação do teste de Friedman verificaram-se diferenças estatisticamente significativas entre os vários métodos (p=0,000), excetuando as comparações SCA/Raynaud, Tonnesen/MG e Taylor/MG (p=1,000) para ambos os rins. A correlação de Pearson demonstra que a variável peso apresenta uma correlação forte positiva com todos os métodos de cálculo da PR. Conclusões – O método de Taylor, entre os três métodos de cálculo de PR, é o que apresenta valores de FRR mais próximos da MG. A escolha do método de CA influencia significativamente os parâmetros quantitativos de FRR.

Processos de construção e dimensionamento de pontes atirantadas

Na presente dissertação desenvolve-se o tema das pontes atirantadas. Apresentam-se várias formas de concepção estrutural, identificando os diversos elementos estruturais e as suas possíveis combinações. São também apresentadas as vantagens, desvantagens e aplicação de cada elemento estrutural na globalidade da estrutura. Os métodos construtivos foram também abordados, apresentando o faseamento construtivo, vantagens, desvantagens e condicionantes de cada processo para pilares, mastros e tabuleiros. Foi feito um estudo das várias acções regulamentares relevantes, para este tipo de estrutura, explicando para cada uma a sua metodologia de cálculo e a sua aplicação em cada elemento estrutural. A sua aplicação depende da estrutura em causa. Utilizando como caso de estudo uma ponte idealizada pelo Professor António Adão da Fonseca, que faz a ligação entre as cidades do Porto e Vila Nova de Gaia, foi feito um pré-dimensionamento de cada elemento estrutural, assim como o cálculo do pré-tensionamento dos tirantes. Em seguida foram elaboradas análises estáticas e dinâmicas através de um modelo numérico, considerando algumas das acções regulamentares estudadas anteriormente. Das análises foram extraídos valores de deslocamentos e esforços em cada elemento estrutural. Estes deslocamentos e esforços foram comparados entre várias combinações de acções e alternâncias de sobrecargas, procedendo-se no final a uma discussão dos resultados.

Contributo para a avaliação da viabilidade do aproveitamento do biogás produzido em digestores anaeróbios a frio para a produção de energia elétrica

Numa sociedade com elevado consumo energético a escassez de combustíveis fósseis é cada vez mais preocupante, assim como a poluição atmosférica resultante da sua utilização, há portanto uma necessidade crescente de recorrer a energias renováveis. A digestão anaeróbia de lamas é um processo de estabilização de lamas, que é vulgarmente utilizado nas ETAR e tem como produtos finais lama digerida e biogás. Dadas as características do biogás é possível ser utilizado para produção de energia. Neste âmbito, a presente dissertação aborda teoricamente a digestão anaeróbia, o biogás e as tecnologias de produção de energia. Tem como primeiro objetivo a avaliação da viabilidade do aproveitamento do biogás produzido nos digestores anaeróbios para produção de energia elétrica em casos de estudo específicos, mais concretamente nas ETAR de Fernão Ferro e Zona Industrial da Autoeuropa, tendo-se concluído que o aproveitamento estudado não se demonstrou viável. Um segundo objetivo é a comparação entre o funcionamento da digestão anaeróbia de lamas das ETAR de Fernão Ferro, Zona Industrial da Autoeuropa, Quinta do Conde, Seixal e Sesimbra (cinco casos de estudo). A proposta de uma folha de cálculo como contributo para avaliação da viabilidade do aproveitamento do biogás produzido em digestores anaeróbios a frio, idêntica à utilizada para a avaliação nas ETAR de Fernão Ferro e Zona Industrial da Autoeuropa, constitui o terceiro objectivo desta dissertação. Pretende-se que esta ferramenta seja abrangente e versátil com um propósito de ser utilizada como guia de cálculo aplicável a qualquer caso de digestão anaeróbia a frio para venda da energia elétrica. A referida folha de cálculo é estruturada por Condições de Exploração, Custos de Investimento, Custos de Operação/Manutenção e Balanço Económico.

Transparência, a resposta institucional à pressão social: o caso do Tribunal de Contas do Estado do Rio de Janeiro

The present work aims to identify emerging organizational changes in the Court of Accounts of the State of Rio de Janeiro - TCE/RJ that are happening in the contemporary scenery known as the Age of Information. The search for the comprehension of the institutional dynamics is oriented by concepts originated from the theory of complexity, which believe that the public services external control system can be understood in a political, technical and legal environment with growing levels of learning and innovation. While chasing the possible causes of these changes, we try to prove the hypothesis that the TCE/RJ is turning into a more transparent organization. For this purpose, we define the outlines and reaches of the principle of transparency, based in bibliographical and documental researches, and analyze the phenomenon perceived in a explanation research through semi-structured interviews performed with two groups: a sample representing the universe under jurisdiction entities top level directors and the other obtained in the universe of formal and informal leaderships existing in the educational body of the institution. The conclusion of the present work confirms the initial questions, indicating that the organization is really becoming more and more transparent. The social-technical changes that are happening today at the TCE/RJ are caused by the growing social pressure for more effective results in the control of public expenditures. Under the systemic point of view, we observe cracks in the protective bell-glass that evolves the institution - previously hermetic to the external contingencies and that works today as a SAC - Adaptive Complex System. Aspects such as organization structural changes, the introduction of strategic planning and the growing democratization of the decision process are producing a new organizational culture. The seniority of the Technical Headcount contributes to establish the pre-conditions for the development of a administration where the participation of the TCE/RJ technical employees adds importance to its development as an institution that generates republican effects in the society from its less hermetic decision process.

O contrato de gestão como um instrumento de modernização do estado

Este estudo discute processo de implantação do contrato de gestão na Administração Pública brasileira particularmente, experiência iniciada pelo Governo do Estado de São Paulo, em 1991. objetivo principal do contrato de gestão concentrar controle governamental sobre os resultados das entidades, que possibilita simplificação gradativa das estruturas normativas introdução de um sistema de sanções recompensas. Este sistema pode viabilizar implantação de novas formas de avaliação de desempenho contribuir para aumentar produtividade no setor público. contrato de gestão um instrumento que incentiva diálogo parceria torna transparentes as intenções orientações entre as partes contratantes. Além disso, pode funcionar como um instrumento de racionalização administrativa comunicação interna para própria instituição. existência de um planejamento prévio uma das pré-condições necessárias ao processo de implantação do contrato de gestão. As metas objetivos devem ser especificadas de forma precisa, clara sem ambigüidade, refletir as condições capacidades reais da entidade. Alguns problemas podem ser evitados, se for previsto um estágio inicial de preparação dos técnicos responsáveis pela implantação acompanhamento dos contratos, nos conceitos instrumentos indispensáveis ao processo. fundamental que seja previsto também, um período de negociação do apoio dos principais decisores formadores de opinião, de conscientização preparação do corpo funcional das entidades.

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Álgebras de Lie e aplicações à sistemas alternantes

Pós-graduação em Matemática - IBILCE

Supersimetria não-anticomutativa

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

Condição periodontal, perda dentária e diferenças socioeconômicas em adultos e idosos brasileiros

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

SÍNDROME DE BURNOUT ENTRE OS PASTORES ADVENTISTAS DA CIDADE DE SÃO PAULO: CAUSAS POTENCIAIS E MEDIDAS PREVENTIVAS

A prevalência de stress e burnout tem-se tornado um problema comum nas profissões assistenciais. Os ministros religiosos não são uma exceção. Evidências disponíveis derivadas de reflexões pessoais e pesquisas científicas demonstram que o trabalho pastoral hoje é uma ocupação com elevados índices de burnout; entretanto, pouca atenção tem sido dada a este assunto. O presente estudo tem como objetivo contribuir para o desenvolvimento de pré-condições e recursos individuais de forma a prevenir e controlar os efeitos da síndrome entre os pastores adventistas da cidade de São Paulo. Inicialmente o trabalho apresentará uma análise do burnout, a partir de referências selecionadas, incluindo informações gerais sobre os sintomas, antecedentes, instrumentos de medida; intervenções e métodos preventivos. Os ministros religiosos geralmente são tratados como outros profissionais de ajuda nas pesquisas de burnout, com pouca consideração para com a dimensão espiritual, o que é prioritário ou mesmo vital para o clero. Para este estudo, em particular, o burnout pastoral será considerado como um fator resultante de um relacionamento deficiente com Deus. Somam-se a isso as condições ambientais do trabalho e as características pessoais. Finalmente, o estudo pretende sugerir estratégias para ajudar na redução e na prevenção última da síndrome entre os pastores em foco.(AU)

SÍNDROME DE BURNOUT ENTRE OS PASTORES ADVENTISTAS DA CIDADE DE SÃO PAULO: CAUSAS POTENCIAIS E MEDIDAS PREVENTIVAS

A prevalência de stress e burnout tem-se tornado um problema comum nas profissões assistenciais. Os ministros religiosos não são uma exceção. Evidências disponíveis derivadas de reflexões pessoais e pesquisas científicas demonstram que o trabalho pastoral hoje é uma ocupação com elevados índices de burnout; entretanto, pouca atenção tem sido dada a este assunto. O presente estudo tem como objetivo contribuir para o desenvolvimento de pré-condições e recursos individuais de forma a prevenir e controlar os efeitos da síndrome entre os pastores adventistas da cidade de São Paulo. Inicialmente o trabalho apresentará uma análise do burnout, a partir de referências selecionadas, incluindo informações gerais sobre os sintomas, antecedentes, instrumentos de medida; intervenções e métodos preventivos. Os ministros religiosos geralmente são tratados como outros profissionais de ajuda nas pesquisas de burnout, com pouca consideração para com a dimensão espiritual, o que é prioritário ou mesmo vital para o clero. Para este estudo, em particular, o burnout pastoral será considerado como um fator resultante de um relacionamento deficiente com Deus. Somam-se a isso as condições ambientais do trabalho e as características pessoais. Finalmente, o estudo pretende sugerir estratégias para ajudar na redução e na prevenção última da síndrome entre os pastores em foco.(AU)

SÍNDROME DE BURNOUT ENTRE OS PASTORES ADVENTISTAS DA CIDADE DE SÃO PAULO: CAUSAS POTENCIAIS E MEDIDAS PREVENTIVAS

A prevalência de stress e burnout tem-se tornado um problema comum nas profissões assistenciais. Os ministros religiosos não são uma exceção. Evidências disponíveis derivadas de reflexões pessoais e pesquisas científicas demonstram que o trabalho pastoral hoje é uma ocupação com elevados índices de burnout; entretanto, pouca atenção tem sido dada a este assunto. O presente estudo tem como objetivo contribuir para o desenvolvimento de pré-condições e recursos individuais de forma a prevenir e controlar os efeitos da síndrome entre os pastores adventistas da cidade de São Paulo. Inicialmente o trabalho apresentará uma análise do burnout, a partir de referências selecionadas, incluindo informações gerais sobre os sintomas, antecedentes, instrumentos de medida; intervenções e métodos preventivos. Os ministros religiosos geralmente são tratados como outros profissionais de ajuda nas pesquisas de burnout, com pouca consideração para com a dimensão espiritual, o que é prioritário ou mesmo vital para o clero. Para este estudo, em particular, o burnout pastoral será considerado como um fator resultante de um relacionamento deficiente com Deus. Somam-se a isso as condições ambientais do trabalho e as características pessoais. Finalmente, o estudo pretende sugerir estratégias para ajudar na redução e na prevenção última da síndrome entre os pastores em foco.(AU)