In the present paper we present a new method for solving a class of single stage single constraints linear fractional programming (LFP) problem. The proposed method is based on transformation the objective value and the constraints also. After reducing the fractional program in to equivalent linear program with the help of transformation technique, after that we apply Simplex method to find obj...

Datalog systems evaluate joins over arithmetic (in)equalities as a naive generate-and-test of Cartesian products. We exploit aggregates in a source-to-source transformation to reduce the size of Cartesian products and to improve performance. Our approach approximates the well-known propagation technique from Constraint Programming. Experimental evaluation shows good run time speed-ups on a rang...

Image registration plays an important role in the diagnosis of dental pathologies such as dental caries, alveolar bone loss and periapical lesions etc. This paper presents a new wavelet based algorithm for registering noisy and poor contrast dental x-rays. Proposed algorithm has two stages. First stage is a preprocessing stage, removes the noise from the x-ray images. Gaussian filter has been u...

In this paper, we develop a reliable Linear Parameter-Varying (LPV) model of the pitch channel dynamics fin-stabilized projectile. Among available LPV design approaches, State Transformation is analyzed, being particularly suitable for class systems defined as output nonlinear, and compatible with projectile formulation. The provides quasi-LPV representation, which corresponds to an exact trans...

Abstract The traditional phase-locked loop (PLL) technique widely used in three-phase four-wire system can only obtain one phase angle, and cannot other parameters of unbalanced voltages, such as the amplitude angle each voltage. In order to improve performance PLL with disturbance reduce stability system, a based on three-dimensional (3D) coordinate transformation was proposed this paper. Firs...

Graph transformation systems are a general specification language for systems with dynamically changing topologies, such as mobile and distributed systems. Although in the last few years several analysis and verification methods have been proposed for graph transformation systems, counterexample-guided abstraction refinement has not yet been studied in this setting. We propose a counterexample-...