A CP framework for testing CP

The success of several constraint-based modeling languages such as OPL, ZINC or COMET, appeals for better software engineering practices, particularly in the testing phase. This paper introduces a testing framework enabling automated test case generation for constraint programming. We propose a general framework of constraint program development which supposes that a first declarative and simple constraint model is available from the problem specifications analysis. Then, this model is refined using classical techniques such as constraint reformulation, surrogate, redundant, implied, global constraint and symmetry-breaking to form an improved constraint model that must be thoroughly tested before being used to address real-sized problems. We think that most of the faults are introduced in this refinement step and propose a process which takes the first declarative model as an oracle for detecting non-conformities and derive practical test purposes from this process. We implemented this approach in a new tool called CPTEST that was used to automatically detect non-conformities on classical benchmark programs, such as the Golomb rulers, n-queens, social golfer and the car-sequencing problems.     

Self-stabilizing algorithm for high service availability in spite of concurrent topology changes in ad hoc mobile networks

Mobile nodes in ad hoc networks move freely and run out of battery power so quickly, which leads to frequent network partitioning. Network partitioning considerably reduces service availability when the server node is not in the same partition as the client nodes. In order to provide a continuous service availability for all mobile nodes, we propose a self-stabilizing algorithm that can tolerate multiple concurrent topological changes and can incur a cost of one server per long-lived connected component. By using (1) the time interval-based computations concept that distinguishes between disjoint and concurrent computations, and (2) Markov chain model, the proposed algorithm can within a finite time converge to a legitimate state even if topological changes occur during the convergence time. Our simulation results show that the algorithm can ensure very high service availability, and each node has a strong path to the server of its network component over 98% of the time.     

Efficient data aggregation with in-network integrity control for WSN

Energy is a scarce resource in Wireless Sensor Networks (WSN). Some studies show that more than 70% of energy is consumed in data transmission in WSN. Since most of the time, the sensed information is redundant due to geographically collocated sensors, most of this energy can be saved through data aggregation. Furthermore, data aggregation improves bandwidth usage and reduces collisions due to interference. Unfortunately, while aggregation eliminates redundancy, it makes data integrity verification more complicated since the received data is unique.     

Modeling and solving a one-supplier multi-vehicle production-inventory-distribution problem with clustered retailers

This paper considers a supply chain management problem which integrates production, inventory, and distribution decisions. The supply chain is composed of one supplier production facility and several retailers located in a given geographic region. The supplier is responsible for the production and the replenishment of the inventory of retailers, in a vendor managed inventory (VMI) context. The distance between retailers is negligible compared to the distance between the supplier and the retailers’ region. Thus, for each vehicle, there is a major fixed cost for traveling to the cluster of retailers and a minor fixed cost for visiting each individual retailer. The problem consists of determining quantities to be produced, quantities to be delivered to retailers, vehicles to be used, and retailers to be serviced by each vehicle. This problem is an extension of the one warehouse multi-retailer problem with the consideration of production planning and storage and vehicle capacity limitations in addition to fixed vehicle utilization costs and retailer servicing costs. The objective is to minimize a total cost composed of production, transportation, and inventory holding costs at the supplier and at the retailers. Two mixed integer linear programming formulations are proposed and six families of valid inequalities are added to strengthen these formulations. Two of these families are new and the others are adapted from the literature. The numerical results show that the valid inequalities considerably improve the quality of the formulations. Moreover, the parameters that influence the most computational times are analyzed.     

On eliminating packet droppers in MANET: A modular solution

In this paper we deal with misbehaving nodes in mobile ad hoc networks (MANETs) that drop packets supposed to be relayed, whose purpose may be either saving their resources or launching a DoS attack. We propose a new solution to monitor, detect, and safely isolate such misbehaving nodes, structured around five modules: (i) The monitor, responsible for controlling the forwarding of packets, (ii) the detector, which is in charge of detecting the misbehaving of monitored nodes, (iii) the isolator, basically responsible for isolating misbehaving nodes detected by the detector, (iv) the investigator, which investigates accusations before testifying when the node has not enough experience with the accused, and (v) finally the witness module that responds to witness requests of the isolator. These modules are based on new approaches, aiming at improving the efficiency in detecting and isolating misbehaving nodes with a minimum overhead. We describe these modules in details, and their interactions as well. We also mathematically analyze our solution and assess its performance by simulation, and compare it with the watchdog, which is a monitoring technique employed by almost all the current solutions.     

Influence des fumées de silice sur l’évolution de l’hydratation des pâtes de chaux ou de Ciment Portland

The silica fume (SF) is used in civil engineering, in particular for the manufacture of high performance concrete.In order to better understand the gain in strength of the concretes containing SF, the microstructural aspect has been examined.Mixtures of SF–Lime pastes present a hydraulic setting which is due to the formation of a C–S–H phase (calcium silicate hydrate). The latter is semi-crystallized. It is characterized by the lines of X-ray diffraction, hk0 such as: 3,06 Å (220), 2,80 Å (400) and 1,83 Å (040).The mix design SF–Lime paste is thus a simplified approach of that of the mixtures SF–OPC in which the main reaction is the fixation, by the SF, of lime coming from the hydration of C₃S in the form of C–S–H.Tests have been carried out on two varieties of SF resulting from the same furnace with the presence of lime or Portland cement. The results show that the presence of certain impurities, by their actions on the solubility of silica plays a significant role on the evolution of the hydration of the principal components of Portland cements and the kinetics of lime fixation by the SF.Among the impurities contained in the SF, carbon delays considerably the hydration of the principal components of Portland cement (C₃S and C₃A) as well as the pozzolanic reactivity of the silica fume without removing it.     

A new efficient computational algorithm for bit reversal mapping

In this correspondence, we present a new bit reversal algorithm that outperforms the existing ones. The bit reversal technique is involved in the fast fourier transform (FFT) technique, which is widely used in computer-based numerical techniques for solving numerous problems. The new approach for computing the bit reversal is based upon a pseudo semi-group homomorphism property. The surprising thing is that this property is almost trivial to prove, but at the same time, it also leads to a very efficient algorithm, which we believe to be the best with only O(N) operations and optimal constant, i.e. unity     

Effect of shrimp chitosan coatings as affected by chitosan extraction processes on postharvest quality of strawberry

Edible coatings as affected by chitosan extraction processes were used to preserve the quality of strawberries (Fragaria × ananssa) during their storage at ambient temperature (20–25 °C). Thus, three different chitosans were prepared from shrimp shell and were designated as the following: C1 by classical method, C2 without the decoloration step, and C3 without the decoloration step and the deproteinization step. In order to study the effectiveness of coatings, changes in physicochemical parameters and mold spoilage were studied. Chitosan coatings had no significant effects on titrable acidity, pH and soluble solids content (SSC) of strawberries throughout the storage, while the SSC content of control fruits increased with the storage time. In contrast, chitosan coatings delayed changes in weight loss and the appearance of fungal infection. Coated samples had greater visual acceptability than had the untreated fruits. By visual analysis, it was possible to verify that the best quality was maintained until the day 12, for the strawberries coated with C3 (1 %).     

Treatment of olive mill washing water by ultrafiltration

Olive oil production requires important quantities of washing water containing low oil concentrations, but classical processes used to recover or to eliminate this oil are ineffective. This study presents a membrane technique to treat olive oil mill washing water using different commercial ultrafiltration membranes: one organic (PCI) and two ceramic (Ceraver) membranes. The influence of the hydrodynamic parameters (transmembrane pressure and flow rate) and the cut‐off membranes on the efficiency of the ultrafiltration process was evaluated, and it was shown the organic PCI membrane could reduce pollution due to organic matter by decreasing the value of the Chemical oxygen demand by about 90%. Moreover, the nature of the ultrafine pore membrane appeared to be an important parameter which may strongly increase or decrease the capacity of the membrane. The membrane cut‐off did not have a strong influence on the performance of the process but if the membrane pores were too large the stability of the dynamically formed membrane decreased at transmembrane pressures greater than 0.2 MPa.