ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

2
Publication date:
16 June 2024

Journal articles №3 2017

11. Нybrid cognitive fuzzy control systems for an autonomous robot based on neurointerface and soft computing [№3 за 2017 год]
Authors: Ulyanov, S.V. (ulyanovsv46_46@mail.ru) - Dubna State University – Institute of System Analysis and Control, Dubna, Joint Institute for Nuclear Research – Laboratory of Information Technology (Professor), Ph.D; A.G. Reshetnikov (reshetnikovag@pochta.ru) - Dubna State University, Institute of the System Analysis and Control (Associate Professor); A.A. Mamaeva (allabard@yandex.ru) - Dubna State University, Institute of the System Analysis and Control;
Abstract: The article discusses the possibility of applying neurointerface together with different types of regulators via the typical example of controlling an autonomous vehicle. There is an assessment of application possibilities of intelligent computing methods and means to improve the control system performance reliability. The aim of this work is to show experimentally the possibilities of cognitive interface effective application (“brain-computer-actuating device”) on the example of motor vehicle driving (a mobile robot). The paper also reveals modern management technologies application and shows the role and the necessity of intelligent computing in the operating “brain-computer” interface in order to improve the reliability and robustness of the control system. In particular, the paper considers the possibility of controlling the movement of the object (forward, backward, left, right, bypass obstacles) with the help of a cognitive helmet using a standard command recognition block and different types of control systems, including knowledge base optimizer based on soft computing.
Keywords: intelligent control system, soft computing, neurointerface, cognitive control, cognitive control system
Visitors: 7140

12. Review of simulation modeling tools for robot groups with social organization elements [№3 за 2017 год]
Author: M.A. Rovbo (rovboma@gmail.com) - National Research Centre “Kurchatov Insitute” (Research Engineer); E.E. Ovsyannikova (eeovsyan@yandex.ru) - National Research Centre “Kurchatov Insitute” (Research Engineer); A.A. Chumachenko (chumachenkoaa93@mail.ru ) - National Research University Higher School of Economics (Graduate Student);
Abstract: The paper discusses mechanisms that are important for a proper simulation of artificial agents’ group, especially mobile robots, which are organized into a system with the elements of a social structure. The authors provide an overview of simulation tools based on these requirements to determine advantages and disadvantages of existing systems for modeling, simulating and researching such systems. They identify key instruments for a simulation of artificial groups with social structures. The review focuses on simulation tools for biological systems (in particular, ants since they are a good example of a social group), agent-based modeling and robot-specialized simulation tools. The paper emphasizes the level of support of various social mechanisms in simulation tools, as well as their capability to model a large number of agents (in particular, cluster computing support) and the ability to simulate user-provided models and implementations of different aspects of a social group. It was found out that, although there are many general modeling and simulation tools, there is very little support and ready-to-use implementations of even widely used mechanisms, such as pheromones, which are provided by systems to build and research a group of robotic agents with a social structure. On the other hand, the tools that aim at simulating systems with social behavior elements, such as ant modeling systems, are not very scalable or limited in aspects they can simulate. There are no mechanisms to expand them for further research. Based on the review, the paper has detected a lack of a comprehensive simulation system that specifically aims at the research of artificial agent groups with social structure elements. It has also formulated a set of requirements for such a system.
Keywords: robot, social behavior modeling, swarm robotics, simulation, development tools, review, cluster computing, bioinspired systems, eusociality, agent-based simulation
Visitors: 8966

13. Development of a pattern recognition system for a mobile robot [№3 за 2017 год]
Authors: Ulyanov, S.V. (ulyanovsv46_46@mail.ru) - Dubna State University – Institute of System Analysis and Control, Dubna, Joint Institute for Nuclear Research – Laboratory of Information Technology (Professor), Ph.D; A.G. Reshetnikov (reshetnikovag@pochta.ru) - Dubna State University, Institute of the System Analysis and Control (Associate Professor); K.V. Koshelev (kirill_koshelev18@rambler.ru) - Dubna State University, Institute of the system analysis and management;
Abstract: The main development source of robotic systems and artificial intelligence systems is improvement of computer technology, devices and sensors that allow obtaining information about the environment. This process is inextricably linked with the development of software on-board processors, which are used in autonomous robot managing. The article gives a brief description of a module of a developed image recognition system for an autonomous robot, which is based on a stereo vision technology. Nowadays, more and more articles mention the systems consisting of combinations of several video cameras, laser radars, ther-mal imagers and other sources of information about the environment. Equipment of this class became widespread when creating au-topilots for vehicles, security control systems, unmanned aerial reconnaissance, various household robots. Stereo vision allows ob-taining data on image depth, the distance to objects. It also provides an opportunity to build a three-dimensional picture of the sur-rounding world. The paper describes the configuration of the equipment used (a pair of cameras fixed on a common base): a stereopair calibrating process, the calibration pattern on the image was searched using the ROS framework. Images obtained from cameras are subjected to rectification (a transformation when both images are projected onto a plane parallel to the line that connects the optical centers of the cameras). The article considers the fundamentals of projective transformations and epipolar geometry. The paper presents the idea that un-derlies the construction of depth and displacement maps. As a result, it presents a recognition software module developed using the Python programming language.
Keywords: camera calibration, robotics, control systems, robot operating system (ros), stereovision, pattern recognition
Visitors: 9503

14. A framework for analysis and forecasting of time series in the development of proactive decision support system components [№3 за 2017 год]
Authors: M.V. Shcherbakov (maxim.shcherbakov@vstu.ru) - Volgograd State Technical University (Chief Researcher), Ph.D; K.S. Zadiran (konstantin.zadiran@gmail.com) - Volgograd State Technical University; A.V. Golubev (ax.golubev@gmail.com) - Volgograd State Technical University; Al-Gunaid Mohammed Amin (mohammadalgunaid@gmail.com) - Volgograd State Technical University (Lecturer);
Abstract: The article describes the developed framework for automation research on software design for decision support proactive systems. In particular, it considers the problem of analysis and forecasting time series to form automation components in predicting various processes. In practice, there are various data analysis libraries (R, Python) used for prototyping the component uses. The main problem is a lack (or insufficiency) of implementation of analysis methods, i.e. the sequence of actions during analysis. In addition, there is a number of limiting factors that affect the efficiency of analysis and forecasting components design: (i) time-consuming routine operations during time series manual analysis; (ii) developer’s insufficient qualifications as a deterrent in implementing proactive system components; (iii) a frequent need in the analysis of a large number of similar data. The proposed software solution (a software in Python) automates the process of time series analysis and generate a LaTeX report. Formation is automatic in accordance with CRISP-DM methodology. The report provides a comprehensive analysis of time series in accordance with published and accepted methods. All functions of the framework can be attributed to one of the following groups: data loading and the internal data frame; descriptive time series analysis with visualization; prediction and report making. The paper shows an example of using a framework to solve the problem of proactive management decisions making support in energy management systems (forecasting of electricity consumption).
Keywords: data visualization, forecasting time series, time-series analysis, software framework, proactive systems
Visitors: 7746

15. Modern trends in automated usability evaluation and behavioral factors in search engine algorithms [№3 за 2017 год]
Authors: M.A. Bakaev (maxis81@gmail.com) - Novosibirsk State Technical University (Senior Researcher), Ph.D;
Abstract: Nowadays, there are persisting ambiguities in usability conceptualization for quantitative measurement and a certain gap between its more objective components (effectiveness and efficiency) and a fairly subjective aspect of user satisfaction. The paper mentions that the practical goal is not necessarily measuring website’s usability, but rather improving its quality-in-use or assessment by respective algorithms of major search engines, which increase the importance of “behavioral factors” in their rankings. The paper describes traditional methods in usability evaluation and design, as well as up-to-date tools that introduce certain automation into them. The authors identify approaches within automated usability evaluation and summarize possibilities and limitations of each one. The approaches are based on interactions, metrics and modeling. Furthermore, there is an overview of hybrid approaches that use more and more AI and machine learning methods. Therefore, an effective method for website interaction quality evaluation is neural networks, which are applied within evolutionary web design algorithms to calculate fitness function for candidate solutions. The final part of the paper describes how global search engines (such as Yandex and Google) perform automated website usability evaluation and provides a list of the most important behavioral factors. In fact, they mostly consider usability as a “black box” and actively apply machine-learning methods to approximate its calculation. Thus, usability conceptualization and practical assessment by search engines, which nowadays shape the web to a great extent, is constantly evolving and, in our opinion, calls for respectively flexible approaches from web designers and engineers.
Keywords: search engines optimization, artificial intelligence, web design, usability engineering, human-computer interaction
Visitors: 6571

16. System model verification based on equational characteristics of LTL formulas [№3 за 2017 год]
Authors: Korablin Yu.P. (y.p.k@mail.ru) - Russian State Social University, Ph.D; A.S. Kochergin (kocherginalexandr@gmail.com) - Russian State Social University; Shipov A.A. (a-j-a-1@yandex.ru) - Russian State Social University, Ph.D;
Abstract: For a long time, the Model Checking method has been widely used in the field related with software and technical systems quality evaluation. Such top IT companies as Intel, Microsoft, Amazon, etc. actively use it in the processes of development and maintenance of their products. Such a success of this method is certainly not accidental. It helped to solve a lot of problems in the field of verification, namely: the problems of unified representation of software and technical systems, the problem of formal requirements representation, the automation of verification phases, the verification of large distributed software systems, etc. However, such challenges as the continuous development of modern technologies and the growth rates of modern software sys-tems complexity can become an insurmountable obstacle for effective verification with Model Checking. Therefore, it is necessary to make permanent improvements of its theory and tools. The article demonstrates a new verification algorithm of Linear Temporal Logic formulas by means of Model Checking based on the new RLTL notation (Recursive Linear Temporal Logic), which is a recursive representation of LTL formulas. This algorithm can avoid necessary conversions into Büchi automatons of the system model and verifying statements since RLTL can be used to define both of them. This allows beginning a verification process immediately and increases Model Checking efficiency.
Keywords: ctl, ltl, temporal logic formula, Buchi automaton, kripke structure, rltl equation characteristics, model checking, verification
Visitors: 7365

17. Anaphor resolution system development based on machine learning methods [№3 за 2017 год]
Authors: A.V. Sokolov (a23sokolov@gmail.com) - Novosibirsk State University; Batura T.V. (tatiana.v.batura@gmail.com) - A.P. Ershov Institute of Informatics Systems (IIS), Siberian Branch of the Russian Federationn Academy of Sciences, Ph.D;
Abstract: The paper proposes and implements a method for the anaphora resolution of third person pronouns in Russian texts. The problem of finding the true pairs “anaphor-antecedent” is considered as a binary classification problem. Initially, the authors perform morphological and syntactic analysis of the text. The morphological analyzer used the pymorphy2 library. The parsing has been performed using MaltParser. The algorithm of anaphora resolution itself consists of three stages. First stage includes searching for all pronouns, then there is a compilation of many potential antecedents, and finally the most suitable candidate is selected. The component of creating a set of candidates for antecedents is based on using distance, morphological and syntactic filters. Classification uses the Random Forest algorithm. The anaphoric classifier takes into account 78 different features. The authors performed a series of experiments in order to prove the effectiveness of the proposed method. They showed that that the quality of the analyzer improves if we do not take into account the morphological case. It can also be noted that the number of trees taken for calculation has a lesser effect on the final result when taking a feature set without cases. The paper considers the main difficulties in developing the anaphora resolution systems. First, the search for anaphoric relations is in the semantic domain, and therefore it is difficult to formalize. Second, there are some features of the Russian language, such as developed morphology, morphological and syntactic ambiguities, which adversely affect the result.
Keywords: analysis of text information, anaphoric classifier, machine learning, classification methods, antecedent, anaphora
Visitors: 8499

18. An enterprise information system for estimating labor and software development costs [№3 за 2017 год]
Authors: S.L. Kotov (info@gicpsvt.ru) - Main Testing Certification Center of Security Software and Computer Engineering (Associate Professor), Ph.D; A.A. Demirsky (info@gicpsvt.ru) - Main Testing Certification Center of Security Software and Computer Engineering (Head of Department), Ph.D;
Abstract: This article aims to study the process of software size estimation and its impact on the software development process. Software size has the greatest impact on the complexity of development. A software estimation process, which is in-tegrated with the software development process, can help to establish realistic and credible plans to implement the project requirements and satisfy commitments. It also can support other management activities by providing accurate and timely planning information. The article provides an overview of existing methods for estimating the size of the software created. The most common methods are: functional point analysis (FPA) and constructive cost model (COCOMO, COCOMO II). The article indicates disadvantages of these methods. The paper presents a new approach of software size estimation. The fuzzy model Takagi-Sugeno-Kang is described by fuzzy IF-THEN rules, which represent local input-output relations of a nonlinear system. The main feature of the Takagi-Sugeno-Kang fuzzy model is to express a local dynamics of each fuzzy implication (rule) by a linear system model. The fuzzy model Takagi-Sugeno-Kang is used to estimate the size of software objects. The paper illustrates how the new method can be used in the enterprise information system for estimating labor and software development costs. The result shows that the approach is better than FPA method.
Keywords: fuzzy model, project management, labor cost estimation, software size, software estimation
Visitors: 4326

19. Calculation of the optimal dependency of information resource price during its marketing at several markets [№3 за 2017 год]
Authors: S.A. Amelkin (sergey.a.amelkin@gmail.com) - System Analysis Research Center, Program System Institute of RAS (Head of the Center), Ph.D; O.S. Ivanova (olety@yandex.ru) - Medical Informatics Research Center, Program System Institute of RAS (Engineer);
Abstract: The paper considers the problem of determining the pricing policy of the company that implements a market information resource. One of the key challenges of the information market – information cost determination. However, this raises a number of difficulties due to the nature of the goods. The paper considers the information goods as a certain software product. The sale of information resources is characterized by the fact that replication of this resource can be without any significant additional costs. This leads to increasing in resource volume during its dissemination. At the same time, price setting is one of the key factors determining further distribution and promotion of goods, which takes into account a variety of factors including the way it is distributed. The paper solves the problem of determining the optimal dependence of the information resource price on time for the case when the retailer has no competitors on the market, the market is saturated, and buyers do not have the possibility of further dissemination of the resource. The authors obtain the conditions for optimal selection of the information resource price, calculate the maximum possible income of the company for a linear demand function, and describe the conditions governing the duration and volume of sales ensuring a high average company income. When the function of demand is known (it can be found using an approximation of the experimental data), the obtained conditions allow selecting the optimal change in sell prices as a function of the number of sold copies of the information resource.
Keywords: necessary optimality conditions, the intensity of sales, demand function, optimal price, information resource
Visitors: 3748

20. Method of frequency-morphological classification of texts [№3 за 2017 год]
Authors: A.А. Osochkin (osa585848@bk.ru) - Herzen State Pedagogical University of Russia; Fomin V.V. (v_v_fomin@mail.ru) - Herzen State Pedagogical University of Russia (Professor), Ph.D; А.V. Flegontov (flegontoff@yandex.ru) - Herzen State Pedagogical University of Russia (Professor), Ph.D;
Abstract: Appearing of centralized data storages and information accumulation as structured tables or semistructured texts is a result of growing attention to data analysis techniques. The analysis of similar data in the long term allows obtaining important information, which can become a basis for making right management decisions or predicting further development of events in many fields. One of the important directions of such analysis is automatic classification of collected data in electronic form. Its simplified model is reduced to reading, text processing and assigning a topic to a document from a given list of topics. Foreign papers more and more often are devoted to medical data classification for further disease progression forecast on the basis of statistics or diagnosis based on medical history. The main difficulty in classification are natural language texts. They are difficult to classify due to linguistic features of language and support by a part of classification methods of exclusively numerical data. The paper studies scientific activity in the field of NLP based on the annual publication of scientific papers in this field. It also offers the method of Russian-language texts classification that integrates the algorithms of frequency, morphological and intellectual analysis. The paper presents the results of some experiments on the identification method of classification with high classification accuracy. The classification was carried out according to functional, literary, and authorial styles.
Keywords: text mining, data mining, decision trees, morphological analysis, frequency analysis, text categorization
Visitors: 10812

← Preview | 1 | 2 | 3 | Next →