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

Saved in:
Bibliographic Details
Date:2010
Main Authors: Дурняк, Б.В., Сабат, В.І., Шведова, Л.Є.
Format: Article
Language:Ukrainian
Published: Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2010
Series:Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/28292
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Методи формального опису систем управління повноваженнями на основі використання математичної логіки / Б.В, Дурняк, В.І. Сабат, Л.Є Шведова // Збірник наукових праць Інституту проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України. — К.: ІПМЕ ім. Г.Є. Пухова НАН України, 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%:��! ����� �%�; - ����:% ����!��� �%� :������ ����� ���������< � ����%, =�