A tool to simplify the management of homogeneous and heterogeneous grids

To simplify computer management, several system administrators are adopting advanced techniques to manage software configuration on grids, but the tight coupling between hardware and software makes every PC an individual managed entity, lowering the scalability and increasing the costs to manage hundreds or thousands of PCs. This paper discusses the feasibility of a distributed virtual machine environment, named Flexlab: a new approach for computer management that combines virtualization and distributed system architectures as the basis of a management system. Flexlab is able to extend the coverage of a computer management solution beyond client operating system limitations and also offers a convenient hardware abstraction, decoupling software and hardware, simplifying computer management. The results obtained in this work indicate that FlexLab is able to overcome the limitations imposed by the coupling between software and hardware, simplifying the management of homogeneous and heterogeneous grids. © 2009 IEEE.

Low cost technology applied to thermometry of grains

Modern agriculture demands investments in technology that allows the farmers to improve productivity and quality of their products, aiming to establish themselves in a competitive market. However, the high costs of acquiring and maintaining such technology may be an inhibiting factor to its spread and acceptance, mainly to a large number of small grain Brazilian farmers, who need low cost innovative technological solutions, suitable for their financial reality. Starting from this premise, this paper presents the development of a low cost prototype for monitoring the temperature and humidity of grains stored in silos, and the economic implications of cost/benefit ratio of innovative applications of low cost technology in the process of thermometry of grains. The prototype was made of two electronic units, one for acquisition and another one for data reception, as well as software, which offered the farmers more precise information for the control of aeration. The data communication between the electronic units and the software was reliable and both were developed using low cost electronic components and free software tools. The developed system was considered as potentially viable to small grain Brazilian farmers; it can be used in any type of small silos. It provided reduction of costs of installation and maintenance and also offered an easy expansion system; besides the low cost of development when compared to similar products available in the Brazilian market.

Collectives of humans-with-media in mathematics education: Notebooks, blackboards, calculators, computers and ... notebooks throughout 100 years of ICMI

The main aim of this study was to present evidence of the ways in which different media have conditioned and dramatically reorganized education, in general, and mathematics education, in particular. After an introduction of the theme, we discuss the epistemological perspective that provides the foundation for our analysis: the notion of humans-with-media. Then, we briefly illustrate how the medium is related to the scientific production of mathematical knowledge. We take a detour into the world of art to examine how devices and instruments have historically been associated with the production of mathematical knowledge. Then, we review studies on the history of education to show how traditional media were introduced into schools and have influenced education. In particular, we examine how devices such as blackboards and notebooks, which were novelties a 100 years ago, came to be accepted in schools and the mathematical activities that were promoted with their use. Finally, we discuss how information technology has changed education and how the Internet may have an impact on mathematics education comparable to that of the notebook over a century ago. © FIZ Karlsruhe 2009.

Geometric modeling from the medical images in the CAD system to support prosthesis design

This paper presents an individual designing prosthesis for surgical use and proposes a methodology for such design through mathematical extrapolation of data from digital images obtained via tomography of individual patient's bones. Individually tailored prosthesis designed to fit particular patient requirements as accurately as possible should result in more successful reconstruction, enable better planning before surgery and consequently fewer complications during surgery. Fast and accurate design and manufacture of personalized prosthesis for surgical use in bone replacement or reconstruction is potentially feasible through the application and integration of several different existing technologies, which are each at different stages of maturity. Initial case study experiments have been undertaken to validate the research concepts by making dimensional comparisons between a bone and a virtual model produced using the proposed methodology and a future research directions are discussed.

Statistical model applied to NetFlow for network intrusion detection

The computers and network services became presence guaranteed in several places. These characteristics resulted in the growth of illicit events and therefore the computers and networks security has become an essential point in any computing environment. Many methodologies were created to identify these events; however, with increasing of users and services on the Internet, many difficulties are found in trying to monitor a large network environment. This paper proposes a methodology for events detection in large-scale networks. The proposal approaches the anomaly detection using the NetFlow protocol, statistical methods and monitoring the environment in a best time for the application. © 2010 Springer-Verlag Berlin Heidelberg.

Spin stabilized satellite's attitude propagation with quaternions

This paper presents a study of a modeling scheme for the spin stabilized satellites attitude, entirely developed in terms of quaternion parametrization. The analysis includes numerical propagation of the rotational motion equation, considering the influence of the following torques: aerodynamic, gravity gradient, residual magnetic, eddy currents and the one due to the Lorentz force. Applications are developed considering the Brazilian Spin Stabilized Satellites SCD1 and SCD2, which are quite appropriated for verification and comparison of the theory with the real data generated and processed by the INPE's Satellite Control Center (SCC). The results show that for SCD1 and SCD2 the influence of the eddy current torque is bigger than the others ones, not only due to the orbit altitude, but also to other specific satellites characteristics. The influence of the torque due to Lorentz force is smaller than the others ones because of the dimension and the electrical charges of the SCD1 and SCD2. In all performed tests the errors remained within the dispersion range specified for the attitude determination system of INPE's SCC. The results show the feasibility of using the quaternion attitude parametrization for modeling the satellite dynamics of spin stabilized satellites.

Spin stabilized satellite's attitude analytical prediction

An analytical approach for spin stabilized attitude propagation is presented, considering the coupled effect of the aerodynamic torque and the gravity gradient torque. A spherical coordination system fixed in the satellite is used to locate the satellite spin axis in relation to the terrestrial equatorial system. The spin axis direction is specified by its right ascension and the declination angles and the equation of motion are described by these two angles and the magnitude of the spin velocity. An analytical averaging method is applied to obtain the mean torques over an orbital period. To compute the average components of both aerodynamic torque and the gravity gradient torque in the satellite body frame reference system, an average time in the fast varying orbit element, the mean anomaly, is utilized. Afterwards, the inclusion of such torques on the rotational motion differential equations of spin stabilized satellites yields conditions to derive an analytical solution. The pointing deviation evolution, that is, the deviation between the actual spin axis and the computed spin axis, is also availed. In order to validate the analytical approach, the theory developed has been applied for spin stabilized Brazilian satellite SCD1, which are quite appropriated for verification and comparison of the data generated and processed by the Satellite Control Center of the Brazil National Research Institute (INPE). Numerical simulations performed with data of Brazilian Satellite SCD1 show the period that the analytical solution can be used to the attitude propagation, within the dispersion range of the attitude determination system performance of Satellite Control Center of the Brazilian Research Institute.

Teaching and learning data structures supported by computers: An experiment using CADILAG tool

This paper aims to present the use of a learning object (CADILAG), developed to facilitate understanding data structure operations by using visual presentations and animations. The CADILAG allows visualizing the behavior of algorithms usually discussed during Computer Science and Information System courses. For each data structure it is possible visualizing its content and its operation dynamically. Its use was evaluated an the results are presented. © 2012 AISTI.

An iterated sample construction with path relinking method: Application to switch allocation in electrical distribution networks

We present a metaheuristic approach which combines constructive heuristics and local searches based on sampling with path relinking. Its effectiveness is demonstrated by an application to the problem of allocating switches in electrical distribution networks to improve their reliability. Our approach also treats the service restoration problem, which has to be solved as a subproblem, to evaluate the reliability benefit of a given switch allocation proposal. Comparisons with other metaheuristics and with a branch-and-bound procedure evaluate its performance. © 2012 Published by Elsevier Ltd.

A hybrid multi-population genetic algorithm applied to solve the multi-level capacitated lot sizing problem with backlogging

The present paper proposes a new hybrid multi-population genetic algorithm (HMPGA) as an approach to solve the multi-level capacitated lot sizing problem with backlogging. This method combines a multi-population based metaheuristic using fix-and-optimize heuristic and mathematical programming techniques. A total of four test sets from the MULTILSB (Multi-Item Lot-Sizing with Backlogging) library are solved and the results are compared with those reached by two other methods recently published. The results have shown that HMPGA had a better performance for most of the test sets solved, specially when longer computing time is given. © 2012 Elsevier Ltd.

Attitude of Brazilian veterinarians in the recognition and treatment of pain in horses and cattle

Objective: The objective of this study was to assess the use of analgesics, describe the attitudes of Brazilian veterinarians towards pain relief in horses and cattle and evaluate the differences due to gender, year of graduation and type of practice. Study design: Prospective survey. Methods: Questionnaires were sent to 1000 large animal veterinarians by mail, internet and delivered in person during national meetings. The survey investigated the attitudes of Brazilian veterinarians to the recognition and treatment of pain in large animals and consisted of sections asking about demographic data, use of analgesic drugs, attitudes to pain relief and to the assessment of pain. Descriptive statistics were used to analyze frequencies. Simple post hoc comparisons were performed using the chi-square test. Results: Eight hundred questionnaires were collected, but 87 were discarded because they were incomplete or blank. The opioid of choice for use in large animals was butorphanol (43.4%) followed by tramadol (39%). Flunixin (83.2%) and ketoprofen (67.6%) were the most frequently used NSAIDs by Brazilian veterinarians. Respondents indicated that horses received preoperative analgesics for laparotomy more frequently (72.9%) than cattle (58.5%). The most frequently administered preoperative drugs for laparotomy in horses were flunixin (38.4%) and xylazine (23.6%), whereas the preoperative drugs for the same surgical procedure in cattle were xylazine (31.8%) and the local administration of lidocaine (48%). Fracture repair was considered the most painful surgical procedure for both species. Most veterinarians (84.1%) believed that their knowledge in this area was not adequate. Conclusions and clinical relevance: Although these Brazilian veterinarians thought that their knowledge on recognition and treatment of pain was not adequate, the use of analgesic in large animals was similar in Brazil to that reported in other countries. © 2013 Association of Veterinary Anaesthetists and the American College of Veterinary Anesthesia and Analgesia.

A redistricting problem applied to meter reading in power distribution networks

The capacitated redistricting problem (CRP) has the objective to redefine, under a given criterion, an initial set of districts of an urban area represented by a geographic network. Each node in the network has different types of demands and each district has a limited capacity. Real-world applications consider more than one criteria in the design of the districts, leading to a multicriteria CRP (MCRP). Examples are found in political districting, sales design, street sweeping, garbage collection and mail delivery. This work addresses the MCRP applied to power meter reading and two criteria are considered: compactness and homogeneity of districts. The proposed solution framework is based on a greedy randomized adaptive search procedure and multicriteria scalarization techniques to approximate the Pareto frontier. The computational experiments show the effectiveness of the method for a set of randomly generated networks and for a real-world network extracted from the city of São Paulo. © 2013 Elsevier Ltd.

Mídias e jogos: do virtual para uma experiência corporal educativa

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

SW-V: modelo de streaming de software baseado em técnicas de virtualização e transporte peer-to-peer

Pós-graduação em Ciência da Computação - IBILCE

Modelo estrutural para compartilhamento de arquivos peer-to-peer

Pós-graduação em Ciência da Computação - IBILCE