Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке
Обеспечение правильности требований к функционированию исходной спецификации как одна из важнейших задач, решаемых в процессе проектирования реактивных алгоритмов. Характеристика специфических особенностей осуществления верификации открытых систем.
| Рубрика | Математика |
| Вид | статья |
| Язык | русский |
| Дата добавления | 02.10.2018 |
| Размер файла | 1,0 M |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Изучение численных методов приближенного решения нелинейных систем уравнений. Составление на базе вычислительных схем алгоритмов; программ на алгоритмическом языке Фортран - IV. Приобретение практических навыков отладки и решения задач с помощью ЭВМ.
методичка [150,8 K], добавлен 27.11.2009Сравнительный анализ численных методов решения систем линейных алгебраических уравнений. Вычисление определителей и обратных матриц. Реализация методов в виде машинных программ на языке высокого уровня и решение задач на ЭВМ. Модификации метода Гаусса.
реферат [85,2 K], добавлен 04.03.2011Определение значения заданной функции в указанной точке при помощи интерполяционной схемы Эйткина. Проверка правильности данного решения с помощью кубического сплайна. Практическая реализация данного задания на языке Pascal и при помощи таблиц Excel.
курсовая работа [496,3 K], добавлен 29.08.2010Методика разработки блок-схемы цифрового узла, принцип его действия, взаимосвязь составных элементов. Описание цифрового узла на языке AHDL. Привязка портов к сигналам и программирование заданной микросхемы, проводимые при этом отладочные работы.
лабораторная работа [313,9 K], добавлен 25.01.2014Общая характеристика графов с нестандартными достижимостями, их применение. Особенности задания, представления и разработки алгоритмов решения задач на таких графах. Описание нового класса динамических графов, программной реализации полученных алгоритмов.
реферат [220,4 K], добавлен 22.11.2010Характеристика и изучение замкнутости класса всех конечных сверхразрешимых групп относительно подгрупп, фактор-групп и прямых произведений. Исследование свойств подгрупп конечной сверхразрешимой группы. Обзор свойств сверхразхрешимых групп в виде лемм.
курсовая работа [260,7 K], добавлен 06.06.2012Метод главных элементов, расширенная матрица, состоящая из коэффициентов системы и свободных членов. Метод квадратных корней для решения систем с симметричной матрицей коэффициентов. Практическая реализация метода Халецкого: программа на языке Pascal.
контрольная работа [761,7 K], добавлен 22.08.2010Постановка начально-краевых задач фильтрации суспензии с нового кинетического уравнения при учете динамических факторов различных режимов течения. Построение алгоритмов решения задач, составление программ расчетов, получение численных результатов на ЭВМ.
диссертация [1,1 M], добавлен 19.06.2015Описание свойств наследственных насыщенных формаций Фиттинга (замкнутые относительно произведения F-подгрупп) Шеметкова (где минимальная не F-группа является либо группой Шмидта с ненормальной циклической силовой подгруппой, либо простого порядка).
курсовая работа [204,0 K], добавлен 14.02.2010Методы решения систем линейных алгебраических уравнений (СЛАУ): Гаусса и Холецкого, их применение к конкретной задаче. Код программы решения перечисленных методов на языке программирования Borland C++ Builder 6. Понятие точного метода решения СЛАУ.
реферат [58,5 K], добавлен 24.11.2009Изучение свойств критических групп и субнормальных подгрупп. Нахождение серии наследственных насыщенных формаций Шеметкова (минимальная не F-группа тут группа Шмидта, либо простого порядка) и Фиттинга (замкнутые относительно произведения F-подгрупп).
дипломная работа [272,8 K], добавлен 14.02.2010Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
курсовая работа [1,3 M], добавлен 20.08.2010Анализ особенностей методической деятельности учителя начальных классов при обучении учащихся решению задач с пропорциональной зависимостью. Роль задач в формировании учебной деятельности младших школьников. Виды задач в начальном курсе математики.
курсовая работа [36,0 K], добавлен 07.01.2015Влияние способа перехода от системы F(x)=x к системе x=ф(x) на точность полученного решения. Общее описание программного обеспечения и алгоритмов. Функциональное назначение программы. Программный модуль metod1.m и metod2.m. Описание тестовых задач.
курсовая работа [591,6 K], добавлен 27.04.2011Система линейных алгебраических уравнений. Основные формулы Крамера. Точные, приближенные методы решения линейных систем. Алгоритм реализации метода квадратных корней на языке программирования в среде Matlab 6.5. Влияние мерности, обусловленности матрицы.
контрольная работа [76,6 K], добавлен 27.04.2011Исследование теоретического материала, касающегося задач, решаемых ограниченными средствами. Сущность и содержание теоремы Штейнера – Понселе. Задачи школьного курса геометрии, решаемые циркулем и линейкой, их исследование и методика разрешения.
курсовая работа [856,1 K], добавлен 04.11.2015Численные методы представляют собой набор алгоритмов, позволяющих получать приближенное (численное) решение математических задач. Два вида погрешностей, возникающих при решении задач. Нахождение нулей функции. Метод половинного деления. Метод хорд.
курс лекций [81,2 K], добавлен 06.03.2009Численное решение уравнения методом Эйлера и Рунге-Кутта в Excel. Программа на языке Turbo Pascal. Блок-схема алгоритма. Метод Рунге-Кутта для дифференциального уравнения второго порядка. Модель типа "хищник-жертва" с учетом внутривидового взаимодействия.
курсовая работа [391,5 K], добавлен 01.03.2012Структура текстовой задачи. Условия и требования задач и отношения между ними. Методы и способы решения задач. Основные этапы решения задач. Поиск и составление плана решения. Осуществление плана решения. Моделирование в процессе решения задачи.
презентация [247,7 K], добавлен 20.02.2015Нахождение проекции точки на прямую, проходящую через заданные точки. Изучение формул Крамера для решения систем линейных уравнений. Определение точки пересечения перпендикуляра и исходной прямой. Исследование и решение матричной системы методом Гаусса.
контрольная работа [98,6 K], добавлен 19.04.2015
