Формалізація процесів в земельних відносинах України

Автор(и)

  • Костянтин Олександрович Метешкін Харківський національний університет міського господарства ім. О.М. Бекетова, Україна
  • Максим Анатолійович Кухар Харківський національний університет міського господарства ім. О.М. Бекетова, Україна

DOI:

https://doi.org/10.26642/tn-2017-2(80)-139-143

Ключові слова:

земельні відносини, теорія категорій, формалізм, категорія, об'єкт категорії, мала категорія, комутативна діаграма, морфізм, функтор

Анотація

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

Біографії авторів

Костянтин Олександрович Метешкін, Харківський національний університет міського господарства ім. О.М. Бекетова

K.О. Meteshkin

Максим Анатолійович Кухар, Харківський національний університет міського господарства ім. О.М. Бекетова

M.A. Kukhar

Посилання

Truskavec'ka mis'ka rada (2017), oficijnyj sajt, «Informacija dlja goliv OSBB ta chleniv ob’jednann' pro prava na zemlju pid bagatokvartyrnym budynkom», available at: http://www.tmr.gov.ua/press-center/news-offices/65infpol/4180-informatsiia-dlia-holiv-osbb-ta-chleniv-obiednann-pro-prava-na-zemliu-pid-bahatokvartyrnymbudynkom

Merem1, E.C. (2008), «Vykorystannya heoprostorovykh informatsiynykh tekhnolohiy u haluzi upravlinnya pryrodnymy resursamy: Pryklad upravlinnya zemlerobstvom v Zakhidniy Afrytsi», Scientific Journal Sensors, No. 8 (2), Basel, pp. 607–619.

Shypulin, V.D. (2013), Systema zemel'nogo administruvannja: osnovy suchasnoi' teorii', navch. posibnyk, HNUMG im. O.M. Beketova, Kharkiv, 220 p.

Man'ko, D.G. (2013), «Tehnologii' formalizacii' prava», Naukovyj visnyk Mizhnarodnogo gumanitarnogo universytetu, serija Jurysprudencija, No. 5, Odesa, pp. 18–21.

Radejko, R.I. (2014), «Teoretyko-pravovi aspekty vyrishennja problemy formalizacii'», Instytut prava ta psyhologii' Nacional'nogo universytetu «L'vivs'ka politehnika», No. 8, Vol. 10, Lviv, pp. 86–93.

Radejko, R.I. (2013), «Formalizacija jak metod doslidzhennja pravovyh javyshh», Instytut prava ta psyhologii' Nacional'nogo universytetu «L'vivs'ka politehnika», No. 6, Vol. 2, Lviv, pp. 42–46.

Bronshteyn, I.N. and Semendyaev, K.A. (1981), Spravochnik po matematike dlya inzhenerov i uchashchikhsya vuzov, Nauka, Glavnaya redaktsiya fiziko-matematicheskoy literatury, Moscow, 719 p.

Borisovich, Yu.B., Bliznyakov, N.M., Izrailovich, Ya.A. and Fomenko, T.N. (1995), Vvedenie v topologiyu, ucheb. posobie, 2nd ed., dop., Nauka, Fizmatlit., Moscow, 416 p.

Meteshkin, K.A. (2000), «Osobennosti predstavleniya ob"ektov kategorii formal'nymi teoriyami», Systemy obrobky informacii', zbirnyk naukovyh prac', No. 4, Vol. 10, HFV «Transport Ukrai'ny», Kharkiv, pp. 143–146.

Meteshkin, K.A. (2004), Kiberneticheskaya pedagogika: teoreticheskie osnovy upravleniya obrazovaniem na baze integrirovannogo intellekta, monografiya, Mezhdunarodnyy Slavyanskiy universitet, Kharkiv, 400 p.

Meteshkin, K.A., Kon', D.A. and Akhmedova, R.Kh. (2016), Osnovy teorii sistem: innovatsionnaya avtorskaya tekhnologiya obucheniya «Partnerstvo», ucheb. posobie, KhNUGKh im. A.N. Beketova, Kharkiv, 236 p.

##submission.downloads##

Опубліковано

2017-12-15

Як цитувати

Метешкін, К. О., & Кухар, М. А. (2017). Формалізація процесів в земельних відносинах України. Вісник ЖДТУ. Серія "Технічні науки", 1(2(80), 139–143. https://doi.org/10.26642/tn-2017-2(80)-139-143

Номер

Розділ

ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ.КОМП’ЮТЕРНА ІНЖЕНЕРІЯ