ChatMath: ferramenta de comunicação síncrona para troca de formalismos matemáticos através da web

A comunicação é essencial para a vida em grupo, e se dá através da linguagem. Existem diversas formas de linguagem, porém a linguagem matemática vai além das demais, pois é universal. O advento dos aparelhos eletrônicos e, em especial, do computador, tornou possível o desenvolvimento de padrões e aplicativos que pudessem manipular símbolos matemáticos eletronicamente. A Web trouxe consigo a linguagem HTML para visualização de textos e, mais atualmente, o padrão de linguagem de marcação XML e seus aplicativos, que têm características melhores que o HTML quanto à estruturação, armazenamento e indexação de dados. Uma das aplicações advindas do XML foi a linguagem de marcação matemática MathML, que contribui para a manipulação e visualização de formalismos matemáticos na Web, e vem se tornando um padrão no meio acadêmico, educacional e comercial. As diversas aplicações matemáticas (editores, ambientes matemáticos) desenvolvidas para o computador geralmente não permitem a discussão em linguagem matemática de forma síncrona pela rede de computadores. Sabe-se que na Internet a conexão de pessoas num mesmo momento através de ferramentas síncronas é muito difundida, como é o caso de aplicativos do tipo bate-papo; no entanto, esses aplicativos não possuem funcionalidades que permitam a troca de textos matemáticos. Há, portanto, uma limitação em relação a ferramentas de comunicação síncrona para matemática na Web. Este trabalho quer oferecer uma alternativa ao público que deseje trocar formalismos matemáticos de forma síncrona pela Web, a fim de verificar se esse tipo de ferramenta é efetivamente usável para discussões matemáticas. Para isso, foi desenvolvido um protótipo que reúne as características de uma ferramenta típica de bate-papo com as vantagens advindas das linguagens de marcação: o ChatMath. O trabalho também aponta características de aplicativos matemáticos e de ferramentas síncronas textuais e descreve as linguagens de marcação matemática. Para fins de avaliação do protótipo desenvolvido, fez-se uma pesquisa a fim de verificar sua efetiva utilidade para troca de formalismos matemáticos, dentro do contexto educacional. Os resultados dessa pesquisa confirmam a hipótese levantada, embora identifiquem modificações funcionais e de uso da ferramenta, havendo necessidade de reaplicação da avaliação, para se obter resultados mais detalhados.

Ecocardiograma Doppler, saturação de oxigênio e capacidade submáxima de exercício em pacientes com fibrose cística

Resumo não disponível

Método de previsão de capacidade de carga de estacas : aplicação dos conceitos de energia do ensaio SPT

A previsão da capacidade de carga de estacas constitui-se um dos desafios da engenharia de fundações por requerer, na teoria, a estimativa de propriedades do solo, suas alterações pela execução da fundação e o conhecimento do mecanismo de interação solo-estaca. Devido à dificuldade de reproduzir analítica e numericamente o mecanismo de interação solo-estaca, a prática brasileira faz uso correlações empíricas, relacionando diretamente os resultados do ensaio SPT com o desempenho do elemento de fundação. Apesar da grande contribuição dos métodos tradicionalmente utilizados, a sua validade está limitada à prática construtiva regional e às condições específicas dos casos históricos utilizados em seu estabelecimento. Com o objetivo de incorporar à engenharia de fundações brasileira um novo método de previsão de capacidade de carga de estacas, obtido diretamente a partir de ensaios SPT, desenvolveu-se nesta pesquisa uma metodologia baseada na interpretação do ensaio SPT sugerida por Odebrecht (2003). À luz desta nova interpretação, utiliza-se a força dinâmica de reação do solo à cravação do amostrador SPT para estimar a capacidade de carga de estacas, relacionando os mecanismos de mobilização de resistência do amostrador (modelo) com os da estaca (protótipo). No intuito de validar a metodologia proposta, organizou-se neste trabalho, um expressivo banco de dados compostos por 325 provas de carga à compressão e 43 provas de carga à tração, executadas em diferentes regiões do país. Das provas de carga à compressão, 132 casos são de estacas cravadas pré-moldadas de concreto, 28 de estacas metálicas, 95 de estacas hélice contínua e 70 casos de estacas escavadas. Já nas provas de carga à tração, 3 casos são de estacas cravadas pré-moldadas, 31 de estacas hélice contínua e 9 casos de estacas escavadas. Conclui-se a partir de análises comparativas entre cargas previstas e medidas que o método proposto é capaz de prever de forma satisfatória a capacidade de carga de estacas. Uma análise estatística dos dados possibilitou atribuir à estimativa de capacidade de carga, um intervalo de confiança das previsões, baseado na confiabilidade requerida para o projeto.

MoCHA : arquitetura dedicada para a compensação de movimento em decodificadores de vídeo de alta definição, seguindo o padrão H.264

O padrão H.264 foi desenvolvido pelo JVT, que foi formado a partir de uma união entre os especialistas do VCEG da ITU-T e do MPEG da ISO/IEC. O padrão H.264 atingiu seu objetivo de alcançar as mais elevadas taxas de processamento dentre todos os padrões existentes, mas à custa de um grande aumento na complexidade computacional. Este aumento de complexidade impede, pelo menos na tecnologia atual, a utilização de codecs H.264 implementados em software, quando se deseja a decodi cação de vídeos de alta de nição em tempo real. Essa dissertação propõe uma solução arquitetural de hardware, denominada MoCHA, para compensação de movimento do decodi cador de vídeo de alta de nição, segundo o padrão H.264/AVC. A MoCHA está dividida em três blocos principais, a predição dos vetores de movimento, o acesso à memória e o processamento de amostras. A utilização de uma cache para explorar a redundância dos dados nos acessos à mem ória, em conjunto com melhorias propostas, alcançou economia de acessos à memória superior a 60%, para os casos testados. Quando uma penalidade de um ciclo por troca de linha de memória é imposta, a economia de ciclos de acesso supera os 75%. No processamento de amostras, a arquitetura realiza o processamento dos dois blocos, que dão origem ao bloco bi-preditivo, de forma serial. Dessa forma, são economizados recursos de hardware, uma vez que a duplicação da estrutura de processamento não é requerida. A arquitetura foi validada a partir de simulações, utilizando entradas extraídas de seqüências codi cadas. Os dados extraídos, salvos em arquivos, serviam de entrada para a simulação. Os resultados da simulação foram salvos em arquivos e comparados com os resultados extraídos. O processador de amostras do compensador de movimento foi prototipado na placa XUP Virtex-II Pro. A placa possui um FPGA VP30 da família Virtex-II PRO da Xilinx. O processador PowerPC 405, presente no dispositivo, foi usado para implementar um test bench para validar a operação do processador de amostras mapeado para o FPGA. O compensador de movimento para o decodi cador de vídeo H.264 foi descrito em VHDL, num total de 30 arquivos e cerca de 13.500 linhas de código. A descrição foi sintetizada pelo sintetizador Syplify Pro da Symplicity para o dispositivo XC2VP30-7 da Xilinx, consumindo 8.465 slices, 5.671 registradores, 10.835 LUTs, 21 blocos de memó- ria interna e 12 multiplicadores. A latência mínima para processar um macrobloco é de 233 ciclos, enquanto a máxima é de 590, sem considerar misses na cache. A freqüência máxima de operação foi de 100,5 MHz. A arquitetura projetada é capaz de processar, no pior caso, 36,7 quadros HDTV de 1080 por 1920, inteiramente bi-preditivos, por segundo. Para quadros do tipo P, que não utilizam a bi-predição, a capacidade de processamento sobe para 64,3 quadros por segundo. A arquitetura apresentada para o processamento de quadros bi-preditivos e a hierarquia de memória são, até o momento, inéditas na literatura. Os trabalhos relativos a decodi cadores completos não apresentam a solução para esse processamento. Os resultados apresentados tornam a MoCHA uma solução arquitetural capaz de fazer parte de um decodi cador para vídeos de alta definição.

Produção e purificação de β-1,3 glicanases em Metarhizium anisopliae

Metarhizium anisopliae é um fungo cosmopolita com capacidade de infectar uma grande variedade de hospedeiros, estando entre eles o carrapato Boophilus microplus. A penetração de M. anisopliae em seus hospedeiros ocorre de forma ativa onde a cutícula constitui a principal barreira. A penetração é um processo multifatorial, porém, o emprego de pressão mecânica e a secreção de enzimas hidrolíticas parecem ser fundamentais para o seu sucesso. M. anisopliae, quando cultivado em meios com fontes de carbono que mimetizam a cutícula de seus hospedeiros, secreta enzimas como proteases, quitinases e lipases. Atualmente, o emprego de técnicas que identificam genes diferencialmente expressos (RDA) mostrou o possível envolvimento de outras enzimas, como as β-glicanases, durante o processo de penetração. A descoberta da ocorrência de modificações morfológicas como espessamento e perda da definição da parede celular nas extremidades das hifas que penetram na cutícula do carrapato sustentam ainda mais o possível envolvimento de enzimas que degradam as β-glicanas nas etapas iniciais da infecção. Neste trabalho, foi investigada a produção de β-1,3- glicanases pela linhagem E6 de M. anisopliae como também, buscou-se purificar as enzimas produzidas. A síntese e secreção de β-1,3-glicanases foram verificadas em meio contendo diferentes fontes de carbono sendo a secreção diferenciada dependendo da condição testada. A utilização de glicose em determinadas concentrações pareceu inibir a secreção enzimática. Duas das condições testadas, N-acetilglicosamina (NAG) 0,5% e parede celular de Rizoctonia solani 0,5%, foram utilizadas para a produção enzimática em larga escala. O sobrenadante dos cultivos em fermentador foi submetido ao processo de purificação que constou de três etapas: concentração por ultrafiltração com membrana de celulose regenerada, aplicação em coluna de troca iônica QSepharose Fast Flow e aplicação em coluna de filtração em gel Superdex 75. O emprego deste protocolo permitiu a purificação parcial de uma β-1,3-glicanase com aproximadamente 95kDa, secretada durante a fermentação em presença de parede celular de Rizoctonia solani, e de outra, com aparentemente a mesma massa molecular secretada em fermentação utilizando NAG 0,5% como fonte de carbono. Durante este trabalho, também foi confirmada a presença de pelo menos um gene que codifica uma exo-β-1,3-glicanase no genoma da linhagem E6 de M. anisopliae. Por fim, o estudo das β-1,3 glicanases em M. anisopliae é justificado pela importância destas enzimas em variados aspectos do desenvolvimento do fungo bem como, pelo seu possível envolvimento na infecção de hospedeiros.

O achatamento da curva do pulso de oxigênio durante o teste de esforço cardiopulmonar pode detectar isquemia miocárdica extensa em pacientes com capacidade funcional preservada

Introdução - O achatamento da curva do pulso de oxigênio durante o teste de esforço cardiopulmonar com cargas progressivas tem sido proposto para melhorar a acurácia diagnóstica da isquemia miocárdica induzida pelo esforço. Entretanto, este critério não foi formalmente avaliado em pacientes de baixo risco, para os quais a melhora da acurácia diagnóstica pode ser clinicamente mais relevante. Objetivo - Testar a hipótese de que o achatamento da curva do pulso de oxigênio durante o teste de esforço cardiopulmonar pode detectar isquemia miocárdica extensa, mas não detectar isquemia miocárdica leve, usando como padrão ouro a cintilografia de perfusão miocárdica. Métodos - Oitenta e sete pacientes (idade média ± DP de 57 ± 11 anos, 64% do sexo masculino) referidos para cintilografia de perfusão miocárdica com exercício para diagnóstico de isquemia miocárdica foram também avaliados com teste de esforço cardiopulmonar. Um investigador identificou prospectivamente os pacientes que apresentaram defeito transitório de perfusão induzido pelo exercício na cintilografia miocárdica com 99mTcsestamibi. Outro investigador avaliou a resposta do pulso de oxigênio durante o exercício de cargas progressivas, sem o conhecimento da resposta eletrocardiográfica ou dos achados da cintilografia. Resultados - A cintilografia de perfusão miocárdica com exercício detectou defeitos transitórios de perfusão em 36% dos pacientes. Comparados com os pacientes com estudos de perfusão normal, os pacientes com isquemia vii induzida pelo exercício apresentaram duplo produto máximo (Isquemia: 33060±5489; Sem Isquemia: 31826±5343; p=0,17), consumo de oxigênio de pico (VO2 pico) (Isquemia: 29±8 mL/kg.min; Sem Isquemia: 30±8 mL/kg.min; p=0,59) e consumo de oxigênio do limiar anaeróbio (Isquemia: 64±12%; Sem Isquemia: 61±13%; p=0,15) similares. O pulso de oxigênio analisado a 25% (9,7±2 vs 9,3±2 ml/b), 50% (11,2±3 vs 10,8±3 ml/b), 75% (12,5±3 vs 11,9±3 ml/b) do VO2 pico, e no pico do exercício (15±4 vs 14±4 ml/b), não foram diferentes no grupo com Isquemia e Sem Isquemia, respectivamente. Entretanto, os pacientes com defeitos perfusionais transitórios extensos durante o exercício apresentaram um pulso de oxigênio no pico menor (12,8±3,8 vs 16,4±4,6 mL/b; p=0,035) e demonstraram um achatamento detectável na curva de pulso de oxigênio. Conclusão - A análise da resposta do pulso de oxigênio ao teste de esforço com cargas progressivas não identifica isquemia miocárdica leve. O achatamento do pulso de oxigênio no teste de esforço de cargas progressivas está presente apenas nos pacientes com isquemia miocárdica extensa.

Efeitos do sildenafil na capacidade funcional, hipertensão pulmonar e função endotelial em pacientes com insuficiência cardíaca

Resumo não disponível