Surface force apparatus for nanorheology under large shear strain

We describe a surface force apparatus designed to probe the rheology of a nanoconfined medium under large shear amplitudes (up to 500 microm). The instrument can be operated in closed loop, controlling either the applied normal load or the thickness of the medium during shear experiments. Feedback control allows us to greatly extend the range of confinement/shear strain attainable with the surface force apparatus. The performances of the instrument are illustrated using hexadecane as the confined medium.     

Using genetic algorithms for early schedulability analysis and stress testing in real-time systems

Reactive real-time systems have to react to external events within time constraints: Triggered tasks must execute within deadlines. It is therefore important for the designers of such systems to analyze the schedulability of tasks during the design process, as well as to test the system's response time to events in an effective manner once it is implemented. This article explores the use of genetic algorithms to provide automated support for both tasks. Our main objective is then to automate, based on the system task architecture, the derivation of test cases that maximize the chances of critical deadline misses within the system; we refer to this testing activity as stress testing. A second objective is to enable an early but realistic analysis of tasks' schedulability at design time. We have developed a specific solution based on genetic algorithms and implemented it in a tool. Case studies were run and results show that the tool (1) is effective at identifying test cases that will likely stress the system to such an extent that some tasks may miss deadlines, (2) can identify situations that were deemed to be schedulable based on standard schedulability analysis but that, nevertheless, exhibit deadline misses.

SUPPRESSION OF PERIOD DOUBLING CHATTER IN HIGH-SPEED MILLING BY SPINDLE SPEED VARIATION

Spindle speed variation is a well known technique to suppress regenerative machine tool vibrations, but it is usually considered to be effective only for low spindle speeds. In the current paper, spindle speed variation is applied to the high speed milling process, at the spindle speeds where the constant speed cutting results in period doubling chatter. The stability analysis of triangular and sinusoidal shape variations is made numerically with the semi-discretization method. It is shown that the milling process can be stabilized by increasing the amplitude of the spindle speed variation, while the frequency of the variation has no significant effect on the dynamic behaviour. The results are validated by experiments. Based on the analysis of the machined workpieces, it is shown that the surface roughness can also be decreased by the spindle speed variation technique.     

Tracking mobile users in wireless networks via semi-supervised colocalization

Recent years have witnessed the growing popularity of sensor and sensor-network technologies, supporting important practical applications. One of the fundamental issues is how to accurately locate a user with few labeled data in a wireless sensor network, where a major difficulty arises from the need to label large quantities of user location data, which in turn requires knowledge about the locations of signal transmitters or access points. To solve this problem, we have developed a novel machine learning-based approach that combines collaborative filtering with graph-based semi-supervised learning to learn both mobile users' locations and the locations of access points. Our framework exploits both labeled and unlabeled data from mobile devices and access points. In our two-phase solution, we first build a manifold-based model from a batch of labeled and unlabeled data in an offline training phase and then use a weighted k-nearest-neighbor method to localize a mobile client in an online localization phase. We extend the two-phase colocalization to an online and incremental model that can deal with labeled and unlabeled data that come sequentially and adapt to environmental changes. Finally, we embed an action model to the framework such that additional kinds of sensor signals can be utilized to further boost the performance of mobile tracking. Compared to other state-of-the-art systems, our framework has been shown to be more accurate while requiring less calibration effort in our experiments performed on three different testbeds.     

PIXHAWK: A micro aerial vehicle design for autonomous flight using onboard computer vision

We describe a novel quadrotor Micro Air Vehicle (MAV) system that is designed to use computer vision algorithms within the flight control loop. The main contribution is a MAV system that is able to run both the vision-based flight control and stereo-vision-based obstacle detection parallelly on an embedded computer onboard the MAV. The system design features the integration of a powerful onboard computer and the synchronization of IMU-Vision measurements by hardware timestamping which allows tight integration of IMU measurements into the computer vision pipeline. We evaluate the accuracy of marker-based visual pose estimation for flight control and demonstrate marker-based autonomous flight including obstacle detection using stereo vision. We also show the benefits of our IMU-Vision synchronization for egomotion estimation in additional experiments where we use the synchronized measurements for pose estimation using the 2pt+gravity formulation of the PnP problem.     

Metaheuristics and exact methods to solve a multiobjective parallel machines scheduling problem

This paper deals with a multiobjective parallel machines scheduling problem. It consists in scheduling n independent jobs on m identical parallel machines. The job data such as processing times, release dates, due dates and sequence dependent setup times are considered. The goal is to optimize two different objectives: the makespan and the total tardiness. A mixed integer linear program is proposed to model the studied problem. As this problem is NP-hard in the strong sense, a metaheuristic method which is the second version of the non dominated sorting genetic algorithm (NSGA-II) is proposed to solve this problem. Since the parameters setting of a genetic algorithm is difficult, a fuzzy logic controller coupled with the NSGA-II (FLC-NSGA-II) is therefore proposed. The role of the fuzzy logic is to better set the crossover and the mutation probabilities in order to update the search ability. After that, an exact method based on the two phase method is also developed. We have used four measuring criteria to compare these methods. The experimental results show the advantages and the efficiency of FLC-NSGA-II.     

Complex system reliability modelling with Dynamic Object Oriented Bayesian Networks (DOOBN)

Nowadays, the complex manufacturing processes have to be dynamically modelled and controlled to optimise the diagnosis and the maintenance policies. This article presents a methodology that will help developing Dynamic Object Oriented Bayesian Networks (DOOBNs) to formalise such complex dynamic models. The goal is to have a general reliability evaluation of a manufacturing process, from its implementation to its operating phase. The added value of this formalisation methodology consists in using the a priori knowledge of both the system's functioning and malfunctioning. Networks are built on principles of adaptability and integrate uncertainties on the relationships between causes and effects. Thus, the purpose is to evaluate, in terms of reliability, the impact of several decisions on the maintenance of the system. This methodology has been tested, in an industrial context, to model the reliability of a water (immersion) heater system.     

An Experimental Comparison of the Maintainability of Object-Oriented and Structured Design Documents

Several important questions still need to be answered regarding the maintainability of object-oriented design documents. This paper focuses on the following issues: are object-oriented design documents easier to understand and modify than structured design documents? Do they need to comply with quality guidelines such as the ones provided by Coad and Yourdon? What is the impact of such quality standards on the understandability and modifiability of design documents? Answers can be based on informed opinion or empirical evidence. Since software technology investments are substantial and contradictory opinions exist regarding design strategies, performing empirical studies on these topics is a relevant research activity. This paper presents a controlled experiment performed with computer science students as subjects. Results strongly suggest that quality guidelines based on Coad and Yourdon principles have a beneficial effect on the maintainability of object-oriented design documents. However, there is no strong evidence regarding the alleged higher maintainability of object-oriented design documents over structured design documents. Furthermore, results suggest that object-oriented design documents are more sensitive to poor design practices, in part because their cognitive complexity becomes increasingly unmanageable. However, because our ability to generalise these results is limited, they should be considered as preliminary, i.e., it is very likely that they can only be generalised to programmers with little object-oriented training and programming experience. Such programmers can, however, be commonly found on maintenance projects. As well as additional research, external replications of this study are required to confirm the results and achieve confidence in these findings.     

Postconditioning by Delayed Administration of Ciclosporin A: Implication for Donation after Circulatory Death (DCD)

Heart transplantation is facing a shortage of grafts. Donation after Circulatory Death (DCD) would constitute a new potential of available organs. In the present work, we aimed to evaluate whether Postconditioning (ischemic or with ciclosporin-A (CsA)) could reduce ischemia-reperfusion injury in a cardiac arrest model when applied at the start of reperfusion or after a delay. An isolated rat heart model was used as a model of DCD. Hearts were submitted to a cardiac arrest of 40 min of global warm ischemia (37 °C) followed by 3 h of 4 °C-cold preservation, then 60 min reperfusion. Hearts were randomly allocated into the following groups: control, ischemic postconditioning (POST, consisting of two episodes each of 30 s ischemia and 30 s reperfusion at the onset of reperfusion), and CsA group (CsA was perfused at 250 nM for 10 min at reperfusion). In respective subgroups, POST and CsA were applied after a delay of 3, 10, and 20 min. Necrosis was lower in CsA and POST versus controls (p < 0.01) whereas heart functions were improved (p < 0.01). However, while the POST lost its efficacy if delayed beyond 3 min of reperfusion, CsA treatment surprisingly showed a reduction of necrosis even if applied after a delay of 3 and 10 min of reperfusion (p < 0.01). This cardioprotection by delayed CsA application correlated with better functional recovery and higher mitochondrial respiratory index. Furthermore, calcium overload necessary to induce mitochondrial permeability transition pore (MPTP) opening was similar in all cardioprotection groups, suggesting a crucial role of MPTP in this delayed protection of DCD hearts.