Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления
У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних просторових об’єктів різних сортів. Наведено підхід до опису динамі...
Saved in:
| Date: | 2004 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2286 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления / Ю.В. Стадник // Проблеми програмування. — 2004. — N 2,3. — С. 306-311. — Бібліогр.: 5 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Summary: | У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для
моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних
просторових об’єктів різних сортів. Наведено підхід до опису динаміки предметної області за допомогою алетичної модальної
логіки.
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.
|
|---|---|
| ISSN: | 1727-4907 |