Análise da complexidade de espaço para um algoritmo de K(1)-Validade

Trabalho de conclusão de curso (graduação)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2011.Apresenta-se neste trabalho a análise da complexidade de espaço do cálculo de resolução para K(1) proposto por Nalon e Dixon. Prova-se que este algoritmo, para o problema de K(1)-validade, tem complexidade de espaço de pior caso, pelo menos, exponencial, isto é, f(n) = (2n). Compara-se este resultado com a complexidade do algoritmo proposto por Ladner para o mesmo problema. Duas técnicas são sugeridas para uma melhora na complexidade de espaço. Prova-se, para isso, que é possível aplicar subsunção proposicional como parte do algoritmo baseado em resolução para K(1).In this work, the analysis of the K(1)'s resolution calculus space complexity proposed by Nalon and Dixon is done. It is proved that this algorithm, for the K(1)-validity problem, has, at least, exponencial worst case space complexity that is f(n) = (2n). The result is compared with the algorithm's complexity proposed for the same problem by Ladner. For an improvement on the space's complexity, two technics are suggested. For this, it is proved that it is possible to apply propositional subsumption as part of the resolution based calculus for K(1)

Phlebotomine Fauna (Diptera: Psychodidae) and Putative Vectors of Leishmaniases in Impacted Area by Hydroelectric Plant, State of Tocantins, Brazil

Although leishmaniases are regarded as serious public health issues in the State of Tocantins, as consequence of the impact of environmental changes, small advances in taxonomic and ecological studies of Phlebotominae fauna are taking place in this state. The present study aimed to improve the knowledge about the sand flies, as well as about the aspects of the bioecology of leishmaniases vectors from Porto Nacional, a city that was directly impacted by the construction of Luís Eduardo Magalhães Hydroelectric Plant (HEP – Lajeado)., the vector of American Cutaneous Leishmaniasis (ACL), predominated in rural areas. The frequency and habits of sand fly vectors are discussed considering environmental characteristics and climatic factors. in periurban area of the city

Estudo da relação entre as propriedades dos carvões e a microestrutura porosa dos coques

A resistência mecânica do coque metalúrgico está intimamente relacionada com sua microestrutura porosa, de forma que o conhecimento quantitativo dos parâmetros microestruturais formada pelos diferentes tipos de carvões pode ser de grande utilidade. Nesse trabalho foram produzidos coques laboratoriais a partir de carvões com diferentes propriedades. A caracterização microestrutural foi realizada a partir de uma metodologia proposta de microscopia ótica associada a análise de imagem. O estudo indica que o teor matéria volátil, fluidez e a composição maceral dos carvões são preponderantes na formação da microestrutura porosa dos coques. O carvão de alta matéria volátil e alta fluidez estudado deu origem a um coque com elevada porosidade e com poros grandes. O carvão ensaiado com elevada quantidade de macerais do grupo da inertinita gerou coque com microestrutura de baixa porosidade, no entanto com grande concentração de poros de baixa circularidade. O carvão e a mistura com conteúdo de matéria volátil e fluidez intermediários deram origem a coques com microestruturas porosas compostas por poros de pequenas dimensões e com formas mais adequadas.The mechanical strength of metallurgical coke is closely related to its porous microstructure, so that the quantitative knowledge of the microstructural parameters formed by the different types of coals can be very useful. In this work laboratory cokes were produced from coals with different properties. The microstructural characterization was performed from a proposed methodology of optical microscopy associated with image analysis. The study indicates that the volatile matter content, fluidity and the maceral composition of the coals are preponderant in the formation of the porous microstructure of the cokes. Coals of high volatile matter and high fluidity studied formed cokes with high porosity and large pores. The coal with high content of the inertinite maceral group gave rise to a coke with microstructure of low porosity, although with great concentration of pores of low circularity. The coal and blend with volatile matter content and fluidity intermediate formed cokes with microstructure composed by pores of small sizes and more suitable forms

Erratum to: The study of cardiovascular risk in adolescents – ERICA: rationale, design and sample characteristics of a national survey examining cardiovascular risk factor profile in Brazilian adolescents

1585

Coalizão talonavicular parcial: Partial talonavicular coalition

Introdução: Coalizão tarsal se refere à fusão congênita entre dois ou mais ossos do mediopé ou retropé, podendo ser de ordem óssea, cartilaginosa ou fibrosa. O subtipo talonavicular é menos prevalente, já que a coalizão talocalcânea e calcâneonavicular são responsáveis por mais de 90% de todos os casos de coalização tarsal. Apresentação do Caso: LVP, feminino, 24 anos, com queixa de dor crônica em pé direito e dificuldade de deambulação há 10 anos. Clinicamente, observou-se dor à mobilização passiva e diminuição da amplitude de movimento, sendo realizada tomografia computadorizada (TC) de pé direito, que evidenciou coalizão talonavicular parcial. Discussão: A apresentação clínica é frequentemente assintomática, favorecendo maior progressão de doença e evolução para complicações que acarretam maior morbidade, como a osteoartrite de mediopé. O tratamento conservador deve ser indicado inicialmente e, em casos de refratariedade à abordagem clínica, recomenda-se a ressecção cirúrgica da coalizão com interposição de enxerto tecidual. Conclusão: A coalizão talonavicular é um subtipo raro e infrequente dentre as coalizões tarsais, sendo uma causa subdiagnosticada de dor crônica no tornozelo e pé, associando-se, portanto, com maior morbidade em virtude do diagnóstico tardio.&nbsp

Enfisema bolhoso idiopático gigante em paciente jovem: Giant idiopathic bullous Emphysema in a young patient

Introdução: O enfisema bolhoso é uma condição crônica e progressiva que ocorre em consequência da degeneração do espaço aéreo pulmonar e formação de uma ou múltiplas bolhas. Apresentação do caso:  Homem, 45 anos, caucasiano com ascendência europeia, apresentou-se ao setor de urgência e emergência de um serviço particular da cidade de Brasília, com queixa de dispnéia há aproximadamente 18 meses. Inicialmente associada a atividades físicas intensas, que evoluiu progressivamente no decorrer dos meses. Discussão: Inicialmente, o caso em análise demonstrou características evidentes de enfisema bolhoso gigante (GBE) os quais podem ser percebidos pelos seguintes pontos. A princípio, evidencia-se que o local de trabalho do paciente foi fator fundamental para a evolução do quadro, visto que permanecia por 8 horas diária em uma carvoaria desde a infância. Logo, em decorrência houve o desencadeamento de dispneia aos pequenos esforços, insônia, perda de peso, sensação de aperto no peito e febre. Conclusão: é evidente que o conhecimento científico adequado por parte do médico possibilita a orientação adequada a seu paciente e a elaboração de um plano eficaz, de modo a proporcionar um diagnóstico precoce e a tomada de decisões em tempo hábil. Com isso é possível melhorar o prognóstico do paciente, evitar maiores danos e futuras complicações