Понятия со словом «табулирование»
Табулирование функции — это вычисление значений функции при изменении аргумента от некоторого начального значения до некоторого конечного значения с определённым шагом. Именно так составляются таблицы значений функций, отсюда и название — табулирование. Необходимость в табулировании возникает при решении достаточно широкого круга задач. Например, при численном решении нелинейных уравнений f(x) = 0, путём табулирования можно отделить (локализовать) корни уравнения, то есть найти такие отрезки, на...
Связанные понятия
Фундаментальное решение линейного дифференциального оператора L или, эквивалентно, соответствующего ему линейного уравнения в частных производных — математическое понятие, обобщающее идею функции Грина для дифференциальных операторов, без связи с какой-либо областью и граничными условиями.
Позиционное кодирование — способ кодирования реакции, при котором для любого стимула в состоянии «включено» может находиться только один вариант реакции. Код принимает форму двоичного числа, все разряды которого, за исключением одного, состоят из нулей. Положение ненулевого разряда указывает на класс идентифицируемого стимула. С помощью такой системы может быть опознано только N типов стимулов, что значительно меньше, чем при конфигурационном кодировании, но зато существенно возрастает вероятность...
Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают...
Диаграмма обзора взаимодействия (англ. Interaction overview diagram) — одна из разновидностей диаграммы деятельности в языке моделирования UML, которая может включать в себя также элементы диаграммы последовательности. Цель её создания ставится как увязывание в единое целое потока управления между узлами из диаграмм деятельности с последовательностью сообщений между линиями выполнения диаграмм последовательности. Расширение синтаксиса осуществляется за счёт использование ссылок на взаимодействия...
Жёсткой системой обыкновенных дифференциальных уравнений (ОДУ) называется (нестрого говоря) такая система ОДУ, численное решение которой явными методами (например, методами Рунге — Кутты или Адамса) является неудовлетворительным из-за резкого увеличения числа вычислений (при малом шаге интегрирования) или из-за резкого возрастания погрешности (так называемого, взрыва погрешности) при недостаточно малом шаге. Для жёстких систем характерно то, что для них неявные методы дают лучший результат, обычно...
Подробнее: Жёсткая система
В теории вероятностей несколько событий называются несовместными (от слова «место»), или несовместимыми, если никакие из них не могут появиться одновременно в результате однократного проведения эксперимента (опыта).
Подробнее: Несовместимые события
Сообщение минимальной длины — это формальное переопределение принципа бритвы Оккама на языке теории информации: даже если модели не эквивалентны в точности, та из них, которая порождена наикратчайшим сообщением, является наиболее корректной.
Ниже приводится
список алгоритмов, группированный по категориям. Более детальные сведения приводятся в списке структур данных и списке основных разделов теории алгоритмов...
Логическое управление — вид управления, который основывается на истинности и ложности каких-либо предпосылок (двоичных сигналов условий от объекта управления). Результатом управления является выдача двоичных управляющих воздействий (микроопераций) для объекта управления. Подобная постановка задачи более типична для алгоритмического программирования, нежели чем для автоматического управления, что определяет вынесение логического управления в отдельный класс. Примером применения систем логического...
Унитарный код (в англоязычной литературе unitary code, one-hot) — двоичный код фиксированной длины, содержащий только одну 1 — прямой унитарный код или только один 0 — обратный (инверсный) унитарный код. Длина кода определяется количеством кодируемых объектов, то есть каждому объекту соответствует отдельный разряд кода, а значение кода положением 1 или 0 в кодовом слове.
Метод Оцу (англ. Otsu's method) — это алгоритм вычисления порога бинаризации для полутонового изображения, используемый в области компьютерного распознавания образов и обработки изображений для получения чёрно-белых изображений.
Усто́йчивое распределе́ние в теории вероятностей — это такое распределение, которое может быть получено как предел по распределению сумм независимых случайных величин.
Вычислительная среда (англ. computational environment) — это совокупность объектов, участвующих в вычислениях, причем каждый раз требуется определение того, что считается объектом, и что понимается под вычислениями, то есть трактовка этих терминов зависит от контекста употребления. Так, например, в программной инженерии под вычислительной средой понимается совокупность программных компонентов и сервисов, интегрируемых в рамках одного приложения (реализующего некоторый процесс в определенной предметной...
Векторизация (в параллельных вычислениях) — вид распараллеливания программы, при котором однопоточные приложения, выполняющие одну операцию в каждый момент времени, модифицируются для выполнения нескольких однотипных операций одновременно.
Недоказу́емые утвержде́ния в какой-либо теории — утверждения, которые нельзя ни доказать, ни опровергнуть в рамках этой теории. Теорема Гёделя о неполноте говорит, что в каждой достаточно сложной непротиворечивой теории, включающей в себя формальную арифметику, имеется недоказуемое утверждение. Однако нахождение достаточно простых утверждений такого рода и доказательство их недоказуемости — сложная задача.
Разбиение единицы — конструкция, используемая в топологии для удобства работы с многообразием как множеством карт.
Интеграл Пуанкаре — Картана - относительный интегральный инвариант первого порядка для классической динамической системы в потенциальном поле (интегральный инвариант Пуанкаре-Картана).
Алгоритмы построения отрезка — графические алгоритмы аппроксимации отрезка на дискретном графическом устройстве (растеризации), например, мониторе или принтере.
Фундаментальная система решений (ФСР) системы линейных однородных уравнений (алгебраических или дифференциальных) — максимальный (то есть содержащий наибольшее возможное число элементов) набор линейно независимых решений этой системы.
Принцип разделимости (или принцип отделимости) — один из принципов доказательств в математике, основанный на том, что некоторые не пересекающиеся множества могут быть некоторым образом разделены в пространстве. Являясь всего лишь принципом (а не аксиомой), принцип разделимости требует доказательства обоснованности применения в каждом конкретном случае.
Последовательное квадратичное программирование (англ. Sequential quadratic programming (SQP)) — один из наиболее распространённых и эффективных оптимизационных алгоритмов общего назначения, основной идеей которого является последовательное решение задач квадратичного программирования, аппроксимирующих данную задачу оптимизации. Для оптимизационных задач без ограничений алгоритм SQP преобразуется в метод Ньютона поиска точки, в которой градиент целевой функции обращается в ноль. Для решения исходной...
Метод группового учёта аргументов (МГУА) — семейство индуктивных алгоритмов для математического моделирования мультипараметрических данных. Метод основан на рекурсивном селективном отборе моделей, на основе которых строятся более сложные модели. Точность моделирования на каждом следующем шаге рекурсии увеличивается за счет усложнения модели.
Супероператор — оператор, действующий на множестве операторов. Часто под супероператором подразумевают морфизм множества операторов, наделенного структурой линейного пространства.
Случайная перестановка — это случайное упорядочение множества объектов, то есть случайная величина, элементарными событиями которой являются перестановки. Использование случайных перестановок зачастую является базой в областях, использующих рандомизированные алгоритмы. К таким областям относятся теория кодирования, криптография и моделирование. Хорошим примером случайной перестановки является тасование колоды карт.
Подробнее: Случайные перестановки
В математике, особенно при изучении динамических систем, под понятием бифуркационная диаграмма подразумевают изображение на рисунке смены возможных динамических режимов системы (равновесных состояний, стационарных точек, периодических орбит и пр.) при изменении значения бифуркационного параметра.
Подробнее: Бифуркационная диаграмма
Алгоритм Гёрцеля (англ. Goertzel algorithm) — это специальная реализация дискретного преобразования Фурье (ДПФ) в форме рекурсивного фильтра. Данный алгоритм был предложен Джеральдом Гёрцелем в 1958 году. В отличие от быстрого преобразования Фурье, вычисляющего все частотные компоненты ДПФ, алгоритм Гёрцеля позволяет эффективно вычислить значение одного частотного компонента.
Кванти́ли распределе́ния Стью́дента (коэффициенты Стьюдента) — числовые характеристики, широко используемые в задачах математической статистики, таких как построение доверительных интервалов и проверка статистических гипотез.
В
интегрировании, разложение дробей позволяет интегрировать рациональные функции. Любая рациональная функция может быть представлена в виде суммы некоторого многочлена и некоторого числа дробных функций. Каждая дробь имеет знаменатель в виде многочлена первой или второй степени, причём многочлен в знаменателе, в свою очередь, также может быть возведён в некоторую положительную целую степень. (В случае комплексной переменной, знаменатели являются многочленами первой степени, и эти многочлены могут...
Машинный ноль (Машинный нуль) — числовое значение с таким отрицательным порядком, которое воспринимается машиной как ноль.
Домен в реляционной модели данных — тип данных, то есть множество допустимых значений.
Задача Робена, задача Ньютона, третья краевая задача, задача импедансного типа — разновидность краевой задачи для дифференциальных уравнений. Названа в честь французского математика Виктора Робена и британского физика Исаака Ньютона.
Случайные числа — искусственно полученная последовательность реализаций случайной величины с заданным законом распределения.
Стандартные ошибки в форме Ньюи-Уеста или состоятельные при гетероскедастичности и автокорреляции стандартные ошибки (HAC s.e. — Heteroskedasticity and Autocorrelation consistent standard errors) — применяемая в эконометрике оценка ковариационной матрицы МНК-оценок (в частности и стандартных ошибок) параметров линейной модели регрессии, альтернативная стандартной (классической) оценке, которая состоятельна при гетероскедастичности и автокорреляции случайных ошибок модели (в отличие от несостоятельной...
Алгоритм Левенберга — Марквардта — метод оптимизации, направленный на решение задач о наименьших квадратах. Является альтернативой методу Ньютона. Может рассматриваться как комбинация последнего с методом градиентного спуска или как метод доверительных областей. Алгоритм был сформулирован независимо Левенбергом (1944) и Марквардтом (1963).
Уравнение эйконала (от др.-греч. εἰκών — изображение) — нелинейное дифференциальное уравнение в частных производных, встречающееся в задачах распространения волн, когда волновое уравнение аппроксимируется с помощью квазиклассического приближения.
Мнимая точность, также ложная, кажущаяся, избыточная то́чность (англ. spurious accuracy) — ошибка мнения о точности данных, возникающая на основании представления данных в более точном виде, чем известно об их точности.
Парадокс Берри — парадокс самореференции, заключённый во фразе «наименьшее натуральное число, которое нельзя описать менее чем заданным количеством слов» (англ. «the smallest possible integer not definable by a given number of words»). Впервые парадокс опубликован Бертраном Расселлом, приписав его авторство Дж. Дж. Берри (1867—1928), младшему библиотекарю Бодлианской библиотеки в Оксфорде. Считается, что Берри нашёл лишь частный случай парадокса — «первое неопределяемое порядковое» (англ. the first...
Алгебра множеств в теории множеств — это непустая система подмножеств, замкнутая относительно операций дополнения (разности) и объединения (суммы).
Метод конечных объёмов (в русскоязычной литературе метод контрольных объёмов) — численный метод интегрирования систем дифференциальных уравнений в частных производных.
Экспоненциальный код Голомба порядка k — это универсальный код, параметризованный целым числом k. Разработан Соломоном Голомбом. Для кодирования неотрицательного числа в экспоненциальный код Голомба порядка k можно использовать следующий метод...
Квантовая нормализация — в математике и приложениях довольно общий метод нахождения глобального минимума некоторой заданной функции среди некоторого набора решений-кандидатов. Преимущественно используется для решения задач, где поиск происходит по дискретному множеству с множеством локальных минимумов.
Подробнее: Квантовый отжиг
Вероятностный автомат — устройство или система, в которых переход из одного состояния в другое происходит в зависимости от случайных входных сигналов или в зависимости от последовательности предыдущих состояний.
'
Обобщённое нормальное (обобщённое гауссовское) распределение' есть одно из двух параметрических семейств абсолютно непрерывных вероятностных распределений на действительной прямой. Два подхода к определению данного семейства распределений обозначаются далее как «подход 1» и «подход 2». Однако данные наименования не являются общепринятыми.
Инвариант цикла — в программировании — логическое выражение, истинное после каждого прохода тела цикла (после выполнения фиксированного оператора) и перед началом выполнения цикла, зависящее от переменных, изменяющихся в теле цикла. Инварианты используются в теории верификации программ для доказательства правильности результата, полученного циклическим алгоритмом.
Совершенный сплайн — одномерный полиномиальный сплайн порядка M, производная M-го порядка которого равна +1 или −1 между узлами и меняет знак в каждом узле. Используется в математической теории функций и численном анализе. Термин был введён Исааком Шёнбергом.
В теории категорий, классификатор подобъектов — специальный объект Ω категории; интуитивно, подобъекты X соответствуют морфизмам из X в Ω. Способ, которым он «классифицирует» объекты можно описать как присвоение некоторым элементам X значения «истина».
Сортировка Шелла (англ. Shell sort) — алгоритм сортировки, являющийся усовершенствованным вариантом сортировки вставками. Идея метода Шелла состоит в сравнении элементов, стоящих не только рядом, но и на определённом расстоянии друг от друга. Иными словами — это сортировка вставками с предварительными «грубыми» проходами. Аналогичный метод усовершенствования пузырьковой сортировки называется сортировка расчёской.