ФОРМАЛІЗАЦІЯ ТЕХНОЛОГІЇ ВИКОРИСТАННЯ ГЕОПРОСТОРОВИХ СТРУКТУР В СИСТЕМАХ ОБРОБКИ ГЕОПРОСТОРОВОЇ ІНФОРМАЦІЇ

I. Butko

doi:10.26906/SUNZ.2021.1.017

I. Butko

DOI: https://doi.org/10.26906/SUNZ.2021.1.017

Ключові слова: формалізація, технологія використання, геопросторова структура, геопросторова інформація, система обробки, теорія категорій

Анотація

Предметом вивчення в статті є геопросторові структури в системах обробки геопросторової інформації. Метою є формалізація технології використання геопросторових структур в системах обробки геопросторової інформації. Завдання: аналіз основних завдань при прийнятті управлінських рішень, формалізація технології використання геопросторових структур в системах обробки геопросторової інформації, конкретизація основних об’єктів та морфізмів, що використовуються в системах обробки геопросторової інформації, представлення формальної моделі геопросторових інформаційних структур, формалізація операцій, що проводяться над геопросторовими інформаційними структурами. Використовуваними методами є: методи теорії категорій, теорії ймовірності, математичної статистики, системного аналізу, математичний апарат теорії матриць. Отримані такі результати. Формалізована технологія використання геопросторових структур в системах обробки геопросторової інформації. Представлені основні об’єкти та морфізми, що використовуються в системах обробки геопросторової інформації. Формалізована модель геопросторових інформаційних структур. Формалізовані операцій, що проводяться над геопросторовими інформаційними структурами. Висновки. Проведена формалізація технології використання геопросторових структур в системах обробки геопросторової інформації. Наведені основні об’єкти та морфізми, що використовуються в системах обробки геопросторової інформації. Представлена формальна модель геопросторових інформаційних структур. Проведена формалізація операцій, що проводяться над геопросторовими інформаційними структурами. Напрямками подальших досліджень є: розробка теоретичних основ використання геопросторових структур в системах обробки геопросторової інформації у вигляді сукупності моделей, методів та інформаційних технологій побудови і використання геопросторових структур

Завантаження

Дані про завантаження поки що недоступні.

Посилання

1. Управлінські рішення: евристичність, креативність, транспарентність: Навчальний посібник. / Під ред. М.П.Бутка. – Ніжин: ТОВ «Видавництво «Аспект-Поліграф», 2008. – 428 с.
2. В.Є.Філіпович Оперативний контроль поширення нелегального видобутку бурштину та оцінка збитків, заподіяних державі, за матеріалами багатозональної космічної зйомки. - Екологічна безпека та природокористування, No 4(20), 2015. – С. 92-97.
3. 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.
4. Earth Observing System. High-Resolution Satellite Imagery. https://eos.com/ru/products/high-resolution-images/
5. 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.
6. Шипулін В.Д. Система земельного адміністрування: основи сучасної теорії: навч. Посібник / В.Д. Шипулін.  Харків: ХНУМГ ім. О. М. Бекетова, 2016. —220 с.
7. Методи та системи штучного інтелекту / А. С. Савченко, О. О. Синельніков. — К. : НАУ, 2017. — 190 с.
8. Стеценко І.В. Моделювання систем : навчальний посібник / І. В. Стеценко. — Черкаси : ЧДТУ, 2010. — 399 с.
9. Методи та системи штучного інтелекту: навч. посіб. / укл. Д.В. Лубко, С.В. Шаров. — Мелітополь: ФОП Однорог Т.В., 2019. — 264 с.
10. Основи теорії прийняття рішень / О.І. Кушлик-Дивульська, Б. Р. Кушлик. — К., 2014. — 94 с.
11. Манько Д.Г. Технології формалізації права / Д.Г. Манько // Науковий вісник Міжнародного гуманітарного університету.  2013. — No 5. — С. 18–21.
12. Радейко Р.І. Формалізація як метод дослідження правових явищ / Р. І. Радейко. — Львів: Інститут права та психології Національного університету «Львівська політехніка».  2014. — No 8 (10). — С. 86–93.
13. Ткаченко В.В. Підхід до збору інформації щодо екологічної обстановки при виникненні надзвичайних ситуацій техногенного характеру / В.В. Ткаченко, О.Ю. Чередніченко, М.А. Вовк, С.І. Єршова // Проблеми інформаційних технологій. 2018. — No 23. — С. 219–226.
14. Маковейчук О. М. Інформаційна технологія побудови та використання візуальних інформаційних структур доповненої реальності. Сучасний стан наукових досліджень та технологій в промисловості. 2019. No 4 (10). С. 55–68.
15. Маковейчук О. М. Новий тип маркерів доповненої реальності. Сучасні інформаційні системи. 2019. No 3 (3). С. 43–48.
16. Маковейчук О. М. Науково-прикладні основи побудови стійких маркерів доповненої реальності. Системи управління, навігації та зв’язку. 2019. No 6 (44). С. 133–137.
17. С. П. Ковалёв, Теоретико-категорный подход к проектированию программных систем, Фундамент. и прикл. матем., 2014, том 19, выпуск 3, 111–170
18. 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
19. Цаленко М. С., Шульгейфер Е. Г. Основы теории категорий. — М.: Наука, 1974.
20. Adamek J., Herrlich H., Strecker G. Abstract and Concrete Categories. — New York: ́ Wiley and Sons, 1990.
21. Маклейн С. Категории для работающего математика. — М.: Физматлит, 2004.
22. Жожикашвили А.В. Категорная технология создания и развития интеллектуальных систем, основанных на знании. Информационные процессы. 2016. – No 4 (16). С. 312–332.
23. 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).