Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Юзвишин И.И. - Основы информациологии - 2000

.pdf
Скачиваний:
1034
Добавлен:
15.09.2017
Размер:
6.53 Mб
Скачать

e-λt =

(λt) k

k!

e-λt; (17.35)

б) пуассоновский и Эрланга

(λt) k-1

(k-1)!

e-λt

(λt) k-1

1/λ(k-1)!

e-λt; (17.36)

в) Эрланга и экспоненциальный при k=0 и а=1

(λt) k-1

1/λ(k-1)!

e-λ-1

(λt) -1

1/λ(-1)!

e-λt =

1

t

e-λt=(17.37)

г) пуассоновский и экспоненциальный при k=1

(λt) k

k!

e-λt = λte-λt (17.38)

Таким образом, установленная взаимная аппроксимация основных законов распределения входящих потоков при определенных расчетных параметрах позволяет отметить, что суммарный поток (4÷5≤ П≤∞) информации, поступающий в техническую, биологическую или космическую систему, аппроксимируется (простейшим) пуассоновским законом плотности распределения случайных событий поступления информации.

405

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

кривых на некоторую регламентированную во времени числовую ось 0t. Предположим, что потоки имеют различные законы распределения: нормальный, экспоненциальный, пуассоновский, биномиальный, геометрический, равномерный (прямоугольный), логарифмически-нормальный, распределение Эрланга, Вейбулла и др. Все эти законы характеризуются соответственно функциями распределения, плотностями вероятностей и их параметрами. Если по статистическим данным и теоретическим расчетам простроить стандартные кривые указанных законов распределения случайных величин для каждого n-го бесконечного потока информации на числовой оси 0t с предельными значениями времени 0≤t≤Tp и проанализировать эти кривые законов распределения, то нетрудно убедиться, что суммарный поток, включающий в себя большое количество независимых стационарных потоков, будет обладать всеми свойствами пуассоновского (простейшего) потока, что и было доказано в теореме.

Таким образом, на оси 0t в пределах кривых, определяющих п → ∞ независимых входных потоков информации со всеми Δti моментами их поступления, может быть составлен суммарный поток, обладающий свойствами пуассоновского распределения.

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

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

ω(ν,T) dν=

8πν2

c2

ћν

e-ћν/kT-1

dν. (17.39)

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

406

399 :: 400 :: 401 :: 402 :: 403 :: 404 :: 405 :: 406 :: Содержание 406 :: 407 :: 408 :: 409 :: 410 :: Содержание

17.3. Методика расчета центрального ядра информационных систем

Кроме показателей и характеристик, обеспечивающих надежность и необходимую производительность ЛИСМО, в качестве основных требований при их создании выдвигаются ограничения по времени вопросов и ответов ЛИСМО и

406

качеству (достоверности) последних. В качестве целевой функции при этом рекомендуется принимать критерий наименьших проектируемых (приведенных) капитальных затрат на приобретение и ввод в эксплуатацию средств ЛИСМО с учетом эксплуатационных расходов.

Если ЛИСМО состоит из т однородных технически и программно совместимых персональных компьютеров (ПК), каждый из которых состоит из п групп разнотипных унифицированных модулей и в каждой группе xj однотипных модулей со стоимостью аij за каждый, то капитальные затраты на центральное ядро ЛИСМО со стоимостью сi i -го ПК можно записать в виде следующей системы линейных алгебраических уравнений:

a11x1+a12x2+...+ainxn=c1;

a21x1+a22x2+...+a2nxn=c2;

(17.40)

...........................

am1x1+am2x2+...amnxn=cm.

Аналогично запишем модель эксплуатационных затрат с учетом каждого j-го модуля i-гo ПК информационной системы.

b11x1+b12x2+...+binxn=l1;

b21x1+b22x2+...+b2nxn=l2;

(17.41)

...........................

bm1x1+bm2x2+...+bmnxn=lm,

где bij - эксплуатационные затраты по каждому однотипному xi модулю; li - суммарные приведенные эксплуатационные затраты по каждому ПК.

Системы (17.40) и (17.41) можно записать соответственно, обозначив приведенные капитальные затраты на всю ЛИСМО через С, а эксплуатационные через L:

C= m

i=1 n

j=1

aijxj= m

i=1

ci; (17.42)

L= m

i=1

n

j=1

bijxj= m

i=1

li. (17.43)

Потери от выхода из строя единственного ПК, имеющегося на предприятии или на ВЦ, на время tн составляют:

П =

(Пм-Пр) ∙ tн

tз

> 0 (17.44)

при Пм >> Пp, tз >> tн; 0 ≤ tн/tз ≤ 1,

407

где Пм - объем реализации (выручки) за сутки (24 час.) с учетом суточной загрузки ПК, равной tз≥24 -τ; Пp - суточный объем выручки при выходе из строя ПК в течение tH часов в сутки.

Из опыта установлено, что для отдельных типов ПК годовой среднесуточный коэффициент отношения времени простоев по техническим неисправностям к планируемой загрузке находится в пределах 0,1≤tн/tз≤0,3. Очевидно, что оптимизация П в сторону уменьшения возможна при tн/tз→0, т.е.

inf

мр)tн

tз

= 0 при tн/tз = 0. (17.45)

Условие (17.45) выполнимо при наличии на ВЦ более двух ПК, т.е при соблюдении условий системы (17.41), что обеспечивает один из главных показателей ЛИСМО - ее надежность. Сроки решения задач ЛИСМО, исходя из ее надежности, регламентируются следующими соотношениями:

k1t11+k2t12+...+knt1n≤T1;

k1t21+k2t22+...+knt2n≤T2;

(17.46)

...........................

k1tm1+k2t2m+...+kntnim≤Tm,

где tij - регламентируемое паспортными данными устройств ЛИСМО время подготовки информации по i-й задаче j-м устройстве; ki - коэффициент соответствия технических

характеристик j-го устройства его характеристикам в реальном масштабе времени; Ti - суммарное время подготовки и решения i-й задачи.

Систему (17.46) запишем в следующем виде:

m

i=1 n

j=1

kjtij

m

i=1

Ti≤tз; i {1,m}, j {1,n} (17.47)

или

m

i=1

[Ti+(±t'i )]=tз; |t'i|/Ti= αi<<1, (17.48)

где t'i - разница между заданным (расчетным) и фактическим временем решения i-й задачи.

Может быть несколько случаев:

αi ≤ α

m

i=1

Ti = min {

m

i=1

Ti}= Т < tз; (17.49)

408

αi

m

i=1

Ti=T>tз;(17.50)

αi≤ α

m

i=1

Ti= T=tз.(17.51)

Для досрочного решения задач должно выполняться условие (17.49), а для своевременного решения - (17.51); условие (17.50) приводит к эффективным затратам в соответствии с выражениями (17.40) и (17.41); потери в этом случае тоже могут определяться по условию (17.44).

Определим форму ограничения целевой функции эффективности капитальных вложений по качеству решения задач. Предположим, что поток обнаруженных ошибок в результате решения некоторых задач описывается показательным законом распределения вероятностей случайно обнаруженных ошибок Y=(y1, у2, y3, ..., yn) с плотностью f(у), по которой определим функцию распределения, т.е. вероятность попадания случайной величины в заданный интервал:

F(y)=P(k1<Y<k2)=1-exp(-λy), (17.52)

где λ- интенсивность появления ошибок.

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

P(k1<Y<k2)=exp(-λk1) - ехр(-λk2). (17.53)

Зная вид показательного распределения ошибок, например f(у)=2ехр(-2у), по уравнению (17.53) определим вероятность того, что за один прогон массива количество обнаруженных ошибок окажется не менее одной и не более трех

Р(1<Y<3)=ехр(-2) - ехр(-6) ≈ 0,123.

Пусть в заданном интервале ошибок pi - вероятность обнаружения ошибки в i-й задаче, qi– вероятность достоверности информации (не обнаружение ошибки в этом интервале). Тогда

qi = l-[exp(-λk1)-exp(-λk2)] . (17.54)

По теореме умножения независимых событий определим с учетом регламентированного (ограничения) количества ошибок Q0 вероятности достоверности информации по всем п решаемым задачам в течение tз

n

i=1

qi =

n

i=1

(1-[exp(-λk1)-exp(-λk2)])≤Q0. (17.55)

409

Так как математическое ожидание появления числа ошибок М(Х)=1/λ, то допустимое количество ошибок должно быть в пределах 0≤ Q0 ≤1/λ,.

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

1.Заданы две системы линейных алгебраических уравнений (17.40) и (17.41) с п неизвестными х1,

х2, х3,..., хn.

2.Задана целевая функция (линейная форма)

Ф =

m

i=1 n

j=1

aijxj+

m

i=1 n

j=1

bijxj (17.56)

3.Задано условие неотрицательности переменных

xj≥0. (17.57)

4.Заданы следующие ограничения соответственно на средства приобретения С' и эксплуатации L' вычислительной техники, сроки и качество решения задач:

m

i=1

ci≤C';

m

i=1

1i≤L';

m

i=1

Ti <tз; 0≤Q0≤1/λ.(17.58)

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

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

410

406 :: 407 :: 408 :: 409 :: 410 :: Содержание 410 :: 411 :: 412 :: 413 :: Содержание

17.4. Метод определения вероятностных характеристик ЛИСМО с использованием цепей Маркова

Пусть задано вероятностное пространство Еb, Т, Р, где Eb={ε123,...,ε n} - пространство элементарных событий; Т - σ-алгебра подмножеств Еb; Р - вероятностная мера.

С целью исследования ИСМО выделим в вероятностном пространстве определенный класс Т подмножеств EB, соответствующих последовательности ее случайных состояний. Каждому элементарному состоянию ξ Т1 T поставим в соответствие числовую функцию Р(ξ), представляющую вероятность нахождения системы в этом состоянии. Запишем интегральную функцию распределения случайного процесса ξ(t), определяющего состояния ИСМО:

410

F(x)= {ξ(t) < х} .(17.59)

В определенный момент случайная величина ξ может принять некоторое значение, отвечающее номеру (шагу) состояния системы, т.е. ξ1 =Ψ(ε1) . В последующий момент система может перейти в другое состояние, вероятность перехода в которое будет зависеть как от ε2, так и от предыдущего состояния ξ1 и т.д.

С учетом отмеченного имеем:

ξ111);

 

ξ2212);

 

ξ33l23);

(17.60)

..................

 

ξ nn12,...,ξ n-1n)

Функцию распределения состояний системы для п независимых моментов ε n и случайных величин ξ1,...ξ n-1, можно записать следующим образом:

FΨ(ξ,ε)(xi)=P(ξ1<x12,...,ξ n-1<x n-1),I э{n}.(17.61)

Так как определенное состояние ξ n ИСМО зависит только от ξ n-1и n-го элементарного момента (события) ε n из множества Eb, то зависимости между случайными величинами ξ1,...,ξ n будут марковскими, если их можно выразить следующими функциями:

Ψ0(...,ε0)=Ψ; Ψ1(...,x01)=Ψ1(x01);

Ψ2(x0,x12)=Ψ2(x12);

(17.62)

Ψ3(x0,x1,x23)=Ψ3(x23);

..................

Ψ n(x0,x1,...,x n-1n)=Ψ n(x n-1n).

Случайные величины (ξ i < xi) T вероятностного пространства при i=0,l,2,...,n образуют цепь Маркова, которая в зависимости от значения i {п}может принимать целый ряд состояний, адекватно описывающих (n-1) состояний ИСМО:

411

2

i=0

ξ i={ξ012};

3

i=0

(17.63)

ξ i={ξ0123};

..................

n

i=0

ξ i={ξ01,...,ξ n}.

Если последующие состояния системы зависят только от настоящего состояния, то такая последовательность состояний системы образует марковскую цепь и, следовательно, такая ИСМО будет являться марковской. В системах, описываемых марковскими процессами, последующее (будущее) состояние зависит от прошедших (прошлых) состояний только через настоящее. Информационно-вычислительная система может находиться в одном из вышеперечисленных состояний ξ12,...,ξi,...ξ j. Условная вероятность Pij (Z) того, что после Z-гo перехода система окажется в ξ j-м состоянии, если после (Z-l)-гo перехода (шага) она была в ξ i -м состоянии, не зависит от предшествующего ξ i -му состоянию. Дальше мы будем рассматривать однородные марковские ИСМО, т.е. такие системы, вероятность перехода которых из состояния j в состояние у не зависит от номера состояния (шага перехода).

Обобщенным уравнением, описывающим марковские процессы, является уравнение КолмогороваЧепмена, позволяющее определять одну из главных характеристик однородных марковских ИСМО - вероятность перехода из ξ i -го состояния в ξ j -е за (k+l) шагов:

Pij(ε,k+1)=

μ

P (ε,k)Pμj(ε,1), (17.64)

где P (ε,k)- вероятность перехода ИСМО из ξ i-го состояния в момент ε за k шагов в состояние μ, являющееся промежуточным между i-м и j-м состояниями системы; Pμj(ε,1) - вероятность перехода из ξ μ состояния за l шагов в ξ j состояние.

В стационарном режиме работы ИСМО уравнение (17.64) можно записать в следующем виде:

Pij(Z)=

n

μ=1

P (Z1)Pμj(Z2), (17.65)

где Рij - переходная вероятность; Z=Z1+Z2 - число шагов перехода ИСМО из состояния i в состояние j; n - конечное число состояний.

Определив все переходные вероятности Рij,можно записать матрицу перехода системы из одного состояния в другое за один шаг

412

P11(1)

P12(1) ... P1n (l)

P21(1)

P22(1) ... P2n(1)

... ... ... ...

M(1) = (P n1(1)

P n2(1) ... Pnn(1) ), (17.66)

где 0 ≤ Pij≤1;