Метод рунге кутты 4 порядка c. После окончания вычисления программа выводит решение. Ресурс параллелизма алгоритма

Классический метод Рунге - Кутта 4 порядка

Тема 6.3. Метод Рунге-Кутгы

Методы Рунге - Кутта - важное семейство численных алгоритмов решения (систем) обыкновенных дифференциальных уравнений. Данные итеративные методы явного и неявного приближенного вычисления были разработаны около 1900 года немецкими математиками К. Рунге и М. В. Куттой.

Формально, методами Рунге - Кутта являются модифицированный и исправленный метод Эйлера, они представляют собой схемы второго порядка точности. Существуют стандартные схемы третьего порядка, не получившие широкого распространения. Наиболее часто используется и реализована в различных математических пакетах (Maple, MathCAD, Maxima) стандартная схема четвёртого порядка (см. ниже). Иногда при выполнении расчётов с повышенной точностью применяются схемы пятого и шестого порядков.

Метод Рунге - Кутта 4 порядка столь широко распространен, что его часто называют просто метод Рунге - Кутта.

Рассмотрим задачу Коши . Тогда значение в следующей точке вычисляется по формуле:

Величина шага сетки по .

Этот метод имеет 4 порядок, т.е. ошибка на каждом шаге составляет O(h5), а суммарная ошибка на конечном интервале интегрирования O(h4).

Семейство прямых методов Рунге - Кутта является обобщением метода Рунге - Кутта 4 порядка. Оно задается формулами

Конкретный метод определяется числом s и коэффициентами bi,aij и ci. Эти коэффициенты часто упорядочивают в таблицу

Пусть дано дифференциальное уравнение первого порядка с начальным условием y(x 0)=y 0. Выберем шаг h и введем обозначения:

x i = x 0 + ih и y i = y(x i), где i = 0, 1, 2, ... .

Аналогично описанному выше методу производится решение

дифференциального уравнения. Отличие состоит в делении шага на 4 части.

Согласно методу Рунге-Кутта четвертого порядка, последовательные значения y i искомой функции y определяются по формуле:

y i+1 = y i +?y i

где i = 0, 1, 2 ...

Y=(k1+2*k2+2*k3+k4)/6

a числа k1, k2 ,k3, k4 на каждом шаге вычисляются по формулам:

k1 = h*f(x i, y i)

k2 = f (x i +h/2, y i +k1 /2)*h

k3 = F(x i +h/2, y i +k2 /2)*h

k4 = F(x i +h, y i +k3)*h

Это явный четырехэтапный метод 4 порядка точности.

Блок-схема процедуры решения дифференциального уравнения методом Рунге-Кутта приведена на рисунке 6.

F(x, у) - заданная функция - должна быть описана отдельно.

Входные параметры:

Х0, XК - начальное и конечное

значения независимой

переменной;

Y0 - значение y 0 из начального условия

N - количество отрезков разбиения;

Выходные параметры:

Y - массив значений искомого решения

в узлах сетки.

Алгоритм решения задачи

Решение в MathCAD

Листинг программы на языке Visual Basic

Dim xr(), yr(), xe(), ye(), xo(), yo() As Single

Private x0, y0, h, xk, k1, k2, c, k3, k4, yd As Single

Private n, i As Integer

Public Function f(ByVal a, ByVal b) As Single

f = -(a - b) / a

Private Sub Button1_Click(ByVal sender As System.Object, ByVal e As System.EventArgs) Handles Button1.Click

x0 = Val(TextBox1.Text)

xk = Val(TextBox2.Text)

y0 = Val(TextBox4.Text)

h = Val(TextBox3.Text)

n = (xk - x0) / h

c = y0 / x0 + Math.Log(x0)

DataGridView1.ColumnCount = 4

DataGridView1.RowCount = n + 2

DataGridView1.Item(0, 0).Value = "x"

DataGridView1.Item(1, 0).Value = "Общее"

DataGridView1.Item(2, 0).Value = "Ейлер М"

DataGridView1.Item(3, 0).Value = "Рунге Кутт"

For i = 0 To n - 1

xe(i) = Math.Round((xe(0) + i * h), 2)

ye(i + 1) = ye(i) + h * f(xe(i) + h / 2, ye(i) + h / 2 * f(xe(i), ye(i)))

DataGridView1.Item(2, 1).Value = ye(0)

DataGridView1.Item(0, 1).Value = xe(0)

DataGridView1.Item(0, i + 1).Value = xe(i)

DataGridView1.Item(2, i + 1).Value = Str(ye(i))

For i = 0 To n - 1

xr(i) = Math.Round((xe(0) + i * h), 2)

k1 = h * f(xr(i), yr(i))

k2 = h * f(xr(i) + h / 2, yr(i) + k1 / 2)

k3 = h * f(xr(i) + h / 2, yr(i) + k2 / 2)

k4 = h * f(xr(i) + h, yr(i) + k3)

yd = (k1 + 2 * k2 + 2 * k3 + k4) / 6

yr(i + 1) = yr(i) + yd

DataGridView1.Item(3, 1).Value = yr(0)

DataGridView1.Item(3, i + 1).Value = Str(yr(i))

For i = 0 To n - 1

xo(i) = Math.Round((xe(0) + i * h), 2)

yo(i) = xo(i) * (c - Math.Log(xo(i)))

DataGridView1.Item(1, 1).Value = yo(0)

DataGridView1.Item(1, i + 1).Value = Str(yo(i))

Chart1.Series.Add("Общее решение")

Chart1.Series("Общее решение").ChartType = SeriesChartType.Line

For i = 0 To n - 1

Chart1.Series("Общее решение").Points.AddXY(xo(i), yo(i))

Chart1.Series("Общее решение").ChartArea = "ChartArea1"

Chart1.Series.Add("Эйлер М")

Chart1.Series("Эйлер М").ChartType = SeriesChartType.Point

For i = 0 To n - 1

Chart1.Series("Эйлер М").Points.AddXY(xe(i), ye(i))

Chart1.Series("Эйлер М").ChartArea = "ChartArea1"

Chart1.Series("Эйлер М").Color = Color.Blue

Chart1.Series.Add("Рунге Кутт")

Chart1.Series("Рунге Кутт").ChartType = SeriesChartType.Line

For i = 0 To n - 1

Chart1.Series("Рунге Кутт").Points.AddXY(xr(i), yr(i))

Chart1.Series("Рунге Кутт").ChartArea = "ChartArea1"

Chart1.Series("Рунге Кутт").Color = Color.Green

Решение задачи Коши для системы ОДУ методом Рунге-Кутты 4 порядка
Последовательный алгоритм
Последовательная сложность	4mn
Объём входных данных	m + 3
Объём выходных данных	(m+1)n
Параллельный алгоритм
Высота ярусно-параллельной формы	O(n)
Ширина ярусно-параллельной формы	O(m)

Основные авторы описания: А.А. Лесничий (1.1,1.2,1.3,1.4,1.5,1.6,1.7,1.8,1.9), Д.А. Алимов (1.1,1.7,1.10,2.4,2.7)

1 Свойства и структура алгоритма

1.1 Общее описание алгоритма

Метод Рунге-Кутты четвертого порядка - наиболее распространенный метод из семейства методов Метод Рунге-Кутты численных алгоритмов решения обыкновенных дифференциальных уравнений и их систем. Данные итеративные методы явного и неявного приближённого вычисления были разработаны около 1900 года немецкими математиками К. Рунге и М. В. Куттой.

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

y(x) = y_{0} + \int\limits_{x_{0}}^{x}f(t,y)dt,

то, применяя различные численные формулы для расчёта интеграла в правой части уравнения, можно получить методы Рунге - Кутты различных порядков.

Общий вид формул методов Рунге - Кутты с шагом сетки h_{n} :

y = f(t,y),\,\,\, y(t_{0}) = y_{0}, y_{n+1} = y_{n} + h_{n+1}\sum\limits_{i=1}^{s}b_{i}K_{n}^{i}, K_{n}^{i} = f(t_{n} + c_{i}h_{n+1}, y_{n} + h_{n+1}\sum\limits_{j=1}^{i-1}a_{ij}K_{n}^{j}).

Конкретный метод Рунге - Кутты определяется набором коэффициентов b_{i}, c_{j}, a_{ij} , которые должны удовлетворять определённым соотношениям.

1.2 Математическое описание алгоритма

1.2.1 Метод Рунге-Кутты 4-го порядка для задачи Коши для ДУ первого порядка

Рассмотрим задачу Коши, где правая часть удовлетворяет условиям теорем существования и единственности решения.

y" = f(x,y),\ a \leq x \leq b;\ y(a) = y^0

Зададим равномерную сетку

x_i = a + ih,\ i = 1,\dots, n,\ h = \frac{b-a}{n}

Введём обозначения y(x_i) = y_i . Получим вычислительную формулу:

\begin{cases} k_1 = hf(x_i,y_i)\\ k_2 = hf(x_i + h/2,y_i + k_1/2)\\ k_3 = hf(x_i + h/2,y_i + k_2/2)\\ k_4 = hf(x_i + h,y_i + k_3)\\ y_{i+1} = y_i + [ k_1 + 2k_2 + 2k_3 + k_4 ]/6 \\ \end{cases}

1.2.2 Метод Рунге-Кутты 4-го порядка для задачи Коши для системы ДУ первого порядка

Численное решение задачи Коши для систем ОДУ 1-го порядка методами Рунге-Кутты ищется по тем же формулам, что и для ОДУ первого порядка. Например, решение методом Рунге-Кутты 4-го порядка можно найти, если положить:

y_i \rightarrow \bar y_i f(x_i,y_i) \rightarrow \bar f(x_i,\bar y_i) k_l \rightarrow \bar k_l \bar k_l = \begin{pmatrix} k^i_{l,1}\\ \vdots\\ k^i_{l,m}\\ \end{pmatrix}

где m – размерность системы, l = 1, \dots, 4 . В результате получим

\begin{cases} \bar k_1 = h\bar f(x_i,\bar y_i)\\ \bar k_2 = h\bar f(x_i + h/2,\bar y_i + \bar k_1/2)\\ \bar k_3 = h\bar f(x_i + h/2,\bar y_i + \bar k_2/2)\\ \bar k_4 = h\bar f(x_i + h,\bar y_i + \bar k_3)\\ \bar y_{i+1} = \bar y_i + [ \bar k_1 + 2\bar k_2 + 2\bar k_3 + \bar k_4 ]/6 \\ \end{cases}

1.3 Вычислительное ядро алгоритма

1.4 Макроструктура алгоритма

Макроструктуру алгоритма составляют вычисления коэффициентов k_{j},\,j=1,..,4 при нахождении значений искомой функции в каждом узле.

1.5 Схема реализации последовательного алгоритма

Приведем возможную реализацию последовательного алгоритма на языке Matlab (правая часть ОДУ задана в виде функции func(x,y))

1 function = RungeKutta4 (y0, a, b, n) 2 h = (b - a ) / n ; 3 x = a : h : b 4 5 y (:, 1 ) = y0 ; 6 for i = 2 : n 7 k1 = h * func (x (i ), y (:, i )) 8 k2 = h * func (x (i ) + h / 2 , y (:, i ) + k1 / 2 ) 9 k3 = h * func (x (i ) + h / 2 , y (:, i ) + k2 / 2 ) 10 k4 = h * func (x (i ) + h , y (:, i ) + k3 ) 11 y (:, i + 1 ) = y (:, i ) + (k1 + 2 * k2 + 2 * k3 + k4 ) / 6 12 end 13 end

1.6 Последовательная сложность алгоритма

Каждый шаг цикла алгоритма состоит из 4 обращений к функции \bar f , 11 умножений и 10 сложений. Так как обращение к функции \bar f является наиболее сложной операцией, то сложность линейного выполнения алгоритма можно определить как 4mn .

1.7 Информационный граф

Опишем граф алгоритма аналитически и графически.
Пусть задана система из m одномерных дифференциальных уравнений. Граф имеет трёхмерную структуру, которая представляет собой связанные между собой ограниченные плоскости (уровни). На каждом i-ом уровне вычисляется i-ое приближение вектора решения системы. Всего таких уровней – n, где n – количество узлов, в которых вычисляется приближённое решение системы дифференциальных уравнений. Выходные данные i-го уровня являются входными данными для i+1-го уровня.
Вершины информационного графа делятся на два типа:

• Первому типу вершин соответствует вычисление одной координаты функции, стоящей в правой части дифференциального уравнения, в точках, подаваемых на вход вершине. Результатом выполнения операции является одна координата вектора k_{l},\,\,\,l = 1,2,3,4 . На каждом уровне таких вершин будет 4m , а их общее количество – 4mn .
• Второму типу вершин соответствует операция a + bc . Эти вершины также можно разделить на две группы. В вершинах первой группы вычисляются выражения, результат которых будет подаваться в качестве аргументов для вершин первого типа, при этом входными данными для этих вершин будут результаты срабатывания m вершин первого типа, расположенных на одном уровне. На каждом уровне вершин первой группы будет 3m , а их общее количество – 3mn . Входными данными для вершин второй группы будет результат срабатывания одной вершины первого типа и одной такой же вершины второго типа. Результатом срабатывания данной вершины на i-ом уровне будут m координат вектора i-го приближения решения системы. На каждом уровне таких вершин будет 4m , а их общее количество – 4mn .

Приведём графическую иллюстрацию информационного графа (рис. 1). Для того чтобы сильно не загромождать граф, рассмотрим случай системы из двух дифференциальных уравнений. Красным цветом обозначены вершины первого типа, зелёным - вершины второго типа. Входные данные задачи подаются на все вершины первого типа, а также на m левых вершин второй группы второго типа и на все вершины первой группы второго типа на первом уровне подаются начальные значения искомой функции (см. пункт ). Выходными данными будут результаты срабатывания m правых вершин второй группы второго типа на каждом уровне. Результаты срабатывания остальных вершин являются промежуточными данными алгоритма.

Рисунок 1. Информационный граф для системы из двух дифференциальных уравнений.

1.8 Ресурс параллелизма алгоритма

Поскольку в описанной выше вычислительной схеме наиболее трудоемкой является операция расчета правых частей ОДУ при вычислении k_i (i = 1, \dots, 4) , то основное внимание следует уделить распараллеливанию этой операции. Здесь будет применяться подход декомпозиции уравнений системы ОДУ на подсистемы. Поэтому для инициализации рассмотрим следующую схему декомпозиции данных по имеющимся процессорным элементам с локальной памятью: на каждый \mu - ПЭ (процессорный элемент) (\mu = 0, \dots, p-1 ) распределяется n/p дифференциальных уравнений и вектор \bar y_0 . Далее расчеты производятся по следующей схеме:

1. на каждом ПЭ одновременно вычисляются n/p соответствующих компонент вектора \bar k_1 по формуле [ \bar k_1 ]_{\mu} = h[ \bar f(x_i, \bar y_i) ]_{\mu}
2. для обеспечения второго расчетного этапа необходимо провести сборку вектора \bar k_1 целиком на каждом ПЭ. Затем независимо выполняется вычисление компонент вектора \bar k_2 по формуле [ \bar k_2 ]_{\mu} = h[ \bar f(x_i + h/2,\bar y_i + \bar k_1/2)]_{\mu} ;
3. проводится сборка вектора \bar k_2 на каждом ПЭ, вычисляются компоненты вектора \bar k_3:\ [ \bar k_3 ]_{\mu} = h [\bar f(x_i + h/2,\bar y_i + \bar k_2/2)]_{\mu} ;
4. проводится сборка вектора \bar k_3 на каждом ПЭ, вычисляются компоненты вектора \bar k_4:\ [ \bar k_4 ]_{\mu} = h [\bar f(x_i + h,\bar y_i + \bar k_3)]_{\mu} ;
5. рассчитываются с идеальным параллелизмом компоненты вектора \bar y_{i+1}:\ [\bar y_{i+1}]_{\mu} = [\bar y_{i}]_{\mu} + ([ \bar k_1 ]_{\mu} + 2[ \bar k_2 ]_{\mu} + 2[ \bar k_3 ]_{\mu} + [ \bar k_4 ]_{\mu})/6\ и производится сборка вектора \bar y_{i+1} на каждом ПЭ. Если необходимо продолжить вычислительный процесс, то полагается i = i + 1 и осуществляется переход на п. 1

Заметим, что данный алгоритм обладает конечным параллелизмом, но не массовым, так как циклы алгоритма являются информационно зависимыми.

На каждом ярусе в данном алгоритме каждый ПЭ производит четыре операции вычисления правых частей ОДУ, шестнадцать операций сложения векторов и умножения вектора на число, а так же р-1 пересылку данных между другими ПЭ, что довольно сильно замедляет выполнение алгоритма и является накладными расходами при распараллеливании алгоритма. При этом количество итераций цикла равно длине вектора x , то есть n . Из вышеуказанного следует, что при классификации по высоте ЯПФ алгоритм имеет сложность O(n) , а при классификации по ширине ЯПФ – O(m) (при условии, что p = m ).

1.9 Входные и выходные данные алгоритма

Входными данными алгоритма являются:

1. вектор y^0 размерности m ;
2. границы временного интервала a и b ;
3. частота дискретизации n ;

Всего размер входных данных: m + 3

Выходными данными являются

1. n векторов \bar y_i размерности m ;
2. вектор \bar x размерности n

Всего размер выходных данных: (m+1)n

1.10 Свойства алгоритма

Перечислим основные свойства алгоритма:

2 Программная реализация алгоритма

2.1 Особенности реализации последовательного алгоритма

2.2 Локальность данных и вычислений

2.2.1 Локальность реализации алгоритма

2.2.1.1 Структура обращений в память и качественная оценка локальности

2.2.1.2 Количественная оценка локальности

2.2.1.3 Анализ на основе теста Apex-Map

2.3 Возможные способы и особенности параллельной реализации алгоритма

2.4 Масштабируемость алгоритма и его реализации

2.4.1 Масштабируемость алгоритма

2.4.2 Масштабируемость реализации алгоритма

Проведём исследование масштабируемости параллельной реализации метода Рунге - Кутты согласно методике . Исследование проводилось на суперкомпьютере "Ломоносов" Суперкомпьютерного комплекса Московского университета . Исследовалась собственная параллельная реализация алгоритма, написанная на языке C++ с использованием стандарта MPI. Сборка программы производилась при помощи компилятора компании Intel версии 15.0 (без указания ключей компиляции) с использованием библиотеки OpenMPI версии 1.8.4 . Расчеты проводились на узлах из группы T-Blade2 с процессорами Intel Xeon 5570 Nehalem 2.93GHz, при этом для каждого MPI - процесса выделялось одно ядро.

Набор и границы значений изменяемых параметров запуска реализации алгоритма:

• число процессоров с шагом по степеням двойки до 64, далее с шагом 10;
• размерность системы .

В результате проведённых экспериментов был получен следующий диапазон эффективности реализации алгоритма:

• минимальная эффективность реализации 0.0000032%;
• максимальная эффективность реализации 0.0024%.

Перечислим некоторые особенности тестируемой параллельной реализации:

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

Рисунок 3. Эффективность работы параллельного алгоритма в зависимости от размерности системы и числа процессоров.

Построим оценки масштабируемости протестированной параллельной реализации метода Рунге - Кутты 4-го порядка:

• По числу процессов -0.000000768. При увеличении числа процессов эффективность на рассмотренной области изменений параметров запуска уменьшается, однако уменьшение достаточно медленное, что связано с крайне низкой максимальной эффективностью работы параллельной реализации алгоритма. Уменьшение эффективности при увеличении числа процессов для систем с небольшой размерностью объясняется тем, что при количестве процессов превышающем размерность системы часть из них не будет участвовать в вычислениях. Для систем с большой размерностью увеличение процессов негативно сказывается на эффективности, так как увеличивается количество пересылок между ними, что существенно затормаживает работу.
• По размеру задачи 0.000000763. При увеличении размерности системы при фиксированном количестве процессов эффективность на рассмотренной области изменений параметров запуска увеличивается, причём увеличение наблюдается на почти всей рассматриваемой области. Это объясняется тем, что при фиксированном количестве процессов увеличение размерности системы приводит к увеличению вычислительной нагрузки на каждый процессор, вследствие чего увеличивается время вычислительной работы относительно времени простоя. С увеличением числа процессов скорость возрастания эффективности при увеличении размерности задачи уменьшается, так как количество пересылок становится достаточно большим.
• По двум направлениям 0.00000000174. При одновременном увеличении количества процессов и размерности системы эффективность увеличивается. Скорость возрастания эффективности крайне низкая, что объясняется высокими накладными расходами.

2.5 Динамические характеристики и эффективность реализации алгоритма

2.6 Выводы для классов архитектур

2.7 Существующие реализации алгоритма

Метод 4-го порядка является самым часто используемым из всех схем Рунге - Кутты, поэтому существует множество его программных последовательных реализаций как коммерческих, так и бесплатных. Одной из самых известных программных реализаций является ode45 в среде MATLAB, у которой имеется большое количество возможностей для настройки численного расчёта, что делает её достаточно удобной для использования. Также метод Рунге - Кутты 4-го порядка реализован в параллельной библиотеке PETSc, которая является свободно распространяемой. Несмотря на то, что в этой библиотеки большинство методов реализовано с использованием параллельных алгоритмов, метод Рунге - Кутта в ней реализован последовательным. Довольно трудно найти параллельную реализацию метода в случае рассмотрения общей задачи Коши, но существует множество научных работ, в которых описываются параллельные реализации метода Рунге - Кутты для конкретных классов систем, например, в работе А.В. Старченко описывается параллельная реализация для линейных систем.

Пусть дано дифференциальное уравнение первого порядка

с начальным условием

y(x 0) = y 0 .

Выберем шаг h и введём обозначения:

x i = x 0 + i . h и y i = y(x i) ,

где i = 0, 1, 2, …

x i – узлы сетки,

y i - значение интегральной функции в узлах .

Аналогично описанным выше методам производится решение дифференциального уравнения. Отличие состоит в делении шага на 4 части.

Согласно методу Рунге – Кутта четвёртого порядка, последовательные значения y i искомой функции y определяются по формуле:

, i = 0, 1, 2, …

а числа k 1 (i) , k 2 (i) , k 3 (i) , k 4 (i) на каждом шаге вычисляются по формулам:

Это явный четырёхэтапный метод четвёртого порядка точности.

Методы Рунге – Кутта легко программируются и обладают значительной точностью и устойчивостью для широкого круга задач.

На рисунке 6 приведена блок-схема процедуры RUNGE(X0, XK, Y0, N, Y) для решения задачи Коши описанным выше методом Рунге – Кутта.

i = 0, … , N-1

K1 = h * F(x, Yi)

K2 = h * F(x + h/2, Yi + K1 / 2)

K3 = h * F(x + h/2, Yi + K2 / 2)

K4 = h * F(x + h, Yi + K3)

K = (K1 + 2*K2 + 2*K3 + K4) / 6

Рисунок 6 - Блок-схема процедуры RUNGE

На рисунке 7 приведена блок-схема алгоритма основной программы для решения задачи Коши и получения результатов с фиксированным количеством отрезков разбиения N. В основной программе происходит обращение к процедуре RUNGE(X0, XK, Y0, N, Y), вычисляющей значения искомой функции y j в точках x j методом Рунге – Кутта.

Исходными данными в данной задаче являются:

X0, XK – начальное и конечное значения независимой переменной;

Y0 – значение y 0 из начального условия y(x 0) = y 0 ;

N – количество отрезков разбиения.

Результаты работы программы выводятся в виде двух столбцов:

X – массив значений узлов сетки;

Y – массив значений искомого решения в соответствующих узлах сетки.

Ввод X0, XK, Y0, N

RUNGE(X0,XK,Y0,N,Y)

i=0…N

Вывод X, Y i

Рисунок 7 - Блок-схема алгоритма основной программы для решения задачи Коши с фиксированным количеством отрезков разбиения N

Решение дифференциальных уравнений в среде MathCad

Рисунок 8 - Пример решения дифференциального уравнения методом

Рунге-Кутта 4 порядка в среде MathCad.

Построение графиков функций в среде Visual Basic

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

Задача.

Построить график функции y=sin(x) на отрезке . Шаг табулирования принять равным h.

Решение.

Для построения графика функции в среде Visual Basic удобно воспользоваться некоторыми графическими компонентами.

Рисунок 9 - Расположение основных компонентов в окне General

Компонент Picture Box () используется в качестве контейнера для построения графика. Он представляет собой матрицу из точек (пикселей), причём имеется возможность управлять цветом каждой отдельной точки. Координаты любой точки определяются парой целых чисел – ее порядковым номером в строке Х и порядковым номером строки внутри объекта Y. Таким образом, координаты левого верхнего угла компонента (0, 0). Число точек в строке и число строк определяются размером компонента.

Рисунок 10 - Координаты объекта PictureBox

На рис. 10 показано расположение осей и координаты угловых точек объекта.

Компонент Line () используется для построения осей и отрезков ломаной графика функции.

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

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

Рассмотрим алгоритм более подробно.

До реализации алгоритма необходимо описать подпрограмму- функцию для построения графика. Это необходимо для облегчения модификации программы. Если потребуется построение графика другой функции, достаточно будет только изменить подпрограмму.

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

Ввод исходных данных осуществляется в рассматриваемой программе при нажатии на командную кнопку. Очень часто ввод данных реализуется с помощью компонента TextBox.

Процедуру табулирования функции удобно осуществлять в цикле с параметром, так как известно количество обсчитываемых точек графика. До выполнения процедуры надо задать количество строк таблицы.

Количество строк рассчитывается по формуле k=n+2, где k – количество строк, а n – количество отрезков табулирования. Число строк должно быть больше количества отрезков на 2, так как необходимо учесть начальную точку (нулевую) и строку для записи заголовков столбцов страницы.

В самой процедуре табулирования можно совместить два действия – табулирование и расчет экстремумов. Такой вариант решения приведен в листинге программы на рисунке13.

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

Коэффициенты масштабирования графика рассчитываются по следующим формулам:

где kx - коэффициент масштабирования по оси ОХ,

NPX – количество пикселей объекта PictureBox, отводимых для построения графика по горизонтали,

a – начальное значение отрезка аргумента функции,

b – конечное значение отрезка аргумента функции.

,

где Ky - коэффициент масштабирования по оси ОY,

NPY – количество пикселей объекта PictureBox, отводимых для построения графика по вертикали,

min – минимальное значение функции,

max – максимальное значение функции.

Перевод математических координат текущей точки в экранные производится по формулам:

zx = Round(ox + (x(i) - a) * kx),

zy = Round(oy - (y(i) - Min) * ky),

где zx, zy – экранные координаты текущей точки,

ox, oy - координаты точки пересечения осей в компоненте pictureBox,

x(i), y(i) – математические координаты текущей точки,

kx, ky – коэффициенты масштабирования.

В формуле расчета экранной координаты ординаты текущей точки используется знак «минус» для учета противоположного направления осей (на экране и на графике).

Листинг программы построения графика функции приведен на рисунке 13.

Примеры форм с результатами работы программы для различных исходных данных приведены на рисунках 14 и 15.

Рисунок 11 - Пример разработки формы

Рисунок 12 - Алгоритм построения графика функции

Rem Описание переменных

Dim x() As Single, y() As Single

Private a As Single