Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений
Характеристика основных положений темпоральной (временной) логики для ветвящегося времени в плане ее использования в интеллектуальных системах поддержки принятия решений реального времени. Исследование проблемы программной реализации данной логики.
Подобные документы
Научные и инженерные расчеты как одна из важнейших сфер приложения компьютеров. Знакомство с основными особенностями реализации рациональной арифметики в системах символьной математики. Общая характеристика возможностей и преимуществ пакета Matlab.
реферат, добавлен 10.11.2020Две технологии программной реализации (параллельная, последовательная) алгоритмов приближенных решений краевых задач для обыкновенных дифференциальных уравнений. Сравнение последовательных и параллельных вычислений. Метод Галеркина и конечной разности.
статья, добавлен 02.02.2019- 103. Булева алгебра
Ознакомление с историей зарождения и особенностями булевой алгебры. Характеристика специфики совершенных дизъюнктивной и конъюнктивной нормальных форм. Рассмотрение сущности математической логики. Основные теории вероятности в функциональном анализе.
реферат, добавлен 11.10.2012 Разработка программно-алгоритмической поддержки символьных преобразований и вычислений на основе средств компьютерной алгебры с представлением решений. Апробация программ на известных задачах и применение их для символьно-численного интегрирования.
автореферат, добавлен 27.03.2018Рассмотрение истории возникновения математики, ее роли в физической науке. Изучение основных открытий новаторов Нового времени - Рене Декарта и Галилео Галилея. Различные математические свойства физических тел. Роль индукции и эмпирических методов.
реферат, добавлен 06.05.2014Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017Доказательство теоремы существования периодических по времени решений квазилинейного волнового уравнения с непостоянными коэффициентами и однородными граничными условиями, одно из которых является условием Неймана. Основные свойства волнового оператора.
статья, добавлен 27.05.2018Построение метрики, описывающей ускоренные и вращающиеся системы отсчета в общей теории относительности в случае произвольной зависимости ускорения и угловой скорости системы от времени. Обоснование теории потенциала в неинерциальных системах отсчета.
статья, добавлен 20.05.2017Исследование систем целочисленных последовательностей, их определение. Особенности получения новых свойств последовательностей и новой последовательности. Использование методов для анализа транзакционных систем и в системах управления принятием решений.
статья, добавлен 31.08.2018Разработка принципов использования методов индикативного анализа в исследованиях проблемы энергетической безопасности с привлечением методов комбинаторного моделирования. Разработка системы поддержки индикативного анализа энергетической безопасности.
автореферат, добавлен 04.09.2018Результаты формирования теоретических основ использования модифицированных функций Лагранжа, развитых в численных методах оптимизации, для учета дополнительных голономных связей в механических системах. Параметры модифицированных функций Лагранжа.
статья, добавлен 26.04.2019Рассмотрение новых подходов к поиску времени, необходимого для перемещения из одного заданного пункта в другой в условиях предметной области на примере логистики внутри города. Необходимость учета множества факторов, влияющих на скорость перемещения.
статья, добавлен 27.02.2019Представление функции алгебры логики в совершенной дизъюнктивной нормальной форме. Преобразования и минимизация в базисе, который состоит из функции Вебба. Порядок построения таблицы меток из исходных и первичных импликантов в виде двоичных кодов.
контрольная работа, добавлен 19.12.2018Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013Характеристика общих выражений для первого и второго моментов распределения времени первого пересечения заданного уровня параметром состояния одномерных стохастических систем. Определение скорости достижения параметром состояния заданного уровня.
статья, добавлен 13.01.2020Понятие, сущность и характеристика математики и философии как науки. Влияние математики на философию, последствия их роль и описание. Соотношение математики и логики, а также полученные результаты. Понятие об иррациональном числе, особенности исчисления.
реферат, добавлен 08.02.2009Ознайомлення з основними методами визначення математичних моделей об’єктів та процесів в системах із самоналаштуванням. Долідження особливостей безінерційної стабілізації. Характеристика методу пошуку екстремуму в системах екстремального керування.
контрольная работа, добавлен 24.06.2015Определение понятия нечеткого силлогизма как некоторого состоятельного правила вывода для баз фактов в Аристотелевой логике. Построение нечетких силлогизмов для пропозициональной Аристотелевой логики с треугольной нормой Заде. Отношения между множествами.
статья, добавлен 18.01.2018Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013Вычисление критериев при помощи имитационного моделирования. Расчет среднего времени до ухода первого нетерпеливого клиента из очереди для каналов обслуживания. Подсчет удельного дохода в стационарном режиме. Особенность решения задачи оптимизации.
дипломная работа, добавлен 17.07.2020Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.
учебное пособие, добавлен 15.01.2016Асимптотические представления некоторых типов решений одного класса нелинейных неавтономных дифференциальных уравнений второго порядка и достаточные условия существования таких решений. Медленно меняющаяся функция. Применение правила Лопиталя.
статья, добавлен 27.06.2016Решение задач с помощью здравого смысла и строгой логики рассуждений, подтвержденных точными расчетами. Определение вероятности получения наибольшего приданого при случайном выборе одного билетика из пяти. Изучение лексикографического порядка подсчета.
презентация, добавлен 24.04.2012Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021- 125. Теория вероятностей
Три типа событий теории вероятностей, классическая вероятностная модель. Закон распределения случайной величины, понятие математического ожидания. Критерии для принятия решений в условиях неопределенности. Решение задач графоаналитическим методом.
контрольная работа, добавлен 29.11.2014