Software & Systems

Articles of journal № 3 at 2015 year.

Order result by: Public date | Title | Authors |

31. Human-intelligent software systems of creative problem solving intelligent support [№3 за 2015 год]
Authors: Semenov N.A., Kuznetsov V.N., Klyushin A.Yu., Mutovkina N.Yu.
Visitors: 9777
The article discusses the basics of creating human-intelligent software systems for creative problem solving intelligent support. Human intellect is determined by his brains, mind capabilities, its features and errors including neurophysiological and neurochemical processes in the human brain. This refers primarily to man's creative activity including decisionmaking for creative problems by scientists and research groups. Decision-making happens in all areas of human activity and is the defining element of management process. It is often necessary to make decisions in the conditions of data incompleteness, uncertainty and ambiguity. For example, it refers to decision-making when managing various economic entities activity, which usually have a rather difficult structure and a variety of the processes happening within them. Management subjects have their own interests, opinions, judgments, arguments on a specific question, points of view regarding an existing problem solution, this all brings additional uncertainty and assumes preliminary coordination of interests of decision-making process participants. Nowadays there is a problem of creating information and software systems to support creative solutions that would take into account and use the abilities of scientists and groups of scientists. In this case, it makes sense to talk about human-intelligent information and software systems to support creative solutions of creative problems.

32. The algorithm and software implementation of the simulation model of the column jet-emulsion reactor gravity separator [№3 за 2015 год]
Author: Sechenov P.A.
Visitors: 10359
The article shows a development technology to create a simulation model of physical and chemical interaction of dispersed particles of the charge and reaction products floating in the stream of carrier high temperature gas. This tech-nology is based on the comparison of basic concepts and finished tooling simulation solutions (Vensim, GPSS, Simula, AnyLogic, MATLAB, etc.) with object oriented programming languages (Delphi, Visual Basic, Visual C#, and ActionScript 3.0). In order to accomplish the task, an object-oriented programming language ActionScript 3.0 was used. The paper shows the structure and the algorithm of the simulation model software implementation for a column jet-emulsion reactor (JER) gravity separator: it shows the data exchange between the main module and program classes (condensed particles class, gas particles class, class of calculations, a schedules display class and a time display class). Data exchange between additional classes is not performed. Therefore, if there is a need to modify one class, then the class itself changes, and if the instantiating class parameters changed, then this class callsite from the main module also changes. For each class the paper shows the main features, purpose, input and output parameters, functions. The main module functions are considered in more detail. They include the interaction and invocation of procedures and functions inside the main module (elastic and inelastic colli-sion of two particles), as well as with the functions and procedures of selected classes (creating and deleting particles from the classes of condensed matter and gas particles, checking the intersection of particles in the class of calculations). The au-thors present the resulting simulation model of the column JER gravity separator with description of the following possibili-ties: input parameters, observation of the particle motion in the gravity separator and display of statistical data and graphs in real time, research on the model (the influence of the initial parameters: the number and ratio of supplied particles of ore and carbon, the extent and rate of particles dissolution, the initial velocity of a gas suspension flow) and optimal parameters selec-tion.

33. Geocoding sites in Quantum Gis with the help of Yandex databases [№3 за 2015 год]
Authors: Stepanova L.A., Zaytseva E.N.
Visitors: 13348
The article describes the coordinate and attribute characteristics of spatial data of the Public cadastral map posted on the official website of the Russian Register and on Yandex.Maps. It was revealed that the number of spatial sites on Yandex.Maps exceeds the number of sites on the Public cadastral map by 2-3 times, but the Public cadastral map includes the objects that are registered in the State Real Estate Cadastre. The article shows a geocoding procedure definition and proves its applicability in creating departmental GIS project in the freely distributed open source software Quantum GIS (QGIS). The article also describes the possibility of using the API component Yandex Maps in the QGIS open software. There is a description of batch geocoding performance by the RuGeocoder module using Yandex database. The authors analysed the correctness of the geocoding procedure, identified the causes of incorrect geocoding and offered the ways to ad-dress them. The paper presents the results obtained during geocoding of 74 sites of institutional real estate. This analysis showed that 67 addresses have been decoded correctly, and for 7 sites the geocoder returned the coordinates of the street cen-ter, since the building's address does not exist in Yandex.Maps. In conclusion, the article presents the main findings for further use of the obtained cartographic material, and also de-scribes the need for geocoding to update sites on the map with minimal time consumption.

34. Optimization for the detection process of new space object orbits by a parallel calculating of possible orbits [№3 за 2015 год]
Authors: Trushkova E.A., Matveev G.A.
Visitors: 7470
Observation and cataloging of small debris objects in near–Earth space requires the improvement of the methods and algorithms for obtaining and processing information to improve the efficiency of the optical means. One of the approaches for operative detection of uncatalogued space debris objects orbits has been tested and used successfully in Russian optical observation ground facilities. However, much time is spent on the operation of the exhaustive search of short series of measurements (tracks) and the choice of three series separated in time, presumably belonging to the same object debris and used for the subsequent construction of a possible initial orbit. The article considers the issue of reducing tracks exhaustive search using preliminary analysis of the measurements by a priori constructing the boundaries of possible orbits parameters’ changes. Computational experiments within the research of this application problem are aimed at reducing the average processing speed of one track by increasing the accuracy of estimation. The processing speed of one track is naturally limited since the construction of the possible orbits parameter estimates for each track should not greatly affect the time of the overall measurement processing cycle as part of a trajectory measurements general processing program. The decrease in the average processing speed of one track and the simultaneous increasing the accuracy of estimates is possible with a parallel operation of the program. So, in order to optimize the program for detecting and determining the orbits of new space objects it is proposed to use a parallel algorithm for constructing the boundaries of the possible orbits changes for selection of allowable triples of tracks which have nonempty intersection. The algorithm is implemented in T++ for a T-system with an open architecture (OpenTS).

35. Automation of complex systems simulation modeling in a distributed computing environment [№3 за 2015 год]
Authors: Feoktistov A.G., Basharina O.Yu.
Visitors: 8296
One of the most effective approaches to the analysis of complex systems is simulation modeling. The process of building simulation program, which adequately reflects the object of study, is a non-trivial task and requires high mathematical and programming skills from its developer, especially when it comes to a parallel or distributed program. Thus, there is a need for high-level tools for automation of this process, that will maximize the potential of high-performance IT-equipment and provide building a complex technological chain: from task formulation to model creation, then to software development and to carrying out a computational experiment. The article considers new software tools of complex system modeling based on the use of distributed computing environment. The authors represent the technology of software tools implementing to solve the research tasks of complex systems. Modeling is carried out using multiversion distributive calculations that allow reducing the time for task solution. As an example of distributive computing environment the authors take computer clusters based on the personal computers from educational and scientific establishments. The article represents the examples of software tools implementation in the process of important practical tasks solution. The principles of work, the technology of application, means and ways of implementing the above mentioned instruments provide the wide range of using their functional possibilities for complex systems simulation modeling in different fields of human activity.

36. Software package for interpretation of nonverbal information by analyzing speech patterns or electroencephalogram [№3 за 2015 год]
Authors: Filatova N.N., Sidorov K.V., Terekhin S.А.
Visitors: 8886
Interpretation of non-verbal information that is contained in speech samples and EEG patterns provides a quantitative and qualitative assessment of human emotional reactions characteristics. The article considers software focused on this problem. The software package allows sample signal processing using both spectral analysis and nonlinear dynamics. It is possible to perform a calculation of a power spectrum or the reconstruction of attractors. The authors propose three types of signs to compare attractors: the maximum length of vectors describing the attractors’ projections contours, the density of the attractors’ projections trajectories, the degree of sparse matrix density of attractors’ projections trajectories. A user can create different versions of speech patterns models or EEG signals using the features that characterize the attractors geometry or power spectra. The models of biomedical signals provide transition to fuzzy features. Signs fuzzification is carried out using a triangular conorm. The interpreter emotions module evaluates three characteristics: the sign of an emotion, its level and direction of development (dynamics of emotions). The relationship between these characteristics and signal models components is described as a set of fuzzy rules. The software package has been tested on a set of speech samples in Russian, French and German, as well as on the samples of the EEG signals. The accuracy of the Russian speech emotions characteristics interpretation was 96%, for German (from Emo-DB base) it was 92 %. The coincidence of the emotions interpretation results using speech patterns and EEG recorded in the same test is experimentally proved.

37. Active logic and logic programming: integration of the concepts [№3 за 2015 год]
Authors: Fominykh I.B., Vinkov M.M., Pozhidaev A.K.
Visitors: 7525
The article discusses the integration of active logic and logic programming concepts. Active logic combines several formalisms of so-called reasoning in time, that are considered not as a static sequence of statements, but as a process taking place in time. The principles in such logical systems are relevant in solving complex management tasks in a hard real-time mode. These tasks can be characterized by existing situations when exceeding allowed response time to what is happening in the external environment event can lead to catastrophic consequences, not a performance gradual deterioration. The concept of logic programming is to define the semantics of non-monotonic formalisms in terms of sets of liters, rather than more complex structures like Kripke as in other non-monotonic systems. This fact has a beneficial effect on the computational complexity of logic programs. As a result of combining the principles from these concepts, the authors obtained non-monotonic formalism that meets the concept of active logic. It seems simpler to implement and has the best characteristics of computational complexity comparing to other currently existing systems of active logic. The paper describes procedural and argumentation semantics for the proposed formalism. Unlike other systems of argumentation, in this semantics the relationships between the arguments are developing in time.

38. Masking privileges for existing android applications [№3 за 2015 год]
Authors: Khorev P.B., Novik A.K.
Visitors: 4454
Android has robust system that prevents malware from damage to sensitive data and abusing system resources. The core element of that system is a permission subsystem, which allows restricting access to system resources and private data. Each application requests a permission for correct work and user gives it or cancel installation process. This article describes one of its drawbacks: it is impossible to set optional permissions. The paper also partially considers a modified Android permission subsystem, which allows more flexible approach to set application permissions. There is also a description of a way to integrate existing applications into the modified Android version without sacrificing of flexibility. The approach is based on mocking certain resource for a certain application. Thus, an application deals with a mock resource and can’t understand if this resource is mock or real. On the one hand, this approach allows an application to work with any resource like with a genuine one; on the other hand, it protects sensitive data from unauthorized access. This approach can be used in future Android OS versions to improve application permissions enforcement.

◄ ← Preview | 1 | 2 | 3 | 4