Hierarchy-Debug: a scalable statistical technique for fault localization

Considering the fact that faults may be revealed as undesired mutual effect of program predicates on each other, a new approach for localizing latent bugs, namely Hierarchy-Debug, is presented in this paper. To analyze the vertical effect of predicates on each other and on program termination status, the predicates are fitted into a logistic lasso model. To support scalability, a hierarchical clustering algorithm is applied to cluster the predicates according to their presence in different executions. Considering each cluster as a pseudo-predicate, a distinct lasso model is built for intermediate levels of the hierarchy. Then, we apply a majority voting technique to score the predicates according to their lasso coefficients at different levels of the hierarchy. The predicates with relatively higher scores are ranked as fault relevant predicates. To provide the context of failure, faulty sub-paths are identified as sequences of fault relevant predicates. The grouping effect of Hierarchy-Debug helps programmers to detect multiple bugs. Four case studies have been designed to evaluate the proposed approach on three well-known test suites, Space, Siemens, and Bash. The evaluations show that Hierarchy-Debug produces more precise results compared with prior fault localization techniques on the subject programs.     

Dehydration of water/1-1-dimethylhydrazine mixtures by zeolite membranes

In this research, dehydration of water/1-1-dimethylhydrazine (UDMH) mixtures by zeolite NaA and hydroxy sodalite membranes has been investigated. Support of these membranes has been tubular mullites that have been made by extruding a mixture of about 67–75% kaolin clay and 33–25% distilled water using an extruder. Zeolite NaA and hydroxy sodalite membranes have been coated on the external surface of the porous supports by the hydrothermal synthesis.

UDMH/water mixtures have been separated at ambient temperature and pressure by pervaporation (PV) using these zeolite membranes. These membranes showed very high selectivity of water for all UDMH mixtures. For the UDMH/water mixtures, separation factor as high as 10 000 has been obtained for UDMH feed concentration of 2%. Total mass fluxes of 1.05–0.2 kg/(m² h) have been also obtained.     

A new image encryption scheme with Feistel like structure using chaotic S-box and Rubik cube based P-box

Multimedia Tools and Applications - In this paper, a novel chaos-based dynamic encryption scheme with a permutation-substitution structure is presented. The S-boxes and P-boxes of the scheme are...     

A Multi-Criteria Group Decision Making Methodology Using Interval Type-2 Fuzzy Sets: Application to Water Resources Management

In this paper, a new fuzzy group decision-making methodology which determines and incorporates negotiation powers of decision makers is developed. The proposed method is based on a combination of interval type-2 fuzzy sets and a multi-criteria decision making (MCDM) model, namely TOPSIS. To examine the applicability of the proposed methodology, it is used for finding the best scenario of allocating water and reclaimed wastewater to domestic, agricultural, and industrial water sectors and restoring groundwater quantity and quality in the Varamin region located in Tehran metropolitan area in Iran. The results show that the selected scenario leads to an acceptable groundwater conservation level during a long-term planning horizon. Although the capital cost of this scenario is high, which leads to groundwater restoration during the 34-year planning horizon, it is determined as the best allocation scenario. This scenario also entails the second least pumping cost, due to less water allocation from the groundwater. To evaluate the results of the proposed methodology, they are compared with those obtained using some well-known interval type-2 decision-making approaches including arithmetic-based, TOPSIS-based, and likelihood-based comparison methods. The Spearman correlation coefficient shows that the obtained results generally concur with those of the other methods. It is also concluded that the proposed methodology gives more reasonable results by calculating and considering the negotiation powers of decision makers in an extended TOPSIS-based group decision-making model.

     

Application of thermal ultrasound-assisted liquid–liquid micro-extraction coupled with HPLC-UV for rapid determination of synthetic phenolic antioxidants in edible oils

A simple, fast, and reliable liquid–liquid micro-extraction (LLME) method assisted by thermal ultrasound approach was developed for simultaneous determination of synthetic phenolic antioxidants (SPAs) in edible oils by high-performance liquid chromatography equipped with ultraviolet detector (HPLC-UV). The synthetic antioxidants were propyl gallate (PG), butylated hydroxyanisole (BHA), tert-butylhydroquinone (TBHQ), and butylated hydroxyltoluene (BHT). The best extraction conditions were observed were methanol/acetonitrile (1:1, v/v) as the solvent, ultrasound at 4 min, and a temperature of 40°C. The linearity of the calibration curves for the optimum conditions were R² > 0.989 for all of the SPAs in a range from 1–200 μg ml⁻¹. Relative standard deviation (RSD %) for five analysis was in range of 2.83% to 4.21%. Limit of detection (LOD) and limit of quantification (LOQ) were obtained in range of 0.012–0.06 and 0.04–0.2 μg g⁻¹, respectively. With regard to recovery, a range of 91%–116% was calculated for the spiked edible oils.     

Preparation and characterization of poly(vinyl alcohol)/gum tragacanth/cellulose nanocomposite film

The effects of gum tragacanth obtained from two species of Astragalus Gossypinus (GT-G) and A. Parrowianus (GT-P) at two levels of 10% and 30% combined with cellulose nanofibers (CNF; 5%) on the physico-mechanical and structural properties of polyvinyl alcohol (PVA) nanocomposite film were investigated in this study. The water solubility and water vapor permeability of the films decreased with increasing the content of both gums, especially in the film containing 30% GT-P. The highest values of the tensile strength (39.3 MPa) and elongation at break (445%) belonged to the treatment containing 10% GT-P (90/10P/0). The FTIR and DSC analyses confirmed good interactions between GT and PVA in the 90/10P/0 treatment. SEM images indicated the dense structure of this film as the optimum treatment. Although the presence of CNF in the films containing GT-G improved some properties, especially the Young modulus, it impaired all the functional properties of nanocomposite GT-P film.     

Characterization of minocycline loaded chitosan/polyethylene glycol/glycerol blend films as antibacterial wound dressings

Wound care has been a challenging subject for medical teams and researchers. Bacterial infections are one of the most serious complications in injured skins that often affect healing process. Antibacterial wound dressings can be used to facilitate wound healing process. The purpose of this study is to fabricate chitosan (Chito)/polyethylene glycol (PEG) antibacterial wound dressing doped with minocycline, and to evaluate the influence of composition ratio on the blending properties of the films. To improve the mechanical properties of these films, we examined various amounts of glycerol as a plasticizer. Moreover, we investigated morphological and mechanical aspects, water uptake, degradation, water vapor transmission and wettability properties of the films prepared with various ratios of Chito/PEG/Gly. Assessment of mechanical properties revealed that film containing 80:20 ratio Chito/PEG with 40 PHR Gly content exhibits the highest ultimate tensile strength and elongation at break (9.74 MPa and 45.73% respectively). Furthermore, results demonstrated that upon increasing PEG and Gly contents, degradability and hydrophilicity of the films increased whereas water uptake decreased. Water vapor transmission rate of the films was close to the range of 530–1200 g/m²d, indicating that the as formed films are possible candidates for dressing low exudate wounds or burns. Minocycline loaded films exhibited a biphasic drug release profile and it was more effective on gram-positive bacteria than on gram-negative bacteria. The polymeric film with the highest amount of loaded drug (2%) exhibited insignificant cytotoxicity (88%) against normal fibroblast cell line.     

Quantifying nonclassicality of correlations based on the concept of nondisruptive local state identification

A bipartite state is classical with respect to party A if and only if party A can perform nondisruptive local state identification (NDLID) by a projective measurement. Motivated by this we introduce a class of quantum correlation measures for an arbitrary bipartite state. The measures utilize the general Schatten p-norm to quantify the amount of departure from the necessary and sufficient condition of classicality of correlations provided by the concept of NDLID. We show that for the case of Hilbert–Schmidt norm, i.e., \(p=2\), a closed formula is available for an arbitrary bipartite state. The reliability of the proposed measures is checked from the information-theoretic perspective. Also, the monotonicity behavior of these measures under LOCC is exemplified. The results reveal that for the general pure bipartite states these measures have an upper bound which is an entanglement monotone in its own right. This enables us to introduce a new measure of entanglement, for a general bipartite state, by convex roof construction. Some examples and comparison with other quantum correlation measures are also provided.     

Modeling and robust discrete LQ repetitive control of electrically driven robots

Discrete linear quadratic control has been efciently applied to linear systems as an optimal control.However,a robotic system is highly nonlinear,heavily coupled and uncertain.To overcome the problem,the robotic system can be modeled as a linear discrete-time time-varying system in performing repetitive tasks.This modeling motivates us to develop an optimal repetitive control.The contribution of this paper is twofold.For the frst time,it presents discrete linear quadratic repetitive control for electrically driven robots using the mentioned model.The proposed control approach is based on the voltage control strategy.Second,uncertainty is efectively compensated by employing a robust time-delay controller.The uncertainty can include parametric uncertainty,unmodeled dynamics and external disturbances.To highlight its ability in overcoming the uncertainty,the dynamic equation of an articulated robot is introduced and used for the simulation,modeling and control purposes.Stability analysis verifes the proposed control approach and simulation results show its efectiveness.     

Particle Swarm Optimization for Sorted Adapted Gaussian Mixture Models

Recently, we introduced the sorted Gaussian mixture models (SGMMs) algorithm providing the means to tradeoff performance for operational speed and thus permitting the speed-up of GMM-based classification schemes. The performance of the SGMM algorithm depends on the proper choice of the sorting function, and the proper adjustment of its parameters. In the present work, we employ particle swarm optimization (PSO) and an appropriate fitness function to find the most advantageous parameters of the sorting function. We evaluate the practical significance of our approach on the text-independent speaker verification task utilizing the NIST 2002 speaker recognition evaluation (SRE) database while following the NIST SRE experimental protocol. The experimental results demonstrate a superior performance of the SGMM algorithm using PSO when compared to the original SGMM. For comprehensiveness we also compared these results with those from a baseline Gaussian mixture model-universal background model (GMM-UBM) system. The experimental results suggest that the performance loss due to speed-up is partially mitigated using PSO-derived weights in a sorted GMM-based scheme.