Estudo de ovos de quatro espécies do gênero Meccus (Hemiptera, Reduviidae, Triatominae), vetores da doença de Chagas

The objective of this work was to analyze the morphological, morphometrical, and histological characteristics of eggs of four triatomine bugs species still not studied, in order to understand phylogenetic aspects and to facilitate parameters used in taxonomy, with the purpose of a specific and generic characterization of these vectors in public health. The eggs of each species had come from the collections of the Laboratory of Triatomine bugs and Culicid mosquitoes of the Faculdade de Saúde Pública - USP (Faculty of Public Health/USP). The morphologic studies were carried out through optic microscopy (OM) and scanning electronic microscopy (SEM). The eggs were measured with the help of the digital paquimeter Starrett® 727. In relation to histological measures, Microtome Leica RM 2145® was used. Similarities were evidenced in the exocorial architecture of the eggs when they were studied by OM and SEM. This similarity among the eggs suggests a recent speciation, probably derived from common ancestry, representing a monophyletic group. Some structures were also detected by the histological cuts. The study has contributed to the magnification and recognition in generic and specific terms of the Triatominae subfamily. These new data will be able to subsidize a better understanding to determine roles for each vector species and to facilitate parameters to be used in taxonomy.

Desenvolvimento de sistemas farmacêuticos emulsionados para veiculação gênica

Broadly speaking, the concept of gene therapy involves the transfer of a genetic material into a cell, tissue, or organ in order to cure a disease or at least improve the clinical status of a patient. Making it simple, gene therapy consists in the insertion of functional genes into cells containing defective genes by substituting, complementing or inhibiting them. The achievement of a foreigner DNA expression into a population of cells requires its transfer to the target. Therefore, it is a key issue to create systems able to transfer and protect the DNA until it reaches the target, the vectors. The disadvantages related to the use of viral vectors have encouraged efforts to develop emulsions as non-viral vectors. In fact, they are easily produced, present controllable stability and enable transfection. The aim of this work was to develop an emulsion for gene therapy and evaluate its ability to compact nucleic acids by the development of a complex with the plasmid pIRES2-EGFP. The first step was to determine the Hydrophilic Lipophilic Balance (HLB) of the Captex® 355 (oily internal phase of the emulsion) through long and short term stability assays. Based on the results, emulsions composed of Captex® 355, Tween 20® and Span 60® with 10.7 HLB were produced by three different methods: phase inversion, spontaneous emulsification and sonication. The results showed that the lowest diameter and best stability of the emulsions were achieved by the sonication method. The cationic emulsions were made by adding DOTAP to the basic emulsion. Its association with pIRES2-EGFP was evaluated by electrophoresis. Several rates of emulsion and DNA were evaluated and the results showed that 100% of the complex was formed when the rate DOTAP/DNA(nmol/µg) was 130. In conclusion, the overall results show the ability of the proposed emulsion to compact pIRES2-EGFP, which is a requirement to a successful transfection. Therefore, such formulation may be considered a promising candidate for gene therapy

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Projeto e implementação em FPGA de um processador com conjunto de instrução reconfigurável utilizando VHDL

The Reconfigurable Computing is an intermediate solution at the resolution of complex problems, making possible to combine the speed of the hardware with the flexibility of the software. An reconfigurable architecture possess some goals, among these the increase of performance. The use of reconfigurable architectures to increase the performance of systems is a well known technology, specially because of the possibility of implementing certain slow algorithms in the current processors directly in hardware. Amongst the various segments that use reconfigurable architectures the reconfigurable processors deserve a special mention. These processors combine the functions of a microprocessor with a reconfigurable logic and can be adapted after the development process. Reconfigurable Instruction Set Processors (RISP) are a subgroup of the reconfigurable processors, that have as goal the reconfiguration of the instruction set of the processor, involving issues such formats, operands and operations of the instructions. This work possess as main objective the development of a RISP processor, combining the techniques of configuration of the set of executed instructions of the processor during the development, and reconfiguration of itself in execution time. The project and implementation in VHDL of this RISP processor has as intention to prove the applicability and the efficiency of two concepts: to use more than one set of fixed instructions, with only one set active in a given time, and the possibility to create and combine new instructions, in a way that the processor pass to recognize and use them in real time as if these existed in the fixed set of instruction. The creation and combination of instructions is made through a reconfiguration unit, incorporated to the processor. This unit allows the user to send custom instructions to the processor, so that later he can use them as if they were fixed instructions of the processor. In this work can also be found simulations of applications involving fixed and custom instructions and results of the comparisons between these applications in relation to the consumption of power and the time of execution, which confirm the attainment of the goals for which the processor was developed

Algoritmo treansgenético na solução do problema do Caixeiro Viajante

The Traveling Purchaser Problem is a variant of the Traveling Salesman Problem, where there is a set of markets and a set of products. Each product is available on a subset of markets and its unit cost depends on the market where it is available. The objective is to buy all the products, departing and returning to a domicile, at the least possible cost defined as the summation of the weights of the edges in the tour and the cost paid to acquire the products. A Transgenetic Algorithm, an evolutionary algorithm with basis on endosymbiosis, is applied to the Capacited and Uncapacited versions of this problem. Evolution in Transgenetic Algorithms is simulated with the interaction and information sharing between populations of individuals from distinct species. The computational results show that this is a very effective approach for the TPP regarding solution quality and runtime. Seventeen and nine new best results are presented for instances of the capacited and uncapacited versions, respectively

A ocupação urbana do entorno de zonasde proteção ambiental de natal, suas condições de sustentabilidade e a relação com a ocorrência de insetos vetores

This study started from the hypothesis of the existence of a relation between the type of the urban occupation concerning to the sustainability conditions at the proximity of Environment Protected Zones and the occurrence of vectors insects in Natal, Rio Grande do Norte, Brazil. This research, which used data available by the City Administration Health and Urbanization Secretaries (respectively SMS and SEMURB), in the time period of 2006 to 2008, aimed to characterize the study site in terms of urban occupation, relating it to social environmental aspects of land occupation and the occurrence of vectors insects. This study is presented in two papers, the first one linking the occurrence of vectors insects and sustainable development indicators and the second relating the incidence of reported cases of Dengue and Dengue Hemorrhagic Fever (DHF) and the occurrence of larvae infection indexes of Aedes aegypti, in Natal, Rio Grande do Norte State. In the first paper, was made a correlation between Dengue Fever vectors and Visceral and Tegumentar Leishmaniasis vectors and sustainable development indicators, selected from IDS Brasil- 2008. Through factorial analysis a Sustainability Index (SI) was acquired for each region, the northern region of the municipality obtained lower numbers than southern region, which, in its turn, presented better sustainability conditions. Linking this index to vector infestation parameters shows a high significant correlation between the SI and the Breteau Index of Aedes aegypti (p=0,028) as well as with SI and sand flies infestation index (p=0,01). Higher rates in vectors infestation in regions with a lower Sustainable Development Index demonstrates that this index can be used to determine the increasing of probability of Aedes and sand flies occurrence in urban environment. The second paper analyzed the occurrence of the main vector of Dengue and DHF, the Aedes aegypti mosquito, and the relation between larvae infection indexes of this insect and reported cases of the diseases. This study revealed unexpected relation where areas with higher Breteau s Indexes showed lower infection rates of Dengue Fever, although showing high incidence of DHF

Culicídeos vetores em uma unidade de conservação da caatinga na região do seridó no Rio Grande do Norte aspectos da transmissão de doenças

The scarcity of occurrence records of culicid species, transmitting insects of etiologic agents for arboviruses, protozoan diseases and philarioses, and lack of information about their interactions with the forest environment make the Caatinga one of the most unknown biomes in Brazil. The aim of this study was to identify culicid species in a conservation unit located in a preserved area of the Caatinga and the possible associations with local abiotic factors, as well as characterize the natural and artificial ecotopes present in the Caatinga of Rio Grande do Norte state. The Ecological Station of Serido (ESEC-Seridó) is a Caatinga Conservation Unit located in a rural area of Rio Grande do Norte. The hot and dry climate of the Caatinga, along with a short rainy season, favor the adaptation and resistance of plants, resulting in completely distinct landscapes over the course of the year. The study took place over the course of one year, with monthly collections between 10h-12h, 14h-16h and 18h-20h. Adult mosquitoes were collected in a forest area using a manual suction trap with human bait as attractant at the three times and a Shannon trap for night collections. During the rainy season ovitraps were randomly distributed at different sites. The different capture sites were observed and photographed. Immature and adult insects captured were taken to the laboratory for identification. Of the 5081 insects collected in human-bait and Shannon traps, 75% were Mansonia wilsoni. In addition, Aedeomyia, Aedes, Anopheles, Coquillettidia, Culex, Haemagogus, Mansonia and Psorophora were identified. Of the 92 Haemagogus eggs found, 71 were collected on the banks of a reservoir. Mosquito larvae were found and photographed in an artificial breeding site of a neighboring rural area. Humidity had the greatest influence on culicid density in the Caatinga. Rain was important in the appearance of Haemagogus, Anopheles, Aedes and Psorophora. Temperature had a negative influence on Anopheles triannulatus. The occurence of important vector species of diseases in a little known preserved area of the Caatinga as well as environmental and sociocultural questions are factors that favor the emergence of transmitting insects, making these areas potential subject to the resurgence of diseases

Principais conclusões do workshop conjunto dos programas FAPESP BIOTA-BIOEN-mudanças climáticas: ciência e políticas públicas para uma economia mais verde, no contexto da RIO+20

Este Ponto de Vista resume as conclusões de um Workshop conjunto, organizado pelos três Programas da FAPESP na Área Ambiental - BIOTA (O Instituto Virtual da Biodiversidade) - BIOEN (Pesquisa em Bioenergia) - Mudanças Climáticas, para discutir a contribuição da comunidade científica para a RIO+20, a Conferência das Nações Unidas para o Desenvolvimento Sustentável. O grupo de pesquisadores brasileiros reunidos pela FAPESP no início de março de 2012 levantou as seguintes preocupações: a) o número reduzido de oportunidades para a comunidade científica interagir com Conferências como a RIO+20; b) as graves deficiências do ZeroDraft, documento produzido pela Divisão das Nações Unidas para o Desenvolvimento Sustentável para a RIO +20; c) o fato do foco de pesquisa dos três Programas de Pesquisa Ambiental da FAPESP - biodiversidade, bioenergia e mudanças climáticas - não estarem na pauta das discussões da RIO+20; d) que pouca ênfase é dada aos oceanos na Agenda da Conferência; e) em relação aos mecanismos de mercado associados com a transição para uma economia mais verde, a necessidade de enfatizar a redução de subsídios perversos e a promoção de incentivos econômicos para atividades ou processos de mitigação e/ou seqüestro de carbono; f) a necessidade de estimular o desenvolvimento e a consolidação da pesquisa na área de avaliação e valoração de serviços ambientais, no Brasil. Os participantes do Workshop reconheceram a necessidade de aprofundar o conhecimento sobre as convenções, tratados e acordos internacionais assinados e ratificados pelo Brasil, bem como as instituições internacionais, programas e iniciativas que promovem a participação da comunidade científica no debate de políticas ambientais globais. Finalmente, do ponto de vista dos três programas da FAPESP dois pontos foram destacados: a) que é imperativo aprofundar o conhecimento científico em cada uma das três áreas focais - biodiversidade, bioenergia e mudanças climáticas - porque é necessário aumentar a massa crítica de pesquisadores e do conhecimento para participar das discussões internacionais nessas áreas estratégicas; b) também é imperativo apoiar e promover projetos de pesquisa que integrem as áreas focais dos três programas, estimulando a constituição de equipes inter e transdisciplinares. Esta é uma tendência mundial na área das mudanças ambientais globais, e os participantes dos três programas sentem que podem dar uma contribuição significativa para o avanço do conhecimento, para o debate internacional e para a efetiva solução dos problemas.

Relação entre modelos de programação não-linear com incerteza no conjunto de restrições

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desempenho operacional do conjunto trator-recolhedora de feijão

A colheita mecanizada do feijão apresenta altos custos. Além disso, as características botânicas e a alta tendência ao acamamento do feijoeiro dificultam o uso de colhedoras combinadas. O presente trabalho teve como objetivo avaliar o desempenho operacional do conjunto trator-recolhedora-trilhadora de feijão e quantificar as perdas ocasionadas durante a colheita, em Jaboticabal, SP. Foi utilizado delineamento inteiramente casualizado, com fatorial 2 x 3, combinando-se dois sistemas de preparo de solo (convencional e plantio direto) e três velocidades teóricas de trabalho (V1, V2 e V3, correspondendo a 4,0; 4,9 e 5,8km h-1, respectivamente), com quatro repetições, totalizando 24 observações. O nível de ruído, os consumos volumétrico e ponderal, a taxa de alimentação da máquina, a matéria seca e a densidade da palhada, as perdas na plataforma da recolhedora e totais não são influenciadas pelos sistemas de preparo do solo (preparo convencional e plantio direto) e pelas velocidades de trabalho. As perdas ocorridas no sistema de trilha, separação e limpeza são menores na velocidade de 4,9km h-1.

Solucao de sistemas lineares com matrizes e vetores esparsos em computadores vetoriais

This paper presents a methodology for solving a set of linear sparse equations on vector computers. The new methodology is able to exploit the matrix and vector sparsities. The implementation was made on a CRAY Y-MP 2E/232 computer and the results were taken from electric power systems with 118, 320, 725 and 1729 buses. The proposed methodology was compared with three previous methods and the results show the superior performance of the new one.

Industrialização na América Latina: da caixa-preta ao "conjunto vazio"""

Incluye Bibliografía

El papel conjunto de las autoridades fiscales y ambientales en la gestión ambiental de los países de América Latina y el Caribe

Incluye Bibliografía