Методи формального опису систем управління повноваженнями на основі використання математичної логіки

Gespeichert in:
Bibliographische Detailangaben
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%:��! ����� �%�; - ����:% ����!��� �%� :������ ����� ���������< � ����%, =�