Tese de mestrado. Estatística Aplicada e Modelação. Faculdade de Engenharia. Universidade do Porto. 2005

DOURADO JÚNIOR, José Nobre. Probabilidade para o ensino médio. 2014. 55 f. Dissertação (Mestrado em Matemática em Rede Nacional) - Centro de Ciências, Universidade Federal do Ceará, Juazeiro do Norte, 2014. / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-01-12T16:48:36Z No. of bitstreams: 1 2014_dis_jndjunior.pdf: 311696 bytes, checksum: 9111bc7d225b74ab3042ec8c4b7aaf18 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-01-15T13:00:31Z (GMT) No. of bitstreams: 1 2014_dis_jndjunior.pdf: 311696 bytes, checksum: 9111bc7d225b74ab3042ec8c4b7aaf18 (MD5) / Made available in DSpace on 2015-01-15T13:00:31Z (GMT). No. of bitstreams: 1 2014_dis_jndjunior.pdf: 311696 bytes, checksum: 9111bc7d225b74ab3042ec8c4b7aaf18 (MD5) Previous issue date: 2014 / This work has as objective introduce the basic concepts of the Theory of Probabilities and present notions on some probabilistic models for the student of the High School. We will begin the work presented in chapter I the notions of experiment deterministic, random experiment, sample space and events, followed by some definitions of Probability concepts that constitute the basis for this theory. In chapter II we will discuss the concepts of Conditional Probability and Independence of Events showcasing some important theorems that derive from these concepts, as well as some of its applications. In chapter III we will present in a simple way some probabilistic models discrete quite useful for shape effectively a good number of random experiments thus contributing to the calculation of the probabilities of its results. Finally, in chapter IV will be presented the probability model known as Poisson distribution, which allows us to calculate the probability that an event will occur in a given time interval or in a given spatial region. / Este trabalho tem como objetivo introduzir os conceitos básicos da Teoria das Probabilidades e apresentar noções sobre alguns modelos probabilísticos para o estudante do Ensino Médio. Iniciaremos o trabalho apresentando no capítulo 1 as noções de experimento determinístico, experimento aleatório, espaço amostral e eventos, seguidos de algumas definições de Probabilidade, conceitos que constituem a base para essa teoria. No capítulo 2 abordaremos os conceitos de Probabilidade Condicional e Independência de Eventos, apresentando alguns teoremas importantes que decorrem desses conceitos, bem como algumas de suas aplicaçoes. No capítulo 3 apresentaremos de maneira simples alguns modelos probabilísticos discretos bastante úteis por modelarem de forma eficaz um bom número de experimentos aleatórios contribuindo assim para o cálculo das probabilidades de seus resultados. Por fim, no capítulo 4 será apresentado o modelo probabilístico conhecido como Distribuição de Poisson, que nos permite calcular a probabilidade de um evento ocorrer em um dado intervalo de tempo ou numa dada região espacial.

Made available in DSpace on 2014-06-12T17:42:16Z (GMT). No. of bitstreams: 2 arquivo7421_1.pdf: 3508191 bytes, checksum: 9f05f086df835c11d71a319cc29dc8c9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Trata-se do uso e do comércio de automóveis considerando-se neste escopo todos os seus agentes, e mais especificamente, o consumidor, as concessionárias e as montadoras. Dentro do paradigma da Engenharia de Sistemas são estudados detalhadamente alguns modelos probabilísticos e estatísticos do mercado automotivo. Inicia-se com um apanhado histórico da evolução do setor automotivo. Continua com uma descrição da metodologia de medida das variáveis, dos parâmetros e dos indicadores deste setor, explicitando alguns mecanismos que interferem nos resultados desses procedimentos de medidas. Estuda-se então, utilizando dados reais, obtidos através de uma pesquisa envolvendo mais de mil e quatrocentos sujeitos, o perfil do consumidor de automóveis do grande Recife. Além de apresentar as preferências deste consumidor e suas interações com os fatores condicionantes. Finalmente, propõe-se uma abordagem quanto ao diagnóstico, acompanhamento e gerenciamento do sistema à luz da Engenharia de Sistemas, bem como uma análise das tendências e perspectivas do mercado automotivo. Os resultados mostram que os fatores sócio-econômicos, ocupacionais e geográficos não têm influência em muitas atitudes do consumidor como fidelidade à marca e a escolha desta. Verificou-se, também, que existe uma dinâmica de troca de marcas, intimamente relacionada com o posicionamento destas no mercado, que vai provocar uma redistribuição das fatias de mercado. Diagnosticou-se, por fim, uma crise no mercado das concessionárias e, neste contexto, propôs-se algumas alternativas para este mercado

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores (área de especialização de Sistemas de Energia), na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Professor Doutor Vladimiro Henrique Barrosa Pinto Miranda

Tese de mestrado. Estatística Aplicada e Modelação. Faculdade de Engenharia. Universidade do Porto. 2005

Made available in DSpace on 2017-07-10T19:25:05Z (GMT). No. of bitstreams: 1 Calil Abumanssur.pdf: 713592 bytes, checksum: 8bf0b3044a8980a927948637dc210303 (MD5) Previous issue date: 2006-07-25 / A set of measurements of daily average temperatures of 22 agrometeorológicas stations of the Agronomic Institute of the Paraná-IAPAR in operation, were compiled originating monthly storms series matrices of temperature that permitted to calculate to evapotranspiration by the Method of Camargo from which were obtained values of the evapotranspiration month to month for each one of the distinct stations. It applied the models of the gama distribution functions, log-normal and generalized of extreme value was utilizing the results of the monthly evapotranspiration for calculate the probable value with 75% of occurrence probability. For verification of adjustment of the curves of variation of the functions distribution of the models log-normal end gamma the method of Kolmogorov-Smirnov was used, for the generalized model of extreme values the verification of the adjustment was used of the method of Wang. As they turned out was observed the monthly variation of the values of evapotranspiration to the long one of the months in the State, where the tendency of regions more to the north will have the biggest values estimated of sheet of evapotranspiration and in the stations situated in areas of bigger relative altitudes will present sheets values minors. As regards the models range, log-normal and generalized extreme value, utilized for estimate of the evapotranspiration potential, if adjusted satisfactorily. With the values of each month, considering the probability of 75% of occurrence, in each one of the stations, was mounted the map of the isolines that represent the variability of the evapotranspiration potential, according to model gama, on the cartographic base of the State of the Paraná/Brazil. / Um conjunto de medições de temperaturas médias diárias de 22 estações agrometeorológicas do Instituto Agronômico do Paraná - IAPAR em operação, foram compiladas originando matrizes de séries temporais mensais de temperatura que permitiram calcular a evapotranspiração pelo Método de Camargo, a partir do qual foram obtidos valores da evapotranspiração mês a mês para cada uma das estações distintas. Aplicando-se os modelos das funções de distribuição gama, log-normal e generalizada de valores extremos, foram utilizados os resultados da evapotranspiração mensal para calcular o valor provável, com 75% de probabilidade de ocorrência. Para verificação de ajuste das curvas de variação das funções distribuição dos modelos gama e log-normal foi utilizado o método de Kolmogorov-Smirnov, para o modelo generalizado de valores extremos a verificação do ajuste utilizou-se do método de Wang. Como resultado, foi observada a variação mensal dos valores de evapotranspiração no Estado, ao longo dos meses. Verificou-se a tendência de regiões mais ao norte apresentarem os maiores valores estimados de lâmina de evapotranspiração e nas estações situadas em áreas de maiores altitudes relativas apresentarem menores valores de lâminas. Quanto aos modelos gama, log-normal e generalizada de valores extremos, utilizados para estimativa da evapotranspiração potencial, ajustaram se satisfatoriamente. Com os valores de cada mês, considerando a probabilidade de 75% de ocorrência, em cada uma das estações, foi montado o mapa das isolinhas que representa a variabilidade da evapotranspiração potencial, segundo o modelo gama, sobre a base cartográfica do estado do Paraná.

Made available in DSpace on 2017-05-12T14:48:27Z (GMT). No. of bitstreams: 1 Calil Abumanssur.pdf: 713592 bytes, checksum: 8bf0b3044a8980a927948637dc210303 (MD5) Previous issue date: 2006-07-25 / A set of measurements of daily average temperatures of 22 agrometeorológicas stations of the Agronomic Institute of the Paraná-IAPAR in operation, were compiled originating monthly storms series matrices of temperature that permitted to calculate to evapotranspiration by the Method of Camargo from which were obtained values of the evapotranspiration month to month for each one of the distinct stations. It applied the models of the gama distribution functions, log-normal and generalized of extreme value was utilizing the results of the monthly evapotranspiration for calculate the probable value with 75% of occurrence probability. For verification of adjustment of the curves of variation of the functions distribution of the models log-normal end gamma the method of Kolmogorov-Smirnov was used, for the generalized model of extreme values the verification of the adjustment was used of the method of Wang. As they turned out was observed the monthly variation of the values of evapotranspiration to the long one of the months in the State, where the tendency of regions more to the north will have the biggest values estimated of sheet of evapotranspiration and in the stations situated in areas of bigger relative altitudes will present sheets values minors. As regards the models range, log-normal and generalized extreme value, utilized for estimate of the evapotranspiration potential, if adjusted satisfactorily. With the values of each month, considering the probability of 75% of occurrence, in each one of the stations, was mounted the map of the isolines that represent the variability of the evapotranspiration potential, according to model gama, on the cartographic base of the State of the Paraná/Brazil. / Um conjunto de medições de temperaturas médias diárias de 22 estações agrometeorológicas do Instituto Agronômico do Paraná - IAPAR em operação, foram compiladas originando matrizes de séries temporais mensais de temperatura que permitiram calcular a evapotranspiração pelo Método de Camargo, a partir do qual foram obtidos valores da evapotranspiração mês a mês para cada uma das estações distintas. Aplicando-se os modelos das funções de distribuição gama, log-normal e generalizada de valores extremos, foram utilizados os resultados da evapotranspiração mensal para calcular o valor provável, com 75% de probabilidade de ocorrência. Para verificação de ajuste das curvas de variação das funções distribuição dos modelos gama e log-normal foi utilizado o método de Kolmogorov-Smirnov, para o modelo generalizado de valores extremos a verificação do ajuste utilizou-se do método de Wang. Como resultado, foi observada a variação mensal dos valores de evapotranspiração no Estado, ao longo dos meses. Verificou-se a tendência de regiões mais ao norte apresentarem os maiores valores estimados de lâmina de evapotranspiração e nas estações situadas em áreas de maiores altitudes relativas apresentarem menores valores de lâminas. Quanto aos modelos gama, log-normal e generalizada de valores extremos, utilizados para estimativa da evapotranspiração potencial, ajustaram se satisfatoriamente. Com os valores de cada mês, considerando a probabilidade de 75% de ocorrência, em cada uma das estações, foi montado o mapa das isolinhas que representa a variabilidade da evapotranspiração potencial, segundo o modelo gama, sobre a base cartográfica do estado do Paraná.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-08-01T21:35:07Z No. of bitstreams: 1 DaniloGoncalvesCavalcante_DISSERT.pdf: 4765469 bytes, checksum: df72ae5db05a9abc7fd0cd1468d9283c (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-08-03T19:59:59Z (GMT) No. of bitstreams: 1 DaniloGoncalvesCavalcante_DISSERT.pdf: 4765469 bytes, checksum: df72ae5db05a9abc7fd0cd1468d9283c (MD5) / Made available in DSpace on 2018-08-03T19:59:59Z (GMT). No. of bitstreams: 1 DaniloGoncalvesCavalcante_DISSERT.pdf: 4765469 bytes, checksum: df72ae5db05a9abc7fd0cd1468d9283c (MD5) Previous issue date: 2015-10-06 / A capacidade de competir em mercados globalizados é um qualificador presente nas organizações atuais. A gestão dos gastos produtivos (custos e investimentos) exerce influência direta nas decisões empresariais de curto e longo prazo. Nesse sentido, a busca pela otimização dos recursos, mediante redução do capital imobilizado, é um fator competitivo buscado por diversas empresas. A gestão de estoques envolve conflitos de interesses que podem conduzir o gestor a decisões incompatíveis: os estoques podem absorver grandes somas de recursos ou representar enormes perdas de produção (lucro cessante). Dentre os diversos tipos de estoques, a imobilização de itens sobressalentes aplicados à manutenção destaca-se por apresentar algumas características importantes: a demanda é irregular (lumpy), o investimento para aquisição das partes sobressalentes é elevado e o tempo de entrega é longo. Este trabalho objetiva aplicar um método para gestão de estoque sobressalente baseado em confiabilidade industrial com uso de covariáveis. O modelo aplica técnicas relacionadas a modelagem probabilística e processo de renovação, com objetivo de quantificar os itens sobressalentes. A análise faz uso de programas computacionais para manipulação dos parâmetros de confiabilidade (software Weibull® e BlockSim® - ReliaSoft) e do software R, necessário à definição das covariáveis. O dimensionamento dos sobressalentes é consolidado mediante programa desenvolvido em linguagem C++, que visa analisar as sobreposições das falhas ao longo do tempo. O estudo é aplicado ao dimensionamento de bombas centrífugas submersas (BCS) utilizadas na produção de petróleo em unidades marítimas. A ferramenta busca estruturar o processo de alocação de sobressalentes a serem imobilizados no setor petrolífero, auxiliando a tomada de decisão. / The ability to compete in global markets is a present qualifying in the current organizations. The management of productive spending (costs and investments) has a direct influence on the business decisions of term short and long. In this sense, the search for optimization of the resources, through reductions in the fixed capital, is a competitive factor sought by various companies. The inventory management involves conflicts of interests that can lead the manager to inconsistent decisions: stocks can absorb large amounts of resources or represent massive production losses (profit loss). Among the various types of stocks, immobilization of spare items applied to maintenance stands out for have some important features: the demand is irregular (lumpy), the investment for the acquisition of spare parts is high and the delivery time is long. This work aims to apply a method for spare inventory management based on industrial reliability with use of covariates. The model applies techniques related to probabilistic modeling and renewal process, in order to quantify the spare items. The analysis makes use of computer programs to manipulate of the reliability parameters (Weibull® and BlockSim® software - ReliaSoft) and R® software, necessary to define the covariates. The dimensioning of the spares is consolidated through the program developed in c ++ language, which aims to analyze the failures overlapping over time. The study is applied to the sizing of centrifugal pumps (BCS) used in the production of oil in offshore units. The tool search to structure the process of allocation of spare parts to be fixed in the oil sector, aiding decision making.

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-04-10T14:18:22Z No. of bitstreams: 2 Nilma_Andrade_Tese_UFPE_Orientador_Prof_Ezio.pdf: 7196685 bytes, checksum: 80134428156debbb0730554fb05ac9ae (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-04-10T14:18:22Z (GMT). No. of bitstreams: 2 Nilma_Andrade_Tese_UFPE_Orientador_Prof_Ezio.pdf: 7196685 bytes, checksum: 80134428156debbb0730554fb05ac9ae (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-11-29 / CAPES / Esta tese desenvolve e codifica uma metodologia que permite avaliar e selecionar concepções alternativas para estruturas de concreto armado, considerando as variáveis estruturais como estocásticas, os efeitos da propagação das incertezas e a otimização estocástica dos custos das alternativas de projeto, como uma ferramenta para mitigar riscos e realçar as oportunidades de ganho. Tradicionalmente, a prática da engenharia sempre objetiva encontrar ―a solução ótima‖ sob hipóteses determinísticas, tanto na fase de estudos conceituais, fase esta sob a qual o trabalho pretende concentrar-se, quanto nas soluções específicas para os elementos estruturais no projeto final. Esta tese é parte de um projeto de pesquisa e desenvolvimento na área de flexibilidade em sistemas de engenharia, como os envolvidos na exploração e na produção de petróleo em alto mar, ou na implantação de centenas de quilômetros de linhas de transmissão, ou de infraestrutura rodoviária, ou mesmo na construção de grandes edifícios, ou conjuntos deles. Geralmente esses projetos necessitam de investimentos de grande capital, submetidos a diversas incertezas técnicas e mercadológicas, e implementados ao longo de um grande intervalo de tempo. As variáveis de projeto são descritas por funções de densidade de probabilidade apropriadas, e sua propagação é feita através da técnica de Monte Carlo. A otimização sob incerteza das variáveis de projeto é efetuada sobre medidas estocásticas das funções-objetivo, usando algoritmos de otimização que não requerem o cálculo de derivadas. Desta forma, uma gama enorme de funções-objetivo estocásticas (ou não) pode ser codificada, de acordo com as necessidades do projeto. Tais algoritmos de otimização, trabalhando conjuntamente com amostragens das distribuições, permitem uma generalidade suficiente para a avaliação e a otimização de alternativas de projeto sob diversos critérios. A generalidade acima descrita não pode ser conseguida senão com uma análise de centenas de milhares de análises e dimensionamentos estruturais. Esse desafio computacional é enfrentado com o desenvolvimento de modelos de seleção para o dimensionamento dos elementos estruturais. A esses modelos, de média fidelidade, são acoplados regras de decisão normativas, modelos de análise estrutural e modelos econômicos.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-08-23T12:48:01Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao_mestrado_rafael_araujo.pdf: 1319314 bytes, checksum: 15854b595d618c609a911b95573a01ad (MD5) / Made available in DSpace on 2017-08-23T12:48:01Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) dissertacao_mestrado_rafael_araujo.pdf: 1319314 bytes, checksum: 15854b595d618c609a911b95573a01ad (MD5) Previous issue date: 2016-09-15 / Robots are increasingly being used in industry and starting their way to our homes as well. Nonetheless, the most frequently used techniques to analyze robots motion are based on simulations or statistical experiments made from filming robots’ movements. In this work we propose an alternative way of performing such analysis by using Probabilistic Model Checking with the language and tool PRISM. With PRISM we can perform simulations as well as check exhaustively whether a robot motion planning satisfies specific Probabilistic Temporal formulas. Therefore we can measure energy consumption, time to complete missions, etc., and all of these in terms of specific motion planning algorithms. As consequence we can also determine if an algorithm is superior to another in certain metrics. Furthermore, to ease the use of our work, we hide the PRISM syntax by proposing a more user-friendly DSL. As a consequence, we created a translator from the DSL to PRISM by implementing the translation rules and also, a preliminary investigation about its relative completeness by using the grammatical elements generation tool LGen. We illustrate those ideas with motion planning algorithms for home cleaning robots. / Robôs estão sendo cada vez mais utilizados na indústria e entrando em nossas casas também. No entanto, as técnicas mais frequentemente utilizadas para analisar a movimentação dos robôs são baseadas em simulações ou experimentos estatísticos realizados a partir da filmagem do movimento dos robôs. Neste trabalho, nós propomos uma maneira alternativa de realizar tais análises com a utilização da técnica de Verificação de Modelos Probabilísticos com a linguagem e ferramenta PRISM. Com PRISM, podemos, tanto realizar simulações quanto verificar exaustivamente se um planejamento de movimentação do robô satisfaz fórmulas Probabilísticas Temporais específicas. Portanto, podemos medir o consumo de energia, tempo necessário para completar missões, etc. e tudo isso em termos de algoritmos específicos de planejamento de movimentação. Como consequência, podemos, também, determinar se um algoritmo é superior a outro em relação a certas métricas. Além disso, para facilitar o uso do nosso trabalho, escondemos a sintaxe do PRISM propondo uma DSL amigável ao usuário. Em consequência, criamos um tradutor da DSL em PRISM através da implementação de regras de tradução bem como fizemos uma investigação preliminar sobre sua completude relativa usando a ferramenta de geração de elementos gramaticais LGen. Ilustramos as idéias com algoritmos de planejamento de movimentação para robôs de limpeza de casas.