Кафедри
Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/35393
Переглянути
2 результатів
Результати пошуку
Документ Logical Networks and Their Usage in Solving of Morphological Tasks(2020) Shubin, Igor; Kozyriev, Andrii; Pitiukova, Mariia; Svyatkin, YaroslavIn the study of category theory, along with the usual concept of category met. As a result of developing a link between two different definitions of a category and a more general notion of an objectless category, it was found out that a whole class of isomorphic categories with objects corresponds to it. A universal mathematical apparatus of the algebra of predicates was proposed, and more precisely its central fragment, which refers to the description of logical spaces – logical analysis. As a result, the interpretation of the category in terms of the algebra of predicates was found – the predicate category Pred, and for both cases: the category with objects and the objectless category.Документ The use of geospatial information by public authorities to support the decision making of management(Національний технічний університет "Харківський політехнічний інститут", 2021) Butko, IhorThe article proposes the use of geospatial information to support managerial decision-making by public authorities in the field of reintegration of temporarily occupied territories in Donetsk, Luhansk regions and Crimea. Variants of application of decision support systems in the management of immovable military property of the Armed Forces of Ukraine, the existing algorithms and methods of the decision support system in land relations are analyzed. Proposals are presented to support the adoption of managerial decisions by public authorities on the basis of Earth remote sensing data. The algorithm for the functioning of the decision support system in solving the problems of reintegration of temporarily occupied territories has been improved. The proposed sequence of actions of the method of the process of supporting the adoption of administrative decisions by public authorities in the field of reintegration of temporarily occupied territories using geospatial information, mathematical constructions of category theory and predicate logic. The order of implementation of the sequence of actions of this method is given. By improving and detailing the proposed method, it is possible to form a more effective system for supporting the adoption of managerial decisions by public authorities using geospatial information.