Применение аппарата математической логики для моделирования распостранения лесного пожара
У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для
 моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних
 просторових об’єктів різних сортів. Наведено підхід...
Gespeichert in:
| Datum: | 2004 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1682 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Применение аппарата математической логики для моделирования распостранения лесного пожара / В.Е. Ходаков, М.В. Граб// Проблеми програмування. — 2004. — N 2,3. — С. 296-305. — Бібліогр.: 13 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862719017899261952 |
|---|---|
| author | Ходаков, В.Е. Граб, М.В. |
| author_facet | Ходаков, В.Е. Граб, М.В. |
| citation_txt | Применение аппарата математической логики для моделирования распостранения лесного пожара / В.Е. Ходаков, М.В. Граб// Проблеми програмування. — 2004. — N 2,3. — С. 296-305. — Бібліогр.: 13 назв. — рос. |
| collection | DSpace DC |
| description | У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для
моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних
просторових об’єктів різних сортів. Наведено підхід до опису динаміки предметної області за допомогою алетичної модальної
логіки.
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.
|
| first_indexed | 2025-12-07T18:17:53Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1682 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T18:17:53Z |
| publishDate | 2004 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Ходаков, В.Е. Граб, М.В. 2008-09-02T14:06:23Z 2008-09-02T14:06:23Z 2004 Применение аппарата математической логики для моделирования распостранения лесного пожара / В.Е. Ходаков, М.В. Граб// Проблеми програмування. — 2004. — N 2,3. — С. 296-305. — Бібліогр.: 13 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1682 681.3 У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для
 моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних
 просторових об’єктів різних сортів. Наведено підхід до опису динаміки предметної області за допомогою алетичної модальної
 логіки. 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. ru Інститут програмних систем НАН України Модели и средства инженерии баз данных и знаний Применение аппарата математической логики для моделирования распостранения лесного пожара Article published earlier |
| spellingShingle | Применение аппарата математической логики для моделирования распостранения лесного пожара Ходаков, В.Е. Граб, М.В. Модели и средства инженерии баз данных и знаний |
| title | Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_full | Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_fullStr | Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_full_unstemmed | Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_short | Применение аппарата математической логики для моделирования распостранения лесного пожара |
| title_sort | применение аппарата математической логики для моделирования распостранения лесного пожара |
| topic | Модели и средства инженерии баз данных и знаний |
| topic_facet | Модели и средства инженерии баз данных и знаний |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1682 |
| work_keys_str_mv | AT hodakovve primenenieapparatamatematičeskoilogikidlâmodelirovaniâraspostraneniâlesnogopožara AT grabmv primenenieapparatamatematičeskoilogikidlâmodelirovaniâraspostraneniâlesnogopožara |