Kim á. ë., Feldman V. í.
Real Time Computer for the Control Programs by Complex Objects

The methods of designing the computers, included in the component of control of complex object of defense are examined. The structure of computer approaches in the design of the real time operating system is described. An example of the calculation of the reliability of the proposed computer is given.
Keywords: computer, microprocessor, compiler, real time operation system, reliability.

Kristovskiy G. V., Pogrebnoy Yu. L., Soin S. A.
Design and Investigation of Low-Power High-Speed 3-port Register File

Basing on 3-port register file design it is shown how by optimizing structure, schematic and layout power may be minimized with no impact on performance. 3-port 32 x 32 register file has demonstrated lmW per port power consumption at 1GHz frequency in 90 nm CMOS process.
Keywords: microprocessor, CMOS technology, circuit technique, layout, decoder.

Bobkov S. G.
Methods for Effectiveness Increase of 10/100 Mbits/s Fast Ethernet Switch

Methods for effectiveness increase of 10/100 Mbits/s Fast Ethernet Switch were performed. These methods were used to develop Fast Ethernet Switch Controller 1890KP1IA.
Keywords: Fast Ethernet Switch, MAC-address, Hash function.

Al-Ammouri Ali.
Optimization Parallel Information Reservations by a Method of the Enclosed Modules

In work the technique of a choice and substantiation of optimum structure of parallel information reservation by a way of the enclosed modules is offered in view of technical reliability. The economic advantages of a way of the enclosed modules are proved in comparison with alternative variant of the same reservation, but without a principle of the enclosed modules.
Keywords: information reservation, enclosed modules of reservation, technical reliability.

Shchurevich E. V.
Knowledge Clusterization in Artificial Intelligence Systems

In the presented article are considered problems of automatic processing of texts in a natural language, some variants of knowledge clusterization are offered, and also comparison and analysis of their results is performed. The described techniques can be applied at various stages of life cycle of the intellectual systems based on knowledge.
Keywords: knowledge base, clusterization, ant algorithm, neural network, knowledge visualization.

Bryndin E. G.
Theoretical Bases of Communicatively-Associative Imitation of Symbolically-Language Thinking

The thinking language elements of knowledge represents communicative processes of the analysis, synthesis and splitting of offers and judgements. Imitation of thinking is carried out on the basis of symbolically-language communicatively-associative logic above combinatorially expanded network hierarchical communicatively-associative representation by offers and judgements of typical information needs and their realizations of subject domains of knowledge.
Keywords: symbolically-language imitation of thinking, expanded network hierarchical communicatively-associative representation of typical information need by offers and judgements, communicatively-associative logic of realization of information need.

Dolinina O. N., Kuzmin A. K.
Application of Technical Diagnostic's Methods for Neuronet Expert System's Knowledge Base's Debugging

Analysis of errors that appear in expert system's knowledge bases is provided, existing debagging methods are analyzed too. Neural network test sets generation decision approach is described. This approach is based on transformation of knowledge base's structure to logical net's structure and on technical diagnostic's method's application to it. Neural network expert system's debagging method which based on extension of the approach to multilayer perceptron model is suggested.
Keywords: expert systems, neural networks, knowledge bases, errors in knowledge base, debugging, test set.

Kotenko I. V., Ulanov A. V.
Multi-Agent Simulation of Defense Mechanisms Against Distributed Computer Attacks

The paper suggests models, a technique and their implementation for simulation of defense mechanisms against distributed computer attacks. The approach is based on representation of attack and defense sides as intelligent agent teams. On the basis of the offered architecture the simulation system was developed. The defense mechanisms against distributed denial of service are investigated as the examples of models and technique proposed.
Keywords: distributed computer attacks, defense mechanisms against computer attacks, multi-agent simulation, distributed denial of service, Internet.

Zhukov O. D.

Modular Number Systems in Cryptography

Modular exponentiation and its constituent operation, Montgomery modular multiplication, are fundamental to numerous cryptographic applications. The paper discusses possible methods for implementing above procedure on the base of modular number systems.
Keywords: modular number system, remainder, exponential computing, information secuirity.

Zegzhda P. D., Zegzhda D. P., Kalinin M. O.
A Logical Approach Realization in the Security Settings Analyzing System "Decart" for MS Windows State Security Evaluation

The paper reviews an approach to security evaluation using a logical-based states specification and constraints resolving. To achieve this goal a logic of predicates has been applied. There is a sample of logical security analysis presented in this paper. The suggested technique leads to birth of automated security evaluation toolkits. It has been applied to build a core security processing component of the Dekart system, the security analysis solution for MS Windows platforms.
Keywords: automated analysis, security evaluation, criterion, predicate logic, security settings, information security, vulnerability.

Kolokolov A. A., Adelshin A. V., Yagofarova D. I.
Solving Sat Problem Using L-Class Enumeration Method

In this paper, we consider the SAT problem with logical formula in conjunctive normal form. We suggest combinatorial algorithm for this problem, based on models and methods of integer linear programming and L-partition approach. The algorithm was tested on the instances from SATLIB library, results of computational experiment are presented.
Keywords: satisfiability problem, integer programming, L-class enumeration method.

Filippova A. S., Filippov D. V., Gilmanova N. A.
Routing Problems in Transport Logistic Systems: Local Search for Rational Solutions

In this article one of the optimization blocks of transport logistic system is considered. For solving a task appeared we suggest a three-stage method: mapping a spanning tree, tree decomposition for single-product routes, routes synthesis. To obtain alternative routes two-level evolutionary metaheutistics with algorithms on graphs are used. The example is given.
Keywords: transport logistics, multiproduct model, routing, heuristics, metaheuristics, graph algorithms.

Yakovlev M. A., Chugunkov I. B.
The Increase of the Efficiency of the Evaluative Tests for Pseudorandom Sequences

This article describes a new approach to configuration of statistical tests for pseudorandom sequences quality evaluation that provides used memory volume reduction.
Keywords: pseudorandom sequences, pseudorandom sequences generators, the evaluation of the quality of the pseudorandom sequences generators, the evaluative tests for pseudorandom sequences, efficiency increasing, quality evaluation.

Kukharenko B. G.
Preprocessing Oscillation Records in Spectral Analysis Technology Based on the Fast Prony Transform

Main steps in preprocessing non-stationary oscillation records in spectral analysis technology based on the Fast Prony Transform are presented. As example, non-stationary oscillation records of a respectively stable natural frequency spectrum, which contain noise, are under study. It has been found that preprocessing the non-stationary oscillation records gives an opportunity to determine exactly time-evolving damping factors respecttive to the stable natural frequencies, which play a role of informative parameters describing the non-stationary oscillation time-evolution.
Keywords: linear dynamic systems, time-series, Prony method, recursive filters, discrete wavelet transform.

Isaeva ï. S.
The Unified Information Model of Medical Services

In the paper the realization of the information system for the description of medical services is considered. The problem has demanded construction of the formal description of elements of realization for any adjustment of visual display of data. The block diagram of a subject domain constructed on its basis model of data and an example of realization of adapted information system is resulted. The results can be used for Óonstuction of information systems with complex structure.
Keywords: designing of databases, information systems, formal model of visualization of data, system for the description of medical services.

Vorobeychikova ï. V.
Construction a Structure of Student's Learning Skills by Test Results

Nowadays computers are active used for student's knowledge testing. Such kind of testing can take place in such a way and so often which is convenient both to students and teacher. Besides the result of computer testing doesn't depend on teacher's meaning. Because of that this result is more objective and receptive for students. As a rule the control process is assumed to be finished when the mark is given. In this paper the method is proposed which could be used for construction a structure of student's learning skills. The testing results show the parts of the course that are learned in unsufficient level.
Keywords: computer testing, student's knowledge level, structure of student's learning skills.