Формальные системы
Совокупность абстрактных объектов, в которой представлены правила оперирования множеством символов в синтаксической трактовке. Правила, применяемые к формулам. Классическая классификация формальных грамматик. Моделирование сложных ветвящихся процессов.
Подобные документы
Построение модели транспортной сети в виде графа, с множеством вершин, соответствующих узлам сети, и множеством ребер – участкам дорог. Оптимальный алгоритм выделения наибольших максимальных цепей по заданному критерию и оценка по остальным критериям.
статья, добавлен 26.05.2017Моделирование – исследование объектов познания на их моделях. Классификация моделей и их суть: учебные, опытные, научно–технические, игровые, имитационные. Классификация моделей по фактору времени и по форме представления. Типы информационных моделей.
реферат, добавлен 12.03.2014История развития фрактальной геометрии. Исследование фракталов в природе и математике, составление программы моделирования сложных неевклидовых объектов, образы которых весьма похожи на природные. Моделирование фракталов на языке программирования.
научная работа, добавлен 24.09.2013Репрезентативность - способность выборки характеризовать соответствующую генеральную совокупность с определенной точностью и достаточной надежностью. Методика определения расчетной суммы рангов. Ключевые условия существования выборочной совокупности.
контрольная работа, добавлен 15.09.2014Описание логической системы, в которой множеством истинности является множество самосопряженных положительных операторов в гильбертовом пространстве. Определение операторозначной логической алгебры и некоторые ее свойства, особенности применения.
статья, добавлен 27.02.2019Понятие и классификация математических моделей, принципы и этапы их создания, предъявляемые требования. Прямая и обратная задачи математического моделирования, используемые компьютерные системы. Возможности современного квантово-механического ПО.
дипломная работа, добавлен 15.10.2013- 7. Математика
Изложение приёмов исследования и решения математически сформулированных задач; математического моделирования для исследования сложных экономических систем, построения надёжных моделей экономических процессов с целью обоснования принимаемых решений.
методичка, добавлен 03.03.2014 Принципы построения формальных теорий. Проблемы, связанные с системой аксиом. Доказательство независимости системы аксиом. Исчисление высказываний, символы и формулы. Теорема дедукции и правило силлогизма (транзитивный вывод). Примеры решения задач.
презентация, добавлен 17.04.2013Анализ динамики реальных природных систем. Моделирование каскадных водопадов и турбулентных процессов. Самоподобие как основное характерное свойство фракталов. Понятие дробной размерности. Правила построения снежинки Коха. Салфетка и ковёр Серпинского.
реферат, добавлен 07.12.2016Особенности идентификации стохастических объектов в условиях малой априорной информации. Численное моделирование "трубчатых" процессов, моделирование при двух независимых входных переменных. Задачи идентификации, измерения входных-выходных переменных.
статья, добавлен 29.04.2018Определение квадратной матрицы, на главной диагонали которой стоят единицы. Построение матрицы В, элементы которой получены путем умножения каждого элемента матрицы А на это число. Определение бесконечно большой величины. Правила дифференцирования.
контрольная работа, добавлен 08.10.2014- 12. Влияние относительной погрешности на шаге интегрирования на точность математического моделирования
Математическое моделирование как современный метод исследования сложных естественных процессов. Анализ возможности использования переменной относительной погрешности вычисления для существенного сокращения времени расчета без ущерба для точности.
статья, добавлен 18.12.2017 Классификация моделей и методов формализованного представления систем. Изучение основных этапов имитационного моделирования. Корреляция и причинная зависимость. Линейные регрессионные уравнения. Идентификация параметров распределения случайной величины.
учебное пособие, добавлен 25.04.2014Оценка долговечности и производительности аппаратов для разделения суспензий - центрифуг. Построение моделей для эксплуатации с применением методов теорий надёжности и случайных процессов, критериев и условий технологичности, экономической эффективности.
автореферат, добавлен 02.08.2018Позиционная система счисления как система, у которой количественные значения символов, используемых для записи чисел, зависят от их положения в коде числа. История возникновения идеи приписывать цифрам разные величины. Вавилонская и десятичная системы.
доклад, добавлен 08.12.2014Прогнозирование поведения многоэлементных систем. Оценка вероятностных характеристик и моделирование надежности сложных структур большой размерности. Алгебраическая интерпретация n-полюсников. Определение их параметров по данным составляющих элементов.
статья, добавлен 21.03.2016Современные системы автоматизированного регулирования централизованных маслостанций, применяемые для смазки трущихся частей мельниц различного типа. Расчёты процесса автоматизированной системы маслосмазки в условиях измерения уровня загрузки мельницы.
статья, добавлен 31.10.2013Совокупность правил наименования и изображения чисел с помощью набора символов. Способы записи чисел в виде, удобном для прочтения и арифметических операций. Первые понятия математики. Римская нумерация как примером непозиционной системы счисления.
презентация, добавлен 05.12.2013Рассмотрение проблемы представления свойств сложных объектов в базах знаний экспертных систем. Ориентация программного обеспечения на многозначную интерпретацию с позиции нечеткого и лингвистического моделирования рассматриваемой проблемной области.
статья, добавлен 07.08.2020Система с последовательным соединением элементов. Преобразование сложных структур. Зависимость вероятности безотказной работы системы, элементы которой соединены по мостиковой схеме, от параметров. Модель надежности системы с множественными отказами.
контрольная работа, добавлен 08.06.2014Система счисления как совокупность правил наименования и изображения чисел с помощью конечного набора символов, называемых цифрами. Развернутая форма записи чисел. Алгоритм перевода чисел из любой системы счисления в десятичную. Таблица сложения чисел.
контрольная работа, добавлен 27.06.2012Методы моделирования параметров профильного резонатора типа Фабри–Перо в составе оптической линии. Математическая модель взаимодействия элементов многоканальной телекоммуникационной системы, которая учитывает технические параметры сетевых устройств.
автореферат, добавлен 04.02.2018Основная характеристика моделей структурной динамики сетевых систем. Определение класса предфрактальных деревьев, порожденных множеством затравок-звезд с чередованием. Анализ построения и обоснования полиномиального характера алгоритма распознавания.
статья, добавлен 28.04.2017Особенности алгебры над множеством логических функций и переменных, сигнатура которой содержит две бинарные операции. Характеристика полиномома Жегалкина. Основные аспекты его поиска. Анализ основ использования метода неопределенных коэффициентов.
реферат, добавлен 06.04.2015Исследование обобщенных категориальных грамматик зависимостей (оКГЗ), определение их нормальных форм. Обоснование абстрактности семейства оКГЗ-языков. Определение существования неполулинейных оКГЗ-языков и расширения синтаксиса и алгоритма анализа.
статья, добавлен 19.01.2018