ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚...

Post on 23-Jun-2020

2 views 0 download

Transcript of ess.cs.tu-dortmund.de€¦ · ˘ˇˆ˙˝ ˛ˇ˚ ˜ !˜ ˜ ∀ #∃ ∀% %% & ∗˜ # ˛˛ ∋ˇ ˚...

��

�������

��� ��� ��

�������������� �� �

����������

����������� �������������������

������

�������� ��!�������������� �� �∀ ��#�∃%�&��∋(�����������(������������ ���������������

������

������ ��

� )��∗+���−

� ��.����/���.

� 0�����������.

� �∃%�1��∗�−����������−��−

� &��2�/����� ���3��

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

���� ��

� ∋��()���+

� ��,��!�−���,�

� .�������/���,�

� ����0��(�+����������+��+�

� ����1��−����������2��

� ∋��()���+

� ��,��!�−���,�

� .�������/���,�

� ����0��(�+����������+��+�

� ����1��−����������2��

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

��� ��� ��

� ���(�!����3�/�����+)����+�������,����

� ()�����!����������������������3�4��−�����+/����5���0��#������!������6��+�� ��� ���(�!���������3��/����� �����+��

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

� ���������

� �����∀778�5���9������������ �!/�−�

� �����/�����−��∋��#.���#������+

� �%�/���:����2���−��.�������

� ����;��∀<����#=��−�����

� ��2���−���>�+���−−�����−�����+���?%��

� �−������������+����;�

� ���������(�5����������≅�Α=#����(�!��� Β/�����+)����+����������9��1�������Β

� �−�5����,�!������������!����−���� �����/�����Χ��;������9����/����������()��−�5������6��+�

� 5�����+�����4���−���

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

� ������� �

����������������������� �������� ���� ������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

������� ���� !∀#������

� ���+−�#������:���−��1−�#�−�5��9��;�1�

� ������=��/��������9������/�����

� 9������/������; ��!��������9������−>�(��)��������.����−�����+

� �����������+�>������������������−������ �,�;���������∆���!�����6��������; �/�Ε; � �;���0��#�≅�Φ

����������������������� �������� ���� ∃∃����������������������������� �!���������∀ #�∃ ∀% �%%&

�������

���� ��

� ∋��()���+

� ��,��!�−���,�

� .�������/���,�

� ����0��(�+����������+��+�

� ����1��−����������2��

����������������������� �������� ���� %%����������������������������� �!���������∀ #�∃ ∀% �%%&

�������

&�∋� ������∋�

� ∀��4�∋��#.���#����Ε���������(�������Γ�7∀?∀��������Φ

� .�������� ������(��%�/���:�����!�>�/�

� Η−��/������−����� ������+�1����

� ��+��−�� ������−���5�;��4���+��+��1�����+�)����+��

� 4�≅�Ι��;����5��ϑ�������Ε−�+��!���∀� ���)����+��Φ

� %�4Ι�����������ϑ�������Ε−�+��!���%� ���)����+��Φ

����������������������� �������� ���� ((����������������������������� �!���������∀ #�∃ ∀% �%%&

�������

���� ��

� ∋��()���+

� ��,��!�−���,�

� .�������/���,�

� ����0��(�+����������+��+�

� ����1��−����������2��

����������������������� �������� ���� )∗)∗����������������������������� �!���������∀ #�∃ ∀% �%%&

�������

+��,�

� ������=��/�����!������� �−!���Η������(���������)����+��� �������−−

� �−�5��=��/����−−������.�����;��4�()+��+�������������Η����)����+��� �������−−��

� ��−��!���Ι��−−���−�5���/6���������.�������1(��+�������−���������()������−�5�����

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

��� �������

� ���∋�(��)�

� ��∗��)������������������(���

� �����������������������∀∃�)� #�����������������∗�#���

� �)�����+�∗�����,�)∗��∋������������−�./#0��!������������!����������∗�1��������)�1����)�������(����+��������,�+����

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

��� �������

� �∋�!�(��)�

� ��������������∗�#�∋�!���������������)�+��

� �������������)�����������)� #��,�#���−�),�

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

�������

��� �������

� ���� ����!����������∋���(��)�

� �����������!������∗�������)�+���������������,� −��!����/��������!��∋������������)�+���0���������������1����)����0�,�������������,2

� ������3������������∋�������)��0���������������4������

# �������������35�+��!��������������∋���0��6�∋−,��,

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

��� ��� ����� �

� ���� ∋���

� ���������(����)∗���������,��−�∋�����.����/����0��� ����

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

��� ��� ����� �

� ∋��!(���

� �����������)�����∗����������������������+������,��������!����

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

�� ��������� ��

� ∋��������(�����)�∗∋�����+�����������������,�∗∗�− ��!��������+�������

� ��������#�����∋�.����∋�∗�∋������,���������0��1������ �����−21∗��!����∋��������

� ���−��3�� �!1∗��∋�−����)���∋�∗�∋�

� ������1�����)�∗∗���4��∋��− ��!����,��!���������0���∗∗��� .�∗���������!��− � �����5�∋����∋������∋��∋�����−�6������ 14������������(��1�����−����������−�∗����7��6������������6�!��������������������6�����

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

���� ��� �

� ������∗�+����

� 8�������8�+�����������#9∗����

� ��.���∋�6������!��−�����������+����

� :����∋��∋����+���#(��6�����,���������)�������∗�,��;����∗�,����∗∗����������� ����<

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

���� ��� �

� ,����0�∋∋����+����� 1�����������∗�,�#7�������������������−�∋���+������)�∋��

� �∗�,����� ��������� ������!��=�����������∗�����������∋�.����∋�.����������

� )�∗∗��1�����∗�,��=�����>����∋����������∗��������������!������?�����)��

� ≅�∋��������������7�∗∗��������)��������Α# �∗�,�����!�����������������

# ������ �!���∗��−�������1�∗∗������∗4��������!����∗��∋#0���∗∗�������������������������∗�∋���

� ≅����∗�Α# ��� ��−������,�����∗����������������3,�����14��������,�������� �����������,��∗�����������������������6)���−���>����

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

���� ��� �

� � ����!�+����� �������66��,���5�!���������∗�+������������!��������Β����!�∗��−����∗��

� ��������,��������� ��������.!�∗�!��=��������������,�∗��∋����������������=�����,����������∗�,�����4��∋�

� ����������������������1������?�������������∗����∗�����)��

� )>�����+�∗∗�������������+�����>����∋��� �������∗∗���# �����������!��������.����)>�������+�����,�∋����

# ������,��������������������?��������������4!���6����������+���

� ≅����∗�Α# ���∋���=2����1���������!����∗∗��∋#0���∗∗������������≅�����∋��1�������(�������0���∗∗��−��,�∗����

����������������������� �������� ���� ��������������������������������� �!���������∀ #�∃ ∀% �%%&

������

� �� �!∀#���� � ��∀∃� �∀#���%&

����������������������� �������� ���� �∋�∋����������������������������� �!���������∀ #�∃ ∀% �%%&

������

� �� � �! �����∀(∀� ��������

� �����������∗�,���+��∗�Χ� ���������������,�������∋�����������∋��∗����∗����# ����������)���∋����∗∗����+��∗����!�������������:����∋��∋���

� ��� ����∋����������)��#����.��������������9��!1���

� ��� �����+��∗�����∋����∗�Χ�;(��6�����3�����<

� �����∗�6��Β21∗������∗��∆�����∗�,������������>���������∋� 4��∗�!����5�!���������∗�+����������������+��∗����)∋����������

� �����!��������������������+��∗���)���������Χ

� �����∗���∗∗��3�������Ε� �������∋����+��∗�>�� �!���∋����

� ��)������66∗�!��������2������������� �������6�!�������∋���

����������������������� �������� ���� �)�)����������������������������� �!���������∀ #�∃ ∀% �%%&

������

∗ ����!

� ��)>���∋

� ��2��!�∗���2�

� =�������1���2�

� ����9��)�∋����������∋��∋�

� ����6��∗����������Φ��

����������������������� �������� ���� −.−.����������������������������� �!���������∀ #�∃ ∀% �%%&

������

�/�∀0��1���������∀�������

� ��)�∋��������6�!�����������6�−�)�1���������

� 7������

� ��∋��∗��;−��>����∋������=����<�

� +��������

� �!����∗��∋#0���∗∗���−���6�−�)�−����

� �6�!��� ��������−�������������=��!�6�����+�∗��−������∗∗���;�=+<

� �����=+�1��������?�∗)��,���Γ�1−��∋������������!��9#9����)>����������∋�.����−��∋�� ����

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

�/�∀0��1���������∀������� ∀∃�2�&

���������� ������

����� � � ����� ����������

���������������� ����������

����������������������

!����∀�#∃%&�∋�(�&�)���(��

∗�����∀�+�,!&��!!&�∃−!&�∃.!&�����

/

,�� 01��� ��∀�2&�)&�#∃%&�+�,!�

! 1��� ��∗�����∀��&�)&�#∃%&��!!�

! 1��� ��∀�3&�)&�#∃%&��!!�

���

,���4�(�� 0∀�2&�)&�∃−!&�∃.!�

,���4�(�5�6∀�2&�)&�∃−!&�∃.!�

∃−!+���−�(�∀�7&�)&�∃−!&�∃.!�

���

/

����������������������� �������� ���� −−−−����������������������������� �!���������∀ #�∃ ∀% �%%&

������

�/�∀0��1���������∀������� ∀∃�2�&

#∃%�+(�∀�)8)�&�#∃%&���

! 1��� ��∗�����&�)�

! 1��� ��&���

/

∃−!�+(�∀�)8)�&�∃−!&�∋�

,���4�(�� 0&�)�

,���4�(�5�6&�2�

∃−!+���−�(�&��)�

/

���

/

� (���∗�6������

#∃%�+(������9��∋�(��

∃−!�+(������9��∋�(��

/

���

/

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

∗ ����!

� ��)>���∋

� ��2��!�∗���2�

� =�������1���2�

� ����9��)�∋����������∋��∋�

� ����6��∗����������Φ��

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

3 �%�� �4∀�����5�

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

6�%��� �1�%%���

� ���)�!����Ε�1�����∋>����∋�������2����� )>�������Ε��1����� �����∋��� �������∗������2�����−���9��#����;�������∗������ �2<� �����������������7������1��������!��6������!�����������,���?��������������6�!�������∗�,����� ��������������=��������!��)�

� ������)��������������!�������7����������������������∗���������!��)���

� ������)�!���+��∗��1�����∋� +��∗�������∗��∋���)��� �����∋���������!��∋���!���;��������6�−�)�1��������!��� �������)�����<

� ����9��)�∋����������∋��∋��−���6�−�)�1����������∋������������2�����

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

���� �

���!��+�∋��Χ

����������������������� �������� ���� −�−������������������������������ �!���������∀ #�∃ ∀% �%%&

������

��� �����

� ∗��#������ �∋������6�!�)�!��������!1�∋��(�, �� ∀

� Γ �Β���������Η�( ��!����∋�∗∗�����2������������+��−��∋��!���1��≅�� �∋��%%&

� ���6ΑΗΗ ,�!��#��)�����1 ��Η,�Ι∗��Ι�����ϑ∀Κ ���∗

� ���6ΑΗΗ ��� )�#��∋∋����) ��Η1���Η��������,�Η��!���1Η��!���1∗�� ���∗

� ���6ΑΗΗ6�) ��� �)� !�Η�6∗����Η�����Η���#��� 6�)

� ���6ΑΗΗ 6����� ��1 ��Η������Η����,�����Η����,�����Η����,���,���Η���− �1�Η��)���Η,������∗�Η�������2����Η�∋−���� 6�)