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.

Avaliação metabólica de pacientes portadores de cálculo coraliforme

A patogênese dos cálculos coraliformes é assunto controverso, mas a maioria dos autores considera a infecção urinária por germe produtor de urease como o principal e, às vezes, único mecanismo de formação e crescimento destes cálculos. Neste estudo, avaliamos os resultados da aplicação de um protocolo de pesquisa de distúrbios metabólicos associados à litíase renal em 42 pacientes portadores de cálculo coraliforme, provenientes do Ambulatório de Urolitíase do Hospital de Clínicas de Porto Alegre, e comparamos os resultados com um grupo de referência, sem doença litiásica. Na nossa amostra, encontramos indivíduos principalmente do sexo feminino (35 : 7), com idades entre a 4ª e a 5ª décadas de vida. Encontramos pelo menos uma alteração metabólica em 66% dos pacientes estudados. A hipercalciúria esteve presente em 40% dos pacientes, seguida de hiperuricosúria (24%), hipocitratúria (16%) e hiperoxalúria marginal (13%). Em 34% dos pacientes não se detectou alterações metabólicas. A infecção urinária esteve presente em 67% das histórias clínicas, mas somente 45% das uroculturas foram positivas. Concluímos que, na amostra estudada, 66% dos pacientes portadores de cálculo coraliforme apresentam, pelo menos, um distúrbio metabólico associado à litíase renal, o que justifica a aplicação rotineira deste protocolo, permitindo a instituição de medidas terapêuticas adequadas a este grupo de pacientes.

Efeito do tempo de autoclavagem sobre a digestibilidade dos grãos de soja integral em suínos na fase de crescimento

Foram conduzidos dois ensaios de metabolismo com suínos em crescimento para avaliar o efeito do tratamento térmico sobre a digestibilidade de grão de soja integral. No ensaio 1 foram utilizados 18 animais distribuídos em 6 dietas, à base de amido de milho e grão de soja, em um arranjo fatorial 3*2, composto por três tratamentos de calor submetidos ao grão (cru, AUTOCLAVADO e AUTOCLAVADO o dobro tempo) e dois níveis de lisina (85 e 100% das exigências do NRC (1988)). No ensaio 2 foram utilizados 18 suínos distribuídos em 18 dietas, à base de amido de milho e grão de soja (autoclavado ou autoclavado o dobro tempo) em um arranjo fatorial 3x3x2, composto por três níveis de lisina (80, 100 e 120% NRC (1988)), três suplementações de aminoácidos (0, metionina e treonina) dois tempos de tratamento térmico (autoclavado e dobro do tempo). No ensaio 1 foi observado efeito do tratamento térmico (P< 0,004) e do nível de lisina (P= 0,009) sobre o ganho de peso e do tratamento térmico (P= 0,006) sobre o consumo de matéria seca. Não foram observados efeitos do tratamento térmico e do nível de lisina sobre os coeficientes de digestibilidade da matéria seca, da proteína e da energia das dietas. No ensaio 2 foi observado efeito do nível de lisina (P= 0,008) sobre a excreção fecal de proteína bruta e de energia bruta (P= 0,003) e do tratamento térmico sobre a excreção fecal da energia bruta (P= 0,04).

Estudo crítico da metodologia de cálculo para silos prismáticos multicelulares

A armazenagem de grãos é atualmente um importante tópico a ser explorado na região sul do Brasil, e vem se desenvolvendo consideravelmente nos últimos anos. Atualmente a armazenagem é feita através de silos cilíndricos que podem ser de grandes diâmetros ou elevados. Na área da armazenagem é importante implantar novas tecnologias como o caso de silos multicelulares prismáticos que são bastante difundidos nos Estados Unidos. Para estudar estes silos propõe-se analisar um caso real sob a ótica morfológica e dimensional. O estudo baseia-se na comparação entre métodos de análise estrutural analítica convencional com análise numérica através do cálculo por elementos finitos, além de testar as análises de cálculo mais avançadas. Para estudar um caso real buscaram-se informações detalhadas através de desenhos fornecidos por empresas que fabricam estes tipos de silos. Adotando um caso prático como padrão, na seqüência fez-se a análise da interação entre o número de módulos do silo com o objetivo de verificar a influência do número de módulos no dimensionamento dos componentes do silo. Analisou-se o referido projeto utilizando procedimentos clássicos de análise de dimensionamento (métodos analíticos) e compararam-se os mesmos com a análise utilizando o método dos elementos finitos. Adicionalmente executaram-se análises mais avançadas utilizando o método dos elementos finitos como não linearidade geométrica e física, flambagem e análise de freqüências e modos.Após as referidas análises pôde-se concluir que analisando dimensionalmente somente um módulo do silo, pode-se obter resultados que representam todo o conjunto de módulos. Além disso, verificou-se que a análise por elementos finitos é mais apropriada, pois permite menos simplificações de cálculo, apresentando assim resultados mais reais. Quanto às análises adicionais, verificou-se que a carga crítica de flambagem considerando a análise não linear geométrica por elementos finitos é maior do que a carga crítica obtida por análises convencionais.

Três métodos para o cálculo da série zeta(2n) de Riemann

Neste trabalho apresentamos três métodos distintos provando que S(n) = +1 X k=−1 (4k + 1)−n é um múltiplo racional de n para todos os inteiros n = 1, 2, 3, . . . O primeiro utiliza a teoria das função analíticas e funções geradoras. No segundo reduzimos o problema, via mudança de variável devida a E. Calabi, ao cálculo do volume de certos politopos em Rn enquanto que no terceiro usamos a teoria dos operadores integrais compactos. Cada um dos métodos tem um interesse intrínsico e está sujeito a generalizações para aplicações em novas situações.

Influência do processamento de sinal eletromiográfico sobre o cálculo da defasagem eletromecânica no ciclismo.

resumo não disponível.

Um método projetivo para cálculo de dimensões de caixas em tempo real

Neste trabalho é descrito um método automático para o cálculo das dimensões de caixas, em tempo real, a partir de uma única imagem obtida com projeção perspectiva. Conhecendo a orientação da caixa no espaço tridimensional e sua distância em relação à câmera, as coordenadas 3D de seus vértices podem ser estimadas e suas dimensões calculadas. Na técnica proposta, são utilizados conceitos de geometria projetiva para estimar a orientação espacial da caixa de interesse a partir de sua silhueta. Já a distância da caixa em relação à câmera é estimada por meio da projeção de feixes de laser sobre uma das faces visíveis da caixa. Esta abordagem pode ser aplicada quando duas ou três faces da caixa de interesse são visíveis simultaneamente na imagem, mesmo quando a caixa encontra-se parcialmente oclusa por outros objetos na cena. Entre as contribuições deste trabalho está o desenvolvimento de um eficiente processo de votação para a transformada de Hough, onde os pixels de uma imagem binária são processados em grupos ao invés de individualmente, como ocorre no método convencional. Também é apresentado um modelo estatístico para a remoção de fundo de cena. Nesse modelo, a cor de fundo é representada sob diferentes condições de iluminação por meio da delimitação de uma região no espaço de cores RGB. O modelo proposto não requer parametrização e é próprio para o uso em aplicações que requeiram câmeras móveis. Para a validação das técnicas descritas neste trabalho, foi construído um protótipo de scanner que calcula as dimensões de caixas a partir de imagens em tempo real. Com o auxilio do scanner, foram capturadas imagens e calculadas as dimensões de diversas caixas reais e sintéticas. As caixas sintéticas foram utilizadas em um ambiente controlado para a validação das técnicas propostas Um dos aspectos importantes deste trabalho é a análise da confiabilidade das medidas obtidas por meio da técnica proposta. Com o objetivo de estudar a propagação de erros ao longo do processo de cálculo das medidas, foi aplicado um método analítico baseado na Teoria de Erros. Também são apresentados estudos estatísticos envolvendo medições realizadas com o protótipo. Estes estudos levam em conta a diferença entre as medidas calculadas pelo sistema e as medidas reais das caixas. A análise dos resultados permite concluir que o método proposto é acurado e preciso.

Estabelecimento de uma nova metodologia para o cálculo do índice de patoigenicidade em amostras de escherichia coli provenientes da produção de frango de corte

Essa dissertação possui como objetivo traçar, uma nova metodologia de classificação de patogenicidade da Escherichia.coli,.através de um índice no qual, além do número de animais mortos, também foi considerado o tempo de morte e a capacidade da cepa causar lesão compatível à colibacilose em pintos de 1 dia. Para gerar esse critério, foram utilizadas 300 amostras de E.coli oriundas de lotes com lesão de celulite, cama desses mesmos aviários e amostras de quadros respiratórios. Através desse experimento foi possível observar que as amostras de E.coli originadas das camas dos aviários, apresentavam índice de patogenicidade significativamente menor do que aquelas isoladas das lesões cutâneas e de quadros respiratórios.Também foi associado às cepas de E.coli a capacidade de causar lesões de: pericardite, perihepatite, aerossaculite, peritonite e celulite. Dentre as lesões citadas somente a celulite foi considerada de apresentação significativamente mais freqüente em comparação às outras.