Применение аппарата математической логики для моделирования распостранения лесного пожара
У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних просторових об’єктів різних сортів. Наведено підхід до опису динамі...
Збережено в:
| Дата: | 2004 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/1682 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Применение аппарата математической логики для моделирования распостранения лесного пожара / В.Е. Ходаков, М.В. Граб// Проблеми програмування. — 2004. — N 2,3. — С. 296-305. — Бібліогр.: 13 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-1682 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-16822008-10-13T14:54:45Z Применение аппарата математической логики для моделирования распостранения лесного пожара Ходаков, В.Е. Граб, М.В. Модели и средства инженерии баз данных и знаний У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних просторових об’єктів різних сортів. Наведено підхід до опису динаміки предметної області за допомогою алетичної модальної логіки. Using of aletic modal logic on the base of semantic of possible “worlds” Kripke for forest fires dynamic modeling is offered. Geometric structure of fire zone as a set of flat and three-dimensional spatial objects is described. The approach to describing of domain area with the help of aletic modal logic is given. 2004 Article Применение аппарата математической логики для моделирования распостранения лесного пожара / В.Е. Ходаков, М.В. Граб// Проблеми програмування. — 2004. — N 2,3. — С. 296-305. — Бібліогр.: 13 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1682 681.3 ru Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Модели и средства инженерии баз данных и знаний Модели и средства инженерии баз данных и знаний |
| spellingShingle |
Модели и средства инженерии баз данных и знаний Модели и средства инженерии баз данных и знаний Ходаков, В.Е. Граб, М.В. Применение аппарата математической логики для моделирования распостранения лесного пожара |
| description |
У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для
моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних
просторових об’єктів різних сортів. Наведено підхід до опису динаміки предметної області за допомогою алетичної модальної
логіки. |
| format |
Article |
| author |
Ходаков, В.Е. Граб, М.В. |
| author_facet |
Ходаков, В.Е. Граб, М.В. |
| author_sort |
Ходаков, В.Е. |
| title |
Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_short |
Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_full |
Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_fullStr |
Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_full_unstemmed |
Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_sort |
применение аппарата математической логики для моделирования распостранения лесного пожара |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2004 |
| topic_facet |
Модели и средства инженерии баз данных и знаний |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/1682 |
| citation_txt |
Применение аппарата математической логики для моделирования распостранения лесного пожара / В.Е. Ходаков, М.В. Граб// Проблеми програмування. — 2004. — N 2,3. — С. 296-305. — Бібліогр.: 13 назв. — рос. |
| work_keys_str_mv |
AT hodakovve primenenieapparatamatematičeskojlogikidlâmodelirovaniâraspostraneniâlesnogopožara AT grabmv primenenieapparatamatematičeskojlogikidlâmodelirovaniâraspostraneniâlesnogopožara |
| first_indexed |
2023-03-24T08:22:49Z |
| last_indexed |
2023-03-24T08:22:49Z |
| _version_ |
1796138917045469184 |