Протокол выбора компонентов программной системы многоатрибутивного выбора компонентов гарантоспособной системы управления и обработки информации представлен на рис. 2 в части окна с заголовком «Отчет».
В верхней правой части окна (см. рис. 2) приведено значение надежности формируемой системы управления и обработки информации, которая выступает ограничением при выборе компонентов.
Таким образом, в данной статье выполнена формализация постановки задачи формирования оптимальной структуры системы управления и обработки информации. Согласно данной формализации, при развитии системы управления и обработки информации обеспечивается повышение уровня ее надежности за счет резервирования элементов отдельных подсистем при условии, что ресурсы использованы не полностью.
В результате теоретических исследований, проведенных при тестировании программного комплекса, подтверждена высокая эффективность мультиверси-онной методологии при разработке гарантоспособных систем управления и обработки информации и целесообразность ее применения в таких критичных областях, как космические системы, распределенные вычисления, а также управление и обработка информации.
Результаты работы позволят решать задачи по формированию и развитию структуры систем управления и обработки информации, обеспечивающей
гарантоспособность функционирования систем данного класса.
Библиографические ссылки
1. Теоретические основы проектирования инфор-мационно-управляющих систем космических аппаратов / В. В. Кульба, Е. А. Микрин, Б. В. Павлов, В. Н. Платонов. М. : Наука, 2006.
2. Синтез и управление развитием кластерных структур АСУ космических систем / Р. Ю. Царев, Д. В. Капулин, А. В. Штарик, Е. Н. Штарик // Вестник СибГАУ. 2012. № 2 (42). С. 80-84.
3. Оценка транзакционной надежности современных систем управления и обработки информации / Р. Ю. Царев, А. В. Штарик, Е. Н. Штарик, О. И. Завьялова // Приборы и системы. Управление, контроль, диагностика. 2012. № 6. С. 29-32.
4. Антамошкин А. Н., Колташев А. А. Технологические аспекты создания бортового программного обеспечения спутников связи // Вестник СибГАУ. 2005. Вып. 3. С. 93-95.
5. Практическая реализация надежностного анализа архитектуры программной системы / Е. В. Граж-данцев, М. А. Русаков, О. И. Завьялова, Р. Ю. Царев // Вестник СибГАУ. 2008. Вып. 1 (18). С. 37-40.
6. Оценка времени выполнения мультиверсионных программ на кластере с последовательной и параллельной архитектурой обмена данными / И. В. Ковалев, П. В. Ковалев, В. С. Скориков, С. Н. Гриценко // Вестник СибГАУ. 2009. Вып. 2 (23). С. 79-83.
R. Yu. Tsarev, D. V. Kapulin, D. V. Mashurova, Ya. A. Tynchenko, D. N. Kovtanyuk
MULTIPLE ATTRIBUTE COMPOSITION OF DEPENDABLE CONTROL AND DATA PROCESSING SYSTEMS
The article presents a model of composition of dependable control and data processing system. An iterative procedure of dependable system composition is proposed. Software system of multiple attribute of choice of components of dependable control and data processing system is presented.
Keywords: control and data processing system, optimization, dependability.
© Царев Р. Ю., Капулин Д. В., Машурова Д. В., Тынченко Я. А., Ковтанюк Д. Н., 2012
УДК 519. 95
Т. К. Юлдашев
О СЛАБОЙ РАЗРЕШИМОСТИ СМЕШАННОЙ ЗАДАЧИ ДЛЯ НЕЛИНЕЙНОГО УРАВНЕНИЯ С ПСЕВДОПАРАБОЛИЧЕСКИМ ОПЕРАТОРОМ ВЫСОКОЙ СТЕПЕНИ
Изучаются вопросы слабой разрешимости смешанной задачи для нелинейного дифференциального уравнения с псевдопараболическим оператором произвольной натуральной степени.
Ключевые слова: слабая разрешимость, интегральное тождество, счетная система нелинейных интегральных уравнений, метод последовательных приближений.
В области D рассматривается уравнение с начальными
( д д 2m+\ д 4m+1 д 4m \ п U (, Х) |*=0 “Ф1 (x),
д 1чт д2m+1 д4m+1 д4
----+ (—1) v------- —+ VU------------- —\----- —
д t д t д X2m д t д X4m д X4m
/
l(t, x) = f (t, x, u (t, x)) д t
(1) дj 1 ----------------------------- (2)
w ---—u(t,x),t=o =(Pj (x), j = 2,n
и граничными условиями
u (t , x)\x =0 = Uxx(t , x)| x=0 = •••
d 2(2nm-1)
-и (t, x), x=0 =
& x 2(2«m-l)
= и (t , x)| x=/ = Ихх(Г , x)| x=/ = •••
& 2(2nm-1)
& x 2(2nm-1)
и (t, x)| x= = 0,
ф (t, x)
таких,
что
ф (t, x),
d
2
Ф (t, x), ...,
5
2(2 nm-1)
ф (t, x) при фиксирован-
d x2 .........d x2(2 nm-1)
ном t e DT принадлежат области определения опера-
з4nm-2
тора
d
d х
4 nm-2
имеют производные порядка к по Г,
Tl
д ” д
----ф+п---------- —-—
діп дtn-l &у4 m
n+4m-' п (п-1) д n+4m Л
ф + —---------------;----;--тф +
2 дґп-2 ду 4m+2
+ ... +
п(п-1) д
4 nm-2
з 4 nm-1
2 я. l4nm-4
ф+п
д? ду
4nm-2
ф+
ду
4nm
ф+
+V
сгп ду2m
ф + п
дп
дґ-1 ду6 m
п (п-1) д п ф+— -------- -----------------ф+
2 сГп-2 ду 6m+2
+ ... +
п (п -1) д
4nm+2m-2
2 а2 ду
2 ,4nm+2m-4
ф+п
д
а ду
4nm+2m-1
ф
4nm+2m-2
(3)
+V|J,
f д n+4m
+ п -з, ,4m
+ ... +
дҐ ду
п(п -1) д
dn+8m-i п(п-1) dn+8m Л
ф+п--------:---— ф+ —---------^-------------г-ф+
ап-1 ду8m
4nm+4m-2
п-2 ,8m+2
где f (t, x,u) e С (D x R), ф J (x) e C 2nm+1 (Dl) ,
= ... = ф j(4”m-2)(x) x=o = Ф j (x)| x=0 =Ф"' (x)| x=0 =
= Ф J (x) | x=l = Ф j (x) | x=l = • •• = Ф;4”m-2) (x) x=l = 0 , J = 1, П , D = DT x Dt, DT = [ 0,T ] , Dt = [ 0,l ] , 0 < l <ro,
0 < T < да , 0 <v , ц - малые параметры, n, m - натуральные числа.
Следует отметить, что изучению разного типа линейных и нелинейных дифференциальных уравнений в частных производных и их систем посвящено много работ и при этом применены разные методы [1-3]. В данной работе, в отличие от работ [4; 5], используется метод разделения переменных, основанный на поиске решения смешанной задачи (1)-(3) в виде
u (t, x) = lim ]Г f 1 - l—О at (t) • bt (x), (4)
Ni =1 V N )
где bt (x) = ^jy sin ^ ix, ^ i = ~Y ■
Обозначается через W2( k^ (D) множество функций
принадлежащие Ь 2(D), и обращаются в нуль при t > Т -5 (0 <8 - зависит от Ф (t, х)).
Определение. Если функция и ^, х) е С (D) удовлетворяет интегральному тождеству
2 а2 ду 4nm+4m-4
ф + п
д
dt ду
2 дТ-2 ду'
4nm+4m-1
ф
ddt =J Ф1(у)
дд п+4m-2 п (п -1)
■ф+п-------- —— ф+—-----------
dtn
агп-2 ду4m
лn+4m-1
ап-3 ду4 m+2
ф
п (п -1) д
дг ду4
гф + п
ф
+V
f д n+2m-1
дТп-1 ду 2m
ф+п
дГп-2 ду 6m
п (п-1) д п
ф^^----- ---т—^-гф+
п (п -1) д
2 Шп-Ъ ду 6 m+2
nm+2 m-2 \
2 ду
-ф + п
ф
+УЦ
f д n+4m-1
ctn-1ду4m
д n+8m-2 п(п-1) д n+8m-1 Л
ф + п---------— ф^^----------------------ф +
&п-2 ду8m
2 ап-3 ду 8m+2
+ ... +
п (п -1) д
4nm+4m-3
4nm+4m-4
ф + п
д
ду
4 nm+4m-2
ф
4nm+4m-2
d-
t=0
-/ф2(у)
дп-2 д n+4m-3 п(п -1) д n+4m-2 Л
-----гф + п------------— ф + ^---------------;---;---—ф +
дгп-3 &у 4m
п-4 rs .4m+2
2 дґ-4 ду
+... +
п(п- 1)(п-2) д
4nm-5
-,4nm-4
3!
4nm-6
+V
f д n+2m-2 д
------2--2^ ф + n--------
Сгп-2 ду2m
&x
n+6 m-3
4nm-4
n(n-1) д ф^^—-——ф+
2 Cx
n (n -1) дn
дгп-3 &у6m
ф
2 дгп-4 &у6m+2
ф
n(n-1)(n-2) c4nm+2m-5 ф + n(n-1) c4nm+2m-4
3!
+v ц
Ct Су
f д n+4 m-2
4 nm+2m-6
2 Су
4nm+2m-4
&tn-2 ду4 m
ф + п
^n+8m-3
ctn-3 ду8 m
ф+
n (n -1) д
n +8m-2
n-4 .8m+2
2 &tn-4 &у
>4 nm+4m-5
ф+ ... +
n (n -1) (n - 2)
3!
д 4«m+4m-5 n (n-1) а
X-------:----:--гф +
дГ Су
l
4nm+4m-6
2 ду
4nm+4m-4
dу+
Г=0
-|фп-2 (у)
-ф + п ■
-ф +
п (п -1) д
4 m+2
. 4 m+2
+V
+V^
f &2m+2
dt2 ду2 m
f &4m+2
аг2&у4m
d 6m+‘ n (n -1) d
ф + n-------------— ф + ——
2 &у
6 m+2 Л
ф +
dt ду
6 m
ду
6 m+2
ф
&8m+' n(n-1) d8m+2 ^
ф+п------— ф^^------ —-—-ф
dt ду
8m
ду
8m+2
d+
t=0
+
+
+
\}ф„-1( y)
д д4 ” ( д2 m
—Ф+n—-—Ф+v --------
д1 ду4 m 1дг ду
—Ф+n——Ф +
2 m ду 6 m
+V ц
( д 4 m+1 , 4 m
8 m Л
Ф + n--— Ф
- |ф n (у)
дt ду 4 m ду
8 m
dy -
t =0
Ф + V „ Ф + V Ц —
ду2m ду
Ф
dy
t=0
для любого Ф (t, х) е W2('п) (D), то она называется
слабым решением смешанной задачи (1)-(3).
В силу (4) из определения смешанной задачи (1)-(3) следует:
11
a г ( t) = W- ( t) +
\\fs,y,,йда21Ч;г1a<s>bjw
N
т. е.
x Pi (t, s) b- (y) dyds;
N ( i - 1'
i(t, x) = lim^l 1 ——I a- (t) • bt (x) =
N i=1
N ( i -1
N
= “m,z |1 - -Nr j м x > [ w- <t >+
l ( N ( / -1Л Л
s,y, lim 2 l1 —гг I aj(s)bj (у) P‘(t, s)b‘ (у) dyds
N“ V N j
J _1 J
w
w- (t)=2 ф b 50 ‘-k (v,ц) jkrxp{-e»(v ,ц) t
Pt (t, s) =
(n - 1)!(t - s)n 0 0 (v, Ц)
01- (V, ц) =
-• exp
{-01-(V, |)(t - s)};
0 0(V, I
0n / \ / i , 2 m 4 m \ n
Oi(v,Ц) = (+ VXI + VIX- ) .
Теорема. Пусть выполняются следующие условия.
1. Функция f (t, x, u) при фиксированном t е DT
непрерывна по (x, u) е Dl x Л и удовлетворяет условию Гельдера по x.
t
2. f (t, x, u) е Lip{ g (t) |u }, где 0 <jg (s) ds <да;
0
3. Ilf (t,x, u0(t,x) )|| <g(t).
4. u0(t, x) е C'(D),
где
, (t, x) = lim 2 (1 -l—^ w- (t) • b - (x).
N - =1 V N j
Тогда уравнение
u (t, x) = u 0 (t, x) +
■| N^211 - VJf (u ^b-(x) P-(t,s) ds, (5)
где
f- (u ) = j f (s,y, u(t,y))b-(y)dy
имеет единст-
венное решение в классе C1 (D).
Доказательство. Если u (t, x) е C (D), то
N
2N
i =1
j 11 -^J f (,y,u0(t,y )b-(y)dy < mH f (t, x, u 0(t, x) )< g (t)
b-(x)
lim 2
ЛГ
''i =1
j 11- —Jf (t, y, u 0(t, y) )b- (y) dy
= f (t, x, u 0(t, x)) ,
•b-(x) =
причем сходимость равномерна по x для любого
t е DT .
Так как функция / (/, х, и (/, х)) удовлетворяет
условию Гельдера, ее частичные суммы равномерно ограничены:
2 f (u )b-(x)
<81 • f (u )| |C , 0 <Sj = const.
Рассмотрим следующий итерационный процесс:
u k+1 (t, x) = u 0 (t, x) +
+jN^211 -NJf-(uk)•b-(x)P-(t,s)ds, (6)
0 i =1
где
f- (uk ) = j f (s, y, uk (t, y))b- (y)dy, k = 0, 1 2.......
Тогда из (6) следуют оценки
u, (t,x) -u0 (t,x) <
I ^ ^ IIC (D)
l N
N
0 - =1
j I™2!1 - l-NT If-(u )b-(y) dy
N
bi (x) Pi(t, s)
ds <
< Л1f (u )l C (D) •P-(t, s) ds < j g(s) ds, (7)
‘k+1
(t,x)-uk (t,x)|| <-1v ’ k v ’ 'IIc(D) (k +1
k+1
j g (s) ds
. (8)
llC (D) (k +1)!
Из (7) и (8) следует равномерная сходимость при k последовательности функций { u k (t, x)} } к
- =1
4 nm
X
функции и ^, х), которая является решением уравнения (5). Единственность решения уравнения (5) следует из оценки
\u (t, x)-&(t, x)||C (D) <
¿j g (s) || u (5, x) - & (s, x) 11C (D) ds,
(9)
если предположим, что уравнение (5) имеет два решения и ^, х) ид ^, х) в области D и применим] к (9) неравенства Гронуолла-Беллмана.
Библиографические ссылки
1. Ладыженская О. А., Солонников В. А., Уральце-ва Н. Н. Линейные и квазилинейные уравнения параболического типа. М. : Наука, 1967.
2. Нахушев А. М. Об одном приближенном методе решения краевых задач для дифференциальных уравнений и его приложения к динамике почвенной влаги и грунтовых вод // Дифференц. уравнения. 1982. Т. 18, № 1. С. 72-81.
3. Похожаев С. И. Об априорных оценках и градиентных катастрофах гладких решений гиперболических систем законов сохранения // Тр. МИ РАН. 2003. Т. 243. С. 257-288.
4. Юлдашев Т. К. Смешанная задача для нелинейного интегро-дифференциального уравнения, содержащего куб параболического оператора // Вестник СибГАУ. 2011. Вып. 2 (35). С. 96-100.
5. Юлдашев Т. К. Смешанная задача для нелинейного дифференциального уравнения четвертого порядка с малым параметром при параболическом операторе // Журн. вычисл. математики и мат. физики. 2011. Т. 51, № 9. С. 1703-1711.
^ K Yuldashev
ON FEEBLE SOLUBILITY OF MIXED PROBLEM FOR NONLINEAR EQUATION WITH PSEUDO-PARABOLIC OPERATOR OF HIGH DEGREE
The author studies problems of feeble solubility of mixed value problem for nonlinear partial differential equations with pseudo-parabolic operator of arbitrary natural power.
Keywords: weak solubility, integral identity, countable system of nonlinear equations, method of successive approximations.
© Юлдашев Т. К., 2012