• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 218
  • 28
  • 6
  • 2
  • 1
  • Tagged with
  • 261
  • 104
  • 47
  • 44
  • 37
  • 35
  • 35
  • 35
  • 35
  • 33
  • 27
  • 23
  • 23
  • 22
  • 21
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
241

Modelos alternativos em filas M/G/1

Prado, Silvia Maria 26 November 2015 (has links)
Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-04-25T19:31:06Z No. of bitstreams: 1 TeseSMP.pdf: 1382232 bytes, checksum: 8758d122cc415ab540988c4f92e38cc8 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-05-02T13:03:01Z (GMT) No. of bitstreams: 1 TeseSMP.pdf: 1382232 bytes, checksum: 8758d122cc415ab540988c4f92e38cc8 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-05-02T13:03:17Z (GMT) No. of bitstreams: 1 TeseSMP.pdf: 1382232 bytes, checksum: 8758d122cc415ab540988c4f92e38cc8 (MD5) / Made available in DSpace on 2017-05-02T13:06:24Z (GMT). No. of bitstreams: 1 TeseSMP.pdf: 1382232 bytes, checksum: 8758d122cc415ab540988c4f92e38cc8 (MD5) Previous issue date: 2015-11-26 / Não recebi financiamento / The main aim of this work is to develop alternative queuing models to M/ G/l, in which arrivals follow a Poisson process, the total number of customers on the system and the total number of service channels are unknown. Our interest is just to observe the service channel that will offer the maximum or minimum service time. Wherefore, the service distributions are obtained from the composition of the Conwav-Maxwell-Poisson distribution truncated at zero, used to model the number of service channels, with the general distribution to the maximum and minimum service time. Thus, we obtain new distributions for service time, which are called Maximum-Conwav-Maxwell-Poisson-general, denoted by MAXCOMPG distribution, and Minimum-Conwav-Maxwell-Poisson-general, denoted by MINCOMPG distribution, consequently, we obtain the queue models M/MAXCOMPG/1 and M/MINCOMPG/ 1, respectively. As general distributions, we use the distributions exponential, Weibull and Birnbaum Saunders, To illustrate the proposed queue models, a simulation study is done and also real data are used. / Este trabalho tem como objetivo apresentar modelos de filas alternativos ao M/G/l, nos quais as chegadas seguem um processo de Poisson, o número total de usuários no sistema e o número total de canais de atendimento são desconhecidos. Neste caso, observamos apenas o canal de serviço que irá oferecer o máximo ou o mínimo tempo de serviço. Para isto, as distribuições de serviço são obtidas a partir da composição da distribuição Conwav-Maxwell-Poisson truncada no ponto zero, usada para modelar o número de canais de atendimento, com uma distribuição geral para o máximo e o mínimo tempos de serviço. Desta forma, surgem novas distribuições de serviço que são denominadas de Máximo-Conwav-Maxwell-Poisson-geral, denotada por distribuição MAXCOMPG, e Mínimo-Conwav-Maxwell-Poisson-geral, denotada por distribuição MINCOMPG, e, assim, obtemos os modelos de fila M MAXCOMPG 1 e M MINCOMPG 1. Como distribuições gerais usamos as distribuições exponencial, Weibull e Birnbaum Saunders, Para ilustrar os modelos de fila propostos um amplo estudo de simulação é feito e dados reais também são utilizados.
242

Matéria escura no Modelo Padrão Supersimétrico Mínimo

Siqueira, Clarissa Martins 27 February 2015 (has links)
Submitted by Vasti Diniz (vastijpa@hotmail.com) on 2017-09-13T13:01:16Z No. of bitstreams: 1 arquivototal.pdf: 7899614 bytes, checksum: f001983854e55609b8ccfb1ce80578f2 (MD5) / Made available in DSpace on 2017-09-13T13:01:16Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 7899614 bytes, checksum: f001983854e55609b8ccfb1ce80578f2 (MD5) Previous issue date: 2015-02-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / One of the main problems that permeates the Particle Physics and Cosmology is the Dark Matter (DM), which makes up about 26% of the energy content of the Universe. The main evidence pointing to its existence provides us with important features, such as being neutral, stable (with lifetime over the age of the Universe), cold or warm, weakly interacting with Particle Physics Standard Model (SM) particles and sufficiently abundant. The SM does not provide a candidate who meets these characteristics and hence it is necessary to extend it. One of the most sophisticated extensions of the SM is the Supersymmetry, that in addition to solving the problem of DM, explains other unsolved puzzles that are present in SM, among them, the hierarchy and the unification of the gauge couplings. This model implies the inclusion of a new symmetry that puts bosons and fermions in equal footing. The minimal supersymmetric version of the SM is the Minimal Supersymmetric Standard Model (MSSM), whose viable candidate is the neutralino, which is a fermion composed of superpartners of neutral Higgs and gauge bosons. In this work, we performed the neutralino analysis as DM candidate in CMSSM or mSUGRA scenario, which contains 5 free parameters, M0, M1/2, tan , sign(μ) and A0, for two different analyzes. In the first one we varied the M0 and M1/2 parameters for three different values of tan while in the second and third one we varied all parameters except the sign(μ). In this study, we use some computational tools, including, SARAH, SPheno, SSP and Micromegas, in order to obtain DM Relic Abundance and DM scattering cross section in this scenario. We compared our results with the most recent experimental data, namely, we have used Planck satellite data for the relic abundance, LUX and XENON1T (prospect) for the spin-independent scattering cross section and XENON100 for the spin dependent one. We finally analyzed the implications concerning the viability of the MSSM under the light of the DM problem. / Um dos principais problemas que permeia a Física de Partículas e Cosmologia é a Matéria Escura (ME), que compõe cerca de 26% do conteúdo energético do Universo. As principais evidências que apontam para a sua existência nos fornecem importantes características, tais como, ser neutra, estável (com tempo de vida maior que a idade do Universo), fria ou morna, pouco interagente com partículas do Modelo Padrão de Física de Partículas (MP)e suficientemente abundante. O MP não fornece um candidato que supre estas características, sendo necessário estendê-lo. Uma das mais sofisticadas extensões do MP é a Supersimetria, que além de resolver o problema da ME, soluciona outros que estão presentes no MP, dentre eles, a hierarquia e a unificação dos acoplamentos de gauge. Tal modelo implica na inclusão de uma nova simetria que coloca bósons e férmions em pé de igualdade. A versão mínima supersimétrica do MP é o Modelo Padrão Supersimétrico Mínimo (MSSM), cujo candidato viável à ME é o neutralino, que se trata de um férmion composto pelos superparceiros dos bósons de gauge e Higgs neutros. Neste trabalho, fizemos uma análise do neutralino como candidato à ME no cenário CMSSM ou mSUGRA, que contém 5 parâmetros livres, M0, M1/2, tan , sinal(μ) e A0, para três análises distintas. Na primeira variamos apenas os parâmetros M0 e M1/2 para três valores distintos da tan e na segunda e terceira variamos todos os parâmetros com exceção do sinal(μ). Neste estudo, utilizamos algumas ferramentas computacionais, entre as quais, SARAH, SPheno, SSP e micrOMEGAs, no intuito de obter abundância e seção de choque de espalhamento de ME neste cenário. Obtidos os gráficos, comparamos com os resultados experimentais mais recentes, para a abundância utilizamos dados do satélite Planck, para a seção de choque de espalhamento independente de spin, o LUX e XENON1T (2017) e para dependente de spin, XENON100 e verificamos suas implicações na viabilidade do modelo.
243

O direito penal mínimo e a execução das penas alternativas na ótica dos direitos humanos

Oliveira, Helma Janielle Souza de 24 August 2009 (has links)
Made available in DSpace on 2015-05-07T14:27:14Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 986948 bytes, checksum: 4449a4b5443576930c085b1c03c80845 (MD5) Previous issue date: 2009-08-24 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The scientific studies that take care of criminal measures have two punitive proposals for confronting violence: the Maximum criminal law theory and the theory of criminal law. The first expresses the intense criminalizing movement of social conducts and the punish stiffening, that results into an overcrowding of prisons and else confirms a interventionist State mode whose choice is the repressive treatment of the convicted instead of acting in a social ambit. Already the Minimum criminal law theory, together with the theory of Penal Garantism Theory, brings the proposal of reducing the punish character of State into the minimum required, and, thus, expect to cause the lowest suffering possible in the penalties application. That means just the exercising of the humans rights guarantee in favor of convicted, on the Brazilian penal execution, which enables its objective of replace that prisoner in social environment again. Considering the conditions of disrespect to human dignity, found in majority of Brazilian prisons establishments, the Minimum Penal Right tends to be applied through alternatives penalties to prison. Thus, the national penitentiary policy organization provides directions for the creation of institutions that takes care of alternatives penalties implementation like a solution to the inefficient prison system in Brazilian states, among them, the Supervision and Accompaniment of Penalties and Alternative Measures (CEFAPA), in Paraíba State. On the theme above, this work was developed through qualitative research, based on bibliographic and empirical studies, together with CEFAPA, to verify if the practice of alternative penal execution is less agressive of the human rights and achieves a garantist and appropriate answer to Minimum Penal Right. For both, visits were done in the Psychosocial Center of Paraíba State, situated on the judicial district of João Pessoa City, which allowed the realization of interviews with professionals and provides of alternative penalties. The results point difficulties of some providers related to the monitoring and understanding of the punish system because of the penalties easiness and their accidental causes. However, advantages were also verified, by displacing lawbreakers of minor or medium offensive potential from the ordinaries prisons environments; considering providers individualities; softening the prisoners stigmas and prejudices; enabling the reflection of the provider about his illicit conduct, reaching a social responsibility sense, without the incongruity of being out of his social group. Therewith, it is concluded that the alternatives penalties application is less aggressive of the humans rights, and therefore enables the lowest suffering to its recipients. / Os estudos científicos que cuidam das medidas penais apresentam a existência de duas propostas punitivas para o enfrentamento da violência: a teoria do Direito Penal Máximo e a teoria do Direito Penal Mínimo. A primeira expressa o intenso movimento criminalizador de comportamentos sociais e o enrijecimento das punições, que provocam a superpopulação carcerária e coadunam-se com o perfil de um Estado intervencionista na esfera repressora em detrimento da sua atuação no âmbito social. Já a teoria do Direito Penal Mínimo, juntamente com a teoria do Garantismo Penal, traz a proposta da redução do caráter punitivo do Estado ao mínimo necessário e, assim, almeja provocar o menor sofrimento possível na aplicação das penas. É a garantia dos direitos humanos dos apenados que vai repercutir nesse sofrimento mínimo e, no âmbito da execução penal brasileira, possibilitar seu objetivo ressocializador. Diante das condições de desrespeito à dignidade humana, encontradas na maioria dos estabelecimentos prisionais brasileiros, o Direito Penal Mínimo tende a ser aplicado através de penas alternativas à prisão. Assim, a organização da política penitenciária nacional oferece direcionamentos para a criação de órgãos que cuidem da implementação das penas alternativas à prisão nos Estados brasileiros, entre eles, a Central de Fiscalização e Acompanhamento das Penas e Medidas Alternativas (CEFAPA), existente na Paraíba. Diante do tema exposto, este trabalho desenvolveu-se através de pesquisa qualitativa, respaldada em estudos bibliográficos e empíricos, junto a CEFAPA, no sentido de verificar se a prática da execução penal alternativa é menos violadora dos direitos humanos e se alcança uma resposta penal garantista e adequada ao Direito Penal Mínimo. Para tanto, ocorreram visitas ao Núcleo Psicossocial desta Central, localizado na Comarca de João Pessoa, as quais oportunizaram a realização de entrevistas com profissionais e prestadores de penas alternativas. Os resultados apontaram dificuldades quanto ao monitoramento e quanto à compreensão do sistema de punição, por parte de alguns prestadores, diante do peso brando das penas e de causas acidentais. Entretanto, também foram verificadas vantagens em se afastar infratores de menor e médio potencial ofensivo dos ambientes prisionais; considerar as individualidades dos prestadores; amenizar os estigmas e preconceitos ligados às pessoas aprisionadas; dar meios do prestador refletir sobre sua conduta ilícita, alcançando um senso de responsabilidade social, sem a incongruência de estar fora do seu grupo social. Com isso, conclui-se que a aplicação dessas penas é menos violadora dos direitos humanos e, por isso, possibilita o menor sofrimento possível aos seus cumpridores.
244

A efetivação judicial do direito fundamental à saúde e o orçamento público / The judicial execution of the fundamental right to health and the public budget

José Luis Castro Rodriguez 29 August 2014 (has links)
O presente trabalho tem por objetivo estudar as principais questões relacionadas à efetivação pelo Poder Judiciário do direito social a saúde. Serão analisados na primeira parte do trabalho os direitos sociais fundamentais e o mínimo existencial, no qual se inclui o direito à saúde, abordando-se a importância dada pela Constituição Federal a tal direito e sua regulamentação infraconstitucional, com destaque para a organização do Estado e as fontes de recursos. Após se demonstrar a importância do direito à saúde como direito social fundamental, será estudada na segunda parte do trabalho a escassez de recursos para o atendimento de todas as necessidades da população, abordando-se o conceito de reserva do possível e a relevância das leis orçamentárias para o alcance as prioridades sociais. Por fim, será demonstrada a legitimidade e necessidade de ingerência do Poder Judiciário na concretização do direito à saúde, destacando-se as posições doutrinárias e decisões judiciais que buscam alcançar o equilíbrio entre o atendimento de tal direito fundamental, o reconhecimento da limitação de recursos e a valorização do orçamento público. / The present work aims to study the main issues related to the implementation by the judiciary of the social right to health. In the first part of the work, it will be analyzed the fundamental social rights and the existential minimum, which includes the right to health, addressing the importance given by the Federal Constitution to such law and its regulations infra, with emphasis on the Organization of the State and the sources of funds. After demonstrating the importance of the right to health as a fundamental social right, in the second part of the work it will be studied the scarcity of resources for the care of all the needs of the population, addressing the concept of reservation is possible and the relevance of budget laws to achieve social priorities. Finally, the legitimacy and necessity of interference of the judiciary in the realization of the right to health will be demonstrated, emphasizing doctrinal positions and judicial decisions that seek to achieve a balance between the availability of such a fundamental right, the recognition of the limitation of resources and the enhancement of the public budget.
245

Direito à saúde no âmbito do SUS: um direito ao mínimo existencial garantido pelo judiciário? / The right to health within the scope of the Brazilian Universal Healthcare Program-SUS: a right to the existential minimum guaranteed by judicial branch?

Ione Maria Domingues de Castro 12 March 2012 (has links)
Esta tese pretende ampliar o objeto de análise da judicialização da saúde, ao situar a questão dentro do Sistema Único de Saúde (SUS). A partir do estudo sobre a integralidade da atenção e a universalidade de acesso, que tomamos como regras do sistema, procuramos identificar o mínimo existencial do direito à saúde, tanto no SUS como no caso concreto. Defendemos a tese de que a identificação do mínimo existencial do caso concreto e do sistema de saúde pode ser realizada por várias pessoas: pelo legislador, pelo administrador, pelos membros do Conselho de Saúde e da Conferência de Saúde, pelo médico que assiste o paciente. Vimos também que a discricionariedade do administrador quanto à escolha das prestações mínimas a serem implementadas é reduzida no que diz respeito à saúde. Uma vez identificado o mínimo existencial da saúde, esse direito deve ser satisfeito, não se admitindo qualquer restrição, pois essa é uma exigência do ordenamento jurídico, que tem como valor fonte a pessoa humana. Defendemos também a posição de que, diante da omissão do Legislativo e do Executivo na implementação do direito ao mínimo existencial, caberá ao Poder Executivo atuar para que sejam cumpridas as políticas públicas e atingidos os objetivos do Estado Democrático de Direito. / The objective of this thesis is to expand the analysis of the judicialization (or judicial control) of health by placing the issue within the scope of the Brazilian Universal Healthcare Program (SUS). From the study on comprehensive care and universal access, which we accept as being the general rule in health system, we try to identify the existential minimum of the right to health both in the Brazilian Universal Healthcare Program SUS and in the concrete cases. We defend that the identification of the existential minimum in concrete cases and in the health system can be done by several people: the lawmaker, the administrator, the members of Health Councils and Health Conferences, and the physician attending the patient. We also saw that the administrators discretion towards choosing the minimum services to be implemented is reduced when referring to health. Once the existential minimum for health is identified, this right must be fulfilled, with no restrictions, since this is demanded by the legal system, whose basic value is the individual person. We also defend the position that, in view of the omission of the Legislative and Executive branches in implementing the existential minimum, it will be responsibility of the Judicial branch to act so that public policies are met and objectives of the Democratic State ruled by the law are complied with.
246

Estimação de modelos DSGE usando verossimilhança empírica e mínimo contraste generalizados / DSGE Estimation using Generalized Empirical Likelihood and Generalized Minimum Contrast

Gilberto Oliveira Boaretto 05 March 2018 (has links)
O objetivo deste trabalho é investigar o desempenho de estimadores baseados em momentos das famílias verossimilhança empírica generalizada (GEL) e mínimo contraste generalizado (GMC) na estimação de modelos de equilíbrio geral dinâmico e estocástico (DSGE), com enfoque na análise de robustez sob má-especificação, recorrente neste tipo de modelo. Como benchmark utilizamos método do momentos generalizado (GMM), máxima verossimilhança (ML) e inferência bayesiana (BI). Trabalhamos com um modelo de ciclos reais de negócios (RBC) que pode ser considerado o núcleo de modelos DSGE, apresenta dificuldades similares e facilita a análise dos resultados devido ao menor número de parâmetros. Verificamos por meio de experimentos de Monte Carlo se os estimadores estudados entregam resultados satisfatórios em termos de média, mediana, viés, erro quadrático médio, erro absoluto médio e verificamos a distribuição das estimativas geradas por cada estimador. Dentre os principais resultados estão: (i) o estimador verossimilhança empírica (EL) - assim como sua versão com condições de momento suavizadas (SEL) - e a inferência bayesiana (BI) foram, nesta ordem, os que obtiveram os melhores desempenhos, inclusive nos casos de especificação incorreta; (ii) os estimadores continous updating empirical likelihood (CUE), mínima distância de Hellinger (HD), exponential tilting (ET) e suas versões suavizadas apresentaram desempenho comparativo intermediário; (iii) o desempenho dos estimadores exponentially tilted empirical likelihood (ETEL), exponential tilting Hellinger distance (ETHD) e suas versões suavizadas foi bastante comprometido pela ocorrência de estimativas atípicas; (iv) as versões com e sem suavização das condições de momento dos estimadores das famílias GEL/GMC apresentaram desempenhos muito similares; (v) os estimadores GMM, principalmente no caso sobreidentificado, e ML apresentaram desempenhos consideravelmente abaixo de boa parte de seus concorrentes / The objective of this work is to investigate the performance of moment-based estimators of the generalized empirical likelihood (GEL) and generalized minimum contrast (GMC) families in the estimation of dynamic stochastic general equilibrium (DSGE) models, focusing on the robustness analysis under misspecification, recurrent in this model. As benchmark we used generalized method of moments (GMM), maximum likelihood (ML) and Bayesian inference (BI). We work with a real business cycle (RBC) model that can be considered the core of DSGE models, presents similar difficulties and facilitates the analysis of results due to lower number of parameters. We verified, via Monte Carlo experiments, whether the studied estimators presented satisfactory results in terms of mean, median, bias, mean square error, mean absolute error and we verified the distribution of the estimates generated by each estimator. Among the main results are: (i) empirical likelihood (EL) estimator - as well as its version with smoothed moment conditions (SEL) - and Bayesian inference (BI) were, in that order, the ones that obtained the best performances, even in misspecification cases; (ii) continuous updating empirical likelihood (CUE), minimum Hellinger distance (HD), exponential tilting (ET) estimators and their smoothed versions exhibit intermediate comparative performance; (iii) performance of exponentially tilted empirical likelihood (ETEL), exponential tilting Hellinger distance (ETHD) and its smoothed versions was seriously compromised by atypical estimates; (iv) smoothed and non-smoothed GEL/GMC estimators exhibit very similar performances; (v) GMM, especially in the over-identified case, and ML estimators had lower performance than their competitors
247

Interações não padrão de neutrinos no modelo 331 com setor de Higgs mínimo / Non-standard interactions of neutrinos in the 331 model with minimal Higgs sector

Medina Jaime, Miguel, 1983- 16 August 2018 (has links)
Orientador: Pedro Cunha de Holanda / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Física Gleb Wataghin / Made available in DSpace on 2018-08-16T08:47:51Z (GMT). No. of bitstreams: 1 MedinaJaime_Miguel_M.pdf: 2665434 bytes, checksum: ff126a38e30aec81b803a8fdcddcbc96 (MD5) Previous issue date: 2010 / Resumo: Neste trabalho apresentamos um estudo de alguns problemas que ainda não forem esclarecidos na física de neutrinos do modelo padrão (MP) e encaminhamos eles na direção de física nova. Para esse fim, estuda-se uma classe de extensões de Gauge quirais do MP com simetria SU(3)C x SU(3)L x U(1)X (modelos 331), onde estudamos a interação eletrofraca dos neutrinos com a matéria via correntes carregadas e neutras (CC e CN) através dos bósons Gauge do modelo para processos de espalhamento elástico coerente. Finalmente, encontramos vínculos entre as contribuições não padrão no modelo 331 com as interações não padrão (INP) em experimentos de seção de choque, onde encontramos que o modelo 331 apresenta INP diagonais universais da ordem e a M2 W,Z / M2 X <~ O(10-3). Mostramos que o valor esperado no vácuo (VEV) para o tão procurado bóson de Higgs neste modelo tem que ser ?2 <~174.105GeV e os VEV V > 1.3TeV e 142 GeV < ?1 < 201GeV. Os novos bósons do modelo deverão ter massas maiores a 610 GeV / Abstract: We present a study of some problems that are not yet clarified in Standard Model (SM) neutrino physics and guide them in the direction of new physics. To this aim, we study a class of extensions of the SM Gauge chiral symmetry SU(3)CSU(3)LU(1)X (331 model), where we study the electroweak interaction of neutrinos with matter via charged and neutral current (CC and NC) by the gauge bosons of the model for coherent elastic scattering process. We finally found connections between the non-standard contributions on 331 with non-standard interactions (NSI) in cross section experiments, where we find that the model 331 has diagonal universal NSI of order e a M2 W,Z / M2 X <~ O(10-3) . We show that the expected value in vacuum (VEV) for the quite searched Higgs boson in this model has to be ?2 <~174.105 GeV and the VEV V > 1.3TeV and 142 GeV < ?1 < 201 GeV. The new bosons of the model must have masses greater than 610 GeV / Mestrado / Física das Particulas Elementares e Campos / Mestre em Física
248

Implementações paralelas para os problemas do fecho transitivo e caminho mínimo APSP na GPU / Parallel implementations for transitive closure and minimum path APSP problems in GPU

Gaioso, Roussian Di Ramos Alves 08 August 2014 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-30T14:24:27Z No. of bitstreams: 2 Dissertação - Roussian Di Ramos Alves Gaioso - 2014.pdf: 6127790 bytes, checksum: 9990f791c0f9abaee7e3e03e4cdc8ee4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-10-30T14:29:29Z (GMT) No. of bitstreams: 2 Dissertação - Roussian Di Ramos Alves Gaioso - 2014.pdf: 6127790 bytes, checksum: 9990f791c0f9abaee7e3e03e4cdc8ee4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-10-30T14:29:29Z (GMT). No. of bitstreams: 2 Dissertação - Roussian Di Ramos Alves Gaioso - 2014.pdf: 6127790 bytes, checksum: 9990f791c0f9abaee7e3e03e4cdc8ee4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-08-08 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / This paper presents a Graphics Processing Unit (GPU) based parallels implementations for the All Pairs Shortest Paths and Transitive Closure problems in graph. The implementations are based on the main sequential algorithms and takes full advantage of the highly multithreaded architecture of current manycore GPUs. Our solutions reduces the communication between CPU and GPU, improves the Streaming Multiprocessors (SMs) utilization, and makes intensive use of coalesced memory access to optimize graph data access. The advantages of the proposed implementations are demonstrated for several graphs randomly generated using the widely known graph library GTgraph. Graphs containing thousands of vertices and different edges densities, varying from sparse to complete graphs, were generated and used in the experiments. Our results confirm that GPU implementations can be competitive even for graph algorithms whose memory accesses and work distribution are both irregular and data-dependent. Keywords / Este trabalho apresenta implementações paralelas baseadas em Graphics Processing Unit (GPU) para os problemas da identificação dos caminhos mínimos entre todos os pares de vértices e do fecho transitivo em um grafo. As implementações são baseadas nos principais algoritmos sequenciais e tiram o máximo proveito da arquitetura multithreaded das GPUs atuais. Nossa solução reduz a comunicação entre a Central Processing Unit (CPU) e a GPU, melhora a utilização dos Streaming Multiprocessors (SMs) e faz um uso intensivo de acesso aglutinado em memória para otimizar o acesso de dados do grafo. As vantagens dessas implementações propostas são demonstradas por vários grafos gerados aleatoriamente utilizando a ferramenta GTgraph. Grafos contendo milhares de vértices foram gerados e utilizados nos experimentos. Nossos resultados confirmam que implementações baseadas em GPU podem ser viáveis mesmo para algoritmos de grafos cujo acessos à memória e distribuição de trabalho são irregulares e causam dependência de dados.
249

Estudo da qualidade da matéria-prima de uma fábrica de ração para frangos de corte utilizando cartas de controle e técnicas Taguchi de custo mínimo - 2005 / Quality study of material for ration factory for cut chickens using control charts and techniques Taguchi of minimum cost ? 2005

Boas, érika Bastos Buttenmüller Vilas 24 February 2005 (has links)
Made available in DSpace on 2017-07-10T18:33:54Z (GMT). No. of bitstreams: 1 Dissertacao Erika Vilas Boas parte 1.pdf: 46912 bytes, checksum: 83dc25886d37cfeac84c60648054e192 (MD5) Previous issue date: 2005-02-24 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / The objective of this work was to verify the statistical quality control of the raw material used during the manufacturing of animal feed, which is being utilized for broiler chicken feed in businesses located in the western region of the state of Paraná. The raw material selected to be monitored were: corn and soy meal from vegetable origin, and meat flour, viscus and feather flour from animal origin. The variables that make up each group of raw material, such as humidity, raw protein, soluble protein, phosphorus, acidity, raw fiber, uretic activity and ethereal extract were collected during 2003 and 2004. The focus of this study of quality was on the application of individual X and AM control charts, and EWMA charts, Tabular CUSUM accumulated sum charts and V Mask CUSUM. An approach regarding the cost of quality loss was utilized in order to determine the economic interval of inspection related to the minimum cost, according to Taguchi s techniques. Regarding the corn raw material, the results show that the pondered control chart EWMA was the most efficient when analyzing the studied variables. As far as the capability of the process is concerned, we can conclude that only the humidity variable is below the desired specifications. The soy meal raw material had the individual X and AM charts as the most efficient and with an equivalent performance, and, regarding the process capacity, only the variable urease is up to the minimum value recommended by the CBAA. When it comes to the meat flour raw material, the tabular of the accumulated sums chart CUSUM was the least efficient and, as far as its process capacity is concerned, only the humidity variable is up to the minimum requirements required by the CBAA. Regarding the feather flour raw material, the individual AM chart was the most efficient, as far as the process capacity is concerned, none of the variables are up to the minimum specifications required by the CBAA. When it comes to the viscus flour raw material, the EWMA chars and the Tabular CUSUM were the most efficient, having an equivalent performance, and regarding the process capacity, only the humidity and acidity variables are up to minimum CBAA requirements. For the analysis of the minimum costs, we observed that the costs increase with the process tolerance increase (k) and decrease with the increase of the Cpl or Cpu values. Regarding the optimum interval analysis of inspection, the results show that the interval times decrease with the increase of the process tolerance (k), and increase with the increase of the values of Cpl or Cpu. / Este trabalho teve como objetivo verificar o controle estatístico de qualidade das matérias- primas na fabricação de ração que são utilizadas para a alimentação de frangos de corte, em empresa situada na região Oeste do Paraná. As matérias-primas selecionadas para serem monitoradas foram: milho e farelo de soja de origem vegetal e farinha de carne, farinha de vísceras e farinha de penas de origem animal. As variáveis que compõe cada matéria-prima como umidade, proteína bruta, proteína solúvel, fósforo, acidez, fibra bruta, atividade ureática e extrato etéreo foram coletadas nos anos de 2003 e 2004. O enfoque deste estudo da qualidade foi a aplicação dos gráficos de controle individual X e AM, gráfico ponderado EWMA, gráficos de somas acumuladas CUSUM Tabular e CUSUM Máscara V. Uma abordagem sobre custo de perda de qualidade foi utilizada para a determinação do intervalo econômico de inspeção em função do custo mínimo, segundo técnicas de Taguchi. Os resultados mostram com relação a matéria-prima milho que o gráfico de controle ponderado EWMA foi o mais eficiente na análise das variáveis estudadas. Quanto à capacidade do processo pode-se inferir que apenas a variável umidade está abaixo das especificações desejadas. A matéria-prima farelo de soja teve os gráficos Individual X e AM como os mais eficientes, tendo desempenho equivalente e, em relação à capacidade do processo, apenas a variável urease está atendendo o valor mínimo recomendado pelo CBAA. A respeito da matéria-prima farinha de carne, o gráfico de somas acumuladas CUSUM Tabular foi o mais eficiente e quanto a capacidade do processo apenas a variável umidade está atendendo as especificações mínimas exigidas pelo CBAA. Em relação à matéria-prima farinha de penas, o gráfico Individual AM foi o mais eficiente, e quanto a capacidade do processo, nenhuma variável está atendendo as especificações mínimas exigidas pelo CBAA. Em relação à matéria-prima farinha de vísceras, os gráficos EWMA e CUSUM Tabular foram os mais eficazes com desempenho equivalente, e quanto à capacidade do processo apenas as variáveis umidade e acidez estão atendendo as especificações mínimas exigidas pelo CBAA. Para análise dos custos mínimos, observou-se que os custos aumentam com o aumento da tolerância do processo (k) e diminuem com o aumento do valor de Cpl ou Cpu. A respeito da análise do intervalo ótimo de inspeção, os resultados mostram que os tempos de intervalo diminuem com o aumento da tolerância do processo (K), e aumenta com o aumento dos valores de Cpl ou Cpu.
250

Congruência modular nas séries finais do ensino fundamental

Souza, Leticia Vasconcellos de 14 August 2015 (has links)
Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-05-10T13:29:13Z No. of bitstreams: 1 leticiavasconcellosdesouza.pdf: 334599 bytes, checksum: ecaf1358f31b66f2a2e8740f4db33535 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-06-15T13:12:10Z (GMT) No. of bitstreams: 1 leticiavasconcellosdesouza.pdf: 334599 bytes, checksum: ecaf1358f31b66f2a2e8740f4db33535 (MD5) / Made available in DSpace on 2016-06-15T13:12:10Z (GMT). No. of bitstreams: 1 leticiavasconcellosdesouza.pdf: 334599 bytes, checksum: ecaf1358f31b66f2a2e8740f4db33535 (MD5) Previous issue date: 2015-08-14 / Este trabalho é voltado para professores que atuam nas séries finais do Ensino Fundamental. Tem como objetivo mostrar que é possível introduzir o estudo de Congruência Modular nesse segmento de ensino, buscando facilitar a resolução de diversas situações-problema. A motivação para escolha desse tema é que há a possibilidade de tornar mais simples a resolução de muitos exercícios trabalhados nessa etapa de ensino e que são inclusive cobrados em provas de admissão à escolas militares e em olimpíadas de Matemática para esse nível de escolaridade. Inicialmente é feita uma breve síntese do conjunto dos Números Inteiros, com suas operações básicas, relembrando também o conceito de números primos, onde é apresentado o crivo de Eratóstenes; o mmc (mínimo múltiplo comum) e o mdc (máximo divisor comum), juntamente com o Algoritmo de Euclides. Apresenta-se alguns exemplos de situações-problema e exercícios resolvidos envolvendo restos deixados por uma divisão para então, em seguida, ser dada a definição de congruência modular. Finalmente, são apresentadas sugestões de exercícios para serem trabalhados em sala de aula, com uma breve resolução. / The aims of this work is teachers working in the final grades of elementary school. It aspires to show that it is possible to introduce the study of Modular congruence this educational segment, seeking to facilitate the resolution of numerous problem situations. The motivation for choosing this theme is that there is the possibility to make it simpler to solve many problems worked at this stage of education and are even requested for admittance exams to military schools and mathematical Olympiads for that level of education. We begin with a brief summary about integer numbers, their basic operations, also recalling the concept of prime numbers, where the sieve of Eratosthenes is presented; the lcm (least common multiple) and the gcd (greatest common divisor), along with the Euclidean algorithm. We present some examples of problem situations and solved exercises involving debris left by a division and then, we give the definition of modular congruence . Finally , we present suggestions for exercises to be worked in the classroom, with a short resolution.

Page generated in 0.0522 seconds