Submitted by Edileide Reis (leyde-landy@hotmail.com) on 2014-09-24T12:13:02Z No. of bitstreams: 1 Ariston de Lima Cardoso.pdf: 8292451 bytes, checksum: baee330c9a548cb8801e98420285b75b (MD5) / Approved for entry into archive by Jose Neves (neves@ufba.br) on 2016-06-03T21:34:55Z (GMT) No. of bitstreams: 1 Ariston de Lima Cardoso.pdf: 8292451 bytes, checksum: baee330c9a548cb8801e98420285b75b (MD5) / Made available in DSpace on 2016-06-03T21:34:56Z (GMT). No. of bitstreams: 1 Ariston de Lima Cardoso.pdf: 8292451 bytes, checksum: baee330c9a548cb8801e98420285b75b (MD5) / Neste estudo, desenvolvemos um modelo para predizer a condutividade térmica de rochas íntegras a partir de medidas em misturas binárias de grãos dessas rochas. Primeiramente, medimos a densidade e a condutividade térmica das amostras das rochas íntegras. As amostras foram, em seguida, moídas e medimos a condutividade térmica efetiva de misturas preparadas com grãos dessas rochas em diferentes porosidades usando ar como saturante. Usando o modelo flexível de condução térmica desenvolvido neste estudo, denominado Geoterm, e a regra da mistura generalizada devida a Korvin, calculamos os valores médios dos fatores numéricos das equações desses dois modelos e, com essas equações, predissemos a condutividade térmica da rocha íntegra pelo ajuste das equações desses modelos com os dados experimentais. Ainda com essas equações e com os dados das rochas íntegras e das misturas, predissemos a condutividade térmica efetiva das amostras para as várias porosidades das misturas. Os resultados preditos para a amostra íntegra, quando comparados aos valores medidos, apresentaram discrepâncias pequenas e grandes, consequência de a faixa de variação da condutividade térmica das rochas ser bem larga resultando em faixas também largas para os fatores numéricos das duas equações. Os valores preditos pelos modelos Geoterm e Korvin para condutividade térmica efetiva mostraram, igualmente à expressão empírica de Woodside e Messener (1961), menores discrepâncias quando comparadas àquelas de outros modelos verificados neste estudo. / Abstract In this study, we developed a model to predict the thermal conductivity of full rocks from measurements on biphasic mixtures of grains of these rocks. Firstly, we measured the density and thermal conductivity of the full rock samples. The full samples were then grounded and we measured the effective thermal conductivity of mixtures prepared with grains of these rocks in different porosities using air as saturating. Using the flexible model of thermal conduction developed in this study, which we call Geoterm, and the rule of generalized mixture due to Korvin, we calculated the average values of the numerical factors of the equations of these two models and, with these equations, we predicted the thermal conductivity of the integrity rock by adjusting the equations of these models with experimental data. Even with these equations and the data of the integrity rocks and mixtures, we predicted the effective thermal conductivity of the samples for the various porosities of the mixtures. The predicted results for the full rock, as compared to the measured values, showed small and large discrepancies due to the large variation range of the thermal conductivity of the full rocks, resulting in ranges also wide for the numerical factors of the two equations. The values predicted by the Geoterm and Korvin models for effective thermal conductivity showed, the same way as Woodside and Messener (1961) empirical expression, lower discrepancies when compared to those of other models observed in this study. Keywords: rock thermal conductivity, effective thermal conductivity, binary mixture model.

Estudos sobre a relação da poluição atmosférica e saúde apontam que há relação entre as queimadas de cana-de-açúcar e internações hospitalares, gerando custos para a sociedade. Este trabalho apresenta uma aplicação do Método de Avaliação Contingente para valorar os custos do bem-estar causados pela queimada de cana-de-açúcar. O fogo utilizado em um largo processo gera vários problemas para os moradores, passando por problemas de saúde pelo inconveniente causado pela fuligem que cai sobre as cidades no período de abril a novembro. A aplicação é feita na cidade de Ribeirão Preto, um dos maiores produtores de cana-de-açúcar e álcool no Brasil. Por meio dos métodos logit censurado, Heckman em dois estágios adaptado e Máxima Verossimilhança, calculou-se a disposição a pagar média e os resultados obtidos indicam que o custo estimado é em torno de R$ 180 milhões, para o período de 2009 a 2017. Tal valor está provavelmente subestimado já que o custo do bem-estar envolvendo as queimadas de cana-de-açúcar também passa pelos gastos com as internações hospitalares por doenças respiratórias. Dessa forma, propôs-se a verificação da relação entre as internações e a presença de cana-de-açúcar nos municípios do Estado de São Paulo. De acordo com dados do DATASUS, a região Sudeste gasta em torno de R$ 20 milhões por ano com esse tipo de internação, porém esse custo também está subestimado já que não leva em consideração os custos com inalação, atendimento ambulatorial e outros tratamentos posteriores à internação. / Studies on the relation of air pollution and health said that there is a relationship between sugar cane burning and hospital attendance, generating costs to society. This work presents an application of Contingent Valuation Method to evaluate the welfare costs of sugar cane fire. The use of fire in the process of sugar cane leads to many problems to near fire residents such as health problems caused by the soot over the cities from April to November. The application was made for the city of Ribeirão Preto, the major city in production of sugar cane and alcohol in Brazil. Using Censored Logit, Two Stage Heckman adapted and Maximum Likelihood methods an average willing to pay was estimated and the results indicate that the estimated cost is about R$ 180 millions from 2009 to 2017. This estimated value probably is underestimated since welfare costs of sugar cane burning for health also involve spending in hospitals admissions and respiratory diseases. Therefore, it is verified the relation of hospital admissions and the presence of sugar cane in São Paulo State cities. Using DATASUS database the Southeast region of Brazil spends R$ 20 millions a year with this type of hospital admissions, however this cost is also underestimated because it doesn\'t account for inhalation costs, ambulatory services and posterior treatment due admission.

Made available in DSpace on 2014-06-12T15:57:30Z (GMT). No. of bitstreams: 2 arquivo3201_1.pdf: 2233544 bytes, checksum: c8ff02b6ea4b9f8a3771c65bd9346970 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Faculdade de Amparo à Ciência e Tecnologia do Estado de Pernambuco / A codificação de vizinhança foi inicialmente proposta em [TTD99]. Essa codificação gera um conjunto de códigos de vizinhança para representar uma imagem binária. Uma das principais limitações da proposta inicial é que a codificação não era capaz de reconstruir a imagem representada por ela. Esta dissertação oferece uma nova abordagem para a codificação de vizinhança, que permite representar imagens binárias sem perdas, possibilitando a reconstrução da imagem codificada. Outro problema da codificação de vizinhança é o excessivo e redundante número de elementos no conjunto de códigos gerados para cada imagem. Para resolver este problema, são propostos, no presente trabalho, três algoritmos para a redução do conjunto desses códigos. Um destes algoritmos de redução do conjunto de códigos segue uma abordagem evolucionária. Outra contribuição realizada aqui diz respeito à representação de vizinhanças em um código de vizinhança. Esta representação é construída através de funções braços. Novas funções braços podem ser definidas facilmente para representar diferentes vizinhanças. Esta maneira de abordar vizinhanças possibilita o reuso dos algoritmos propostos sem necessidade de adaptação. Ainda são propostas duas aplicações utilizando codificação de vizinhança: compressão de imagens binárias e reconhecimento de forma. O método de compressão proposto baseiase na redução do número de códigos necessários para reconstruir a imagem sem perdas. O reconhecimento de forma é avaliado para o problema de recuperação de imagens semelhantes

Made available in DSpace on 2014-06-12T17:17:33Z (GMT). No. of bitstreams: 2 arquivo6108_1.pdf: 3140701 bytes, checksum: a71aa22a84db496496bbfe603e065049 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A valoração de ativos ambientais é uma tarefa que envolve certa complexidade devido à sua característica de bem público e externalidade. Diversos métodos têm sido utilizados, entre os quais o de valoração contingente. Este baseia-se na teoria microeconômica da variação compensatória e variação equivalente e é implementado através de entrevistas diretas. Nessas entrevistas o consumidor é questionado a respeito de sua disposição a pagar (DAP) diante de alterações na disponibilidade ou na qualidade dos ativos ambientais. Em geral, o formato da questão usado para medir a variação de bem estar pode ser de dois tipos: questões abertas ou referendo de escolha dicotômica. Vários modelos econométricos foram sugeridos na literatura para estimar a disposição a pagar, e entre eles os modelos logit e probit são os mais tradicionais. Entretanto, os modelos paramétricos tradicionais podem falhar na representação da distribuição empírica dos dados, levando a vieses por erros de especificação e, conseqüentemente, resultados inconsistentes com a teoria econômica, como por exemplo, uma disposição a pagar negativa. Buscando resolver essas deficiências, têm sido utilizados modelos truncados - o que implica em uma perda de informação, bem como as formas paramétricas permanecem rígidas, ou seja, as soluções vislumbradas têm gerado outra série de problemas na obtenção do valor do ativo ambiental. Assim sendo, esse trabalho propõe a utilização de um novo modelo paramétrico, o modelo de regressão beta (Ferrari e Cribari-Neto, 2004), para valorar ativos ambientais através do método de valoração contingente. O modelo utiliza a flexibilidade da distribuição beta em ajustar diversas formas de assimetria e satisfaz os critérios mínimos para estimação da DAP. Comparações adicionais com os modelos tradicionais são feitas para duas bases de dados, uma delas envolvendo a valoração de uma área de mangue em Recife PE, e a outra que busca valorar uma área de floresta no norte da Suécia (Li e Mattsson, 1995). Os resultados mostram que o modelo de regressão beta representa um aperfeiçoamento do processo de estimação da disposição a pagar comparativamente aos modelos tradicionais

O objetivo desta dissertação é estudar uma família de ligações assimétricas para modelos de regressão binária sob a abordagem bayesiana. Especificamente, apresenta-se a estimação dos parâmetros da família de modelos de regressão binária com funções de ligação potência e reversa de potência considerando o método de estimação Monte Carlo Hamiltoniano, na extensão No-U-Turn Sampler, e o método Metropolis-Hastings dentro de Gibbs. Além disso, estudam-se diferentes medidas de comparação de modelos, incluindo critérios de informação e de avaliação preditiva. Um estudo de simulação foi desenvolvido para estudar a acurácia e eficiência nos parâmetros estimados. Através da análise de dados educacionais, mostra-se que os modelos usando as ligações propostas apresentam melhor ajuste do que os modelos usando ligações tradicionais. / The aim of this dissertation is to study a family of asymmetric link functions for binary regression models under Bayesian approach. Specifically, we present the estimation of parameters of power and reversal power binary regression models considering Hamiltonian Monte Carlo method, on No-U-Turn Sampler extension, and Metropolis-Hastings within Gibbs sampling method. Furthermore, we study a wide variety of model comparison measures, including information criteria and measures of predictive evaluation. A simulation study was conducted in order to research accuracy and efficiency on estimated parameters. Through analysis of educational data we show that models using the proposed link functions perform better fit than models using standard links.

Orientador: Edson Borin / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-25T09:40:30Z (GMT). No. of bitstreams: 1 Gomes_GabrielFerreiraTeles_M.pdf: 1568441 bytes, checksum: b0b5fb8e25907bd153706a27a9b597ea (MD5) Previous issue date: 2014 / Resumo: Tradução dinâmica de binários é uma técnica de emulação comumente utilizada na implementação de máquinas virtuais. Neste contexto, a emulação de saltos indiretos é uma das principais fontes de perda de eficiência, o que atrapalha a aplicabilidade de tradutores dinâmicos de binários. Essa dissertação descreve diversas técnicas que tentam melhorar o desempenho e a eficiência da emulação de saltos indiretos em máquinas virtuais eficientes. O DynamoRIO é uma máquina virtual que se enquadra nessa categoria e que utiliza características de diversas dessas técnicas. Nessa dissertação, nós apresentamos a implementação atual do DynamoRIO, modificamos seu código para incluir duas novas técnicas de emulação de saltos indiretos (Inline Caching e IBTC) e as comparamos com outras técnicas descritas na literatura / Abstract: Dynamic binary translation is an emulation technique commonly employed in the implementation of virtual machines. One of the main sources of overhead that hinder the applicability of dynamic binary translators is that caused by the emulation of indirect branch instructions. This master thesis describes several techniques that try to improve the performance and efficiency of indirect branch emulation in efficient virtual machines. DynamoRIO is one of such machines and it implements features used by several of those techniques. In this master thesis, we present current implementations of DynamoRIO, modify its code to include two new techniques (Inline Caching and IBTC) and compare it with other techniques described in the literature / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

Made available in DSpace on 2014-06-12T18:31:13Z (GMT). No. of bitstreams: 2 arquivo8545_1.pdf: 1387918 bytes, checksum: f45c75e1c26e36767432de4b52d087a9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Circuitos e cocircuitos não-separadores são muito importantes para a compreensão das matróides gráficas. Por exemplo, Tutte [27] caracterizou os grafos 3-conexos planares usando o conceito de circuitos não-separadores. Bixby e Cunningham [2] generalizaram esse resultado para a classe das matróides binárias. Kelmans [11] e independentemente Seymour (veja [16]) provaram que cada matróide binária, conexa, simples e co-simples tem pelo menos um cocircuito não-separador. McNulty e Wu [15] provaram que essas matróides têm no mínimo quatro cocircuitos não-separadores, sendo este resultado o melhor possível. Lemos [14] calculou, para matróides binárias 3-conexas, a dimensão do subespaço do espaço dos cociclos gerado pelos cocircuitos não-separadores que evitam um elemento da matróide. Nesta tese, á fornecido um limite inferior para a dimensão de um tal subespaço gerado pelos cocircuitos não-separadores que evitam um conjunto com no mínimo dois elementos da matróide. Inicialmente, será feita uma abordagem geral da teoria das matróides utilizada para provar os principais resultados encontrados nesta tese, apresentados em seguida. No segundo capítulo, o problema de encontrar cocircuitos não-separadores de uma matróide binária, conexa, simples e co-simples será reduzido ao problema de encontrar cocircuitos não-separadores evitando, no máximo, dois elementos em matróides binárias 3-conexas. No terceiro capítulo, serão caracterizadas as matróides binárias 3-conexas sem cocircuitos não-separadores que evitam um 2-subconjunto do conjunto de elementos da matróide. Este resultado é essencial para o cálculo da dimensão do subespaço do espaço dos cociclos gerado pelos cocircuitos não-separadores que evitam um 2-subconjunto do conjunto de elementos de uma matróide binária 3-conexa. Será feito ainda o cálculo da dimensão de um tal subespaço quando o subconjunto de elementos evitado por esses cocircuitos é um triângulo da matróide. Além disso, será determinada a dimensão do mesmo subespaço para cocircuitos não-separadores que evitam uma coleção qualquer dos elementos de uma matróide binária 3-conexa, desde que a restrição da matróide a esse conjunto não tenha colaço

Este trabalho tem como objetivo estudar o modelo de regressão binária nas abordagens clássica e bayesiana utilizando as funções de ligações probito, logito, complemento log-log, transformação box-cox e probito-assimétrico. Na abordagem clássica apresentamos as suposições e o procedimento para ajustar o modelo de regressão e verificamos a precisão dos parâmetros estimados, construindo intervalos de confiança e testes de hipóteses. Enquanto que, na inferência bayesiana fizemos um estudo comparativo utilizando duas metodologias. Na primeira metodologia consideramos densidades a priori não informativas e utilizamos o algoritmo Metropolis-Hastings para ajustar o modelo. Na segunda metodologia utilizamos variáveis auxiliares para obter a distribuição a posteriori conhecida, facilitando a implementação do algoritmo do Amostrador de Gibbs. No entanto, a introdução destas variáveis auxiliares podem gerar valores correlacionados, o que leva à necessidade de se utilizar o agrupamento das quantidades desconhecidas em blocos para reduzir a autocorrelação. Através do estudo de simulação mostramos que na inferência clássica podemos usar os critérios AIC e BIC para escolher o melhor modelo e avaliamos se o percentual de cobertura do intervalo de confiança assintótica está de acordo com o esperado na teoria assintótica. Na inferência bayesiana constatamos que o uso de variáveis auxiliares resulta em um algoritmo mais eficiente segundo os critérios: erro quadrático médio (EQM), erro percentual absoluto médio (MAPE) e erro percentual absoluto médio simétrico (SMAPE). Como ilustração apresentamos duas aplicações com dados reais. Na primeira, consideramos um conjunto de dados da variação do Ibovespa e a variação do valor diário do fechamento da cotação do dólar no período de 2013 a 2016. Na segunda aplicação, trabalhamos com um conjunto de dados educacionais (INEP-2013), focando nos estudos das variáveis que influenciam a aprovação do aluno. / The objective of this work is to study the binary regression model under the frequentist and Bayesian approaches using the probit, logit, log-log complement, Box-Cox transformation and skewprobit as link functions. In the classical approach we presented assumpti- ons and procedures used in the regression modeling. We verified the accuracy of the estimated parameters by building confidence intervals and conducting hypothesis tests. In the Bayesian approach we made a comparative study using two methodologies. For the first methodology, we considered non-informative prior distributions and the Metropolis-Hastings algorithm to estimate the model. In the second methodology we used auxiliary variables to obtain the known a posteriori distribution, allowing the use of the Gibbs Sampler algorithm. However, the introduction of these auxiliary variables can generate correlated values and needs the use of clustering of unknown quantities in blocks to reduce the autocorrelation. In the simulation study we used the AIC and BIC information criteria to select the most appropriate model and we evaluated whether the coverage probabilities of the confidence interval is in agre- ement with that expected by the asymptotic theory. In Bayesian approach we found that the inclusion of auxiliary variables in the model results in a more efficient algoritm according to the MSE, MAPE and SMAPE criteria. In this work we also present applications to two real datasets. The first dataset used is the variation of the Ibovespa and variation of the daily value of the American dollar at the time of closing the 2013 to 2016. The second dataset, used is an educational data set (INEP-2013), where we are interested in studying the factors that influence the approval of the student.

O processo de análise química denominado de titulação por procura binária foi desenvolvido e aplicado em sistema de injeção em fluxo. Este procedimento de análise, baseado no método das variações contínuas, procura o menor intervalo em fração volumétrica do titulante, ou da solução da amostra, que contenha o ponto final de uma titulação. Ao ser introduzida alíquota da solução da amostra no percurso analítico, o sinal gerado pelo detector deve ser significativamente diferente daquele gerado com a inserção de uma alíquota da solução do titulante. Neste processo descontínuo, a procura do ponto final segue a lógica binária, reduzindo os incrementos de fração volumétrica, da solução de amostra ou do titulante, em 50%, a cada nova tentativa de procura. Os sinais gerados por um detector espectrofotométrico, acoplado ao sistema de fluxo, eram convertidos em sinais digitais e comparados com os sinais fornecidos pelo detector nas duas tentativas iniciais da procura. Um programa foi desenvolvido para gerenciar este procedimento de titulação, determinando o volume das alíquotas das soluções, para cada tentativa, bem como estabelecendo a rota de procura. O procedimento foi aplicado à uma série de titulações envolvendo reações de neutralização e complexação. Uma titulação, aplicando este procedimento, pode ser executada em 3 minutos, consumindo aproximadamente 2 cm3 das soluções reagentes. As limitações para a aplicação deste procedimento de análise são discutidas, bem como a inviabilidade de sua aplicação sem o emprego de recursos de automatização. / A flow injection analytical procedure named as binary search titrimetric process was studied. It was based on volumetric fraction variation methodology. Under its directive, the microcomputer can control the titrand and titrant solutions delevering into the analytical path, by varying both volumetric fractions, following an algorithm based on successive aproximation method. Analytical signals assessed from the analog output of the spectrophotometer for each tentatives were converted to digital making use of an interface card, attached in the microcomputer main board. After each solutions handling cycles, the data collected were processed in order to decide about the next tentative to be carried out, obeying the settled binary search algorithm. The feasibility was ascertained by titrating solutions employing neutralization and complexation reactions. The time interval to perform this titration process employing binary search concept was about 3 minutes, consuming ca 2 cm3 of reagents solutions. No significant difference at 5 % probability level was observed by comparing of the results obtained applying this procedure with those produced by manual procedures.

Orientador: Prof. Dr. Guiou Kobayashi. / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-graduação em Engenharia de Informação, 2010 / Nos dias de hoje, as redes de comunicação têm se mostrado cada vez mais vitais e importantes, pois provêm conexões locais, regionais e internacionais para voz, dados e vídeo. Num mundo globalizado, elas desempenham um papel importante na economia e nas relações humanas, de tal maneira que a sua indisponibilidade, ainda que por pouco tempo, pode causar uma série de transtornos e inconvenientes. As redes de comunicação são baseadas principalmente em enlaces de fibra ótica, que estão distribuídas geograficamente, enterradas ao longo de rodovias, ferrovias, junto a gasodutos e oleodutos, e por conseqüência, expostas aos mais variados tipos de sinistros que podem acarretar a sua indisponibilidade, como escavações, enchentes, terremotos, falhas humanas, falhas de equipamento, etc. Assim, este trabalho procura discutir e apresentar uma metodologia para modelar e avaliar a confiabilidade das redes óticas, de modo a construir um modelo de confiabilidade que possa ser usado por provedores de serviços para adequar suas operações aos acordos de níveis de serviço estabelecidos com seus clientes. / Nowadays, communication networks have proved increasingly vital and important as they come from local connections, regional and international voice, data and video. In a globalized world, they play an important role in the economy and human relationships, so that its unavailability, even for a short time, can cause a lot of trouble and inconvenience. Communication networks are mainly based on optical fiber links, which are distributed geographically, buried along highways, railways, along with gas and oil pipelines, and consequently exposed to all kinds of accidents which may lead to its unavailability, as excavations, floods, earthquakes, human error, equipment failures, etc. Thus, this paper discusses and presents a methodology to model and evaluate the reliability of optical networks in order to construct a model of reliability that can be used by service providers to tailor their operations to service level agreements established with their customers.