Modelação numérica do carregamento de uma estrutura confinada sujeita a uma onda de choque explosiva

A ocorrência de explosões em indústrias e em infraestruturas civis quer acidentais quer devido a ataques terroristas, vêm colocando à engenharia cada vez maiores desafios relativos à conceção de soluções que aumentem a proteção dessas infraestruturas contra os efeitos das explosões. Neste trabalho, utilizou-se um hidrocódigo comercial, o LS-DYNA, no tratamento e simulação de problemas envolvendo ondas de choque explosivas tendo-se realizado um estudo paramétrico do efeito da detonação de um alto explosivo no interior de um compartimento fechado, de geometria prismática retangular, em que as dimensões foram sendo variadas. Foi necessário calibrar previamente o modelo geométrico escolhido bem como os parâmetros utilizados para gerar a onda de choque explosiva, de forma a assegurar a consistência dos resultados, dado que não foi possível a realização de ensaios experimentais. Foi utilizada uma malha multimaterial Arbitrária Lagrangiana-Euleriana (MMALE), com recurso a elementos sólidos com um único ponto de integração, recorrendo ao método das diferenças finitas centrais para as integrações em relação ao tempo, tendo-se utilizado como base de calibração a literatura consultada. Os dados obtidos no estudo paramétrico foram tratados recorrendo a métodos estatísticos de regressão de forma a se obter uma relação fenomenológica para prever as pressões máximas dentro de um compartimento.

Modelos para a quantificação da deformação em vigas de betão armado

Na presente dissertação estudaram-se diferentes métodos de cálculo usados para a determinação da deformação (curvatura, rotação, extensão e flecha) em vigas de betão armado. Estudou-se o método de cálculo dito “exato”, método de integração numérica, e comparou-se os resultados obtidos por este método com aqueles ditos simplificados, dos quais se dá particular destaque ao método da secção determinante. Apresenta-se também uma análise comparativa de resultados experimentais obtidos em laboratório com os resultados teóricos, obtidos pela aplicação do método de integração numérica. Estudou-se igualmente a influência que certos parâmetros, como é o caso da fendilhação, fluência, retração e resistência à compressão do betão, têm na deformação de vigas de betão armado. O estudo da deformação foi efetuado considerando três tipos de secção: retangular, em T e em I. Por último o autor implementou um programa de cálculo em VBA Excel com o objetivo de quantificar os parâmetros da deformação em vigas de betão armado com secções: retangular, em T e em I, pela aplicação do método de integração numérica, de acordo com a norma EN 1992-1-1.

Comparação preliminar da área foliar de três acessos depupunha(Bactris gasipaes H.B.K. PALMAE) oriundos de três populações distintas da Amazônia Ocidental

A área foliar é um importante parâmetro de crescimento e está diretamente relacio nada com a produção de frutos. Neste trabalho estimou-se a área foliar da pupunheina (Bactris gasipaes H.B.K.) em três diferentes acessos que representam as populações de Benjamin Constant, Coari e Rio Preto da Eva, no Estado do Amazonas,Brasil. Primeiro com parou-se o coeficiente de regressão entre a área verdadeira e a área retangular dos folíolos para determinar a similaridade entre as pupunheiras da Amazônia e as da América Central. A seguir, estimou-se a área foliar de três folhas/plantas e três plantas/acesso para cada população. O número de folíolos, a média do comprimento e da largura máxima de uma amostra de seis folíolos e um fator de correção, permitem fazer esta estimativa. Determinou-se que os três acessos são significativamente diferentes quanto a este parâme tro, sugerindo que a área foliar e seus componentes são descritores de importância, tan to na descrição de populações como no melhoramento genético da espécie.

Curare - Botany, Chemistry, and Pharmacology

Some aspects of curare research carried out over the last 25 years are discussed. Accepting a pharmacological rather than purely ethnological definition means, that curares are not limited to South America but that they are also known from Central Africa and South-EastAsia. Among the criteria that have been suggested for classifying South American curares: type of container, geographical origin, botanical sourcesof the active, constituent!, and chemical composition. A combination of botanical and geographical criteria leads to much the same regional ;groupings a combination of criteria involving the type of container and the chemical composition. The active principles in curares may derive from members of thr Loganiaceae (Strychnos) and/or Menispermaceae mainly Chondrodendron and Curarea, but also Abuta,Anomospermum, Cissampelos, Sciadotenia, and Telitoxicum). Certain of the Strychnos dimeric indole alkaloids can undergo a variety of cleavages, oxidations, and isomerizations; hence., some of the compounds obtained by normal isolation procedures one almost certainly artefacts. The different genera of, Menispermaceae a wide range of bisbenzyl and other types of isoquinoline alkaloids. Many of the plant additives also contain a variety of isoquinoline bases, and this has to be taken into account in assessing the contribution these ingredients may make to the ovzJuxll activity of, curare. Loganiaceae-bated curares with toxiferinzas major alkaloid tend to be the most toxic. In the case of Menispermaceae-based products, there-is evidence that the process by which they are made may lead to a considerable increase in the toxicity of the finished poisons as compared with the original plant materials. The mechanism of action of the alkaloids it, outlined, and the role of curare alkaloids in the development of, present-day muscle-relaxant drugs used in surgery is indicated. Attention lb drawn to reported medicinal uses of some of the alkaloid-bearing plants incorporated into curares, suggesting that further evaluation of these plants may be of interest.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Industrias madeireias de Manaus, Amazonas, Brasil

Este trabalhoeresultante de uma pesquisa realizada cm indústrias madeireiras da cidade de Manaus, envolvendo 20 movelarias, onze serrarias e seis fábricas de compensados, onde foram focalizados, principalmente, o uso de produtos preservantes de madeira, estocagem, secagem da madeira e aproveitamento da matéria-prima. Desse universo, constatou-se que apenas 4 movelarias utilizam preservantes e que as seis fábricas de compensados usam este produto, misturando-o ao adesivo, restringindo o seu uso à linha dc cola. Constatou-se também que a estocagem das toras é feita dentro da água e/ou no pátio. Neste caso, são empilhadas umas sobre as outras c em contato direto com o solo. A maioria das indústrias não utiliza uma secagem adequada, sendo que a secagem artificial, a alta temperatura, é restrita às indústrias de compensado e à duas serrarias. No setor moveleiro apenas duas fábricas fazem uso do secador solar. Verificou-se também um desperdício muito grande da matéria prima, havendo pouco aproveitamento dos resíduos da madeira, que em geral são utilizados na geração de energia em caldeira e em fornos de olarias e padarias.

Carvão de resíduos de indústria madeireira de três espécies florestais exploradas no município de Paragominas, PA

Este trabalho avalia as principais propriedades do carvão de Manilkara amazonica (maçaranduba), Lecythis pisonis (sapucaia) e Piptadenia suaveolens (timborana), carbonizadas em sete e dez dias. O carvão foi produzido a partir de resíduos da serraria da Empresa Cikel Brasil Verde S. A., na Fazenda Rio Capim, em Paragominas. Foram utilizados 30 fornos de alvenaria, sendo dez fornos para cada espécie, dos quais cinco para carbonização em sete dias e cinco para dez dias. Após a carbonização, foram retiradas amostras de carvão produzido para estudo de rendimento gravimétrico e de propriedades físicas, químicas e mecânicas. Os principais resultados foram: o rendimento gravimétrico do carvão variou de 21,47 a 29,59 % (base úmida); a densidade média a granel, variou de 178,51 a 231,14 kg.m-3; a densidade média aparente foi de 0,38 a 0,53 g.cm-3; o poder calorífico foi de 23451 a 28830 kj.kg-1; o teor de materiais voláteis variou de 23,94 a 31,47%; cinzas de 0,7 a 2,5%; o carbono fixo de 68,29 a 74,49%; e a friabilidade de 12 a 32,6%. Constatou-se que a espécie é o principal fator que influencia nas propriedades do carvão. Através da análise das propriedades, não foi possível identificar qual espécie produziu o melhor carvão, uma vez que as três apresentaram algumas características consideradas boas, porém, sempre acompanhadas de outras inadequadas.

Estudo numérico sobre o reforço de pilares de betão armado com cantoneiras e presilhas metálicas: análise paramétrica e modelo de cálculo

Dissertação de mestrado integrado em Engenharia Civil

Utilização de computação de elevado desempenho para a simulação de problemas de hidrodinâmica costeira

Dissertação de mestrado integrado em Engenharia Civil

Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

A estruturação metafórica na concetualização de "Hora" na poesia de Fernando Pessoa ortónimo

Dissertação de mestrado em Ciências da Linguagem

Descodificação do De re aedificatoria de Alberti: gramáticas de forma para a análise e geração de edifícios sagrados

Teses de Doutoramento em Arquitectura.

A multi–physics approach applied to masonry structures with non–hydraulic lime mortars

Tese de Doutoramento em Engenharia Civil (área de especialização em Engenharia de Estruturas).

Optimização do processo de recolha de resíduos: desenvolvimento de ferramentas de investigação operacional para o problema de orientação de equipas com multi-restrições

Tese de Doutoramento em Engenharia Industrial e de Sistemas.

Valva aórtica quadrivalvular por ecocardiografia transtorácica

Uma mulher de 55 anos procurou atendimento médico com queixas de palpitações, dor torácica atípica e dispnéia ao esforço, com duração de 12 meses. O eletrocardiograma revelou hipertrofia ventricular esquerda. O ecocardiograma Doppler transtorácico confirmou hipertrofia de câmaras esquerdas e detectou a presença de valva aórtica quadri, com válvulas de mesmo tamanho, e fluxo regurgitante central moderado. No ecocardiograma, a valva quadrivalvular é identificada por sua forma característica em "X" durante a diástole e aspecto retangular durante a sístole. Os sintomas de insuficiência cardíaca provavelmente são causados por insuficiência valvar, em decorrência de coaptação anormal das válvulas. Em vista da possibilidade de aumento da regurgitação, a paciente foi submetida a controle ecocardiográfico periódico. Observou-se melhora dos sintomas com o tratamento.