Information Technology of Software Architecture Structural Synthesis of Information System

Information technology of information system software architecture structural synthesis is proposed. It is used for evolutionary models of the software lifecycle, which provides configuration and formation of software to control the realization and recovery of computing processes in parallel and distributed computing resources structures. The technology is applied in the framework of the software requirements analysis, design of architecture, design and integration of software. Method of combining vertices for multilevel graph model of software architecture and automata-based method of checking performance limitations to software are based on the advanced graph model of software architecture. These methods are proposed in the framework of information technology and allow forming a rational structure of the program, as well as checking for compliance with the functional and non-functional requirements of the end user.The essence of proposed information technology is in displaying of the customer's requirements in the current version of the graph model of program complex structure and providing a reconfiguration of the system modules. This process is based on the analysis and processing of the graph model, software module specifications, formation of software structure in accordance with the graph model, software verification and its compilation

DEVELOPING METHOD FOR ASSESSING FUNCTIONAL COMPLEXITY OF SOFTWARE INFORMATION SYSTEM

Solution of problems for improvement of methods and technologies of software configuration remains important and requires the development of the existing information technology to provide customization of software in terms of changing the end user requirements. Changing requirements stipulate the use of iterative software lifecycle. As part of the life cycle, it is necessary use additional methods to simplify of software architecture and obtaining software with a minimum of functional complexity. This is necessary in order to avoid increasing the time and labor costs for design, development and support of software. To address the disadvantages of existing methods it is proposed to use a method of assessing the functional complexity of the software information system, which is based on the existing graph multilevel model of software architecture. The method is based on FP-metrics calculation for each architectural element and a corresponding level of the graph model. Metrics values allow choosing software modules with a minimum of functional complexity in configuring the software architecture to satisfy the functional requirements of the end user

The development of resource saving tehnological processes of manufacture of rims with limited production resources

The problems of the economy of the production are actual in the contemporary conditions of the mechanical industry. Experimental studies profiling processes rims tractor wheels and proposed changes to the process. Introduction them in production allows to reduce metal expenditure and to improve quality of wheels.There has been developed the integrateal technology for the improvement of the competitability of the tractor wheels. The economic-mathematical models were developed for each stage of the integrated technology. Проблемы экономии производственных ресурсов являются актуальными  в современных условиях машиностроительного производства. Проведены экспериментальные исследования процессов профилирования ободьев тракторных колес и предложены изменения в технологический процесс. Разработана интегрированная технология для улучшения совместимости изготовления тракторных колес. Разработаны экономико-методические модели для каждой стадии интегрированной технологии. Внедрение их  в производство позволяет снизить затраты металла и улучшить качество колес

Taxonomy of the poorly known <em>Quedius mutilatus</em> group of wingless montane species from Middle Asia (Coleoptera: Staphylinidae: Staphylinini)

The Quedius mutilatus group, a very poorly known presumably monophyletic complex of wingless, possibly hypogean species confined to the Tien-Shan Mountains, is characterized as such for the first time. Newly available material clarified the identity of Q. mutilatus Eppelsheim, 1888 and Q. kalabi Smetana, 1995, each hitherto known from a handful of non-conspecific and vaguely georeferenced specimens only. Additional material is reported for Q. equus Smetana, 2014 and one species, Quedius kungeicus sp. nov., is described. All available data on the taxonomy, distribution and bionomics for all these four species of the group are summarized

INFORMATION TECHNOLOGY OF SOFTWARE ARCHITECTURE STRUCTURAL SYNTHESIS OF INFORMATION SYSTEM

Information technology of information system software architecture structural synthesis is proposed. It is used for evolutionary models of the software lifecycle, which provides configuration and formation of software to control the realization and recovery of computing processes in parallel and distributed computing resources structures. The technology is applied in the framework of the software requirements analysis, design of architecture, design and integration of software. &nbsp;Method of combining vertices for multilevel graph model of software architecture and automata-based method of checking performance limitations to software are based on the advanced graph model of software architecture. These methods are proposed in the framework of information technology and allow forming a rational structure of the program, as well as checking for compliance with the functional and non-functional requirements of the end user. The essence of proposed information technology is in displaying of the customer's requirements in the current version of the graph model of program complex structure and providing a reconfiguration of the system modules. This process is based on the analysis and processing of the graph model, software module specifications, formation of software structure in accordance with the graph model, software verification and its compilation

A solution of a problem of Sophus Lie: Normal forms of 2-dim metrics admitting two projective vector fields

We give a complete list of normal forms for the 2-dimensional metrics that admit a transitive Lie pseudogroup of geodesic-preserving transformations and we show that these normal forms are mutually non-isometric. This solves a problem posed by Sophus Lie.Comment: This is an extended version of the paper that will appear in Math. Annalen. Some typos were corrected, references were updated, title was changed (as in the journal version). 31 page

Gallot-Tanno theorem for pseudo-Riemannian metrics and a proof that decomposable cones over closed complete pseudo-Riemannian manifolds do not exist

We generalize for pseudo-Riemannian metrics a classical result of Gallot and Tanno and use it to reprove a recent result of Alekseevsky, Cortes, Galaev and Leistner that decomposable cones over complete closed pseudo-Riemannian manifolds do not exist.Comment: 6 pages, no figure