Lanczos’ method for solving the system of linear algebraic equations consists in constructing a sequence of vectors in such a way that and . This sequence of vectors can be computed by the BiCG (BiOMin) algorithm. In this paper is shown how to obtain the recurrences of BiCG (BiOMin) directly from this conditions.
Interval arithmetic techniques such as VALENCIA-IVP allow calculating guaranteed enclosures of all reachable states of continuous-time dynamical systems with bounded uncertainties of both initial conditions and system parameters. Considering the fact that, in naive implementations of interval algorithms, overestimation might lead to unnecessarily conservative results, suitable consistency tests are essential to obtain the tightest possible enclosures. In this contribution, a general framework for...
This paper is aimed at the description of the multi-dimensional finite volume solver EULER, which has been developed for the numerical solution of the compressible Euler equations during several last years. The present overview of numerical schemes and the explanation of numerical techniques and tricks which have been used for EULER could be of certain interest not only for registered users but also for numerical mathematicians who have decided to implement a finite volume solver themselves. This...
In this note, we employ nonlinear on-line parameter estimation methods based on adaptive neural network approximators for detecting changes due to actuator faults in a class of second order distributed parameter systems. The motivating example is a cantilevered beam actuated via a pair of piezoceramic patches. We examine changes in the control input term, which provide a simple and practical model of actuator failures. Using Lyapunov redesign methods, a stable learning scheme for fault diagnosis...
This paper describes a model of influence of random errors on the safety of the communication. The role of the communication in railway safety is specified. To ensure a safe communication, using of safety code is important. The most important parameter of the safety code is the maximal value of the probability of undetected error. Problems related with computing of this value are outlined in the article. As a model for the information transmission the binary symmetrical channel is introduced. ...
Determinant formulas for special binary circulant matrices are derived and a new open problem regarding the possible determinant values of these specific circulant matrices is stated. The ideas used for the proofs can be utilized to obtain more determinant formulas for other binary circulant matrices, too. The superiority of the proposed approach over the standard method for calculating the determinant of a general circulant matrix is demonstrated.