Software & Systems

Articles of journal № 1 at 2015 year.

Order result by: Public date | Title | Authors |

11. Tasks specification in a self-organizing informationsystem [№1 за 2015 год]
Authors: Drozhdin V.V., Shalaev A.A.
Visitors: 9574
To ensure self-modification and self-improvement, a self-organizing system should identify intra-system problems and address them via tasks formulation and accomplishment. The article presents general task specification and defines its components. As a method of solution, we suggest using semantic and constructive descriptions. The paper defines corresponding rules between a task and a method of its accomplishment and discusses the ways of forming a method that addresses the task at hand. This article highlightes the advantages of using under-defined tasks in a self-organizing system and suggests a number of ways to complete task definitions in the following cases:a) incomplete coverage of the task definition domain by the problem definition domain, b) solution method partial constraint satisfaction in relation to the initial task conditions, c) deviations from the transformations of the initial data into a solution method equivalence and from the data conversion methods that were initiated by the problem. The paper proposes the semantic task specification as a concept-task and relationships between the concepts. The concept-task consists of an identifier, a composition, content, a solving method, an external description and macro properties. Possible relationships between concept-tasks include aggregation, classification, generalization and abstraction.Semantic specifications of the tasks that are known to the system and are to be resolved in it can be used to form a layer oftasks in the “problem – task – subtask – method of solution – knowledge” semantic domain. In conclusion, the problem formulation and solution allows the system to resolve any issues that arise during the course of its operation. In addition, the use of the under-defined tasks significantly enhances system troubleshootingand makes the process more efficient.

12. Design principles for a converter that converts MS DOS projects into MS Windows projects [№1 за 2015 год]
Author: Zenkov V.V.
Visitors: 10550
Created in the past to work in the MS DOS operating system and works to this day program products gives us-ers and developers desire to reprogram them using modern tools MS Windows or another operating system. We are talking about major projects to be transferred to the new operating environment and new tools mental tools: data-base and development tools of geographic information systems.The main thing to consider when reworking the project - whether there is a new operating system tool, which is made using the old design. Working in MS DOS common high level programming languages have converters for converting source programs on modern programming languages C++ and Visual Basic. With their help, alteration projects is greatly simplified. However, the old project can be executed in a certain tool environment that does not have a converter that converts the project for the new operating system. Then reprogramming alternative project to one of the modern languages will be converter designs cre-ated by the tool used in their design. This is not about creating a converter for stacerned tool that outlived his own, and to de-velop a converter projects created with the aid of means of. Converter converts old projects and project funds of the old tool used in the old projects. When you create a converter projects requires knowledge of tools used to create the old project, language (s) program-ming language, which focuses on the converter, and those modern databases and geographic information systems to be used in new projects. This work is interesting, time-consuming andrequires a high enough skill performers. Its implementation is useful when a fairly large amount of convertible projects. This article is dedicated to the principles of the development projects of the converter based on the experienceof devel-opment of the converter designs created with the help of the fragments. The task of the converter is to automatically create a project file itself, move the old database to the new (anew database) and old data files to the new files, the old dialog forms converted into new forms. In the beginning of the need to choose a new language and a new database. If the old project hasthe functions of GIS, in addition to choose from the existing GIS.

13. A software system for studying of the dynamics of technological processes of chemical fiber spinning [№1 за 2015 год]
Authors: Kalabin, A.L., Udalov E.V., Khabarov A.R.
Visitors: 11894
The article presents the developed software tool for studying the dynamics of chemical fiber spinning techno-logical processes. The chemical fibers production from melts and polymer solutions is one of the most innovative industries. Its main task is fiber creation with desired properties. This objective is implemented using spinning technology. Modeling is one of the methods for existing technologies researching and development of new ones. Modeling includes determining the quantitative relations between the conditions of production processes, the fiber structure and the obtained material properties. Modeling allows you to change technological modes and minimize experimental costs at the same time. The proposed system is used for modeling the fiber spinning process dynamics. Two types of fibers spinning are support-ed: spinning from a melt and aerodynamic spinning. The program is a Java Desktop application that has an intuitive graphical interface. It can display the technological scheme of the chemical fiber spinning process, the relationships between scheme elements and their characteristics, edit the parameters of scheme elements, calculate the forces acting on the fiber, display the calculated data in a graphic way. Result file export function was implemented to explore the results in more functional sys-tems. The application also has the ability to save a project into a file for next using. The application implements numerical methods for solving systems of nonlinear ordinary differential equations, method of grids (finite difference method) in cylindrical coordinates given mobile boundary, the interpolation cubic splines experi-mental dependencies. The system proposes some algorithms for selection of boundary conditions and verification of numeri-cal solutions. The calculation process runs in a thread which is separated from the event dispatch thread due to thefact that calculation can take a relatively long time. The performance of a software system is confirmed by the simulation results which are in good agreement with the ex-perimental data.

14. Parallel algorithms for integer lattices basis reduction [№1 за 2015 год]
Authors: Kuzmin O.V., Usatyuk V.S.
Visitors: 11698
The article presents a multithread heterogeneous (GPU+CPU) implementation of block Korkin–Zolotarev lattice reduction methods. The paper considers connectionand hierarchy of the main three types of lattice basis reduction: size reduced (weak Hermit), Lovasz condition (Lenstra–Lenstr–Lovasz), Korkin–Zolotarev as known as Hermit–Korkin– Zolotarev (BKZ-methods). The authors provide references to applications in: information theory (decoding of coding group in MIMO), calculus (minimize of the positive quadratic form),complexity theory and cryptanalysis of Merkle–Hellman cryptography (solving subset sum problems), algebra and control theory (linear diophantine equation solving system), compiler theory (lattice based memory allocation), Vinogradov–Korobov number-theoretic method in the calculus, methods synthesize cryptographic and cryptanalysis in lattice basedcryptography. The authors have estimated experimental bounds of the necessary number precision to solve the shortest basis problem as well as bounds of the shortest basis problem and shortest vector problem solution accuracy under block Korkin–Zolotarev reduction. They decompose Kannan algorithms with extreme pruning techniques for solving the shortest vector problem and QR-decomposition of lattice basis. Implementation is based on POSIX Tread Library, CLAMDBLAS, CUBLAS, CLMAGMA, ACML, IMKL and shows linear speedup with a number of processor admitting variable-precision arithmetic. There is a comparison with several multithread implementations: fpLLL, CUDAEnum and parENUM. Thealgorithm implementation won the first place in the ideal lattice challenge.

15. Multiprocessor systems memory testing [№1 за 2015 год]
Author: Lavrinov G.A.
Visitors: 9668
Memory is one of the basic elements of a computer system. Depending on the application sphere of mul-tiprocessor systems there are different memory requirements: information capacity, memory speed, etc. Memory test is one of the most important stages of system testing in general when creating such systems. A memory test includes test-ing address bus, data bus, and memory cells verifying of a device under the test. Depending on the method of testing RAM in an automatic data processing machine is divided into: local that is accessible directly from the processor ele-ment and remote that is accessible to read/write memory via communicative interface for distributed memory systems. This article considers the method of RAM remote testing in a multiprocessor system with RapidIO communicative in-terface. There is a testing procedure on the example of 1890VM6IA processors. Based on RAM tests (checking own address, walking one (or zero) and random values checking) the paper shows a comparison results of testing time de-pending on the test execution device. The author presents an assessment of this method efficiency. The approach al-lows using a minimum hardware set.

16. Architecture and information technology tools software integrated logistics support industrial piping systems [№1 за 2015 год]
Author: Moshev E.R.
Visitors: 10662
The paper points the disadvantages of using disparate software systems for integrated logistics support of industrial piping systems life cycle. It notes that eliminating of these disadvantages is possible using a software system that is designed accordint to modern concept of integrated logistics support, the concept of inte-grated information environment and special IT tools basedon mathematical modeling, theory of artificial intelli-gence and techniques of resource economy logistics in production organization. The article describes the architecture, computing-network structure, information and technological tools that were used in the development of a software package of integrated logistics support. The software package architecture includes a database, software and is open to information exchange with external softwaresystems. The database consists of nine logical parts. They represent information and intelligent support designed with frame-based and production models of knowledge representation. The software includes eleven functional modules, programinterface and client inter-faces.Information organization of a computing-network structureof a software package is carried out using a centralized enterprise database server with the ability to connect remote users using terminal server. The paper considers an integrated logic-information model of integrated logistics support of industrial piping systems life cycle. It also describes a fragment of logic-information model of integrated logistics support of designed pipe-lines. It is based on IDEF0 methodology. The authors describe the examples of frame-based models of knowledge representations of the pipelines technological characteristics, as well as the examples of productive models of knowledge representation of flanges and flanged connections structural characteristics. The paper con-siders heuristic computational algorithms that formalizeprocedures for flanges characteristics calculation and flanges compatibility check.

17. Human health controlling system: functional requirements and architecture [№1 за 2015 год]
Author: Nefedov O.Yu.
Visitors: 10617
Nowadays the demographic problem is a urgent issue in Russia. This situation is mostly caused by high mortality rate among Russian population from chronic no communicable diseases and low health level in general. It’s generally agreed that these mortality reasons are preventable and reduction of chronic disease risks is easily achievable with human health management system. Health management process requires significant resources of health system and first of all it is about staff. This problem is partially solved when shifting the health system focus to preventive care rather than dealing with the consequences of diseases. But it is also necessary to make a health management process effective and comfortable for patients and physicians, as well as to optimize the cost of the health system to support it. Health management information systems are an innovative approach to solving these problems. Herewith the information technologies in health management allow making continuous monitoring of health status and high efficiency in medical decisions which is the key to effective management. The article presents a developed of human health controlling system. The objective of the system is information support of health management process for patients with identified chronic diseases and patients wishing to maintain their health state at optimal level.The paper considers a variant of system implementation based on service-oriented architecture, as well as functional requirements for such systems. The article also considers the main principles of health management which are a base for this system and health management scheme using information systems.

18. Architecture of agents design support system for complex systems simulation models [№1 за 2015 год]
Authors: Pavlov A.I., Stolbov A.B.
Visitors: 10824
The paper discusses problems of automating the creation of complex systems simulation models. The authors have chosen a multi-agent simulation approach as basic modeling tool. They propose software architecture for designing multi-agent models. The main tasks of a software system are: creating conceptual model; supporting the transformation process from conceptual model into agent model; decreasing qualification requirements in programming for domain experts; collaboration of research teams.The distinction of proposed software is conceptual model explicit representation in the concept-attribute relation form and applying expert system approach to transform designed ontology into an agent model. Researchers develop the structure and behavior of agents using declarative approach. An agent declarative description is based on storing information about the agent structure and behavior separately from its implementation. The article proposes developing an agent describing mechanism allowing unified creating classes of agents that are significantly different from each other in structure and behavior. In this case a standard (unified) agent will have the following structure: states block containing agent characteristics; declarative block containing agent behavior strategy in the form of productionrules; imperative block containing software implementation of calculation procedures used in the inference process. Modern tools for expert systems design are used for declarative block implementation.

19. Cognitive navigation and algorithm for creating a path text description in a convenient way for a human [№1 за 2015 год]
Author: Pestun M.V.
Visitors: 7571
A human-computer interaction when describing a route (for example, car navigator instructions) has weak expressiveness. It complicates person’s perception. Modern maps are not adjusted to a certain user knowlende anddo not allocate important information for him. It makes them less convenient. The article observes general methods of creating cognitive navigation and implementing a computer algorithm for route text description providing it in a way convenient for a human. The system considers user personal knowledge of real estate objects and organizations, user preferences, earlier routs. When a location is less familiar or unfamiliar to the user, a route description uses popular objects according to public opinion. Algorithm development is based on Google Maps system and the API library offered in a set. Google Maps system is used as a stable and proven technology which can provide good cartographical information with exhaustive information database (it is not always sufficient for this work, so theauthor used own expansion data set). However, the algorithm is multipurpose and can work on the basis of any cartographical system. This work partially relies on the researches of the person cognitive function during navigation done by the author together with the Faculty of Psychology of Lomonosov Moscow State University in CAVE virtual reality system.

20. Using possibilities of Intel MKL math library in parallel programs in T++ language for a T-system with an open architecture to improve their performance [№1 за 2015 год]
Authors: Roganov V.A., Kuznetsov A.A., Matveev G.A., Osipov V.I.
Visitors: 10311
The problem of parallel computing is a problem of software. The most common approach to developing parallel programs is based on using software packages such as MPI(Message Passing Interface). This approach requires a large amount of knowledge from developer. Developing and debuging parallel programs is also time consuming. The PSI RAS has developed a T-system which implements automatic dynamic parallelization at runtime. Input language for T-system is T++, and applications developed for the T-system are T-applications or T-programs. This paper provides an overview of products and components of Intel Math Kernel Library (Intel MKL), which contains a large set of mathematical functions and can be used in parallel T-applications to accelerate computation and get maximum performance. The paper considers the modes of using the Intel MKL mathematical library on clusters with Intel Xeon processors and one or more Intel Xeon Phi accelerators (coprocessors) from Intel company. There are demo examples of using the library in C and T++. The paper shows how the use of Intel MKL math library affects the efficiency of parallel T-programs. All experiments has been performed on “RSC Tornado SUSU” energy-efficient supercomputer of the South Ural State University.

◄ ← Preview | 1 | 2 | 3 | Next → ►