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.

Influência da estrutura da taxa de juros no custo de capital das empresas

O grande objetivo do trabalho é estabelecer uma ligação entre teoria econômica e teoria financeira. Dessa forma, partindo-se de conceitos históricos de taxa de juros, chega-se à determinação de sua estrutura. A partir desse ponto são analisados alguns fatores que orientam essas taxas em diferentes direções. Após uma pesquisa bibliográfica a respeito de custo de capital, procura-se demonstrar, através da evolução de alguns índices financeiros, a infuência das taxas de juros no custo de capital das empresas

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.

Gestão de custo hospitalar : estudo de casos no município de São Paulo

Aborda características organizacionais que operam cmo condições críticas para a implantação de sistemas de custo hospitalar. Destaca como determinadas condições internas às organizações afetam o processo de implementação, gestão e utilização dos sitemas de custos como instrumento de tomada de decisão na gestão hospitalar. Com base nos resultados de dois estudos de casos do munícípio de São Paulo, identificou-se que, tanto no setro público quanto no privado , a efetiva gestão de custos no segmento hospitalar parece estar condicionada a características relacionadas ao grau de implementação de sistemas de custo, à dinâmica do fluxo de informação e à utilização de sistemas informatizados

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.

Apego: evolução da relação e discriminação do objeto

A presente investigação constitui um estudo específico de parte dos achados da pesquisa "Influência das Condições de Atendimento das Creches no Desenvolvimento Cognitivo e Emocional das Crianças" (Almeida, L.S. de; Colinvaux, D.; Pardal, M.V.; e Penna, M.M.S., 1985). 'Teve como hipótese geral a existência de uma relação entre o desenvolvimento da noção de objeto e a evolução do comportamento de apego dirigido à figura principal de cuidados em crianças de creche. Fundamentou-se, teoricamente, nas postulações de J. Piaget sobre o desenvolvimento cognitivo e mais especificamente ainda sobre o conceito de objeto e de J. Bowlby sobre o comportamento de apego. O estudo foi conduzido em uma amostra de 39 crianças, na faixa etária de 6 a 24 meses, que frequentavam creche externato em regime integral. Todas as crianças foram testadas na serie "busca do objeto desaparecido" da escala "As Etapas da Inteligência Sensório-Motora da Criança de Zero a Dois Anos" (I.Casati & I. Lezine, 1968) e participaram de uma situação experimental adaptada da "situação do estranho" (M. Ainsworth & B. Wittig, 1969). Não foi estabeleci da uma relação significativa entre as variáveis em estudo. Contudo, os dados coletados evidenciaram uma tendência para essa correlação. A autora sugere, portanto, que outras investigações acerca dessas variáveis sejam conduzidas em amostras com um número significativamente maior de crianças. Propõe, ainda, que a variável noção de permanência de pessoa também seja considerada em futuras pesquisas nessa área.

Supervisão escolar: expectativas e percepções do supervisor escolar, do coordenador de área e do professor, quanto ao desempenho das funções do supervisor escolar: estudo de caso

Este estudo pretendeu mostrar que o desempenho do Supervisor Escolar está aquem do desejado por profissiE. nais que atuam na area. e que. em torno de tal desempenh~ há expectativas e percepções significantemente diferencia das entre aqueles profissionais. Para tal efeito estabeleceu-se um referencial teó rico. fundamentado em pesquisa d6~umental. que apreciou o problema da Supervisão Escolar em sua evolução histórica. destacando elementos para caracterizar as funções do Supe~ visar Escolar. Promoveu-se um estudo de caso apoiado ba sicamente em dados primários. para verificar como se dese~ volve a atuação do Supervisor Escolar em um município br~ sileiro (no caso. o Município de Curitiba) e de que modo tal atuação é percebida por ele próprio e por outros pr~ f i s s i o n a i s (C o o r d e n a d o r e s d e A r e a e p r o f e s s o r e s) . Ve ri fi cp ~ -se. ainda. o que esses profissionais esperam da atuação do Supervisor Escolar (frente às atividades arroladas no instrumento de coleta de dados). Utilizaram-se como instrumentos de coleta de da dos escalas do tipo Likert. acrescentando-se questionário sobre dados pessoais. Submeteram-se os dados a dois tes tes não paramétricas (da Mediana e dos Sinais) e a um tes te paramétrica (t'). por razoes que se especificam no de correr deste trabalho. Representaram-se também. grafic~ mente. os resultados obtidos. Com base na fundamentação teórica e na pesquisa de campo. que estudam expectativas e percepções em torno do desempenho das funções do Supervisor Escolar. concluiu -se Rela necessidade da definição de uma política para o tratamento da matéria e formularam-se algumas recomendações.