Исследование алгебраических сетей, порождающих совокупность вычислительных моделей
Исследование класса рассуждающих и рефлексивных сетей, позволяющих моделировать синхронные рассуждения нескольких субъектов. Разработка и доказательство теоремы, определяющей свойство алгебр порождать функциональные структуры для вычислительных моделей.
Подобные документы
Викладення *-алгебр, асоційованих з графами Кокстера Г, породжених твірними-проекторами із співвідношеннями типу Темперлі–Ліба. Опис параметрів для *-алгебр з двома параметрами, асоційованими з простими й розширеними діаграмами Динкіна An, Dn, E6, E7, E8.
автореферат, добавлен 14.09.2014Расчет динамики транспортной системы крупного мегаполиса на основании предложенных обобщённых моделей, изучение высокоточных численных методов и реализации их в виде комплекса программ. Всестороннее тестирование программного комплекса и его апробация.
автореферат, добавлен 25.07.2018Разработка имитационной модели электрической сети. Подтверждение актуальности модели сети сопоставлением результатов вычислительных экспериментов, выполненных на модели, и параметров реальных режимов работы электроэнергетической системы Республики Йемен.
статья, добавлен 02.12.2018Изучение классификации моделей транспортных систем, проведенной на основе их функциональной роли. Оптимальное планирование транспортных сетей мегаполисов. Учет закономерностей развития сети, распределения нагрузок на ее участки. Имитационные модели.
статья, добавлен 17.12.2016Свойства, методы моделирования и оценка параметров устойчивых распределений. Анализ моделей GARCH, GARCH с устойчивыми остатками и SGARCH для финансовых временных рядов. Построение разных типов вероятностных моделей с помощью средств пакета Mathematica.
курсовая работа, добавлен 25.10.2012Доказательство гипотезы Биля, обобщения теоремы Ферма, как неопределенного уравнения, не имеющего решения в целых положительных числах, методами элементарной алгебры: методом решения параметрических уравнений в сочетании с методом замены переменных.
статья, добавлен 28.05.2009Различные числовые ряды в математике. Рассмотрение убывающей геометрической прогрессии. Числовые интервалы в функциональных рядах. Математическое доказательство теоремы Абеля. Область сходимости степенного ряда. Интервал с центром в начале координат.
лекция, добавлен 05.05.2015Сравнивается детерминированный и вероятностный подход к построению моделей распространения лесных пожаров. Предложена стохастическая модель, обобщающая собой детерминированное описание. Показаны преимущества такого подхода. Анализ полученных моделей.
статья, добавлен 03.05.2019История происхождения, распространения оригами. Применение техники оригами, исследование возможностей применения оригами для решения геометрических задач и доказательство теорем. Сравнительные итоги срезов по изучению теоремы, изучение свойств биссектрис.
презентация, добавлен 16.11.2019Элементы линейной алгебры и ее следование из вычислительных задач. Матрица как математический объект, записываемый в виде прямоугольной таблицы элементов поля, представляющая совокупность строк и столбцов, на пересечении которых находятся её элементы.
презентация, добавлен 19.12.2015Проекционная конфигурация как совокупность трёх ортогональных проекций прямой линии и одномерных моделей пространства. Определение точек, соответствующих равноудаленности от трёх пар плоскостей проекций. Алгоритмы построения трехкартинных отображений.
статья, добавлен 12.09.2021Аналитическое доказательство истинности заключения (теоремы) от противного. Содержательный (словесный) алгоритм по методу Вонга. Содержательный (словесный) алгоритм по методу пропозициональной резолюции. Блок-схемы и сравнительный анализ алгоритмов.
курсовая работа, добавлен 19.06.2012Современная формулировка великой теоремы Ферма. Доказательство: для всех троек (z,x,y) пифагоровых чисел; для всех членов семейства любой тройки пифагоровых чисел; для всех троек чисел, не больших числа z; для всех троек чисел натурального ряда чисел.
реферат, добавлен 30.03.2017Рассмотрение геометрического обоснования серединного перпендикуляра. Определение положения точки, равноудаленной от концов прямой линии треугольника. Исследование сущности и математическое доказательство теоремы о серединном перпендикуляре к отрезку.
презентация, добавлен 28.04.2016- 90. Исследование наилучших приближений непрерывных периодических функций тригонометрическими полиномами
Наилучшие приближения непрерывных периодических функций тригонометрическими полиномами и их исследование. Обобщение теоремы Джексона и обобщение известного неравенства С.Н. Бернштейна для производных от тригонометрического полинома. "Обратные теоремы".
дипломная работа, добавлен 22.04.2011 Сущность и структура линейных уравнений, их разновидности и свойства. Критерий совместности системы линейных уравнений, исследование теоремы Кронекера-Капелли. Метод Гаусса: содержание и назначение, сферы применения. Свойство свободных переменных.
лекция, добавлен 26.03.2012- 92. Теорема Пифагора
Рассмотрение древней и современной формулировок теоремы Пифагора, ее значение в математике. Изучение алгебраического, геометрического и евклидового доказательств теоремы о равенстве квадрата гипотенузы прямоугольного треугольника сумме квадратов катетов.
презентация, добавлен 20.12.2011 Предположение о простоте решения теоремы Ферма геометрическим способом. Особенности интерпретации известной формулы с точки зрения многомерности пространства. Физическое понимание множества измерений и способы применения их для расчетов в математике.
доклад, добавлен 23.08.2013Ознакомление с условиями применения теоремы Ферма. Математическое выражение средств поиска целых величин из натуральных чисел. Изучение формул Абеля. Примеры уравнений, доказывающих правильность рассматриваемой теоремы. Область вспомогательных лемм.
статья, добавлен 11.07.2015Характеристика свойств наибольшего общего делителя. Основные варианты разложения показателя степени на сомножители. Особенности определения коэффициентов полинома при помощи биномиальных выражений. Исследование ключевых признаков "примитивных" чисел.
статья, добавлен 03.03.2018Общие признаки и свойства моделей. Характеристика материальных и идеальных моделей, их классификация. Описание непрерывных и дискретных математических моделей, их основные понятия и положения. Условия скачкообразного изменения выходных свойств систем.
реферат, добавлен 21.10.2014Понятие множества, его виды и характеристическое свойство. Математическое доказательство как цепочка дедуктивных умозаключений, выполняемых по определенным правилам. Теоретико-множественный смысл натурального числа, нуля и операций на множестве.
шпаргалка, добавлен 18.06.2011Исследование теплофизических и технологических процессов в геотермальных системах. Разработка алгоритмов и методик расчета оптимальных параметров и режимов эксплуатации различных систем. Разработка моделей принятия решений в геотермальных системах.
автореферат, добавлен 13.02.2018Построение цепочки силлогизмов для создания доказательства, утверждающего истинность теоремы. Классификация теорем по логической структуре, характеристика необходимых и достаточных условий. Существующие системы аксиом, предъявляемые к ним требования.
презентация, добавлен 15.02.2012Рассмотрение многомерных обобщений теоремы Абеля. Построение тройки тетраэдров по их двойственным графам. Вычисление смешанного объема суммы с помощью программы Wolfram. Доказательство неразрешимости группы монодромии системы и наличия транспозиции.
контрольная работа, добавлен 26.07.2016