INTELLIGENT SYSTEMS AND TECHNOLOGIES
AGENT-BASED SYSTEM MODELING LANGUAGE
Городецкий В. И., Oleg V. Karsaev , Самойлов В. В., Конюший В. Г.
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
Конюший В. Г., Oleg V. Karsaev
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
ANALYSIS OF CREDIT BASED MECHANISM OF NETWORK WORM EPIDEMICS DETECTION AND CONTAINMENT
Воронцов В. В., Kotenko Igor V.
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.
SOFTWARE PROTECTION MODEL BASED ON REMOTE ENTRUSTING MECHANISM
Vasily A. Desnitsky , Kotenko Igor V.
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
Сидельникова Е. В., Тишков А. В., Kotenko Igor V.
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
COMPARISON OF METHODS FOR LOCALISATION OF MULTIMODAL SYSTEM USER BY HIS SPEECH
Ronzhin Andrey L, Karpov Alexey A
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.
AUTOMATIC SYNTACTIC ANALYSIS OF RUSSIAN TEXTS BASED ON THE PHRASESTRUCTURE GRAMMAR
Кагиров И. А., Леонтьева А. Б.
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.
CONSIDERING THE PECULIARITY OF SPONTANEOUS SPEECH AT THE DEVELOPING AUTOMATIC SPEECH RECOGNITION SYSTEM
Леонтьева А. Б., Kipyatkova Irina S
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
CHOOSING THE MODEL OF FUNCTIONING OF A TECHNICAL SYSTEM FROM THE SET OF ITS ALTERNATIVE MODELS
Кириллов Н. П.
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.