Теория и практика программирования
Компьютерная графика
Инженерия знаний
Проблемы безопасности
Нанотехнологии
Прикладные аспекты информатики
Abstracts
Abstracts
Abstracts

THEORY AND PRACTICE OF PROGRAMMING

General algorithm for synthesis of structural states classes’ of information system

A.N. Pavlov, B.V. Sokolov, S.A. Osipenko

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript , Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript , Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

Integrated algorithm for multicriterion clusterization of structural states of disaster-tolerant information systems (DTIS) is supposed. It gives to highlight equivalent structural conditions of DTIS and clusters core set, which is used for identification of structural conditions of reconfigured system.

Keywords. Multicriterion clusterization, disaster-tolerant information systems, multistructural state, reconfiguration.

The instrumental software for distributed simulation of complex systems

Yu.I. Brodskiy, Yu.N. Pavlovskiy

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript , Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

One of the main directions of simulation development is a passage from separate models to the complexes of models. The paper is devoted to elaboration of the concept of the instrumental software for distributed simulation of complex systems. This software is designed to join separate models into distributed complex.

Keywords. Simulation, complex systems, concepts of simulation, decomposition, distributed simulation, simulation software, instrumental systems for simulation

The X-Machine Description of a System

Sobolev M.S.

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

This paper describes the way to create a system of X-Machines, without significant changes in X-Machine definition. This method allows to create scalable systems, which can be easily tested and reused.

Keywords. X-Machine, complex systems, state machines.

COMPUTER GRAPHICS

Visualization of light propagation in optical system simulation

A.G. Voloboy, V.A. Galaktionov, A.D. Zhdanov, D.D. Zhdanov

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript

Light propagation visualization as an effective tool for lighting analysis and optical system simulation is discussed in the paper. The optical systems consist of lenses and elements with surface and volume light scattering. The notion of light propagation criteria is introduced. The trajectories of light rays satisfying to the criteria are visualized. The light visualization mechanism is illustrated basing on practical examples where it allows to solve complex optical simulation projects effectively. The considered practical optical systems are both lens systems and lighting guide panels and devices.

Keywords. Ray tracing, ray visualization, lighting simulation, optical system simulation, surface scattering, volume scattering.

KNOWLEDGE ENGINEERING

On Principles of Formalized Qualitative Sociological Data Analysis

M.A. Mikheyenkova

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

The purpose of the paper is to characterize the class of problems of formalized qualitative sociological data analysis and to describe the structure of Intelligent Systems solving these problems. The JSM-method’s of automatic hypotheses generation adequacy to social problems is discussed. The JSM-method use in researching the determinants and forecast of behaviour is considered. The instruments for opinion rationality investigation are proposed.

The automated method of syntax segmentation rules generation for the natural language processing purposes

Manushkin E.S., Klyshinsky E.S.

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript , Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

The paper devoted to the automated method of generation of rules for syntax segmentation. The method based on calculation of FIRST, LAST, FIRST2 and LAST2 sets. Such sets are calculated using a formal grammar written in Backus normal forms for syntax analysis of natural language texts.

Keywords. Automatic texts processing, syntax segmentation, machine learning.

SAFETY PROBLEMS


An Aspect-oriented Approach to Realization of Mobile Module in the Security Model based on Remote Entrusting Mechanism

Igor V. Kotenko, Vasily A. Desnitsky

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript , Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

The paper considers an aspect-oriented approach (AOP) to the realization of mobile module dynamic replacement for software protection from non-authorized changes and interventions on the basis of the «remote entrusting» mechanism. Main research goal is the development of the mechanism allowing carrying out changes of protected program code dynamically, without the reload and interruption of running application.

Keywords. Software protection, attack, Aspect Oriented Programming (AOP), AOP engine.

Construction of profiles of protection of categorized objects of a transport infrastructure

A.Stislavskiy.

One of the major problems solved within the limits of automated system of transport security (AS TS) is construction of profiles of protection categorized object, i.e. definition of typical structure of a complex of means and the actions providing comprehensible level of safety of all set of objects of the given category and the given type of transport. In the course of the task it is necessary to solve two interfaced – construction of model of threats for the given category of objects and to spend an estimation of admissible cost of system of safety of object. In article the decision of set of tasks is considered in AS TS.

Keywords. Counterterrorist safety on a transport, risks of transport security, a risk management, profiles of protection, vulnerability estimation, a model of threats.

NANO-TECHNOLOGIES

Fundamental Issues in Mathematical Modeling for Computer Aided Design of Nanosystems

L.A. Zinchenko, V.A. Shakhnov

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript , Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

Synthesis of nanosystems instead of analysis requires novel approaches to mathematical modeling of nanosystems. Fundamental issues in mathematical modeling for computer aided design of nanosystems are discussed. Design-oriented applications allow to use simplified models of nanosystems.

Keywords. Modeling, Nanoengineering, Design, Nanosystems.

APPLIED ASPECTS OF COMPUTER SCIENCE

Support of acceptance of administrative decisions in sphere of housing and communal services

Kulida E.L. Pankova L.A.

Е-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript , Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

In the report the actual problem of information - analytical support of decision-making in sphere of housing and communal services is considered. The interactive algorithm of ordering of objects on a set of criteria is offered on the basis of multivariate model of the data of housing and communal services.

Keywords.Support of acceptance of administrative decisions, housing and communal services, the multivariate analysis of the data, methods of ranging of alternatives on a set of criteria

The lexicological synthesis of poorly formalized documents

Boris V. Chernikov

E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript .

The technology of formation of poorly formalized documents created by means of automated lexicological of synthesis is considered in article. Experimental check of a considered way has shown possibility of essential reduction of expenditures of labour (depending on a document kind – from 2-3 up to 5-7 times) at creation of text-through documents. Additional advantage of technology is possibility of the automated formation of the document taking into account the established set of requisites and reduction of errors at information input.

Keywords. lexicological synthesis, poorly formalized document, basic words.

2017 / 02
2017 / 01
2016 / 04
2016 / 03

© ФИЦ ИУ РАН 2008-2016. Создание сайта "РосИнтернет технологии".