Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Estudo da susceptibilidade à corrosão sob tensão e à corrosão : fadiga do aço API X65 aspergido termicamente utilizado em componentes offshore

Aços de alta resistência mecânica, aspergidos termicamente, são os materiais mais adequados para garantir o bom desempenho de certos componentes de plataformas offshore, expostos a situações severas de carregamento em água do mar. A literatura apresenta vários estudos relativos ao efeito combinado entre esforços mecânicos e o meio agressivo, em aços de alta resistência, entretanto, poucos avaliam o desempenho desses aços aspergidos metalicamente. A susceptibilidade à corrosão sob tensão e à corrosão-fadiga, de um aço de alta resistência mecânica aspergido termicamente, empregado em componentes de plataformas offshore, foi avaliada mediante as técnicas de ensaio de tração com baixa taxa de deformação, ensaio de fadiga por flexão em três pontos e metalografia da fratura. Os ensaios foram realizados em água do mar sintética ao potencial de corrosão e à um potencial catódico, utilizando-se amostras de aço revestidas termicamente com zinco e alumínio pelo processo de aspersão com plasma spray. O comportamento de amostras ensaiadas ao ar foi usado como parâmetro para avaliação do desempenho do aço em água do mar. Os resultados obtidos indicam que o aço revestido é susceptível à corrosão sob tensão e à corrosão fadiga em água do mar, sendo que o mecanismo de fragilização envolve a ruptura prematura dos revestimentos e a participação do hidrogênio.

Sertralina e buspirona na cessação do tabagismo : ensaio clínico randomizado em fumantes sem depressão

Resumo não disponível.

Uso de animações visando a aprendizagem significativa de física térmica no ensino médio

Neste projeto utilizamos tecnologias educacionais – vídeos, animações e simulações interativas de eventos físicos - como atividades complementares às aulas expositivas e demonstrativas, visando a aprendizagem significativa de Física Térmica no ensino médio. As tecnologias foram utilizadas na sala de informática, onde era possível a interação do aluno com a simulação. Para tanto, produzimos um hipertexto sobre os conteúdos de Física Térmica abordados, incluindo muitas figuras, animações e vídeos. Este trabalho teve como referencial teórico a teoria de aprendizagem significativa de David Ausubel, cuja principal característica é levar em conta o conhecimento prévio do aprendiz. Uma experiência didática foi realizada com o material produzido, envolvendo os alunos do segundo ano da Escola Estadual André Leão Puente, sendo que destes, 58 alunos – grupo experimental - foram submetidos às atividades complementares e os demais, 53 alunos – grupo de controle – foram submetidos somente ao método tradicional. Os resultados mostram que houve melhorias estatisticamente significativas no desempenho dos alunos do grupo experimental, quando comparado aos estudantes do grupo de controle. A motivação para aprender, gerada pelas atividades complementares, e constatada por um questionário de avaliação, pode ter sido fundamental para atingir esses resultados. O hipertexto produzido e um teste para avaliação dos conhecimentos de Física Térmica estão incluídos no CD-rom, que integra esta dissertação, e poderá ser utilizado livremente por professores e alunos.

Prevalência de depressão pós-parto na cidade de Porto Alegre e seus fatores de risco

Resumo não disponível

Análise da complexidade computacional de problemas de estatística descritiva com entradas intervalares

A Estatística é uma ferramenta indispensável em todos os campos científicos. A Estatística descritiva é usada para sintetizar dados. O principal problema desta área está relacionado aos valores de uma amostra, os quais geralmente possuem erros que ocorrem durante a obtenção dos dados. Um dos objetivos deste trabalho é apresentar uma forma de representação para os valores amostrais que considera os erros contidos nestes valores. Esta representação é realizada através de intervalos. A literatura mostra que foram realizadas pesquisas somente em problemas de calcular os valores intervalares das medidas de dispersão variância, covariância e coeficiente de correlação, que a utilização da computação intervalar na solução de problemas de medidas de dispersão intervalar sempre fornece solução com intervalos superestimados (intervalos com amplitude grande), e que ao procurar uma solução com intervalos de amplitude pequena (através da computação da imagem intervalar), o problema passa a pertencer a classe de problemas NP-Difícil. Com o objetivo principal de analisar a complexidade computacional dos problemas de computar os valores dos indicadores estatísticos descritivos com entradas intervalares, e realizar uma classificação quanto a classe de complexidade, a presente tese apresenta: i) definições intervalares de medidas de tendência central, medidas de dispersão e separatrizes; ii) investigação da complexidade de problemas das medidas de tendência central média, mediana e moda, das medidas de dispersão amplitude, variância, desvio padrão, coeficiente de variação, covariância, coeficiente de correlação e das separatrizes e iii) representação intervalar dos valores reais, de tal modo que garante a qualidade de aproximação nos intervalos solução calculado através da extensão intervalar Primeiramente, apresentamos uma abordagem intervalar para os indicadores estatísticos e propomos algoritmos para a solução dos problemas de computar os intervalos de medidas de tendência central intervalar, dispersão intervalar e separatrizes intervalares. Tais algoritmos utilizam a aritmética intervalar definida por Moore, a extensão intervalar e foram projetados para serem executados em ambientes intervalares como IntLab e Maple Intervalar. Por meio da análise da complexidade computacional verificamos que os problemas de medidas de tendência central, dispersão e separatrizes, com entradas intervalares, pertencem à classe de problemas P. Este trabalho apresenta, portanto, algoritmos de tempo polinomial que calculam os intervalos dos indicadores estatísticos com entradas intervalares, e que retornam como solução intervalos com qualidade de aproximação. Os resultados obtidos no desenvolvimento do trabalho tornaram viável a computação da Estatística Descritiva Intervalar.

Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

A competência das enfermeiras obstétricas na atenção ao parto normal hospitalar

Esta dissertação enfoca a percepção de enfermeiras obstétricas sobre sua competência na atenção ao parto normal institucionalizado. Na construção do referencial teórico sobre competência, contribuíram principalmente as abordagens de Phillipe Perrenoud e Terezinha Rios. A pesquisa foi de cunho qualitativo, do tipo descritivo-exploratório, sendo a coleta de dados desenvolvida através de entrevistas individuais semi-estruturadas, realizadas com enfermeiras obstétricas atuantes em um hospital público de grande porte de Porto Alegre. Os dados foram analisados através de análise de conteúdo, segundo Bardin. Os dados sugerem que, para as enfermeiras entrevistadas, a competência das enfermeiras obstétricas na atenção ao parto normal hospitalar se constrói nos cursos de formação de especialista e na prática profissional. No entanto, nem sempre há espaço para o desenvolvimento dessa competência, nem na etapa de formação, nem quando já estão empregadas como enfermeiras especialistas. Nas entrevistas, está implícita uma noção de competência para a atenção ao parto normal hospitalar como algo complexo, o que fica ilustrado nas diversas dimensões destacadas como suas constituintes: competência técnica; competência humanizadora, intuição e competência relacional. As enfermeiras entrevistadas reconhecem que, na prática, o âmbito da sua competência na atenção ao parto normal, principalmente no tocante ao ato de partejar, corresponde apenas parcialmente ao enfatizado na formação. Sobre essa questão, surgiram posicionamentos contraditórios: algumas sentem necessidade de desenvolver a competência para o partejar; outras entendem que o partejar não integra o âmbito de sua competência num contexto institucionalizado. A pesquisa permite concluir que a ampliação do âmbito da competência das enfermeiras obstétricas no atendimento ao parto normal institucionalizado, principalmente com relação ao partejar, depende do desenvolvimento de uma competência ético-política, num processo que deve iniciar nos cursos de especialização e ter continuidade no próprio contexto da prática profissional, constituindo-se e consolidando-se individual e coletivamente.

Incidência de eventos adversos em uma coorte de hipertensos

Introdução: A hipertensão é fator de risco importante para doenças cardiovasculares, mas o controle da pressão arterial é insatisfatório. Um dos motivos para o controle inadequado é a fraca adesão entre os pacientes que recebem antihipertensivos, parcialmente explicada pela ocorrência de eventos adversos. A incidência de eventos adversos chega a 28% em ensaios clínicos, mas a real magnitude do problema na prática assistencial é pouco conhecida. Métodos: Realizou-se um estudo de coorte prospectivamente planejado, acompanhada de 1989 a 2000, no ambulatório de hipertensão arterial do Hospital de Clínicas de Porto Alegre (Divisão de Cardiologia e Farmacologia Clínica do HCPA). Os objetivos foram, determinar a incidência de eventos adversos (EA) relacionadas à terapia anti-hipertensiva, referidos por pacientes hipertensos, descrever os EA mais freqüentes e os fatores de risco para ocorrência de EA. Em cada consulta, os pacientes eram indagados sobre a presença de evento adverso e, no caso de resposta positiva, era aplicada uma lista dirigida a eventos adversos específicos. Resultados: De 1957 pacientes da coorte, 1508 preencheram os critérios de inclusão e foram seguidos por 12,3 ± 12,2 meses (mediana, 10 meses), resultando em 18548 pacientes/mês. Entre todos os pacientes incluídos, 534 (35,4%) apresentaram pelo menos uma queixa de evento adverso durante o acompanhamento, resultando em 28,8 pacientes com EA /1000 pacientes/mês (IC 95% 26,4 a 31,3). Entre os pacientes em tratamento farmacológico (1366), a incidência foi de 31,3 pacientes com EA /1000 pacientes/mês (IC 95% 28,6 a 33,9) e, entre aqueles em uso de monoterapia, de 29,6 pacientes com EA /1000 pacientes / mês ( IC 95% 22,3 a 36,9). Os pacientes em uso de mais de um anti-hipertensivo apresentaram risco relativo bruto para eventos adversos de 2,10 (IC 95% 1,67 a 2,63). Houve associação entre a classe do anti-hipertensivo usado em monoterapia e a ocorrência de eventos adversos em algum momento do seguimento (P < 0,001), os quais foram mais freqüentes com bloqueadores dos canais de cálcio comparados aos tiazídicos e betabloqueadores. Entre as queixas específicas, tontura (P = 0,007), cefaléia (P = 0,003) e problemas sexuais (P= 0,045) foram mais freqüentes no primeiro grupo. Conclusões: O presente estudo descreveu a incidência de eventos adversos em uma coorte de pacientes hipertensos de um ambulatório especializado, confirmando dados de estudos observacionais e ensaios clínicos que indicam que estes são problemas freqüentes. O uso de mais de um anti-hipertensivo aumenta significativamente o risco de eventos adversos e, entre as classes de antihipertensivos usados em monoterapia, os tiazídicos mostram-se os mais seguros.