О свойствах обобщенных категориальных грамматик зависимостей
Исследование обобщенных категориальных грамматик зависимостей (оКГЗ), определение их нормальных форм. Обоснование абстрактности семейства оКГЗ-языков. Определение существования неполулинейных оКГЗ-языков и расширения синтаксиса и алгоритма анализа.
Подобные документы
Пространства Гурвица и их стратификация. Рассмотрение шестиреберных рисунков рода три с единственной вершиной. Разложения перестановки в произведение перестановок. Перестановки фиксированной вырожденности. Производящие ряды обобщенных чисел Гурвица.
диссертация, добавлен 28.12.2016Определение понятий матрицы и ранга матрицы, а также описание алгоритма Гаусса. Анализ сути метода окаймляющих миноров. Характеристика алгоритма и пример вычисления ранга матрицы методом окаймляющих миноров. Анализ вычислительной сложности алгоритма.
курсовая работа, добавлен 17.03.2017Исследование закономерностей обмена информацией между информационными средами. Выявление зависимостей между процессами обмена информацией, накопления информации, роста информационной среды. Анализ процессов их самоорганизации и саморегулирования.
статья, добавлен 27.05.2018Рассмотрение алгоритма полного исследования функции, теоретических результатов по каждому пункту алгоритма. Разбор стандартных примеров исследования функций и построения графиков. Определение особенностей построения параметрически заданных кривых.
методичка, добавлен 14.09.2015- 30. Булевы функции
Понятие существенной и фиктивной переменной простых булевых функции функций. Суперпозиции и теория множеств. Нормальные формы и полиномы. Определение и характеристика классов Поста. Минимизация нормальных форм всюду определённых булевых функций.
курсовая работа, добавлен 05.12.2012 Определение кратчайших путей от вершины до остальных вершин графа, используя алгоритмы Дейкстры и Беллмана. Определение кратчайших путей между всеми парами вершин графа с применением алгоритма Флойда. Программирование алгоритма дискретной математики.
курсовая работа, добавлен 12.11.2017Применение методов обработки данных эксперимента, зависящих от вида получаемых при моделировании характеристик. Использование регрессионного и корреляционного анализов для поиска математических зависимостей между переменными по накопленным данным.
реферат, добавлен 09.01.2016Основные понятия и методы, используемые при обработке экспериментальных исследований. Классификация систематических погрешностей по причине возникновения. Идея метода наименьших квадратов. Случаи линейной, пропорциональной и нелинейной зависимостей.
учебное пособие, добавлен 11.03.2014- 34. Системный анализ
Определение системного анализа: построение модели, постановка задачи и решение поставленной математической задачи. Особенности задач системного анализа, его процедуры, определение целей. Генерирование альтернатив и внедрение результатов анализа.
реферат, добавлен 13.05.2015 Многомерные совокупности. Методы обработки матрицы. Оценки математического ожидания. Виды зависимостей между величинами: функциональная и статистическая. Корреляционная зависимость. Оценка корреляционного момента. Выбор вида уравнения регрессии.
контрольная работа, добавлен 29.11.2011Использование метода наименьших квадратов для отыскания приближенных зависимостей между изучаемыми экспериментальными величинами. Решение уравнений в матричном виде. Нахождение интервальных оценок неизвестных параметров и доверительного интервала.
курсовая работа, добавлен 05.05.2014Решение уравнений с модулем методом последовательного раскрытия модуля; метод интервалов (разбиения числовой прямой на промежутки), при помощи зависимостей между числами, их модулями и квадратами чисел. Использование геометрической интерпретации модуля.
контрольная работа, добавлен 19.01.2012Рассмотрение применения дискретной математики в информатике. Применение теории графов в экономических задачах. Определение жадного алгоритма, решение задачи о максимальной загруженности линий. Описание алгоритма Дейкстра. Решение задачи Коммивояжера.
реферат, добавлен 07.10.2014Выбор аппроксимирующих функций в зависимости от условия задачи. Построение графиков функций: исходной, полученных аппроксимирующих и зависимостей погрешностей. Проведение контрольных расчетов с помощью системы Mathcad для всех методов аппроксимации.
курсовая работа, добавлен 23.12.2014Разработка программного комплекса для моделирования модели на гибридном кластере. Получение зависимостей основных термодинамических величин двумерной модели Изинга от температуры. Доказательство правильности моделирования для разных размеров модели.
дипломная работа, добавлен 26.08.2016История появления понятия функции, формулировки ее определения с механической, геометрической и аналитической точек зрения. Роль функциональных зависимостей в познании реального мира. Виды функций и их свойства. Методические рекомендации к их изучению.
реферат, добавлен 28.09.2011Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.
учебное пособие, добавлен 30.07.2013Исследование систем целочисленных последовательностей, их определение. Особенности получения новых свойств последовательностей и новой последовательности. Использование методов для анализа транзакционных систем и в системах управления принятием решений.
статья, добавлен 31.08.2018Исследование математической модели функционирования образовательной системы региона в виде многокритериальной задачи оптимального управления. Понятие равновесия этой системы, а также формулировка и доказательство необходимых условий его существования.
статья, добавлен 09.01.2019Решение задачи на увеличение энтропии источника дискретных сообщений с применением алгоритма Хаффмана. Определение энтропии двоичного сигнала, способ получения кодовых комбинаций. Ошибка и её влияние на получаемые сообщения, характеристика кода Хаффмана.
лабораторная работа, добавлен 20.05.2021Примеры корреляционной и прямолинейной зависимостей. Линейная регрессия и метод наименьших квадратов. Пояснение к оценке коэффициентов методом наименьших квадратов. Выборочный коэффициент корреляции. Построение модели, описывающей изменения величин.
практическая работа, добавлен 28.03.2020Математическое моделирование - причина повышения значения вычислительного эксперимента в теоретических и прикладных науках. Наличие графических зависимостей как метод решения проблемы интегрирования численной информации, полученной в эксперименте.
статья, добавлен 25.08.2020Сущность и формальное определение алгоритма на графах, изобретенного нидерландским ученым Э. Дейкстрой. Принципы использования массивов чисел в простейшей реализации для хранения чисел. Анализ сложности алгоритма и доказательство его корректности.
реферат, добавлен 07.05.2011Геодезический угол между осью и вектором вращения. Уравнения функциональных зависимостей в кинетике взаимодействий некоторых макро- и микросистем гравитации. Золотые правила египетских пирамид. Геодезический угол при конформации стабильных систем.
статья, добавлен 12.08.2020Связь параметрической идентификации модели с проведением эксперимента и обработкой экспериментальных зависимостей. Идентификация моделей с помощью регрессионного метода. Достоверность (адекватность) регрессионной модели. Дисперсия адекватности модели.
контрольная работа, добавлен 27.06.2013