DECOM - Artigos publicados em periódicos
URI Permanente para esta coleção
Navegar
Navegando DECOM - Artigos publicados em periódicos por Data de Publicação
Agora exibindo 1 - 20 de 301
Resultados por página
Opções de Ordenação
Item A type system for context-dependent overloading.(1998) Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão deThis article presents a type system for context-dependent overloading, based on the notion of constrained types. These are types constrained by the definition of functions or constants of given types. This notion supports both overloading and a form of subtyping, and is related to Haskell type classes [11,2], System O [7] and other systems with constrained types. We study an extension of the Damas-Milner system [4,1] with constrained types. The inference system presented uses a context-dependent overloading policy, which is specified by means of a predicate used in a single inference rule. The idea simplifies the treatment of overloading, enables the simplification of inferred types (by means of class type annotations), and is adequate for use in a type system with higher-order types.Item Towards higher-order types.(1998) Figueiredo, Carlos Camarão de; Figueiredo, Lucília Camarão deThis article explores the use of types constrained by the definition of functions of given types. This notion supports both overloading and a form of subtyping, and is related to Haskell type classes and System O. We study an extension of the Damas-Milner system, in which overloaded functions can be defined. The inference system presented uses a context-independent overloading policy, specified by means of a predicate used in a single inference rule. The treatment of overloading is less restrictive than in similar systems. Type annotations are not required, but can be used to simplify inferred types. The work motivates the use of constrained types as parameters of other, higher-order types.Item Qualidade de serviço IP : nasce uma nova internet.(2000) Cavalcanti, Carlos Frederico Marcelo da Cunha; Loureiro, Antônio Alfredo Ferreira; Fernandes, Antônio Otávio; Nogueira, José Marcos SilvaPor causa do rápido crescimento do tráfego em aplicações de tempo real, as redes de computadores requerem mais funções do que anteriormente oferecidas no passado. Na presente geração da Intemet, constata-se a grande demanda por aplicações comércio eletrônico, de voz e de multimídia. É essencial que a rede suporte diferentes níveis de Qualidade de Serviço (QoS) e cada nível seja associado a um usuário ou a um grupo de usuários distintos. Em resposta ao crescimento da demanda por QoS na Intemet, a Internet Engineering Task Force estabeleceu dois grupos de trabalho denominados DiffServ and IntServ. Este artigo apresenta os principais conceitos e soluções propostas por ambos para prover Qualidade de Serviço, estendendo a arquitetura TCP/IP.Item Melhorando quadros de horário de escolas através de caminhos mínimos.(2000) Souza, Marcone Jamilson Freitas; Maculan Filho, Nelson; Ochi, Luiz SatoruItem Uma heurística para o problema de programação de horários em escolas.(2001) Souza, Marcone Jamilson Freitas; Maculan Filho, Nelson; Ochi, Luiz SatoruApresentamos GBT-II, uma heurística para resolver problemas de programação de horários em escolas. A partir de uma solução inicial gerada por um procedimento construtivo parcialmente guloso, um procedimento de Busca Tabu inicia sua pesquisa. Quando uma solução sem sobreposições, mas com, possivelmente, algum outro tipo de inviabilidade, é gerada, acionamos um procedimento chamado intraturmas-Intertumas para tentar recuperar a viabilidade. Sendo bem sucedido, ele é novamente acionado, agora para tentar melhorar a capacidade da agenda dos professores, bem como outras medidas de qualidade. Após um certo número de interações sem melhora, todo o processo, desde a geração de uma solução inicial, é repetido até que uma condição de parada seja satisfeita . Resultados computacionais mostram que a tilização do procedimento Intraturmas-Interturmas faz produzir soluções melhores rapidamente.Item A view on abstract and extensible types.(2002) Figueiredo, Lucília Camarão de; Figueiredo, Carlos Camarão deThis paper presents a type declaration construct which provides either a type synonym, a datatype, an abstract type with views, a subtype of an existing type, or a module (collection of declarations), in the style of modern functional programming languages ahich provide support for parametric polymorphism.Item Geração de números aleatórios.(2002) Pereira Junior, Álvaro Rodrigues; Freitas, Maria Eugênia de Almeida; Lacerda, Wilian SoaresEste artigo aborda a geração de números aleatórios uniformemente distribuídos no intervalo [0,11 utilizando o método do resíduo. A partir desta distribuição, é possível gerar outras atribuições por meio de transformações. Entretanto, é difícil obter uma distribuição perfeita devido às dificuldades computacionais. São apresentados exemplos de geração de números aleatórios com algumas distribuições conhecidas (gaussiana e exponencial) e mostrados os resultados obtidos.Item Metaheurísticas aplicadas ao problema de programação de tripulações no sistema de transporte público.(2004) Souza, Marcone Jamilson Freitas; Cardoso, Leonardo Xavier Teixeira; Silva, Gustavo Peixoto; Rodrigues, Margarida Maria Silva; Mapa, Silvia Maria SantanaEste trabalho aborda o Problema de Programação de Tripulações (PPT) no Sistema de Transporte Público. Tal problema consiste em atribuir um conjunto de tarefas aos tripulantes de uma dada empresa participante do sistema de forma que todas as viagens das linhas sob responsabilidade desta sejam executadas com o menor custo possível. A solução do PPT ´e um conjunto de jornadas diárias de trabalho de tripulantes. Neste trabalho, o PPT foi abordado utilizando as metaheurısticas Simulated Annealing(SA), Método de Pesquisa em Vizinhança Variável e Busca Tabu (BT). Esses métodos exploram o espaço de soluções utilizando diferentes estruturas de vizinhança, as quais modificam as jornadas de trabalho através de operações realizadas com suas tarefas. Cada solução gerada pelos métodos ´e avaliada por uma função baseada em penalidades que visa atender a legislação trabalhista, as regras operacionais da empresa, assim como melhorar o aproveitamento da Mao de obra operacional. Os algoritmos foram testados com dados reais de uma empresa que opera na cidade de Belo Horizonte.Item Compulsory institutionalization : investigating the paradox of computer-supported informal social processes.(2004) Souza, Clarisse Sieckenius de; Costa, Ana Maria Nicolaci da; Silva, Elton José da; Prates, Raquel OliveiraThe nature and depth of technological interference on social activities online are not fully understood. We discuss one such type of interference—compulsory institutionalization, the process by which noninstitutionalized face-to-face informal groups, who typically adopt implicit norms tacitly accepted by members, must create a set of explicit group structuring rules with very specific computer-encoded meanings and abide by them when they migrate to online group environments. In societies where rules can be bypassed in view of more highly valued social norms, like the Brazilian society, compulsory institutionalization may undermine experiences that are highly valued to face-to-face groups. In this article, we contrast the findings of our study with a Brazilian group of potential groupware users and those of our semiotic inspection of YahooGroups, SmartGroups and MSN Groups. We show how the systems may frustrate the group’s expectations and limit their interaction online. Reflecting on the causes and consequences of compulsory institutionalization, we conclude that the social–technical gap in group technologies may not be possible to bridge completely, and that the fulcrum of scientific research in this area may include some new aspects.Item Um modelo de programação matemática para alocação estática de caminhões visando ao atendimento de metas de produção e qualidade.(2005) Costa, Felippe Pereira da; Souza, Marcone Jamilson Freitas; Pinto, Luiz RicardoEsse trabalho desenvolve um modelo de programação linear por metas (goal programming ) aplicado ao planejamento de produção em mineração. O objetivo é determinar o ritmo de lavra de cada frente, considerando a alocação de equipamentos de carga e transporte, de modo a fornecer à usina de beneficiamento uma alimentação adequada. Como cada frente possui características de qualidade diferentes, o ritmo de lavra deve ser realizado de forma proporcional, sendo limitado pela capacidade de produção dos equipamentos de carga e transporte disponíveis na mina. A mistura do minério proveniente de cada frente deve gerar uma alimentação que atenda as metas de qualidade e produção conforme as especificações preestabelecidas. Nesse trabalho, foi adotado o sistema de alocação estática de caminhões, por ser geralmente utilizado em minerações de pequeno e médio porte, devido à simplificação das operações e ao alto custo de implantação de um sistema de despacho eletrônico de caminhões. O modelo de programação matemática desenvolvido foi implementado no software de otimização LINGO 7.0 interfaceando com planilhas do EXCEL 2000, proporcionando, dessa forma, uma melhor interação entre o usuário e o aplicativo. O modelo foi validado usando uma instância-teste disponível na literatura, acrescidade metas de produção e qualidade.Item Simulated Annealing aplicado à resolução do problema de roteamento de veículos com janela de tempo.(2005) Gomes Júnior, Aloísio de Castro; Souza, Marcone Jamilson Freitas; Martins, Alexandre XavierEste trabalho apresenta um algoritmo eficiente, baseado na metaheurística Simulated Annealing (SA), para resolver o Problema de Roteamento de Veículos com Janela de Tempo. Esse problema tem como objetivo determinar as rotas de custo mínimo para uma frota de veículos de mesma capacidade, atendendo à demanda de um conjunto de clientes, para os quais o atendimento somente é possível dentro de um intervalo de tempo determinado, chamado ja -nela de tempo. A metodologia proposta, denominada SA-RAI, incorpora ao algoritmo Simulated Annealing clássico, mecanismos auto-adaptativos para determinação da temperatura inicial e número de iterações em uma mesma temperatura. Nesta metodologia, quando a temperatura atinge um valor limiar, a mesma é reaquecida um certo número de vezes, possibilitando escapar de ótimos locais. Além disso, ela conta com uma fase de intensificação. Sempre que uma melhor solução é encontrada, ela é submetida a um procedimento de refinamento, visando ao seu melhoramento. A metodologia foi aplicada a 168 problemas-teste da literatura e 13 novos melhores resultados foram encontrados.Item Otimização da operação dos veículos de empresas do transporte público de Belo Horizonte.(2005) Silva, Gustavo Peixoto; Bicalho, Mariza Salvador Souza; Souza, Marcone Jamilson FreitasEste trabalho utiliza modelos de fluxo em redes para resolver o problema de Programação de veículos no transporte coletivo por ônibus. Este problema, denominado na literatura de vehicle scheduling problem, é tradicionalmente modelado como um problema de pseudo designação, e resolvido com algoritmos específicos. Porém, mesmo para casos considerados pequenos, a rede subjacente alcança tal dimensão que demanda um esforço computacional muitas vezes impraticável. Para contornar essa dificuldade, foi aplicado o método Arcgen que representa o problema através de um modelo de circulação e utiliza a técnica de geração de arcos combinada com o algoritmo out-of-kilter para otimização em redes. Esta metodologia foi utilizada no estudo de dois casos de portes distintos que operam na cidade de Belo Horizonte. São apresentados os resultados obtidos com o estudo dos casos mencionados acima, os quais apontaram diferentes opções para a programação dos veículos, verificando-se: a) a possibilidade de redução nos seus custos operacionais e b) a aplicabilidade prática de soluções teóricas, comparando-as com as programações adotadas pelas empresas.Item The tropical biominer project : mining old sources for new drugs.(2005) Artiguenave, François; Aquino, André Luiz Lins de; Maciel, Wesley Dias; Caldeira Júnior, Antônio Celso; Coelho, Carla Nacif; Linhares, Maria Margarida Ribeiro de Souza; Oliveira, Guilherme Corrêa de; Barbosa, Luis Humberto Rezende; Lopes, Júlio César Dias; Coelho Júnior, Claudionor José NunesThe tropical biominer project: mining old sources for new drugs The Tropical Biominer Project is a recent initiative from the Federal University of Minas Gerais (UFMG) and the Oswaldo Cruz foundation, with the participation of the Biominas Foundation (Belo Horizonte, Minas Gerais, Brazil) and the start-up Homologix. The main objective of the project is to build a new resource for the chemogenomics research, on chem-ical compounds, with a strong emphasis on natural molecules. Adopted technologies include the search of information from structured, semi-structured, and non-structured documents (the last two from the web) and datamining tools in order to gather information from dif-ferent sources. The database is the support for developing applications to find new poten-tial treatments for parasitic infections by using virtual screening tools. We present here the midpoint of the project: the conception and implementation of the Tropical Biominer Data-base. This is a Federated Database designed to store data from different resources. Con-nected to the database, a web crawler is able to gather information from distinct, patented web sites and store them after automatic classification using datamining tools. Finally, we demonstrate the interest of the approach, by formulating new hypotheses on specific targets of a natural compound, violacein, using inferences from a Virtual Screening procedure.Item Processos de ocupação nas novas fronteiras da Amazônia (o interflúvio do Xingu/ Iriri).(2005) Escada, Maria Isabel Sobral; Vieira, Ima Célia Guimarães; Kampel, Silvana Amaral; Araújo, Roberto; Veiga, Jonas Bastos da; Oliveira, Myriam; Pereira, Jorge Luís Gavina; Carneiro Filho, Arnaldo; Fearnside, Philip Martin; Venturieri, Adriano; Carriello, Felix; Thales, Marcelo; Carneiro, Tiago Garcia de Senna; Monteiro, Antônio Miguel Vieira; Câmara, GilbertoEste trabalho apresenta os primeiros resultados do esforço conjunto de várias instituições, organizadas em torno da rede Geoma (Rede Temática de Pesquisa em Modelagem Ambiental da Amazônia) para avançar a compreensão dos novos padrões e processos de estruturação do território nas novas frentes no sul do Pará, analisando padrões de desmatamento e os processos que dão origem a esses padrões. Busca-se, aqui, produzir os subsídios necessários para o desenho de políticas públicas responsáveis, que não privilegiem um único aspecto do problema, como a abertura de estradas, por exemplo. Aponta-se, então, a partir desses primeiros resultados, que apenas uma solução integrada que procure estruturar os principais agentes e processos na cadeia produtiva seria possível para minorar os efeitos do desmatamento e nortear o desenvolvimento integrado para a região, com benefícios para a floresta e para as populações que ali vivem.Item Can inspection methods generate valid new knowledge in HCI? : The case of semiotic inspection.(2006) Souza, Clarisse Sieckenius de; Leitão, Carla Faria; Prates, Raquel Oliveira; Bim, Silvia Amélia; Silva, Elton José daHCI evaluation methods tend to be proposed and used to verify the interactive qualities of specific systems and design strategies. A discussion about the scientific merits of such methods to advance knowledge in HCI as a field is very rare, although much needed. This paper shows that, under certain conditions, inspection methods can be safely used in scientific research in HCI and extend their advantages beyond the territory of professional practice. Taking the Semiotic Inspection Method (SIM) as an example, we argue that its interpretive results are objective, can be validated, and produce scientific knowledge comparable to that generated by more widely accepted methods.Item Métodos exatos para resolver o problema de programação da tripulação.(2006) Silva, Gustavo Peixoto; Souza, Marcone Jamilson Freitas; Atzingen, Jorge vonEste trabalho tem como objetivo implementar um método de otimização para o Problema da Programação de Tripulações(PPT), o qual visa determinar um conjunto de jornadas de trabalho para as tripulações, de tal forma que a programação dos veícu los seja realizada com o menor custo possível. Como restrições, cada jornada deve atender à legislação e à convenção coletiva de trabalho do setor. Neste trabalho são apresentadas e comparadas quatro dife rentes metodologias de geração de colunas para o PPT, definindo assim problemas de programação linear inteira com variáveis binárias. A primeira metodologia consiste em definir um intervalo de tempo durante o qual poderá ocorrer a troca de tri pulações. Na segunda metodologia as jornadas possuem pelo menos um dado tempo mínimo de duração. Na terceira metodologia é implementada a heurística de Chvátal. A quarta metodologia apresenta a implementação de um método híbrido de geração de colunas para o PPT. Neste trabalho apresentam-se resultados comparativos obtidos com a aplicação d as metodologias a problemas reais.Item Fast detection of arbitrarily shaped disease clusters.(2006) Assunção, Renato Martins; Costa, Marcelo Azevedo; Tavares, Andréa Iabrudi; Ferreira, Sabino JoséDisease cluster detection and evaluation have commonly used spatial statistics methods that scan the map with a fixed circular window to locate candidate clusters. Recently, there has been interest in searching for clusters with arbitrary shape. The circular scan test retains high power of detecting a cluster, but does not necessarily identify the exact regions contained in a non-circular cluster particularly well. We propose, implement and evaluate a new procedure that is fast and produces clusters estimates of arbitrary shape in a rich class of possible cluster candidates. We showed that our methods contain the so-called upper level set method as a particular case. We present a power study of our method and, among other results, the main conclusion is that the likelihood-based arbitrarily shaped scan method is not appropriate to _nd a cluster estimate. When the parameter space includes the set of all possible spatial clusters in a map, a large and discrete parameter space, maximum likely cluster estimates tend to overestimate the true cluster by a large extent. This calls for a new approach different from the maximum likelihood method for this important public health problem.Item Um modelo de programação matemática para otimizar a composição de lotes de minério de ferro da mina Cauê da CVRD.(2006) Moraes, Edilaila Fernandes; Alves, José Maria do Carmo Bento; Souza, Marcone Jamilson Freitas; Cabral, Ivo Eyer; Martins, Alexandre XavierEsse trabalho tem seu enfoque no problema de blendagem de produtos de minério de ferro, estocados nos pátios da mina Cauê, da Companhia Vale do Rio Doce, em Itabira, Minas Gerais, para a composição de lotes. Pro-põe-se um modelo de programação linear por metas que visa a determinar os locais de retomada dos produtos estocados, de tal forma que a mistura atenda aos limites de especificações de qualidade e quantidade preestabelecidos pelo cliente e satisfaça as restrições operacionais dos pátios. O modelo de programação matemática desenvolvido foi implementado no modelador e otimiza-dor LINGO 9.0, interfaceando com planilhas do EXCEL 2000, possibilitando a utilização e exportação de dados em um ambiente familiar à empresa de mineração. O sistema desenvolvido foi validado comparando-se os resultados obtidos com os produzidos manualmente pela empresa. Os resultados computacionais apresentados comprovaram que é possível prover uma melhora na composição dos lotes através do modelo proposto.Item Análise comparativa de métodos para resolver o problema de tripulações.(2007) Silva, Gustavo Peixoto; Souza, Marcone Jamilson Freitas; Atzingen, Jorge vonEste trabalho trata do Problema da Programação de Tripulações (PPT), o qual visa determinar um conjunto de jornadas de trabalho para as tripulações de menor custo e tal que a programação dos veículos seja realizada com sucesso. Como restrição, cada jornada deve atender à legislação trabalhista do setor. Neste trabalho são comparados quatro diferentes métodos de geração e seleção de colunas, sendo que cada coluna corresponde a uma jornada para o PPT. No primeiro método são geradas colunas considerando intervalos de tempo, ao longo do dia, nos quais pode ocorrer a troca de tripulações. No segundo, as j ornadas geradas apresentam um dado tempo mínimo de duração. No terceiro método é implementada a heurística de Chvátal, a qual seleciona colunas para o PPT. O quarto método combina o segundo e o terceiro métodos. São apresentados resultados comparativos com dados reais,mostrando a possibilidade da utilização prática desses métodos em casos brasileiros.Item Metaheurísticas híbridas para resolução do problema do caixeiro viajante com coleta de prêmios.(2007) Chaves, Antônio Augusto; Biajoli, Fabrício Lacerda; Mine, Otávio Massashi; Souza, Marcone Jamilson FreitasO Problema do Caixeiro Viajante com Coleta de Prêmios (PCVCP) pode ser associado a um caixeiro que coleta um prêmio em cada cidade visitada e paga uma penalidade para cada cidade não visitada, com um custo de deslocamento entre as cidades. O problema encontra-se em minimizar o somatório dos custos da viagem e penalidades, enquanto inclui na sua rota um número suficiente de cidades que lhe permita coletar um prêmio mínimo preestabelecido. Este trabalho contribui com o desenvolvimento de metaheurísticas híbridas para o PCVCP, baseadas em GRASP e métodos de busca em vizinhança variável (VNS/VND) para solucionar aproximadamente o PCVCP. De forma a validar as soluções obtidas, propõe-se uma formulação matemática a ser resolvida por um solver comercial, objetivando encontrar a solução ótima para o problema, sendo este solver aplicado a problemas de pequeno porte. Resultados computacionais demonstram a eficiência da abordagem híbrida proposta, tanto em relação à qualidade da solução final obtida quanto em relação ao tempo de execução.