SciELO Brasil - Scientific Electronic Library Online
(53,052 recursos)
SciELO (Scientific Electronic Library Online) is an electronic library covering a selected collection of Brazilian scientific journals. The objective of the site is to implement an electronic virtual library, providing full access to a collection of serial titles, a collection of issues from individual serial titles, as well as to the full text of articles. The project envisages the development of a common methodology for the preparation, storage, dissemination and evaluation of scientific literature in electronic format.
Mostrando recursos 101 - 117 de 117
101.
Web cache location - Boffey,Brian; Saeidi,Pirooz
Stress placed on network infrastructure by the popularity of the World Wide Web may be partially relieved by keeping multiple copies of Web documents at geographically dispersed locations. In particular, use of proxy caches and replication provide a means of storing information 'nearer to end users'. This paper concentrates on the locational aspects of Web caching giving both an overview, from an operational research point of view, of existing research and putting forward avenues for possible further research. This area of research is in its infancy and the emphasis will be on themes and trends rather than on algorithm construction....
103.
Um método primal-dual aplicado na resolução do problema de fluxo de potência ótimo - Baptista,Edméa Cássia; Belati,Edmarcio Antonio; Costa,Geraldo R. M. da
Este artigo apresenta uma nova abordagem para a resolução do problema de Fluxo de Potência Ótimo. Nesta abordagem as restrições canalizadas são tratadas pelo método de barreira logarítmica. Uma função Lagrangiana aumentada é associada ao problema modificado. As condições necessárias de primeira ordem são aplicadas gerando um sistema não-linear que é resolvido pelo método de Newton. Os multiplicadores de Lagrange associados às desigualdades são atualizados pela regra proposta por Hestenes. Testes numéricos indicam que a abordagem proposta é eficiente na resolução do problema de Fluxo de Potência Ótimo.
104.
Practical comparison of approximation algorithms for scheduling problems - Xavier,Eduardo Candido; Miyazawa,Flávio K.
In this paper we consider an experimental study of approximation algorithms for scheduling problems in parallel machines minimizing the average weighted completion time. We implemented approximation algorithms for the following problems: P|r j|sigmaCj, P||sigmaw jCj, P|r j|sigmaw jCj, R||sigmaw jCj and R|r j|sigmaw jCj. We generated more than 1000 tests over more than 200 different instances and present some practical aspects of the implemented algorithms. We also made an experimental comparison on two lower bounds based on the formulations used by the algorithms. The first one is a semidefinite formulation for the problem R||sigmaw jCj and the other one is...
105.
Bayesian binary regression model: an application to in-hospital death after AMI prediction - Souza,Aparecida D. P.; Migon,Helio S.
A Bayesian binary regression model is developed to predict death of patients after acute myocardial infarction (AMI). Markov Chain Monte Carlo (MCMC) methods are used to make inference and to evaluate Bayesian binary regression models. A model building strategy based on Bayes factor is proposed and aspects of model validation are extensively discussed in the paper, including the posterior distribution for the c-index and the analysis of residuals. Risk assessment, based on variables easily available within minutes of the patients' arrival at the hospital, is very important to decide the course of the treatment. The identified model reveals itself strongly...
106.
Redistribuição de inputs e outputs em modelos de análise envoltória de dados com ganhos de soma zero - Gomes,Eliane Gonçalves; Mello,João Carlos C. B. Soares de; Lins,Marcos Pereira Estellita
Neste artigo apresenta-se uma extensão do modelo DEA com Ganhos de Soma Zero (DEA-GSZ) para os casos em que devido à redução de outputs (para que a soma seja constante) há a possibilidade ou a imposição de redução dos inputs utilizados. Nesses casos não há o deslocamento da fronteira como um todo, mas sim o deslocamento das DMUs pela fronteira eficiente (ou pelas camadas de iso-eficiência), o que provoca a deformação da fronteira. São apresentados os casos bidimensional e multidimensional. Para este, devido à complexidade dos algoritmos de determinação de faces do poliedro envolvente (fronteira DEA), é proposto o uso...
107.
Uma abordagem usando redes neurais artificiais para resolução de problemas de otimização restrita - Silva,Ivan Nunes da; Amaral,Wagner Caradori do; Arruda,Lúcia V. R. de
Sistemas baseados em redes neurais artificiais fornecem altas taxas de computação devido ao uso de um número massivo de elementos processadores simples. Redes neurais com conexões realimentadas fornecem um modelo computacional capaz de resolver uma rica classe de problemas de otimização. Este artigo apresenta uma nova abordagem para resolver problemas de otimização restrita utilizando redes neurais artificiais. Mais especificamente, uma rede de Hopfield modificada é desenvolvida cujos parâmetros internos são calculados usando a técnica de subespaço válido de soluções. A partir da obtenção destes parâmetros a rede tende a convergir aos pontos de equilíbrio que representam as possíveis soluções para...
108.
Uma aproximação da fronteira eficiente para um problema de localização hierárquico de máxima cobertura - Espejo,Luis Gonzalo Acosta; Galvão,Roberto Diéguez
Este artigo considera uma extensão de um problema hierárquico de localização de máxima cobertura, na qual as coberturas para os dois níveis de serviço oferecidos são maximizadas independentemente. Apresentamos o modelo matemático e buscamos obter uma aproximação para a fronteira eficiente do problema bi-objetivo correspondente. O modelo bi-objetivo é resolvido através do método das ponderações, utilizando-se uma heurística lagrangeana. Os resultados mostram que as soluções geradas pela mesma fornecem uma aproximação da fronteira eficiente, incluindo soluções eficientes "suportadas" e "não-suportadas".
109.
Reordenamento eficiente das colunas básicas na programação de lotes e cortes - Bressan,Glaucia Maria; Oliveira,Aurelio Ribeiro Leite de
Neste trabalho consideramos o problema combinado, que acopla os problemas de dimensionamento de lotes e de corte de estoque, incluindo uma formulação matemática deste problema. Consideramos algumas propriedades da matriz de restrições deste modelo e como construir uma base esparsa para ela, utilizando um reordenamento estático das colunas. Resultados numéricos de uma implementação que realiza trocas de colunas básicas e verifica sua esparsidade, simulando o método simplex são apresentados. Experimentos numéricos também comprovam a robustez desta abordagem. Concluímos que a proposta de construção da base estática esparsa leva a bons resultados computacionais com relação à velocidade e robustez em comparação...
110.
Sistemas em paralelo com diferentes tipos de taxa de risco: análise de períodos e de custos de inspeção - Dias,J. Rodrigues; Infante,Paulo
Considerem-se dois ou mais sistemas em paralelo com diferentes tipos de taxas de risco e cujo estado de bom ou mau funcionamento é apenas detectado através de inspecções perfeitas. Considerando diferentes custos de inspecção e de mau funcionamento por unidade de tempo, em relação a cada um dos sistemas, pretende-se analisar, na sequência de trabalhos anteriores, o período e o custo óptimos por ciclo do sistema global resultante, que apresenta maior fiabilidade, tomando como referência um dos sistemas iniciais em paralelo.
111.
A methodology to filter time series: application to minute-by-minute electric load series - Suarez-Farinas,Mayte; Sousa,Rodrigo Lage de; Souza,Reinaldo Castro
In this article a methodology for filtering a time series is presented, with application to high frequency series such as the minute-by-minute electric load series. The goal of this approach is to detect and substitute the irregularities of the time series that can produce distortions on the modelling stage. Outlier values are detected through a dynamic linear model and the Bayes factor tool; missing values are then interpolated with a Smoothing Cubic Spline. The performance of the proposed approach is illustrated using real data and evaluated through a series of tests where the irregularities have been simulated.
112.
Determinação de escalas de plantão para militares considerando preferências e hierarquia - Silva,Tânia Cordeiro Lindbeck da; Steiner,Maria Teresinha Arns; Carnieri,Celso; Silva,Arinei Carlos Lindbeck da
O objetivo deste artigo é apresentar um modelo matemático de Programação Linear Inteira Binária (PLIB) para resolver o problema de escalas de trabalho para o serviço de guarda de soldados (militares) da Aeronáutica, de forma a definir os dias de serviço de guarda de cada militar, levando em consideração as suas preferências e as leis da hierarquia militar. Para a implementação e resolução do referido modelo, foi desenvolvido um programa computacional que serve como interface entre o usuário e o software LINGO, utilizado para resolver o modelo de PLIB. Para validar o modelo, várias simulações foram realizadas variando-se o número...
113.
Um parâmetro urbano global como referência para análises locais em modelos de locação-alocação - Lima,Renato da Silva; Silva,Antônio Nélson Rodrigues da
O objetivo desse trabalho é avaliar a utilização de um índice global de acessibilidade como padrão de referência para a distribuição espacial dos alunos da rede municipal de educação. Conhecida a localização dos alunos e das respectivas Creches e EMEIs (Escolas Municipais de Educação Infantil) de São Carlos, SP, no ano 2000, foi feita uma avaliação da distribuição real e de diversos cenários alternativos de alocação dos alunos, buscando minimizar os custos de deslocamento. Os resultados mostraram que é possível utilizar o índice proposto para definir níveis de atendimento (cobertura), de acordo com um certo grau de compacidade desejada para...
114.
Implementando um mecanismo de negociação integrativa: dificuldades e resultados - Néri,Edmilson Lucena; Dahia,Márcio Leal de Melo
Este artigo relata a experiência na formalização, em linguagem de programação, dos processos de decisão de compras e de negociação colaborativa, através de funções multiatributos de valor e pelas idéias de Howard Raiffa, encontradas no seu livro, The Art & Science of Negotiation, de 1982. De um caso específico, foi possível apontar algumas dificuldades de implementação, bem como apresentar alguns caminhos para a generalização formal desses processos. Com a popularização de sistemas multiagentes, formalizações do conhecimento sobre decisão e negociação são indispensáveis para uma mais segura, quiçá mais eficiente, delegação dessas tarefas a programas de computador.
115.
Computational complexity of classical problems for hereditary clique-helly graphs - Bonomo,Flavia; Durán,Guillermo
A graph is clique-Helly when its cliques satisfy the Helly property. A graph is hereditary clique-Helly when every induced subgraph of it is clique-Helly. The decision problems associated to the stability, chromatic, clique and clique-covering numbers are NP-complete for clique-Helly graphs. In this note, we analyze the complexity of these problems for hereditary clique-Helly graphs. Some of them can be deduced easily by known results. We prove that the clique-covering problem remains NP-complete for hereditary clique-Helly graphs. Furthermore, the decision problems associated to the clique-transversal and the clique-independence numbers are analyzed too. We prove that they remain NP-complete for a...
116.
Uma ferramenta para avaliação de resultados de diversos modelos de otimização de dietas - Namen,Anderson Amendoeira; Bornstein,Cláudio Thomás
O presente trabalho visa apresentar uma ferramenta para avaliação de modelos matemáticos relacionados à otimização do planejamento de dietas. Inicialmente, o problema original da dieta é caracterizado, bem como sua importância para o desenvolvimento da Pesquisa Operacional, seus desdobramentos e aplicações posteriores. Em seguida, são apresentados os diversos enfoques e técnicas adotadas para a elaboração de dietas para seres humanos. Alguns desses modelos são então implementados, efetuando-se uma análise comparativa dos resultados obtidos. Para isso, é utilizado um software que permite a definição de parâmetros relacionados às demandas humanas, restrições adicionais relacionadas às quantidades de alimentos e escolha de alguns...
101.
