Управление эколого-социальными системами на основе интегративной логики и модели предметной области
In work the method of the analysis of management processes in natural subject domains is considered. Tools of a method are integrative logic and model of a subject domain.
Збережено в:
| Дата: | 2009 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2009
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/16988 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Управление эколого-социальными системами на основе интегративной логики и модели предметной области / Ю.А. Прокопчук // Індуктивне моделювання складних систем: Зб. наук. пр. — К.: МННЦ ІТС НАН та МОН України, 2009. — Вип. 1. — С. 165-174. — Бібліогр.: 6 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860126905591660544 |
|---|---|
| author | Прокопчук, Ю.А. |
| author_facet | Прокопчук, Ю.А. |
| citation_txt | Управление эколого-социальными системами на основе интегративной логики и модели предметной области / Ю.А. Прокопчук // Індуктивне моделювання складних систем: Зб. наук. пр. — К.: МННЦ ІТС НАН та МОН України, 2009. — Вип. 1. — С. 165-174. — Бібліогр.: 6 назв. — рос. |
| collection | DSpace DC |
| description | In work the method of the analysis of management processes in natural subject domains is considered. Tools of a method are integrative logic and model of a subject domain.
|
| first_indexed | 2025-12-07T17:41:56Z |
| format | Article |
| fulltext |
-
, 2009 165
65.011.56:519.23:616
-
. .
- ,
itk3@ukr.net
-
. -
. -
.
:
, , , ,
In work the method of the analysis of management processes in natural subject domains is con-
sidered. Tools of a method are integrative logic and model of a subject domain.
Keywords: control, integrative logic, model of a subject domain, developing system
. -
.
.
: , , , -
. -
,
.
,
.
-
, -
, [1-6].
-
. -
-
.
.
: 1)
;
2) ( ); 3)
, ; 4)
( ) , -
; 5) -
.
. .
, 2009 166
.
.
. { }- , -
, , -
( , ). -
.
( ) ( ). ,
T, -
: /T. , -
( ) . -
[4], : {T
T } .
t/
- , . :
1= : ; 2= : { , , , } ; 3= ; 4= -
; 5= . , , « » . ..
( -
), . . (
): 1
2
3
4
5.
: e1 = < /T, t/ > e2 = < /T, t/ >.
e1 , t/
/T /T. -
e2 , t/
/T
/T. -
: e1 = e2, e2 = e1.
-
, : e = <{ /T}, t/ > e = < { /T}, t/ >.
e = <{ /T}, / >,
-
( ).
: e = i <{ /T}, i/ > = <{ /T}, / >,
= i i.
-
/T ,
.
-
{< /T, t/ > | /T ,
}.
J - .
x , : J
x
J
/T. , ,
.
= ({<J
/T, J
t/ >}),
= { 1, 2, , n}.
.
, -
-
. :
(1) ( ) -
-
, 2009 167
( / ), -
.
, -
« ». -
/ .
-
. , -
( , , -
).
(2) -
I
( -
, ). -
, ,
( ). / -
.
(3) . -
, , -
( -
). -
. , -
. « »
( , , ),
. . -
.
(4) /
.
(5)
. -
{T
T } , . .
.
( , ,
. .) .
,
. -
.
, -
,
-
[4]. -
( -
), . ,
.
(6)
: , , , -
, , . . -
. .
, 2009 168
, , ,
( ). -
.
(7)
( )
. -
, -
. ,
( , ), -
, ( ,
), .
(8) ( ,
, , )
-
« » ( ) « » ( ). « » -
, -
. « »
(
).
(9) , ,
. - -
, , -
. -
, , , -
( -
). -
, ( -
).
- « ».
(10) -
: 1. -
( ). -
« », « », « » . -
. . 2.
. 3. -
( , ) :
, , -
, . .
(11) . -
, , -
, -
. -
-
.
. « »
-
, 2009 169
( -
).
:
1. ,
(
).
2. ,
.
3. , -
.
4.
" " , -
( ) , .
" -
"
, .
, -
( , -
, . .) . (
) [2]. -
,
. ,
, , ,
. -
.
( )
.
, -
, [2].
(
, , -
), ,
. ,
.
, , -
- -
(
). ,
(
, , , -
).
,
,
. .
, 2009 170
.
-
. , . -
: 1) ; 2) . -
.
, , « »
. ,
- . ,
, .
,
-
( ) -
. -
, -
,
.
.
-
, -
.
-
I, (x), x
, I
,
- -
,
( , I,
).
-
,
(x) x -
.
. , { /T } =
({ /T})
- .
=
( ) -
-
, . k
=
(k) -
k
. .
E(x)
-
x. (4) , x E(x)
E(
(x)).
X* = {x | I, (x) = ,
I, (
(x)) = },
.
: I
-
X*.
, , -
[3, 4].
.
<O, k>,
, k- -
. O , ,
,
-
, 2009 171
, [4]. k
:
k = kC
kM kA kO, (1)
kC - ; kM
-
; kA
, ,
; kO
. k -
= { }.
kC -
:
kC = {f/ : k1 k2 |
{ }f}
Pk, (2)
f/
- , ;
{ }f -
( -
); k1
( );
k2
; Pk
, . . -
, .
Pk -
, : -
f , Ef -
Ef > Ef
*,
( -
k1, ).
.
.
a, b, c, d, {a} . . W({c/C})
{c/C}.
kC
:
f/ : {J
b/B}
{J a/A}, {c/C}
Wf({c/C}),
{ }f (3)
Ef = E + g Egf + E + E / , (4)
E
; Egf
g- ( ); E
-
( ); {E / }
-
/ ( ). -
,
( ).
(4)
( . ).
kA : kA = {J
}, J
;
- , , .
. [5] -
-
,
. .
. .
, 2009 172
( ) X
I (X), : true, false, ?
(unknown). I (X) = true, , X
( ). X
, R
, I
, -
( )
:
R,I: X X+, I (X
+) = true, (5)
X+ - I ( ) -
, , -
, R X.
: X,
R,I: X
X+,
R,I: X
+
X+, I (X
+) = true. -
, ,
X+ X.
:
R,I:
X+.
M = {m} , -
( , ) -
M m
m, -
{p}m. M .
I : « -
m» ( ). -
, : R, I
R, m. m
( ).
X -
.
m(X).
m , -
: m = <f1/ 1, f2/ 2, , fn/ n>, fj
-
j- , j
. -
j- fj/ j. -
,
. m, . .
t*.
( )
[t1, t2]
j (j=1, ,n)
[t1, t2], R : m(X(t1)), u([t1, t2]), ([t1, t2]) X(t2), t* [t1, t2] (6)
u([t1, t2])
[t1, t2]; ([t1, t2])
;
R
- (
-
, 2009 173
u, R
R). ,
, -
, -
m.
t j-1/ j (j=1, ,n; 0 = t*), -
(t+1) j/ j+1, , ,
,
:
X(t+1) = R(t+1), m ( [t, t+1] , R ( m(X(t)), u([t, t+1]), ([t, t+1]))),
New t* [t, t+1]
(7)
X(t*) = R(t*), m ( X(t*)), t* (X(t*)) = true, (8)
t(X(t)) = true, t+1(X(t+1)) = true, (9)
u([t, t+1]) = fj/ j, (10)
fj/ j
- j- .
( )
{ [t, t+1], R ( m(X+(t)), u, )| t(X
+(t)) = true, t}. (11)
,
.
.
- -
, , V ,
[6]. -
{J
b/B} |
( -
). f
, < -
/ ; , >
<f/ , {J
b/B}>.
<f/ , {J
b/B}> |
f. DB
{ }.
.
-
.
.
: {J
d/D};
: { } |
DB;
: : DB, k(t)
k(t+1);
:
= f = V = ;
: {J
d/D} |
;
( ):
{c/C}
{c/C}
Wf({ / }) {J
b/B}
<f/ , {J
b/B}> f,
. .
, 2009 174
: f/ : {J
b/B}
{J
a/A},
{ }f, f
k;
{J
a/A} |
; <f/ , {J
b/B}> |
f;
J
a/A
{J
a/A | A
A }; {J
a/A } |
;
{b}/B
<g, {b}/B> f, : g: {b}/B
(B \ {b}/B);
(B \ {b}/B) |
; <g, {b}/B> |
f;
f/ : {b/B}
a/A Wf({ / }), a/A
f a/A
{c/C}
<hf, a/A> f, : hf: a/A
f a/A = {{b/B} | f/ : {b/B}
a/A,
{ }f , {c/C}
Wf({ / }), f
k}; f a/A |
; <hf, a/A> |
f;
f/ : {b/B}
a/A Wf({ / }) (J
a/A | J
< J1)
, :
{b/B}, { / }|
V ( , . [6]);
Ef > Ef
* <f, {J
b/B}> f, : {b/B}, { / }|
V (
, , ).
, .
: .
,
,
,
, -
, -
,
.
- .
1. . . -
: . - .: , 2006. - 240 .
2. . . . -
.
: . « », 2009.- 304 .
3. . . : -
.
: , 2007.- 259 .
4. . .
// , 2008. -
3. - . 727 736.
5. . . -
// , 2009. - 1(34).
. 378 384.
6. . . //
, 2007. - 4.- . 491 496.
|
| id | nasplib_isofts_kiev_ua-123456789-16988 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | XXXX-0044 |
| language | Russian |
| last_indexed | 2025-12-07T17:41:56Z |
| publishDate | 2009 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| record_format | dspace |
| spelling | Прокопчук, Ю.А. 2011-02-17T21:21:09Z 2011-02-17T21:21:09Z 2009 Управление эколого-социальными системами на основе интегративной логики и модели предметной области / Ю.А. Прокопчук // Індуктивне моделювання складних систем: Зб. наук. пр. — К.: МННЦ ІТС НАН та МОН України, 2009. — Вип. 1. — С. 165-174. — Бібліогр.: 6 назв. — рос. XXXX-0044 https://nasplib.isofts.kiev.ua/handle/123456789/16988 65.011.56:519.23:616 In work the method of the analysis of management processes in natural subject domains is considered. Tools of a method are integrative logic and model of a subject domain. ru Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управление эколого-социальными системами на основе интегративной логики и модели предметной области Article published earlier |
| spellingShingle | Управление эколого-социальными системами на основе интегративной логики и модели предметной области Прокопчук, Ю.А. |
| title | Управление эколого-социальными системами на основе интегративной логики и модели предметной области |
| title_full | Управление эколого-социальными системами на основе интегративной логики и модели предметной области |
| title_fullStr | Управление эколого-социальными системами на основе интегративной логики и модели предметной области |
| title_full_unstemmed | Управление эколого-социальными системами на основе интегративной логики и модели предметной области |
| title_short | Управление эколого-социальными системами на основе интегративной логики и модели предметной области |
| title_sort | управление эколого-социальными системами на основе интегративной логики и модели предметной области |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/16988 |
| work_keys_str_mv | AT prokopčukûa upravlenieékologosocialʹnymisistemaminaosnoveintegrativnoilogikiimodelipredmetnoioblasti |