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.

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.

Predictive Optimal Matrix Converter Control for a Dynamic Voltage Restorer with Flywheel Energy Storage

This paper presents a predictive optimal matrix converter controller for a flywheel energy storage system used as Dynamic Voltage Restorer (DVR). The flywheel energy storage device is based on a steel seamless tube mounted as a vertical axis flywheel to store kinetic energy. The motor/generator is a Permanent Magnet Synchronous Machine driven by the AC-AC Matrix Converter. The matrix control method uses a discrete-time model of the converter system to predict the expected values of the input and output currents for all the 27 possible vectors generated by the matrix converter. An optimal controller minimizes control errors using a weighted cost functional. The flywheel and control process was tested as a DVR to mitigate voltage sags and swells. Simulation results show that the DVR is able to compensate the critical load voltage without delays, voltage undershoots or overshoots, overcoming the input/output coupling of matrix converters.

Stability Condition Based Sliding Mode Modulators for Multilevel Power Converters

Sliding mode controllers for power converters usually employ hysteresis comparators to directly generate the power semiconductors switching states. This paper presents a new sliding mode modulator based on the direct implementation of the sliding mode stability condition, which for multilevel power converters shows advantages, as branch equalized switching frequencies and less distortion on the ac currents when operating near the rated converter power. The new sliding mode multilevel modulator is used to control a three-phase multilevel converter, operated as a reactive power compensator (STATCOM), implementing the stability condition in a digital signal processing system. The performance of this new sliding mode modulator is compared with a multilevel modulator based on hysteresis comparators. Simulation and experimental results are presented in order to highlight the system operation and control robustness.

Wetting response of KrF laser ablated polyimide surfaces

The wettability of polyimide surfaces microstructured using KrF laser radiation at fluences above the material ablation threshold was studied by static contact angle measurements. The laser-treated surfaces present a morphology consisting of conical features whose dimensions and areal density depend on the fluence. The effect of these parameters on the surface apparent contact angle depends on the wetting regime. When wetting occurs in the homogeneous regime, the apparent contact angle of the treated surfaces increases with the radiation fluence because the cone dimensions increase. In contrast, when wetting occurs in the heterogeneous regime, the apparent contact angle increases with the radiation fluence because the average distance between cones increases. The apparent water contact angle of the laser-treated surfaces can reach values as high as 162 degrees, as compared to 75 degrees for virgin polyimide.

Optimal design of piezolaminated structures using B-spline strip finite element models

A package of B-spline finite strip models is developed for the linear analysis of piezolaminated plates and shells. This package is associated to a global optimization technique in order to enhance the performance of these types of structures, subjected to various types of objective functions and/or constraints, with discrete and continuous design variables. The models considered are based on a higher-order displacement field and one can apply them to the static, free vibration and buckling analyses of laminated adaptive structures with arbitrary lay-ups, loading and boundary conditions. Genetic algorithms, with either binary or floating point encoding of design variables, were considered to find optimal locations of piezoelectric actuators as well as to determine the best voltages applied to them in order to obtain a desired structure shape. These models provide an overall economy of computing effort for static and vibration problems.