Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Обеспечение правильности требований к функционированию исходной спецификации как одна из важнейших задач, решаемых в процессе проектирования реактивных алгоритмов. Характеристика специфических особенностей осуществления верификации открытых систем.
Подобные документы
Линейное программирование как метод оптимизации. Общая задача линейного программирования и ее формулировка. Геометрическая интерпретация задачи, графический метод ее решения и область применения. Основные примеры задач, решаемых графическим методом.
реферат, добавлен 11.11.2010Умови збіжності матриць Гріна лінійних крайових задач для систем диференціальних рівнянь першого порядку по нормі простору Лебега. Аналіз неперервності за параметром розв’язків лінійних крайових задач для систем диференціальних рівнянь першого порядку.
автореферат, добавлен 27.08.2015Байесовы сети (БС) как средство формализованного представления причинно-следственных зависимостей. Описание аппарата и задач, решаемых с помощью БС. Разработка вероятностной модели для анализа причин дефектов электрических соединителей на основе БС.
статья, добавлен 27.05.2018Анализ алгоритмов децимации (прореживания) сигналов, основанных на использовании средств и методов идентификационных измерений. Моделирование предложенных алгоритмов децимации сигналов и их сравнительный анализ с точки зрения эффективности преобразования.
статья, добавлен 30.10.2018Определение понятия текстовой задачи, характеристика основных этапов ее решения. Рассмотрение видов данных задач, изучаемых в начальном курсе математики. Исследование особенностей текстовых задач на движение. Перевод одних единиц скорости в другие.
курсовая работа, добавлен 14.04.2015Общая постановка задачи структурного и параметрического синтеза. Определение математической модели и предъявляемые к ним требования. Математическое обеспечение автоматизированного проектирования, применение неформальных методов для синтеза моделей.
реферат, добавлен 13.06.2016Динамическое программирование в математике и теории вычислительных систем, условия его применимости для решения задач рекурсивным способом. Разработка электронного пособия для формирования умений и навыков по решению задач динамического программирования.
курсовая работа, добавлен 25.04.2011Понятие о графе, способы его задания. Достижимость и обратная достижимость вершин графа. Графовые модели для оптимизации транспортных сетей и потоков, решения задач календарного планирования, задач о назначениях и других задач дискретной оптимизации.
курсовая работа, добавлен 21.12.2011Скалярное произведение векторов: определение. Характеристика векторного произведения векторов, его свойства (антиперестановочность множителей, распределительности относительно сложения и пр.). Определение смешанного произведения векторов, примеры задач.
лекция, добавлен 09.07.2015Характеристика особенностей построения Декартовой прямоугольной системы координат (на плоскости, в пространстве). Графическое решение систем алгебраических линейных уравнений и задач линейного программирования с помощью Декартовой прямоугольной системы.
курсовая работа, добавлен 31.01.2015Побудова математичної моделі процесу вирішення задач оцінювання об’єктів життєвого циклу програмних систем. Реалізація створеного апарату в програмних засобах підтримки розв’язання задач оцінювання і керування ризиком з їх апробацією в організації.
автореферат, добавлен 14.09.2015Научные и инженерные расчеты как одна из важнейших сфер приложения компьютеров. Знакомство с основными особенностями реализации рациональной арифметики в системах символьной математики. Общая характеристика возможностей и преимуществ пакета Matlab.
реферат, добавлен 10.11.2020- 113. Осевая симметрия
Изучение свойств преобразований плоскости. Примеры решения задач с использованием преобразований плоскости. Анализ содержания школьных учебников геометрии по данной тематике. Возможности применения преобразований плоскости к решению задач планиметрии.
курсовая работа, добавлен 09.06.2013 Умови існування та єдиності розв'язків мішаних задач та задач без початкових умов для деяких типів еволюційних рівнянь та систем. Існування та єдиність розв'язків для нелінійних ультрапараболічних рівнянь в необмежених за просторовими змінними областях.
автореферат, добавлен 15.07.2014Дослідження ефективності застосування некласичних операційних й апроксимаційних методів для задач нецілого числення. Розробка апроксимаційно-операційних моделей динамічних систем нецілого порядку, з елементами запізнювання, крайових та варіаційних задач.
автореферат, добавлен 28.08.2014Исследование теплофизических и технологических процессов в геотермальных системах. Разработка алгоритмов и методик расчета оптимальных параметров и режимов эксплуатации различных систем. Разработка моделей принятия решений в геотермальных системах.
автореферат, добавлен 13.02.2018Изучение краевых задач для обыкновенных дифференциальных уравнений и для уравнений с частными производными. Алгоритмы методов численного решения систем нелинейных уравнений, согласно которым произведен поиск корней типовой для прикладных задач системы.
статья, добавлен 07.08.2020Характеристика прямых методов безусловной минимизации многомерных задач: метода Хука-Дживса, Розенброка, циклического покоординатного спуска, сопряженных направлений Пауэлла. Изучение особенностей метода минимизаций функций по правильному симплексу.
презентация, добавлен 09.07.2015Теория графов как область дискретной математики с геометрическим подходом к изучению объектов. Решение математических развлекательных задач и головоломок. Эйлеров путь графа. Краткие пути решения. Задача коммивояжера - одна из задач теории комбинаторики.
реферат, добавлен 13.01.2012- 120. Алгоритм комбинированного метода решения конечноэлементных задач с нелинейностями различного типа
Описание нового итерационного алгоритма на основе метода конечных элементов, разработанного для решения контактных задач механики деформируемого твердого тела. Метод решения нелинейных систем уравнений как сходящейся последовательности линейных задач.
статья, добавлен 27.05.2018 Анализ актуальности проблемы безопасности интеллектуальных машин для человека. Характеристика особенностей математических моделей и алгоритмов оценки безопасности роботов. Характеристика теоремы об опасности роботов с абсолютной памятью для человека.
статья, добавлен 26.04.2019Решение задач с нелинейными ограничениями-неравенствами. Рассмотрение задачи нахождения направления. Точка Джона для исходной задачи, когда оптимальное значение целевой функции задачи поиска равно нулю. Оптимальное решение задачи одномерной минимизации.
задача, добавлен 06.09.2017Понятие и особенности структуры двоичных биномиальных систем счисления, их специфика и характерные свойства. Основные виды методов и алгоритмов адаптивной (к числу ошибок в дискретном канале) передачи информации на основе биномиальных чисел (кодов).
статья, добавлен 23.10.2010- 124. Определение функций источника систем уравнений составного типа для некоторых начально-краевых задач
Решение задачи идентификации функции источника одномерной системы параболического и эллиптического уравнений в частных производных второго порядка. Исследование задачи Коши, второй краевой и обратных задач для эволюционных систем составного типа.
статья, добавлен 29.04.2018 Рассмотрение подходов к изучению моделирования. Методы имитации случайных величин. Этапы построения математической модели. Проблема оценки внешней среды. Характеристика особенностей имитационного моделирования. Анализ аспектов генетических алгоритмов.
реферат, добавлен 18.01.2014