stringtranslate.com

Математическая модель

Математическая модель — это абстрактное описание конкретной системы с использованием математических понятий и языка . Процесс разработки математической модели называется математическим моделированием . Математические модели используются в прикладной математике и естественных науках (таких как физика , биология , науки о Земле , химия ) и инженерных дисциплинах (таких как информатика , электротехника ), а также в нефизических системах, таких как социальные науки. [1] (например , экономика , психология , социология , политология ). Его также можно преподавать как отдельный предмет. [2]

Использование математических моделей для решения задач в деловых или военных операциях составляет значительную часть области исследования операций . Математические модели также используются в музыке , [3] лингвистике , [4] и философии (например, интенсивно в аналитической философии ). Модель может помочь объяснить систему, изучить влияние различных компонентов и сделать прогнозы относительно поведения.

Элементы математической модели

Математические модели могут принимать различные формы, включая динамические системы , статистические модели , дифференциальные уравнения или модели теории игр . Эти и другие типы моделей могут перекрываться, при этом данная модель включает в себя множество абстрактных структур. В общем, математические модели могут включать в себя логические модели . Во многих случаях качество научной области зависит от того, насколько хорошо математические модели, разработанные с теоретической стороны, согласуются с результатами повторяемых экспериментов. Отсутствие согласия между теоретическими математическими моделями и экспериментальными измерениями часто приводит к важным достижениям по мере разработки более совершенных теорий. В физических науках традиционная математическая модель содержит большую часть следующих элементов:

  1. Основные уравнения
  2. Дополнительные подмодели
    1. Определение уравнений
    2. Определяющие уравнения
  3. Предположения и ограничения
    1. Начальные и граничные условия
    2. Классические ограничения и кинематические уравнения

Классификации

Математические модели бывают разных типов:

Строительство

В бизнесе и технике математические модели могут использоваться для максимизации определенного результата. Рассматриваемая система потребует определенных входных данных. Система, связывающая входные данные и выходные данные, зависит также и от других переменных: переменных решения , переменных состояния , экзогенных переменных и случайных величин . Переменные решения иногда называют независимыми переменными. Экзогенные переменные иногда называют параметрами или константами . Переменные не являются независимыми друг от друга, поскольку переменные состояния зависят от решения, входных, случайных и экзогенных переменных. Более того, выходные переменные зависят от состояния системы (представленного переменными состояния).

Цели и ограничения системы и ее пользователей могут быть представлены как функции выходных переменных или переменных состояния. Целевые функции будут зависеть от точки зрения пользователя модели. В зависимости от контекста целевую функцию также называют индексом производительности , поскольку она представляет собой некоторую меру, представляющую интерес для пользователя. Хотя нет ограничений на количество целевых функций и ограничений, которые может иметь модель, использование или оптимизация модели становится более сложной (в вычислительном отношении) по мере увеличения числа. Например, экономисты часто применяют линейную алгебру при использовании моделей «затраты-выпуск» . Сложные математические модели со многими переменными можно объединить с помощью векторов , где один символ представляет несколько переменных.

Априорная информация

Чтобы проанализировать что-либо с помощью типичного подхода «черного ящика», будет учитываться только поведение стимула/реакции, чтобы сделать вывод о (неизвестном) ящике . Обычное представление этой системы «черного ящика» — это диаграмма потока данных , центрированная в ящике.

Задачи математического моделирования часто подразделяются на модели «черного ящика» или «белого ящика» в зависимости от того, сколько априорной информации о системе доступно. Модель черного ящика – это система, о которой нет априорной информации. Модель «белого ящика» (также называемая «стеклянным ящиком» или «прозрачным ящиком») — это система, в которой доступна вся необходимая информация. Практически все системы находятся где-то между моделями «черного ящика» и «белого ящика», поэтому эта концепция полезна только как интуитивное руководство для принятия решения о том, какой подход выбрать.

Обычно предпочтительно использовать как можно больше априорной информации, чтобы сделать модель более точной. Поэтому модели белого ящика обычно считаются более простыми, поскольку если вы правильно использовали информацию, то и модель будет вести себя правильно. Часто априорная информация приходит в форме знания типа функций, связывающих различные переменные. Например, если мы создадим модель того, как лекарство действует в организме человека, мы знаем, что обычно количество лекарства в крови представляет собой экспоненциально убывающую функцию, но у нас все еще остается несколько неизвестных параметров; как быстро распадается количество лекарства и каково первоначальное количество лекарства в крови? Таким образом, этот пример не является полностью моделью «белого ящика». Прежде чем можно будет использовать модель, эти параметры необходимо оценить каким-либо образом.

В моделях черного ящика пытаются оценить как функциональную форму отношений между переменными, так и числовые параметры в этих функциях. Используя априорную информацию, мы могли бы, например, получить набор функций, которые, вероятно, могли бы адекватно описать систему. Если априорная информация отсутствует, мы попытаемся использовать как можно более общие функции, чтобы охватить все различные модели. Часто используемый подход для моделей черного ящика — это нейронные сети , которые обычно не делают предположений о входящих данных. В качестве альтернативы для выбора членов модели, определения структуры модели и оценки неизвестных параметров при наличии коррелированный и нелинейный шум. Преимущество моделей NARMAX по сравнению с нейронными сетями заключается в том, что NARMAX создает модели, которые можно записать и связать с основным процессом, тогда как нейронные сети создают непрозрачное приближение.

Субъективная информация

Иногда полезно включить субъективную информацию в математическую модель. Это можно сделать на основе интуиции , опыта или экспертного мнения , либо исходя из удобства математической формы. Байесовская статистика обеспечивает теоретическую основу для включения такой субъективности в строгий анализ: мы указываем априорное распределение вероятностей (которое может быть субъективным), а затем обновляем это распределение на основе эмпирических данных.

Примером того, когда такой подход может быть необходим, является ситуация, в которой экспериментатор слегка сгибает монету и подбрасывает ее один раз, фиксируя, выпадет ли она орелом, а затем ему дается задача предсказать вероятность того, что при следующем подбрасывании выпадет орел. После сгибания монеты истинная вероятность того, что монета выпадет орлом, неизвестна; поэтому экспериментатору нужно будет принять решение (возможно, глядя на форму монеты) о том, какое предварительное распределение использовать. Включение такой субъективной информации может оказаться важным для получения точной оценки вероятности.

Сложность

В общем, сложность модели предполагает компромисс между простотой и точностью модели. Бритва Оккама — это принцип, особенно актуальный для моделирования, его основная идея заключается в том, что среди моделей с примерно одинаковой предсказательной силой самая простая является наиболее желательной. Хотя дополнительная сложность обычно повышает реалистичность модели, она может затруднить понимание и анализ модели, а также может создать вычислительные проблемы, включая числовую нестабильность . Томас Кун утверждает, что по мере развития науки объяснения становятся все более сложными, прежде чем смена парадигмы приведет к радикальному упрощению. [9]

Например, при моделировании полета самолета мы могли бы встроить каждую механическую часть самолета в нашу модель и, таким образом, получить модель системы почти «белого ящика». Однако вычислительные затраты на добавление такого огромного количества деталей фактически препятствовали бы использованию такой модели. Кроме того, неопределенность увеличится из-за слишком сложной системы, поскольку каждая отдельная часть вносит в модель некоторую дисперсию. Поэтому обычно уместно сделать некоторые приближения, чтобы уменьшить модель до разумного размера. Инженеры часто могут принять некоторые приближения, чтобы получить более надежную и простую модель. Например, классическая механика Ньютона представляет собой приближенную модель реального мира. Тем не менее, модели Ньютона вполне достаточно для большинства ситуаций обычной жизни, то есть до тех пор, пока скорости частиц значительно ниже скорости света и мы изучаем только макрочастицы. Обратите внимание, что более высокая точность не обязательно означает лучшую модель. Статистические модели склонны к переоснащению , что означает, что модель слишком сильно подстраивается под данные и теряет способность обобщать новые события, которые ранее не наблюдались.

Обучение, настройка и установка

Любая модель, не являющаяся чисто «белым ящиком», содержит некоторые параметры , которые можно использовать для соответствия модели системе, которую она призвана описывать. Если моделирование выполняется с помощью искусственной нейронной сети или другого машинного обучения , оптимизация параметров называется обучением , а оптимизация гиперпараметров модели называется настройкой и часто использует перекрестную проверку . [10] При более традиционном моделировании с помощью явно заданных математических функций параметры часто определяются путем подбора кривой . [ нужна цитата ]

Оценка и оценка

Важнейшей частью процесса моделирования является оценка того, точно ли данная математическая модель описывает систему. На этот вопрос может быть сложно ответить, поскольку он включает в себя несколько различных типов оценки.

Прогнозирование эмпирических данных

Обычно самая простая часть оценки модели — это проверка того, предсказывает ли модель экспериментальные измерения или другие эмпирические данные, не используемые при разработке модели. В моделях с параметрами общий подход состоит в том, чтобы разделить данные на два непересекающихся подмножества: данные обучения и данные проверки. Данные обучения используются для оценки параметров модели. Точная модель будет точно соответствовать данным проверки, даже если эти данные не использовались для установки параметров модели. В статистике эта практика называется перекрестной проверкой .

Определение метрики для измерения расстояний между наблюдаемыми и прогнозируемыми данными является полезным инструментом для оценки соответствия модели. В статистике, теории принятия решений и некоторых экономических моделях функция потерь играет аналогичную роль. Хотя проверить соответствие параметров довольно просто, проверить достоверность общей математической формы модели может быть сложнее. В целом для проверки соответствия статистических моделей было разработано больше математических инструментов, чем моделей, включающих дифференциальные уравнения . Инструменты непараметрической статистики иногда можно использовать для оценки того, насколько хорошо данные соответствуют известному распределению, или для создания общей модели, которая делает лишь минимальные предположения о математической форме модели.

Область применения модели

Оценка области применения модели, то есть определение того, к каким ситуациям модель применима, может оказаться менее простой задачей. Если модель была построена на основе набора данных, необходимо определить, для каких систем или ситуаций известные данные являются «типичным» набором данных. Вопрос о том, хорошо ли модель описывает свойства системы между точками данных, называется интерполяцией , а тот же вопрос для событий или точек данных за пределами наблюдаемых данных называется экстраполяцией .

В качестве примера типичных ограничений объема модели при оценке классической механики Ньютона можно отметить, что Ньютон проводил свои измерения без современного оборудования, поэтому он не мог измерять свойства частиц, движущихся со скоростями, близкими к скорости света. Точно так же он измерял не движения молекул и других мелких частиц, а только макрочастиц. Поэтому неудивительно, что его модель плохо экстраполируется в эти области, хотя его модели вполне достаточно для обычной физики жизни.

Философские соображения

Многие типы моделирования неявно включают утверждения о причинно-следственной связи . Обычно (но не всегда) это справедливо для моделей, включающих дифференциальные уравнения. Поскольку целью моделирования является улучшение нашего понимания мира, достоверность модели зависит не только от ее соответствия эмпирическим наблюдениям, но и от ее способности экстраполировать ситуации или данные, выходящие за рамки первоначально описанных в модели. Можно думать об этом как о различии между качественными и количественными предсказаниями. Можно также утверждать, что модель бесполезна, если она не дает некоторого понимания, выходящего за рамки того, что уже известно в результате прямого исследования изучаемого явления.

Примером такой критики является утверждение о том, что математические модели теории оптимального кормодобывания не дают понимания, выходящего за рамки здравых выводов эволюции и других основных принципов экологии. [11] Следует также отметить, что, хотя математическое моделирование использует математические концепции и язык, оно само по себе не является отраслью математики и не обязательно соответствует какой-либо математической логике , а обычно является ветвью какой-либо науки или другого технического предмета, с соответствующие понятия и стандарты аргументации. [2]

Значение в естественных науках

Математические модели имеют большое значение в естественных науках, особенно в физике . Физические теории почти всегда выражаются с использованием математических моделей. На протяжении всей истории разрабатывались все более точные математические модели. Законы Ньютона точно описывают многие повседневные явления, но в определенных пределах приходится использовать теорию относительности и квантовую механику .

В физике принято использовать идеализированные модели для упрощения вещей. Безмассовые веревки, точечные частицы, идеальные газы и частица в ящике — это одни из многих упрощенных моделей, используемых в физике. Законы физики представлены простыми уравнениями, такими как законы Ньютона, уравнения Максвелла и уравнение Шредингера . Эти законы являются основой для построения математических моделей реальных ситуаций. Многие реальные ситуации очень сложны и поэтому приблизительно моделируются на компьютере; модель, которую возможно вычислить с помощью вычислений, создается на основе основных законов или приближенных моделей, созданных на основе основных законов. Например, молекулы можно моделировать с помощью моделей молекулярных орбиталей , которые являются приближенными решениями уравнения Шредингера. В технике физические модели часто создаются с помощью математических методов, таких как анализ методом конечных элементов .

Различные математические модели используют разные геометрии, которые не обязательно точно описывают геометрию Вселенной. Евклидова геометрия широко используется в классической физике, а специальная теория относительности и общая теория относительности являются примерами теорий, использующих неевклидову геометрию .

Некоторые приложения

Часто, когда инженеры анализируют систему, которую нужно контролировать или оптимизировать, они используют математическую модель. В ходе анализа инженеры могут построить описательную модель системы как гипотезу о том, как система может работать, или попытаться оценить, как непредвиденное событие может повлиять на систему. Аналогичным образом, управляя системой, инженеры могут опробовать различные подходы к управлению в ходе моделирования .

Математическая модель обычно описывает систему с помощью набора переменных и набора уравнений, устанавливающих связи между переменными. Переменные могут быть разных типов; Например, действительные или целые числа, логические значения или строки . Переменные представляют некоторые свойства системы, например, измеряемые выходные данные системы, часто в форме сигналов , временных данных , счетчиков и возникновения событий. Фактическая модель представляет собой набор функций, которые описывают отношения между различными переменными.

Примеры

Диаграмма состояний для
где
  • и
  • определяется следующей таблицей перехода состояний :
Состояние означает, что на данный момент во входных данных было четное количество нулей, а означает нечетное число. 1 на входе не меняет состояние автомата. Когда ввод закончится, состояние покажет, содержало ли вход четное количество нулей или нет. Если входные данные содержали четное количество нулей, они завершатся в состоянии принятия, поэтому входная строка будет принята.
Язык, который распознается, — это регулярный язык , заданный регулярным выражением 1*( 0 (1*) 0 (1*) )*, где «*» — звезда Клини , например, 1* обозначает любое неотрицательное число (возможно, ноль) символов «1».
Обратите внимание, что эта модель предполагает, что частица представляет собой точечную массу, что, как известно, неверно во многих случаях, когда мы используем эту модель; например, как модель движения планет.

Смотрите также

Рекомендации

  1. ^ Сальтелли, Андреа; и другие. (июнь 2020 г.). «Пять способов гарантировать, что модели служат обществу: манифест». Природа . 582 (7813): 482–484. Бибкод : 2020Natur.582..482S. дои : 10.1038/d41586-020-01812-9. hdl : 1885/219031 . ПМИД  32581374.
  2. ^ аб Эдвардс, Дилвин; Хэмсон, Майк (2007). Руководство по математическому моделированию (2-е изд.). Нью-Йорк: ISBN Industrial Press Inc. 978-0-8311-3337-5.
  3. ^ Д. Тимочко, Геометрия музыки: гармония и контрапункт в расширенной общей практике (Оксфордские исследования в области теории музыки), Oxford University Press; Иллюстрированное издание (21 марта 2011 г.), ISBN 978-0195336672 
  4. ^ Андрас Корнаи, Математическая лингвистика (передовая обработка информации и знаний), Springer, ISBN 978-1849966948 
  5. ^ Андрески, Станислав (1972). Общественные науки как магия . Пресса Святого Мартина . ISBN 0-14-021816-5.
  6. ^ Трусделл, Клиффорд (1984). Беглые очерки идиота по науке . Спрингер. стр. 121–7. ISBN 3-540-90703-3.
  7. ^ Ли, К., Син, Ю., Хэ, Ф., и Ченг, Д. (2018). Стратегический алгоритм обучения для государственных игр. АрXiv.
  8. ^ Биллингс С.А. (2013), Идентификация нелинейной системы: методы NARMAX во временной, частотной и пространственно-временной областях , Wiley.
  9. ^ "Томас Кун". Стэнфордская энциклопедия философии . 13 августа 2004 года . Проверено 15 января 2019 г.
  10. ^ Торнтон, Крис. «Лекция по машинному обучению» . Проверено 6 февраля 2019 г.
  11. ^ Пайк, GH (1984). «Теория оптимального добывания пищи: критический обзор». Ежегодный обзор экологии и систематики . 15 : 523–575. doi : 10.1146/annurev.es.15.110184.002515.
  12. ^ «Определения терминологии ГИС MP» . ИНФОРМАЦИЯ О ЗЕМЛЕ Картирование мира . Проверено 27 января 2020 г.
  13. ^ Галлистел (1990). Организация обучения . Кембридж: MIT Press. ISBN 0-262-07113-4.
  14. ^ Уишоу, IQ; Хайнс, диджей; Уоллес, генеральный директор (2001). «Прямой расчет (интеграция путей) требует формирования гиппокампа: данные спонтанного исследования и задач пространственного обучения в светлых (аллотетических) и темных (идиотетических) тестах». Поведенческие исследования мозга . 127 (1–2): 49–69. дои : 10.1016/S0166-4328(01)00359-X. PMID  11718884. S2CID  7897256.

дальнейшее чтение

Книги

Конкретные приложения

Внешние ссылки

Общая ссылка

Философский