DECOM - Trabalhos apresentados em eventos
URI permanente para esta coleçãohttp://www.hml.repositorio.ufop.br/handle/123456789/581
Navegar
5 resultados
Resultados da Pesquisa
Item Scatter search based approach for the quadratic assignment problem(1997) Cung, Van Dat; Mautor, Thierry; Michelon, Philippe Yves Paul; Tavares, Andréa IabrudiScatter search is an evolutionary heuristic, proposed two decades ago, that uses linear combinations of a population subset to create new solutions. A special operator is used to ensure their feasibility and to improve their quality. In this paper, we propose a scatter search approach to the QAP problem. The basic method is extended with intensification and diversification stages and we present a procedure to generate good scattered initial solutionsItem An embedded converter from RS232 to universal serial bus.(2001) Zuquim, Ana Luiza de Almeida Pereira; Coelho Júnior, Claudionor José Nunes; Fernandes, Antônio Otávio; Oliveira, Marcos Pêgo; Tavares, Andréa IabrudiUniversal Serial Bus (USB) is a new personal computer interconnection protocol, developed to make the connection of peripheral devices to a computer easier and more efficient. It reduces the cost for the enduser, improves communication speed and supports simultaneous attachment of multiple devices (up to 127). RS232, in another hand, was designed to single device connection, but is one of the most used communication protocols. An embedded converter from RS232 to USB is very interesting, since it would allow serial-based devices to experience USB advantages without major changes. This work describes the specification and development of such converter and it is also a useful guide for implementing other USB devices. The converter specification was based on Engetron UPS’ serial communication requirements and its implementation uses a Cypress microcontroller with USB support.Item An early warning system for space-time cluster detection.(2003) Assunção, Renato Martins; Tavares, Andréa Iabrudi; Kulldorff, MartinA new topic of great relevance and concern has been the design of efficient early warning systems to detect as soon as possible the emergence of spatial clusters. In particular, many applications involving spatial events recorded as they occur sequentially in time require this kind of analysis, such as fire spots in forest areas as in the Amazon, crimes occurring in urban centers, locations of new disease cases to prevent epidemics, etc. We propose a statistical method to test for the presence of space-time clusters in point processes data, when the goal is to identify and evaluate the statistical significance of localized clusters. It is based on scanning the three dimensional space with a score test statistic under the null hypothesis that the point process is an inhomogeneous Poisson point process with space and time separable first order intensity. We discuss an algorithm to carry out the test and we illustrate our method with space-time crime data from Belo Horizonte, a large Brazilian city.Item Balancing coordination and synchronization cost in cooperative situated multi-agent systems with imperfect communication.(2004) Tavares, Andréa Iabrudi; Campos, Mário Fernando MontenegroWe propose a new Markov team decision model to the decentralized control of cooperative multi-agent systems with imperfect communication. Informational classes capture system’s communication semantics and uncertainties about transmitted information and stochastic transmission models, including delayed and lost messages, summarize characteristics of communication devices and protocols. This model provides a quantitative solution to the problem of balancing coordination and synchronization cost in cooperative domains, but its exact solution is computationally infeasible.We propose a generic heuristic approach, based on a off-line centralized team plan. Decentralized decision-making relies on Bayesian dynamic system estimators and decision-theoretic policy generators. These generators use system estimators to express agent’s uncertaintyabout system state and also to quantify expected effects of communication on local and external knowledge. Probabilities of external team behavior, a byproduct of policy generators, are used into system estimators to infer state transition. Experimental results concerning two previously proposed multi-agent tasks are presented, including limited communication range and reliability.Item Efficient allocation of verification resources using revision history information.(2008) Nacif, José Augusto Miranda; Silva, Thiago; Tavares, Andréa Iabrudi; Fernandes, Antônio Otávio; Coelho Júnior, Claudionor José NunesVerifying large industrial designs is getting harder each day. he current verification methodologies are not able to guarantee bug free designs. Some recurrent questions during a design verification are: Which modules are most likely to contain undetected bugs? In wich modules the verification team should concentrate their effort? This information is very useful, because it is better to start verifying the most bug-prone modules. In this work we present a novel approach to answer these questions. In order to identify these bug rone modules the revision history of the design is used. Using information of an academic experiment, we demonstrate that there is a close between bugs/changes history and future bugs. Our results show that allocating modules for verification based on bugs/changes leaded to the coverage of 91.67% of future bugs, while random based strategy covered only 37.5% of the future work mainly focused in software engineering techniques to bugs.