ConsilientSFL: using preferential voting system to generate combinatorial ranking metrics for spectrum-based fault localization

Spectrum-based fault localization (SFL) techniques have shown considerable effectiveness in localizing software faults. They leverage a ranking metric to automatically assign suspiciousness scores to certain entities in a given faulty program. However, for some programs, the current SFL ranking metrics lose effectiveness. In this paper, we introduce ConsilientSFL that is served to synthesize a new ranking metric for a given program, based on a customized combination of a set of given ranking metrics. ConsilientSFL can be significant since it demonstrates the usage of voting systems into a software engineering task. First, several mutated, faulty versions are generated for a program. Then, the mutated versions are executed with the test data. Next, the effectiveness of each existing ranking metric is computed for each mutated version. After that, for each mutated version, the computed existing metrics are ranked using a preferential voting system. Consequently, several top metrics are chosen based on their ranks across all mutated versions. Finally, the chosen ranking metrics are normalized and synthesized, yielding a new ranking metric. To evaluate ConsilientSFL, we have conducted experiments on 27 subject programs from Code4Bench and Siemens benchmarks. In the experiments, we found that ConsilientSFL outperformed every single ranking metric. In particular, for all programs on average, we have found performance measures recall, precision, f-measure, and percentage of code inspection, to be nearly 7, 9, 12, and 5 percentages larger than using single metrics, respectively. The impact of this work is twofold. First, it can mitigate the issue with the choice and usage of a proper ranking metric for the faulty program at hand. Second, it can help debuggers find more faults with less time and effort, yielding higher quality software.

     

A comparative survey of artificial intelligence applications in finance: artificial neural networks, expert system and hybrid intelligent systems

Nowadays, many current real financial applications have nonlinear and uncertain behaviors which change across the time. Therefore, the need to solve highly nonlinear, time variant problems has been growing rapidly. These problems along with other problems of traditional models caused growing interest in artificial intelligent techniques. In this paper, comparative research review of three famous artificial intelligence techniques, i.e., artificial neural networks, expert systems and hybrid intelligence systems, in financial market has been done. A financial market also has been categorized on three domains: credit evaluation, portfolio management and financial prediction and planning. For each technique, most famous and especially recent researches have been discussed in comparative aspect. Results show that accuracy of these artificial intelligent methods is superior to that of traditional statistical methods in dealing with financial problems, especially regarding nonlinear patterns. However, this outperformance is not absolute.     

Integration of genetic fuzzy systems and artificial neural networks for stock price forecasting

Stock market prediction is regarded as a challenging task in financial time-series forecasting. The central idea to successful stock market prediction is achieving best results using minimum required input data and the least complex stock market model. To achieve these purposes this article presents an integrated approach based on genetic fuzzy systems (GFS) and artificial neural networks (ANN) for constructing a stock price forecasting expert system. At first, we use stepwise regression analysis (SRA) to determine factors which have most influence on stock prices. At the next stage we divide our raw data into k clusters by means of self-organizing map (SOM) neural networks. Finally, all clusters will be fed into independent GFS models with the ability of rule base extraction and data base tuning. We evaluate capability of the proposed approach by applying it on stock price data gathered from IT and Airlines sectors, and compare the outcomes with previous stock price forecasting methods using mean absolute percentage error (MAPE). Results show that the proposed approach outperforms all previous methods, so it can be considered as a suitable tool for stock price forecasting problems.     

Deriving operating policies for multi-objective reservoir systems: Application of Self-Learning Genetic Algorithm

Optimal multi-reservoir operation is a multi-objective problem in nature and some of its objectives are nonlinear, non-convex and multi-modal functions. There are a few areas of application of mathematical optimization models with a richer or more diverse history than in reservoir systems optimization. However, actual implementations remain limited or have not been sustained.Genetic Algorithms (GAs) are probabilistic search algorithms that are capable of solving a variety of complex multi-objective optimization problems, which may include non-linear, non-convex and multi-modal functions. GA is a population based global search method that can escape from local optima traps and find the global optima. However GAs have some drawbacks such as inaccuracy of the intensification process near the optimal set.In this paper, a new model called Self-Learning Genetic Algorithm (SLGA) is presented, which is an improved version of the SOM-Based Multi-Objective GA (SBMOGA) presented by Hakimi-Asiabar et al. (2009) [45]. The proposed model is used to derive optimal operating policies for a three-objective multi-reservoir system. SLGA is a new hybrid algorithm which uses Self-Organizing Map (SOM) and Variable Neighborhood Search (VNS) algorithms to add a memory to the GA and improve its local search accuracy. SOM is a neural network which is capable of learning and can improve the efficiency of data processing algorithms. The VNS algorithm can enhance the local search efficiency in the Evolutionary Algorithms (EAs).To evaluate the applicability and efficiency of the proposed methodology, it is used for developing optimal operating policies for the Karoon-Dez multi-reservoir system, which includes one-fifth of Iran's surface water resources. The objective functions of the problem are supplying water demands, generating hydropower energy and controlling water quality in downstream river.     

Model updating of multistory shear buildings for simultaneous identification of mass,stiffness and damping matrices using two different soft-computing methods

In this research, two novel methods for simultaneous identification of mass–damping–stiffness of shear buildings are proposed. The first method presents a procedure to estimate the natural frequencies, modal damping ratios, and modal shapes of shear buildings from their forced vibration responses. To estimate the coefficient matrices of a state-space model, an auto-regressive exogenous excitation (ARX) model cooperating with a neural network concept is employed. The modal parameters of the structure are then evaluated from the eigenparameters of the coefficient matrix of the model. Finally, modal parameters are used to identify the physical/structural (i.e., mass, damping, and stiffness) matrices of the structure. In the second method, a direct strategy of physical/structural identification is developed from the dynamic responses of the structure without any eigenvalue analysis or optimization processes that are usually necessary in inverse problems. This method modifies the governing equations of motion based on relative responses of consecutive stories such that the new set of equations can be implemented in a cluster of artificial neural networks. The number of neural networks is equal to the number of degree-of-freedom of the structure. It is shown the noise effects may partially be eliminated by using high-order finite impulse response (FIR) filters in both methods. Finally, the feasibility and accuracy of the presented model updating methods are examined through numerical studies on multistory shear buildings using the simulated records with various noise levels. The excellent agreement of the obtained results with those of the finite element models shows the feasibility of the proposed methods.     

An artificial negotiating agent modeling approach embedding dynamic offer generating and cognitive layer

In this paper, a dynamic offer generating unit and cognitive layer are suggested for artificial agents based negotiation systems. For this purpose, first, adaptive time and behavior dependent tactics are developed taking advantages from time continuity and dynamics aspects (features) integrated in their modeling. Then, a negotiation strategy (bilateral over single issue) based on these two tactics is suggested. Second, a cognitive negotiation model for a negotiator agent is developed using Win-Lose and Win-Win orientations which will be formed based on personality factors. Afterwards, an experimental validation is conducted for testing applicability of time dependent tactics, the effect of offering time, and the effect of cognitive orientations (Win-Lose and Win-Win) on final negotiation outcomes. The results prove the applicability of the suggested time and behavior dependent tactics as well as the proposed cognitive negotiation model.     

Succinct representation of dynamic trees

We study the problem of maintaining a dynamic ordered tree succinctly under updates of the following form: insertion or deletion of a leaf, insertion of a node on an edge (edge subdivision) or deletion of a node with only one child (the child becomes a child of its former grandparent). We allow satellite data of a fixed size to be associated to the nodes of the tree.We support update operations in constant amortized time and support access to satellite data and basic navigation operations in worst-case constant time; the basic navigation operations include parent, first/last-child, previous/next-child. These operations are moving from a node to its parent, leftmost/rightmost child, and its previous and next child respectively.We demonstrate that to efficiently support more extended operations, such as determining the i-th child of a node, rank of a child among its siblings, or size of the subtree rooted at a node, one requires a restrictive pattern for update strategy, for which we propose the finger-update model. In this model, updates are performed at the location of a finger that is only allowed to crawl on the tree between a child and a parent or between consecutive siblings. Under this model, we describe how the named extended operations are performed in worst-case constant time.Previous work on dynamic succinct trees (Munro et al., 2001 [17]; Raman and Rao, 2003 [19]) is mainly restricted to binary trees and achieves poly-logarithmic (Munro et al., 2001 [17]) or “poly-log-log” (Raman and Rao, 2003 [19]) update time under a more restricted model, where updates are performed in traversals starting at the root and ending at the root and queries can be answered when the traversal is completed. A previous result on ordinal trees achieves only sublinear amortized update time and “poly-log-log” query time (Gupta et al., 2007 [11]). More recently, the update time has been improved to O(logn/loglogn) while queries can be performed in O(logn/loglogn) time (Sadakane and Navarro, 2010 [20]).     

Towards a continuous microfluidic rheometer

In a previous paper we presented a way to measure the rheological properties of complex fluids on a microfluidic chip (Guillot et al., Langmuir 22:6438, 2006). The principle of our method is to use parallel flows between two immiscible fluids as a pressure sensor. In fact, in a such flow, both fluids flow side by side and the size occupied by each fluid stream depends only on both flow rates and on both viscosities. We use this property to measure the viscosity of one fluid knowing the viscosity of the other one, both flow rates and the relative size of both streams in a cross-section. We showed that using a less viscous fluid as a reference fluid allows to define a mean shear rate with a low standard deviation in the other fluid. This method allows us to measure the flow curve of a fluid with less than 250 μL of fluid. In this paper we implement this principle in a fully automated set up which controls the flow rate, analyzes the picture and calculates the mean shear rate and the viscosity of the studied fluid. We present results obtained for Newtonian fluids and complex fluids using this set up and we compare our data with cone and plate rheometer measurements. By adding a mixing stage in the fluidic network we show how this set up can be used to characterize in a continuous way the evolution of the rheological properties as a function of the formulation composition. We illustrate this by measuring the rheological curve of four formulations of polyethylene oxide solution with only 1.3 mL of concentrated polyethylene oxide solution. This method could be very useful in screening processes where the viscosity range and the behavior of the fluid to an applied stress must be evaluated.     

A step forward in studying the compact genetic algorithm

The compact Genetic Algorithm (cGA) is an Estimation of Distribution Algorithm that generates offspring population according to the estimated probabilistic model of the parent population instead of using traditional recombination and mutation operators. The cGA only needs a small amount of memory; therefore, it may be quite useful in memory-constrained applications. This paper introduces a theoretical framework for studying the cGA from the convergence point of view in which, we model the cGA by a Markov process and approximate its behavior using an Ordinary Differential Equation (ODE). Then, we prove that the corresponding ODE converges to local optima and stays there. Consequently, we conclude that the cGA will converge to the local optima of the function to be optimized.     

Lower limits of spin detection efficiency for two-parameter two-qubit (TPTQ) states with non-ideal ferromagnetic detectors

We have investigated a TPTQ state as an input state of a non-ideal ferromagnetic detectors. Minimal spin polarization required to demonstrate spin entanglement according to entanglement witness and CHSH inequality with respect to (w.r.t.) their two free parameters have been found, and we have numerically shown that the entanglement witness is less stringent than the direct tests of Bell’s inequality in the form of CHSH in the entangled limits of its free parameters. In addition, the lower limits of spin detection efficiency fulfilling secure cryptographic key against eavesdropping have been derived. Finally, we have considered TPTQ state as an output of spin decoherence channel and the region of ballistic transmission time w.r.t. spin relaxation time and spin dephasing time has been found.