Г75
Граб М. В. Моделі, методи та алгоритми розповсюдження лісових пожеж : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Граб Марина Віталїївна ; Харків. нац. ун-т радіоелектроніки. – Харків, 2004. – 20 с.
Граб М. В. Моделі, методи та алгоритми розповсюдження лісових пожеж : автореф. дис. ... канд. техн. наук : 01.05.02 "Математичне моделювання та обчислювальні методи" / Граб Марина Віталїївна ; Харків. нац. ун-т радіоелектроніки. – Харків, 2004. – 20 с.
Статистика використання: Видач: 0
Анотація:
У дисертації наведено нове вирішення наукової задачі моделювання розповсюдження лісової пожежі. Удосконалено її математичне забезпечення, створено нові моделі, алгоритми та методи
Розроблено нову молель математичної структури зони пожежі у вигляді сукупності плоских і тривимірних просторових об"єктів. Запропоновано використання багатосортного вирахування предикатів вищого порядку для опису геометричної структури зони пожежі. Розглянуто використання модальної логіки вищого порядку у сполученні з термопальною для подання знань про динаміку предметної області. Розроблено новий метод комбінування модальної алетичної логіки вищого порядку з термопальною, внаслідок чого створено темпоральну модельну логіку вищого порядку. Наведено інтерпретацію багатосортної логіки предикатів вищого порядку з використанням аксіоматичного підходу. Розроблено алгоритми інтерпретації моделі темпоральної молельної логіки поведінки окремих елементарних об"єктів і всієї множини динаміних об"єктів, що складають геометричну структуру зони пожежі, на базі ймовірнісно-множинного методу Монте-Карло. Створено програмний продукт для візуального відображення розповсюдження лісової пожежі.
Розроблено нову молель математичної структури зони пожежі у вигляді сукупності плоских і тривимірних просторових об"єктів. Запропоновано використання багатосортного вирахування предикатів вищого порядку для опису геометричної структури зони пожежі. Розглянуто використання модальної логіки вищого порядку у сполученні з термопальною для подання знань про динаміку предметної області. Розроблено новий метод комбінування модальної алетичної логіки вищого порядку з термопальною, внаслідок чого створено темпоральну модельну логіку вищого порядку. Наведено інтерпретацію багатосортної логіки предикатів вищого порядку з використанням аксіоматичного підходу. Розроблено алгоритми інтерпретації моделі темпоральної молельної логіки поведінки окремих елементарних об"єктів і всієї множини динаміних об"єктів, що складають геометричну структуру зони пожежі, на базі ймовірнісно-множинного методу Монте-Карло. Створено програмний продукт для візуального відображення розповсюдження лісової пожежі.