Методи формального опису систем управління повноваженнями на основі використання математичної логіки
Gespeichert in:
| Datum: | 2010 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
2010
|
| Schriftenreihe: | Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/28292 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-28292 |
|---|---|
| record_format |
dspace |
| spelling |
nasplib_isofts_kiev_ua-123456789-282922025-02-09T14:08:20Z Методи формального опису систем управління повноваженнями на основі використання математичної логіки Дурняк, Б.В. Сабат, В.І. Шведова, Л.Є. 2010 Article Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. XXXX-0067 https://nasplib.isofts.kiev.ua/handle/123456789/28292 004.921 uk Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України application/pdf Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| format |
Article |
| author |
Дурняк, Б.В. Сабат, В.І. Шведова, Л.Є. |
| spellingShingle |
Дурняк, Б.В. Сабат, В.І. Шведова, Л.Є. Методи формального опису систем управління повноваженнями на основі використання математичної логіки Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| author_facet |
Дурняк, Б.В. Сабат, В.І. Шведова, Л.Є. |
| author_sort |
Дурняк, Б.В. |
| title |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_short |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_full |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_fullStr |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_full_unstemmed |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| title_sort |
методи формального опису систем управління повноваженнями на основі використання математичної логіки |
| publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| publishDate |
2010 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/28292 |
| citation_txt |
Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 2010. — Вип. 57. — С. 267-275. — Бібліогр.: 5 назв. — укр. |
| series |
Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| work_keys_str_mv |
AT durnâkbv metodiformalʹnogoopisusistemupravlínnâpovnovažennâminaosnovívikoristannâmatematičnoílogíki AT sabatví metodiformalʹnogoopisusistemupravlínnâpovnovažennâminaosnovívikoristannâmatematičnoílogíki AT švedovalê metodiformalʹnogoopisusistemupravlínnâpovnovažennâminaosnovívikoristannâmatematičnoílogíki |
| first_indexed |
2025-11-26T16:00:39Z |
| last_indexed |
2025-11-26T16:00:39Z |
| _version_ |
1849869305120817152 |
| fulltext |
267 © �. �. ����� , �.
.��
��, �.�.�������
���. 2 (38). – �. 23-28.
10. ������� �. . ���������� ������� ���� � �������� � ���������! ����������!
���� ����! ���������!. "���� II / �. . ������� // #��$% &��
'*. – +����, 2004. –
���. 2 (38). – �. 29-34.
���
���� 11.08.2010�.
&�5 004.921
�. �. ����� , �.
.��
��, �.�.�������
������ �� �
��
��� ����� ������ ��
���
�
���
��
��
���
��
��� ���� ���
�
�
���
���
�� ������
�����%��� :� �%�����%��� �������;��� ��;�� %������������� � ���%<,
=� ��>�� ��� �����? !��� ���. &����, =� �����:�>�� ��;���%���
���� ����� ��!, :� %�@�! ���%?, �� �; ����� �>�� ��� ����� %���������$%>,
�� %�� � <! ������� �
%��@���% ����� %� �� �, =� ����� �� ���A���� �
� ��
�� ���A����. B%; �������, =� ������>>�� ���� ����� ���%< % �%; ���%���
%���>�� ���A����’�� �, =� ����� �>�� <! ���%:�� %���������$%>. ����� ���,
��� ���� ����� ��� �< ���%< yi ��;� �� �������������� ����� ��
%��$%�
���%?, ��’��� �%; � ��� ����� � <! ��� ����%? %���������$%<, �����A����
���%:���� C�� $%��� ���� ��� :������� � �&, , ,� � � . ������� $�! C�� $%?
����;�� �%� ��! :� %�@�! �����
���������< �
����% ����: ������%���
��������;������ ��;� ���@������� ����� ����� ���%:���� C�� $%���, � %
������������� ���%���% ���%:�% ��%��%���@����, %������������% � � �%���
��� �< ����:%, �
� ���$%��%�����% ��%��%���@���� �%; � ������ ��%�����, =�
��>�� ������ %���������$%> � ��������%? �
����%, � � �����;�A���� �
%���������$%A>, �����������?����> � ��������:�%? ���%$% [1].
&����, =� �����>�� ��;���%��� ���� ����� ��! :� %�@�! ���%?,
C����>���� ��������:��� �%����%���! %�C����$%?��! ������ % � ���@�
:���� ���� �����:�>���� %���������$%A> �%����%���! ����! �� �����$%? �
$��� ������. ��� ����, =�
��;��
��� C�������� ����% ���� ���� ����! ��
<! %���������$%<, ���
!%��� �������� ������� �$%�� ����!, =� �� ����-
����>���� � %�C����$%?��! �������! (IS). �%����%��% ������ � �$%� � ����!
������������ �%��������� �� �����! ���� ��������:%�. *��� ������ �$%� �
����>�� ��
�> ����� %A���!%> � �����% � �< ��;���
����% �����:����
�%����%���! �$%�� . #��
���� �$%�>����� ����! �%��� ���’����� � ��
����
���@��
� ��� �%����%���! �$%�� . +� %�� � %�C����$%?�% ������� E�����-
������ �� �������% ������%! � ��������! ���%<� �� ���%< $�C���% �� � $�C���%
268
���’>����% �������, =� C����������, �
��� ����! �
� � ���$%��%�����%
������� ����!, �� % ������ �$%� � �%����%���! ����! �� �; ������������ �
%�C����$%?��! ������, =� C���������� �� �����% ��������! ���%<�
%�C����$%<. F� �������� �� �� �! �
��;��� � IS, � % ����%���������� �
$�C����! ���� ����!:
— %�� %��� �$%�� , =� ��� $���� �� ��������������,
��� �
��;���>;
— ����%
�����:���� $%A< :� %�@�< �$%� � ����A�� ����;�� �%�
��
’A �����! C� ���%� ��������:%�;
— ��������? ����%� �� ������% ����!, =� ���� �%��% �$%� �,
��� ������
� ����� ���������, �� %�� � ���A������;����% �%; �%����� �$%� ���
����������� ���%����� �������� ��%��%���@������.
#�� ����� �� �! �$%�� ��;��� ��������� :������!-�%����% �$%� �, � %
�%���% � ������? Bell-Lapaduli �� %�@�! % �����:����� � «�������% ���%»,
«���% ��� ���;
����� �� ���������», «��A��% ���%» �� «������:�?�� ��A��%
���%» [2]. #�� ����!��% �� IS, =� ����%��>���� � $�C����! �������!, ���A
��;����� �� ������������ ���:��
%��@� �%��%� �$%�� , � % ��;�� �����-
:��� � ��� �! ��
����< @ ��� ���%�>�����. �� ��������� ������ �< %�� �-
��% �����$%? ��� �$%�� ����! ������������ ���
�-��� �����> �������>
�$%�� % �%����%��� @ ��� <! ���%�>���� — ���
�-��� �����> @ ���>.
K���%��>:� �%���% �����% �$%�� �� ���
�-��� �����! @ �� �%������� @ ���
� � �! %�� %��� �%��%� �$%�� (RO)
��� ��
%��@�> �’���, �
�: R M 5.
+��
���%��> ���
�-��� �����< @ ��� A ��, =� �;�� �$%� � �����:�A����
�� �>:�� ��!���:� %� ��
’A �����! �%� ����� ��������:�, � �? �
%��@���%
����� %� A ������ �� �%����%���! ����!. & ����� � ��%
��-��� �����<
������� �$%�� , �
� ��� �� ��������% ��%
��-��� �����< @ ��� (DDH),
���� �>�� �� % ��;������%:
— �������������� ���$��� �����:���� �$%�� �� �����% C� ���%�, =�
%���������$%?�� ���’����% � �%����%����� �$%� ��� % =� �� �>:�A
C�������� ����� %���������$%> ��������:�� (���
!%��%��� � ����<
�$%� � � DDH);
— �%�� �:������� DDH ��;� ����%���������� �
% ����@���� ����:���
� ������ ���%�� � @ ��% �$%�� ���%�� � =� ��� �%����%����� �%���
�:�������� �����������, � ���%? C���% ���;���:��, %���������$%�
�%����%���! �%��%� �$%�� ;
— ��� ����@���% �%��� ��� ������$%< RO ���
!%��� ���������� ��� �
�����$> �� ��� ����@���� O(RO), �%��� � �< ����@���� RO �� ��;�
���� �
E���������< %���������$%<.
5��� DDH ������A �%��� O(RO), �� ������������ ��� ����������������
@ ��� �$%�� ����! (PNH). � ��� �� ��� ����
����� �%������� � ��
����������! @ �� � ��: � ���� �����%� ����%�� �%����%���! �$%�� . #��@ �%;
�����:��� �%, :� %�@% ����%��:�% ���
������% ������� �$%�� , �� � %�����
�%��% �������%��A�� ���:���, =� ������>>�� ��$%���%��� �� ���������
�%����%���! �$%�� . ���������� �����:���, =� �
’A ��� �$%�� �� ������
��� ��@� ���%. +
’A ���� �$%�� ��;���
��� ���$���, =� C�� $%���>�� �
269
IS, � ���% �������� �� %�@% ���������, =� �� ��������>���� ��� ����%��$%<
���$��%� C�� $%�������� IS � $%����. '%��% �
’A �� ������������ �%�����
���������, �� %�� � ���� ��;��� �$%�>������ �� �����% �%���!
%���������$%?. *��� ��� �;��< � ����< ������� ���
!%��� �� ������������
� ���� ������� @ ��. +:������, =� �� ���������� �%��% �$%� � IS ���
!%���
���������� ������ %������$%< �$%�� � �%���! �������!. � $���� ����� �
������� �$%�� �����:������� DDH(K), �� K
��� %�����C% ������ �������,
� � %? ����������� �$%� �.
'��������� ������� ������:���� �������;��� � � %?, � �� ��������
��;���%? �%�% ��%�%��A���� ��;���%��� �������� ��
’A �����! C� ���%� �
�����:���� �������;���, =� �����>���� ���� �� ���������. P ���?���� �
�%����! ������! �$%� � �
’A �%�, ������������ <! ������%���, � ��
’A ��
�%������� �� �%���! ���%�. & ��� �! �� ��� �%�!��� ������� ������%���
�������;������ (SUP) � ����A���� � �� �! ��������:
— ������%��� ������:����� ������%? �;���� � ���� �
’A ��;
— ��������� ������%���� �� �����:����� ���� ��
’A ��, =� ��;� ����
�% :� %�@% �������;���� �%������ �
’A �%�;
— ��������� ���A����’�� %� �%; ������ �� ������%���;
— ��������� �����:���� ����:��< ������%< � ������ �
’A ��;
— ��������� �����:���� ����:��< ������%< � ������ ��
’A ��.
�� ��:�� ����� ����% C��������� ������� �������;��� ��% �
’A �� ��
��
’A ��, =� A �%������ �� ������ %������$%< SUP, ������>�� ������%< ��
���� �%����%��� ����! ��� ��������� �
����� �� � �< ���� �%���������. ��
$���� ����% �%�� ��
’A �������% A �� ��������> ��� SUP, �� %�� � ����
���������< �
����% C����A���� C�!%�$���, � % ���$%��%��>���� � �%����%��%?
��������%? �
����% Wi.
�� ��������! �����! C�� $%�������� SUP, ������%��� �������;������
����%��>���� � �%����%�����% � �� ��� C� ������:
— ��%��> ���� ��
’A �%�, =� ������>A���� ���%���, � % �%�
���>���� �
Wi % ����>�� ��
�> ���$��� �������C% �$%< ��
’A �%�;
— �� �����% ����!, =� �������% � ���������% ���������� ������> ����
������� � ����! ��
’A �%� �� �%����%���! �
’A �%�;
— �� �����% ���%?, =� �%�
���>���� � Wi % ���’����% � �
’A ���� ��
��
’A ����;
— �� �����% ��%� ������%? � �
’A �%�;
— �� �����% ����! ��� ��� � �� ������� ����!, =� ����A���� ����-
�����> Wi.
'��������� �������:�% ������ ����� �� ����%�;���� �����%� ������%���
������:������ ������%? �;���� � ������ �
’A ��, �
� ����% �
’A �%�.
+� %�� � � ����! �
’A �%� ��;�
��� ������
�����, �� ���������� �� � ���%
�
’A �� � <! ����, � �� � ����! �
’A �%� ����?���� �� �����% � ����!
����,� % ������������ ������� �����%��$%<.
#��@ �� ���, �����:��� ����$����% ����;����, =� �����:�>�� �����
�
�����:���� �%A< :� %�@�< ������%< ��� �
’A �� xi, =� C�������� �����:�-
270
������ xi(kj), �� xi — �
’A �, � kj — j-�� ������%� �
’A �� xi.
�%����%��� �� �%����! �$%�� ���?����, =� ������%< ���!������� �%;
��
�> � ����%? ����;����%. *� � ����;�%��� �%����%��A ��������> ������
������%<, =� C�������� ��;�� �������� �� �� :����:
� �1 2 3 .nK k k k k� � � � �
& ������ ����� � ����$�����> A %���������$%� �%���! ������%?.
5������%> ki
����� %������������� � �%�� ��A�����%. F� ����:�A, =� �
����� � ��� %���A ti < tj, �� �%���� ��A�����% kj
��� ��=�? �%� �%���
��A�����% ki. +� %�� � ������%< ��� �
’A �%� xi � ��� �! SUP ������%
�%������ ��������:��, �� ���
!%��� �����:����� � �����%���, � % �� �-
�������>���� ��� �����:���� ki ��� xi. ��� $���� ���������� �� % �����-
:����.
���������� 2.1. B%�� ��A�����%, �
� ������%� ki �
’A �� xi ��� ��=�,
:�� ���@� %�� %��� ��
’A �%� yi ��A �������;���� �� �� ��������� �
’A �� xi.
P =� ���?����, =� xi(ki) % xj(kj), �� kj > ki � ���� ����� �, � =�
1 1
n n
i ji j
y y
� �
� � , �� �
i i iy f x� , � �
j j jy f x� , � if – C�� $%�, =� �����A
���� �������;��� iy �%������ ix (������%:�� ? jf ). +:������, =� � ������
����� � ��;�
��� �����$%�, ��� xi ����A ��
�> �
’A �, � �? C�� $%�������
�� ����%
��? ��
’A ��� ���� Cj s % ���� ������% �� �� ��������>�� xj. T�
��� ���� �%����%���< ������:����% ���?����, =� ��% �
’A �� ix � �, ��
iX W� , C�� $%������� ����%
�% ��%� i
� Y, �� iY W� . *� � ����� A
�
E���������>, � =� ���?���� �� �����, =� ��% �
’A �� X % ��% ��
’A �� Y A
����������� ���%A< �������, � ����:%, =� ����’���>���� � ��� �!
�%����%���< %�C����$%?��< ������� �%��� �%; ��
�> ���’����%. F� ����:�A, =�
i� X� % iy Y� C�� $%������� �����%��% � ��� �! IS. F� ����� �
E���-
����A���� =� ? ���, =� � ����� �, ���
ix % iy � IS ��
���
C�� $%�-
������ �����%����� % � ���% ��
’A �� ������������
�%�� � ���<��
C�� $%������� ���
!%����� �
’A ���� ix , �� ��
���
� �������> ����:�
�������� % �� ��������� ������ ��� ������%< ik ��� ix %, �%����%���,
�������� % �� ��������� ������ ��� ���� ��� iy .
B%�� ��A�����% ��%�������� %� �%���� �$%� � RO, ���%
����� ����������
�$%� � ix � ������% �� ��� ��%��%���@����: �
i iRO x k� . ��=���������
�����:���� ��A ���� ��@� � ���� ����� �, � =� %���>�� ��!��%���, ��%���
� �! A ��;����� � ���$��% C�� $%�������� IS %, �%����%���, ������� SUP
�%���� �%���� �$%� � �%����%���! ix , �
� ���������� ix � ���%A< ������%< ��
%�@�<, =� C�������� ��;�� �������� �� �� :����:
�
�
�
&i j i i i jk k F x k x k� �� �� �� �� � .
&������� ��� ��A��%���, � � C�������� �����:�A���� � �
iRO x ����
271
�� ��
% A ������ ���� ��. #�� ������ % ���� ; �%��% ��A�����% ��;���
%������� ��!���� ix �%� �%����� ���� �%? � ix . ����� ���, �� �� �! �%?
��;��� �%��������� ������ ����� ���! ����! �� ��%�� C�������%� %�C����$%<
�� :������ ��A���! ����!. *� �� :����, � =� ��A��%��� %������������� �
���������%��� %�C����$%< ��� << :������ ������ ��
’A ���, �� ��;� %�������
��;���%��� << ����C% �$%< :� �%��%��
�� ����?������� � �%����%���>
��A���> %�C����$%A>. F� ���
���%��� ��;�
��� ��%�%������ ��������>
%���������$%A> ������� ��A�����%, � � � ������ ����� �
�� ���������������� % =� �%��������� �� �����������< ��� ��< ������%< �%
�������
���-� ��� ��
’A ��, � �? �� ��A �������;���
���-=� � ��>
��
���. & ��’�� � � $�� ������� �� � �����:����.
���������� 2.2. 5������%� ik �
’A �� ix ��@��>A���� �� ��% ��;���%
�������;����, � % ��;��� ���� �%�$� �� �%���@���> �� �����.
'��������� ��;���% ����� ��%�� �
iRO x � ���$��% C�� $%�������� IS.
*� % ����� ��;��� ����������� � ��� �! ���@����� ����:��� �%��� �$%� �
�
’A �� � �� ��� ������%:
�
�
, ,i i k i i iRO x k t m� � ��� (2.1)
�� � – ��C%$%A�� ������$%?����%, � �? ������:���? ��� ����������
�
iRO x , it – :�� �� � �? ix �����%A ������%A> ik , im – %�� %��� ��
’A �%�,
=� ���������� �� ix , i�
� – ���, �� � ��� �%���������
%��@%��� ��
’A �%�, =�
���������� �� �� ���������� ix �������� :��� i� , �� i it� � . P =� 0im � %
0i�
� � , �� �
it� ����A ��
�> ���:�?��? �%��% :���, =� ��%?��>A����
�%����%��� �� ������< C�� $%<. *� � C�� $%� ������;�� A �%�%?��> % ���% (2.1)
���?�� ������: �
�
i i iRO x k t� �� .
+:������, =� ��%��� i� ���’����� � im ��������� :����. ��!�? i� –
%�� %��� �������� �� ���%�� i� ��
’A �%� �
i iy � , =� �%��������� �� ���� i� .
*��% ��;�� �������� ��%��%���@����:
�
1
n
ij ij ij
y n� � ��
�
� � ,
�� � – %��� � � ������ ��
’A ��, n – %�� %��� �%���! ��
’A �%�, =� ������-
���� �� �
’A ��� ix . +:������, =� im � C������ (2.1) �����:�A���� %� ��%�-
�%���@����:
1 1
e e
i ijj i
m �
� �
� � � .
��% ���������, =� C%����>�� � C�����% (2.1) ��;���
��� �����:��% �
���$��% ��
��� IS ����
��� ������� SUP. ����� ��� :�� it �����:�A���� ��
�����% ����! ���������� ������� �, im — �� �����% �%���!�� � %�� ���%
272
��������;���! �� ����������;���! ��
’A �%� �� ix . ������� ��������
�����:����.
���������� 2.3. U�%�� k � ��� �! SUP ��%?��>A���� �� �����% ����%��
�������> �� �! C� ���%�:
— ����@���� :���, �� � �? ������:��� ik ��� ix ;
— %�� ���% �%���! ��
’A �%�, =� ������>���� �� IS %� ������� ��
�� ��������� �
i ix k ;
— ��%�� ������������ �%��� ���:�����% ���� ��
’A �%�, =� ������>����
�� IS %� ������� �� �� ��������� �
i ix k .
��������> ���������> ������� ������%��� �������;������ A �� ��-
�%��� ��
’A �%�, � % ��;��� ������������ �
’A ����. V�������� ���;���
��
’A �%� �� �
’A �%� ��������A����. F� ����:�A, =� �� �
’A �%� ��;���
�%��������� � ���% ��
’A ��. ����� ���, ��
’A ���� ��;���
��� ��������%
����
�, =� �� ��������>�� ����% ���%, =� ��;��� ������ ��
�> �
’A ��
������< ������%<. F� ����:�A, =� � � ���% ��
’A �%� ��;��� ���������
���%���% C�� $%������% ���������. + ���% �%����;��� ��
’A �%� iy
�%����%��>�� ������ ����� i� , =� ������A���� � ������% �
i iy c . ��!���:� �
%���������$%?, =� !��� ����% ��������, � % �� �������������� �� ����!���
������%��� �������;������ �� ���’>����% ��!�����%<, �� ��;�� ���?����,
=� �%��% ���� �%��%���>���� �%; ��
�> C�� $%�������> ���:��%��> ���
���������< �
����% � � %? ����’���>���� ����:%, =� �� ��������>��
�%����%��� IS. ��� ��� ����� �����:���� ������� ��� ���� ���
!%���
�����:����� %� �����
�� ?��� �$%� � �
iRO c , =�
����� ��������
���:�=%��> ��
’A ��,
����� ��%��������� � �
’A ����, =� �� ��:�� �����
����% C�������% % � �� ��������% �%����%��% ������%<. ����:��� ���:�=���%
��
’A ��
����� �����:��� �������� ic , �
� �
i iRO y c� . +� %�� � ��
’A � �
��� �! IS �� ��������A �% :� %�@% �
’A ��, �� ��;�� ������;�����, =�
���:�=%��� ��
’A �� %, �%����%���, �$%� � ���� �� � ��� �%� �%���������,
����� ������$%?�% �%��> ������%< �
’A �� � � �� ���$>A �%����%���?
��
’A �. V��������, $� ��;�� ������� �� �� ��%��%���@�����:
�
i i iRO y c�� ,
�� ic – �$%� � ���:�=���% ��
’A �� iy . 5������%� �
’A ��, � �? �� ��������A
��
’A � iy �� A����? C� ���, =� �����:�A �$%� � ?��� ���:�=���%. ����:���
ic �%����%����� iy �����:�A �� �; %�� %��� �
’A �%�, � % �� ��������A iy ,
=� ������A���� � ���!������� ������������ ��%��%���@���� �� �� �������:
�
�
,i i � i iRO y k n� �� ,
�� in – %�� %��� C%��:��! �
’A �%� � % ��� $%������� �� ��������A ��
’A �
273
iy . ��������� C� �����, � �? ������>A ����:��� �$%� � ���� A
%��������%��� C�� $%�������� �%����%���! ��
’A �%�. �� � %����� �%��%
��;�� ������;�����, =� �
i iy � ���
%��@�?, :�� %��������%@� C�� $%�-
������� iy . #�� $���� %��������%��� ����A ��
�> %�� %��� %�%$%�$%? ��
�����$> ������� %�������� :��� it� C�� $%�������� SUP � $%����. '�����-
���� �������� �����:����.
���������� 2.4. U�%�� ����:��� �$%� � ���:�=���% ���� ic ��
’A ��
iy �����:�A���� �� ��� C� ������:
— ���:����� ������%< ik �
’A �� ix , � �? �� ��������A���� ��
’A ��� iy ;
— %�� %��> �%���! �
’A �%�, � % �� ��������>���� ��
’A ��� iy � ���-
$��% ?��� C�� $%�������� �� �����:���? ���%�� :��� it� C�� $%���-
����� SUP;
— %��������%��> %�%$%�$%? ��
’A �� iy � ���%�� �����:����� %��������
:��� it� .
V�������� �� � ����;�%��� �����A���� �� �� ��%��%���@�����:
�
�
, ,i i i � i i iRO y c k n� � �� ,
�� i� – %��������%��� %�%$%�$%< ��
’A �� iy .
U��:�=%��� ic ��
’A �� � ��� �! SUP
��� �
��%������ ������;�� �%�
���� � ����! �������;���, =� �����:��% ��� iy �%������ ix .
#��?����, =� ��� �������;��� �� �; �����:�A �%���� ���:�=���% ����
�� � ��� �%��������� ��
’A � iy . +� %�� � ��� �������;��� ��� ��
’A �� �
���$��% C�� $%�������� SUP ��;� ��%�>������, �� % ���:�=%��� ��
’A ��
�� �; ������� �%������ � ����;����% �%� ���� �������;���. P �%����, ���
�������;��� �����:�A���� ����� �%?, =� ��;� ��%?��>���� ��
’A � �
�
’A ��� [3]. #�� ����� �� �! ���%� �%? ��;���
��� �� % �%<:
— :������ ����!, ( R );
— ����� ����! ����!, (W );
— ���%�� ����!, ( ZW );
— ���������� ����!, ( DW );
— ���=���� ����!, ( �W ) % �.�.
B%; ���������� ������ �%? %���A ����� %A���!%�, =� �%��
��;�A���� �
�%���% ���� ����@���, �
� ��� , � % �%��
��;�>�� !��� ��� <! �%< �� �
’A �
[4]. �� �� �! ���%� ����@��� �%��������� �������%:
— ����@���� $%�%�����%;
— ����@���� �������:����%;
— ����@���� ��� �������%;
— ����@���� ��������:����%.
274
����� ��������! ���%� �%?, =� ��;��� %��������������� � �%����%��%
����@����, � =� �� % �%< �� ���>����
�� ��������% �%����%���! �������-
;���, �������>�� ���@����� %�� %��� C� ���%�, =� �����:�>�� ���:�=%���
����. #������� ����������, =� :�� ��=� ���:�=%��� ���� ��
’A ��, ���
@��@�? ���������� ���%� �
� ���%� �������;���. ����� ���, � =�
���:�=%��� �
�
i i j jy c y c
�� %�� %��� ���%� �������;��� � �
i iy c A
%��@�
�%; � ��
’A �� �
j jy c , �
� ����������� ��%��%���@����:
�
�
�
�
i i j j i jy c y c u y u y� � � �
�
� � � � ,
�� �
iu y – %�� %��� ���%� �������;���, �
� ���������! �%? � �
’A ����.
��%� �����:���, =� %�� %��� ���������! �%? ��
���A���� �%����%��� %A���!%<
�����:���! �������;���. & ��� �! � �����! ���%� ���������! �%? �
�
’A ���� ��;�� �C�������� �������� %A���!%> �%?, � % ��%��� $%A< %A���!%<
������>�� �� ��%�� ����:��� ���:�=���% �%����%����� ��
’A �� iy . ��
��?��=��� �%��% %A���!%< ���!������� �� % ���� �%?:
— ���=���� ����!;
— ���%�� ����!.
�� ���������� �%��� %A���!%< �%���������: ����� ����! ����! ��
���������� ����!. �� ���������� �%��% %A���!%< ���!������� :������ ����!.
V�������� �� � %A���!%:�� ���� ���� �������;��� ��;�� �����������
��%��%���@�����:
C Z DW W W W R� � � � ,
�� ���%� � � ���A ������� ����@���� �%��� %A���!%< �������;���. +:������,
=� � ����;����% �%� �����
��� �����! ����: ���� ���������! �������;���
��;���
��� ���@�������. ����� ���, �� � ���@������ ��;�
������>������ ��������� ����! ���%� �
’A �%�, � % � ����;����% �%� ���<!
C�� $%�������! ��;�������?, ��;��� �������� ���
!%��%��� ��������
����! ���%� �������;���. *� % ���% �
’A �� ��;���
��� �����������
����
���, � % ��� :� %�@�� :���� ��;��� �� �������������� ��
’A ����, =�
�� �; ��;��� ������ ��
�> %�@% ��������% ����
�. #�� ��� �� ���������
��
’A ��� iy , =� ����A ��
�> ���������? ���%
%�@��� ����������� ����
�,
� �? A �
’A ���, — ������ ��@�����? % ����A ��
�> �� ��������� ���%A>
��������> %�@�< (�%���������), � ����� C�� $%> �
� �%����%���
%���������$%> �� ��� �
’A �� [5].
& ��’�� � � ��=��� ������� ��%��%���@���� (2.2) ��;�� ���@�����
�� �� :����:
�
�
�
, , ,i i � i i i i iRO y k n �� � � �� ,
�� �
i i� � – ���� ���� �������;��� i� , � �? ����;��� �%� ���� �
’A �%� i� ,
=� �� ��������>���� � ��� �! SUP. U ��=� ���������� �������A, =�
275 © +.B.������� �
���������� ���%� �������;��� �� ���������� <!�%! !��� ������� :�
��������%� A ������ @��� ��.
1. ���������� �. . +����� ��� �����< �������� � / W. �. 5��%������, �. �.
5����?, +. K. ����:���� �?, X. B. ��$� �?, B. 5. #�:��%�. — 5. : ��� ��� ��� �,
2002.
2. ������
� �. �. Y �����:�� ��
����������� �����������: ��=��� �����:�� �?
��?�� / X. K. K����=� , #. #. 5��?���. — 5. : Z��. ��� «Z�W��», 2000. — 430 �.
3. �������� . �. B����� ��!���� C%�������< %�C����$%< : ���:�����? ���%
�� / �. 5.
U��%�� �, +. �. +�� �> . *�����%�� : U
��:, 2000. — 460 �.
4. ������������ �. !. K�� � :���� Internet / Z. �. B�������� �?, #. �. �������,
�. �. #�������. — ��
. : «B�� � ����� – 95», 1997.
5. ��� ". K�������� � ���� ���� �����! / �. ����. B. : B��, 1989. — 360 �.
���
���� 23.08.2010�.
&�5 683.03
+.B.������� �
������ �
�� � ��
!�� �!�
�� ������ �����
���
�"
���
� �
��
" �#
�" ��� ����
�" #
��$�� ��
��#
��
�
� ���� ����, =� �������� � ���% ���%���C%:���� ������� A %�����������
% ����� �A �%������%��� %���������$%>, �� ���
!%��� ����%���� ��;������%
C���������� ����� �%����%���! %���������$%?, � % �%��� ���’����% �
�������:���� ����
���, =� �� ��������>���� ��� ����%�� ��������� � ���%.
� ������ ����� � ����%�;���� �����%� %���������$%< ��������� � ���%
������, ���’����� � ���
!%��%��> ���@������ ����%��:��! ��;�������? ���
��������% ����%�� ��������� � ���% ��; �, �
� ���%���C%:���� �������.
*� � ���@������ ��;� ����� ��;�����, � =� ����� %���������$%< ���������
� ���% �� ����� %���������$%< ��%! ��������, =� ���’����% � ����������
� ���% ��;��
��� �$%�>���� �� �%�� � �� � %����� �%��%, � < �� �%��%
�� ��������� :������! !��� ������� �%����%���! ��������. & ��’�� � �
$��, ���
!%��� ����’����� �������% ����:% �� ���
����:
- �����
��� ������ :������! �$%�� ��������%�, =� !��� ������>��
%���������$%?�% �����;
- �C�������� %���������$%> �$%�� �� �� :����, =�
����
�����;������� � %�@��� ��������:���� ��������, � % �� ��������>���� �
����:�! �����:���� � ���% ���%���C%:��! ����� �%�;
- ����:% ����!��� �%� :������ ����� ���������< �
����%, =�
|