Orientador: Hyun Mo Yang / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T23:48:56Z (GMT). No. of bitstreams: 1 Barrozo_Sidineia_D.pdf: 1957846 bytes, checksum: 244979b94c302d76910b381fc282d14d (MD5) Previous issue date: 2000 / Resumo: Neste trabalho propomos e estudamos um modelo matemático para descrever a transmissão da esquistossomose considerando imunidade concomitante e vacinação. O estudo analítico é feito em equilíbrio, através da determinação de seus estados estacionários, da análise da estabilidade dos mesmos e da obtenção da razão de reprodutibilidade, a qual fornece o valor limiar para uma endemia se estabelecer numa população suscetível. Estudamos dois mecanismos de ação de vacinas aplicados em duas variantes do modelo quanto ao tipo de imunidade, sendo que uma das variantes considera a imunidade dependente do meio ambiente, e a outra não. Quanto aos mecanismos de ação das vacinas, um confere proteção aos indivíduos e o outro, indiretamente aos caramujos. Através do estudo numérico do modelo, obtemos a região de estabilidade da doença, a análise da dinâmica e da sensitividade dos parâmetros e o impacto da vacinação sobre a razão de reprodutibilidade e sobre as soluções de equilíbrio. / Abstract: We propose a mathematical mode] to explain schistosomiasis transmission based on concomitant immunity and vaccination. The study is carried out in equilibrium condition, and the stability of the steady states and the reproduction ratio are assessed. We analyze two actions of mechanisms of the vaccine on two variants of the model: immunity dependent of the environment or not. The stability region of the disease, sensitivity analyses of the parameters, dynamics analyses and the influence of the vaccination on the threshold values and the equilibrium points are included through numerical simulations. / Doutorado / Doutor em Matemática Aplicada

Made available in DSpace on 2014-06-12T18:03:25Z (GMT). No. of bitstreams: 2 arquivo7159_1.pdf: 780266 bytes, checksum: d215ef6457b312a76d4b1d49015489c7 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / A literatura de redes de computadores apresenta uma ampla diversidade de modelos de mobilidade que envolve diferentes mecanismos de representação de movimentos. Os modelos de mobilidade descrevem o comportamento do deslocamento de um indivíduo ou de um grupos deles. Nesta dissertação será apresentado um modelo de mobilidade que se mostrou adequado à descrição do comportamento de locomoção individual de usuários de serviços de telefonia sem fio, após uma revisão crítica da bibliografia existente. Para este modelo é proposto um mecanismo de transmissão e propagação de mensagens. Do ponto de vista da estatística computacional, será a mostrada uma implementação que permite fazer simulações do modelo com o objetivo de medir características que, analiticamente, são difíceis de serem mensuradas. Mostra-se um estudo de caso aplicado ao comportamento de usuários de celulares em ambientes fechados, como o de um shopping center, e à distribuição de mensagens. A distribuição temporal da informação é avaliada com uma experiência de Monte Carlo

Made available in DSpace on 2014-06-12T18:05:11Z (GMT). No. of bitstreams: 2 arquivo7238_1.pdf: 5549505 bytes, checksum: 273b31eeccc7615c0975723d862955e5 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Inferência em modelos lineares de regressão na presença de heteroscedasticidade de forma desconhecida de usualmente realizada através do uso do estimador de mínimos quadrados ordinários do vetor de parâmetros de regressão juntamente com um estimador consistente de sua matriz de covariâncias. O estimador mais comumente usado é o proposto por Halbert White e conhecido como HC0. Algumas formas alternativas deste estimador foram propostas na literatura, dentre as quais destacam-se HC1, HC2, HC3 e HC4. Tais estimadores são rotineiramente usados na construção de testes quasi-t, que são realizados com base em valores crítico assintóticos obtidos da distribuição normal padrão. O objetivo da presente dissertação de, através do uso de métodos numéricos, obter valores críticos ajustados para esses testes. O uso de tais valores críticos conduz a inferências mais precisas em amostras finitas

Made available in DSpace on 2014-06-12T18:07:06Z (GMT). No. of bitstreams: 2 arquivo7811_1.pdf: 847596 bytes, checksum: acb8b672d6216096670e3c3306e1a6cc (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Este trabalho trata de modelos de adsorção molecular em ma dimensão. O principal foco está nas estruturas geradas através de adição de segmentos `a reta onde a distribuição de tamanho de segmentos (s) ´e uma lei de potência n(s) » s−¿ . Para esse tipo de conjunto adsorvido `a reta são calculados a taxa de ocupação assintótica e a dimensão dos conjuntos gerados após o processo para os viários valores do expoente ¿ . Também são tratados alguns aspectos gerais sobre a adsorção de outros conjuntos, como limites da taxa de ocupação e conjuntos cuja taxa de ocupação tende a zero. Como ilustração, o trabalho traz, em seu início, uma breve discussão sobre alguns problemas de empacotamento e absorção diferentes do tratado no mesmo. A adição do ingrediente segmentos com comprimentos em varias escalas faz com que o sistema se diferencie bastante dos sistemas gerados por adsorção onde os segmentos têm um tamanho característico. Os resultados obtidos mostram forte dependência das quantidades medidas com o tamanho do sistema, bem como comportamento assintotico atípico, na maioria dos casos estudados, inclusive para o valor calculado da dimensão do conjunto

Orientador: Edgard Antonio Pereira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Economia / Made available in DSpace on 2018-07-24T18:25:24Z (GMT). No. of bitstreams: 1 Correa_AndreyAureliodeSouza_M.pdf: 4507277 bytes, checksum: 9059277b9ad76e8528a697016e3084ac (MD5) Previous issue date: 1998 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Economia

Orientador: Katia Lucchesi Cavalca / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-25T15:57:59Z (GMT). No. of bitstreams: 1 ReyesMojena_MiguelAngel_M.pdf: 9700494 bytes, checksum: 0f7ae201d49c3345200057d4f59d15bb (MD5) Previous issue date: 1999 / Resumo: A avaliação da confiabilidade em sistemas toma-se complexa quando o número de componentes é elevado, ou ainda para o caso de sistemas de configuração complexa. Este trabalho teve por objetivo elaborar um procedimento de cálculo para estimativa da confiabilidade, nestes casos, através de um programa computacional desenvolvido em Visual Basic., que permite reduzir estes sistemas, a um componente equivalente com um valor de confiabilidade igual ao da estrutura completa. As estruturas simples são reduzidas empregando-se métodos, implementados segundo o tipo de conexão padronizada (série, paralelo, etc.). Para a análise das estruturas de configuração complexas, são empregados os métodos da inspeção modificado e da matriz conexão. A metodologia apresentada neste trabalho constitui uma ferramenta que pode ser empregada para estimar a confiabilidade em linhas de produção ou sistemas modelados como estruturas. O valor da confiabilidade nas estruturas analisadas pode ser estimada num instante de tempo, ou para vários intervalos de tempo num período de Oa t, obtendo, neste caso, os valores de confiabilidade e mortalidade da estrutura para cada intervalo, e as curvas destas funções no tempo de forma gráfica / Abstract: The evaluation of the reliability in systems becomes complex when the number of components is high, or for the case of systems of complex configuration. This work had the objective of elaborate the ca1culation procedure to estimate the reliability in these cases, through computational software developed in Visual Basic. That allows to reduce these systems to an equivalent component with a reliability value corresponding to the reliability of the complete structure. The simple structures are reduced using direct methods that were implemented according to the type of standardized connection (series, parallel, etc:). In the analysis of the structures with complex configuration, the modified inspection method and the connection matrix method are used. The methodology presented in this work constitutes a tool that can be used to evaluate the reliability in production lines or systems modeled as structures. The value of the reliability in the analyzed structures can be obtained for a certain instant of time, and for several times, giving the reliability and mortality curves of the structures graphically / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Arthur João Catto / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:43:49Z (GMT). No. of bitstreams: 1 Silva_SergioRobertoPereirada_M.pdf: 3782784 bytes, checksum: 8771856aad12b2f4a67a5a5f06a2c221 (MD5) Previous issue date: 1991 / Resumo: Este trabalho apresenta o desenvolvimento e a análise de um modelo para a arquitetura de fluxo de dados de Manchester empregando a Teoria Geral de Redes. As fases de desenvolvimento do modelo encontram-se detalhadas demonstrando a aplicabilidade desta teoria à modelagem de sistemas com tarefas concorrentes. Na fase de validação do modelo foi utilizado para sua análise um método analítico determinístico baseado em redes de Petri, o modelo-Q. Este mesmo método foi empregado na fase de análise do modelo, visando a identificação de pontos de estrangulamento do desempenho da arquitetura, e na avaliação de algumas alternativas, visando a remoção destes pontos. O trabalho, além de desenvolver um modelo para a arquitetura de fluxo de dados de Manchester, demonstra a potencialidade deste tipo de ferramenta para identificação de problemas e avaliação de alternativas de projeto para esta classe de máquinas. / Abstract: This work presents the development and analysis of a model for the Manchester data flow architecture using the General Net Theory. The model's development phases are detailed, demonstrating the applicability of such theory to the modelling of systems with concurrent tasks. During the model's validation phase, an analytical deterministic method based on Petri nets, the Q-model, was used. The same method was used during the model's analysis phase, aiming at identifying performance bottlenecks in the architecture and at evaluating alternatives in order to correct such problems. The work, besides developing a model for the Manchester data flow architecture, demonstrates the potential of this kind of tool for identifying problems and evaluating design alternatives for this class of machines. / Mestrado / Mestre em Ciência da Computação

Orientadores: João Alexandre F. Rocha Pereira, Sergio Persio Ravagnani / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-14T01:49:43Z (GMT). No. of bitstreams: 1 Cardoso_Marcelo_M.pdf: 2265440 bytes, checksum: 229ac23bcdf2839310aa3daeee794b3a (MD5) Previous issue date: 1991 / Resumo: Neste trabalho foi desenvolvido um programa executivo para microcomputadores utilizando a técnica seqüencial modular para análise de processos químicos em estado estacionário e tendo uma concepção estrutural flexível ao uso dos mais variados processos existentes. Iniciando com a entrada de dados referente ao processo, isto é, localização de equipamentos e ligações existentes entre eles, o programa executivo é capacitado para verificar a presença de reciclos, identificar subsistemas existente, determinar a seqüência ótima de cálculo das unidades do processo, acessar os parâmetros das unidades modulares e gerenciar a execução dos cálculos automatizando as iterações (caso o sistema contenha reciclo) até que a tolerância admitida como critério de convergência seja atingida para cada subsistema. A fim de testar o programa executivo foram desenvolvidas unidades modulares em estado estacionário, onde cada unidade procura representar um equipamento do processo e por sua vez estas são representadas por programas separados e independentes que podem ser simuladas separadamente ou gerenciadas pelo programa executivo. Na biblioteca de módulo estão arquivadas as seguintes unidades: DIV (Divisor de fluxo); MIT (Misturador adiabático e isotérmico); REA (Reator adiabático e isotérmico); SEPARADOR DESTIL (Coluna de destilação); SEP (Separador ¿ módulo simplificado); ABSORVEDOR ABSORÇÃO (Coluna de absorção); ABSI (Absorvedor ¿ módulo simplificado)... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Not informed. / Mestrado / Mestre em Engenharia Química

Orientador: Ernesto Ruppert Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T03:33:21Z (GMT). No. of bitstreams: 1 Avolio_Edwin_M.pdf: 2159793 bytes, checksum: 6b32944f2528f4a01969c3713e402362 (MD5) Previous issue date: 1987 / Resumo: Apresenta-se um modelo matemático dinâmico de um sistema composto por um gerador síncrono, acionado por um motor de corrente contínua, alimentando um motor de lnduçto de rotor em gaiola. A precisão do modelo é avaliada utilizando resultado de experiências faltas em laboratório com as máquinas mencionadas. Estuda-se a partida do motor de indução de rotor em gaiola alimentado por gerador síncrono isolado no sentido de procurar parâmetros adequados para as máquinas de modo a especificá-las convenientemente. / Abstract: A dynamic mathematical model or a system constituted by direct current motor driven synchronous generator supplying power to a squirrel cage rotor induction motor is presented. The accuracy or the model is appraised using laboratory experiment recuits using above mentioned machines. Squirrel cage rotor induction motor starting supplied by an isolated synchronous generator is studied almming to find adequated parameters values that make possible to specify them conveniently. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Cesar Costapinto Santana / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T16:55:17Z (GMT). No. of bitstreams: 1 Faria_LenioJoseGuerreirode_M.pdf: 3243943 bytes, checksum: 7c3fea7f1a0e23b570ce9fa7491b2880 (MD5) Previous issue date: 1986 / Resumo: No desenvolvimento deste trabalho, é analisado o desempenho de um secador pneumático vertical em escala piloto. São realizados ensaios com partículas de areia com diâmetros médio de 0,46mm e 0,55mm e esferas de vidro com diâmetro médio de 0,24mm, em um tubo de secagem de 4 m de altura e 5,25 onde diâmetro interno, sendo obtidos perfis de umidade e de temperatura do ar e de pressão ao longo do secador, além dos conteúdos de umidade de entrada e saída dos sólidos. Psicrômetros desenvolvidos para medidas de umidade do ar a temperaturas superiores a 1000ºC, são utilizados na determinação dos perfis de umidade e temperatura. É apresentada uma simulação do secador, obtida através de um modelo unidimensional, onde são integradas as equações básicas de conservação da quantidade de movimento, energia e massa cm sistemas particulados, sendo efetuada a comparação dos resultados da simulação com os valores experimentais. / Abstract: This work is related with studies on the performance of a vertical pneumatic dryer on a well instrumented pilot plant. Experiences were rea1ized with sand particles with a mean diameter of 0.46mm and 0.55mm and glass spheres with a mean diameter of 0.24mm, in a drying tube with 4m high and an inside diameter of 5.25cm, aiming the determination of the air humidity, temperature and pressure profiles along the dryer, also entrance and exit moisture contents of solids can be obtained. Psychrometers were designed to measure the air humidity above 1000e and they are used to determine the humidity and temperature profiles. It is presented a1so a dryer simulation study that utilizes a unidimensional model, where the basic of the momentum, energy and mass conservation equations for particulated systems are integrated, and a comparison between the simulated and experimental results is done. / Mestrado / Mestre em Engenharia Química