FORMALIZATION OF TECHNOLOGY OF USING GEOSPATIC STRUCTURES IN GEOSPATIAL INFORMATION PROCESSING SYSTEMS
DOI:
https://doi.org/10.26906/SUNZ.2021.1.017Keywords:
formalization, technology of use, geospatial structure, geospatial information, processing system, category theoryAbstract
The subject matter of the article are geospatial structures in geospatial information processing systems. The goal is to formalize the technology of using geospatial structures in geospatial information processing systems. The tasks are: analysis of the main tasks in making managerial decisions, formalization of the technology of using geo-spatial structures in geospatial information processing systems, specification of the main objects and morphisms used in geospatial information processing systems, presentation of the formal model of geospatial information structures, formalization of operations conducted on geospatial information structures. The methods used are: methods of category theory, probability theory, mathematical statistics, system analysis, mathematical apparatus of matrix theory. The following results are obtained. formalized technology of using geospatial structures in geospatial information processing systems, the main objects and morphisms used in geospatial information processing systems are presented, formalized model of geospatial information structures, formalized operations conducted on geospatial information structures. Conclusions. Formalization of technology of use of geospatial structures in systems of processing of geospatial information is carried out. The main objects and morphisms used in geospatial information processing systems are given. A formal model of geospatial information structures is presented. The formalization of operations carried out on geospatial information structures has been carried out. The directions of further research are development of theoretical foundations for the use of geospatial structures in geospatial information processing systems in the form of a set of models, methods and information technologies for the construction and use of geospatial structuresDownloads
References
Управлінські рішення: евристичність, креативність, транспарентність: Навчальний посібник. / Під ред. М.П.Бутка. – Ніжин: ТОВ «Видавництво «Аспект-Поліграф», 2008. – 428 с.
В.Є.Філіпович Оперативний контроль поширення нелегального видобутку бурштину та оцінка збитків, заподіяних державі, за матеріалами багатозональної космічної зйомки. - Екологічна безпека та природокористування, No 4(20), 2015. – С. 92-97.
Shikhov, A.N., Cherepanova, E.S. and Ponomarchuk, A.I. (2014), Geoinformation systems: the use of GIS technologies in solving hydrological problems, a workshop, textbook. manual, Perm, 91 p.
Earth Observing System. High-Resolution Satellite Imagery. https://eos.com/ru/products/high-resolution-images/
Pustovarov, V. (2020), “Construction of information technology for development of knowledge base on identification of urban structures on digital space and aerial photographs in the urban environment monitoring”, Advanced Information Systems, Vol. 4, No. 3, pp. 70–73, DOI: https://doi.org 10.20998/2522-9052.2020.3.08.
Шипулін В.Д. Система земельного адміністрування: основи сучасної теорії: навч. Посібник / В.Д. Шипулін. Харків: ХНУМГ ім. О. М. Бекетова, 2016. —220 с.
Методи та системи штучного інтелекту / А. С. Савченко, О. О. Синельніков. — К. : НАУ, 2017. — 190 с.
Стеценко І.В. Моделювання систем : навчальний посібник / І. В. Стеценко. — Черкаси : ЧДТУ, 2010. — 399 с.
Методи та системи штучного інтелекту: навч. посіб. / укл. Д.В. Лубко, С.В. Шаров. — Мелітополь: ФОП Однорог Т.В., 2019. — 264 с.
Основи теорії прийняття рішень / О.І. Кушлик-Дивульська, Б. Р. Кушлик. — К., 2014. — 94 с.
Манько Д.Г. Технології формалізації права / Д.Г. Манько // Науковий вісник Міжнародного гуманітарного університету. 2013. — No 5. — С. 18–21.
Радейко Р.І. Формалізація як метод дослідження правових явищ / Р. І. Радейко. — Львів: Інститут права та психології Національного університету «Львівська політехніка». 2014. — No 8 (10). — С. 86–93.
Ткаченко В.В. Підхід до збору інформації щодо екологічної обстановки при виникненні надзвичайних ситуацій техногенного характеру / В.В. Ткаченко, О.Ю. Чередніченко, М.А. Вовк, С.І. Єршова // Проблеми інформаційних технологій. 2018. — No 23. — С. 219–226.
Маковейчук О. М. Інформаційна технологія побудови та використання візуальних інформаційних структур доповненої реальності. Сучасний стан наукових досліджень та технологій в промисловості. 2019. No 4 (10). С. 55–68.
Маковейчук О. М. Новий тип маркерів доповненої реальності. Сучасні інформаційні системи. 2019. No 3 (3). С. 43–48.
Маковейчук О. М. Науково-прикладні основи побудови стійких маркерів доповненої реальності. Системи управління, навігації та зв’язку. 2019. No 6 (44). С. 133–137.
С. П. Ковалёв, Теоретико-категорный подход к проектированию программных систем, Фундамент. и прикл. матем., 2014, том 19, выпуск 3, 111–170
Seely, R. A. G. (1984). "Locally cartesian closed categories and type theory". Mathematical Proceedings of the Cambridge Philosophical Society. 95 (1): 33–48. doi:10.1017/S0305004100061284
Цаленко М. С., Шульгейфер Е. Г. Основы теории категорий. — М.: Наука, 1974.
Adamek J., Herrlich H., Strecker G. Abstract and Concrete Categories. — New York: ́ Wiley and Sons, 1990.
Маклейн С. Категории для работающего математика. — М.: Физматлит, 2004.
Жожикашвили А.В. Категорная технология создания и развития интеллектуальных систем, основанных на знании. Информационные процессы. 2016. – No 4 (16). С. 312–332.
Bartosz Milewski. Category Theory for Programmers: The Preface. Post Date: October 28, 2014 [Electronic resource]. URL: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ (Дата звернення: 19.01.2020).
