A General Reliable Quadratic Form: An Extension of Affine Arithmetic

In this article, a new extension of affine arithmetic is introduced. This technique is based on a quadratic form named general quadratic form. We focus here on the computation of reliable bounds of a function over a hypercube by using this new tool. Some properties of first quadratic functions and then polynomial ones are reported. In order to show the efficiency of such a method, ten polynomial global optimization problems are presented and solved by using an interval branch-and-bound based algorithm. The work of the first author was also supported by the Laboratoire de Mathématiques Appliquées CNRS–FRE 2570, Université de Pau et des Pays de l'Adour, France, and by the Laboratoire d'Electrotechnique et d'Electronique Industrielle CNRS–UMR5828, Group EM³, INPT–ENSEEIHT.     

The vehicle routing problem with restricted mixing of deliveries and pickups

The vehicle routing problem with deliveries and pickups is one of the main problems within reverse logistics. This paper focuses on an important assumption that divides the literature on the topic, namely the restriction that all deliveries must be completed before pickups can be made. A generalised model is presented, together with a mathematical formulation and its resolution. The latter is carried out by adopting a suitable implementation of the reactive tabu search metaheuristic. Results show that significant savings can be achieved by allowing a mixture of delivery and pickup loads on-board and yet not incurring delays and driver inconvenience.     

The behavior of the fibrinolytic system during long-term orthopedic immobilization]

Our previous experimental studies on rats motionless for 7 to 60 days in special devices limiting their movements revealed a significantly increased activity of the fibrinolytic system (Groza, Artino) due to the "detention stress" rather then to the immobilization. Starting from these studies we have tried to observe the behaviour of the fibrinolytic system during long-term orthopedic immobilization (7-28 days) on patients having different injuries of the lower limb and submitted to orthopedic therapy (with or without osteosynthesis) to which an anticoagulant preventive treatment was added (heparin or low-molecular-weight substitutes such as Clivarine, Fraxiparine). We studied on 23 patients (11 male and 12 female) motionless for 14, 21, 28 days the plasma fibrinolytic activity (PFA) through euglobulin lysis time (ELT). Clinical investigation revealed that PFA did not change significantly during long-term orthopedic immobilization regardless of the duration of immobilization (14,21,28 days). Rosenfeld et al. (1994) described in healthy volunteers on bedrest for 36 hours an increase of PFA beginning at 24 hours of immobilization, this variation being capable of preventing stasis effects. Our results suggest that preventive anticoagulant therapy properly given during immobilization prevents thromboembolic events.     

Integrating customer's preferences in the QFD planning process using a combined benchmarking and imprecise goal programming model

Quality function deployment (QFD) is a customer-oriented design tool for developing new or improved products to achieve higher customer satisfaction by integrating various functions of an organization. The engineering characteristics (ECs) affecting the product performances are designed to match the customer attributes (CAs). However, from the viewpoint of the QFD team, product design processes are performed in imprecise environments, and more than one factor must be taken into account in determining the target levels of ECs, especially the limited resources and increased market competition. This paper presents an imprecise goal programming (GP) approach to determine the optimum target levels of ECs in QFD for maximizing customer satisfaction under resource limitation and considerations of market competition. Based on benchmarking data of CAs, the concept of satisfaction functions is utilized to formulate explicitly the customer's preferences and to integrate the competitive analysis of target market into the modelling and solution process. In addition, the relationships linking CAs and ECs and the ECs to each other are integrated by functional relationships. The proposed approach will be illustrated through a car door design example.     

Aerodynamic optimization via multi-objective micro-genetic algorithm with range adaptation,knowledge-based reinitialization,crowding and ε-dominance

In this study, an optimization of the airfoil of a sailplane is carried out by a recently developed multi-objective genetic algorithm based on microevolution, containing crowding, range adaptation, knowledge-based reinitialization and ε-dominance. Its efficiency was tested on a set of test problems. The results are encouraging, suggesting that very small populations can be used effectively to solve real-world multi-objective optimization problems in many cases of interest.     

Mobile multi-view object image search

High user interaction capability of mobile devices can help improve the accuracy of mobile visual search systems. At query time, it is possible to capture multiple views of an object from different viewing angles and at different scales with the mobile device camera to obtain richer information about the object compared to a single view and hence return more accurate results. Motivated by this, we propose a new multi-view visual query model on multi-view object image databases for mobile visual search. Multi-view images of objects acquired by the mobile clients are processed and local features are sent to a server, which combines the query image representations with early/late fusion methods and returns the query results. We performed a comprehensive analysis of early and late fusion approaches using various similarity functions, on an existing single view and a new multi-view object image database. The experimental results show that multi-view search provides significantly better retrieval accuracy compared to traditional single view search.     

Property Testing of Regular Tree Languages

We consider the edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and generalize it to the class of ranked and unranked regular trees. We also show that this distance problem is -complete on ordered trees. A preliminary version of this paper appeared in Proceedings of 31st International Colloquium on Automata, Languages and Programming, volume 3142 of Lecture Notes in Computer Science, pages 932–944, Springer, 2005. Work supported by ACI Sécurité Informatique: VERA of the French Ministry of research.     

Memory Management for Real-Time Java: An Efficient Solution using Hardware Support*

This paper addresses the issue of improving the performance of memory management for real-time Java applications, building upon the real-time specification for Java (RTSJ) from the Real-Time Java Expert Group. In a first step, a collecting dynamic memory solution including both a real-time garbage collector and region-based memory management, is proposed. A thorough analysis of the parameters influencing the performance of write barriers in memory management, together with ways of improvement are then presented. Finally, the implementation of a memory management solution compliant with the RTSJ and integrating the proposed improvements is sketched.     

Identification and Validation of a Discrete Element Model for Concrete

The use of a three-dimensional discrete element method (DEM) is proposed to study concrete structures submitted to dynamic loading. The aim of this paper is to validate the model first in the quasistatic domain, and second in dynamic compression, at the sample scale. A particular growing technique is used to set a densely packed assembly of arbitrarily sized spherical particles interacting together, representing concrete. An important difference from classical DEMs where only contact interactions are considered, is the use of an interaction range. First, the correct identification of parameters of the DEM model to simulate elastic and nonlinear deformation including damage and rupture is made through quasistatic uniaxial compression and tension tests. The influence of the packing is shown. The model produces a quantitative match of strength and deformation characteristics of concrete in terms of Young’s modulus, Poisson’s coefficient, and compressive and tensile strengths. Then, its validity is extended through dynamic tests. The simulations exhibit complex macroscopic behaviors of concrete, such as strain softening, fractures that arise from extensive microcracking throughout the assembly, and strain rate dependency.