- •ПРЕДИСЛОВИЕ
- •ОПРЕДЕЛЕНИЕ И НАЗНАЧЕНИЕ МОДЕЛИРОВАНИЯ
- •1.1. ЧТО ТАКОЕ МОДЕЛЬ?
- •Место моделирования среди методов познания
- •Определение модели
- •Определение модели
- •Цели моделирования
- •1.2. КЛАССИФИКАЦИЯ МОДЕЛЕЙ
- •Материальное моделирование
- •Идеальное моделирование
- •Когнитивные, концептуальные и формальные модели
- •1.3. Классификация математических моделей
- •Классификационные признаки
- •Классификация математических моделей в зависимости от оператора модели
- •Классификация математических моделей в зависимости от целей моделирования (рис. 1.11)
- •Классификация математических моделей в зависимости от методов реализации (рис. 1.12)
- •Задания для самостоятельного выполнения
- •Глава 2
- •ЭТАПЫ ПОСТРОЕНИЯ МАТЕМАТИЧЕСКОЙ МОДЕЛИ
- •2.1. ОБСЛЕДОВАНИЕ ОБЪЕКТА МОДЕЛИРОВАНИЯ
- •2.2. КОНЦЕПТУАЛЬНАЯ ПОСТАНОВКА ЗАДАЧИ МОДЕЛИРОВАНИЯ
- •2.3. МАТЕМАТИЧЕСКАЯ ПОСТАНОВКА ЗАДАЧИ МОДЕЛИРОВАНИЯ
- •2.4. ВЫБОР И ОБОСНОВАНИЕ ВЫБОРА МЕТОДА РЕШЕНИЯ ЗАДАЧИ
- •stop
- •2.5. РЕАЛИЗАЦИЯ МАТЕМАТИЧЕСКОЙ МОДЕЛИ В ВИДЕ ПРОГРАММЫ ДЛЯ ЭВМ
- •2.6. ПРОВЕРКА АДЕКВАТНОСТИ МОДЕЛИ
- •2.7. ПРАКТИЧЕСКОЕ ИСПОЛЬЗОВАНИЕ ПОСТРОЕННОЙ МОДЕЛИ И АНАЛИЗ РЕЗУЛЬТАТОВ МОДЕЛИРОВАНИЯ
- •Задания для самостоятельного выполнения
- •ПРИМЕРЫ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ
- •3.1. СТАТИЧЕСКИЙ АНАЛИЗ КОНСТРУКЦИЙ
- •Содержательная постановка задачи
- •Концептуальная постановка задачи
- •Математическая постановка задачи
- •Решение задачи
- •Анализ результатов
- •Концептуальная постановка
- •Математическая постановка задачи
- •Методика решения задачи
- •Анализ результатов
- •3.3. ДИНАМИКА ПОПУЛЯЦИИ
- •Содержательная постановка задачи
- •Концептуальная постановка задачи
- •Решение задачи
- •Анализ результатов
- •Математическая постановка задачи для модели Ферхюльста
- •Решение задачи
- •Анализ результатов
- •Численное исследование модели Ферхюльста
- •3.4. МОДЕЛЬ КОНКУРЕНЦИИ ДВУХ ПОПУЛЯЦИЙ
- •Математическая постановка задачи
- •Качественный анализ задачи
- •Численное исследование модели конкуренции популяций
- •3.5. ГАРМОНИЧЕСКИЙ ОСЦИЛЛЯТОР
- •Содержательная постановка задачи
- •Концептуальная постановка задачи
- •Математическая постановка задачи
- •Решение задачи
- •Качественный анализ задачи
- •Численное исследование модели
- •Качественный анализ задачи
- •Решение задачи
- •Задания для самостоятельного выполнения
- •Глава 4
- •СТРУКТУРНЫЕ МОДЕЛИ
- •4.1. ЧТО ТАКОЕ СТРУКТУРНАЯ МОДЕЛЬ?
- •4.2. СПОСОБЫ ПОСТРОЕНИЯ СТРУКТУРНЫХ МОДЕЛЕЙ
- •4.3. ПРИМЕРЫ СТРУКТУРНЫХ МОДЕЛЕЙ
- •Задания для самостоятельного выполнения
- •МОДЕЛИРОВАНИЕ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ
- •5.1. ПРИЧИНЫ ПОЯВЛЕНИЯ НЕОПРЕДЕЛЕННОСТЕЙ И ИХ ВИДЫ
- •5.2. МОДЕЛИРОВАНИЕ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ, ОПИСЫВАЕМОЙ С ПОЗИЦИЙ ТЕОРИИ НЕЧЕТКИХ МНОЖЕСТВ
- •5.3. МОДЕЛИРОВАНИЕ В УСЛОВИЯХ СТОХАСТИЧЕСКОЙ НЕОПРЕДЕЛЕННОСТИ
- •5.4. МОДЕЛИРОВАНИЕ МАРКОВСКИХ СЛУЧАЙНЫХ ПРОЦЕССОВ
- •Задания для самостоятельного выполнения
- •ЛИНЕЙНЫЕ И НЕЛИНЕЙНЫЕ ЯВЛЕНИЯ
- •6.1. О ЗАКОНЕ ГУКА И ГРАНИЦАХ ЛИНЕЙНОСТИ
- •6.3. О ПОСТРОЕНИИ СПЛОШНЫХ МОДЕЛЕЙ. ВЫВОД ВОЛНОВОГО УРАВНЕНИЯ ИЗ ЗАКОНОВ МЕХАНИКИ
- •6.4. РЕШЕНИЕ ВОЛНОВОГО УРАВНЕНИЯ МЕТОДОМ ФУРЬЕ
- •6.6. УРАВНЕНИЯ МАКСВЕЛЛА
- •6.7. О КЛАССИФИКАЦИИ КВАЗИЛИНЕЙНЫХ СИСТЕМ
- •6.8. СВЯЗЬ НЕПРЕРЫВНОГО И ДИСКРЕТНОГО НА ПРИМЕРАХ УРАВНЕНИЯ КОЛЕБАНИЙ СТРУНЫ И УРАВНЕНИЯ ШРЕДИНГЕРА
- •6.9. О ПОЛЬЗЕ ФЕНОМЕНОЛОГИИ ПРИ ПОСТРОЕНИИ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ
- •6.10. АНАЛИЗ ПОДОБИЯ И РАЗМЕРНОСТИ
- •6.11. АВТОМОДЕЛЬНОСТЬ
- •6.12. САМООРГАНИЗАЦИЯ И СТРУКТУРЫ В НЕЛИНЕЙНЫХ СРЕДАХ
- •6.13. О НЕЛИНЕЙНЫХ ВОЛНАХ В СПЛОШНЫХ СРЕДАХ
- •6.14. ИЕРАРХИЧЕСКИЕ МОДЕЛИ ТУРБУЛЕНТНОСТИ И МНОГОМАСШТАБНЫЕ ФУНКЦИОНАЛЬНЫЕ БАЗИСЫ
- •Иерархический базис для турбулентных полей
- •Одномерный иерархический базис
- •Двумерный базис
- •6.15. ВЕЙВЛЕТЫ
- •Непрерывное вейвлет-преобразование
- •6.16. ВЕЙВЛЕТ-АНАЛИЗ ВРЕМЕННЫХ КОЛЕБАНИЙ
- •6.17. О ФРАКТАЛАХ И ИХ ПРИМЕНЕНИИ
- •Примеры фракталов
- •Подобие и скейлинг
- •Множества Мандельброта и Жюлиа
- •Фрактальная размерность кластеров
- •Экспериментальные методы определения фрактальной размерности
- •Модель случайных фракталов для описания растущих дендритных структур
- •Результаты применения модели случайных фракталов
- •6.18. НЕЛИНЕЙНЫЕ МОДЕЛИ ДНК
- •Структура и физические свойства ДНК
- •Модель Пейрара-Бишопа
- •Задания для самостоятельного выполнения
- •Глава 7
- •7.2. ИМИТАТОР СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ
- •7.3. КЛЕТОЧНЫЕ АВТОМАТЫ
- •7.4. МОДЕЛИРОВАНИЕ ДИСЛОКАЦИЙ В МЕТАЛЛЕ
- •Самоорганизация дислокаций в модели клеточных автоматов
- •Задания для самостоятельного выполнения
- •ЯЗЫК ФОРМАЛЬНОГО ОПИСАНИЯ АЛГОРИТМОВ
- •====== Приложение 2
- •П2.1. Решение уравнений высоких степеней и трансцендентных уравнений с одним неизвестным
- •П2.2. Решение систем линейных уравнений
- •БИБЛИОГРАФИЧЕСКИЙ СПИСОК
- •ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
- •ОГЛАВЛЕНИЕ
- •Введение в математическое моделирование
Рис. 6.4.Распространение ударной волны при ядерном взрыве: а —после
довательные фотографии огненного шара; б — опытные данные (из кино фильма) располагаются на прямой автомодельного решения [9 7 ]
ной его гипотенузы с и для определенности меньшим из его ост рых углов <р, причем из анализа размерности следует S= (Pf(<р), где / —функция, значения которой безразмерны. Высота, перпенди кулярная гипотенузе, разбивает основной треугольник на два по добных ему прямоугольных треугольника. Очевидно, что их пло
щади Sl =a2f ( <р), S2 =b2f(q>), где /(<р) - та же, что и в случае ос
новного треугольника. Но поскольку |
+ 52 = S, то |
а2/(ср) + Z>2/(<p) = с2/(<р), откуда следует, что а2 + Ь2 = с2.
6.11. АВТОМОДЕЛЬНОСТЬ
П ерсонаж и обязаны |
подчиняться законам |
м ира, в котором ж ивут . |
То есть писатель — |
пленник собственных предпосылок.
У. Эко
В различных областях математической физики (задачах гидро динамики, переноса тепла, диффузии, химической кинетики) по являются своеобразные частные решения, которые при изменении
времени преобразуются одно из другого по правилу подобия. Для функции пространственной и временной переменных такое реше ние имеет вид
Д х, t) = tag(fix) |
(6.49) |
и инвариантно относительно преобразования t->t+bt, |
х->х/бР, |
/ -» baf , образующего мультипликативную группу. В геометрии такое преобразование называется аффинным. Само решение (6.49) называется автомодельным [7, 41].
В ранее рассмотренном автомодельном решении (6.40) волно вого уравнения подобие сводится к параллельному переносу на чального профиля и не связано с изменением масштаба. В таком решении аргумент x±at =const, устойчивый относительно преоб разований трансляции t-*t+ b, x -* x -a b , образующих аддитив ную группу, может быть приведен к виду (6.49) с помощью заме ны х = Inх, / = In/: х?*®. Показатель степени Р=±а в (6.49) назы вается показателем автомодельности.
Наиболее важное свойство автомодельного решения состоит в том, что зависимость от аргументов входит через единственный комплекс. Поэтому подставляя (6.49) в уравнение в частных про изводных, получаем обыкновенное дифференциальное уравнение. Его интегрирование существенно проще нахождения решения на чально-граничной задачи.
В сложных нелинейных задачах получение таких решений за частую остается единственно возможным средством «пробиться» через аналитические трудности и обрести понимание качествен ных особенностей явления. При обработке опытных данных авто модельность приводит к тому, что, казалось бы, беспорядочное в обычных координатах «облако» опытных точек располагается на единой кривой или поверхности, построенной в автомодельных координатах. Автомодельность привлекает внимание и как глубо кий физический факт, свидетельствующий о наличии определен ного типа стабилизации исследуемых процессов, имеющей место для достаточно широкого круга начальных и/или граничных усло вий.
Получим автомодельное решение линейного параболического уравнения диффузии [41]
Эр_,,Э2р
(6.50)
Э/ Эх2’
где р —плотность массы; к —коэффициент диффузии. Использу ем для построения автомодельного решения анализ подобия и раз мерности. Решение не может зависеть от естественного произво ла в выборе основных единиц измерения и, как следует из анали за размерности, должно представляться в виде функции единственно возможного безразмерного комплекса s = x^/ikt). По этому будем искать решение в виде
Р = tag kt |
(6.51) |
т.е. нам остается определить показатель а и функцию g. Показатель степени находится из закона сохранения масс
Jpdx = т : |
|
|
9 |
\ |
ds =const. |
J tag X1 |
dx = I tag(s)-JE-^==-fkta+l/ 2J |
откуда a = —1/2 (почему?).
Подставляя решение (6.51) в (6.50), придем к соотношению
~g(s) - -£■ т = 4-?'(s) + g'(s) <=> Ssg'(s) + (2s+4)g'(*) + g(s) = 0.
Обыкновенные линейные дифференциальные уравнения вто рого порядка с переменными коэффициентами редко интегриру ются в квадратурах, но оператор в нашем случае оказывается представимым в виде произведения двух дифференциальных опе раторов первого порядка: (2sD+l)(4ZH-l)g = О, где D означает опе рацию дифференцирования. Интегрируя уравнение(2 sD + 1 ) /= 0
по частям, получаем / = B/yfs. Возвращаясь к функции g, будем
иметь для нее уравнение (4D+\)g = B/-Js o 4 g ' + g = В/-Is, реше ние которого
g(s) = С ех р Н /4 )+je x p (-j/4 )J -L exp(z/4)<fc 4
состоит из двух линейно независимых функций:
S j
g^s) - exp(-s/4)f-=exp(s/4)<fc, £2(<г) = exp(-s/4). 0 V5
10Введение в матемЙТНческое моделирование
Можно показать, что первое из решений приводит к отрица тельным значениям для плотности массы на хе [—°°,0], что не имеет физического смысла, а второе решение вполне пригодно:
р(х,г)=г1/ 2ехр |
(6.52) |
Графики полученного автомодельного решения в некоторые последовательные моменты времени показаны на рис. 6.5. При
/ - > 0 и х * 0 имеем р -» 0 , а при / - » 0 и х = 0 имеем р -»«>, что
видно из рис. 6.5. В пределе получаем функцию, равную нулю всюду, кроме точки х = 0 , и бесконечности в этой точке, причем
J p(x,+0)dx = m, т.е. уже встречавшуюся нам дельта-функцию:
р(х,+0) ~ тЬ(х).
Так как масса т вещества сохраняется, решение (6.52) описы вает эволюцию сгустка частиц, первоначально находящегося в на чале координат. В пределе при t -» ~ получаем равномерно «раз мазанное» по оси х поле р -»0 (тенденция эта видна из рис. 6.5), однако суммарная масса вещества остается равной т.
В разобранной задаче показатель автомодельности Р в (6.49) был найден из соображений размерности. Решения, для которых этот показатель определяется на основании законов сохранения либо размерности, Я.Б. Зельдович отнес к автомодельным реше