Зображення обкладинки

Применение аппарата математической логики для моделирования распостранения лесного пожара

У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і тривимірних просторових об’єктів різних сортів. Наведено підхід...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2004
Автори:	Ходаков, В.Е., Граб, М.В.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2004
Теми:	Модели и средства инженерии баз данных и знаний
Онлайн доступ:	https://nasplib.isofts.kiev.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

Схожі ресурси

Построение и обоснование обобщенного дерева критериев ценности при учете различных точек зрения на проблему многокритериального оценивания
за авторством: Ильина, Е.П., та інші
Опубліковано: (2004)

Ефективний метод виявлення структур залежностей в статистичних даних
за авторством: Балабанов, О.С.
Опубліковано: (2004)

Онтології у контексті інтеграції інформації: представлення, методи та інструменти побудови
за авторством: Овдій, О.М., та інші
Опубліковано: (2004)

Організація схем взаємодії відомчихінформаційних систем в інтегрованій міжвідомчій інформаційній системі
за авторством: Алексєєв, В.А., та інші
Опубліковано: (2003)

Концептуальная модель базы знаний интеллектуальной медицинской системы
за авторством: Прокопчук, Ю.А.
Опубліковано: (2004)

Декларация пространств имен ресурсов электронного бизнеса для идентификации домена
за авторством: Плескач, В.Л., та інші
Опубліковано: (2004)

Декларативный подход к описанию трансформации данных с разрешением конфликтов обновления
за авторством: Стадник, Ю.В.
Опубліковано: (2004)

Про застосування Байєсових мереж у простих експертних системах
за авторством: Міщенко, Н.М., та інші
Опубліковано: (2004)

Модифікаційні предикатні запити
за авторством: Шекета, В.І.
Опубліковано: (2004)

Концепція керiваного проектування інформаційних систем управлінської діяльності
за авторством: Задорожна, Н.Т., та інші
Опубліковано: (2003)

Концептуальні основи Байєсівської діагностики у розмитому інформаційному просторі при дзвоноподібних функціях належності
за авторством: Верьовка, О.В., та інші
Опубліковано: (2004)

Предварительная обработка данных в задаче индуктивного моделирования
за авторством: Савченко, Е.А.
Опубліковано: (2015)

Построение модели динамики мира с применением индуктивного моделирования по статистическим данным о переменных Форрестера
за авторством: Прончева, О.Г.
Опубліковано: (2015)

Рекурсивная модель жизненного цикла разработки программ и ее применение
за авторством: Мучник, М.М.
Опубліковано: (2004)

Объектно-ориентированная архитектура информационной системы реконструкции генных регуляторных сетей
за авторством: Фефелов, А.А., та інші
Опубліковано: (2017)

Некоторые программные среды аналитики больших данных и машинного обучения
за авторством: Урсатьев, А.А.
Опубліковано: (2016)

Большие Данные. Аналитические базы данных и хранилища: Netezza
за авторством: Урсатьев, А.А.
Опубліковано: (2019)

Задача оценки близости многомерных объектов анализа данных
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2016)

Разработка и исследование генетических алгоритмов для прогнозирования временных рядов
за авторством: Гуляницкий, Л.Ф., та інші
Опубліковано: (2015)

Технологии поиска данных в одноранговых сетях, построенных на основе распределенных хеш-таблиц
за авторством: Сергеев, А.В.
Опубліковано: (2016)

Диагностирующая вэйвлет-нейро-фаззи-система с адаптивными вэйвлет-функциями принадлежности в задачах анализа многомерных данных
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2016)

Параметрическая идентификация S-системы с применением модифицированного алгоритма клонального отбора
за авторством: Фефелов, А.А., та інші
Опубліковано: (2017)

Реконструкция S-системы гибридным алгоритмом клонального отбора и дифференциальной эволюции
за авторством: Фефелов, А.А., та інші
Опубліковано: (2017)

Большие Данные. Аналитические базы данных и хранилища: Teradata
за авторством: Урсатьев, А.А.
Опубліковано: (2018)

Технология сравнения эффективности методов оценивания и выбора альтернатив
за авторством: Лисецкий, Ю.М.
Опубліковано: (2017)

Анализ мануальных компонентов украинской жестовой речи с использованием системы дополнительных маркеров
за авторством: Крак, Ю.В., та інші
Опубліковано: (2015)

Новий метод відновлення зображень в зонах відсутності попіксельної інформації
за авторством: Литвин, О.М., та інші
Опубліковано: (2017)

Технологія вейвлет-фільтрації профілів експресій генів з метою видалення фонового шуму
за авторством: Бабічев, С.А.
Опубліковано: (2017)

Телемоніторинг життєво важливих показників пацієнтів
за авторством: Хорозов, О.А.
Опубліковано: (2015)

Модель знание-емкого бизнес-процесса для задач интеллектуального анализа процессов
за авторством: Левыкин, В.М., та інші
Опубліковано: (2016)

Переборный алгоритм МГУА с генетическим поиском оптимальной модели
за авторством: Мороз, О.Г.
Опубліковано: (2016)

Некоторые программные среды аналитики больших данных
за авторством: Урсатьев, А.А.
Опубліковано: (2016)

Аналіз застосування генетичних алгоритмів в задачах глобальної оптимізації
за авторством: Мороз, О.Г.
Опубліковано: (2018)

Большие Данные. Аналитические базы данных и хранилища: Vertica, Kdb
за авторством: Урсатьев, А.А.
Опубліковано: (2018)

Влияние способа разбиения выборки в алгоритмах метода группового учета аргументов на адекватность критерия внешнего дополнения
за авторством: Кондрашова, Н.В.
Опубліковано: (2015)

Модель жизненного цикла знание-емкого бизнес-процесса
за авторством: Левыкин, В.М., та інші
Опубліковано: (2017)

Формування концепції автоматизованої обробки та аналізу цифрових зображень субстратзалежних клітинних систем
за авторством: Кунашев, Д.І., та інші
Опубліковано: (2016)

Робастная адаптивная идентификация нестационарных временных рядов с помощью ансамбля обучаемых гибридных адаптивных моделей
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2016)

Гибридный подход при реконструкции генных регуляторных сетей
за авторством: Фефелов, А.А., та інші
Опубліковано: (2017)

Идентификация математической модели продольного движения летательного аппарата при наличии шумов измерений и смещений датчиков
за авторством: Туник, А.А., та інші
Опубліковано: (2011)