![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20081124023867<.>) |
Загальна кількість знайдених документів : 1
|
| Граб М.В. Модель, методи та алгоритми розповсюдження лісових пожеж : Автореф. дис... канд. техн. наук: 01.05.02 / М.В. Граб ; Харк. нац. ун-т радіоелектрон. — Х., 2004. — 20 с. — укp.Розроблено нову модель геометричної структури зони пожежі у вигляді сукупності плоских та тривимірних просторових об'єктів. Запропоновано використання багатосортного вирахування предикатів вищого порядку для опису геометричної структури зони пожежі. Запропоновано застосування модальної логіки вищого порядку у сполучені з темпоральною для визначення динаміки предметної області. Розроблено новий метод комбінування модальної алетичної логіки вищого порядку з темпоральною, на базі якого створено темпоральну модельну логіку вищого порядку. Наведено інтерпретацію багатосортної логіки предикатів вищого порядку з використанням аксіоматичного підходу. На базі ймовірнісно-множинного методу Монте-Карло розроблено алгоритми інтерпретації моделі темпоральної модельної логіки поведінки окремих елементарних об'єктів та всієї множини динамічних об'єктів, що складають геометричну структуру зони пожежі. Створено програмний продукт для візуального відображення розповсюдження лісової пожежі. Завантажити
Індекс рубрикатора НБУВ: П348 в641.0 + Шифр НБУВ: РА331257
Рубрики:
|
|
|