Toporkov V. V.
Problem of Deadlock Decideability for a Non- determinate Model of Distributed Computation

Problem of deadlock decideability for a non- determinate model of distributed computation with asynchronous passing of heterogeneous messages between processes is analysed. This problem is reduced to search of stable non-redundunt marking for a special marked net (M-net). It is proved that above problem is decideable.

Bogatyrev V. A.
About Modification of Functions "Permanent Wave Matrixes " and its Using in Combinatorial Methods of Analysis of Computing System Reliability

Offerred modification to functions a permanent wave matrixes, allowing analyse intolerant system reliability with function rearranging, stipulating redistribution of functions, entrusted on multifunctional modulas, with fastening for each of them execution not more d types of functions and separation on each type of functions one modula.

Bugaj A. I., Kalinina E. V., Retinskaia I. V., Skuratov A. K.
Statistical Analysis of Informational Flows in Global Networks

The issue of transmission of the information flows in global networks, stressing on the case of RUNNet network is considered. The input data was presented in form of random series with a sampling interval 5 min. At the first stage, the most representative variables were selected. At the second stage, two data analysis techniques were suggested. The transformation procedures proposed in the paper enable detailed analysis of time trends of the variables.

Maksimov K. N.
The Methods of the Information Systems Users Network Activity Analysis.

This paper covers network security expert system implementation based on comparing the current users informational activity with a standard (informational pattern). The system uses a semantic network as a knowledge representation language. Most of practicable decision-making applications in information security systems have to deal with situations when automated problem solver has an incomplete data. This paper is concerned with the main ideas about the judgement generation methods based on using certainty factors in the problems of the computer system users behavior classification.

Gromov Ju. Ju., Tyutyunnik V. M.
Computer Nets Defence Facility. Work Organization of Internet Screen in Linux.

Rules, work and control of the IP-packets filters with the help of brandmauers for Linux had been described. The example of firewall correction was shown.

Joukov 0. D.
Modular Computations in Information Security Systems

An intensification of information processes in the modern society leads to rising some serious problems. One of them is an information defence or an information security. This paper discusses a possibility of creating an efficient information security system processing numbers of very large length and based on the combination of remainder system and methods used, for example, within public key encryption.

Katys P. G., Katys G. P.
New Technologies in Systems of Confidential Information Protection

The main problems concerned with biometric human identification are analyzed. They are considered the methods and systems of human identification on the base of automatic analysis of fingers-prints, the scanner of retina and iris membrane of eye, recognition of individual peculiarities of speech etc.

Cheburakhin I. F.
Mathematical Means of hardware realization of the Boolean Functions on the Basis of Structurally Functional Decomposition.

Here are determined the structures of Boolean formulas types, for which are established the dependencies between complexity and minimum depth of presentation in different bases. The results can be ap um depth of presentation in different bases. The results can be applied to automation Boolean functions algorithms building with the criteria of complexity, speed, total lenght of connections between elements, reliability etc.

Shibanov A. P.
Distribution Law Determination GERT-network Output Value of Large Dimension

The numerical determination method of probabilities density distribution of GERT-network output value with great number of loops of r.order is considered. The main point of this method consists in GERT-network graph simplification by means of sequential separation of zones set and exchange of GERT-network every zone equivalent by GERT- network where any source and channel may be connected to the only one branch.

Chekinov S. G.
Models of Formation of Classes of Reserves of Replacement at a Stage of Synthesis and Designing of Complex Systems

The problem question of a choice of reserves in conditions of replacement are considered. Basic the question of formation of classes of reserves on a design stage of control systems of complex processes is. The basis of a method of formation and choice of classes of reserves is made by the theory of indistinct sets. The division of set of reserves into classes is offeres to be carried out on the entered concept of a threshold of division.

Butakov S. V., Rubtsov D. V.
Envelope's Development of Hubrid Intellectual System
The framework for construction of hybrid intellectual system shell that uses both symbolical and neural network representations of expert knowledge are considered in the article. The basic characteristics of developed system, and constructive decisions used at its designing are given.