Determinação de coeficientes de impulsos sísmicos recorrendo à análise limite numérica

O colapso de muros de suporte de terras em regiões sujeitas a ação de sismos é, em muitos casos, provocada por um insuficiente dimensionamento da estrutura de suporte. Por essa razão, o conhecimento de impulsos sísmicos por detrás de estruturas rígidas de suporte de terras é da máxima importância. Com isto, utilizou-se um software de elementos finitos - Sublim3D, apli-cando um dos teoremas da Análise Limite. Este programa determina limites superiores estritos de cargas de colapso e tem como base de sua formulação o Teorema Cinemático. Explorando as características deste software, analisa-se a qualidade da solução dos coeficientes de impulso ativos sísmicos, comparando com as soluções de Mononobe-Okabe e outras propostas existen-tes. Os efeitos do declive da superfície do aterro, da inclinação do muro com o atrito solo-estrutura, o ângulo de resistência ao corte e a aceleração sísmica horizontal e vertical em função do coeficiente de impulso ativo sísmico também foram analisados.

Aplicação do teorema cinemático da análise limite ao cálculo da capacidade resistente de fundações superficiais. Influência de aspectos tridimensionais

A expressão da capacidade resistente de fundações superficiais, proposta por Terzaghi (1943) para o caso de uma fundação corrida, sob carregamento vertical, centrado, e onde não se tem em conta a resistência do solo acima da base de fundação, tem sido alvo de diversos estudos ao longo do tempo, visando a melhoria dos factores associados à mesma, assim como a proposta de novos factores. Uma das metodologias disponíveis para tal tarefa é a Análise Limite, onde, através dos teoremas estático e cinemático é possível obter um intervalo que aproxima a carga de colapso. Com o recurso à implementação numérica do teorema cinemático (região superior) da análise limite numa plataforma de processamento paralelo, são realizados cálculos tridimensionais focados para os factores de forma, sγ, sq e sc; e para o factor de profundidade tridimensional, dq*, através da construção de modelos de elementos finitos com refinamento elevado. Os resultados obtidos permitem o encurtamento do intervalo de região inferior e superior e a observação do comportamento dos referidos factores com a evolução da forma e profundidade da fundação.

Avaliação da capacidade resistente de placas de ancoragem em condições drenadas

Esta dissertação tem por objetivo ser um contributo para o dimensionamento de placas de ancoragem dispostas verticalmente em solos respondendo em condições drenadas. Para tal, recorre-se a um programa de elementos fnitos que implementa os teoremas estático e cinemático da análise limite para o cálculo da carga última de uma placa de ancoragem. O documento mostra o estudo efetuado sobre a infuência dos parâmetros, quer geométricos, quer mecânicos, tanto do maciço como da placa, sobre a capacidade de carga registada. Do ponto de vista geométrico foi estudada em condições bidimensionais a infuência da profundidade relativa da colocação da placa. Em condições tridimensionais, para além deste aspeto, foi também estudada a infuência da largura da placa. Do ponto de vista mecânico estudou-se a infuência na capacidade de carga do ângulo de resistência ao corte assim como da rugosidade da placa. Os resultados deste estudo são apresentados sob a forma de fatores de arrancamento em função dos diversos parâmetros estudados. Os resultados obtidos são comparados com os resultados de carácter experimental e numérico teórico de outros autores encontrados na literatura. No final do trabalho, apresenta-se uma proposta sob forma gráfica de uma relação entre as capacidades de carga de uma placa finita e de uma placa corrida.

Fluorescência de raios-X aplicada ao estudo de ossadas humanas

O trabalho desenvolvido nesta dissertação visa o estudo da composição elementar de restos humanos (séculos XVIII-XIX) por fluorescência de raios-X dispersiva em energia (EDXRF). Os tecidos analisados, ossos, dentes, cabelos e massa encefálica, pertenciam a um conjunto de corpos exumadosda Ermida do Espírito Santo, em Almada (Portugal). Os resultados foram obtidos pela análise complementar de duas montagens experimentais: EDXRF com geometria triaxial e -EDXRF com geometria convencional. A primeira técnica permite obter melhores limites de deteção para matrizes de baixo Z. A configuração com um micro feixe e a análise em condições de vácuo permite melhorar os limites de deteção para os elementos mais leves. Os resultados obtidos para os indivíduos analisados puderam ser correlacionados, em alguns casos, com os hábitos alimentares e com o habitat, nomeadamente a exposição a elementos tóxicos. Adicionalmente, foi também avaliada a possibilidade de contaminação post-mortem dos corpos, a partir do local de inumação. Os elementos detetados em ambas as técnicas foram Ca, Fe, Cu, Zn, Br, Sr e Pb. Observaram-se níveis elevados de Zn e Sr para os ossos, que são indicativos de uma dieta rica em carne e peixe, respetivamente. Alguns indivíduos revelaram concentrações elevadas de Pb e Zn na polpa do dente. Estes elementos poder~ao ter sido resultado de uma da acumulação o ante-mortem e indicar o hábito do tabaco. Os resultados mostram um indivíduo que apresenta concentrações bastante elevadas de Pb, especialmente na massa encefálica, polpa do dente e ossos esponjosos. A contaminação poderá ter sido resultado da exposição ante-mortem de Pb, eventualmente devida ao trabalho efetuado numa fundição. Ademais, outro indivíduo apresentou uma concentração elevadíssima de Hg no cabelo. Neste caso, a hipótese proposta mais provável é a aplicação de um composto à base de Hg, para fins medicinais, possivelmente para a desinfestação de piolhos.

Avaliação de aspectos cognitivos em homens portadores de esquizofrenia em tratamento com haloperidol ou clozapina

OBJETIVO: Avaliar, sob o ponto de vista psicológico, aspectos cognitivos de pacientes portadores de esquizofrenia associados ao tipo de medicamento antipsicótico em uso. MÉTODOS: Participaram dois grupos: no grupo 1 os pacientes em tratamento com haloperidol (n = 14) e no 2 aqueles em tratamento com clozapina (n = 16). Ambos os grupos eram formados por indivíduos com esquizofrenia em tratamento psiquiátrico ambulatorial no Hospital de Clínicas de Porto Alegre (HCPA), cuja faixa etária variou entre 18 e 59 anos. Foram usados como instrumentos o Operational Checklist for Psychotic Illness (OPCRIT) para definição do diagnóstico de esquizofrenia e a técnica de Rorschach. Também se realizou a análise de variância (ANOVA) seguida do teste de Bonferroni, com nível de significância de p < 0,05 sobre os dados do teste de Rorschach. RESULTADOS: O grupo 1 apresentou F+ < 80%; FK < KF + K; FC < CF + C. O grupo 2 apresentou F+ > 80%; FK = KF + K; FC > CF + C. Ambos os grupos apresentaram escore de forma (sigmaF) na faixa clínica considerada normal. CONCLUSÃO: Os resultados do Rorschach permitem inferir que os pacientes medicados com clozapina apresentam indicativos de capacidade de produção e adaptação à tarefa, controle pelo uso da inteligência sobre impulsos e instintos, capacidade para suportar frustração e funcionamento do raciocínio lógico em melhores condições do que os pacientes medicados com haloperidol.

Sonolência diurna excessiva em pré-vestibulandos

OBJETIVO: O sono é um fenômeno que interfere nos aspectos cognitivos. O objetivo deste estudo foi avaliar a prevalência da sonolência diurna excessiva (SDE) em pré-vestibulandos de Campo Grande, MS. MÉTODOS: Foram entrevistados 378 alunos com a escala de sonolência Epworth (ESE). As variáveis foram: sexo, uso esporádico de bebidas alcoólicas e fumo, relato de sinais e sintomas depressivos, renda familiar total dos membros do lar e idade. Foram empregados os testes qui-quadrado e de análise de variância. RESULTADOS: Em relação ao gênero, 50,3% eram homens e 49,7% mulheres; 39,2% ingeriam álcool; 6,6% fumavam e 33% já tinham tido depressão na vida. Entre os alunos, 55,8% tinham SDE, 5,3% eram indicativos de ter distúrbio respiratório ou síndrome da apnéia do sono. Foram detectadas associações entre as variáveis consumo de álcool e tabagismo, em relação à ESE. CONCLUSÕES: Foi alta a prevalência de SDE, sendo detectadas associações entre as variáveis uso esporádico de álcool e fumo, em relação à ESE. Novos estudos devem ser realizados a fim de prevenir as alterações cognitivas entre os pré-vestibulandos que apresentam SDE ou outro distúrbio do sono.

As terapias cognitivo-comportamentais no tratamento da bulimia nervosa: uma revisão

Objetivo Realizar uma revisão na literatura sobre a utilização da terapia cognitivo-comportamental (TCC) no tratamento da bulimia nervosa entre 2009 e 2013. Métodos Três bases de dados eletrônicas foram pesquisadas, considerando artigos em língua inglesa, espanhola e portuguesa. Resultados Após as análises e exclusão dos artigos, seguindo o método PRISMA, foram selecionados 20 artigos. Os artigos selecionados foram produzidos ou na Europa ou nos Estados Unidos, em língua inglesa. Os diagnósticos da amostra variaram de exclusivamente bulimia nervosa (60%) aos que incluíram pessoas com transtorno de compulsão alimentar (35%), além de diagnósticos mistos (5%). Os estudos foram, em sua maioria, realizados em mulheres adultas. A TCC, em sua abordagem clássica no consultório, foi utilizada em todos os artigos, ora utilizada individualmente, ora comparada com outras intervenções (internet, CD-ROM e autoajuda). Encontrou-se como resultado que a TCC diminui os sintomas de compulsão alimentar e de purgação, além de oferecer ganhos secundários aos participantes, como melhora de sintomas depressivos, de ansiedade e até mudanças na personalidade. As outras intervenções pesquisadas obtiveram bons resultados na modificação dos sintomas, demonstrando que há um novo caminho a ser galgado com essas novas formas de tratamento. Conclusão O tratamento da bulimia nervosa possui evidências suficientes para que seja realizado com a terapia cognitivo-comportamental. Além dela, intervenções psicoterápicas inovadoras baseadas na TCC clássica apresentam bons indicativos de eficácia. Futuras pesquisas sobre essas diferentes intervenções são necessárias.

Contribuição para o estudo da fibromialgia : análise de variáveis de aptidão física, de composição corporal e capacidade funcional

A presente dissertação pretendeu verificar o efeito de um programa de exercício supervisionado versus domiciliário, de intensidade moderada, com a duração de 16 semanas, na aptidão física de pessoas com fibromialgia. Houve necessidade de ajustamento dos objetivos e analisaram-se os dados obtidos no primeiro momento de avaliação, pretendendo-se analisar a relação entre variáveis de aptidão física, contribuindo para a compreensão da aptidão física de pessoas com fibromialgia. Apresentam-se e analisam-se variáveis de aptidão física e os resultados do efeito do exercício a nível de composição corporal, capacidade cardiorrespiratória e capacidade funcional. Neste âmbito realizaram-se 5 estudos. No estudo I analisou-se a precisão de diferentes equações preditivas de consumo de oxigénio, que utilizam a distância caminhada no teste de marcha de 6 minutos e propõe-se uma atualização para a equação específica para esta população. No estudo II observou-se a relação entre o consumo de oxigénio, composição corporal e força muscular. No estudo III avaliou-se a precisão de equações preditivas de composição corporal utilizando pregas adiposas e a densitometria de raio-X de dupla energia como método de referência. No estudo IV verificou-se qual o índice que melhor reflete a composição corporal destas mulheres. No estudo V analisou-se a associação entre a frequência cardíaca de recuperação, após um teste de esforço máximo e o consumo de oxigénio. Os principais resultados reforçam os resultados anteriores de que a população estudada apresenta diminuição da aptidão física, da capacidade funcional e valores de composição corporal indicativos de excesso de peso. Não apresentaram alterações autonómicas e verificou-se que a distância caminhada durante o teste de marcha de 6 minutos, a idade, percentagem de massa gorda e a massa magra apendicular são preditores do VO2 pico. Após a intervenção as participantes apresentaram alterações positivas a nível da aptidão física.

China and India’s Maritime Geostrategies:: Implications for International Maritime Security and Scenarios for 2030

Dissertação de Mestrado em Estratégia

Holonomia, geometría homogénea, dinámica topológica y rango de variedades riemannianas

Se estudiará la geometría de subvariedades haciendo hincapié en los grupos de holonomia de la conexión normal, herramienta que ha sido muy útil para atacar diversos problemas clásicos. Se estudiarán los siguientes problemas concretos: a) Resolver la conjetura de que toda subvariedad homogénea irreducible y substancial de la esfera cuyo grupo de holonomia normal no actúa transitivamente en la esfera es una órbita de la representación isotrópica de un espacio simétrico simple. b) ¿Existe alguna relación entre la noción de rango para espacios de curvatura no positiva y la noción de rango de una subvariedad? Respecto al rango de las variedades riemannianas se intenta probar un teorema general de descomposición para variedades riemannianas tal que toda geodésica esté contenida en un flat compacto. (...) Intentará generalizar los siguientes teoremas, válidos para flujos, a extensiones entre flujos, usando el concepto de semigrupo envolvente de una extensión. 1. X métrico y los elementos de E(X) son continuos, entonces E(X) es métrico. 2. Si se agrega la hipótesis de minimal, entonces X es equicontinuo. 3. X minimal, los elementos de E(X) de continuos y T contable entonces es equicontinuo. 4. X minimal y E(X) conmutativo entonces X es equicontinuo. 5. X distal y los elementos de E(X) son continuos, entonces X es equicontinuo.

Aplicaciones de la teoría de PDE a la relatividad general

Este plan de trabajo contempla diversas aplicaciones de la teoría de las Ecuaciones en Derivadas Parciales en el contexto de la Relatividad General. (...) Estas aplicaciones tiene como una de las intenciones últimas la de ser empleadas en simulaciones numéricas. Entre ellas destacamos las siguientes: * Fluidos viscosos relativistas y sus límites parabólicos. * Modelado numérico de las ecuaciones del primer punto. * Existencia global de sistemas disipativos. * Teoremas no-hair cosmológicos. * Límite Newtoniano de la relatividad general, resultados rigurosos. * Condiciones de contorno para las ecuaciones de Einstein.

Representaciones de grupos y álgebras de Lie

Este proyecto cuenta con 7 subproyectos.Subproyecto: Restricciones de representaciones de cuadrado integrable.Se continuará trabajando en el problema de restringir representaciones de cuadrado integrable en un grupo de Lie a un subgrupo semisimple o la factor unipotente de un subgrupo parabólico. En particular, se continuará analizando el caso de restringir desde el grupo SO(2n,1) al subgrupo SO(2) x SO(2n-2,1) y al factor unipotente del parabólico minimal de un grupo de Lie clásico de rango uno. Subproyecto: Representación metapléctica y grupos de Heisenberg generalizados. Se estudia la restricción de la representación metapléctica a subgrupos del grupo metapléctico. Subproyecto: Álgebras de tipo H. Se estudiarán estructuras de biálgebra en las álgebras de tipo H, álgebras de Lie nilpotentes de dos etapas. Se continuará con el estudio de cuantizaciones de álgebras de tipo H. Se estudiarán propiedades geométricas de las funciones theta generalizadas que surgen de álgebras de tipo H. Subproyecto: Módulos de peso máximo. Se intenta dar una respuesta al problema de clasificación de módulos quasifinitos de peso máximo sobre ciertas álgebras de dimensión infinita. Subproyecto: Cuantización de las álgebras de tipo H. Se tratará de cuantizar las álgebras de tipo H, álgebras de Lie nilpotentes de dos etapas. Se trabajará con una definición más general de las álgebras de Heisenberg, tratando de encontrar teoremas tipo Stone-Von Neumann y generalizaciones de las funciones theta. Subproyecto: Continuación analítica de integrales de coeficientes matriciales. Se analiza la existencia de continuación holomorfa de la integral a lo largo de un grupo semisimple real de las potencias complejas de un coeficiente matricial de una representación irreducible admisible. Subproyecto: Cálculo explícito de soluciones fundamentales de operadores invariantes. Se analizan condiciones en el polinomio que define un operador diferencial k-invariante para que resulte hipoellítico. Se trata en particular el caso del grupo SO(n,1). Subproyecto 7: Generadores de Goldie. Se trata de encontrar algoritmos para el cálculo de generadores de Goldie.

Algebras de Lie de tipo H

Es mi intención centrar mis investigaciones en los próximos años en las álgebras de Lie tipo H. Es nuestro objetivo encontrar nuevas familias de álgebras regulares no de tipo H y verificar la existencia o no de irreducibles cumpliendo de estas propiedades. En particular es interesante plantear su cuantización, es decir encontrar estructuras de álgebras de Hopf que sean deformaciones del álgebra envolvente correspondiente al álgebra de Lie en estudio. En particular estudiaremos si existen cuantizaciones quasitriangulares lo que nos llevaría soluciones de la ecuación de Yang-Baxter cuántica. Hasta ahora hemos logrado la cuantización en ciertos casos particulares. Para comprender cómo deben ser hechas las cuantizaciones en forma más general es necesario realizar un estudio sistemático de las estructuras de la biálgebra de las álgebras de Lie de tipo H. En particular se tratarán de detectar estructuras de biálgebra quasitriangulares y por consiguientes soluciones de la ecuación de Yang-Baxter clásica. Es un resultado conocido que las funciones de theta se pueden expresar como coeficiente matricial de la representación de Stone-Von Neumann. De los teoremas de Stone-Von Neumann para álgebras de tipo H surgen entonces funciones que serían una generalización de las funciones theta; es nuestro objetivo encontrar propiedades de estas funciones que puedan ser de interés.

Filososofía y Ciencia Computacional: Aspectos epistemológicos, ontológicos y metodológicos. Philosophy and Computing Sciencs: Epistemological, Ontological and Methodological Aspects.

Uno de los temas centrales del proyecto concierne la naturaleza de la ciencia de la computación. La reciente aparición de esta disciplina sumada a su origen híbrido como ciencia formal y disciplina tecnológica hace que su caracterización aún no esté completa y menos aún acordada entre los científicos del área. En el trabajo Three paradigms of Computer Science de A. Eden, se presentan tres posiciones admitidamente exageradas acerca de como entender tanto el objeto de estudio (ontología) como los métodos de trabajo (metodología) y la estructura de la teoría y las justificaciones del conocimiento informático (epistemología): La llamada racionalista, la cual se basa en la idea de que los programas son fórmulas lógicas y que la forma de trabajo es deductiva, la tecnocrática que presenta a la ciencia computacional como una disciplina ingenieril y la ahi llamada científica, la cual asimilaría a la computación a las ciencias empíricas. Algunos de los problemas de ciencia de la computación están relacionados con cuestiones de filosofía de la matemática, en particular la relación entre las entidades abstractas y el mundo. Sin embargo, el carácter prescriptivo de los axiomas y teoremas de las teorías de la programación puede permitir interpretaciones alternativas y cuestionaría fuertemente la posibilidad de pensar a la ciencia de la computación como una ciencia empírica, al menos en el sentido tradicional. Por otro lado, es posible que el tipo de análisis aplicado a las ciencias de la computación propuesto en este proyecto aporte nuevas ideas para pensar problemas de filosofía de la matemática. Un ejemplo de estos posibles aportes puede verse en el trabajo de Arkoudas Computers, Justi?cation, and Mathematical Knowledge el cual echa nueva luz al problema del significado de las demostraciones matemáticas.Los objetivos del proyecto son: Caracterizar el campo de las ciencias de la computación.Evaluar los fundamentos ontológicos, epistemológicos y metodológicos de la ciencia de la computación actual.Analizar las relaciones entre las diferentes perspectivas heurísticas y epistémicas y las practicas de la programación.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.