A natural-disaster management DSS for Humanitarian Non-Governmental Organisations

Humanitarian Non-Governmental Organisations (NGOs) play a growing role in the response to natural disasters, but despite being largely demanded, there is no available decision support system (DSS) specifically designed to address their problem. In this paper we present a decision support system (DSS) to aid those Humanitarian NGOs concerned with the response to natural disasters. Such a DSS has been designed avoiding sophisticated methodologies that may exceed the infrastructural requirements and constraints of emergency management by NGOs. A data-based, two-level knowledge methodology which allows damage assessment of multiple disaster scenarios is presented in order to address that problem. Validation results show viability of our approach.     

Modeling Massive RFID Data Sets: A Gateway-Based Movement Graph Approach

Massive Radio Frequency Identification (RFID) data sets are expected to become commonplace in supply chain management systems. Warehousing and mining this data is an essential problem with great potential benefits for inventory management, object tracking, and product procurement processes. Since RFID tags can be used to identify each individual item, enormous amounts of location-tracking data are generated. With such data, object movements can be modeled by movement graphs, where nodes correspond to locations and edges record the history of item transitions between locations. In this study, we develop a movement graph model as a compact representation of RFID data sets. Since spatiotemporal as well as item information can be associated with the objects in such a model, the movement graph can be huge, complex, and multidimensional in nature. We show that such a graph can be better organized around gateway nodes, which serve as bridges connecting different regions of the movement graph. A graph-based object movement cube can be constructed by merging and collapsing nodes and edges according to an application-oriented topological structure. Moreover, we propose an efficient cubing algorithm that performs simultaneous aggregation of both spatiotemporal and item dimensions on a partitioned movement graph, guided by such a topological structure.     

Randomized constraint solvers: a comparative study

The complexity of constraints is a major obstacle for constraint-based software verification. Automatic constraint solvers are fundamentally incomplete: input constraints often build on some undecidable theory or some theory the solver does not support. This paper proposes and evaluates several randomized solvers to address this issue. We compared the effectiveness of a symbolic solver (CVC3), a random solver, two heuristic search solvers, and seven hybrid solvers (i.e. mix of random, symbolic, and heuristic solvers). We evaluated the solvers on a benchmark generated with a concolic execution of 9 subjects. The performance of each solver was measured by its precision, which is the fraction of constraints that the solver can find solution out of the total number of constraints that some solver can find solution. As expected, symbolic solving subsumes the other approaches for the 4 subjects that only generate decidable constraints. For the remaining 5 subjects, which contain undecidable constraints, the hybrid solvers achieved the highest precision (fraction of constraints that a solver can find a solution out of the total number of satisfiable constraints). We also observed that the solvers were complementary, which suggests that one should alternate their use in iterations of a concolic execution driver.     

Design of a decision support system for machine tool selection based on machine characteristics and performance tests

Economic globalization, together with heightened market competition and increasingly short product life cycles are motivating companies to use advanced manufacturing technologies. Use of high speed machining is increasingly widespread; however, as the technology is relatively new, it lacks a deep-rooted knowledge base which would facilitate implementation. One of the most frequent problems facing companies wishing to adopt this technology is selecting the most appropriate machine tool for the product in question and own enterprise characteristics. This paper presents a decision support system for high speed milling machine tool selection based on machine characteristics and performance tests. Profile machining tests are designed and conducted in participating machining centers. The decision support system is based on product dimension accuracy, process parameters such as feed rate and interpolation scheme used by CNC and machine characteristics such as machine accuracy and cost. Experimental data for process error and cycle operation time are obtained from profile machining tests with different geometrical feature zones that are often used in manufacturing of discrete parts or die/moulds. All those input parameters have direct impact on productivity and manufacturing cost. Artificial neural network models are utilized for decision support system with reasonable prediction capability.     

A heavy-tailed empirical Bayes method for replicated microarray data

DNA microarray has been recognized as being an important tool for studying the expression of thousands of genes simultaneously. These experiments allow us to compare two different samples of cDNA obtained under different conditions. A novel method for the analysis of replicated microarray experiments based upon the modelling of gene expression distribution as a mixture of α-stable distributions is presented. Some features of the distribution of gene expression, such as Pareto tails and the fact that the variance of any given array increases concomitantly with an increase in the number of genes studied, suggest the possibility of modelling gene expression distribution on the basis of α-stable density. The proposed methodology uses very well known properties of α-stable distribution, such as the scale mixture of normals. A Bayesian log-posterior odds is calculated, which allows us to decide whether a gene is expressed differentially or not. The proposed methodology is illustrated using simulated and experimental data and the results are compared with other existing statistical approaches. The proposed heavy-tail model improves the performance of other distributions and is easily applicable to microarray gene data, specially if the dataset contains outliers or presents high variance between replicates.     

A compiler for parsing schemata

We present a compiler that can be used to automatically obtain efficient Java implementations of parsing algorithms from formal specifications expressed as parsing schemata. The system performs an analysis of the inference rules in the input schemata in order to determine the best data structures and indexes to use, and to ensure that the generated implementations are efficient. The system described is general enough to be able to handle all kinds of schemata for different grammar formalisms, such as context‐free grammars and tree‐adjoining grammars, and it provides an extensibility mechanism allowing the user to define custom notational elements. This compiler has proven very useful for analyzing, prototyping and comparing natural‐language parsers in real domains, as can be seen in the empirical examples provided at the end of the paper. Copyright © 2008 John Wiley & Sons, Ltd.     

Broadband system to increase bitrate in train communication networks

MVB (Multifunction Vehicle Bus), defined in IEC 61375, has been broadly adopted as the communication standard between embedded control systems on-board modern trains. In this work a new method to take advantage of the full bandwidth of the channel using an OFDM technique is described. With this new method it is possible to share the physical medium between standard MVB traffic and new OFDM traffic. A 90 Mbps theoretical bitrate can be achieved. The results of this work have been validated in a test bench including standard MVB nodes transmitting on a line similar to a real vehicle bus.     

Apparent mass matrix of standing subjects exposed to multi-axial whole-body vibration

This paper describes the experimental characterisation of the apparent mass matrix of eight male subjects in standing position and the identification of nonlinearities under both mono-axial and dual-axis whole-body vibration. The nonlinear behaviour of the response was studied using the conditioned response techniques considering models of increasing complexity. Results showed that the cross-axis terms are comparable to the diagonal terms. The contribution of the nonlinear effects are minor and can be endorsed to the change of modal parameters during the tests. The nonlinearity generated by the vibration magnitude is more evident in the subject response, since magnitude-dependent effects in the population are overlaid by the scatter in the subjects’ biometric data. The biodynamic response is influenced by the addition of a secondary vibration axis and, in case of dual-axis vibrations, the overall magnitude has a marginal contribution.

Practitioner Summary: We have measured both the diagonal and cross-axis elements of the apparent mass matrix. The effect of nonlinearities and the simultaneous presence of vibration along two axes are smaller than the inter-subject variability.