This paper presents an algebraic method that uses the triangular factors of singular, symmetric gain matrix to determine the observable islands of a measured power system. This is accomplished in a noniterative manner via the use of selected rows of the inverse factors. Implementation of the proposed method presents little additional effort, since sparse triangular factorization and forward/bac...

A direct method based on oblique projections is adapted to compute the stationary distribution vector of a finite Markov chain. The algorithm can also be used to compute the group inverse of the corresponding generator matrix. It is shown how to update the stationary vector and other quantities of interest when one row of the transition probability matrix is modified. A GTH-like variant that ap...

15 16 17 18

Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level code, and is useful for eliminating trust in the compiler (for high assurance code) and in the code producer for mobile code security. The theory of certificate translation has been developed in earlier work, but no implementation...

The direct methods of breaking the phase ambiguity intrinsic in one-wavelength anomalous scattering (OAS) data and MAD phasing are powerful methods in their own rights. In a different context, in addition to their success in phasing OAS data, direct methods can also be useful in the treatment of MAD data. The idea has been tested with the MAD data at 2.5 A resolution from the protein human aden...

Manipulator endpoint location autonomous control procedures are suggested. A method of uplimited control hierarchy has been designed, which allows to provide a desired tracking precision under conditions of uncertainty of the control object operator and the effect of external unmeasured disturbances. Sliding mode state observers synthesis procedures have been designed, which allow, in a theoret...

In the paper a new way of DTC control method analysis to explain flux and current distortion at a low speed of motor operation is discussed. As a result, a new DTC-δ algorithm is proposed. It is important that the DTC-δ algorithm uses the same switching table as the DTC method. The modified DTC algorithms are free from the disadvantages of the conventional DTC method i.e. hexagonal flux and str...

The exact knowledge of the sound field within an enclosure is essential for a number of applications in electro-acoustics. Conventional methods for the assessment of room acoustics model the sound propagation in analogy to the propagation of light. More advanced computational methods rely on the numerical solution of the wave equation. A recently presented method is based on multidimensional wa...