Fachschaft Informatik - Benutzerbeiträge [de]

Gedächtnisprotokoll FGI209-2

2009-04-06T11:50:25Z

134.100.6.106: /* Aufgabe 7 */

Zum zweiten Versuch der FGI2-Klausur wurde in PhilA geschrieben, Aufsichten hatten Herr Valk und Herr Köhler. Insgesamt waren 181Punkte zu erreichen, der Schwierigkeitsgrad war ähnlich hoch wie zur ersten Klausur.

== Aufgabe 1 ==

* 1) Gegen waren zwei Transitionssysteme mit Sync = *leereMenge*. Geben sie das synchrone TS an.
* 2) Geben sie L(TS_1) und L(TS_2) an, bestimmen sie auch L(TS_3) = L(TS_1) \cap L(TS_2)
[[Bild:A1.jpg]]
* 3) Formen sie TS_3 so um, dass es den Schnitt akzeptiert.
* 4) Geben sie die Synchronisationsmenge an.

== Aufgabe 2 ==

Gegeben war ein (Workflow-)Netz <math>\mathcal N_1</math>, wo die letzte Stelle mit einer Transition mit der ersten verbunden war, sowie <math>\mathcal N</math>, wo diese Transition weggelassen wurde.

# Zeichnen sie den Erreichbarkeitsgraphen zu <math>\mathcal N_1</math>
# ...
# Geben sie drei Eigenschaften an, die ein Workflownetz ausmachen. Wahlweise formal oder informal.
# Wann ist ein Workflownetz ''korrekt''?
# Ist diese Workflownetz korrekt?
# Ein paar Multiple-Choice Fragen (so oder so ähnlich)
## Ist <math>\mathcal N_1</math> k-beschränkt für <math>k=1</math>?
## Ist <math>\mathcal N_1</math> k-beschränkt für <math>k=2</math>?
## Ist <math>\mathcal N_1</math> reversibel?
## Ist <math>\mathcal N_1</math> lebendig?

== Aufgabe 3 ==

Gegeben ist dieses Netz
[[Bild:FGI2-Modulo-Netz.png]]

und eine Schaltsequenz <math>m_1 \rightarrow^{t_1}
m_2 \rightarrow^{t_2}
m_3 \rightarrow^{t_3}
m_4 \rightarrow^{t_2}
m_5 \rightarrow^{t_3}
m_6 \rightarrow^{t_4} m_7</math> mit der Anfangsmarkierung a = 8, b = 2.

*Gebe die folgenden Markierungen an:
** <math>m_1(p_1) = \dots</math>
** <math>m_2(p_2) = \dots</math>
** <math>m_3(p_3) = \dots</math>
** <math>m_4(p_2) = \dots</math>
** <math>m_5(p_3) = \dots</math>
** <math>m_6(p_2) = \dots</math>
** <math>m_7(p_4) = \dots</math>
* Welche allgemeine Beziehung besteht auf <math>p_4</math> zwischen a, b, r, y, q?
* Ist das Netz k-beschrenkt für k=1? Begründe.

== Aufgabe 4 ==

== Aufgabe 5 ==

== Aufgabe 6 ==

Zwei BPA-Terme waren gegeben.

* 1) Zeichnen sie die Prozessgraphen.
* 2) Kennzeichnen sie die bisimilaren Knoten.
* 3) Bestimmen sie die Normalformen mit den Regeln R1-R5.
* 4) Sind die Terme bisimilar?

== Aufgabe 7 ==

Hier kam eine Aufgabe zum rekursiven Ableiten dran.

* 1) Zeichnen sie den Prozessgraphen <X|E> mit {X=Ya+c, Y=Xc}.
* 2) Leiten sie <X|E> mit für die Aktion a ab.
* 3) Wann ist eine Spezifikation geschlossen?
* 4) Ist diese Spezifikation geschützt?

== Aufgabe 8 ==
20 Punkte zu LTL und CTL

* 1) Gegeben war eine Kripkestruktur. Geben sie alle PLätze an wo die Formel gilt.
* 2) Wo liegen die Syntaktischen Unterschiede zwischen CTL und LTL?
* 3) Geben sie je eine Formel an die für CTL oder LTL nicht korrekt ist.
* 4) Geben sie Vor- und Nachteile von LTL- und CTL-Formeln an.
* 5) ...
* ...

== Aufgabe 9 ==

Man musste die logischen, nicht die vektoriellen, Zeitstempel eintragen.

== Aufgabe 10 ==

* 1) Wie unterscheiden sich der Ausfallalgorithmus von dem des byzantinischen Konsenses?
* 2) Was ist Nachrichtenkomplexität?
* 3) Geben Sie die Nachrichtenkomplexität des Ausfallalgorithmuses an.
* 4) Warum ist der erste Algorithmus aus der Vorlesung exponentiell?
* 5) Warum ist der zweite Algorithmus aus der Vorlesung polinomiell?

[[Kategorie:Gedaechtnisprotokoll|FGI2]]

Verbindungen

2008-08-20T12:07:55Z

134.100.6.106: /* Siehe Auch */

Oft ist es zweckmäßig, sich mit dem UHH-Netz oder dem [[FBI]]-Netz zu verbinden. Dazu gibt es viele Möglichkeiten, die unter anderem von deiner lokalen Situation abhängen.

== Von der Uni Hamburg ==

* [http://www.rrz.uni-hamburg.de/kommunikation/wlan-oeffnet-vpn/oeffnet-zugang/dosen-standorte.html Blaue Dosen]
* [[Wlan|WLAN]]

== Von anderen Unis ==

* [http://www.rrz.uni-hamburg.de/kommunikation/wlan-oeffnet-vpn/roaming.html WLAN-Roaming (eduroam)]

== Von irgendeiner Internetverbindung ==

Es gibt am Fachbereich einige Internetdienste, die nur mit der richtigen IP (134.100.0.0/16) funktionieren. Um sie sicher von zu Hause aus zu nutzen, kann man sie über den Fachbereich leiten (tunneln), so dass der Dienstanbieter denkt, man säße im Informatikum. Dazu kann man eines der folgenden Dinge tun:

* [[Tunneln]]
* [[FBIVPN|VPN zum FBI-Netz über das Informatik-RZ]]
* [[CiscoVPN|VPN zum Uni-Netz über das RRZ]]

== Siehe Auch ==

* [[SSH]]
* [[VNC]]

[[Kategorie:Rechenzentrum]]

VNC

2008-08-20T12:02:54Z

134.100.6.106: Beschreibung für VNC zum RZ angelegt

Wenn Du von zu Hause aus Anwendungen mit grafischer Oberfläche auf den Rechnern des Rechenzentrums starten und bedienen möchtest, könntest Du SSH mit X-Forwarding benutzen:

ssh -Y benutzer@rzdspc10...

Auf diese Weise werden alle Zeichenbefehle, die die Anwendung zum Zeichnen ihrer Oberfläche benutzt, über das Internet zu Deinem Rechner transferiert und dort ausgeführt. Dies kann, je nach Anwendung, allerdings ziemlich langsam sein.

Eine Alternative dazu ist VNC: Hierbei wird auf dem Rechner des Rechenzentrums, den Du verwenden möchtest, ein eigener X-Server gestartet (der VNC-Server), in dem die Anwendungen dann laufen, und statt einzelner Zeichenbefehle werden sozusagen Screenshots über das Internet zu Dir übertragen. Auf Deinem Rechner nimmt dann der sogenannte VNC-Client die Bilder entgegen, zeigt sie an und übermittelt Deine Mausklicks und Tastatureingaben an den VNC-Server.

Um VNC zu verwenden, musst Du Dich zunächst auf den gewünschten Rechner begeben. Um die Sache nicht zu einfach zu machen, möchten wir gern auf einem der PCs in D-114 arbeiten, dem rzpc117. Dort kommst Du normalerweise nicht direkt heran, Du brauchst einen weiteren Rechner als ''Gateway'', beispielsweise die rzdspc10:

ssh benutzer@rzdspc10.informatik.uni-hamburg.de
ssh rzpc117

Nun musst Du nichts weiter tun, als den VNC-Server zu starten:

vncserver

Dabei passiert folgendes: Der VNC-Server startet sich, setzt als Passwort den Inhalt der Datei ~/.vnc/passwd und führt die Befehle in ~/.vnc/xstartup aus - im Normalfall wird dabei ein xterm und der Window-Manager twm gestartet. Falls Du einen anderen Fenster-Manager verwenden möchtest, kannst Du den entsprechenden Eintrag z.B. durch metacity ersetzen. (Oder nachdem Du eingeloggt bist, ''killall twm; metacity&'' ausführen.) Theoretisch könntest Du sogar mit ''gnome-session'' oder ''kde-session'' eine komplette Desktopumgebung starten.

Als nächstes möchtest Du Dich von Deinem Rechner aus mit dem VNC-Server verbinden. Logge Dich also wieder aus dem rzpc117 und der rzdspc10 aus (oder öffne eine neue Konsole). In den gängigen Linux-Distributionen sollte die benötigte Software ''vncviewer'' bereits installiert sein, ansonsten kümmere Dich darum. Um Dich mit dem VNC-Server verbinden zu können, brauchst Du Dein Passwort. Im einfachsten Fall kopierst Du es auf Deine Festplatte:

scp benutzer@rzdspc10.informatik.uni-hamburg.de:~/.vnc/passwd vncpasswd

Anschließend startest Du den VNC-Client. Da Du nicht direkt auf den rzpc117 zugreifen kannst, musst Du Dich über die rzdspc10 (oder einen anderen Rechner) tunneln. Glücklicherweise beherrscht der VNC-Client dies aus dem Stehgreif:

vncviewer -passwd vncpasswd -via benutzer@rzdspc10.informatik.uni-hamburg.de rzpc117:1

Tadaa, es öffnet sich nun das Fenster mit einem darin geöffneten xterm. Starte Deine Anwendungen und sei produktiv!

Um den VNC-Server wieder zu beenden, logge Dich wieder wie oben per SSH auf dem Rechner ein (hier dem rzpc117) und führe aus:

vncserver -kill :1

Viel Spaß!

[[Kategorie: Rechenzentrum]]

Pruefungsordnung

2008-06-27T09:29:13Z

134.100.6.106: -> Prüfungsordnung

#REDIRECT [[Prüfungsordnung]]