For this paper, an algorithm was developed using exhaustive search applied to problems of diameter optimization and operational strategies for pumps.
neste módulo foi desenvolvido um algoritmo de busca exaustiva aplicado aos problemas de otimização de diâmetros e de operação de bombas.
Simulations were performed with two different networks widely used in the literature, containing 33 and 69 bus respectively, and the results obtained by the evolutionary method for the final state of the network were verified with the results obtained by the exhaustive search.
Simulações foram realizadas com duas diferentes redes amplamente usadas na literatura, contendo 33 e 69 barras respectivamente, e os resultados obtidos pelo método evolutivo para o estado final da rede foram comparados com os resultados obtidos pela busca exaustiva.
If one considers that, in a given field, a great number of riser possibilities exists, the time required for a comprehensive search for the best configuration is too large, making the project outcome highly dependent on the designers experience.
Considerando-se que, dado um campo, existe um grande número de possibilidades de configurações de risers, o tempo necessário para uma busca exaustiva pela melhor configuração é grande demais, tornando o resultado do projeto altamente dependente da experiência do projetista.
Our system uses exhaustive search and computational geometry to allow the game designer to focus on the creative process of content creation by not needing to worry about the manual construction of the game structures.
Nosso sistema usa busca exaustiva e geometria computacional para permitir que o designer do jogo se con- centre no processo criativo de geração de conteúdo, aliviando o ônus da construção manual de estruturas de jogos.
The phylogenetic analysis was performed in the TNT program under exhaustive search (IP Command) with egalitarian weighing.
A análise filogenética foi realizada no programa T. N.T. sob busca exaustiva (Comando IP) com pesagem igualitária.
The model checking of formal specifications is a task of reasoning on specifications in which a system verifies certain properties by means of an exhaustive search of all possible states that a system could enter during its execution.
A checagem de modelos especificados formalmente consiste na análise das especificações para verificar se um sistema possui certas propriedades através de uma busca exaustiva em todos os estados em que este pode entrar durante sua execução.
And yet, there is no evidence of heuristics to solve the problem, the found methods use exhaustive search, evaluating all generated floods.
E ainda, não há evidências de heurísticas para a solução do problema, pois os métodos encontrados utilizam o método de busca exaustiva. avaliando todas as inundações geradas.
The analysis using equally weighted characters produced 13 equally most-parcimonious trees (L=1,2), which resulted in a consensus diagram 1,8 steps long.
A busca exaustiva com pesos iguais dos caracteres encontrou 13 árvores mais parcimoniosas (C=1,2), cujo consenso teve comprimento igual a 1,8 passos.
Through a case study of a transportation system, we conclude that: a) the SED incorporated important details for more precise evaluation of various performance indicators b) the MCDA methodology was useful to capture several goals and values, so that robust tradeoffs could be carried out c) an exhaustive search routine and variance reduction techniques allowed the comparison of several alternatives in feasible computational times.
Através da aplicação de um estudo de caso sobre o dimensionamento de um sistema de transporte, constatou-se que: a) a SED incorporou detalhes importantes para a avaliação mais precisa de vários indicadores de desempenho b) a metodologia MCDA possibilitou a captura de vários objetivos e valores, propiciando a realização de tradeoffs robustos; c) um método de busca exaustiva e técnicas de redução de variância permitiram a comparação das alternativas em tempos computacionais reduzidos.
In the analysis of network environments in which we used the proposed new method of exhaustive search, it was concluded that this proved effective in eliminating network environments without substantially affecting the correlation values between the analysis.
Nas análises da rede de ambientes, nas quais foi utilizado o novo método proposto da busca exaustiva. foi possível concluir que este se mostrou eficiente em eliminar ambientes da rede sem afetar substancialmente os valores de correlação entre as análises.
As examples of application in telecommunication networks, especially for optical networks using wavelength division multiplexing technique, the following routing traffic algorithms were implemented: Fixed routing with first-fit wavelength assignment and adaptive routing with least used wavelength assignment, most used, random and exhaustive search.
Como exemplos de aplicação em redes de telecomunicações, com destaque para redes ópticas utilizando técnica de multiplexação por divisão de comprimento de onda, foram implementados os seguintes algoritmos de roteamento de tráfego: roteamento fixo com alocação de comprimento de onda sequencial fixa e roteamento adaptativo com alocação de comprimento de onda menos usado, mais usado, aleatória e busca exaustiva.
The second heuristic, based on exhaustive search, showed to be the best approach for the model, finding the same solution of the exact method at a shorter time.
A segunda heurística, baseada em busca exaustiva. mostrou-se a melhor abordagem para o modelo, encontrando a mesma solução do método exato em um tempo inferior.
Experiments indicate that the method yields significant cost savings over exhaustive search.
Experimentos indicaram que o método promove significativa redução de custos em relação à busca exaustiva.
To illustrate the efficiency of the methodology the results for a real network of an electric utility are presented, considering different scenarios of load and distributed generation availability, as well as validation of the results by the exhaustive search method.
A fim de ilustrar a eficiência da metodologia, são apresentados os resultados para uma rede real de uma concessionária de energia elétrica, considerando diferentes cenários de carga e de disponibilidade de geração dos geradores distribuídos, bem como a validação dos resultados através do método de busca exaustiva.
...an transcribed, meanwhile a scanning reading about the field reports and observation was carried on, as well as the abstained narratives which were codified an exploited by natives deep reading in search of exhaustive similarities between the contents. Therefore, the organization of the corpus was carried out in two grinding themes, according to the pertinences of the emerged discussions of the similar elements ...
...arrativas foram gravadas e transcritas, sendo realizada leitura flutuante dos relatos de campo e observação, bem como das narrativas colhidas sendo codificadas e exploradas com leitura profunda, em busca exaustiva das similaridades entre os conteúdos. Desta forma, foi realizada a organização do corpus em função de dois temas norteadores, segundo a pertinência das discussões emergidas dos elementos comuns associados aos objetivos da pesquisa e das narrativas dos romeiros: as concepções e práticas na...
...eloped to represent this problem, aiming to minimize the total operational cost that includes fixed costs,penalty costs if tasks are delayed and penalty costs with not completed tasks. The strategy to solve this problem was the exhausted search through discrete-event simulation. Aditionally, 2 methods of approach for the queue were analyzed: the first one is the FIFO (First In First Out) and the second one is th...
... totais da operação, que englobam custos fixos, custos de penalidade por atraso no atendimento das tarefas, e penalidade por falta de cumprimento de tarefas. A abordagem de solução do modelo é a busca exaustiva onde são comparados cenários de simulação de eventos discretos. Adicionalmente, foram comparadas 2 modos de escolhas de tarefas na fila de tarefas, o primeiro é o modo FIFO (First In First Out), o segundo modo é a priorização de tarefas com maior custo de penalidade associado para o dimensi...
...es a method for segmentation of buildings roof planes present in LASER scanning data, based on image processing techniques and the RANSAC (RANdom SAmple Consensus) method. To avoid the exhaustive search of planar roof face segments throughout the LASER point cloud, to decrease significantly the computational effort and avoid the merge of different building segments accidentally coplanar, firstly, a point cloud p...
...em dados de varredura a LASER (Light Amplification by Stimulated Emission of Radiance), tendo por base técnicas de processamento de imagem e o método RANSAC (RANdom SAmple Consensus). Para evitar a busca exaustiva de segmentos de planos de telhados em toda a nuvem de pontos LASER, diminuir significativamente o esforço computacional e evitar a junção de segmentos de edifícios diferentes, mas coplanares, primeiramente é realizado um pré-processamento da nuvem de pontos a fim de separar os pontos pertence...
...is the P vs NP problem. Intuitively, it states that, for several important computational problems, there is no algorithm that performs better than a trivial exhaustive search. We present here an introduction to the subject, followed by more recent and advanced results. In particular, the diagonalization method is discussed in detail. Although it is a classical technique in computational complexity, it is the onl...
...problemas computacionais. O problema P vs NP é uma questão central em complexidade computacional. Informalmente, ele procura determinar se, para uma classe importante de problemas computacionais, a busca exaustiva por soluções é essencialmente a melhor alternativa algorítmica possível. Esta obra oferece tanto uma introdução clássica ao tema, quanto uma exposição a diversos teoremas mais avançados, resultados recentes e problemas em aberto. Em particular, o método da diagonalização é discutido ...
...r, Be = 1,2, 1,3, 5,103, 1,4. The fluid flowing through the domain has its thermophysical properties defined by Prandtl number, Pr = 0,72. The Construtal Design method, associated with the exhaustive search, was used to determine the restrictions, degrees of freedom and objective in the geometric evaluation of the system. The numerical solution of the mass conservation, momentum and energy equations is solved ba...
...e Bejan, Be = 1,2, 1,3, 5,103, 1,4. O fluido que escoa através do domínio possui as propriedades termofisicas definidas pelo número de Prandtl, Pr = 0,72. O método Design Construtal, associado à busca exaustiva. foi empregado para determinar as restrições, graus de liberdade e o objetivo na avaliação geométrica do sistema A solução numérica das equações de conservação de massa, quantidade de movimento e energia foram resolvidas baseadas no método de volumes finitos, através do código comerc...
... replaced by AT coefficients. Despite this advantage, the technique is computationally intensive, because both the sub-regions and the corresponding ATs that have to be searched for. Here, a new form of similarity is proposed, based on the successive points generated by the iteration of affine transformations. By understanding an AT as a discrete dynamical system, with each image point represented by an iteratio...
...á que as regiões similares poderiam ser armazenadas como os coeficientes das transformações afins. Apesar desta vantagem em termos de compressão, a técnica é computacionalmente intensiva, pela busca exaustiva de sub-regiões e das ATs geradoras, de forma a proporcionar o melhor preenchimento em outras regiões da imagem. Esta pesquisa propõe uma nova forma de compressão baseada em ATs, utilizando a sequência de pontos gerada pela iteração das ATs. Entendendo uma AT como um sistema dinâmico em temp...
...cedure to group genes with related expression profiles, to provide an approximate solution with reduced computational complexity. The defined clusters were used to perform an exhaustive search to retrieve the best predictor gene subsets for each target gene, according to multivariate criterion functions. GeNICE greatly reduces the search space because predictor candidates are restricted to one representative gen...
...perfis de expressão relacionados, para fornecer uma solução aproximada com complexidade computacional reduzida. Os agrupamentos definidos são usados para reduzir a dimensionalidade permitindo uma busca exaustiva mais eficiente pelos melhores subconjuntos de genes preditores para cada gene alvo de acordo com funções critério multivariadas. GeNICE reduz consideravelmente o espaço de busca porque os candidatos a preditores ficam restritos a um gene representante por agrupamento. No final, uma análise mul...
...The features of this codebook are used to reduce both the number of searched codevectors and the number of computed autocorrelation coefficients in comparison to the full position search and the focused search. Transients in CELP coders are analyzed from two standpoints, one at the decoder and the other at the analysis process. Starting from a state vector adjustment method, a novel transient suppression method ...
...pulsos algébricos. Ela aproveita a natureza do dicionário para reduzir o número de vetores-código pesquisado e o número de coeficientes de autocorrelação calculados em comparação tanto com a busca exaustiva em posições quanto com a busca focalizada. Analisam-se os transitórios em codificadores CELP a partir de dois pontos de vista baseados no decodificador e no analisador. A partir de um método de supressão de transitórios por ajuste do vetor de estados, propõe-se um método novo baseado numa e...
...map through the concordance mapping with exhaustive search, and to evaluate the effectiveness of its use to evaluate coffee tasters, using data from the final stage of the Coffee Quality Contest of Minas Gerais. The concordance map, obtained by exhaustive analysis of the combination of tasters for repeatability, is a viable technique in the evaluation of coffee tasters and is an alternative to indicate the reduc...
...liados apresenta similaridade, sendo convergentes na avaliação dos cafés. No capítulo 3 objetivou-se propor o uso do mapa de concordância, por meio da técnica de mapeamento de concordância com busca exaustiva. e avaliar a eficácia do seu uso para avaliação de provadores de café, utilizando dados da etapa final do Concurso de Qualidade dos Cafés de Minas Gerais. O mapa de concordância, obtido por meio da análise exaustiva da combinação de provadores quanto à repetibilidade, é uma técnica viá...
... replaced by AT coefficients. Despite this advantage, the technique is computationally intensive, because both the sub-regions and the corresponding ATs that have to be searched for. Here, a new form of similarity is proposed, based on the successive points generated by the iteration of affine transformations. By understanding an AT as a discrete dynamical system, with each image point represented by an iteratio...
...á que as regiões similares poderiam ser armazenadas como os coeficientes das transformações afins. Apesar desta vantagem em termos de compressão, a técnica é computacionalmente intensiva, pela busca exaustiva de sub-regiões e das ATs geradoras, de forma a proporcionar o melhor preenchimento em outras regiões da imagem. Esta pesquisa propõe uma nova forma de compressão baseada em ATs, utilizando a sequência de pontos gerada pela iteração das ATs. Entendendo uma AT como um sistema dinâmico em temp...
...tion and parallelism exploitation of two motion estimation algorithms in GPU focused in encoding high definition video and the real time processing. Full Search algorithm (FS) is known as optimal since it finds the best match by exhaustively searching between frames. The fast Diamond Search algorithm reduces significantly the ME complexity while keeping the video quality near FS performance. By exploring the max...
... na codificação de vídeo de alta definição e no processamento em tempo real. O algoritmo Full Search (FS) é conhecido como algoritmo ótimo, pois encontra os melhores resultados a partir de uma busca exaustiva entre os quadros. O algoritmo rápido Diamond Search (DS) reduz significativamente a complexidade da ME mantendo a qualidade de vídeo próxima ao desempenho apresentado pelo FS. A partir da exploração máxima do paralelismo dos algoritmos FS e DS e do processamento paralelo disponível na...
... The proposed method mixes a local exhaustive search and a new multi-objective evolutionary algorithm in subpopulation tables that uses a data structure named Node-Depth Encoding. For evaluating the relative performance of proposed method, simulations were performed in small distribution systems and the performance was compared with the performance a Mathematical Programing method from literature. New experiment...
...otamente, que, diferentemente das chaves controladas manualmente, podem ser operadas com menores custos e de maneira mais rápida. O método proposto consiste, de maneira sintética, na união de uma busca exaustiva aplicada localmente a um novo algoritmo evolutivo multi-objetivo em tabelas de subpopulação que faz uso de uma estrutura de dados eficiente denominada Representação Nó-Profundidade. Para avaliar a performance relativa do método proposto, simulações foram realizadas num sistema de distribui...
... man-made constructions alter the natural environment and the physical, chemical and biological water characteristics. Time series of remote sensing images, which provide a synoptic view and suitable temporal and spectral resolution, allow studying the trophic phenomena in large artificial lakes and evaluate the variability of optically active components associated with trophic processes from periodic patterns o...
...em dados de varredura a LASER (Light Amplification by Stimulated Emission of Radiance), tendo por base técnicas de processamento de imagem e o método RANSAC (RANdom SAmple Consensus). Para evitar a busca exaustiva de segmentos de planos de telhados em toda a nuvem de pontos LASER, diminuir significativamente o esforço computacional e evitar a junção de segmentos de edifícios diferentes, mas coplanares, primeiramente é realizado um pré-processamento da nuvem de pontos a fim de separar os pontos pertence...
...efined and minimized with respect to the model parameters in correspondence to a given set of slipping frequencies. The numerical solution to this problem was obtained by an exhaustive search algorithm. This choice was made because the number of independent variables is small and a region containing the solution is known with a significant degree of confidence. The results obtained show that the nominal values o...
...ou-se uma medida de erro entre as potências medidas e as calculadas pelo modelo para um conjunto pré-fixado de escorregamentos. A solução desse problema de otimização foi obtida por meio de uma busca exaustiva. uma vez que o número de variáveis independentes do problema é pequeno e uma região contendo o ponto de mínimo é conhecida com razoável confiança. Os resultados obtidos indicam que os valores dos parâmetros nominais a quente apresentam algumas diferenças em relação àqueles produzidos p...
...order of complexity and by reordering the reading of macroblocks inside of the search area. An expressive improvement in processing speed is obtained and the optimum solution of the motion vector estimation, also achieved by exhaustive search and SEA, is preserved. The algorithm is implemented as part of an MPEG-2 encoder and it is shown that MSEA achieves adequate rate x distortion curves at a smaller computati...
... de complexidade e criando uma ordem de leitura dos macroblocos dentro da região de pesquisa. Tem-se um ganho expressivo na velocidade de processamento, conservando-se a solução ótima obtida pela busca exaustiva ou pelo algoritmo SEA. O algoritmo é implementado como parte de um codificador MPEG-2 e mostra-se que o MSEA atinge curvas de taxa x distorção adequadas, a um custo computacional inferior aos de seus concorrentes. Mostra-se, também, a possibilidade de se mesclar o MSEA com outros algorit...
...d thus having the opportunity to understand their interactions better. Currently, one of the most prominent techniques for the verification of systems is the Model Checking. Such technique performs an exhaustive search in the space state of an event driven system, verifying the properties specified as established propositions in temporal logic. On this work, the TCTL logic is used due its ability to express prop...
... sistemas de controle, onde suas interações possam ser mais bem compreendidas. Atualmente, umas das técnicas mais proeminentes para a verificação de sistemas é o Model Checking, que realiza uma busca exaustiva no espaço de estados de um sistema dirigido por eventos, verificando as propriedades especificadas a partir de proposições estabelecidas em lógica temporal. Para esse trabalho é utilizada a lógica TCTL devido a sua capacidade de expressar propriedades em domínio temporal denso. Como ferramen...
Inglês
Português
Resultados da busca para 
