92
Общетехнические задачи и пути их решения
нию m = 4 мм. Отметим: заданная точность
нисх
обеспечивается нивелированием III класса, если длина тоннеля не превышает 1,8 км.
Заключение
Исходя из величины критической деформации тоннеля, равной 50 мм, в статье приведено обоснование того, что пункты плановой геодезической мониторинговой сети должны определяться с погрешностями 4 мм. Положение деформационных марок предложено определять полярным способом с помощью электронного тахеометра. СКП полярного способа - 4,0 мм. Рассмотрены вопросы предрасчета точности геодезических измерений при определении смещений в вертикальной плоскости. Сформулированы требования
к точности создания высотной сети (4 мм), точности выполнения линейных (23,6 мм) и угловых (5,8") измерений при определении высот методом тригонометрического нивелирования.
Библиографический список
1. СНиП 11-72-81. Строительство в сейсмических районах. - Введ. 1982-01-01. - Москва : Минстрой России, 1995. - 11 с.
2. СНиП 32-04-97. Тоннели железнодорожные и автодорожные: - Введ. 1998-01-01. - Москва : ГУП ЦПП, 1997. - 22 с.
3. Клюшин Е. Б. Инженерная геодезия : учебник для вузов / Е. Б. Клюшин, М. И. Киселев, Д. Ш. Михелев, В. Д. Фельдман. - Москва : Изд. дом «Академия», 2004. - 480 с.
УДК 519.872.2
С. И. Гиндин, А. Д. Хомоненко
Петербургский государственный университет путей сообщения
С. Е. Ададуров
ОАО «Росжелдорпроект»
ЧИСЛЕННЫЙ РАСЧЕТ МНОГОКАНАЛЬНОЙ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ С РЕКУРРЕНТНЫМ ВХОДЯЩИМ ПОТОКОМ И «РАЗОГРЕВОМ»
Для многоканальных систем массового обслуживания типа H2/M/M/n с гиперэкспоненциальным распределением длительности интервалов между смежными заявками и «разогревом» предлагается расчетная схема вычисления стационарного распределения числа заявок в системе. Приводятся диаграммы переходов и матрицы переходов между микросостояниями системы. Рассматриваются примеры численных расчетов стационарного распределения числа заявок в системе для различных значений коэффициента вариации входящего потока заявок, а также для для различных значений интенсивности «разогрева».
система массового обслуживания «с разогревом», гиперэкспоненциальная аппроксимация входящего потока, распределение вероятностей числа заявок.
Введение
Модели многоканальных систем массового обслуживания (СМО) широко используются при исследовании оперативности функционирования сложных систем, в том числе информационных. Основными параметрами
любой СМО являются характеристики потока заявок и механизма обслуживания заявок.
В зависимости от ключевого свойства СМО делятся на одноканальные и многоканальные системы; системы с отказом в обслуживании и системы с ожиданием заявок в очереди; однофазные и многофазные системы;
2013/4
Proceedings of Petersburg Transport University
Общетехнические задачи и пути их решения
93
системы с гомогенными и гетерогенными узлами; системы с различными дисциплинами обслуживания заявок. Модели СМО различаются в зависимости от природы описываемых явлений по структуре основных параметров. Входящий поток требований к системе обычно описывается тем или иным стати-стиче-ским распределением, среди которых можно выделить часто используемый, так называемый пуассоновский поток, характеризуемый отсутствием последействия, стационарностью и ординарностью. Для такого потока справедливо утверждение о том, что число заявок, поступивших в систему на любом интервале длины g, распределено по закону Пуассона с параметром Xg. Таким образом, X является параметром пуассоновского потока. Это означает также, что время до первого поступления заявки распределено по экспоненциальному закону с параметром X.
Широко распространенными моделями являются модели M/M/1/ю и M/M/n/ю с неограниченной очередью, представляющие соответственно одноканальную и многоканальную системы с пуассоновским входящим потоком и экспоненциальным распределением длительности обслуживания [1]. Слабой стороной подобных моделей является строгость ограничений свойств реальной физической системы; как следствие, возможность применения СМО ограничена. Марковские модели не подходят для описания большого количества практических задач. Наибольший интерес представляют модели многоканальных немарковских СМО, хорошо описывающие функционирование, например, компонентов информационных систем [2-3].
Для разработки методов нахождения оптимальных дисциплин управления информационными системами могут быть использованы модели СМО с «разогревом». Под «разогревом» понимается некоторая дополнительная работа системы по активизации в режиме обслуживания свободной системы при поступлении в нее первой заявки. В основе данного класса систем лежат более сложно описываемые характеристики основных параметров СМО: входящий поток заявок может быть ре-
куррентным либо иметь произвольные стохастические свойства.
В задачах, решаемых с применением теории массового обслуживания, в основном предполагается, что СМО после обслуживания (или прерывания обслуживания) по одному требованию сразу приступает к обслуживанию по очередному, хотя на практике встречается немало систем, в которых это предположение не реализуется, например облачная компьютерная система, работающая в режиме разделения времени. В таком случае после прерывания одной программы происходит запись ее данных и чтение данных очередной программы.
Подобные системы относятся к классу СМО с «разогревом». Считается, что в такой модели обслуживающий узел и поступающие на него заявки совмещены, а периоду «разогрева» (переключения, переналадки) придается физический смысл и свойственна математическая формализация, которые соответствуют времени передвижения обслуживающего узла от одной заявки к другой по некоторому пути. Существенно то, что после обслуживания одного объекта затрачивается время на переход к следующему. В данной статье обобщаются результаты работ [4-5], касающиеся расчета многоканальных немарковских СМО с «разогревом» на основе использования аппроксимации с помощью распределений фазового типа.
Согласно [6], произвольное распределение длительности некоторой случайной величины можно представить смесью экспоненциальных фаз или распределением фазового типа (гиперэкспоненциальным, Эрланга или Кокса). Преимуществом такого представления является то, что при этом обеспечивается удобство сведения случайного процесса к марковскому и легкость составления и решения системы уравнений, описывающей поведение соответствующей модели. Параметры аппроксимирующего распределения могут быть вещественными или комплексно сопряженными [7, 8], при этом вероятности состояний исследуемой системы являются вещественными.
ISSN 1815-588Х. Известия ПГУПС
2013/4
94
Общетехнические задачи и пути их решения
Примеры прикладного использования распределений фазового типа приводятся в [2, 3, 8, 9, 10]. Такой подход получил широкое применение при исследовании немарковских многоканальных систем массового обслуживания (см., например, [7]). В данной работе в качестве аппроксимирующего распределения рассматривается гиперэкспоненциальное распределение с двумя фазами Н
1 Диаграмма переходов
многоканальной СМО HJMIMIn
Состояния многоканальных немарковских СМО при моделировании удобно представлять в виде совокупности микросостояний, в которых находится система. Микросостояния - это всевозможные состояния системы в произвольный момент времени в процессе ее жизни.
На рис. 1 приведена диаграмма переходов для СМО типа H2/M/M/n - с гиперэкспоненциальным распределением длительности интервалов между смежными заявками входящего потока. Эта модель непосредственно обобщает вариант модели марковской многоканальной СМО с «разогревом», предложенной в [6].
На рис. 1 гиперэкспоненциальное распределение Н2 имеет параметры: ^ и Х2 - интенсивность потоков входящих заявок соответствующих фаз; а1 - вероятность выбора первой фазы; а2 = 1 - аг - вероятность выбора второй фазы; параметры рр и р задают интенсивность перехода по «разогреву» системы и обслуживания заявки соответственно.
Крайний левый столбец на диаграмме показывает текущее число заявок в системе. Числа слева обозначают ярусы, различные ярусы соответствуют наборам состояний системы, которые возникают при различном
Фаза Н2 распределения прибытия заявок в режиме разогрева в режиме обслуживания 12 12
►5
п-1
n+1
Рис. 1. Диаграмма переходов для системы H/M/M/n
V2
V2
V2
V2
2013/4
Proceedings of Petersburg Transport University
Общетехнические задачи и пути их решения
95
количестве заявок. При полной занятости (на ярусах с номерами больше n - числа каналов) диаграмма стабилизируется на всех нижележащих ярусах. Для иного числа каналов диаграммы переходов строятся аналогично.
Приведем формулы расчета параметров распределения Н2 по его первому моменту / и коэффициенту вариации иА. Запишем выражения для математического ожидания и дисперсии:
ai + ^2 _ f ■
k, k2 /;
/ a, a2 л
■ ~т + А ■
^2 л2
1 Л2J
f a, a2 л
-L + _L
Vk1 k2 у
= /-
Тогда, полагая а1 и а2 известными, пользуясь соотношением а2 = 1 - а1 и выражая одно неизвестное через другое, находим выражения для обратных величин коэффициентов Х1 и Х2:
kL
a1
f
/
V
1 - aL ^
X" ,;
f
L _ i k2 2 - aL
( 2 - ai )(-Л" ( 4 - ai )~ f2 ai) 2(1 - a,)
Вариант решения для k2 при работе с вещественными параметрами записывается с плюсом, а при работе с комплексно-сопряженными параметрами - с минусом.
2 Расчет вероятностных характеристик СМО
Выполним расчет СМО HJM/M/n для случая n = 3. Ниже представлены матрицы переходов для системы Н /M/M/3, показана схема итерационного метода расчета стационарного распределения числа заявок в системе и его программная реализация общего вида по
матрицам переходов системы. Для модели Н /M/M/3 выполнены численные расчеты.
2.1 Построение матриц переходов
Обозначим S. множество всех микросостояний системы, когда на обслуживании находится ровно j заявок, а а. - количество элементов в S.. Определим матрицы переходов внутри системы:
А [ajxaj+i] - в S. (поступление заявки);
B. [axa ] - в SJ :I (полное завершение обслуживания заявки);
Cj [o.xo] - в Sj (конец промежуточной фазы обслуживания);
D. [cj.xcj] - уход из состояний ярусаj (диагональная матрица).
Матрицы переходов можно построить по диаграмме переходов между микросостояниями системы.
Для СМО H2/M/M/3 матрицы переходов имеют следующий вид:
A
aLkL a2kL 0 1 О
aLk 2 a2k 2 0 1 О
aLkL a2kL 0
aLk 2 a2 k 2 0
0 0 aLkL
0 0 a2 kL
A _ 4, j >L;
о
о
a2kL a2 k 2 _
B _
B2 _
_ 0_’
" 0 0'
0 0
0 5
0 |T_
0 0 0
0 0 0
0 2^ 0
0 0 2^
0
ISSN 1815-588Х. Известия ПГУПС
2013/4
96
Общетехнические задачи и пути их решения
Вз =
0 0 0
0 0 0
0 0 3|д
0 0 0
0
0
0 ’ 3д
Y0 D0 = Y0C0 + Y1В1;
yjDj = Yj-i Aj-i + Yfj + Yj+iB+i, (1)
j = 1,2,...
Bj = Bз,
j >3;
C
0
0
0
0
0 ,
0 0 др 0
0 0 0 д p
0 0 0 0 ,
0 0 0 0
D1 =
D2 =
D3 =
II II о o' cf Ci, j > \ 0' _ 0 k2 _ 0 i; 5 0 "
0 k2 0 0
0 0 ki + д 0
0 0 0 k +д
ki 0 0 0
0 k 2 0 0
0 0 k + 2д 0
0 0 0 k 2 + 2д
ki 0 0 0
0 k2 0 0
0 0 k + 3|j, 0
0 0 0 k 2 + 3 |J,
Dj = ^ j >3.
При j > n (n - число каналов) матрицы перестают меняться.
Введём векторы-строки Yj = (yJ;1, Yуд,..., Yj,0.} нахождения СМО в стоянии (j, i), j = = 0, 1, ... Тогда можно записать векторноматричные уравнения баланса переходов между состояниями:
2.2 Итерационный алгоритм расчёта
Система уравнений (1) характеризуется чрезвычайно высокой размерностью, при которой методы решения систем линейных алгебраических уравнений оказываются неэффективными. Поэтому применяются численные методы - итерационный и матрично-геометрической прогрессии [2]. Метод матрично-геометрической прогрессии гораздо более трудоёмкий, хотя и обеспечивает скорейшую сходимость итераций. Ввиду отсутствия требований к оперативности и относительной простоте реализации в данной работе использовался итерационный метод расчёта СМО. Метод предложен японскими учёными Такахаси и Таками [11] и детально проработан в [2, 3, 7, 12, 13]. Ниже рассматривается схема этого метода.
Положим, что g. = у^. р, где p. - суммарная вероятность наличия в системе ровно j заявок, и обозначим
xj = Pj+ilPj, zj = Pj-ilPj. (2)
Тогда систему (1) можно переписать относительно векторов условных вероятностей {gj}, нормированных по отношению к единице в пределах яруса:
g0 D0 = &0C0 + x0 giBi;
gjDj = zjgj -i Aj -i + gjCj + xjgj+iBj +i, (3) j = i, 2,...
С помощью векторов-столбцов 1. = {1, 1, .,1}г размера о. для всех j дополняющие систему (3) уравнения нормировки
gji j =i (4)
и баланса суммарных интенсивностей переходов между смежными ярусами
gjAj ij+i = xjgj+iBj+iir (5)
2013/4
Proceedings of Petersburg Transport University
Общетехнические задачи и пути их решения
97
Алгоритм расчёта набора векторов {g} и чисел {х.} и {z.}, удовлетворяющих соотношениям (3) - (5), в случае разомкнутой системы с неограниченной очередью опирается на существование предельного вектора условных вероятностей g^ = lim^ g, которое является следствием стабилизации матриц интенсивности при j > n. Алгоритм основан на последовательном приближении к искомым характеристикам для ограниченного множества индексов j = 1, N и по существу является блочным вариантом известного метода Г аусса - Зейделя.
Перепишем уравнения системы (3) для j > 1 в виде
g A D - C)=
= г г g ‘”-1) Aj-1 + j g j! Bj+1, J = 1,2..........
c =
t Й B.+11,-P' A. 1
j j j+1
P'A 1
j j J+1
(10)
В этой и последующих формулах произведения матриц переходов на векторы 1 j равны суммам строк и вычисляются до начала итераций.
Подстановка (9) в (6) и умножение обеих частей на 1. дают
1 = g Г1 , = j!(cPj + Pj )1 j.
Итак,
j = 1/[(cp;,+pj )1j ]. (ii)
Условие прекращения итераций
где верхний индекс показывает номер итерации. Тогда можем записать:
g jm) = z (m)Pj + m)P",
где
Pj = gjT"A-1(D - Cj )-1;
pj=g (m1Bj+1( d - c, )-1.
При j = N считается, что
g" = g(m-i) в (D - C )-1
KN 6N-1 ^NV^N ^N/ •
max
j
x(m) - x(m-1) XJ XJ
< s.
(6)
В качестве начальных приближений целесообразно задать gN(0'> = g^. Тогда существуют предельные значения отношений смежных вероятностей х и z, причём из (5) следует
X gA1n/tB1n
(12)
(7)
это означает, что стационарные вероятности с большими индексами образуют геометрическую прогрессию. Расчёты свидетельствуют о хорошей аппроксимации х формулой
(8)
x = р2!{х?А+иВ),
(13)
Для расчета {х(т)} и {z.(m)} перепишем (5) с учётом (6):
(z f )PJ + x(m )PJ) AJ1J+1 = x\m )t (m1 BJ+11 J;
где p - коэффициент загрузки системы; uA, - коэффициенты вариации интервалов между заявками входящего потока и времени обслуживания соответственно.
Максимальное число вероятностей N находится по формуле
отсюда следует пропорциональность
N « n + (lg 2 - s)/lg(s),
z (m) = (m)
ZJ _ CXJ
с коэффициентом
(9) где n - число каналов; при этом учитываются состояния, вероятность которых не превышает 10 х.
ISSN 1815-588Х. Известия ПГУПС
2013/4
98
Общетехнические задачи и пути их решения
Полагая х известным, как следствие (6) получаем предельное равенство
g = (^ gA + xgB)( B - C )-1 =
= g (x-1 A + xB)( D - C )-1 = gQ.
Обозначим (Q -1) матрицу, полученную из Q -1 заменой её первой строки на единичную, и положим 5j = {1, 0, 0, .. .0}. Тогда заведомо ясно, что det (Q - I) Ф 0, и искомый вектор получается как решение системы линейных алгебраических уравнений
t (Q -1) = 81. (14)
В качестве начальных приближений к векторам {g} в ходе описанных выше итераций, охватывающих все ярусы для j > n, следует воспользоваться решением системы (14) для х, найденных по формуле (13). На вышележащих ярусах можно принять все состояния равновероятными.
После прекращения итераций можно переходить к нахождению стационарных вероятностей. Из определения {х.} следуют равенства
Pj+i = Pjxj. (15)
С помощью закона сохранения заявок
n-1
Z(n - J )pJ = n - bla
j=0
получаем формулу для вероятности свободного состояния системы:
n - bla
po = П-1 j- .
n+Z(n - j)n x
j=1 -=0
Последующие вероятности для j = 1, N определяются рекуррентно с помощью (15). При необходимости та же формула может быть применена для больших значений j с использованием х = х .
j «>
Практически все остальные характеристики СМО (среднее время ожидания начала об-
служивания и пребывания заявки в системе, дополнительная функция распределения времени пребывания заявки в системе, средняя длина очереди и т. д.) могут быть получены при помощи найденного по описанной выше схеме распределения вероятностей числа заявок.
2.3 Программная реализация
Рассмотренный алгоритм итерационного расчёта стационарного распределения числа заявок в системе был реализован с помощью программы. Исходными данными для программы являются:
1) интенсивность «разогрева» и обслуживания заявок др и д;
2) коэффициент вариации иА гиперэкспоненциального распределения и его моменты
f и Л;
3) вероятность выбора первой фазы
4) значение вычислительной погрешности в;
5) количество вычисляемых вероятностей
jmax;
6) число каналов n.
Программа расчета разработана на языке Java (версия 1.6). Выбор этой системы обусловлен ее популярностью и, следовательно, наличием в системе большого набора разнообразных внешних библиотек для работы с матрицами, которые взаимно тестируются по показателям производительности. В приведенной программе для работы с матрицами используется библиотека JAMA.
С помощью объектного подхода и абстракции алгоритмов работы с матрицами метод Такахаси и Таками реализован в общем виде и программа, с учетом изменений в значениях матриц переходов системы, может быть использована для расчета характеристик других видов распределений.
Начальные приближения для g находятся численно методом Г аусса до сближения итераций на в < 10-3.
Расчёт хj проводится от нижележащих ярусов к вышележащим. Условием прекращения итераций является их сближение на в < 10-6, хотя при запуске программы точ-
2013/4
Proceedings of Petersburg Transport University
Общетехнические задачи и пути их решения
99
ность может быть переопределена. Как показали расчёты, дальнейшее повышение точности не влияет на результат.
2.4 Примеры расчета вероятностных характеристик СМО
Для предложенной модели СМО выполнены расчеты стационарного распределения числа заявок в системе при различных значениях коэффициента вариации иА и интенсивности «разогрева» др.
На рис. 2 показано стационарное распределение числа заявок в системе HJM/M/3 с «разогревом» при различных значениях коэффициента вариации иА. Расчет выполнен с использованием параметров: д = 2, д = 2,2, f = 0,6363, /2 = 0,7939, ^ = 0,6.
Как видно из рис. 2, коэффициент вариации входящего потока существенным
образом влияет на распределение числа заявок в многоканальной немарковской СМО H2/M/M/3 с «разогревом». В частности, с ростом значений коэффициента вариации и входящего потока в СМО стационарные вероятности большего числа заявок (для j = 3, 4, ...) в ней заметно возрастают.
На рис. 3 показано распределение вероятностей числа заявок в системе H2/M/M/3 с «разогревом» при различных значениях интенсивности «разогрева» Др (на рис. 3 mu_ p). Расчет выполнен с параметрами: д = 2,2, и = = 1,5, f = 0,5977, f2 = 0,8039, ^ = 0,6.
Как видно из рис. 3, значение интенсивности «разогрева» также заметным образом влияет на распределение числа заявок в многоканальной немарковской СМО H2/M/M/3 с «разогревом». При уменьшении значений интенсивности «разогрева» загрузка системы начинает линейно нарастать.
1
ад
сдз
Я,125 С/3-5 25 ДЛ3125 C,G 15525 GjGC7ai25 а_ЯС39С53 С,ВД 19531 GjQaC9755
Gjacawaa
G.JCGG2441 C..CCC1221 5 ДСЛЕ-З 3„G5 2E-G5 1.525E-G5 7Д29Е-05 ЗД15Е-05
I, 9G7E-G5 9 537E-G7 J„753E-G7 2„334E-G7 1Д92Е-С7
5,9 5E-C3 2,93 НЭ 1,49 НЗ ТД51Е-С9 3„725E-09 i^fi3E-ag 9Д13Е-1Л
J, 557E-UC 2,323E-UG 1ДВ4Е-1Л 5Д21Е-11
Рис. 2. Распределение числа заявок в СМО при различных значениях коэффициента вариации
ISSN 1815-588Х. Известия ПГУПС
2013/4
100
Общетехнические задачи и пути их решения
Рис. 3. Распределение числа заявок в СМО при различной интенсивности «разогрева»
Заключение
Приведенные расчеты показывают, что учет немарковского характера входящего потока заявок и «разогрева» в предложенной модели СМО H2/M/M/n с «разогревом» позволяют повысить точность расчета вероятностных характеристик.
Дальнейшие исследования предполагается продолжить в следующих направлениях:
1) расчет многоканальных немарковских СМО с комплексно-сопряженными параметрами аппроксимирующего гиперэкспоненциального распределения для расширения диапазона допустимых значений коэффициента вариации входящего потока от 0 до 1;
2) расчет представляющих наибольший интерес временных характеристик, таких как распределения времени ожидания заявок в очереди и пребывания в СМО (соответствующий подход предложен в [12]), распреде-
ление длин интервалов между заявками выходящего потока (соответствующий подход предложен в [13] и использован при расчете сетей в [14]);
3) расчет многоканальных СМО при других аппроксимирующих распределениях длительности: «разогрева»; обслуживания заявок; интервалов между смежными заявками входного потока;
4) разработка прикладных моделей оценки оперативности функционирования сложных систем, например, облачных вычислений, распределенной обработки данных и др.
Библиографический список
1. Модели приоритетного обслуживания в информационно-вычислительных системах /
2013/4
Proceedings of Petersburg Transport University
Общетехнические задачи и пути их решения
101
О. И. Бронштейн, М. М. Духовный. - Москва : Наука, 1976. - 220 с.
2. Теория очередей и управление запасами / Ю. И. Рыжиков. - Санкт-Петербург : Питер, 2001. - 384 с.
3. Численные методы анализа систем и сетей массового обслуживания / А. Д. Хомоненко. -Санкт-Петербург : МО СССР, 1991. - 179 с.
4. Распределение числа требований в системе массового обслуживания «с разогревом» / Ю. И. Рыжиков // Проблемы передачи информации. - 1973. - Т. IX. Вып. 1. - С. 88-97.
5. Модель оценки оперативности функционирования распределённых автоматизированных систем при интеграции данных / С. В. Калиниченко, А. Д. Хомоненко // Бюллетень результатов научных исследований : электронный научный журнал. - Санкт-Петербург : Петербургский гос. ун-т путей сообщения, 2012. - Вып. 5 (4). - C. 47-57.
6. A use of complex probabilities in the theory of stochastic processes / D. R. Cox / Proc. Cambr. Phil. Soc. - 1955. - V. 51, № 2. - Рр. 313-319.
7. Итерационный метод расчёта многоканальных систем с произвольным законом обслуживания / Ю. И. Рыжиков, А. Д. Хомоненко // Проблемы управления и теории информации. -1980. - Т 9, № 3. - С. 32-38.
8. Теория восстановления. Немарковские задачи теории надежности / В. А. Смагин. - Москва : МО СССР, 1982. - 269 с.
9. Software Reliability Model with Coxian Distribution of Length of Intervals Between Errors Detection and Fixing Moments / Bubnov, V. P., Khomo-nenko, A. D., Tyrva, A. V. // Proceedings of 35th Annual IEEE Computer Software and Applications Conference. - Munich, 2011. - С. 310-314.
10. Оценка оперативности автоматической рубрикации документов с помощью модели нестационарной системы обслуживания с эрлангов-ским распределением длительности интервалов между запросами / А. Д. Хомоненко, С. А. Краснов, А. С. Еремин // Проблемы информационной безопасности. Компьютерные системы. - 2012. -№ 3.- С. 14-21.
11. Takanashi, У., Takami, Y. (1976). Journal of the operations research society of Japan, 19 (2), 147-157.
12. Распределение времени ожидания в системах массового обслуживания типа GIq/Hk/n/ R<<x> / А. Д. Хомоненко // А и Т. - 1990. - № 8. -С.91-98.
13. Выходящий поток в системах массового обслуживания типа Hk/Hk/n/R<<x> / А. Д. Хомо -ненко // А и Т. - 1989. - № 11. - С. 109-117.
14. Расчет разомкнутых немарковских цепей с преобразованием потоков / Ю. И. Рыжиков, А. Д. Хомоненко // Автоматика и вычислительная техника. - 1989. - № 3. - С. 15.
УДК 65.01 1.56:625.12
С. А. Дергачев, А. В. Журавлева
Петербургский государственный университет путей сообщения А. К. Черных
Санкт-Петербургский военный институт внутренних войск МВД России
ТЕОРЕТИЧЕСКИЕ ОСНОВЫ РАСЧЁТОВ ОБЪЁМОВ ЗЕМЛЯНЫХ МАССИВОВ НА ОСНОВЕ ФОРМУЛ ИНТЕГРАЛЬНОГО ИСЧИСЛЕНИЯ
Обоснована возможность использования методов интегрального исчисления для расчёта объёмов земляных массивов. Предлагаются математические зависимости для указанных расчётов. Указывается возможность повышения точности расчётов объёмов земляных массивов при использовании предлагаемых формул.
определение объёмов земляных работ, поперечные сечения переменной площади, определенный интеграл, призматоид, погрешности расчётов, повышение точности расчётов.
ISSN 1815-588Х. Известия ПГУПС
2013/4