A Multisensor Architecture Providing Location-based Services for Smartphones

This paper introduces a multisensor architecture to fuse data acquired from different sensors available in commodity smartphones in order to build accurate location-based services, and pursuing a good balance between accuracy and performance. Using scale invariant features from the images captured using the smartphone camera, we perform a matching process against previously obtained images to determine the current location of the device. Several refinements are introduced to improve the performance and the scalability of our proposal. Location fingerprinting, based on IEEE 802.11, will be used to determine a cluster of physical points, or zone, where the device seems to be according to the received signal strength. In this way, we will reduce the number of images to analyze to those contained in the tentative zone. Additionally, accelerometers will also be considered in order to improve the system performance, by means of a motion estimator. This set of techniques enables a wide range of location-based applications.     

Optimizing location and size of rural schools in Chile

The Chilean Ministry of Education oversees preschool, primary, and secondary education in both urban and rural areas. Many parts of Chile are sparsely populated and there are currently over 4,000 rural schools (almost 38% of all schools in Chile) educating 9.5% of the students in the country. Many of the rural schools are small with only one teacher responsible for instruction of all local students (multigrade schools). The geographical distribution of the rural schools has not been coordinated and this has resulted in unequal utilization of existing schools and some unreasonably long travel distances by students. Good management of the rural schools is fundamental to meeting Chile's goal of providing quality education to its citizens. Seeking to improve the situation, the Ministry of Education ordered a study of the optimal location and size of rural schools with the general goals of reducing the number of lesser quality multigrade schools and reducing student travel distances while maintaining reasonable costs. This paper presents results of this study obtained using an integer linear program that has been embedded in a geographical information system. We present computational results for the entire country. Recommendations include where to open new rural schools as well as where to expand, reduce, close, or leave unchanged existing schools. We show how recommendations are sensitive to key parameters such as the cost of transportation.     

A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation

The traditional approach for specifying adaptive behavior in embedded applications requires developers to engage in error-prone programming tasks. This results in long design cycles and in the inherent inability to explore and evaluate a wide variety of alternative adaptation behaviors, critical for systems exposed to dynamic operational and situational environments. In this paper, we introduce a domain-specific language (DSL) for specifying and implementing run-time adaptable application behavior. We illustrate our approach using a real-life stereo navigation application as a case study, highlighting the impact and benefits of dynamically adapting algorithm parameters. The experiments reveal our approach effective, as such run-time adaptations are easily specified in a higher level by the DSL, and thus at a lower programming effort than when using a general-purpose language such as C.     

The constrained two-dimensional guillotine cutting problem with defects: an ILP formulation,a Benders decomposition and a CP-based algorithm

This paper addresses a variant of two-dimensional cutting problems in which rectangular small pieces are obtained by cutting a rectangular object through guillotine cuts. The characteristics of this variant are (i) the object contains some defects, and the items cut must be defective-free; (ii) there is an upper bound on the number of times an item type may appear in the cutting pattern; (iii) the number of guillotine stages is not restricted. This problem commonly arises in industrial settings that deal with defective materials, e.g. either by intrinsic characteristics of the object as in the cutting of wooden boards with knotholes in the wood industry, or by the manufacturing process as in the production of flat glass in the glass industry. We propose a compact integer linear programming (ILP) model for this problem based on the discretisation of the defective object. As solution methods for the problem, we develop a Benders decomposition algorithm and a constraint-programming (CP) based algorithm. We evaluate these approaches through computational experiments, using benchmark instances from the literature. The results show that the methods are effective on different types of instances and can find optimal solutions even for instances with dimensions close to real-size.     

Increasing the Level of Automation in the Forestry Logging Process with Crane Trajectory Planning and Control

Working with forestry machines requires a great deal of training to be sufficiently skilled to operate forestry cranes. In view of this, it would be desirable within the forestry industry to introduce automated motions, such as those seen in robotic arms, to shorten the training time and make the work of the operator easier. Motivated by this fact, we have developed two experimental platforms for testing control systems and motion‐planning algorithms in real time. They correspond to a laboratory setup and a commercial version of a hydraulic manipulator used in forwarder machines. The aim of this article is to present the results of this development by providing an overview of our trajectory‐planning algorithm and motion‐control method, with a subsequent view of the experimental results. For motion control, we design feedback controllers that are able to track reference trajectories based on sensor measurements. Likewise, we provide arguments to design controllers in an open‐loop for machines that lack sensing devices. Relying on the tracking efficiency of these controllers, we design time‐efficient reference trajectories of motions that correspond to logging tasks. To demonstrate performance, we provide an overview of extensive testing done on these machines.     

Modeling,simulation, and optimization of a microalgae biomass drying process

The aim of the present work was to develop a transient mathematical model focused on microalgae biomass drying, considering two phases: solid (wet biomass) and gas (drying air). Mass and thermal energy balances were written for each phase producing a system of ordinary differential equations (ODE). The solution of the ODE set delivers the temperature and air humidity ratio and biomass profiles with respect to time. The numerical results were directly compared with temperature experimental measurements—for both phases—and with the biomass humidity content. Data from experiment 1 were used to carry out the mathematical model adjustment, whereas data from experiment 2 were used for the experimental validation of the model. The model was adjusted by proposing a new correlation for the mass transfer coefficient and by calibrating the heat transfer coefficient. The transient numerical results were in good quantitative and qualitative agreement with the experimental results, ie, within the experimental error bars. Then the experimentally validated mathematical model was utilized to optimize the following parameters: (i) the electric heater power ( ) and the dry air mass flow rate ( ) and (ii) the convection oven length to width ratio (L/W). The goal was to minimize system energy consumption (objective function). The optimization procedure was subject to the following physical constraints: (i) fixed convection oven total volume and (ii) fixed biomass and drying air contact surface area. For the oven original geometry,  = 3.0 kW and  = 9 g s^?1 were numerically found for minimum energy consumption, so that 36.9% and 43.5% energy consumption decreases were obtained, respectively, in comparison with the measurements of experiment 1. Next, the numerical geometric optimization found (L/W)_opt = 9, with and , which was capable to reach a 51.6% energy consumption reduction in comparison with the original system tested in experiment 1. The novelty of this work consists of the development and experimental validation of a physically based microalgae biomass drying mathematical model, ie, instead of using empirical correlations to predict the drying time and temperature profiles and then minimize system energy consumption. Therefore, the results show that it is reasonable to state that the model could be used to design, control, and optimize drying systems with configurations similar to the one analyzed in this study.     

Eco-efficiency and techno-economic analysis for maleic anhydride manufacturing processes

Clean Technologies and Environmental Policy - Maleic anhydride may be obtained from different technological routes, being the selective oxidation of benzene and oxidation of butane the only ones...     

Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$

International Journal on Software Tools for Technology Transfer - Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where...