Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Обеспечение правильности требований к функционированию исходной спецификации как одна из важнейших задач, решаемых в процессе проектирования реактивных алгоритмов. Характеристика специфических особенностей осуществления верификации открытых систем.
Подобные документы
Формализация задач о построении оптимальных выпуклых пространственных тел в форме задач оптимального управления и нелинейного программирования. Исследование свойств полученных задач. Разработка и реализация аналитических и численных методов их решения.
автореферат, добавлен 17.12.2017Знакомство с особенностями проектирования автономных многомерных систем автоматического управления. Общая характеристика теории синтеза автономных многомерных цифровых систем управления, основанной на структурном представлении обратных операторов.
статья, добавлен 28.01.2020Идентичность методов решения задач идентификации, возникающих при оценке результатов испытаний сложных динамических систем и задач теории оптимального управления. Математические модели объекта измерений. Идентификация состояния динамической системы.
статья, добавлен 27.05.2018Аналитические решения для двух одномерных задач, описывающих поведение реакционно-диффузионной смеси на конечном и бесконечном промежутках. Решение "обратной задачи" относительно исходных данных, получение двух нетривиальных стационарных решений РДС.
статья, добавлен 26.04.2019Определение агрегирующих алгоритмов. Анализ алгоритмов экспоненциального взвешивания Hedge и его модификация AdaHedge. Описание алгоритмов отслеживания наилучшей комбинации экспертов CompHedge, FixedShare и VariableShare. Описание экспертных стратегий.
дипломная работа, добавлен 28.08.2016Определение агрегирующих алгоритмов. Анализ алгоритмов экспоненциального взвешивания Hedge и его модификация AdaHedge. Описание алгоритмов отслеживания наилучшей комбинации экспертов CompHedge, FixedShare и VariableShare. Описание экспертных стратегий.
дипломная работа, добавлен 28.08.2016Знакомство с основными этапами логического вывода в общем виде. Оценка эффективности алгоритмов нечетких вычислений как основная функция разрабатываемой информационной системы. Анализ математических моделей используемых алгоритмов нечеткого вывода.
статья, добавлен 25.07.2018Методика проведения исследования тесноты линейных корреляционных зависимостей между случайными величинами по полученным результатам выборочных наблюдений. Характеристика важнейших свойств, методов расчета выборочного коэффициента линейной корреляции.
статья, добавлен 03.03.2018Для различных приложений функций нескольких переменных построен алгебраический подход к построению многочленов, формулы которых содержат символьные переменные. Примеры демонстрируют эффективность и широкий охват решаемых научно-технических задач.
статья, добавлен 08.05.2021Численное решение динамических задач механики деформируемого твердого тела. Создание гибридного и распараллеленного методов сглаженных частиц. Визуализация численных решений динамических трехмерных задач. Сравнение алгоритмов поиска ближайших соседей.
автореферат, добавлен 16.08.2018Области применения равносильных преобразований алгоритмов. Схемы представления алгоритмов и алгебра событий. Соответствие событий переходам в инверсном графе. Способы регулярного выражения алгоритма. Определение последующих степеней символьных матриц.
статья, добавлен 08.12.2018Анализ алгоритмов определения принадлежности точки многоугольнику. Особенность исследования метода трассировки луча. Расчет положения места относительно ребра. Проверка вхождения объекта в ограничивающий прямоугольник многоугольной геометрической фигуры.
статья, добавлен 25.12.2017Характеристика алгоритмов оценивания параметров Н.С. Сугено, основанных на использовании нелинейных модификаций диффузного фильтра Калмана. Задание априорной информации для неизвестных параметров нечетких систем. Диффузные алгоритмы оценки параметров.
статья, добавлен 27.01.2013История возникновения графов, изучение их определения и свойств. Исследование роли графов в жизни. Применение теории графов при решении математических задач и их использование для изображения железных дорог и систем улиц города на географических картах.
презентация, добавлен 15.10.2016Получение концепции алгебраических уравнений, удовлетворяющих коэффициенты. Рассмотрение особенностей интегральных задач Фредгольма. Характеристика использования симметричности ядра при решении заданий. Вычисление функций о собственных колебаниях систем.
курсовая работа, добавлен 13.01.2017Общая характеристика методов решения задач на темы "переправы" и "фальшивый объект". Знакомство с основными особенностями решение логических задач. Характеристика принципов логических игр. Анализ задач на нахождение наименьшего количества предметов.
статья, добавлен 26.03.2019Проведено математичне дослідження коректності задач для псевдопараболічних систем рівнянь та варіаційних нерівностей і властивостей розв’язків цих задач, за допомогою аналогу методу Гальоркіна, методів штрафу, регуляризації, монотонності та компактності.
диссертация, добавлен 27.04.2014Формулирование задач, стадий, исходных данных для проектирования принципиальной схемы технологического процесса. Виды методов автоматизированного проектирования. Описание итерационного алгоритма процесса. Обзор принципа многоуровневой декомпозиции.
лекция, добавлен 23.07.2015Обоснование достоверности новой модели теории упругости – асимметричной упругости, использование которой позволило бы расширить класс задач, решаемых в рамках линейной теории. Ее структура и компоненты, а также анализ и критерии оценки эффективности.
автореферат, добавлен 01.05.2018Розробка ефективних методів розрахунку областей стійкості дискретних систем для задач з обмеженою та гарантованою чутливістю. Оцінювання областей початкових умов та постановка задач гарантованої чутливості, що охоплюються алгоритмами практичної стійкості.
статья, добавлен 30.01.2017Характеристика флаттера вязкоупругих пластин. Учет вязкоупругих свойств материала при сверхзвуковых скоростях. Решение уравнения колебаний относительно прогибов. Определение аэродинамического давления в соответствии с поршневой теорией А.А. Ильюшина.
статья, добавлен 25.08.2016Изложение свойств показательной и логарифмической функций; применение этих свойств в жизни; способы решения показательных и логарифмических уравнений и неравенств. Высказывания А. Эйнштейна и Д. Пойа о важности и вечности уравнений и решении задач.
презентация, добавлен 07.05.2014- 98. История алгебры
Методы решения уравнений в странах древнего мира. Решение задач, решаемых уравнениями первой степени. Смысл решения Ахмеса и умножение смешанного числа. Метод одного ложного положения и способ фальшивого правила. Правила решения квадратных уравнений.
реферат, добавлен 26.09.2011 Проведение исследования основных нелокальных краевых задач для дифференциальных и псевдодифференциальных уравнений. Характеристика важнейших преобразований Фурье по пространственным переменным. Существенная особенность изучения параболических заданий.
статья, добавлен 30.10.2016Линейное программирование как метод оптимизации. Общая задача линейного программирования и ее формулировка. Геометрическая интерпретация задачи, графический метод ее решения и область применения. Основные примеры задач, решаемых графическим методом.
реферат, добавлен 11.11.2010