Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Naveg@mos por Aragón.

Seleccionado en la convocatoria: Ayudas a proyectos de innovación e investigación educativa en el campo de la educación permanente, Gobierno de Aragón 2008-09

Las TIC al servicio de la creatividad musical : MOS, una propuesta para el aprendizaje musical en línea.

Resumen tomado de la revista

Escenas de miedo : los miedos que me aprisionan son míos ¿y...?

Suplemento Especial monográfico nuestros miedos

Recurso MOS.

Resumen tomado de la publicación

Recurso MOS : Educación musical : ESO y Bachillerato.

Resumen basado en el de la publicación

Folclore y flamenco con MOS.

Resumen basado en el de la publicación

MOS : recurso para la educación musical.

Curso en formato digital destinado a la formación del profesorado de educación musical de ESO y Bachillerato, aunque por sus contenidos puede ser de utilidad para cualquier docente de otros niveles y ámbitos educativos de este tipo de enseñanzas. Se presentan un conjunto de secuencias didácticas y objetos de aprendizaje destinados a su utilización en las aulas de música, un gestor de programaciones de aula, herramientas para la colaboración entre docentes y un catálogo de experiencias en el uso de las TIC en el área de Música e información actualizada de valor para toda la comunidad educativa.

El arte y la palabra : constru??mos nuestro colegio

Monogr??fico con el t??tulo: ???Ense??ar a comunicar: el profesorado narra sus experiencias de aula???

A função barreira na pele sensível das mãos : um estudo piloto por um método dinâmico

Estudos recentes sugerem que a chamada “pele sensível” afectará cerca de 50% da população nas sociedades desenvolvidas, aspecto que não pode ser ignorado, apesar das conhecidas dificuldades em caracterizar esta condição,ou mesmo em justificar essa prevalência. O presente estudo piloto procurou explorar a integridade da barreira cutânea em indivíduos com “pele sensível” nas mãos, através de um modelo compartimental previamente desenvolvido, conhecido pelo seu rigor e sensibilidade. Cinco voluntários do sexo feminino com indicação de pele sensível foram sujeitos a oclusão durante 24H ao nível das mãos. Após a remoção da oclusão avaliou-se a Perda Trans Epidérmica de Água (PTEA) durante 30 min. Aplicou-se um modelo bicompartimental aos dados de PTEA, calculando-se o parâmetro relativo à alteração da barreira cutânea (t1/2 evap - tempo de semi-vida de evaporação). Os dados obtidos foram comparados com resultados de referência já publicados. Ot1/2 evap é superior nos indivíduos referidos como “pele sensível” comparado com indivíduos ditos normais. Esta alteração na barreira parece justificar a sensação de secura cutânea característica da pele sensível, bem como uma maior susceptibilidade a factores exteriores, por aumento da penetração transcutânea de substâncias agressoras. Por se tratar de um estudo-piloto, estes dados têm que ser confirmados com uma população mais alargada.

Análise da associação entre a perda de peso e a actividade física actual, no acompanhamento de adultos obesos mórbidos após cirurgia bariátrica

Em Portugal 0,6% dos adultos são obesos mórbidos. Como a cirurgia bariátrica tem vindo a ganhar popularidade no tratamento desta população, o objectivo principal do presente trabalho é analisar a associação entre a perda de peso e os hábitos de actividade física em adultos obesos mórbidos submetidos a cirurgia bariátrica. Como objectivo secundário estudámos a associação entre os hábitos de actividade física actuais e a maximização da perda de peso, bem como, a sua associação à capacidade aeróbia, nesta população. Este trabalho divide-se em duas partes fundamentais, a primeira uma revisão sistemática da literatura que sumarizou os efeitos da actividade física e/ou exercício físico após cirurgia bariátrica como parte de uma abordagem multidisciplinar. Este estudo permitiu constatar impactos benéficos sobre variáveis antropométricas e da composição corporal, níveis de actividade física/exercício físico, aptidão física, aptidão física funcional, qualidade de vida e marcadores bioquímicos após cirurgia bariátrica. A segunda parte, um estudo experimental onde participaram 75 obesos mórbidos submetidos a cirurgia bariátrica com idades compreendidas entre os 18 e os 65 anos. Os sujeitos responderam a um questionário sobre hábitos de actividade física, que analisou os hábitos de actividade física e a sua associação à aptidão cardiorrespiratória e à maximização da perda de peso nesta população. Verificou-se uma associação positiva entre a perda de peso e actividade física. Observou-se, ainda, que os participantes que relataram maior intensidade e mais tempo dispendido em actividade física/exercício físico apresentaram um aumento no consumo máximo de oxigénio no pós-operatório. Propõe-se, portanto, que a actividade física/exercício físico seja uma parte essencial de um programa de acompanhamento após cirurgia bariátrica.

Taxas de sobrevivência a longo prazo associadas a complicações de 26 cavalos submetidos a cirurgia de cólica (2008-2010)

Cólica é um síndrome de elevada importância na medicina e cirurgia de equinos. Cólicas que são referenciadas para correcção cirúrgica apresentam um impacto maior na taxa de sobrevivência. O presente trabalho pretende determinar o valor da taxa de sobrevivência, bem como, descrever as possíveis complicações e recorrências a longo prazo de uma população de 26 equinos que foram submetidos a cirurgia de cólica. Para a elaboração deste estudo foram revistos todos os casos clínicos de equinos submetidos a cirurgia de cólica, no período decorrente entre 1 de Janeiro de 2008 e 31 de Dezembro de 2010, na Clínica Medicina e Cirurgia de Equinos, LDA e foram elaborados questionários que foram endereçados via Web para o correio electrónico dos proprietários. Neste trabalho estão contemplados todos os cavalos com dor abdominal aguda, aos quais foram identificados parâmetros indicativos de iniciação de um protocolo de cirurgia, e excluídos, todos os que foram eutanasiados após o diagnóstico de cólica e os que foram vendidos até ao momento do questionário. A taxa de sobrevivência neste estudo foi de 86,7%, valor que se enquadra na bibliografia revista. Após a cirurgia de cólica 80% dos cavalos voltaram a praticar a actividade física. Todas as recidivas de cólica foram tratadas cirurgicamente não se verificando a influencia negativa da segunda laparotomia exploratória sobre a taxa de sobrevivência na nossa amostra. Todos os proprietários reconsiderariam a opção do tratamento cirúrgico caso se deparassem com um novo episódio de cólica.

Perfil dos atendimentos ambulatoriais realizados em uma clínica de cirurgia plástica no sul do Brasil

Objetivo: Descrever o perfil dos atendimentos ambulatoriais realizados em uma clínica de cirurgia plástica no sul do Brasil. Materiais e Métodos: Foi realizado um estudo descritivo, exploratório e de caráter quantitativo com o intuito de analisar a totalidade de atendimentos ambulatoriais (consultas e cirurgias) realizadas em uma clínica privada de cirurgia plástica no período de 01 de janeiro a 31 de dezembro de 2010. Resultados: Observou-se que, das 671 (60,5%) consultas novas, apenas 205 (18,5%) cirurgias foram realizadas. Março foi o mês com mais consultas (10%) e cirurgias (11,7%). Do total de consultas novas, as reparadoras foram predominantes em 55,6% dos casos seguidos das estéticas com 33,7%. A média etária foi de 37 anos e com predomínio de mulheres. A idade variou de 8 meses a 89 anos. Os pacientes casados representaram a maioria das cirurgias (49,8%); houve predomínio de pacientes na fase adulta (31 a 59 anos) com 316 pacientes (47,1%). A Unimed foi o convênio mais atendido (49,3%) nas consultas; os procedimentos cirúrgicos mais frequentes foram as exéreses e/ou raspagem de afecções de pele e anexos 70 (33,1%), seguido das mastoplastias (mastoplastia de aumento, mamopexia, ginecomastia). Conclusão: Apesar da maioria dos atendimentos cirúrgicos terem sido exéreses de deformidades congênitas e/ou adquiridas, o resultado não se distancia da realidade encontrada no restante do Brasil, com predomínio de mulheres e grande número de implantes mamários. A clínica em estudo é uma instituição que apresenta condições para a viabilização de atendimentos ambulatoriais, considerando -se as inúmeras vantagens proporcionadas por este método.

Controle de infecção em clínicas de cirurgia plástica

A infecção é a mais frequente e grave complicação que acomete pacientes que procuram serviços estéticos e/ou funcionais em clínicas de cirurgia plástica. Uma infecção hospitalar eleva os custos do processo, tanto para o paciente quanto para a empresa. Diante disso, torna-se importante a instalação de uma comissão de controle de infecção hospitalar, tendo como responsável um enfermeiro. A importância deste profissional se dá por meio da organização da Central de Material Estarilizado (CME), bem como do estabelecimento de outras medidas efetivas para a prevenção e controle de infecções nas clínicas apresentadas ao longo desse artigo.