Distributed shared memory for roaming large volumes

We present a cluster-based volume rendering system for roaming very large volumes. This system allows to move a gigabyte-sized probe inside a total volume of several tens or hundreds of gigabytes in real-time. While the size of the probe is limited by the total amount of texture memory on the cluster, the size of the total data set has no theoretical limit. The cluster is used as a distributed graphics processing unit that both aggregates graphics power and graphics memory. A hardware-accelerated volume renderer runs in parallel on the cluster nodes and the final image compositing is implemented using a pipelined sort-last rendering algorithm. Meanwhile, volume bricking and volume paging allow efficient data caching. On each rendering node, a distributed hierarchical cache system implements a global software-based distributed shared memory on the cluster. In case of a cache miss, this system first checks page residency on the other cluster nodes instead of directly accessing local disks. Using two Gigabit Ethernet network interfaces per node, we accelerate data fetching by a factor of 4 compared to directly accessing local disks. The system also implements asynchronous disk access and texture loading, which makes it possible to overlap data loading, volume slicing and rendering for optimal volume roaming.     

A Level Set Model for Image Classification

We present a supervised classification model based on a variational approach. This model is devoted to find an optimal partition composed of homogeneous classes with regular interfaces. The originality of the proposed approach concerns the definition of a partition by the use of level sets. Each set of regions and boundaries associated to a class is defined by a unique level set function. We use as many level sets as different classes and all these level sets are moving together thanks to forces which interact in order to get an optimal partition. We show how these forces can be defined through the minimization of a unique fonctional. The coupled Partial Differential Equations (PDE) related to the minimization of the functional are considered through a dynamical scheme. Given an initial interface set (zero level set), the different terms of the PDE's are governing the motion of interfaces such that, at convergence, we get an optimal partition as defined above. Each interface is guided by internal forces (regularity of the interface), and external ones (data term, no vacuum, no regions overlapping). Several experiments were conducted on both synthetic and real images.     

Hybrid approaches for the two‐scenario max–min knapsack problem

In this paper, we deal with the two‐scenario max–min knapsack (MNK) problem. First, we consider several formulations of MNK as a mixed integer programming problem. Then, we propose a hybrid method as an alternative to solve the MNK exactly. The approach combines relaxation technique and the temporary setting of variables to improve iteratively two sequences of upper and lower bounds. More precisely, pseudo‐cuts are added to the problem to strengthen the bounds and reduce the gap between the best lower bound and the best upper bound. The algorithm stops when the proof of the optimality of the best solution is found. We also use a reduction technique to set some variables definitively at their optimal values. Numerical experiments demonstrate the robustness of the approach. In particular, our algorithm is efficient to solve large and correlated instances of MNK.     

Pseudo-state feedback stabilization of commensurate fractional order systems

This paper addresses the problem of pseudo-state feedback stabilization of commensurate fractional order systems (FOS). In the proposed approach, Linear Matrix Inequalities (LMI) formalism is used to check if the pseudo-state matrix eigenvalues belong to the FOS stability region of the complex plane. A review of LMI stability conditions is first proposed for fractional order 0<ν<1 and 1<ν<2. The paper then focuses particularly on the case 0<ν<1 as the stability region is non-convex and associated LMI condition is not as straightforward to obtain as in the case 1<ν<2. A new LMI stability condition is thus proposed. Based on this condition, a necessary and sufficient LMI method for the design of stabilizing controllers is given. This method paves the way for extension to FOS of various LMI-based results. Among these possible extensions, a first result on robust control of polytopic fractional order systems is given in this paper.     

Automatic cleaning and segmentation of web images based on colors to build learning databases

This article proposes a method to segment Internet images, that is, a group of images corresponding to a specific object (the query) containing a significant amount of irrelevant images. The segmentation algorithm we propose is a combination of two distinct methods based on color. The first one considers all images to classify pixels into two sets: object pixels and background pixels. The second method segments images individually by trying to find a central object. The final segmentation is obtained by intersecting the results from both. The segmentation results are then used to re-rank images and display a clean set of images illustrating the query. The algorithm is tested on various queries for animals, natural and man-made objects, and results are discussed, showing that the obtained segmentation results are suitable for object learning.     

Integration of posture and rhythmic motion controls in quadrupedal dynamic walking using phase modulations based on leg loading/unloading

In this paper, we intend to show the basis of a general legged locomotion controller with the ability to integrate both posture and rhythmic motion controls and shift continuously from one control method to the other according to the walking speed. The rhythmic motion of each leg in the sagittal plane is generated by a single leg controller which controls the swing-to-stance and stance-to-swing phase transitions using respectively leg loading and unloading information. Since rolling motion induced by inverted pendulum motion during the two-legged stance phases results in the transfer of the load between the contralateral legs, leg loading/unloading involves posture information in the frontal plane. As a result of the phase modulations based on leg loading/unloading, rhythmic motion of each leg is achieved and inter-leg coordination (resulting in a gait) emerges, even without explicit coordination amongst the leg controllers, allowing to realize dynamic walking in the low- to medium-speed range. We show that the proposed method has resistance ability against lateral perturbations to some extent, but that an additional ascending coordination mechanism between ipsilateral legs is necessary to withstand perturbations decreasing the rolling motion amplitude. Even without stepping reflex using vestibular information, our control system, relying on phase modulations based on leg loading/unloading and the ascending coordination mechanism between ipsilateral legs, enables low speed dynamic walking on uneven terrain with long cyclic period, which was not realized in our former studies. Details of trajectory generation, movies of simulations and movies of preliminary experiments using a real robot are available at: http://robotics.mech.kit.ac.jp/kotetsu/.     

A systematic approach for performance assessment using process mining

Software performance engineering is a mature field that offers methods to assess system performance. Process mining is a promising research field applied to gain insight on system processes. The interplay of these two fields opens promising applications in the industry. In this work, we report our experience applying a methodology, based on process mining techniques, for the performance assessment of a commercial data-intensive software application. The methodology has successfully assessed the scalability of future versions of this system. Moreover, it has identified bottlenecks components and replication needs for fulfilling business rules. The system, an integrated port operations management system, has been developed by Prodevelop, a medium-sized software enterprise with high expertise in geospatial technologies. The performance assessment has been carried out by a team composed by practitioners and researchers. Finally, the paper offers a deep discussion on the lessons learned during the experience, that will be useful for practitioners to adopt the methodology and for researcher to find new routes.     

Review of topology optimisation refinement processes for sheet metal manufacturing in the automotive industry

Design can be viewed a sequential decision process that increases the detail of modeling and analysis while simultaneously decreasing the space of alternatives considered. In a decision theoretic framework, low-fidelity models help decision-makers identify regions of feasibility and interest in the tradespace and cull others prior to constructing more computationally expensive models of higher fidelity. The method presented herein demonstrates design as a sequence of finite decision epochs through a search space defined by the extent of the set of designs under consideration, and the level of analytic fidelity subjected to each design. Previous work has shown that multi-fidelity modeling can aid in rapid optimization of the design space when high-fidelity models are coupled with low-fidelity models. This paper offers two contributions to the design community: (1) a model of design as a sequential decision process of refinement using progressively more accurate and expensive models, and (2) a connected approach for how conceptual models couple with detailed models. Formal definitions of the process are provided, and several structural design examples are presented to demonstrate the use of sequential multi-fidelity modeling in determining an optimal modeling selection policy.     

A study on controllable aluminium doped zinc oxide patterning by chemical etching for MEMS application

This present work reports on the study of controllable aluminium doped zinc oxide (AZO) patterning by chemical etching for MEMS application. The AZO thin film was prepared by RF magnetron sputtering as it is capable of producing uniform thin film at high deposition rates. X-Ray diffraction (XRD) and atomic force microscopy (AFM) characterization were done to characterize AZO thin film. The sputtered AZO thin film shows c-axis (002) orientation, low surface roughness and high crystalline quality. To pattern AZO thin film for MEMS application, wet etching was chosen due to its ease of processing with few controlling parameters. Four etching solutions were used namely: 10 % Nitric acid, 10 % Phosphoric acid, 10 % Acetic acid and Molybdenum etch solutions. For the first time, chemical etching using Molybdenum etch that consist of a mixture of CH₃COOH, HNO₃ and H₃PO₄ was characterized and reported. The effect of these acidic solutions on the undercut etching, vertical and lateral etch rate were studied. The etched AZO were characterized by scanning electron microscopy (SEM) and stylus profilometer. The investigations showed that the Molybdenum etch has the lowest undercut etching of 7.11 µm, and is highly effective in terms of lateral and vertical etching with an etch ratio of 1.30. Successful fine patterning of AZO thin films was demonstrated at device level on a surface acoustic wave resonator fabricated in 0.35 μm CMOS technology. The AZO thin film acts as the piezoelectric thin film for acoustic wave generation. Patterning of the AZO thin film is necessary for access to measurement probe pads. The working acoustic resonator showed resonance peak at 1.044 GHz at 45.28 dB insertion loss indicating that the proposed Molybdenum etch method does not adversely affect the device’s operating characteristics.

     

Generic methodology for the probabilistic reliability assessment of some structural properties: a graph theoretical approach

The graphical characterisation of many important structural properties, such as controllability, observability, diagnosability of many kinds of structured systems, uses mainly four types of elementary graphical conditions: connectivity, complete matching, linking and distance conditions. Since structural properties depend on different associations of elementary conditions, it is interesting to study elementary conditions. This paper is the first part of this global approach based on elementary graphical conditions and we choose to study the so-called connectivity and complete matching conditions. Starting from the graphical representation associated with a system, the paper provides Boolean expressions of the connectivity and complete matching conditions based on the edges validity, which can be linked to the physical components operating state. These expressions can then be used to define and compute the reliability of a structural property knowing the reliability of the system physical components. This knowledge can be important during both conception and exploitation stages. The proposed methods are quite intuitive and simple to implement and have basically polynomial complexity orders. This makes our approach well suited to analyse large-scale systems.