ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu
Summaries of the issue

INTELLIGENT SYSTEMS AND TECHNOLOGIES

AGENT-BASED SYSTEM MODELING LANGUAGE Городецкий В. И., Карсаев О. В., Самойлов В. В., Конюший В. Г.
7
The paper describes base of ASML language that is extension of “standard” UML one used for description of software systems. ASML language is used in instrumental environment MASDK 4.0 for designing of multiagent systems. Analysis and architectural designing of the systems are executed using graphical diagrams intended for description of systems macro models, interaction protocols, roles’ schemes and behavior scenarios. Detail designing is executed using diagrams intended for description of domain ontology and agent classes’ behavior scenarios.
AGENT-BASED APPROACH FOR CONFIGURATION OF VIRTUAL ENTERPRISES Конюший В. Г., Карсаев О. В.
12
An agent-based approach for project scheduling during the formation of virtual enterprises in non-material production is proposed. Each participant of virtual enterprise is represented as independent program agent. We report on our computational results, obtained for the PSPLib benchmark instances.
17
An approach to solving methodological problems during building cooperative self-organising networks is proposed. The tasks of providing for interoperability between self-organising network members are described together with the principle of selecting standards and protocols for information exchange and negotiation. The proposed approach is based on the idea of knowledge logistics and applies such technologies as ontology management, profiling and intelligent agents.

MODELS AND ALGORITHMS OF INFORMATION SECURITY

21
Issues connected with the analysis and updating of credit based mechanisms of detection and containment of network worm epidemics are discussed. The peculiarities of the given protection mechanism, and also a technique and results of its evaluation for various types of network traffic are submitted.
26
An approach based on the remote entrusting to construction of the model of software protection against unauthorized modifications and tampering is suggested. Main composing elements and its functioning principles are considered. Two possible implementations of mobile module replacement based on aspect oriented programming paradigm are proposed.
FILTERING POLICY VERIFICATION BASED ON EVENT CALCULUS AND ABDUCTION REASONING Сидельникова Е. В., Тишков А. В., Igor V. Kotenko
31
The abductive reasoning approach to verification of filtering policy is considered. The anomaly classification for rules of firewall access control list is proposed. Various scenarios of firewall functioning modeling are analyzed on the base of Event Calculus. Application of abductive search methods for detection and resolution of filtering policy anomalies is presented. These methods are based on disjoint granulation of rule conditions.
TESTING PROCESS OF FUNCTIONAL MODELS TRANSFORMATION BASED ON HYBRID METHODS Подъячев А. Ю., Атисков А. Ю., Перминов С. В.
36
Task of transformation of IDEF0 formal models into UML class diagrams based on hybrid methods including translation rules’ ontological design is discussed. Mechanism of transformation rules’ creation and equivalence testing of source and derived models is examined.

METHODS AND MEANS OF NATURAL-LANGUAGE PROCESSING

41
The problem of distant recording and recognition of speech for the task of voice interaction with automatic inquiry system in noisy environment is considered. The system perceives and analyses sounds arising from limited subspace due to spatial localization of sound sources. The test results of three methods for determination of direction to the sound source with using several microphone array schemes are presented.
47
Conception and implementation of program module of syntactic analysis for the Russian literary language are presented. The main idea of research is based on the phrase-structure grammar, which uses for the formal representation of the syntactic structure, the theoretical explanation of the extraction of the syntactic structures, important for the formal representation of texts in Russian.
51
An approach to automatic processing of spontaneous Russian speech, consisting in recognition of nonphonemic elements and modeling of alternative variants of word pronunciation, is considered. A set of acoustic and lexical models, that are intended for separation of noises from keywords and that take into account possible elements of spontaneous speech, is represented. An algorithm of creation of alternative transcriptions by extended transcribing rules is presented. Experimental results are represente

INTEGRATED MODELING AND ANALYSIS OF COMPLEX DYNAMIC OBJECTS

57
A theoretical approach to choosing the rules of functioning of a technical system is provided. These rules are selected from the set of alternative models which can be constructed from the initial information about such systems. The proposed approach is based on the formalization of the concepts of the control objective and the goal state, the definition of the rule for unequivocal identification thereof, and the structural features of the system models.
DYNAMIC MODEL OF INTEGRATED PLANNING AND SCHEDULING FOR MODERNIZATION AND FUNCTIONING OF INFORMATION SYSTEM Иконникова А. В., Петрова И. А., Semyon A. Potryasaev , Boris V. Sokolov
62
Original dynamic model of modernization integrated planning, scheduling and functioning of disaster tolerant information system (DTIS), which provides to describe formally a base aspects and peculiarities of concerned interactive processes, is suggested.
USING MULTI-AGENT SIMULATOR FOR MODELING DISTRIBUTED SYSTEM Vladimir V. Mikhailov, Igor S. Selyakov
69
Multi-agent approach for modeling of complex distribution systems is considered. The structure of the multi-agent simulator and agent model, which lay the foundation of it and the principle of interfacing the simulator and geo-information system using Shape-files is explained. The develop program allows to solve any problems for different domain areas, for example — it allow to investigate the spatial-temporal dynamics of the herds and populations of animals with exact geographical positing.
INTELLIGENT MONITORING SYSTEM OF THE ESPECIALLY DANGEROUS PROCESSES Соколова С. П., Кузьмина Е. А.
73
The paper provides a modular architecture of the intelligent monitoring system of the especially dangerous dynamic processes. This system is oriented to multivariate data (pointed and uncertainty interval type) analysis and allows to research dynamic properties and simulate these processes. This paper includes examples of monitoring results for epizootic processes in the natural plague focus.