Применение аппарата математической логики для моделирования распостранения лесного пожара
У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для
 моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних
 просторових об’єктів різних сортів. Наведено підхід...
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Ähnliche Einträge
Ефективний метод виявлення структур залежностей в статистичних даних
von: Балабанов, О.С.
Veröffentlicht: (2004)
von: Балабанов, О.С.
Veröffentlicht: (2004)
Концептуальні основи Байєсівської діагностики у розмитому інформаційному просторі при дзвоноподібних функціях належності
von: Верьовка, О.В., et al.
Veröffentlicht: (2004)
von: Верьовка, О.В., et al.
Veröffentlicht: (2004)
Концептуальная модель базы знаний интеллектуальной медицинской системы
von: Прокопчук, Ю.А.
Veröffentlicht: (2004)
von: Прокопчук, Ю.А.
Veröffentlicht: (2004)
Концепція керiваного проектування інформаційних систем управлінської діяльності
von: Задорожна, Н.Т., et al.
Veröffentlicht: (2003)
von: Задорожна, Н.Т., et al.
Veröffentlicht: (2003)
Построение и обоснование обобщенного дерева критериев ценности при учете различных точек зрения на проблему многокритериального оценивания
von: Ильина, Е.П., et al.
Veröffentlicht: (2004)
von: Ильина, Е.П., et al.
Veröffentlicht: (2004)
Модифікаційні предикатні запити
von: Шекета, В.І.
Veröffentlicht: (2004)
von: Шекета, В.І.
Veröffentlicht: (2004)
Декларация пространств имен ресурсов электронного бизнеса для идентификации домена
von: Плескач, В.Л., et al.
Veröffentlicht: (2004)
von: Плескач, В.Л., et al.
Veröffentlicht: (2004)
Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления
von: Стадник, Ю.В.
Veröffentlicht: (2004)
von: Стадник, Ю.В.
Veröffentlicht: (2004)
Про застосування Байєсових мереж у простих експертних системах
von: Міщенко, Н.М., et al.
Veröffentlicht: (2004)
von: Міщенко, Н.М., et al.
Veröffentlicht: (2004)
Онтології у контексті інтеграції інформації: представлення, методи та інструменти побудови
von: Овдій, О.М., et al.
Veröffentlicht: (2004)
von: Овдій, О.М., et al.
Veröffentlicht: (2004)
Організація схем взаємодії відомчихінформаційних систем в інтегрованій міжвідомчій інформаційній системі
von: Алексєєв, В.А., et al.
Veröffentlicht: (2003)
von: Алексєєв, В.А., et al.
Veröffentlicht: (2003)
Предварительная обработка данных в задаче индуктивного моделирования
von: Савченко, Е.А.
Veröffentlicht: (2015)
von: Савченко, Е.А.
Veröffentlicht: (2015)
Построение модели динамики мира с применением индуктивного моделирования по статистическим данным о переменных Форрестера
von: Прончева, О.Г.
Veröffentlicht: (2015)
von: Прончева, О.Г.
Veröffentlicht: (2015)
Рекурсивная модель жизненного цикла разработки программ и ее применение
von: Мучник, М.М.
Veröffentlicht: (2004)
von: Мучник, М.М.
Veröffentlicht: (2004)
Применение концепции операционных профилей в инженерии надежности программных систем
von: Мороз, Г.Б., et al.
Veröffentlicht: (2004)
von: Мороз, Г.Б., et al.
Veröffentlicht: (2004)
Большие Данные. Аналитические базы данных и хранилища: Netezza
von: Урсатьев, А.А.
Veröffentlicht: (2019)
von: Урсатьев, А.А.
Veröffentlicht: (2019)
Аналіз застосування генетичних алгоритмів в задачах глобальної оптимізації
von: Мороз, О.Г.
Veröffentlicht: (2018)
von: Мороз, О.Г.
Veröffentlicht: (2018)
Влияние способа разбиения выборки в алгоритмах метода группового учета аргументов на адекватность критерия внешнего дополнения
von: Кондрашова, Н.В.
Veröffentlicht: (2015)
von: Кондрашова, Н.В.
Veröffentlicht: (2015)
Модель жизненного цикла знание-емкого бизнес-процесса
von: Левыкин, В.М., et al.
Veröffentlicht: (2017)
von: Левыкин, В.М., et al.
Veröffentlicht: (2017)
Формування концепції автоматизованої обробки та аналізу цифрових зображень субстратзалежних клітинних систем
von: Кунашев, Д.І., et al.
Veröffentlicht: (2016)
von: Кунашев, Д.І., et al.
Veröffentlicht: (2016)
Большие Данные. Аналитические базы данных и хранилища: Vertica, Kdb
von: Урсатьев, А.А.
Veröffentlicht: (2018)
von: Урсатьев, А.А.
Veröffentlicht: (2018)
Технологія вейвлет-фільтрації профілів експресій генів з метою видалення фонового шуму
von: Бабічев, С.А.
Veröffentlicht: (2017)
von: Бабічев, С.А.
Veröffentlicht: (2017)
Некоторые программные среды аналитики больших данных
von: Урсатьев, А.А.
Veröffentlicht: (2016)
von: Урсатьев, А.А.
Veröffentlicht: (2016)
Параметрическая идентификация S-системы с применением модифицированного алгоритма клонального отбора
von: Фефелов, А.А., et al.
Veröffentlicht: (2017)
von: Фефелов, А.А., et al.
Veröffentlicht: (2017)
Телемоніторинг життєво важливих показників пацієнтів
von: Хорозов, О.А.
Veröffentlicht: (2015)
von: Хорозов, О.А.
Veröffentlicht: (2015)
Переборный алгоритм МГУА с генетическим поиском оптимальной модели
von: Мороз, О.Г.
Veröffentlicht: (2016)
von: Мороз, О.Г.
Veröffentlicht: (2016)
Объектно-ориентированная архитектура информационной системы реконструкции генных регуляторных сетей
von: Фефелов, А.А., et al.
Veröffentlicht: (2017)
von: Фефелов, А.А., et al.
Veröffentlicht: (2017)
Реконструкция S-системы гибридным алгоритмом клонального отбора и дифференциальной эволюции
von: Фефелов, А.А., et al.
Veröffentlicht: (2017)
von: Фефелов, А.А., et al.
Veröffentlicht: (2017)
Гибридный подход при реконструкции генных регуляторных сетей
von: Фефелов, А.А., et al.
Veröffentlicht: (2017)
von: Фефелов, А.А., et al.
Veröffentlicht: (2017)
Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов
von: Левыкин, В.М., et al.
Veröffentlicht: (2016)
von: Левыкин, В.М., et al.
Veröffentlicht: (2016)
Большие Данные. Аналитические базы данных и хранилища: Teradata
von: Урсатьев, А.А.
Veröffentlicht: (2018)
von: Урсатьев, А.А.
Veröffentlicht: (2018)
Новий метод відновлення зображень в зонах відсутності попіксельної інформації
von: Литвин, О.М., et al.
Veröffentlicht: (2017)
von: Литвин, О.М., et al.
Veröffentlicht: (2017)
Технология сравнения эффективности методов оценивания и выбора альтернатив
von: Лисецкий, Ю.М.
Veröffentlicht: (2017)
von: Лисецкий, Ю.М.
Veröffentlicht: (2017)
Анализ мануальных компонентов украинской жестовой речи с использованием системы дополнительных маркеров
von: Крак, Ю.В., et al.
Veröffentlicht: (2015)
von: Крак, Ю.В., et al.
Veröffentlicht: (2015)
Технологии поиска данных в одноранговых сетях, построенных на основе распределенных хеш-таблиц
von: Сергеев, А.В.
Veröffentlicht: (2016)
von: Сергеев, А.В.
Veröffentlicht: (2016)
Некоторые программные среды аналитики больших данных и машинного обучения
von: Урсатьев, А.А.
Veröffentlicht: (2016)
von: Урсатьев, А.А.
Veröffentlicht: (2016)
Диагностирующая вэйвлет-нейро-фаззи-система с адаптивными вэйвлет-функциями принадлежности в задачах анализа многомерных данных
von: Бодянский, Е.В., et al.
Veröffentlicht: (2016)
von: Бодянский, Е.В., et al.
Veröffentlicht: (2016)
Разработка и исследование генетических алгоритмов для прогнозирования временных рядов
von: Гуляницкий, Л.Ф., et al.
Veröffentlicht: (2015)
von: Гуляницкий, Л.Ф., et al.
Veröffentlicht: (2015)
Задача оценки близости многомерных объектов анализа данных
von: Бодянский, Е.В., et al.
Veröffentlicht: (2016)
von: Бодянский, Е.В., et al.
Veröffentlicht: (2016)
Методы предварительной обработки изображений на основе нейропарадигмы Модель геометрических преобразований
von: Ткаченко, Р.О., et al.
Veröffentlicht: (2017)
von: Ткаченко, Р.О., et al.
Veröffentlicht: (2017)
Ähnliche Einträge
-
Ефективний метод виявлення структур залежностей в статистичних даних
von: Балабанов, О.С.
Veröffentlicht: (2004) -
Концептуальні основи Байєсівської діагностики у розмитому інформаційному просторі при дзвоноподібних функціях належності
von: Верьовка, О.В., et al.
Veröffentlicht: (2004) -
Концептуальная модель базы знаний интеллектуальной медицинской системы
von: Прокопчук, Ю.А.
Veröffentlicht: (2004) -
Концепція керiваного проектування інформаційних систем управлінської діяльності
von: Задорожна, Н.Т., et al.
Veröffentlicht: (2003) -
Построение и обоснование обобщенного дерева критериев ценности при учете различных точек зрения на проблему многокритериального оценивания
von: Ильина, Е.П., et al.
Veröffentlicht: (2004)