Análise da fibrose do tecido adiposo de mulheres submetidas à abdominoplastia e cirurgia bariátrica

A fibrose é um acúmulo demasiado de matriz extracelular, resultante de um desequilíbrio entre a síntese e a degradação dos seus componentes. É associada às alterações metabólicas do tecido adiposo, contudo sua ocorrência nos diferentes depósitos e repercussões clínicas ainda não são totalmente compreendidas. O objetivo deste estudo foi analisar a fibrose no tecido adiposo em relação à presença de obesidade, localização do depósito [tecido adiposo subcutâneo abdominal (TASA) e visceral (TAV)] e sua associação a variáveis clínicas. Amostras de gordura do TASA e TAV foram obtidas de 21 mulheres submetidas à cirurgia bariátrica (IMC>40Kg/m2) e 25 amostras de TASA das submetidas à abdominoplastia (IMC<30Kg/m2). As amostras foram processadas para histologia convencional. O corante picrosirius foi utilizado para avaliação das fibras colágenas totais. As imagens obtidas foram analisadas no ADIPOSOFT®. O percentual de fibrose no TASA e no TAV foi analisado com testes estatísticos não paramétricos, adotando-se um valor de p<0,05. A fibrose no TASA foi maior em mulheres com obesidade (p<0.0006). A fibrose entre os depósitos de TASA e de TAV foi observada apenas em mulheres pardas e negras com obesidade (p<0,012). A fibrose no TASA não foi correlacionada com as variáveis clínicas nas mulheres sem obesidade. No entanto, nas submetidas à cirurgia bariátrica, foram observadas correlações da fibrose no TASA com Índice de Massa Corpórea (IMC), hemoglobina glicada (A1c), LDL e triglicerídeos; e no TAV com porcentagem de perda gordura pré-operatório, % de perda de gordura total, % de massa magra pré, Taxa Metabólica Basal (TBM) e Gasto Energético Basal (GEB). Os parâmetros metabólicos e de perfil antropométrico antes da cirurgia bariátrica foram associados à fibrose no TASA, enquanto os parâmetros após a cirurgia foram associados à fibrose no TAV.

Cidades sob clichê imagético imaginação espacial e experimentações em poesias visuais

Esse trabalho procurou caracterizar o clichê imagético, articulando-o a exemplos relacionados às cidades provindas de pesquisas iconográficas realizadas no Google Imagens, dando-se, a partir desse contexto, se deram as rasuras dos clichês imagéticos por poesias visuais. A pesquisa iconográfica específica para a palavra “cidades” direcionou o estudo viabilizando a constatação deste clichê, que, por sua vez, foi enunciado como intermediador de imaginação espacial. As constatações empíricas sobre esta temática fez a pesquisa ser conduzida a cinco nomes de capitais brasileiras, que foram contrastadas com as imagens destas cidades caracterizadas fora do clichê imagético, sendo o formato padrão e estático da propagação das imagens foi o universo sobre o qual orbitou este estudo. Uma vez realizadas as observações sobre esta temática, passou-se à discussão poética referente às imagens captadas, e a partir de então foi feito um diálogo com artistas e poetas ao ponto de se delimitar uma justificativa para que poesias visuais fossem elaboradas rumando para outras grafias de mundo, passando, assim, a enfatizar novas possibilidades, para essas imagens identificadas como clichês. Então, este estudo visa possibilitar novas versões a serem produzidas sobre o mundo, optando pela temática “cidade” para melhor categorizar e referenciar a pesquisa iconográfica, direcionando a discussão acerca de espaços e paisagens urbanas. Para tanto, foram adotados os autores Deleuze e Guatarri, articulando seus diálogos com McLuhan e Watson, adentrando-se à dimensão do clichê e aparando-se na iconografia Google e na sua configuração repetida que então passa a evidenciar as características opostas das considerações elaboradas por Doreen Massey, para a imaginação espacial em seu processo fluídico, e não engessado. Pensando nas reverberações de dizeres que se contradizem dessas versões, a imaginação foi evidenciada para além desses processos, atentando-se, assim, às obras poéticas e artísticas de Manoel de Barros ou Valdelino Gonçalves, em que foram verificadas possibilidades de abertura de canais de diálogos com tais clichês, com poesias visuais, em um lançamento para a imaginação, rompendo-os. Em conclusão, foram observadas possibilidades de construções poéticas como dizeres de uma Geografia constituída no imaginário, mas que também possui suas significações perante a realidade, formuladas em rupturas com o dizer totalizante, repetido e homogêneo. Foram evidenciadas, então, essas características como contribuição aos estudos que tangem à temática “Geografia e Imagens”, possibilitando novas reverberações em universos de estudos para essa linha de pesquisa, que procura inovar nas percepções sobre o entendimento das imagens como canal de construção dos espaços geográficos de uma maneira geral.

Adequação e verificação de procedimentos para determinação de mercúrio em amostras de fígado e rim de rato utilizando a técnica CV-GF AAS

O mercúrio é um elemento que ainda necessita constante monitoramento devido sua capacidade tóxica em concentrações em níveis de traço com possibilidade de contaminação e exposição por uma variedade de formas e compostos presentes no ambiente. Esse estudo possuiu como objetivo a obtenção de um procedimento simplificado e eficiente para a determinação de teores de mercúrio em tecidos de rato Wistar a partir da otimização de um método de determinação, utilizando um sistema de geração de vapor frio acoplado a espectrometria de absorção atômica com forno de grafite (CV-GF AAS). Houve a comparação entre métodos de digestão, comparação de métodos de amalgamação, otimização, verificação do método a partir da obtenção de figuras de mérito e análise de amostras de fígado e rins de ratos tratados com exposição crônica ao mercúrio. Os resultados comprovaram que o método de digestão em bloco digestor, a utilização de amalgamação por recobrimento de tubo em ouro em conjunto com rede de ouro e adição pré-análise à solução de simeticona e isopropanol apresentou os melhores resultados, com teores de recuperação médios entre 92 e 114 %, viabilizando a utilização do procedimento proposto.

Inclusividade e efetividade no Conselho Estadual de Direitos Humanos do Espírito Santo (2009-2013)

Esta dissertação de mestrado trata de analisar os limites e possibilidades do Conselho Estadual de Direitos Humanos do Espírito Santo. Ao investigar as condições de inclusividade e efetividade das demandas da sociedade civil local, observa-se de que modo essas condições colaboram para o aprofundamento da democracia. A relevância do trabalho está na sua capacidade de colaborar na verificação das consequências da participação política dos atores da sociedade civil local na instituição participativa. No sentido de testar as hipóteses levantadas lançou-se mão de uma metodologia qualitativa e quantitativa. Destarte, os resultados alcançados evidenciam que há no interior do CEDH consideráveis condições de inclusividade de variedade de temas e atores. Entretanto, no que tange à efetividade, esta se refere mais expressivamente a uma efetividade participativa, na qual os ganhos se pulverizam no fortalecimento da sociedade civil e no atendimento a questões mais pontuais do que propriamente à implementação de políticas públicas. Ademais, constatou-se que a judicialização da política tem sido a estratégia encontrada para superar tais percalços encontrados no processo participativo de concretização da garantia de direitos humanos.

Experiências formativas no início da docência mediadas pelo PIBID educação física da Universidade Estadual de Feira de Santana, Bahia

O presente trabalho objetiva compreender como o Coordenador, os Supervisores e os Bolsistas do PIBID Educação Física da Universidade Estadual de Feira de Santana (UEFS) no município de Feira de Santana – Bahia percebem os processos de iniciação à docência na formação inicial de professores de Educação Física no PIBID Educação Física – UEFS. Por meio da Pesquisa Narrativa, numa perspectiva de pesquisa e de formação, oportunizamos aos sujeitos da pesquisa entrevistas narrativas compostas pela reflexividade crítica necessária na constituição da docência. Analisamos a produção acadêmica sobre a temática da iniciação à docência no tempo da formação inicial nos bancos de dados da Associação Nacional de Pós-Graduação e Pesquisa em Educação (ANPED) e do Congresso Brasileiro de Ciências do Esporte (CONBRACE) e discutimos com Antonio Nóvoa, Carlos Marcelo e Molina Neto sobre as concepções de formação e as experiências vividas no início da docência e buscamos em Walter Benjamin e Jorge Larrosa ancoragens para o entendimento do conceito de experiência. Os resultados apontam para o reconhecimento do PIBID como um programa que aproxima do campo de atuação interferindo na escolha pela docência. Sinalizam que o programa possibilita a articulação entre a universidade e a escola fortalecendo a perspectiva de formação que acontece coletivamente. Confirmam que o PIBID permite a constatação dos desafios presentes na escola e da necessidade de transformação desta realidade com a articulação dos saberes acadêmicos e os escolares. Neste sentido, constatamos a afirmação da entrada na carreira, como uma experiência formativa que intensifica o desenvolvimento profissional docente e, portanto, deve ser concebida como política nacional institucionalizada de iniciação à docência.

Determinação do momento crítico de flambagem lateral com distorção em vigas mistas contínuas de aço e concreto com perfis de alma senoidal

As vigas mistas de aço e concreto estão sendo largamente utilizadas em construções de edifícios e pontes. Ao se combinar o aço com o concreto obtêm-se estruturas mais econômicas, uma vez que se tira proveito das melhores características de cada material. Nas regiões de momento negativo de uma viga mista contínua, a mesa inferior e parte da alma estão comprimidas, se a alma do perfil não tiver rigidez suficiente para evitar a flexão lateral, ela distorcerá gerando um deslocamento lateral e um giro na mesa comprimida, caracterizando um modo de flambagem denominado flambagem lateral com distorção (FLD). O procedimento de verificação à FLD da EN 1994-1-1:2004 originou o método de cálculo da ABNT NBR 8800:2008, entretanto a EN 1994-1-1:2004 não fornece expressão para o cálculo do momento crítico elástico, enquanto a ABNT NBR 8800:2008 prescreve uma formulação proposta por Roik, Hanswille e Kina (1990) desenvolvida para vigas mistas com perfis de alma plana. Embora as normas prescrevam um método de verificação à FLD para vigas mistas com perfis de alma plana, poucos estudos têm sido feitos sobre esse estado-limite. Além disso, tanto a ABNT NBR 8800:2008 quanto as normas internacionais não abordam perfis de alma senoidal. Neste trabalho, foram implementadas análises de flambagem elástica, com auxílio do software ANSYS 14.0 (2011), em modelos de elementos finitos que retratem o comportamento à FLD de vigas mistas de aço e concreto com perfis de alma plana e senoidal. Os modelos numéricos foram constituídos pelo perfil de aço, por uma mola rotacional que restringe parcialmente o giro da mesa superior e uma restrição ao deslocamento lateral, ao longo de todo o comprimento da viga. Os resultados numéricos são comparados com os obtidos pelas formulações de Roik, Hanswille e Kina (1990) e de Hanswille (2002), adaptadas para levar em consideração a corrugação da alma do perfil de aço. Para avaliação das formulações supracitadas e da consistência da modelagem numérica adotada, o momento crítico elástico foi determinado para vigas mistas com perfis de aço de alma plana. Como resultado, um método para o cálculo do momento crítico elástico de vigas mistas de alma senoidal é proposto.

Um algoritmo PSO híbrido para planejamento de caminhos em navegação de veículos utilizando A*

Utilizar robôs autônomos capazes de planejar o seu caminho é um desafio que atrai vários pesquisadores na área de navegação de robôs. Neste contexto, este trabalho tem como objetivo implementar um algoritmo PSO híbrido para o planejamento de caminhos em ambientes estáticos para veículos holonômicos e não holonômicos. O algoritmo proposto possui duas fases: a primeira utiliza o algoritmo A* para encontrar uma trajetória inicial viável que o algoritmo PSO otimiza na segunda fase. Por fim, uma fase de pós planejamento pode ser aplicada no caminho a fim de adaptá-lo às restrições cinemáticas do veículo não holonômico. O modelo Ackerman foi considerado para os experimentos. O ambiente de simulação de robótica CARMEN (Carnegie Mellon Robot Navigation Toolkit) foi utilizado para realização de todos os experimentos computacionais considerando cinco instâncias de mapas geradas artificialmente com obstáculos. O desempenho do algoritmo desenvolvido, A*PSO, foi comparado com os algoritmos A*, PSO convencional e A* Estado Híbrido. A análise dos resultados indicou que o algoritmo A*PSO híbrido desenvolvido superou em qualidade de solução o PSO convencional. Apesar de ter encontrado melhores soluções em 40% das instâncias quando comparado com o A*, o A*PSO apresentou trajetórias com menos pontos de guinada. Investigando os resultados obtidos para o modelo não holonômico, o A*PSO obteve caminhos maiores entretanto mais suaves e seguros.

Implementação de formulações do método dos elementos de contorno para associação de placas no espaço

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2016.

Sensor-driven agenda for intelligent home care of the elderly

The exponential increase of home-bound persons who live alone and are in need of continuous monitoring requires new solutions to current problems. Most of these cases present illnesses such as motor or psychological disabilities that deprive of a normal living. Common events such as forgetfulness or falls are quite common and have to be prevented or dealt with. This paper introduces a platform to guide and assist these persons (mostly elderly people) by providing multisensory monitoring and intelligent assistance. The platform operates at three levels. The lower level, denominated ‘‘Data acquisition and processing’’performs the usual tasks of a monitoring system, collecting and processing data from the sensors for the purpose of detecting and tracking humans. The aim is to identify their activities in an intermediate level called ‘‘activity detection’’. The upper level, ‘‘Scheduling and decision-making’’, consists of a scheduler which provides warnings, schedules events in an intelligent manner and serves as an interface to the rest of the platform. The idea is to use mobile and static sensors performing constant monitoring of the user and his/her environment, providing a safe environment and an immediate response to severe problems. A case study on elderly fall detection in a nursery home bedroom demonstrates the usefulness of the proposal.

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

Analysis of computing open source systems

Graphical user interfaces (GUIs) are critical components of today's open source software. Given their increased relevance, the correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing open source systems. We use static analysis techniques to generate models of the user interface behavior from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particular type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.