Remediação de drenagem ácida de mina usando zeólitas sintetizadas a partir de cinzas leves de carvão

Zeolitic material was synthesized from coal fly ashes (baghouse filter fly ash and cyclone filter fly ash) by hydrothermal alkaline activation. The potential application of the zeolitic product for decontamination of waters from acid mine drainage was evaluated. The results showed that a dose of 30 g L-1 of zeolitic material allowed the water to reach acceptable quality levels after treatment. Both precipitation and cation-exchange processes accounted for the reduction in the pollutant concentration in the treated waters.

Desempenho de biomassas na adsorção de hidrocarbonetos leves em efluentes aquosos

Removal of hydrocarbons from aqueous effluents using biosorbents was investigated. The effluent was simulated by a dispersion of gasoline (simple hydrocarbons) in water. Corn-cob, wood powder, coconut mesocarp and sugar-cane bagasse were used as adsorbents and their performance verified by means of batch experiments performed in an agitated vessel. The influence of input variables such as hydrocarbon concentration, mass of biomass and agitation level on the adsorbents' capacity was studied by means of factorial design. The results indicated that, among the materials studied, coconut mesocarp and sugar-cane bagasse can be considered promising biomasses for treating aqueous effluents contaminated by hydrocarbons.

Interação de átomos leves com clusters de metais de transição

Density Functional Theory (DFT) calculations on the interactions of small atoms (H, C, O, and S) on first-row transition metal clusters were performed. The results show that the adsorption site may vary between the metal surface and the edge of the cluster. The adsorption energies, adatom-nearest neighbor and adatom-metal plane distances were also determined. Finally, the authors present a discussion about the performance of these metals as anodes on solid oxide fuel cells. The results obtained agree with empirical data, indicating that the theoretical model used is adequate

Traité d'arithmetique : a l'usage des éleves...

UANL

Viabilidade econômica das vendas de veículos leves movidos a álcool hidratado

O presente trabalho apresentou inicialmente uma visão geral do setor sucroalcooleiro, pois considerou-se importante inteirar o leitor sobre o contexto que envolve o carro a álcool. O PROÁLCOOL mereceu uma análise mais detalhada por ter sido ele o programa que viabilizou, nos anos 80, altos níveis de comercialização deste tipo de veículo. A segunda parte de nosso estudo é composta pelo estudo econométrico das variáveis: preço álcool (na bomba), preço gasolina (na bomba), diferença de alíquota de IPI entre carros a álcool e à gasolina, crise de abastecimento e tendência. Tal estudo teve por objetivo analisar a influência destas variáveis na demanda de carros a álcool. Através dele constatou-se que embora vários autores defendam que o importante é a diferença percentual entre os preços gasolina/álcool, isso não se confirmou. Embora as variáveis tenham demonstrado influência sobre a demanda de carros a álcool hidratado, a perda da confiança do consumidor no veículo movido a este combustível, devido às crises de abastecimento, demonstrou ser o motivo principal para a não retomada do crescimento das vendas dos veículos a álcool. Faz-se necessário, portanto, medidas que garantam o abastecimento para que dessa forma haja uma reconquista da confiança do consumidor.

A influência da alimentação com diferentes níveis de vitamina E e selênio sobre a produção de imunoglobulina Y (IgY) no soro de poedeiras leves vacinadas contra Escherichia coli e encefalomielite aviária

Foram estudados os efeitos da suplementação de vitamina E (VE) e selênio (Se) sobre a imunidade de galinhas vacinadas contra Escherichia coli (EC) patogênica para suínos e com o vírus da encefalomielite aviária (VEA). Foram avaliados peso corporal (PC), peso de ovos (PO) e produção de anticorpos (AcP) em noventa poedeiras (H&N nick chick) com 49 semanas de idade alimentadas à vontade com dietas suplementadas com 0, 50, 150, 250 e 250 UI VE/kg + 0,3 ppm de Se. Às 51 semanas de idade, metade das galinhas foram vacinadas contra EC e todas as aves foram vacinadas contra VEA. Duas semanas após, receberam uma segunda dose da vacina contra EC. Amostras de sangue foram coletadas semanalmente e a quantidade de IgY foi determinada por ELISA, como densidade ótica (DO). As aves vacinadas apresentaram maior DO do que as aves não vacinadas (P≤0,05). As DO foram significativamente aumentadas (P≤0,05) quando as aves vacinadas foram alimentadas com 50 e 150 UI de VE/kg e comparadas com as DO das aves que receberam a dieta de 250 UI de VE + Se. Se não afetou AcP, PC e PO. A vacinação e a VE suplementada não afetaram PC. O PO não foi afetado pela vacinação, mas foi maior (P≤0,05) nas semanas 3, 5 e 7, quando as poedeiras receberam 250 UI VE/kg e comparados com aquelas que receberam 50, 150 e 0. A AcP contra VEA foi influenciada pela VE (P≤0,13). Cento e cinqüenta UI VE e 0 UI VE aumentaram IgY produzida, quando comparados a 250 UI. Também o Se aumentou AcP. Os resultados deste estudo sugerem que níveis médios de VE aumentam a produção de IgY por poedeiras vacinadas e Se adicionado ao mais alto nível de VE também possui efeito imunomodulador.

Condução de experimentos de injeção de falhas em banco de dados distribuídos

O presente trabalho realiza uma validação experimental, através da técnica de injeção de falhas por software, de sistemas de informações que utilizam gerenciadores de banco de dados distribuídos comerciais. Estes experimentos visam a obtenção de medidas da dependabilidade do SGBD utilizado, levantamento do custo de seus mecanismos de tolerância a falhas e a real aplicabilidade de SGBDs comerciais em sistemas de missão crítica. Procurou-se avaliar e validar as ferramentas de injeção de falhas utilizadas, no caso específico deste trabalho a ComFIRM e o FIDe. Inicialmente são introduzidos e reforçados os conceitos básicos sobre o tema, que serão utilizados no decorrer do trabalho. Em seguida são apresentadas algumas ferramentas de injeção de falhas em sistemas distribuídos, bem como os modelos de falhas em banco de dados distribuídos. São analisados alguns estudos de aplicação de ferramentas de injeção de falhas em bancos de dados distribuídos. Concluída a revisão bibliográfica é apresentado o modelo de software e hardware que foi implementado, destacando o gerador de cargas de trabalho GerPro-TPC e o gerenciador de injeções e resultados GIR. O GerPro-TPC segue as especificações TPC-c para a simulação de um ambiente transacional comercial padrão e o GIR realiza a integração das ferramentas de injeção de falhas utilizadas, bem como a elaboração do cenário de falhas a injetar e a coleta dos resultados das falhas injetadas. Finalmente são descritos os experimentos realizados sobre o SGBD PROGRESS. São realizados 361 testes de injeções de falhas com aproximadamente 43.000 falhas injetadas em experimentos distintos. Utiliza-se dois modelos de falhas: um focado em falhas de comunicação e outro em falhas de hardware. Os erros resultantes das falhas injetadas foram classificados em erros ignorados/mascarados, erros leves, erros graves e erros catastróficos. Dos modelos de falhas utilizados as que mais comprometeram a dependabilidade do SGBD foram as falhas de hardware. As falhas de comunicação somente comprometeram a disponibilidade do sistema alvo.

Desenvolvimento de sistemas tempo-real usando orientação a objetos : estudo sobre o mapeamento de especificações para linguagens de programação

Este trabalho realiza um estudo sobre a criação de sistemas tempo-real usando orientação a objetos, com enfoque no mapeamento de especificações para linguagens de programação. O paradigma de orientação a objetos tem sido usado nas diferentes fases relacionadas com o desenvolvimento de sistemas tempo-real, variando desde a modelagem até o ambiente de programação e execução, mas atualmente estas iniciativas ainda focam etapas isoladas do ciclo de desenvolvimento. O objetivo deste trabalho é o de preencher esta lacuna, propondo um mapeamento entre uma metodologia ou ferramenta de análise e projeto de sistemas tempo-real orientados a objetos e uma linguagem ou ambiente de desenvolvimento baseado no paradigma de orientação a objetos que possua suporte para atender às restrições temporais especificadas. O mapeamento proposto foi desenvolvido utilizando estudos de caso clássicos em aplicações tempo-real que foram baseados em dois recentes padrões. O primeiro é o emergente padrão Real-Time UML, que visa realizar a especificação de requisitos temporais utilizando diagramas UML com extensões que os representem. O outro padrão é o Real-Time Specification for Java, que consiste de uma interface de programação (API) para desenvolvimento de aplicações tempo-real com a linguagem Java. O relacionamento entre stereotypes e tags usados para representar restrições temporais em diagramas UML e o código Java correspondente é explicado e um sumário da estratégia de mapeamento é discutido.

Tecnologias leves nos processos gerenciais do enfermeiro : contribuição para o cuidado humanizado

O estudo tem por objetivo identificar a utilização das tecnologias leves nos processos gerenciais do enfermeiro e sua interferência na produção do cuidado.Entende-se por tecnologias leves as tecnologias das relações, como o acolhimento, o vínculo, a autonomização, responsabilização, entre outros. Trata-se de um estudo de caso de abordagem qualitativa, cujos sujeitos do estudo foram enfermeiros do setor de internação de um hospital geral. A coleta de dados foi realizada através da observação livre, no período de dezembro de 2002 a fevereiro de 2003 e os dados foram analisados através da abordagem dialética e classificados em estruturas de relevância. A análise de dados permitiu identificar o acolhimento e o vínculo como tecnologias leves presentes no universo gerencial do enfermeiro. No entanto, foram observadas também situações de não acolhimento e ausência de vínculo, tendo em vista que o uso das tecnologias leves acontece de forma distinta para os diferentes sujeitos envolvidos nos processos de trabalho, assim como nos diferentes momentos de interações entre eles Esse fato imprime características dinâmicas, de irregularidade e contraditoriedades nos processos de trabalho em saúde, assim como no cuidado enquanto resultado esperado desses processos. Concluiu-se que o enfermeiro produz e promove o cuidado humanizado ao utilizar as tecnologias leves. São propostas intervenções direcionadas a possibilitar reflexões pertinentes aos processos de trabalho, com o objetivo de subsidiar os processos gerenciais do enfermeiro com elementos úteis à humanização do cuidado. Descritores: cuidados de enfermagem/ organização e administração; serviços de enfermagem; administração de serviços de saúde; relação enfermeiro – paciente.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.