1000 resultados para Complexidade : Algoritmos recursivos : Equações características


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Essa tese se propõe fazer uma comparação entre duas técnicas alternativas para estudo de impactos marginais de variáveis sócio-econômicas sobre as taxas de crescimento per-capita de grupos de países durante período de 1965 1985: regressão em sistemas de equações com dados em seções transversais, usada por Barro Sala-i-Martin (1995), entre outros, e a regressão em painel com coeficientes individuais. Tentaremos mostrar que os resultados associados certas variáveis são bastante diferentes procuraremos entender algumas causas dessas diferenças. Além disso, estaremos preocupados em avaliar como os resultados são afetados ao alterarmos conjunto de países estudado, em particular quando tomamos grupos de países com uma série de características semelhantes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Com o objetivo de desenvolver uma fundamentação teórica para o estudo formal de problemas de otimização NP-difíceis, focalizando sobre as propriedades estruturais desses problemas relacionadas à questão da aproximabilidade, este trabalho apresenta uma abordagem semântica para tratar algumas questões originalmente estudadas dentro da Teoria da Complexidade Computacional, especificamente no contexto da Complexidade Estrutural. Procede-se a uma investigação de interesse essencialmente teórico, buscando obter uma formalização para a teoria dos algoritmos aproximativos em dois sentidos. Por um lado, considera-se um algoritmo aproximativo para um problema de otimização genérico como o principal objeto de estudo, estruturando-se matematicamente o conjunto de algoritmos aproximativos para tal problema como uma ordem parcial, no enfoque da Teoria dos Domínios de Scott. Por outro lado, focaliza-se sobre as reduções entre problemas de otimização, consideradas como morfismos numa abordagem dentro da Teoria das Categorias, onde problemas de otimização e problemas aproximáveis são os objetos das novas categorias introduzidas. Dentro de cada abordagem, procura-se identificar aqueles elementos universais, tais como elementos finitos, objetos totais, problemas completos para uma classe, apresentando ainda um sistema que modela a hierarquia de aproximação para um problema de otimização NP-difícil, com base na teoria categorial da forma. Cada uma destas estruturas matemáticas fornecem fundamentação teórica em aspectos que se complementam. A primeira providencia uma estruturação interna para os objetos, caracterizando as classes de problemas em relação às propriedades de aproximabilidade de seus membros, no sentido da Teoria dos Domínios, enquanto que a segunda caracteriza-se por relacionar os objetos entre si, em termos de reduções preservando aproximação entre problemas, num ponto de vista externo, essencialmente categorial.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este estudo procura analisar a fragmentação institucional de uma organização pública, o Fundo Nacional de Desenvolvimento da Educação (FNDE), que passou por inúmeras transformações organizacionais, como fusões e incorporações de outros órgãos. Essas mudanças parecem ter gerado, em seu processo histórico, uma pluralidade de sub-culturas dentro da organização que são compartilhadas por grupos com diferentes interesses e valores. No sentido de se compreender como agem esses grupos foi desenvolvido um estudo que ocorreu em três grandes etapas. Na primeira criaram-se tipos ideais, que representam um perfil geral dos diferentes grupos que compõem a organização, com seus valores e interesses. Concomitantemente ao processo de criação de tipos ideais, foi desenvolvida uma análise histórico-institucional, onde foram verificados fatos importantes na história do FNDE. Na segunda etapa foram realizadas entrevistas com os servidores de cada grupo, onde se buscou colher informações sobre suas percepções acerca da história do FNDE, assim como seus principais interesses e valores. Na terceira, e última, etapa comparou-se os tipos ideais aos depoimentos dos entrevistados, estabelecendo-se um quadro de seu processo histórico e de suas características culturais. A partir desse quadro desenvolveu-se uma análise sociológico-interpretativa de como essas características geram desafios para alinhamento de valores entre os servidores da organização hoje.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O projeto de sistemas intrachip (SoCs) é uma atividade de alto grau de complexidade, dados a dimensão de SoCs, na ordem do bilhão de transistores, os requisitos de tempo de desenvolvimento e de consumo de energia, entre outros fatores. A forma de dominar a complexidade de projeto de SoCs inclui dividir a funcionalidade do sistema em módulos de menor complexidade, denominados de núcleos de propriedade intelectual (núcleos IP), interligados por uma infra-estrutura de comunicação. Enquanto núcleos IP podem ser reusados de outros projetos ou adquiridos de terceiros, a infra-estrutura de comunicação deve sempre ser desenvolvida de forma personalizada para cada SoC. O presente trabalho volta-se para o projeto de infraestruturas de comunicação eficientes. Questões importantes neste contexto são a eficiência da comunicação, refletida e.g. em medidas de vazão e latência, a redução de área de silício para implementar a comunicação, e a redução da energia consumida na comunicação. Estas questões dependem da escolha da infra-estrutura de comunicação. Barramentos são as infra-estruturas mais usadas nas comunicações intrachip, mas têm sido consideradas como pouco adequadas para servir a necessidade de comunicação de SoCs futuros. Redes intrachip vêm emergindo como um possível melhor candidato. Nesta infra-estrutura de comunicação, um problema a ser resolvido é o posicionamento relativo de núcleos IP dentro da rede, visando otimizar desempenho e reduzir o consumo de energia, no que se denomina aqui problema de mapeamento. Dada a complexidade deste problema, considera-se fundamental dispor de modelos para capturar as características da infra-estrutura de comunicação, bem como da aplicação que a emprega A principal contribuição deste trabalho é propor e avaliar um conjunto de modelos de computação voltados para a solução do problema de mapeamento de núcleos de propriedade intelectual sobre uma infra-estrutura de comunicação. Três modelos são propostos (CDM, CDCM e ECWM) e comparados, entre si e com três outros disponíveis na literatura (CWM, CTM e ACPM). Embora os modelos sejam genéricos, os estudos de caso restringem-se aqui a infra-estruturas de comunicação do tipo rede intrachip. Dada a diversidade de modelos de mapeamento, propõe-se uma segunda contribuição, o metamodelo Quantidade, Ordem, Dependência (QOD), que relaciona modelos de mapeamento usando os critérios expressos na denominação QOD. Considerando o alto grau de abstração dos modelos empregados, julga-se necessário prover uma conexão com níveis inferiores da hierarquia de projeto. Neste sentido, uma terceira contribuição original do presente trabalho é a proposta de modelos de consumo de energia e tempo de comunicação para redes intrachip. Visando demonstrar a validade de todos os modelos propostos, foram desenvolvidos métodos de uso destes na solução do problema de mapeamento, o que constitui uma quarta contribuição. Estes métodos incluem algoritmos de mapeamento, estimativas de tempo de execução, consumo de energia e caminhos críticos em infra-estruturas de comunicação. Como quinta contribuição, propõe-se o framework CAFES, que integra os métodos desenvolvidos e os modelos de mapeamento em algoritmos computacionais. Uma última contribuição do presente trabalho é um método habilitando a estimativa de consumo de energia para infra-estruturas de comunicação e sua implementação como uma ferramenta computacional.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The evolution of integrated circuits technologies demands the development of new CAD tools. The traditional development of digital circuits at physical level is based in library of cells. These libraries of cells offer certain predictability of the electrical behavior of the design due to the previous characterization of the cells. Besides, different versions of each cell are required in such a way that delay and power consumption characteristics are taken into account, increasing the number of cells in a library. The automatic full custom layout generation is an alternative each time more important to cell based generation approaches. This strategy implements transistors and connections according patterns defined by algorithms. So, it is possible to implement any logic function avoiding the limitations of the library of cells. Tools of analysis and estimate must offer the predictability in automatic full custom layouts. These tools must be able to work with layout estimates and to generate information related to delay, power consumption and area occupation. This work includes the research of new methods of physical synthesis and the implementation of an automatic layout generation in which the cells are generated at the moment of the layout synthesis. The research investigates different strategies of elements disposition (transistors, contacts and connections) in a layout and their effects in the area occupation and circuit delay. The presented layout strategy applies delay optimization by the integration with a gate sizing technique. This is performed in such a way the folding method allows individual discrete sizing to transistors. The main characteristics of the proposed strategy are: power supply lines between rows, over the layout routing (channel routing is not used), circuit routing performed before layout generation and layout generation targeting delay reduction by the application of the sizing technique. The possibility to implement any logic function, without restrictions imposed by a library of cells, allows the circuit synthesis with optimization in the number of the transistors. This reduction in the number of transistors decreases the delay and power consumption, mainly the static power consumption in submicrometer circuits. Comparisons between the proposed strategy and other well-known methods are presented in such a way the proposed method is validated.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A Estatística é uma ferramenta indispensável em todos os campos científicos. A Estatística descritiva é usada para sintetizar dados. O principal problema desta área está relacionado aos valores de uma amostra, os quais geralmente possuem erros que ocorrem durante a obtenção dos dados. Um dos objetivos deste trabalho é apresentar uma forma de representação para os valores amostrais que considera os erros contidos nestes valores. Esta representação é realizada através de intervalos. A literatura mostra que foram realizadas pesquisas somente em problemas de calcular os valores intervalares das medidas de dispersão variância, covariância e coeficiente de correlação, que a utilização da computação intervalar na solução de problemas de medidas de dispersão intervalar sempre fornece solução com intervalos superestimados (intervalos com amplitude grande), e que ao procurar uma solução com intervalos de amplitude pequena (através da computação da imagem intervalar), o problema passa a pertencer a classe de problemas NP-Difícil. Com o objetivo principal de analisar a complexidade computacional dos problemas de computar os valores dos indicadores estatísticos descritivos com entradas intervalares, e realizar uma classificação quanto a classe de complexidade, a presente tese apresenta: i) definições intervalares de medidas de tendência central, medidas de dispersão e separatrizes; ii) investigação da complexidade de problemas das medidas de tendência central média, mediana e moda, das medidas de dispersão amplitude, variância, desvio padrão, coeficiente de variação, covariância, coeficiente de correlação e das separatrizes e iii) representação intervalar dos valores reais, de tal modo que garante a qualidade de aproximação nos intervalos solução calculado através da extensão intervalar Primeiramente, apresentamos uma abordagem intervalar para os indicadores estatísticos e propomos algoritmos para a solução dos problemas de computar os intervalos de medidas de tendência central intervalar, dispersão intervalar e separatrizes intervalares. Tais algoritmos utilizam a aritmética intervalar definida por Moore, a extensão intervalar e foram projetados para serem executados em ambientes intervalares como IntLab e Maple Intervalar. Por meio da análise da complexidade computacional verificamos que os problemas de medidas de tendência central, dispersão e separatrizes, com entradas intervalares, pertencem à classe de problemas P. Este trabalho apresenta, portanto, algoritmos de tempo polinomial que calculam os intervalos dos indicadores estatísticos com entradas intervalares, e que retornam como solução intervalos com qualidade de aproximação. Os resultados obtidos no desenvolvimento do trabalho tornaram viável a computação da Estatística Descritiva Intervalar.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A área de pesquisa de testes não-destrutivos é muito importante, trabalhando com o diagnóstico e o monitoramento das condições dos componentes estruturais prevenindo falhas catastróficas. O uso de algoritmos genéticos para identificar mudanças na integridade estrutural através de mudanças nas respostas de vibração da estrutura é um método não-destrutivo que vem sendo pesquisado. Isto se deve ao fato de que são vantajosos em achar o mínimo global em situações difíceis de problemas de otimização, particularmente onde existem muitos mínimos locais como no caso de detecção de dano. Neste trabalho é proposto um algoritmo genético para localizar e avaliar os danos em membros estruturais usando o conceito de mudanças nas freqüências naturais da estrutura. Primeiramente foi realizada uma revisão das técnicas de detecção de dano das últimas décadas. A origem, os fundamentos, principais aspectos, principais características, operações e função objetivo dos algoritmos genéticos também são demonstrados. Uma investigação experimental em estruturas de materiais diferentes foi realizada a fim de se obter uma estrutura capaz de validar o método. Finalmente, se avalia o método com quatro exemplos de estruturas com danos simulados experimentalmente e numericamente. Quando comparados com técnicas clássicas de detecção dano, como sensibilidade modal, os algoritmos genéticos se mostraram mais eficientes. Foram obtidos melhores resultados na localização do que na avaliação das intensidades dos danos nos casos de danos propostos.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A presente dissertação aborda uma técnica para determinar as soluções de sistemas de equações polinomiais. Esta técnica que é puramente algébrica, interliga tópicos da Matemática, como a Geometria Algébrica e a Álgebra Computacional. Mais especificamente, estudamos a teoria de Resultantes e suas aplicações. Começamos com a motivação de encontrar as raízes comuns de dois polinômios a uma variável, em seguida é estendida para o caso mais geral de várias variáveis. Estudamos detalhadamente como obter fórmulas para o cálculo do Resultante, como por exemplo a fórmula de Macaulay e de Poisson. A técnica para resolver sistemas de equações polinomiais é então apresentada. Terminamos apresentando uma prova de um caso particular do Teorema de Bezout, como aplicação da teoria de Resultantes. Este teorema é muito importante, pois fornece um número de soluções de um sistema de equações polinomiais.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Sucessivos barramentos ao longo de um rio impedem a migração, fenômeno característico de algumas espécies de peixes. Essa interrupção pode provocar a extinção local de espécies migratórias de peixes e acentuada queda da produção pesqueira. Mecanismos de Transposição para Peixes (MTP) são estruturas capazes de mitigar os efeitos negativos desses barramentos, possibilitando a transposição segura dessas espécies através dos barramentos. Esta pesquisa visou a compreensão do funcionamento de um MTP conhecido como escada para peixes do tipo ranhura vertical. Para tanto, foram realizados experimentos em uma estrutura de laboratório, geometricamente semelhante à Escada de Peixes do tipo Ranhura Vertical do reservatório da UHE de Igarapava/MG. Foram realizados experimentos em diversas vazões para a verificação do regime de escoamento ao longo da estrutura e para a determinação dos parâmetros hidráulicos de vazão adimensional, de coeficiente de descarga e de coeficiente de cisalhamento, que foram comparados aos encontrados na bibliografia. Por meio desses ensaios foi possível sugerir equações simplificadas para esses parâmetros Também foram executados ensaios a vazão constante para gerar mapas de distribuição de velocidades médias e de pressões dentro de um tanque da estrutura. A vazão constante também foram medidos valores de altura de lâmina d’água ao longo de dois eixos de um tanque e realizadas visualizações do escoamento por meio do uso de traçadores. Os resultados puderam demonstrar a existência de um jato e de duas zonas de recirculação de água, à esquerda e à direita do tanque, assim como a alta variação de valores de pressões no jato e a existência de velocidades no sentido vertical, principalmente na zona de recirculação à esquerda do tanque.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Com o objetivo de estabelecer uma metodologia capaz segregar momentos de mercado e de identificar as características predominantes dos investidores atuantes em um determinado mercado financeiro, este trabalho emprega simulações geradas em um Mercado Financeiro Artificial baseado em agentes, utilizando um Algoritmo Genético para ajustar tais simulações ao histórico real observado. Para tanto, uma aplicação foi desenvolvida utilizando-se o mercado de contratos futuros de índice Bovespa. Esta metodologia poderia facilmente ser estendida a outros mercados financeiros através da simples parametrização do modelo. Sobre as bases estabelecidas por Toriumi et al. (2011), contribuições significativas foram atingidas, promovendo acréscimo de conhecimento acerca tanto do mercado alvo escolhido, como das técnicas de modelagem em Mercados Financeiros Artificiais e também da aplicação de Algoritmos Genéticos a mercados financeiros, resultando em experimentos e análises que sugerem a eficácia do método ora proposto.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This master dissertation presents the study and implementation of inteligent algorithms to monitor the measurement of sensors involved in natural gas custody transfer processes. To create these algoritmhs Artificial Neural Networks are investigated because they have some particular properties, such as: learning, adaptation, prediction. A neural predictor is developed to reproduce the sensor output dynamic behavior, in such a way that its output is compared to the real sensor output. A recurrent neural network is used for this purpose, because of its ability to deal with dynamic information. The real sensor output and the estimated predictor output work as the basis for the creation of possible sensor fault detection and diagnosis strategies. Two competitive neural network architectures are investigated and their capabilities are used to classify different kinds of faults. The prediction algorithm and the fault detection classification strategies, as well as the obtained results, are presented

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Foram determinadas medidas biométricas de caprinos leiteiros com o objetivo de estimar equações que permitam predizer o peso e as características da carcaça de animais sob diferentes condições nutricionais. Realizou-se um experimento em duas fases, utilizando-se 27 cabritos machos da raça Saanen em cada uma, distribuídos nos tratamentos: alimentação à vontade, 30 e 60% de restrição. O peso vivo (PV) inicial foi de 5 kg na Fase 1 e 20 kg na Fase 2, abatendo-se os animais ao atingirem 20 e 35 kg de PV, respectivamente. Foram determinadas as medidas biométricas e avaliada a condição corporal no animal vivo e, após o abate e resfriamento de 24 horas, as medidas da carcaça. Estimaram-se o peso em jejum (PJ), o peso da carcaça fria (PCF) e a compacidade da carcaça, em função das medidas biométricas. O perímetro torácico e o comprimento corporal foram as medidas biométricas que apresentaram melhor ajuste para estimar o PJ, o PCF e a compacidade da carcaça e, por isso, são recomendados, por serem precisos, práticos e de fácil execução.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O consumo de matéria seca (CMS) do capim tanzânia de 24 vacas lactantes mestiças (HPB x Gir) e Gir, sob pastejo, foi estimado no mês de janeiro de 1998, a partir da relação entre a digestibilidade da MS da forragem e a produção fecal obtida com auxílio do cromo mordente por meio de um modelo não-linear. Os resultados do consumo estimado foram comparados aos consumos preditos por diferentes equações baseadas nos dados de degradabilidade do capim, no rúmen. A pastagem foi manejada com taxa de lotação de dois animais/ha, em sistema de pastejo rotativo com três dias de ocupação do piquete e 39 dias de descanso. Foram utilizadas para predizer o CMS diferentes equações: CMS = -1,19 + 0,035 (a+ b) + 28,5c (1), CMS = -0,822 + 0,0748 (a+ b) + 40,7c (2), CMS = -8,286 + 0,266a + 0,102b +17,696c (3) e CMS = [%FDN na MS]* [consumo de FDN ] / [(1-a-b)/K P +b/(c+ k p)]/24] (4). As equações, em geral, subestimaram o consumo obtido no modelo não-linear (9,6 kg/vaca/dia). Os consumos médios de capim de 6,2 e 6,0 kg MS/vaca/dia obtidas, respectivamente, nas equações de (2) e (4) foram semelhantes entre si e inferiores ao das equações de (1) (12,7 kg/vaca/dia) e (3) (8,1 kg/vaca/dia). A predição do consumo de forrageiras tropicais, sob pastejo, utilizando-se as equações baseadas nas variáveis da degradação in situ, constitui um importante potencial para estas avaliações. Entretanto, mais estudos dessa natureza devem ser realizados para validar o uso destas equações na prática.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O consumo de matéria seca (CMS) do capim-coastcross, sob pastejo, de vacas lactantes mestiças (HPB x Gir) e Gir, foi calculado a partir da relação entre a digestibilidade in vitro da MS (DIVMS) da forragem (extrusa colhida com animais esôfago- fistulados) e a produção fecal obtida com auxílio do cromo mordante por meio de um modelo não-linear. A pastagem foi manejada com uma taxa de lotação de 1,6 e 3,2 animais/ha, respectivamente para as épocas seca e chuvosa do ano, num sistema de pastejo rotativo com três dias de ocupação e 27 dias de descanso. Quatro diferentes equações baseadas em variáveis de degradação ruminal foram utilizadas para predizer o consumo de MS: CMS = -1,19 + 0,035 (a+ b) + 28,5c (1), CMS = -0,822 + 0,0748 (a+ b) + 40,7c (2), CMS = -8,286 + 0,266a + 0,102b +17,696c (3) e CMS = [%FDN na MS]* [consumo de FDN ] / [(1-a-b)/K P +b/(c+ k p)]/24] (4). Os dados observados utilizando as equações 1 e 2 (12,2 e 12,7 kg/vaca/dia respectivamente) foram similares entre si e superiores aos resultados obtidos na equação 4 (7,8 kg/vaca/dia). Já o resultado obtido pela equação 3 (5,5 kg/vaca/dia) foi menor do que aqueles determinados pelas outras equações, subestimando o CMS calculado a partir do cromo mordante (6,3 kg/vaca/dia). A predição do consumo de forrageiras tropicais sob pastejo, utilizando equações baseadas nas variáveis de degradação, constitui um importante potencial para estas avaliações. Entretanto, mais estudos devem ser realizados antes de se usarem estas equações na prática.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior