Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Обеспечение правильности требований к функционированию исходной спецификации как одна из важнейших задач, решаемых в процессе проектирования реактивных алгоритмов. Характеристика специфических особенностей осуществления верификации открытых систем.
Подобные документы
Трассировка соединений как одна из наиболее трудноразрешимых задач в общей проблеме автоматизации проектирования электронных устройств. Характеристика алгоритма для поиска пути между двумя ячейками – источником и приемником дискретного рабочего поля.
контрольная работа, добавлен 12.06.2016Методы разработки алгоритмов. Характеристика особенностей "жадных" алгоритмов. Анализ задачи о выборе заявок. Изучение методов определения правильности алгоритма. Изучение принципов жадного выбора. Жадный алгоритм и динамическое программирование.
реферат, добавлен 23.11.2019Изложение основ классической теории сводимости задач и геометрического подхода к изучению их сложности. Изучение комбинаторно-геометрических свойств задач и геометрической интерпретации алгоритмов. Исследование свойств конусного разбиения пространства.
диссертация, добавлен 28.12.2013Определение понятия и рассмотрение существующих в математике теорий параллельного проектирования. Характеристика и доказательство основных свойств параллельного проектирования. Установление связи между параллельным проектированием и решением задач.
реферат, добавлен 03.04.2016Изучение особенностей проектирования современных технических систем. Характеристика использования математического моделирования, программного обеспечения персональных компьютеров, математического программирования для решения оптимизационных задач.
курсовая работа, добавлен 22.11.2018Поведение функций трудоемкости количественно-зависимых алгоритмов в реальных интервалах значений мощности множества исходных данных. Использование аппарата интервального анализа для сравнения функций, реализованного в виде программы на языке С++.
лабораторная работа, добавлен 02.04.2015Наличие высокого порядка аппроксимирующих формул - одна из наиболее специфических особенностей современных численных алгоритмов решения задачи Коши. Характеристика и методика расчета явных экстраполяционных уравнений Адамса-Башфорта третьего порядка.
курсовая работа, добавлен 27.11.2017Роль метода Якоби при решении научных и промышленных проблем: реализация алгоритмов вычислительной математики и физики, обрабатывание результатов экспериментальных исследований. Использование в данном процессе программы на языке программирования C++.
статья, добавлен 20.07.2018Разработка комплекса математических моделей, численных алгоритмов и программных средств моделирования динамики грузовых парашютных систем. Особенности их проектирования на всех этапах управляемого движения для разных случаев информированности о ветре.
автореферат, добавлен 27.03.2018Рассмотрены проблемы и возможности использования компьютерной математики при обучении в вузе. Анализ опыта использования широко распространенных систем на примере систем Maple, MathCAD, GAP. Пример решения задач теориям групп на языке системного разрыва.
статья, добавлен 15.08.2020Методика выполнения построчного ортонормирования матричного уравнения краевых условий на левом участке. Характеристика специфических особенностей осуществления замены метода численного интегрирования Рунге-Кутта в алгоритме прогонки С.К. Годунова.
статья, добавлен 26.06.2016Характеристика дополнительных геометрических свойств треугольника. Исследование понятия и сущности ортотреугольника, изучение его основных свойств. Анализ особенностей применения геометрических свойств ортотреугольника к решению практических задач.
презентация, добавлен 18.01.2018Обзор методов решения задачи нахождения собственных значений симметричных матриц большой размерности. было проведено исследование с применением разработанного на языке C++ приложения, а также сделаны выводы о работе алгоритмов. Результаты экспериментов.
дипломная работа, добавлен 24.09.2021Диаграмма коммутационной схемы - одна из основных составляющих исходной информации системы автоматического проектирования. Гиперграф - обобщённый вид графа, в котором каждым ребром могут соединяться не только две вершины, но и любые их подмножества.
контрольная работа, добавлен 12.06.2016- 15. Многоуровневые алгоритмы и структуры распараллеливания решений систем уравнений большой размерности
Анализ особенностей решения систем линейных и нелинейных уравнений большой размерности. Изучение особенностей использования диакоптических методов для разработки более эффективных алгоритмов и новых параллельных многопроцессорных вычислительных систем.
статья, добавлен 18.11.2018 Модальность как одна из качественных специфических особенностей эмоционального реагирования. Методика построения системы дифференциальных уравнений, описывающих протекание эмоции. Аппарат иммунных систем - способ реализации математической модели.
статья, добавлен 19.01.2018Описание результатов решения начальных и краевых задач с учетом неустранимой погрешности. Характеристика круга решаемых задач и преимуществ предложенных методов. Анализ значения учета погрешностей для решения задач повышения надежности устройств.
статья, добавлен 24.07.2018Характеристика особенностей использования математических задач в процессе обучения для развития наглядно-образного мышления, творческих способностей и исследовательских навыков учащихся. Описание математических задач исследовательского характера.
статья, добавлен 18.11.2020Рассуждения как сущность логического метода решения текстовых задач. Характеристика их способа решения. Примеры текстовых задач, решаемых логическим способом. Возникновение логического способа решения. Суть логического способа решения текстовых задач.
статья, добавлен 22.04.2019Метод итерации - решение систем линейных алгебраических уравнений с вещественными коэффициентами относительно неизвестных, принимающих вещественные значения. Характеристика методов Якоби, Гаусса-Зейделя, П.Л. Чебышева. Применение итерационных методов.
курсовая работа, добавлен 11.06.2013Разработка подходов, обеспечивающих эффективное распределение ресурсов независимо от размерностей решаемых задач и специфики моделируемой в процессе распределения предметной области. Возможность применения метода "оптимизации с использованием роя частиц".
статья, добавлен 30.05.2017Характеристика методики аналитического нахождения минимального значения функции через необходимое и достаточное условие экстремума. Реализация алгоритма поиска минимального значения функции методом градиентного спуска на языке программирования С++.
курсовая работа, добавлен 28.10.2017- 23. Алгоритм Сугено
Этапы алгоритма Мамдани. Использование аппарата нечеткой логики для задач аппроксимации. Логический контроллер Сугено как универсальный аппроксиматор в условиях сравнения различных алгоритмов. Теоретическое обоснование алгоритма Сугэно в этом качестве.
реферат, добавлен 17.07.2013 Разработка методов и алгоритмов решения физически нелинейных задач статики и динамики тонкостенных конструкций. Решение обратных задач, обеспечивающих требуемые пластические и демпфирующие свойства конструкции и механические характеристики материала.
автореферат, добавлен 16.02.2018Биологические принципы поведения муравьиной колонии, история создания соответствующих алгоритмов и особенности их использования. Этапы решения задачи при помощи муравьиных алгоритмов, оценка их достоинств и недостатков в решении задачи оптимизации.
контрольная работа, добавлен 08.01.2014