Розроблено нову модель геометричної структури зони пожежі у вигляді сукупності плоских та тривимірних просторових об'єктів. Запропоновано використання багатосортного вирахування предикатів вищого порядку для опису геометричної структури зони пожежі. Запропоновано застосування модальної логіки вищого порядку у сполучені з темпоральною для визначення динаміки предметної області. Розроблено новий метод комбінування модальної алетичної логіки вищого порядку з темпоральною, на базі якого створено темпоральну модельну логіку вищого порядку. Наведено інтерпретацію багатосортної логіки предикатів вищого порядку з використанням аксіоматичного підходу. На базі ймовірнісно-множинного методу Монте-Карло розроблено алгоритми інтерпретації моделі темпоральної модельної логіки поведінки окремих елементарних об'єктів та всієї множини динамічних об'єктів, що складають геометричну структуру зони пожежі. Створено програмний продукт для візуального відображення розповсюдження лісової пожежі.

  Скачати повний текст