Recebido em 25/9/08; aceito em 30/4/09; publicado na web em 6/10/09 CHEMICAL CONSTITUENTS OF THE STEMS OF Spathelia excelsa (RUTACEAE) AND ACTIVITY AGAINST Aedes aegypti. Phytochemical investigation from the stems of Spathelia excelsa (Rutaceae) collected in Amazonas yielded deacetylspathelin (1), 7,8-dimethoxyflindersine (2), new glabretal-type triterpenoid 3β-angeloyl-21,24-epoxy-7α,21α,23α,25-tetrahydroxy-4α,4β,8β,10β-tetramethyl-25-dimethyl-14,18-cyclo-5α,13α,14α,17α-cholestane (3), in addition to the known steroids ß-sitosterol and stigmasterol. Their structures were established on the basis of spectral data. The compounds 1 and 3 were assayed on Aedes aegypti (larvicidal and adulticidal activities and compound 3 exhibited larvicidal properties with LC 50 of 4,8 µg/mL.
A água é importante para as populações humanas, determinando o seu modo de vida. Providenciar água com qualidade para as necessidades das pessoas em todo o mundo é o grande desafio ao desenvolvimento sustentável de muitas áreas, seja qual for o seu grau de desenvolvimento. Ela é responsável pela variação climática, pela manutenção dos rios, lagos e oceanos e cria condições para o desenvolvimento de plantas e animais. O objetivo foi contribuir com a aprendizagem dos alunos a partir de experimentos alternativos sobre teste de qualidade e dureza da água. Através dos experimentos, os alunos obtiveram dados sobre a presença de sais de carbonatos dissolvidos na água e a possibilidade de tratamento adequado da mesma. Os conhecimentos prévios de 80 estudantes dos primeiros e segundos anos do Ensino Médio constituíram os dados do estudo, obtidos das respostas de questionários e entrevistas. Inicialmente os alunos não sabiam sobre a propriedade de dureza na água e depois conseguiram determinar a presença de sais de carbonatos que causam essa característica. Os filtros foram desenvolvidos a partir de garrafas de PET (politereftalato de etileno) e carvão do tipo vegetal, ativado e mineral. Verificou-se que os resultados das filtrações foram diferentes, sendo o carvão ativado foi mais eficiente. Os alunos se questionaram sobre o papel dos diferentes tipos de carvão na eficiência do filtro e pesquisaram as suas propriedades. Para obterem ao final uma amostra inodora e pura afirmaram que só foi possível quando usavam o filtro com carvão ativado por apresentar a capacidade de adsorção.
This paper evaluates the impact on reliability in the control-flow of programs that compiler optimizations incur in terms of fault coverage for the Automatic Correction of Controlflow Errors technique. This technique was implemented in the LLVM framework, enabling the automated analysis of programs. In order to evaluate the efficiency of the technique of fault tolerance we performed a series of fault injection experiments using the MiBench benchmark suite as case study, measuring how individual and combined optimizations impact reliability. I. INTRODUÇÃOO tamanho do transistor tem diminuído com o passar dos anos de acordo com a Lei de Moore, resultando em aumento no desempenho e em redução no consumo de energia dos microprocessadores. Porém, essa diminuição torna os transistores mais vulneráveis e compromete a sua confiabilidade [1]. Assim sendo, faz-se necessária a implantação de mecanismos de proteção contra falhas, mecanismos estes que, ao mesmo tempo em que aumentam a dependabilidade dos sistemas, devem respeitar as restrições do domínio em que serão inseridos, como, por exemplo, consumo de energia, desempenho e tamanho de programa, no caso dos sistemas embarcados. Nesse contexto, técnicas que não requerem alterações no hardware são atrativas para a tolerância a falhas. A tolerância a falhas em softwareé uma alternativaàs técnicas que alteram o hardware para garantir confiabilidade aos sistemas computacionais.Técnicas baseadas em software para a tolerância a falhas modificam o programa inserindo instruções adicionais, usadas para a detecção e também correção de falhas ocorridas no hardware em tempo de execução. As falhas transitórias de hardware, istoé, falhas de duração limitada que afetam componentes físicos de sistemas computacionais, se manifestam em sua maioria como erros de fluxo de controle (CFE) podendo atingiríndices de até 70% do total de falhas [9]. Um CFEé um desvio ilegal de uma instrução a outra, sendo esse desvio não esperado quando da não ocorrência de falhas.ACCEé uma técnica de software que provê tolerância a falhas permitindo a detecção e inclusive a correção de falhas transitórias de hardware manifestadas como CFEs. Conforme experimentos realizados com a técnica [10], ela se mostrou capaz alcançar até 80% de correção de falhas. Originalmente, ACCE foi implementada como uma modificação no compilador GCC (Gnu Compiler Collection), sendo sua eficácia avaliada com a injeção de falhas para o benchmark SPEC2000. Na ocasião, não foi levado em consideração o impacto de otimizações providas pelo compilador na sua eficácia de correção de CFEs.Nesse trabalho, ACCE foi implementada como um passo de transformação adicional ao compilador LLVM [4], uma infraestrutura de compilação que fornece um amplo número de otimizações e análises possíveis de serem aplicadas em programas. As transformações realizadas nos programas compilados no LLVM com a aplicação de ACCE são feitas sobre a linguagem intermediária LLVM (LLVM-IR) [5], resultando em portabilidade de linguagem de programação e portabilidade de arquitet...
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.