A Virtual Machine for a Type-omega Denotational Proof Language

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to evaluate Athena phrases. This thesis also includes the design and implementation of a compiler for monomorphic Athena that compiles to the VM. Finally, it includes details on my implementation of a read-eval-print loop that glues together the VM core and the compiler to provide a full, user-accessible interface to monomorphic Athena. The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.

Trauma abdominal penetrante: Revision sistematica de la literatura

Introducción El manejo de las heridas abdominales penetrantes ha variado en los últimos 30 años, la laparotomía mandatoria es la conducta más usada en el Hospital Occidente De Kennedy a pesar presentar complicaciones y aumentar las tasas de morbimortalidad. Existen diferentes conductas selectivas del trauma abdominal penetrante como son: valoraciones físicas seriadas, ultrasonografía, laparoscopia, TAC de triple contraste y lavado peritoneal; sin embargo no se ha definido cuál de estos métodos es el más eficiente para el diagnóstico. El objetivo es determinar cual es el método diagnostico más efectivo para evaluar el trauma abdominal penetrante dependiendo del sitio topográfico de la lesión. Métodos: Revisión sistemática de la literatura en revistas indexadas a nivel mundial y literatura gris colombiana. Se escogieron artículos entre 1990 y 2010 que suministraran la mejor evidencia. Se evaluó su calidad metodológica de acuerdo a las recomendaciones desarrolladas por la Asociación Médica Americana en JAMA 1993. Adicionalmente se utilizó el SCORE de calidad metodológico publicado en la revista Chilena de Cirugía 2003. Los estudios incluidos fueron organizados en una tabla de evidencia donde se tuvo en cuenta los siguientes puntos: fecha de publicación, revista, autor, nivel de evidencia y desenlace principal. Resultados: En total se encontraron 98 artículos, según los criterios de elegibilidad se seleccionaron 57 y se adiciono 2 guías de manejo clínico. A pesar de la heterogeneidad de los estudios se encontró concordancia en 17 artículos en cuanto la disminución de complicaciones, tiempo de estancia hospitalaria y disminución de laparotomías negativas con el uso de la TAC de triple contraste y la laparoscopia diagnostica. Conclusión: No existe un juicio para determinar que metodología diagnóstica es la más eficiente en el manejo conservador, pero resulta evidente que la tendencia actual del manejo del trauma abdominal está dirigida a seleccionar y a enfocar al paciente de forma individual. Las alternativas más efectivas hasta el momento ha considerar son la TAC de triple contraste y la laparoscopia diagnostica en las heridas en flancos, dorso y región toracoabdominal respectivamente.

Nitretação a plasma em aço inoxidável 17-4 PH

Este trabalho tem por objetivo otimizar os parâmetros de nitretação a plasma para a formação de camadas nitretadas com propriedades tribológicas adequadas para a utilização em ponteiras de conexão utilizadas em “risers” de completação de poços de petróleo. Para atingir este objetivo, amostras de aço inoxidável endurecível por precipitação 17-4 PH foram nitretadas a plasma em um reator com mistura gasosa de 76%N2 e 24%H2 durante 4 horas. As temperaturas utilizadas no processo foram 400, 450, 480 e 550°C. As camadas nitretadas produzidas foram avaliadas quanto à morfologia, espessura, composição, dureza, resistência à corrosão e resistência ao desgaste. Os resultados demonstraram que as condições de nitretação utilizadas foram eficientes no endurecimento superficial das amostras. A utilização de temperatura elevada (550°C) não é adequada para a nitretação de aços inoxidáveis endurecíveis por precipitação 17-4 PH. A amostra nitretada a 450°C apresentou a melhor combinação de propriedades para aplicação nas ponteiras de “risers” de completação.

Estudo da formação de trincas internas centrais em barras laminadas em aço SAE 1141

A qualidade SAE 1141 alia boas conformabilidade e usinabilidade em um mesmo aço – esta qualidade possui adição de teores de enxofre da ordem de 0,08 – 0,13% em peso. É largamente empregada no segmento de forjarias na confecção de componentes com relativa complexidade e exigência mecânica, tais como garfos e ponteiras para a indústria automotiva. Devido a esse fato, é imprescindível que a matéria-prima para a conformação destes componentes atenda às exigências impostas pelos esforços aplicados aos mesmos e, dado às solicitações que sofrem, apresente um desempenho satisfatório em sua forma final, principalmente no tocante à sanidade interna, visto que defeitos dessa natureza são extremamente deletérios à performance dos componentes conformados. Em função disso, o principal objetivo desta investigação é avaliar as causas potencialmente geradoras de defeitos denominados trincas internas centrais, as quais afetam fortemente a sanidade interna da matéria-prima, além de reduzir a sua incidência em barras de aço da qualidade SAE 1141. Para tanto, são apresentadas considerações sobre a avaliação destes defeitos, analisando-se as possíveis causas geradoras das trincas, as quais são caracterizadas sob o enfoque de bibliografia adequada. Através da realização de ensaios no lingotamento contínuo (LC) envolvendo a utilização do agitador eletromagnético final (FEMS), elaboração de curvas de ductilidade pelo emprego do simulador físico Gleeble para os materiais nas condições tarugo e barra laminada, experiências na laminação envolvendo análises de amostras após cada diferente grau de redução ou passe conferido ao material pelo processo e variação das taxas de resfriamento pós-processamento, busca-se reduzir as ocorrências destes defeitos, diminuindo conseqüentemente sucateamento e custos e melhorando o desempenho do material frente às expectativas dos componentes em serviço. A metodologia empregada para a detecção dos defeitos nas barras laminadas foi a submissão das mesmas ao ultra-som. Várias amostras tiveram os seus defeitos detectados através desse ensaio, os quais foram analisados e caracterizados previamente ao início da investigação das causas geradoras, balizando assim a tomada de decisão em relação aos experimentos a serem realizados. Os dados práticos foram obtidos na Gerdau Aços Especiais Piratini, onde a análise de defeitos internos gerados a partir do processo produtivo é um procedimento rotineiro. A interpretação dos resultados, bem como testes laboratoriais adicionais foram realizados na própria usina e no IAS – Instituto Argentino de Siderurgia. Em paralelo, realizou-se uma revisão na literatura aberta dos principais fundamentos e conceitos metalúrgicos referentes a trincas internas e causas de geração das mesmas, tais como, influência do FEMS na solidificação e na condição de segregação nos tarugos de LC, elementos de liga com caráter fragilizante e/ou deletério (por exemplo, hidrogênio, carbono, enxofre e manganês), influência das transformações de fase – velocidade de resfriamento pós-processamento e influência dos elementos de liga – na formação dos defeitos, entre outros. Os resultados obtidos permitiram concluir que a principal causa da geração das trincas internas do tipo centrais em barras laminadas está associada a uma combinação de variáveis. As transformações de fase, somadas a presença de altos teores de hidrogênio no aço – fato este de grande importância na geração dos defeitos detectado somente ao longo da realização do trabalho – fragilizam localmente o núcleo das barras, gerando trincas. Estas, por sua vez, têm a sua propagação facilitada através de cadeias ou redes de sulfeto de manganês, por vezes devido à alta incidência das mesmas nos aços da qualidade SAE 1141. Além disso, pode-se constatar que a geração dos defeitos é potencializada para barras de diâmetros superiores a 75,00 mm. Em barras de diâmetros menores, as falhas estão igualmente presentes e apresentam morfologia similar aos defeitos encontrados nas barras de maior diâmetro, porém, em escala não significativa, não sendo assim abordadas neste trabalho. Pode-se constatar ainda, que a redução da incidência dos defeitos do tipo trincas internas centrais em barras laminadas de diâmetros superiores a 75,00 mm – e conseqüente sucateamento – foi da ordem de mais de 95% desde o início do trabalho, reduzindo-se assim o sucateamento desta qualidade para níveis da ordem de, aproximadamente, 1,0%.

Influência do tipo de ponteira utilizada na fotoativação sobre o grau de conversão, dureza e resistência á compressão de resinas compostas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)