Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O objetivo central deste projeto é precisar matematicamente certos objetos combinatórios que servem como ponto de partida nas apresentações usuais da Análise Combinatória e são comumente apresentados de maneira informal e intuitiva. Estabelecido este referencial teórico preciso, pretendemos, a partir dele, reapresentar os conceitos de Análise Combinatória de modo mais rigoroso privilegiando sempre a apresentação mais natural possível. Mais precisamente, estaremos interessados em reapresentar os resultados referentes ao capítulo dois do livro do professor Augusto C. Morgado a partir de uma versão matematicamente mais precisa dos Princípios Aditivo e Multiplicativo. Além disso, pretendemos que os argumentos usados em nossas deduções usem predominantemente indução ou construção de bijeções, o que é um dos grandes objetos de estudo da combinatória moderna

Made available in DSpace on 2014-06-12T17:36:05Z (GMT). No. of bitstreams: 2 arquivo7119_1.pdf: 2897021 bytes, checksum: 6c54b56dbdc59f5e101d0042be325a2b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O gerenciamento automático da memória dinâmica, conhecido como coleta de lixo (garbage collection), se tornou uma necessidade na maioria das linguagens de programação em uso atualmente. Dentre as técnicas para realizar o gerenciamento automático da memória, a contagem de referências se mostra vantajosa por uma série de razões, dentre elas o fato de ser uma técnica naturalmente incremental, o que evita a parada completa do processo do usuário para realizar tarefas de administração da memória. A natureza incremental da contagem de referências indica que o algoritmo pode ser adaptado para uma versão em sistemas multiprocessados, mantendo sua característica não suspensiva no programa do usuário. Entretanto, os problemas causados pela necessidade de sincronização entre threads pode anular os ganhos de eficiência obtidos com essa extensão, inviabilizando o uso de um coletor de lixo baseado em contagem de referências em um ambiente multiprocessado. Nesta tese apresenta-se um conjunto de algoritmos eficientes para utilizar a contagem de referências em sistemas com vários processadores, tendo como foco principal o algoritmo para contagem de referências para vários mutadores e um coletor. Este algoritmo foi implementado na máquina virtual Java Jikes RVM e seu desempenho testado em relação a coletores alternativos; os resultados de tais testes indicam que o algoritmo proposto tem desempenho competitivo com outros coletores similares, mas impõe tempos de pausa muito menores ao programa do usuário. A presente tese também apresenta uma prova informal da corretude do algoritmo proposto

Made available in DSpace on 2014-06-12T17:36:54Z (GMT). No. of bitstreams: 2 arquivo2635_1.pdf: 1615049 bytes, checksum: 0bfad898b05e2327f8bd4385c52f1fb8 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O gerenciamento automático da memória utilizada por um programa se tornou uma necessidade na maioria das linguagens de programação em uso atualmente, cujas implementações incluem em sua maioria um coletor de lixo para administrar a memória utilizada. Dentre as técnicas para realizar o gerenciamento automático da memória, a contagem de referências se mostra popular por uma série de vantagens, dentre elas o fato de ser uma técnica naturalmente incremental, o que evita a parada completa da computação para realizar tarefas de administração da memória. Esta natureza incremental da contagem de referências indica que o algoritmo pode ser extendido para uma versão concorrente, em sistemas multiprocessados, com facilidade. Entretanto, o problema da sincronização pode anular os ganhos de eficiência obtidos com essa extensão, inviabilizando o uso de um coletor de lixo concorrente. Nesta dissertação apresenta-se uma nova arquitetura para implementar concorrentemente o gerenciamento automático da memória baseado na contagem de referências; esta proposta está baseada em versões anteriores do algoritmo seqüencial para contagem de referências e da arquitetura para contagem de referências concorrentes, mas tem como diferencial o uso de sincronização bastante eficiente. Os resultados de testes realizados com uma implementação desta nova arquitetura indicam que, de fato, a eficiência obtida compensa o seu uso em sistemas multiprocessados

Made available in DSpace on 2014-06-11T19:31:02Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-12-20Bitstream added on 2014-06-13T20:21:42Z : No. of bitstreams: 1 cordeiro_mas_dr_jabo.pdf: 669942 bytes, checksum: 4e7ed86e9e941030576119cc7eb6df3e (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Sistemas conservacionistas favorecem as populações microbianas em função da conservação e do aumento da matéria orgânica no solo. As plantas desses sistemas favorecem o crescimento dos microrganismos principalmente pela influência das raízes, através do efeito rizosférico. O objetivo deste trabalho foi avaliar o efeito da rotação de culturas inverno (milho, girassol e guandu) e sequências de verão (soja/milho, milho/milho e soja/soja), em um sistema de semeadura direta, na atividade enzimática e atributos químicos em solo rizosférico e não rizosférico; na contagem dos fungos e bactérias do solo rizosférico e não rizosférico; e na habilidade metabólica dos fungos isolados do solo rizosférico atribuída à promoção de crescimento de plantas. O estudo foi realizado na safra de inverno de 2008 de uma área experimental com sistema de semeadura direta e rotação de culturas, da Faculdade de Ciências Agrárias e Veterinárias/FCAV/UNESP de Jaboticabal. O delineamento experimental foi em blocos casualizados no esquema de faixas e três repetições. As culturas de inverno: milho (Zea mays L.), girassol (Helianthus anuus L.) e guandu (Cajanus cajan (L.) Millsp), foram rotacionadas com sobre as sequências de verão: soja/soja (Glycine Max L.), milho/milho e soja/milho. Foram conduzidos dois experimentos, no Experimento 1, foram coletadas amostras de solo rizosférico (SR- solo aderido às raízes das plantas) e solo não rizosférico (SNR- solo da entrelinha de plantio) das culturas de inverno, totalizando assim 18 tratamentos (3 culturas de inverno x 3 sequências de verão x 2 posições de coleta no solo). Para o Experimento 2, foi utilizado o SR das culturas de inverno e as sequências de verão (3 x 3), totalizando 9 tratamentos... / Self-sustaining systems support microbial populations by conserving and increasing organic matter in the soil. Furthermore, plants help increase the microbial population, due to the influence of roots through the rhizosphere effect. This study evaluated the effect of winter crop rotation and summer sequences in no-tillage system on biochemical and chemical attributes; the count of total bacteria and total fungi in rhizospheric (RS) and non-rhizospheric soil (NRS); and metabolic ability of fungi isolated from the rhizospheric soil that were promoted by plant growth. This study was conducted in the winter crop of 2008 in an experimental area with no-tillage and crop rotation at the Collage of Agriculture and Veterinary Sciences / FCAV / UNESP Jaboticabal. The experimental design was randomized block scheme of plots and three repetitions. Winter crops: corn (Zea mays L.), sunflower (Helianthus anuus L.), and pigeonpea (Cajanus cajan (L.) Millsp) were rotated with summer sequences: soybean/soybean (Glycine max L.), corn/corn, and soybean/corn. Two experiments were conducted. In Experiment 1, samples were collected from rhizosphere soil (RS-soil adhering to plant roots) and non-rhizosphere soil (NRS- soil between rows of planting) of winter crops, totaling 18 treatments (3 winter crops x 3 summer sequences x 2 collect position of soil). For Experiment 2, the RS of winter crops were used and summer sequences (3 x 3), totaling nine treatments. Experiment 1: The activities of amylase, cellulase, protease, and urease in RS were 16, 85, 62, and 100% higher than in the NRS, respectively, while total organic carbon and protein were 21% higher in RS. Among the winter crops, corn stimulated higher activities of amylase, cellulase, protease, and urease in RS than other cultures. A similar effect was also observed... (Complete abstract click electronic access below)

Na área da saúde, várias abordagens nos últimos anos têm sido propostas baseadas nos gráficos de controle CUSUM para a detecção de epidemias infecciosas em que a caraterística a ser monitorada é uma série temporal de dados de contagem, como o número de internações. Neste trabalho foram implementados os modelos lineares generalizados (MLG) no monitoramento, por meio dos gráficos CUSUM e Shewhart, da série do número diário de internações por causas respiratórias para pessoas com 65 anos ou mais residentes no município de São Paulo. Por meio de simulações, avaliaram-se a eficiência de cinco estatísticas diferentes para detectar mudanças na média em séries de contagem. Uma das abordagens consistiu na implementação de três transformações normalizadoras simples que dependem unicamente dos parâmetros das distribuições Poisson e binomial negativa: a transformação Rossi para dados com distribuição Poisson, a transformação Jorgensen para dados com distribuição binomial negativa e os sesíduos de Anscombe para modelos lineares generalizados. As duas últimas estatísticas já foram propostas como gráficos CUSUM: o Método Rogerson e Yamada (2004) é apresentado para dados com distribuição Poisson e neste trabalho foi proposto um novo parâmetro kt para dados binomial negativa; já o método proposto por Hohle (2007) é baseado na função de verossimilhança da distribuição binomial negativa. Utilizando limites de controle para obter um valor ARL0 = 500 sob normalidade, monitorou-se via simulação a série de interesse, implementando as transformações normalizadoras. Entretanto, utilizando-se esses limiares observa-se um maior número de alarmes falsos para as três estatísticas. Modificando o parâmetro k do gráfico CUSUM permitindo que variasse ao longo do tempo a série foi monitorada e foram obtidos valores ARL0 próximos a 500. Os gráficos CUSUM baseados no método Rogerson e Yamada e na estatística da razão de verossimilhanças para dados com distribuição binomial negativa mostraram, via simulação, bons resultados para detectar mudanças na média. As suposições de normalidade e independência das estatísticas normalizadoras, em geral omitidas em trabalhos publicados na literatura, foram avaliadas e comprova-se que as transformações não normalizam os dados, porém são independentes e estacionárias. Analisando os dados reais, as estatísticas apresentaram autocorrelação significativa no lag 7. Devido à persistência desta autocorrelação, foi proposta uma abordagem baseada no ajuste do modelo GARMA. / In public health several approaches have been proposed for the detection of outbreaks of infectious diseases where the characteristic being monitored is a time series of count data as the number of hospitalizations, where the population and the expected rate of admissions change over time. In this work we fitted generalized linear models (GLM) and implemented Shewhart and CUSUM control charts for monitoring the daily number of hospital admissions due to respiratory diseases for people aged 65 and older in the city of São Paulo. Through simulations, we evaluated the efficiency of implementing five different statistical for detecting changes in time series of count. One approach consisted of applying three transformations that only depend on the parameters of the negative binomial and Poisson distributions: The transformations of Rossi for data with Poisson distribution, the transformation proposed by Jorgensen for data with negative binomial distribution and residuals proposed by Anscombe for generalized linear models. The other statistics have been proposed as CUSUM charts: the method of Rogerson e Yamada (2004) was presented for data with Poisson distribution, in this work we proposed a new parameter kt for negative binomial distribution, the proposed method for Hohle (2007) uses the likelihood ratio statistic. Implementing limit control assuming normality for a value of ARL0 = 500 be monitored via simulation the serie of interest implementing the normalizing statistics. However, using these limits was observed a greater number of alarms for the three transformations. Modifying the parameter k of the CUSUM chart to this change over time the series was monitored and were obtained values of ARL0 close to 500. The CUSUM control charts for the methods of Rogerson and Yamada and Holhe for data with negative binomial distribution showed, by simulation, good results for detecting changes in the mean. For negative binomial distribution generalizing the method of Rogerson e Yamada (2004) and implemented the CUSUM charts using the likelihood ratio statistic. Both methods provided good results via simulation to detect small changes in average. The evaluation of assumptions of normality for the statistics proposed by Rossi, Jorgensen and Anscombe generally is omitted in published studies. In this work, we evaluated this assumptions indicating that the statistics are not normal using the real dataset but are independent and stationary. By analyzing real data, due to the persistence of correlation for the normalized statistics, an approach based on setting GARMA model was proposed. This method showed good results once the residuals of the fitted model were normal and independent. Due to the persistence of correlation for the normalized statistics, an approach based on setting GARMA model was proposed. This method showed good results once the residuals of the fitted model were normal and independent.

Dissertação apresentada para obtenção do grau de Mestre em Estatística Aplicada e Modelação, na Faculçdade de Engenharia da Universidade do Porto, sob a orientação do Professor Doutor Francisco José Lage Campelo Calheiros

Made available in DSpace on 2016-05-19T13:20:07Z (GMT). No. of bitstreams: 2 carla_honse_ipec_dout_2014.pdf: 2842248 bytes, checksum: 39c5ea2462ab403b73d9079b68c7156c (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2014 / Fundação Oswaldo Cruz. Instituto Nacional de Infectologia Evandro Chagas. Rio de Janeiro, RJ, Brasil / Foram avaliados quarenta e um cães adultos, machos e fêmeas, sem raça definida, provenientes de inquéritos sorológicos para leishmaniose visceral canina realizados pela Secretaria Municipal de Saúde do Rio de Janeiro. O objetivo deste estudo foi descrever as alterações citopatológicas da medula óssea e o perfil hematológico de cães naturalmente infectados por Leishmania (Leishmania) chagasi. A avaliação citológica da medula óssea incluiu a análise qualitativa e quantitativa. O perfil hematológico foi avaliado através de contador automático de células e esfregaços sanguíneos. Adicionalmente, foram realizadas a imunofenotipagem de linfócitos medulares, pesquisa de formas amastigotas na medula óssea e avaliação dos estoques de ferro medular. De acordo com os resultados obtidos, cães naturalmente infectados por L. (L.) chagasi apresentaram hiperplasia das séries mieloide, linfoide e monocítica, onde frequentemente foram observadas formas amastigotas, anemia normocítica normocrômica e aumento dos estoques de ferro medular Não foram observadas diferenças estatisticamente significativas entre as populações de linfócitos T e linfócitos B medulares. Em conclusão, os cães naturalmente infectados por L. (L.) chagasi apresentaram alterações na medula óssea e no perfil hematológico independentemente da manifestação clínica apresentada pelo animal. Hiperplasia das linhagens hematopoiéticas, anemia, eritrofagocitose e aumento dos estoques de ferro medular possibilitaram uma melhor compreensão dos mecanismos fisiopatológicos envolvidos na doença e a pesquisa de formas amastigotas na medula óssea contribuiu como uma importante ferramenta diagnóstica da leishmaniose visceral canina / Fourty one adult mongrel dogs from the VL serol ogical surveys done by Secretaria Municipal de Saúde of Rio de Janeiro were studied. The purpose of this study was to evaluate the occurrence of cytopathologycal changes of bone marrow and hematological changes in dogs naturally infected by Leishmania (Lei shmania) chagasi . Evaluation of bone marrow included the qualitative and quantitative analysis and c omplete blood count was performed with an automated cell counter and blood smears. Additionally , immunophenotyping of lymphocytes, search of amastigotes an d iron stores of bone marrow were performed . According to the results, dogs naturally infected by L. (L.) chagasi showed hiperplasia of myeloid, lymphoide and monocytic series, that often showed amastigotes form, normocytic normochromic anemia and i ncrease iron stores of bone marrow. No significant difference was observed among the T lymphocytes and B lymphocytes populations of bone marrow. In conclusion, dogs naturally infected by L. (L.) chagasi showed changes in bone marrow and blood profile regardless of the clinical manifestations. Hyperplasia of hematopoietic lineages, anemia, erythrophagocytosis and increase iron stores allowed a better understanding of the physiopathological mechanisms involved in disease and the search of amastigotes in bone marro w contributed as an important diagnostic tool of canine visceral leishmaniasis.

Made available in DSpace on 2014-06-11T19:32:51Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-06-24Bitstream added on 2014-06-13T20:04:27Z : No. of bitstreams: 1 oliveira_mc_dr_jabo.pdf: 557837 bytes, checksum: d166a1b1c735091a58dd19500f6fa6d4 (MD5) / Com o Brasil aumentando cada vez mais a produção de leite houve uma preocupação maior com a qualidade do leite e seus derivados. Em 2011 foi implantada a Instrução Normativa 62 (IN 62) em 29 de dezembro de 2011 que revogou a Instrução Normativa 51 (IN 51) de 18 de setembro de 2002. Dentre as alterações, as principais foram sobre os limites de contagem de células somáticas (CCS) e contagem bacteriana total (CBT). Para que os produtores fornecessem um produto com qualidade, as empresas paralelamente ao governo federal implantaram programas de qualidade do leite, que bonificam ou penalizam os produtores pela qualidade do leite produzido. Com isso a presente pesquisa teve como objetivo avaliar amostras de leite colhidas de propriedades da região nordeste do Estado de São Paulo quanto aos parâmetros de composição, contagem de célula somática (CCS) e contagem bacteriana total (CBT), para verificar se as mesmas atenderiam ao estabelecido pela IN 62 e também averiguar a influência das estações do ano sobre tais parâmetros. Foram colhidas 1.716 amostras de leite cru direto dos tanques de expansão de 143 propriedades do Estado de São Paulo durante o ano de 2012 e realizadas as análises dos requisitos. De um total de 1.716 amostras avaliadas o período da primavera apresentou maiores índices de rejeição quanto os padrões para a IN 62 (69%), enquanto que os meses de outono apresentaram maiores números de amostras dentro do padrão (41%). Os resultados demonstraram que houve diferença significativa (P<0,05) entre as estações do ano, para os valores de gordura, proteína, lactose, extrato seco desengordurado, CCS e CBT. No período do outono os valores de gordura, proteína e ESD foram maiores. Em contrapartida os valores da CCS se apresentaram menores, período em que se têm menores índices de chuva... / As Brazil is increasingly producing more and more milk, there was greater concern about the quality of the milk and its derivatives. In 2011 the Normative Instruction 62 (IN 62) changed some articles of the Normative Instruction 51 (IN 51). Among the major changes, were on the somatic cell count (SCC) and total bacterial count (TBC). For producers to provide a quality product, companies alongside the federal government implemented programs for milk quality, which give bonus or penalize producers for the quality of milk produced. The present research, aimed to assess milk samples collected from properties of the northeast of the State of São Paulo for the composition of parameters, somatic cell count (SCC) and total bacterial count (TBC), to verify whether they meet the established by the IN 62 and also investigate the influence of the seasons on such parameters. 1,716 samples of raw milk were collected straight from the expansion tank of 143 properties in the State of São Paulo during the year 2012 and the analysis of such requirements were made. A total of 1,716 samples evaluated in the spring period had the highest rates of rejection as the standards for IN 62 (69%), while in the autumn months had the highest numbers of samples within the standard results (41%). The results showed that there was significant difference (P<0,05) between the seasons, for the values of fat, protein, lactose, defatted dry extract(DDE), SCC and TBC. During the autumn the values of fat, protein and DDE were higher. In contrast the values of SCC performed, for the period in which have lower levels of rain and the lactose did not suffer major changes. As for the payment of the milk the best receiving period was during the autumn months in that the fat and protein levels were high and the SCC lower. The SCC and TBC were the requirements that less fulfilled the... (Complete abstract click electronic access below)

Made available in DSpace on 2014-06-11T19:32:58Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-06-27Bitstream added on 2014-06-13T19:47:50Z : No. of bitstreams: 1 fernandes_lh_dr_botfmvz.pdf: 279113 bytes, checksum: 9c774793aed7b191e5a1f8a1deaa84d8 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Universidade Estadual Paulista (UNESP)

Made available in DSpace on 2015-04-09T12:28:20Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-11-26Bitstream added on 2015-04-09T12:47:40Z : No. of bitstreams: 1 000816302.pdf: 304828 bytes, checksum: be235fc4e6161e61bfe0d973006d2e29 (MD5) / O objetivo do presente trabalho foi de avaliar 10 propriedades, produtoras de leite cru refrigerado, localizadas no Sudeste do Estado de São Paulo, quanto ás condições higiênico-sanitárias do rebanho bem como o manejo; e correlacionar á qualidade do leite produzido por cada uma delas com o estabelecido pela IN62 de 2011. Foi aplicado um checklist, foi avaliado o índice de mastite clínica e subclínica e identificados os micro-organismos envolvidos e seu perfil de sensibilidade á antimicrobianos, assim como analisados os parâmetros físicoquímicos, de Contagem de Células Somáticas (CCS) e microbiológicos estabelecidos pela legislação vigente. Após a aplicação do checklist era realizado o teste da caneca de fundo escuro e o California Mastits Tests (CMT), e colhidas amostras dos quartos positivos em tubos estéreis para isolamento microbiológico. As amostras de leite colhidas dos tanques de expansão eram submetidas à CCS, Contagem Bacteriana Total (CBT) e a análise de composição. Dos 1280 quartos mamários avaliados, 43,67% foram positivos ao CMT, caracterizando mastite subclínica e 2,89% dos quartos positivos ao teste da caneca de fundo escuro caracterizando mastite clínica. O Staphylococcus aureus foi o micro-organismo mais isolado, sendo que nos casos de mastite clínica ele representou 64,86%, seguido de S. epidermidis com 18,91% e 2,70% de S. intermedius. Nos casos de mastite subclínica o S. aureus foi isolado de 73,60% dos quartos analisados, seguido de S. epidermidis com 16,57%, Corynebacterium sp. com 3,66%, S. dysgalactiae com 3,08%, S. intermedius com 1,93%, Bacillus sp. com 0,58% e Enterococcus sp. com 0,59%. No teste de sensibilidade antimicrobiana, in vitro, o Florfenicol foi o antimicrobiano, do qual os micro-organismos isolados nos casos de mastite clínica apresentaram maior sensibilidade. Das 10 propriedades produtoras de leite sete apresentaram valores superiores ao de 500 mil céls./mL para ... / The objective this study was to assay 10 dairy farms that produce refrigerated raw milk, located in the southeastern of São Paulo State, on the hygenicsanitary conditions and management of the herd and, if possible, to correlate the quality of the milk produced with the standards recommended by IN62. For this, a checklist was applied together with the assessment of the rate of clinical and subclinical mastitis, identification of the microorganisms involved and their sensitivity to antimicrobials. The microbiological, physical-chemical and SCC parameters were also analyzed according to the established by law. Following application of the checklist,test of the black deep mugand CMT were performed and samples from the positive mammary quarters were collected in sterile tubes for microbiological isolation. Bulk tank milk samples were submitted to SCC, TBC and composition analysis. From 1280 mammary quarters evaluated, 43.67% were positive for the CMT, characterizing subclinical mastitis; and 2.89%, in the test of the black deep mug, characterizing clinical mastitis. Staphylococcus aureus was the most frequently isolated microorganism, and in cases of clinical mastitis, represented 64.86% of all positive samples, followed by S. epidermidis 18.91% and S. intermedius 2.70%. In cases of subclinical mastitis, S. aureus was isolated from 73.60% of the quarters examined, followed by S. epidermidis 16.57%, Corynebacterium sp. 3.66%, S. dysgalactiae 3.08%, S. intermedius 1.93%, Enterococcus sp. 0.59% and Bacillus sp. 0.58%. Regarding the in vitro antimicrobial susceptibility test, florfenicol was the antibiotic to which the microorganisms isolated in clinical mastitis cases showed higher sensitivity. Of the 10 farms milk producers seven had values higher than the 500,000 cels. / mL for SCC in relation to that established by IN62, but for TBC and protein, all attended the set of at least 300,000 CFU / mL and 2.9 g / 100g, respectively, but for ...