It is commonly accepted in the academic community that if the use of formal methods were more widely spread and properly supported, then their use would provide substantial development time and cost benefits for the engineering of safety-critical systems. The present work builds upon an increasing imperative to improve continuously the process, methods techniques and tools for analysing the fun...

Original scientific paper Strategic planning which focuses on transport is based fundamentally on adjusting to changes in the operational environment. Strengths, Weaknesses, Opportunities and Threats (SWOT) analysis is a commonly used tool for analyzing both the internal and external environments in order to attain a systematic approach and support for a decision-making situation. In this study...

Vector control is one of the standard techniques used for the control of a permanent magnet synchronous motor (PMSM). The outer speed loop in vector controlled PMSM drive greatly affects the drive performance. In order to combine the advantages of proportional plus integral (PI) and fuzzy controllers, hybrid fuzzy-PI controllers are used in which the output can either be the outputs of the two,...

We propose a modification of the Hybrid Monte-Carlo method to sample equilibrium distributions of continuous field models. The method allows an efficient implementation of Fourier acceleration and is shown to reduce completely critical slowing down for the Gaussian model, i. e., z = 0.

In this paper, the properties of the floor function has been used to find a function which is one on the interval [0, 1) and is zero elsewhere. The suitable dilation and translation parameters lead us to get similar function corresponding to the interval [a,b)[a,b). These functions and their combinations enable us to represent the stepwise functions as a function of floor function. We have appl...

Propagation properties of square, hexagonal and octagonal lattice photonic crystal fibers (PCFs) have been analyzed here for both stressed and unstressed conditions. The analysis has been carried out using finite element method. All types of PCFs are investigated here by varying number of air hole rings with same design and operating parameters. The results show that external stress causes PCFs...

the current paper proposes a technique for the numerical solution of linear control systems.the method is based on galerkin method, which uses the interpolating scaling functions. fora highly accurate connection between functions and their derivatives, an operational matrix forthe derivatives is established to reduce the problem to a set of algebraic equations. several testproblems are given, a...

the purpose of this study is to present an approximate numerical method for solving high order linear fredholm-volterra integro-differential equations in terms of rational chebyshev functions under the mixed conditions. the method is based on the approximation by the truncated rational chebyshev series. finally, the effectiveness of the method is illustrated in several numerical examples. the p...

in this paper, we present a comparative study between the modified variational iteration method (mvim) and a hybrid of fourier transform and variational iteration method (ftvim). the study outlines the efficiencyand convergence of the two methods. the analysis is illustrated by investigating four singular partial differential equations with variable coefficients. the solution of singular partia...