Among the various critical systems that worth to be formally analyzed, a wide set consists of controllers for dynamical systems. Those programs typically execute an infinite loop in which simple computations update internal states and produce commands to update the system state. Those systems are yet hardly analyzable by available static analysis method, since, even if performing mainly linear ...

in this paper, a numerical solution for a system of linear fredholm integro-differential equations by means of the sinc method is considered. this approximation reduces the system of integro-differential equations to an explicit system of algebraic equations. the exponential convergence rate $o(e^{-k sqrt{n}})$ of the method is proved. the analytical results are illustrated with numerical examp...

in this paper, we intend to solve special kind of ordinary differential equations which is called heun equations, by converting to a corresponding stochastic differential equation(s.d.e.). so, we construct a stochastic linear equation system from this equation which its solution is based on computing fundamental matrix of this system and then, this s.d.e. is solved by numerically methods. mo...

In damage detection the number of elements is generally more than the number of measured frequencies. Consequently, the corresponding damage detection equation is undetermined and thus has infinite solutions. Since in the damaged structures most of their elements remain healthy, the sparsest solution for the damage detection equation is mostly the actual damage. In the proposed method, the dama...

The linear system of equations Ax = b where A = [aij ] in Cn.n is a crispsingular matrix and the right-hand side is a fuzzy vector is called a singularfuzzy linear system of equations. In this paper, solving singular fuzzy linearsystems of equations using generalized inverses such as Drazin inverse andpseudo-inverse are investigated.

entropy generation in an unsteady hydromagnetic couette flow of a viscous incompressible electrically conducting fluid between two infinite horizontal parallel plates in a rotating system have been analyzed. both the lower and upper plates of the channel are subjected to asymmetric convective heat exchange with the ambient following the newton's law of cooling. a numerical solution for governin...

Cube Attack is a successful case of Algebraic Attack. Cube Attack consists of two phases, linear equation extraction and solving the extracted equation system. Due to the high complexity of equation extraction phase in finding linear equations, we can extract nonlinear ones that could be approximated to linear equations with high probability. The probabilistic equations could be considered as l...