Summaries of the Issue
AUTOMATA-BASED PROGRAMMING TECHNOLOGIES AND ARTIFICIAL INTELLIGENCE
AND ARTIFICIAL INTELLIGENCE TECHNOLOGIES GENERATION OF FINITE STATE MACHINES FOR UNMANNED AIRPLANE CONTROLLINGAlexandrov Anton V., Sergey Kazakov, Sergushichev Alexey A. , Fedor Tsarev, Shalyto Anatoly Abramovich
A genetic programming method for induction of finite state machines with continuous and discrete output actions is suggested in the article. Instead of the known approach using modeling as a controlling automaton quality estimation and demanding much time we use method of automata behavior comparison with human controlling behavior. Special feature of this approach is the opportunity to use controlling objects not only with discrete but with continuous parameters. This approach is illustrated by the example of finite state machine creation for unmanned airplane controlling in the “loop” mode.
SMALL-SIZED HELICOPTER CONTROL SYSTEM DEVELOPMENT Vitaliy Kleban, Shalyto Anatoly Abramovich
An example of automatic control system of unmanned small-sized helicopter with a coaxial location of the screws is given. Methods of control theory and digital signal processing are successfully supplemented with the automata-based programming paradigm, which allows effective building of systems with complex behavior.
DOUBLE-STEP GENETIC PROGRAMMING APPLICATION FOR TANK MODEL CREATION IN “ROBOCODE” GAME Dmitry Sokolov
The article deals with genetic programming application for creation of finite automata controlling complex behavior systems. Double-step genetic algorithm based on dynamic programming ideas is described. This method application for “Robocode” game is considered.
MACHINE LEARNING APPLICATION FOR CONTROL AUTOMATA CREATION BY “ROBOCODE” GAME EXAMPLE Ilya Chernyavskiy
The problem of finite state machine design based on machine learning application is studied and comparison with genetic programming method is given.
AUTOMATIC SYNTHESIS OF MOBILE ROBOT CONTROL SYSTEM FOR SOLVING THE "KEGELRING" PROBLEM Alekseev Sergey A., Alexander Kalinichenko, Vitaliy Kleban, Shalyto Anatoly Abramovich
An example of automatic synthesis of mobile robot control system for solving the “Kegelring” problem is given. Automatic synthesis of the system is carried out by the genetic algorithm, which is used to determine the structure of the control automaton.
GPU EFFECTIVENESS ANALYSIS FOR AUTOMATIC SYNTHESIS OF ROBOT CONTROL SYSTEM Anton Sergeev, Vitaliy Kleban, Shalyto Anatoly Abramovich
Effectiveness of graphic co-processors (GPU) for the synthesis of automatic control systems (ACS) for a mobile robot is researched. The features of GPU are analyzed in relation to the problem. The parallel implementation of genetic algorithms is chosen as a model task for synthesis efficiency estimation by the example of the ACS synthesis for the “Sumo of Robots” competition.
HARDWARE AND SOFTWARE COMPLEX FOR FINITE STATE MOBILE ROBOT CONTROL STUDY Alekseev Sergey A., Vitaliy Kleban, Shalyto Anatoly Abramovich
Robot control is the task of complex behavior systems control; several approaches are known nowadays for such problems, finite state programming in particular. The article deals with design and research system intended for development and study of finite state programs for mobile robot control.
Modification of the Viola-Jones method, one of the most effective methods for image classification, is considered. Feature detectors built on the base of finite automata are used instead of the rectangular features detectors in the proposed modification. The use of finite automata allows for reducing the number of levels in the cascade and the number of detectors on each level due to the fact that the automata-based detector can detect more complicated features than simple rectangles.
STRATEGY OPTIMIZATION METHODS FOR TWO-PLAYER GAMES WITH GENETIC ALGORITHMS Dmitriy Trofimov, Shalyto Anatoly Abramovich
The article deals with genetic algorithm modification, allowing to solve the optimization problem without setting objective function evidently with the use of comparison function of two candidate solutions. This is achieved by applying the so-called tournament systems. Suggested algorithm enables to use the basic genetic programming principles in problems where it is impossible or too inefficient. For example, the task of an optimal strategy creation against a random opponent in two-player games refers to such problems class.
DEVELOPMENT OF FINITE AUTOMATA CREATION METHODS WITH ANNEALING SIMULATION ALGORITHM BY THE «WAR FOR RESOURCES» EXAMPLE Alexander Zaikin
Annealing simulation algorithms are used in the given article to generate control automata of the defender in the "War for Resources" game. The article deals with the use of the annealing simulation algorithm in the problem of a finite-state machine creation that controls the defender in this game and subsequent analysis of the results.
REPRESENTATION OF FINITE STATE AUTOMATA BY LINEAR BINARY GRAPHS IN GENETIC PROGRAMMING Vladimir Danilov, Shalyto Anatoly Abramovich
The article deals with representation of finite state automata by evolutionary algorithm individuals based on linear binary graphs. Comparison of the given method with known ones is done by the example. Suggested method is more efficient as compared with representation of transition function by complete charts. It is more efficient at some condition numbers than representation of transition function by decision trees.
AUTOMATIC SELECTION OF ENVIRONMENT PARAMETERS DURING AUTOMATA PROGRAMS GENERATION BY GENETIC ALGORITHMS Vladimir Kulev
The paper proposes a new method of genetic programming that improves the way of fitness function creation for genetic algorithms testing individuals by simulating the environment. This method makes it possible to select automatically the parameters of the external environment, which leads to quality improvement of generated individuals. It was shown, that the developed approach can be used to generate the automata programs in problems where the behavior of the environment can be described by a finite automaton, by the example of the "Prisoner's iterated dilemma" problem.
GENETIC APPROACH FOR CELLULAR AUTOMATA GENERATION Tikhomirov Andrey V, Shalyto Anatoly Abramovich
The article discusses the method for arbitrary cellular automata generation based on test samples using genetic algorithms. Issues arising from applying a classic genetic algorithm to the problem are described. Modified genetic operators for elimination of defects are shown. These operators are tested by a few training examples.
GENETIC ALGORITHMS APPLICATION TO TEST GENERATION FOR AUTOMATA PROGRAMS Andrey Zakonov, Shalyto Anatoly Abramovich
The article deals with an approach for automated test generation of automata-based programs. Contract approach is suggested to formalize specification requirements to the model and control objects. Test is described as a sequence of transitions in a model. Genetic algorithm is proposed for automation of test creation to find set of values meeting transition conditions.
TESTS GENERATION FOR OLYMPIAD PROGRAMMING TASKS USING GENETIC ALGORITHMS Maxim V. Buzdalov
An automated method for tests generation against inefficient solutions for Olympiad programming tasks is given. This method is based on genetic algorithms. Method application in generation of new tests for an Olympiad task from the Internet problem archive acm.timus.ru is described. None of submitted solutions succeeded in passing the resulting test set.
JOINT APPLICATION OF CONTRACTS AND VERIFICATION FOR AUTOMATA-BASED PROGRAMS QUALITY ENHANCEMENT Andrey Borisenko, Vladimir Parfenov
Quality assurance is an important aspect of development of software systems with complex behavior. The price of error in such systems may be too high, so it is important not just to check all program specifications, but also to make the process efficient and automated as much as possible. In practice, it can be achieved by formalizing the program requirements and storing the executable specification directly with the program code. This paper presents the review of existing quality control methods applicable to software systems with complex behavior. The process of environment creation is described supporting three most common approaches to quality assurance of automata-based programs: model checking, unit testing, and contracts. The proposed approach helps to keep program specification up-to-date with availability of interactive quality control.
VIRTUAL LABORATORY FOR ARTIFICIAL INTELLIGENCE TRAINING METHODS FOR CONTROLLING FINITE STATE AUTOMATA GENERATION Alexander Tyakhti
The structure and capabilities of virtual laboratory on C# programming language are described. This virtual laboratory is intended for training in the area of genetic algorithms and automata-based programming. Main stages of plug-ins development for the laboratory are described.
OPTICAL AND OPTICAL ELECTRONIC SYSTEMS. OPTICAL TECHNOLOGIES
DISCOLORATION OF NATURAL SAPPHIRES Vladimir A. Aseev, Nekrasova Yana Andreevna, Konstantin Khomchenko
Spectral and luminescent characteristics of the faceted crystals of natural sapphires have been investigated. Samples were exposed to technological methods of processing that made it possible to modify selectively the optical density of sapphires in definite spectral regions. Most effective techniques of discoloration of sapphires have been showed.
REPRESENTATION OF EXPERIMENTAL DATA ON ATMOSPHERE OPTICAL PARAMETERS BY ANALYTIC RELATIONS Maria Moiseeva, Demin Anatoly V.
A creation method of an analytic formula for the atmosphere transmitting efficiency calculation based on experimental data for two spectral regions is proposed. An algorithm of known empirical data sets partitioning into groups according to various analytic forms is described. On this basis an empirical formula for the atmosphere transmitting efficiency calculation is determined.
PHOTONICS AND OPTICAL INFORMATICS
CONSISTENT SYSTEM OF UNIQUE KEY QUANTUM DISTRIBUTION ON CHOPPED LIGHT SIDEBAND Rupasov Andrei V, Artur V. Gleim , Egorov Vladimir I, Yuri Mazurenko
Functional diagram of unique key quantum distribution system on chopped light sideband with unconditional security is suggested. Sidebands application allows simplifying optical phase insertion into operational signals. Compensation mechanisms of optical modulator polarization dependence and negative influence of birefringence are discussed and proved by experimental results.
PHASE SELF-MODULATION OF SINGLE-CYCLE OPTICAL WAVES Drozdov Arkadiy A, Kozlov Sergei A
Analytical and numerical solutions of the equation describing the dynamics of the light pulse field in isotropic dielectric medium with normal group dispersion and cubic delayless nonlinearity are obtained for the boundary condition of single-cycle optical wave. It is shown that spectral broadening of such extremely short pulses by the number of oscillations occurs both in a high- and low-frequency region in nonlinear medium. Spectral density maximum of radiation shifts to low-frequency region. Formation of triple frequency radiation which is customary in the medium with cubic nonlinearity doesn’t occur but the wave is generated with the central frequency approximately 4.5 times more than initial wave frequency.
LIGHT DIFFUSION IN A MEDIUM WITH NANOSCALE HETEROGENEITIES Anton Alfimov, Elizaveta Aryslanova, Dmitry Vavulin, Olga Andreeva, Daria Temnova, Lesnichiy Vasiliy V., Vyacheslav Almyashev, Svetlana Kirillova, Sergey A. Chivilikhin , Igor Yu. Popov, Gusarov Victor
A method for determining the characteristic size of nanoparticles or other nanoscale heterogeneities is proposed. The method is based on comparing of experimental and theoretical spectral dependences of light attenuation coefficient during the light propagation through heterogeneous medium. One of the possible applications of this method is the analysis of nanoparticle sizes produced in the process of hydrothermal synthesis. The porous glass with known size of pores was chosen as a model of medium.
ANALYSIS AND SYNTHESIS OF COMPLEX SYSTEMS
SOLUTION MODEL OF INVERSE PROBLEM OF IONOSPHERE VERTICAL SOUNDING Grishentsev Alexey Yu., Korobeynikov Anatoliy Grigorievich
Solution model of the inverse problem of ionosphere vertical sounding with reference to the data received at ionospheric "AIS-M" stations is developed. Program application for the automated processing and analysis of spectrograms of high-rise ionosphere sounding is realized on the basis of the developed model. Software product approbation has allowed revealing high enough efficiency of the offered method and positioning the developed model as an effective way of an inverse problem solution for ionosphere high-rise sounding.
PROGRAMMED SERVO DRIVE TRAJECTORY SHAPER Sergey Yu. Lovlin, Madina Tsvetkova, Ivan Zhdanov
The article describes digital trajectory shaping algorithm used for servo drive directing. There are velocity and acceleration limitation included in this algorithm. The algorithm is intended for working in advance unknown input signal conditions; trajectory shaper is realized in the digital form.
COST CONTROL ESTIMATION FOR HARMONIC EXOGENOUS ACTIONS: GRAMIAN APPROACH Dmitriy Biryukov, Ushakov Anatoly Vladimirovich
The problem of cost control estimation for the harmonic exogenous actions (HEA) is solved based on gramian approach. This approach was formed within the limits of modern control theory and gives the opportunity to calculate the steady output of the system by means of initial state vector and conformity matrix. This approach analytically determines direct connection between steady output of technical object (TO) motion as a part of produced system with source initial state vector, and this connection is realized by similarity matrix which is the solution of Silvester equation at that. The problem gets transparent solution on the initial states sphere of harmonic exogenous action source, as minor and major values of control costs, a function of mode distribution that is delivered to the system formed by TO and regulator during system synthesis.
COMPUTER SYSTEMS AND INFORMATION TECHNOLOGIES
BASIC PRINCIPLES FOR SOLVING THE PROBLEM OF TRANSFORMING AN OBJECT-ORIENTED SOURCE CODE TO RDF FORMAT USING SEMANTIC ANALYSIS Alexey Zarakovsky, Klimenkov Sergey V. , Nikita Tkachenko, Kharitonova Anastassia E.
The article describes ways of solving the task of object-oriented source code conversion to RDF format using semantic analysis. Basic principles of semantic analysis of object-oriented code are reviewed and architectural prototype of software is proposed which converts code to RDF format.
CREATION METHODS ANALYSIS OF MOVING OBJECTS TRAJECTORY ON THE BASIS OF VIDEO DATA SEGMENTATION Rubina Irina Semenovna
Algorithms research of the segment approach to the solution of the prediction and compensation task of motion is carried out. This class of methods eliminates the most part of disadvantages of solutions on a basis of the pixel approach with high computational complexity of algorithm and the objective approach with complexity in definition of the prediction object form. Because of high computational complexity of possible prediction variants exhaustive search for the block, the optimal selection scheme of blocks for comparison is offered in the article. The number of perfections of existing approaches for the purpose of improvement of relation computing complexity / quality is offered.
PROBLEMS OF SEMANTIC DICTIONARY REPLENISHMENT Boyarsky Kirill , Evgeniy A. Kanevskiy
Problems of computer semantic dictionary replenishment by the new words met in the text during its analysis are considered. The offered system works in a semi-automatic dialogue mode. At the first stage, morphological characteristics of a new word are defined, at the second – we specify its syntactic-semantic parameters by the analogues that are available in the existing dictionary. Suggested approaches provide high precision level. The possibility of new words exact semantic indication in relation to both semantic classes and arguments providing connection with attached words appeared for the first time.
ORGANIZATION OF NODES NETWORK INTERACTION IN DISTRIBUTED REPOSITORIES Nikolay Lukyanov, Andrey M. Dergachev
The article represents information streams processing methods and organization of nodes network interaction used for local network services of each node in distributed data storehouse system for Internet services. The article explains user data movement sequence inside the system, describes optimum node choice method using weight factors ranging and also describes the node data recovery procedure in case of hardware or software system failure.
COMPRESSION METHOD FOR DYNAMIC RANGE OF DIGITAL FOURIER HOLOGRAM WHILE EMBEDDING HIDDEN WATERMARKS Alexei Starchenko, Gatchin Yuri A
The method of distortion decrease in image-container with embedded hologram of watermark based on hologram dynamic range changing by logarithmic transform is proposed. The proposed method provides decrease of distortions arising at image watermark restoration in comparison with conventional Fourier hologram method. Linear dependence has been exposed between changing of watermark signal amplitude and intensity average quadratic deviation of digital Fourier hologram.
QUANTITATIVE ASSESSMENT OF INFORMATION IN KNOWLEDGE BASES Bessmertny Igor Alexandrovich
The paper concerns the problem of artificial intelligence systems creation concerning information measurement containing in formalized knowledge bases. An approach of information assessment applicable for both natural and artificial intelligence is proposed. To avoid uncertainty of concepts space we suggest evaluating information capacity within a context.
ON THE VULNERABILITY OF VIRTUAL MACHINE MONITORS Yuri Evelev, Gennadiy Сhernoknizhny
The article is devoted to virtualization problems security. Vulnerabilities of well-known virtual machine monitors are shown. Examples of exploits are given. VMsafe technology and its abilities to increase the protection system effectiveness in view of security vendors are considered.
CLOSE-FIELD HIGH FREQUENCY PROBING METHOD IN BIOLOGICAL DIAGNOSTICS Aleksey V. Arsenev, Alexander Volchenko, Lyudmila Likhacheva, Viktor Pecherskiy
The article deals with the possibility to define the electrodynamic parameters of biological environment tissues using non-contact method. The possibility of method application for noninvasive biological objects diagnostics is shown. Results of functional activity determination concerning teenagers' locomotor apparatus are given as an example of the method abilities. The main purpose of this work is research of high frequency near-field biological objects diagnostics probing method and its approbation on particular surveys of teenagers' locomotor apparatus.
NON-INVASIVE MEASURING METHODS OF BILIRUBIN, HAEMOGLOBIN AND GLUCOSE. HAEMOBILIGLUCOMETER DEVICE Elena Kozhokhina
Advantages of non-invasive measuring methods of blood parameters are considered. Haemobiliglucometer device design is proposed.
ECONOMICS AND FINANCES. MANAGEMENT
SIMULATION MODELING APPLICATION FOR THE QUALITY ASSESSMENT OF INNOVATIVE PROJECTS BUSINESS PLANS Alla Kravets, Alexander Drobotov
The article deals with the possibility of using simulation modeling (Monte-Carlo method) to assess the quality of innovative projects based on business plan; a method of simulation application for decision making is proposed; soft implementation of method for project risks evaluation based on business plans is done.
Potential realization of the Russian enterprises in the innovative product creation sphere is one of the primary goals of the Russian economy modernization, and Russian industrial parks are to help solving it. However, transition attempts to innovative development come upon essential obstacles: necessity to add other necessary links of innovative process to manufacturers of knowledge and technologies, such as attraction and placing of research orders for development, formations of demand, innovation advancement, introduction maintenance of innovative decisions and their support with the customer. Indetermination of these problems is aggravated with falling of innovative activity of leading economy sectors.
NEW LYAPUNOV-KRASOVSKIY FUNCTIONAL FOR EXPONENTIAL STABILITY PROOF OF NONLINEAR SYSTEM WITH DELAY Bobtsov Alexey A., Pyrkin Anton Alexandrovich
The new type of a Lyapunov-Krasovskiy functional is considered to prove the exponential stability of nonlinear system with parametric and functional uncertainties and delay. The method of consecutive compensator developed by one of the authors has been used as a regulator for stabilization of nonlinear system.
APPLICATION OF ONTOLOGY IN THE INTELLIGENT RESOURCE MANAGEMENT SYSTEM Mouromtsev Dmitry I., German Vargin, Semerhanov Ilya A
The article considers the possibility of ontology application in the design of the intelligent resource management system and advantages of semantic services introduction.
ARRANGEMENT OF INTER-COMPUTER EXCHANGE LINKS WITH RESERVATION Bogatyrev Vladimir A, Anastasiya Evlahova, Elena Kotelnikova, Bogatyrev Stanislav Vladimirovich, Osipov Andrey V
Variants of an inter-machine exchange on two highways taking into account failures and repeated transfers are considered.
INNOVATIONS AND THEIR ROLE IN THE ENTERPRISE COMPETITIVENESS MANAGEMENT IN THE SERVICE-ORIENTED ECONOMICS Olga Tchernysheva
The article presents the key findings of innovations introduced in the activities of enterprises in service-oriented economics. Special attention is paid to analysis of the innovations impact on the company's competitiveness, on the whole. A set of directions to improve the innovation process at the present stage of economic development is produced.