Fachschaft Informatik - Benutzerbeiträge [de]

StuPaWahlUrnenbesetzung2017

2017-01-15T15:28:37Z

77.21.237.39: /* Der Plan */ Eigene Schicht eingetragen

= Die Regeln =
{| border="0" cellspacing="8" cellpadding="0" style="background-color:#FFFFB9; border: 1px solid #e9e9e9; margin-top: 2px; margin-bottom: 2px; clear: both"
|
Beachte '''unbedingt''' das '''[[HOWTOS/StuPaWahlUrnenbesetzung|zugehörige HowTo]]'''! Am besten vorher lesen.
|-
|}

= Notfälle =
* Während der Wahlwoche ist das StuPa-Präsidium durchgehend unter folgender Rufnummer für Rückfragen zu erreichen: +49-40-450204-39
* Fuer FBI-Notfälle am besten eine Mail an fsr@ schicken und '''FIXME''' anrufen, FIXME könnte jim 2martens sein, der ist im StuPa Präsidium sehr gut erreichbar.

= Waffeln und Anderes =
== aktueller Stand ==
Es bleibt sicher wieder was von der Weihnachtsfeier übrig, mal abwarten und dann hier ergänzen.

Einkauf: FIXME

Insgesamt wird mit 300 Waffeln in der gesamten Woche gerechnet.
Dieses Jahr hat es sich bewährt, nur die veganen zu machen, da das neue Rezept nicht nur schmackhaft ist, sondern auch funktioniert.

==== Waffeln mit Ei und Milch (nicht vegan) ====

Die Menge ist veraltet, es werden momentan nur vegane Waffeln gemacht

{| class="wikitable" border="1"
! Zutat !! Benötigte Menge !! Vorhandene Menge (Stand: 12.01.2015) !! Verbrauch 1 Tag (Montag)
|-
| Butter/Margarine || 3kg || 6 Pk || 11 Pack
|-
| Mehl || 6kg || 3kg || 3kg
|-
| Zucker || 2,25kg || 1,75 kg || 500g
|-
| Bio-Eier || 36 || 10 || 26
|-
| Backpulver || 12 Päckchen || genug... ||
|-
| Milch || 4,5 Liter || 3 x H-Milch, 3 x SoyaMilch || 1,5 Liter
|-
| Vanilin-Zucker || 24 Packungen || ein Haufen ||
|-
| Puderzucker (zum Bestreuen) || > 0 Packungen || ca. 3 Packungen ||
|}
Die angegebene Menge bezieht sich auf 3*60 = 180 Waffeln.

Hier das [[Rezepte|Rezept]].

==== Vegane Waffeln NEU ====

{| class="wikitable" border="1"
! Zutat !! Benötigte Menge !! Vorhandene Menge (Stand: )
|-
| Mehl || 3,5 kg || s.o.
|-
| Speisestärke || 120 g || ?
|-
| Zucker || 1200 g || s.o.
|-
| Backpulver || 6 Päckchen || s.o.
|-
| Reismilch || 1,2 Liter || ?L
|-
| Vanillin-Zucker || 24 Packungen || s.o.
|-
| Sonnenblumenöl || 600 ml || ? Esslöffel
|-
| Mineralwasser || 1000 ml || ? Liter
|-
| Apfelmus || 600 g || ?
|-
| Puderzucker (zum Bestreuen) || > 0 Packungen || s.o.
|}
Die angegebene Menge bezieht sich auf 120 Waffeln.

Hier das [[Rezepte|Rezept]].

== Waffel-Eisen ==
Es gibt ein Fachschafts-Waffeleisen. Alternative wäre toll im Falle eines Ausfalls. Wer hat noch eins?

Anm: von der Kif gibt es noch ganz viele tolle Waffeleisen, einfach mal die entsprechenden Leute fragen

== Allgemein ==
Wenn etwas nachgekauft werden muss, bitte nach Möglichkeit selbt auf Rechnung (der FSR zahlt das dann) oder siehe Notfälle, damit wir was organisieren können.

Anderes sinnvolles Zeug, was man aus dem c.t. oder sonstwoher beschaffen könnte wäre
* Handtuch (für nachher zum Abtrocknen)
* Servietten

= Statistik 2016 =
{| class="wikitable" border="1"
| Tag || colspan="2" | kumuliert || colspan="4" | Differenz
|-
|   || bis 14 Uhr || bis 18 Uhr || 10-14 Uhr || 14-18 Uhr || Tagesgesamt || zum Vorjahr
|-
| Montag || 19 || 81 || 19 || 62 || 81 || -21 (102)
|-
| Dienstag || 112 || 146 || 31 || 34 || 65 || -8 (73)
|-
| Mittwoch || 175 || 204 || 29 || 29 || 58 || -37 (95)
|-
| Donnerstag || 241 || 247 || 37 || 6 || 43 || -20 (63)
|-
| Freitag || 256 || 270 || 9 || 14 || 23 || +3 (20)
|}

Bitte in den "Differenz"-Feldern nicht kumulieren, sondern nur die Anzahl der in diesem Zeitraum Tag abgegebenen Stimmen eintragen!

= Statistik =
{| class="wikitable" border="1"
| Tag || colspan="2" | kumuliert || colspan="4" | Differenz
|-
|   || bis 14 Uhr || bis 18 Uhr || 10-14 Uhr || 14-18 Uhr || Tagesgesamt || zum Vorjahr
|-
| Montag || || || || || ||
|-
| Dienstag || || || || || ||
|-
| Mittwoch || || || || || ||
|-
| Donnerstag || || || || || ||
|-
| Freitag || || || || || ||
|}

Bitte in den "Differenz"-Feldern nicht kumulieren, sondern nur die Anzahl der in diesem Zeitraum Tag abgegebenen Stimmen eintragen!

= Der Plan =

* Bitte nach Möglichkeit zuerst die Kernzeit von 12-16 Uhr besetzen! Wir brauchen '''mindestens zwei''' pro Termin. Es empfiehlt sich jedoch, dass 3-4 Leute die Urne besetzen, weil man sonst mit den Waffeln (Teig/Waffeln machen) nicht hinterherkommt.
* Gerade zum Auf- und Abbau (Morgens bzw. Abends) sind viele Leute toll. Und wer plötzlich feststellt dass er doch ein bisschen Zeit hat, darf auch spontan helfen!
* Die Urne darf nur zwischen 10-18 Uhr besetzt werden. Das hat das StuPa-Präsidium so beschlossen (warum auch immer ;).
* Die Wahl findet vom '''16.01. bis 20.01.2017''' statt.
* in Klammern kann man seine Liste eintragen, obwohl diejenigen die in derselben Liste sind das wohl auch selber wissen.
<onlyinclude>
{| class="wikitable" border="1"
! Zeit !! Montag !! Dienstag !! Mittwoch !! Donnerstag !! Freitag
|-
| 10-12
 || 2hofmann(cg) 4kraemer 
 || 
 || 
 || 
 || 
|-
| 12-14
 || 
 || 3schmidt(rcds) 4kraemer 1hamann 
 || 3oster 
 || 1hamann 
 || 4stieler 1hamann (ab ca. 12:30) 
|-
| 14-16
 || 4kraemer 
 || 4kraemer 
 || 1hamann 
 || 
 || 4stieler 1hamann 
|-
| 16-18
 || 
 || 4kraemer 
 || 
 || 
 || 3johanns(cg) 3schmidt(rcds) 1hamann 
|-
|}
<references />
</onlyinclude>

= Alternativen =

* Wer nicht/kaum am Informatikum ist, kann auch andere Urnen besetzen (z.B. Geomatikum).
* Bei Fragen: [[FSR]].

STiNE

2009-06-18T13:05:39Z

77.21.104.180: /* Siehe auch */

Das '''Studien-Infonetz (<nowiki>STiNE</nowiki>)''' ist ein Softwaresystem für die Universität Hamburg,
das die Verwaltung der Veranstaltungen und der Immatrikulation übernehmen soll.

== Was ist STiNE? ==

* „In erster Linie ist Stine ein zuverlässiges und wohl auch bald reibungslos funktionierendes Software-Paket, wie es bislang in diesem Umfang an der Universität nicht existiert hat.“ (http://www.wiso.uni-hamburg.de/index.php?id=629)

== Was ist STiNE ''nicht''? ==

=== STiNE ist keine Kommunikationsplattform ===
Anfrage via SL-Ticket #48895:
<pre>
Auf der Informationsseite "Kommunikation" (EXTERNALPAGES Nr. 9000) steht: "STiNE bietet die
Möglichkeit interne Nachrichten, sogenannte Messages, zu versenden."

Wie kann ich meinen Freunden eine Message zuschicken? Unter dem Menüpunkt "Meine Nachrichten"
kann ich nur sehen, was in meinem Posteingang gelandet ist, aber selbst verschicken geht nicht.
Naja, außer, ich habe schon mal eine Nachricht von der entsprechenden Person bekommen. Dann kann
ich diese Nachricht anzeigen und da auf "Antworten" klicken. Aber was ist, wenn meine Nachricht
gar keine Antwort, sondern explizit eine _neue_ Nachricht sein soll? Und wie kann ich Leuten,
von denen ich noch keine Message bekommen habe, eine schicken?

Roland
</pre>
Antwort:
<pre>
Sehr geehrter Herr Illig,

Sie haben in STiNE nur die Möglichkeit auf Messages von Ihren Dozenten zu
antworten, bei denen Sie Kurse belegen.

STiNE ist nicht als Kommunikationsplattform gedacht.

Die Messages dienen in erster Linie zum Transport organisatorischer Hinweise
seitens der Kursleitung.

Für den Inhaltlichen Austausch ist eine Mailingliste oder ein Chatroom oder
ein Forum besser geeignet.

Mit freundlichen Grüßen
Sandra Klocke
RRZ.ServiceLine
</pre>

== Trivia ==

Der Name ''STiNE'' wird vorne mit ''S'' ausgesprochen, nicht etwa ''Sch''. Woher das kommt und warum das trotz des Wortes ''Studien'' so ist, weiß ich nicht. Vielleicht ist dies der hamburgische Einschlag über den s-pitzen S-tein zu s-tolpern.
Quelle? Ich bin der Meinung, daß STiNE hochdeutsch auszusprechen ist, also mit "Sch"-Laut vorne.

Die Abkürzung STiNE steht für:
* '''S'''low and '''T'''remendous '''I'''nefficient '''NE'''twork
* '''S'''ieben '''T'''age '''i'''mmer '''N'''etwork '''E'''rror
(siehe auch: http://3773.rapidforum.com/topic=102374236126&reverse=1)

== STiNE in der Öffentlichkeit ==
* http://www.stine.uni-hamburg.de/
* [http://www.stine.uni-hamburg.de/test.pdf STiNE-Vortragsfolien für das TVP]

=== Pressemitteilungen der Universität ===

* [http://www.verwaltung.uni-hamburg.de/pr/2/21/pm/2006/pm49.html Pressemitteilung der Universität zur [[STiNE]]-Einführung]
* [http://www.verwaltung.uni-hamburg.de/pr/2/21/pm/2006/pm96.html "STINE IST SICHER"], Pressemitteilung der Uni zum Brunnstein-Bericht im Abendblatt (s.u.)

=== Pressemitteilungen der Datenlotsen ===

* [http://www.datenlotsen.de/index.php?se=565 Aktueller Projektstatus von "STiNE"]

=== Presseberichte ===

Allgemeines:
* [http://www.abendblatt.de/z/search/index.php/ha_advanced_search?terms%5B0%5D=stine Artikel aus dem Abendblatt zu [[STiNE]]]

Einzelne Artikel:
* [http://www.spiegel.de/unispiegel/studium/0,1518,458089,00.html Studium in Absurdistan, STiNE - eine Telenovela] (UniSpiegel, 10.01.2007)
* [http://www.abendblatt.de/daten/2006/10/27/630700.html "Stine" zum Teil gestoppt] (Abendblatt, 27.10.2006)
* [http://www.abendblatt.de/daten/2006/10/26/630200.html Die "Stine"-Wogen glätten sich] (Abendblatt, 26.10.2006)
* [http://www.abendblatt.de/daten/2006/10/25/629915.html Senator: Studiengebühr für "Stine"] (Abendblatt, 25.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629486.html Computerfehler: Uni-Chaos zum Semesterbeginn] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629510.html Studenten müssen Seminarplätze auslosen] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629520.html An "Stine" überhoben (Kommentar)] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629524.html Semesterstart an Hamburgs Hochschulen] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629503.html Was ist eigentlich "Stine"?] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629506.html Gravierende Probleme] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629507.html Nur Stress wegen "Stine"] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629508.html Schlecht informiert] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629509.html Falschen Kurs bekommen] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629511.html Kann nicht helfen] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/24/629512.html Schlaflose Nächte] (Abendblatt, 24.10.2006)
* [http://www.abendblatt.de/daten/2006/10/19/626694.html Neues Uni-Infonetz sorgt für Verwirrung] (Abendblatt, 19.10.2006)
* [http://www.abendblatt.de/daten/2006/10/18/625996.html Brunni: Grobe Sicherheitsmängel im Uni-Netz "Stine"] (Abendblatt, 18.10.2006)
* [http://www.abendblatt.de/daten/2006/10/17/625592.html Countdown für die Campus-Software] (Abendblatt, 17.10.2006)
* [http://www.abendblatt.de/daten/2006/10/16/625075.html "Stine" ist ans Netz gegangen] (Abendblatt, 16.10.2006)
* [http://www.abendblatt.de/daten/2006/10/13/623873.html Wann ist "Stine" endlich startklar?] (Abendblatt, 13.10.2006)
* [http://www.abendblatt.de/daten/2006/10/13/623997.html Stines Vater] (Abendblatt, 13.10.2006)
* [http://www.abendblatt.de/daten/2006/10/10/622544.html Computerchaos an der Universität] (Abendblatt, 10.10.2006)
* [http://www.abendblatt.de/daten/2006/08/29/603856.html "STiNE" soll das Studieren einfacher machen] (Abendblatt, 29.8.2006)
* [http://www.abendblatt.de/daten/2006/06/08/571028.html Alles online: Neue Ära für Hamburgs Uni] (Abendblatt, 8.6.2006)

== Andere Universitäten ==
* [http://mitglied.lycos.de/konfiskation/cmkritik.pdf Kritik am SAP Campus Management System]
* [http://www.astafu.de/campusmanagement/ AStA FU Berlin über deren Campussoftware]
* [http://www.fau.org/syndikate/bsy2/art_051121-103043 Bildungssyndikat Berlin über das Campusmanagementsystem an der FU]
* [https://jogustine.uni-mainz.de Uni Mainz] hat auch so ein System

== Siehe auch ==
* [[STiNE-FAQ]]
* [[STiNE-Fehler]]
* [[STiNE-Kritik]]
* [[STiNE-Interna]]
* [[STiNE-Sicherheitslücken]]
* [[STiNE-Tagebuch]]
* [[STiNE-Pressemitteilung-061026|Stellungnahme des FSR Informatik zu den STiNE-Berichten vom 26.10.2006]]
* [[OE-Song 2007]]
* [https://www.fb18.de/mybb/showthread.php?tid=9986&pid=100880#pid100880 Greasemonkey-Skript STiNE++]
[[Kategorie: STiNE]]
* [http://www.zshare.net/flash/5045467187a1b73d/ Spiel mit STiNE]
* Resolution der Fachschaft vom 03.11.2008: [[STiNE_jetzt_stoppen!]]
* http://www.datenlotsen.de Entwickler dieser Software

STiNE

2009-06-18T13:03:52Z

77.21.104.180: /* Andere UniversitÃ¤ten */

FsrProtokoll20090529

2009-05-30T20:56:19Z

77.21.179.198: /* ToDo */

= Trivia =
* Anwesend: Kai, Sonia, Muelli, Felix R, Marius, Julian, Jessica, Tim, Senad, Nima
* Abwesend: Der Rest!
* Entschuldigt: Klaas, Felix G, Sebastian
* Beginn: 16:14:00 Uhr
* Ende: 18:26:37 Uhr
* Protokollant: Tim
* Verlammlungsleiter: Kai

= Berichte =
* Sonia berichtet vom Stammtisch - keiner war da :( - das ist doof und man will sich eigentlich kennen-lernen
== Mensa ==
* Felix war in der Mensa.
** Positiv: dass wir uns an sie gewendet haben
** Studierendenwerk: zum Jahresbeginn (also parallel zur Systemumstellung unserer Mensa) gab es eine Preiserhöhung
** Mensa Personal haben selbst gemerkt, dass die Portionen gekürzt wurden
** Mensa Personal wurde gekürzt
** Mensa Kritik (Mail) geht direkt an Studierendenwerk, wir wollen einen direkten Kanal einrichten!
** Mensa Chefin (Name? FIXME!) kann sich aus X Menüs Y heraus suchen, aber sie braucht Feedback welche davon doof sind

== Berufungskommission ==
* Für die Berufungskommission braucht man insgesamt eine Frauenquote von 40%. Die werden wir als Studierende aber nicht erfüllen.
* Berufungskommission ist Krieg ;)
** wir wollen das ganze Verfahren mal möglichst Objektiv dokumentieren (Martin will dafür Mittel beim ASTA beantragen -> Aufwandsentschädigung)
** Hauptvertreter: Tim, Stellvertreter: Jessica

== c.t. ==
* Geld fehlt in der Kasse
** wir verfolgen das.... bisher: fail :/

== KIF ==
Senad berichtet von der KIF: "Die KIF war toll"
* Flashmob, Demo, Action 60. Grundgesetz
* Fachschaftszeitungsfoo
* mit waren: Senad, Muelli, Marius und Jessica

== FSRK Wahlen ==
Kai berichtet: wir könnten dort eine Liste hingeben
* wollen wir aber nicht
* aber trotzdem toll, dass sie die Urabstimmung organisiert haben

== AS ==
Kai berichtet:
* Rampe Haus F
** Bauausschuss wurde gegründet (die sind jetzt zuständig)
** Das Präsidium weiß Bescheid!
* Urabstimmung gegen Studiengebühren
** Ergebnis z.K.
** Der AS ist einstimmig gegen Studiengebühren!

== EPB ==
* [http://derunipanther.blogspot.com/2009/05/via-privacy-box-moni-napping-die-zweite.html Moninapping] ist lustig ;-)

= Wir haben Post! =
Infomaterial für 9. informatica feminale

= Action ;-) =

== Mentorenprogramm ==
Nima will Jan mit dem Mentorenordner helfen

== Mathe für Physiker Vorkurs ==
Wir wollen einen eigenen Kurs machen
eventuelle Freiwillige:
* Physik Prof. fragen
* Prof, Steven, Tri
* Deadline (Jan v. S.)
* Raum (Jan v. S.)
* Brief (OE-Einladung)
* Werksverträge(?)

== Bildungsstreik ==
** "Freie Software für Anfänger"
** Raum für KBS beantragt... keine Antwort (Dienstag)
** VortragendeR bzw Workshop-LeiterIn: Julian, N.N., N.N., ...
** KBS übliche verdächtige wurden angeschrieben

== Stellungname zu (OpenSource) und OpenAccess (''vertagt'') ==
* Wir machen uns Gedanken darüber und beschäftigen uns dann damit ausführlich auf der nächsten FSR Party
* Mögliche Punkte:
** Skripte und Folien frei verfügbar.
** GProt öffentlich oder nicht? Datenschutz?
** OpenAccess Gütesiegel für Arno Rolf für Videoaufnahme und Veröffentlichung von dieser.

== AIAI (Netz-Problematik) (''vertagt'') ==
* Es soll ein Treffen mit der Netgroupe und uns geben.
** RRZ will Argumente für Portfreigaben.
** Wir wollen wissen warum die Firewall so restrikt gemacht wird!
** Bei einem Treffen wollen wir global Formulieren, warum das Inet in dem Zustand nicht geht. Beispiele sind SE-Projekt.
* Alte Ideen wollen umgesetzt werden.
** Rally: Wir informieren mafia@inf, Blog-Eintrag
** Buttons
** Transpi

== "Killerspiele gibt es nicht" von Hans-Peter (''vertagt'') ==
* Er soll man antreten.
* Er hat ein langen, tollen Beitrag dazu geschriben.
* Er soll den Text auf seinem Blog veröffentlichen.
* Wir verlinken den Text auf unserem Blog.

= ToDiscuss =
* Pfand Geld
** [http://www.informatik.uni-hamburg.de/cgi-bin/informatik/gremien-wiki.pl Gremien Wiki?!]
* Sommerfest
* Buttonmaschine, Preise, etc.

=ToDo=
* Mentorenprogramm Ordner [8mousavi]
* Psycho-FSR einladen (erstmal ohne Termin) [7kraemer]
* MIN-FSR "get together" Wir wollen mitmachen; Antwortsmail [7kraemer]
* Mail an Mafia wegen KBS Bildungsstreikwoche [6hildebr]
* Ausschuss zur Förderung des wissenschaftlichen Nachwuchses Mail an Jantzen [6hildebr][done]
* OE Getrnke bezahlen - mail an oe-kasse [6hildebr][done]
* Mathe Vorkurs (urgent!) [4stuebs] + [7kraemer]
* Mail-Adresse für Mensa einrichten (an Chefin von Mensa mit CC Studierendenwerk)
** Forum Thread Mensa Kritik einrichten und dann mittels Mensa beauftragen an sie richten [8riegel]
* Wiki verbessern
** Wahlbereiche im Wiki sammeln
** Wiki aktionstage (nach dem Upgrade)
** [[Fachschaftsrat]]-Seite im Wiki überarbeiten [N.N.]
** [[Hauptseite]] umstrukturieren [7kramer]
** HowTos im Wiki verbessern/einpflegen/erweitern [7licina]
* Partnerprogramm [N.N.]
* WiInf-FSR [8oostlan]
* Fahndungsphotos vom FSR [8ooslan]
* um FB18.de kümmern [7kraemer][initialized]
* Termin mit Heymann und Netgroup evaluieren [7schulz]
* FAR Wahl organisieren [7schulz]
* WiSe 09/10, Resolution (CiS, SSE, MCI)
* AIAI Button [4winter]
* AIAI Transpi [bjoernb]
* AIAI Rally, Mail an mafia@inf [8riegler][auf eis]
* Wininf-FSR einladen [8oostland]
** WiInf-FSR-Mailadresse rausgruschtel und an Klaas schicken [7schulz]
* KBS Werbung [4stuebs]
* Gleichstellung, Treffen, Email [4weichle]
* Informatik-Feminale [4weichle]
* Luca reparieren [8oostland]
* OE Getränke kaufen [7schulz]
* Gucken wie das mit der Fehlzeit ist [7kraemer]
* CHE Statement formulieren [8oostland]
* Björn wegen Jonglierbällen bescheid geben [6hildebr][done]
* Zeitslot/Raum besorgen für BildungsStreik [6hildebr] [initialized]

Gedächtnisprotokoll FGI209-1

2009-02-19T14:02:36Z

77.21.201.76: /* Aufgabe 8 */

Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte)
Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.

Auffallend war wieder die Personenkontrolle am Eingang.

Insgesamt gab es 192 Punkte zu erreichen

== Aufgabe 1 ==
1. Transitionssystem TS

<math>\rightarrow(s_0) \rightarrow^b (s_1) \rightarrow^b (s_2) \rightarrow^b ...</math>

wobei jeder Zustand noch eine Schleife mit a's hat und jeder Zustand Endzustand ist.
Formale Definition angeben:

S=

A=

tr=

<math>S^0</math>=

<math>S^F</math>=

2. Wie ist die akzeptierte Sprache des Systems?

3. Geben sie einen endlichen Automaten an, der diese Sprache akzeptiert.

4. Geben sie die Omega-Sprache <math>L^\omega(TS)</math> an

5. Gegeben das Transitionssystem <math>TS_2 ->(s_0') <->^c (s_1')</math>
wobei <math>s_1'</math> Endzustand ist. Geben sie das Zustandsdiagramm des synchronen Transitionssystem <math>TS_1 \times TS_2</math> mit Sync={(b,c) } und <math>\gamma(b,c)=d</math> an

== Aufgabe 2 ==

1. Geben sie die Definition einer Makierungsinvarianz an.

2. Geben sie die Definition einer Lebendigkeitsinvarianz an.

3. Geben sie die allgemeine Form eines Makierungsprädikates an.

4. Vervollständigen sie m->t (t ist in m aktiviert) <=>

wobei auf der rechten Seite ein Makierungsprädikat angegeben werden soll.

== Aufgabe 3 ==

a)
Geben sie die formale Definition von Beschränktheit eines Netzes an.

b)
Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an.

c) Beweisen oder widerlegen sie die Behauptung:

Wenn ein Netz beschränkt ist, und der Erreichbarkeitsgraph zwei oder mehr strenge Zusammenhangskomponenten besitzt, dann ist das Netz nicht reversibel.

d) Ändert es etwas, wenn das Netz unbeschränkt ist?

== Aufgabe 4 ==

Hier gab es allgemeine Fragen zu einem Erreichbarkeitsgraphen RG(N) und einem Überdeckungsgraphen G(N) eines Netzes.
Auch hier Ja/Nein Kreuze und begründen.

a) Wenn das Netz beschränkt ist, ist dann RG(N) endlich?

b) Wenn das Netz unbeschränkt ist, ist dann RG(N) unendlich?

c) Wenn das Netz unbeschränkt ist, gibt es dann zwingend den Knoten (omega,omega,...,omega) in G(N)?

d) Wenn ein Platz p_i unbeschränkt ist, gilt dann (x_0,x_1,...,omega,...,x_n) (omega ist an der Stelle i) für jeden Knoten im Überdeckungsgraphen G(N)?

e) Hier war ein Petrinetz gegeben, und es sollte der Überdeckungsgraph gezeichnet werden. Dann soltle die Menge der unbeschränkten Plätze angegeben werden.

== Aufgabe 5 ==

(ich glaube man musste bei den fragen ja/nein ankreuzen und begründen.)

a)
Ist es entscheidbar ob ein P/T Netz beschränkt ist?

b)
Ist es entscheidbar ob ein P/T Netz k-beschränkt ist?

c)
Ist die Erreichbarkeit für CPN entscheidbar?

d)
Gegeben ist ein P/T Netz mit |P| Plätzen und |T| Transitionen. Wir wissen, dass es k- beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat!

== Aufgabe 6 ==

Gegeben war ein CPN.

a) zeichne den Erreichbarkeitsgraphen

...

b) Ist die Makierung (1'1 , false , <math> \emptyset </math>) erreichbar?
c) Gilt
<math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ?

== Aufgabe 7 ==

Gegeben war das Netz

http://snuk.sn.funpic.de/netz.gif

und die invarianten

(i) <math>\forall m \in R(m_ {0} : m(p1) + m(p2) + m(p3) = n)</math>
(ii) <math>\forall m \in R(m_ {0} : m(p2) + nm(p2) + m(p4) = n)</math>

== Aufgabe 8 ==

Hier gab es viele Punkte zur Prozessalgebra.

<math>t1 = d((ac + b)e) + d((b + c)a) + ba</math>

<math>t2 = d((ac)e + be) + d(ba + ca) + (db)a</math>

1. Menge der BPA-Terme definieren.

2. Zwei Terme aus BPA gegeben, und Prozessgraphen zeichnen.

3. Alle bisimilaren Knoten identifizieren.

4. Reduktionskalkül anwenden.

5. Sind sie bisimilar(Ja/Nein) Frage.

6. Ja/Nein Fragen zur Gewichtsfunktion.

a)Wenn t-> t' reduziert werden kann , gilt dann gew(t) > gew(t')?

b) Wenn t->* t' reduziert werden kann, gilt dann gew(t) > gew(t')?

c) Wenn t=t' gilt dann dann gew(t)=gew(t')?

7. Sind Prozessgraphen in BPA immer endlich?

== Aufgabe 9 ==

Noch eine Aufgabe zur Prozessalgebra.

1. Was für Dinge werden im BPA-Kalkül bewiesen? Bzw. um was dreht es sich im BPA-Kalkül. (Ja/Nein Fragen)

a) <math>t_1 + t_2</math>

b)<math> t_1 \rightarrow t_2 </math>

c) <math> t_1 \leftrightarrow t_2 </math> (Bisimilarität gemeint)

d) <math> t_1 = t_2 </math>

2. Ist <math> t_1 \leftrightarrow t_2 </math> entscheidbar?

3. Ist <math> \neg t_1 \leftrightarrow t_2 </math> entscheidbar?

4. Was bedeutet es, wenn das BPA-Kalkül korrekt ist?

5. Was bedeutet es, wenn das BPA-Kalkül vollständig ist?

== Aufgabe 10 ==

Ein Harelgraph war gegeben.
http://snuk.sn.funpic.de/statechart.png

Man sollte das Zustandsdiagramm dazu malen.

Weiterhin sollte man erklären, um was Harel-Graphen endliche Automaten erweitern.

== Aufgabe 11 ==

Aufgabe zum CTL-Modelchecking.

1. Beweisen sie, dass zu einer gegebenen CTL-Formel <math> \phi </math> der Model-Checking Algorithmus die Laufzeit O( <math>|\phi|*(|S|+|R|)</math>) hat.

2. Man musste die Formel EGa auf einer Kripkestruktur anwenden, und zeigen, wo sie gilt.

== Aufgabe 12 ==

DTM und RAM

6 Multiply Choice Fragen
Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)

== Aufgabe 13 ==

[[Kategorie:Gedaechtnisprotokoll|FGI2]]

Vektorzeitstempel in eine vorhandene Struktur eintragen

Gedächtnisprotokoll FGI209-1

2009-02-19T13:48:19Z

77.21.201.76: /* Aufgabe 10 */

Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte)
Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.

Auffallend war wieder die Personenkontrolle am Eingang.

Insgesamt gab es 192 Punkte zu erreichen

== Aufgabe 1 ==
1. Transitionssystem TS

<math>\rightarrow(s_0) \rightarrow^b (s_1) \rightarrow^b (s_2) \rightarrow^b ...</math>

wobei jeder Zustand noch eine Schleife mit a's hat und jeder Zustand Endzustand ist.
Formale Definition angeben:

S=

A=

tr=

<math>S^0</math>=

<math>S^F</math>=

2. Wie ist die akzeptierte Sprache des Systems?

3. Geben sie einen endlichen Automaten an, der diese Sprache akzeptiert.

4. Geben sie die Omega-Sprache <math>L^\omega(TS)</math> an

5. Gegeben das Transitionssystem <math>TS_2 ->(s_0') <->^c (s_1')</math>
wobei <math>s_1'</math> Endzustand ist. Geben sie das Zustandsdiagramm des synchronen Transitionssystem <math>TS_1 \times TS_2</math> mit Sync={(b,c) } und <math>\gamma(b,c)=d</math> an

== Aufgabe 2 ==

1. Geben sie die Definition einer Makierungsinvarianz an.

2. Geben sie die Definition einer Lebendigkeitsinvarianz an.

3. Geben sie die allgemeine Form eines Makierungsprädikates an.

4. Vervollständigen sie m->t (t ist in m aktiviert) <=>

wobei auf der rechten Seite ein Makierungsprädikat angegeben werden soll.

== Aufgabe 3 ==

a)
Geben sie die formale Definition von Beschränktheit eines Netzes an.

b)
Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an.

c) Beweisen oder widerlegen sie die Behauptung:

Wenn ein Netz beschränkt ist, und der Erreichbarkeitsgraph zwei oder mehr strenge Zusammenhangskomponenten besitzt, dann ist das Netz nicht reversibel.

d) Ändert es etwas, wenn das Netz unbeschränkt ist?

== Aufgabe 4 ==

Hier gab es allgemeine Fragen zu einem Erreichbarkeitsgraphen RG(N) und einem Überdeckungsgraphen G(N) eines Netzes.
Auch hier Ja/Nein Kreuze und begründen.

a) Wenn das Netz beschränkt ist, ist dann RG(N) endlich?

b) Wenn das Netz unbeschränkt ist, ist dann RG(N) unendlich?

c) Wenn das Netz unbeschränkt ist, gibt es dann zwingend den Knoten (omega,omega,...,omega) in G(N)?

d) Wenn ein Platz p_i unbeschränkt ist, gilt dann (x_0,x_1,...,omega,...,x_n) (omega ist an der Stelle i) für jeden Knoten im Überdeckungsgraphen G(N)?

e) Hier war ein Petrinetz gegeben, und es sollte der Überdeckungsgraph gezeichnet werden. Dann soltle die Menge der unbeschränkten Plätze angegeben werden.

== Aufgabe 5 ==

(ich glaube man musste bei den fragen ja/nein ankreuzen und begründen.)

a)
Ist es entscheidbar ob ein P/T Netz beschränkt ist?

b)
Ist es entscheidbar ob ein P/T Netz k-beschränkt ist?

c)
Ist die Erreichbarkeit für CPN entscheidbar?

d)
Gegeben ist ein P/T Netz mit |P| Plätzen und |T| Transitionen. Wir wissen, dass es k- beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat!

== Aufgabe 6 ==

Gegeben war ein CPN.

a) zeichne den Erreichbarkeitsgraphen

...

b) Ist die Makierung (1'1 , false , <math> \emptyset </math>) erreichbar?
c) Gilt
<math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ?

== Aufgabe 7 ==

Gegeben war das Netz

http://snuk.sn.funpic.de/netz.gif

und die invarianten

(i) <math>\forall m \in R(m_ {0} : m(p1) + m(p2) + m(p3) = n)</math>
(ii) <math>\forall m \in R(m_ {0} : m(p2) + nm(p2) + m(p4) = n)</math>

== Aufgabe 8 ==

Hier gab es viele Punkte zur Prozessalgebra.

1. Menge der BPA-Terme definieren.

2. Zwei Terme aus BPA gegeben, und Prozessgraphen zeichnen.

3. Alle bisimilaren Knoten identifizieren.

4. Reduktionskalkül anwenden.

5. Sind sie bisimilar(Ja/Nein) Frage.

6. Ja/Nein Fragen zur Gewichtsfunktion.

a)Wenn t-> t' reduziert werden kann , gilt dann gew(t) > gew(t')?

b) Wenn t->* t' reduziert werden kann, gilt dann gew(t) > gew(t')?

c) Wenn t=t' gilt dann dann gew(t)=gew(t')?

7. Sind Prozessgraphen in BPA immer endlich?

== Aufgabe 9 ==

Noch eine Aufgabe zur Prozessalgebra.

1. Was für Dinge werden im BPA-Kalkül bewiesen? Bzw. um was dreht es sich im BPA-Kalkül. (Ja/Nein Fragen)

a) <math>t_1 + t_2</math>

b)<math> t_1 \rightarrow t_2 </math>

c) <math> t_1 \leftrightarrow t_2 </math> (Bisimilarität gemeint)

d) <math> t_1 = t_2 </math>

2. Ist <math> t_1 \leftrightarrow t_2 </math> entscheidbar?

3. Ist <math> \neg t_1 \leftrightarrow t_2 </math> entscheidbar?

4. Was bedeutet es, wenn das BPA-Kalkül korrekt ist?

5. Was bedeutet es, wenn das BPA-Kalkül vollständig ist?

== Aufgabe 10 ==

Ein Harelgraph war gegeben.
http://snuk.sn.funpic.de/statechart.png

Man sollte das Zustandsdiagramm dazu malen.

Weiterhin sollte man erklären, um was Harel-Graphen endliche Automaten erweitern.

== Aufgabe 11 ==

Aufgabe zum CTL-Modelchecking.

1. Beweisen sie, dass zu einer gegebenen CTL-Formel <math> \phi </math> der Model-Checking Algorithmus die Laufzeit O( <math>|\phi|*(|S|+|R|)</math>) hat.

2. Man musste die Formel EGa auf einer Kripkestruktur anwenden, und zeigen, wo sie gilt.

== Aufgabe 12 ==

DTM und RAM

6 Multiply Choice Fragen
Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)

== Aufgabe 13 ==

[[Kategorie:Gedaechtnisprotokoll|FGI2]]

Vektorzeitstempel in eine vorhandene Struktur eintragen

Gedächtnisprotokoll FGI209-1

2009-02-19T13:34:18Z

77.21.201.76: /* Aufgabe 7 */

Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte)
Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.

Auffallend war wieder die Personenkontrolle am Eingang.

Insgesamt gab es 192 Punkte zu erreichen

== Aufgabe 1 ==
1. Transitionssystem TS

<math>\rightarrow(s_0) \rightarrow^b (s_1) \rightarrow^b (s_2) \rightarrow^b ...</math>

wobei jeder Zustand noch eine Schleife mit a's hat und jeder Zustand Endzustand ist.
Formale Definition angeben:

S=

A=

tr=

<math>S^0</math>=

<math>S^F</math>=

2. Wie ist die akzeptierte Sprache des Systems?

3. Geben sie einen endlichen Automaten an, der diese Sprache akzeptiert.

4. Geben sie die Omega-Sprache <math>L^\omega(TS)</math> an

5. Gegeben das Transitionssystem <math>TS_2 ->(s_0') <->^c (s_1')</math>
wobei <math>s_1'</math> Endzustand ist. Geben sie das Zustandsdiagramm des synchronen Transitionssystem <math>TS_1 \times TS_2</math> mit Sync={(b,c) } und <math>\gamma(b,c)=d</math> an

== Aufgabe 2 ==

1. Geben sie die Definition einer Makierungsinvarianz an.

2. Geben sie die Definition einer Lebendigkeitsinvarianz an.

3. Geben sie die allgemeine Form eines Makierungsprädikates an.

4. Vervollständigen sie m->t (t ist in m aktiviert) <=>

wobei auf der rechten Seite ein Makierungsprädikat angegeben werden soll.

== Aufgabe 3 ==

a)
Geben sie die formale Definition von Beschränktheit eines Netzes an.

b)
Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an.

c) Beweisen oder widerlegen sie die Behauptung:

Wenn ein Netz beschränkt ist, und der Erreichbarkeitsgraph zwei oder mehr strenge Zusammenhangskomponenten besitzt, dann ist das Netz nicht reversibel.

d) Ändert es etwas, wenn das Netz unbeschränkt ist?

== Aufgabe 4 ==

Hier gab es allgemeine Fragen zu einem Erreichbarkeitsgraphen RG(N) und einem Überdeckungsgraphen G(N) eines Netzes.
Auch hier Ja/Nein Kreuze und begründen.

a) Wenn das Netz beschränkt ist, ist dann RG(N) endlich?

b) Wenn das Netz unbeschränkt ist, ist dann RG(N) unendlich?

c) Wenn das Netz unbeschränkt ist, gibt es dann zwingend den Knoten (omega,omega,...,omega) in G(N)?

d) Wenn ein Platz p_i unbeschränkt ist, gilt dann (x_0,x_1,...,omega,...,x_n) (omega ist an der Stelle i) für jeden Knoten im Überdeckungsgraphen G(N)?

e) Hier war ein Petrinetz gegeben, und es sollte der Überdeckungsgraph gezeichnet werden. Dann soltle die Menge der unbeschränkten Plätze angegeben werden.

== Aufgabe 5 ==

(ich glaube man musste bei den fragen ja/nein ankreuzen und begründen.)

a)
Ist es entscheidbar ob ein P/T Netz beschränkt ist?

b)
Ist es entscheidbar ob ein P/T Netz k-beschränkt ist?

c)
Ist die Erreichbarkeit für CPN entscheidbar?

d)
Gegeben ist ein P/T Netz mit |P| Plätzen und |T| Transitionen. Wir wissen, dass es k- beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat!

== Aufgabe 6 ==

Gegeben war ein CPN.

a) zeichne den Erreichbarkeitsgraphen

...

b) Ist die Makierung (1'1 , false , <math> \emptyset </math>) erreichbar?
c) Gilt
<math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ?

== Aufgabe 7 ==

Gegeben war das Netz

http://snuk.sn.funpic.de/netz.gif

und die invarianten

(i) <math>\forall m \in R(m_ {0} : m(p1) + m(p2) + m(p3) = n)</math>
(ii) <math>\forall m \in R(m_ {0} : m(p2) + nm(p2) + m(p4) = n)</math>

== Aufgabe 8 ==

Hier gab es viele Punkte zur Prozessalgebra.

1. Menge der BPA-Terme definieren.

2. Zwei Terme aus BPA gegeben, und Prozessgraphen zeichnen.

3. Alle bisimilaren Knoten identifizieren.

4. Reduktionskalkül anwenden.

5. Sind sie bisimilar(Ja/Nein) Frage.

6. Ja/Nein Fragen zur Gewichtsfunktion.

a)Wenn t-> t' reduziert werden kann , gilt dann gew(t) > gew(t')?

b) Wenn t->* t' reduziert werden kann, gilt dann gew(t) > gew(t')?

c) Wenn t=t' gilt dann dann gew(t)=gew(t')?

7. Sind Prozessgraphen in BPA immer endlich?

== Aufgabe 9 ==

Noch eine Aufgabe zur Prozessalgebra.

1. Was für Dinge werden im BPA-Kalkül bewiesen? Bzw. um was dreht es sich im BPA-Kalkül. (Ja/Nein Fragen)

a) <math>t_1 + t_2</math>

b)<math> t_1 \rightarrow t_2 </math>

c) <math> t_1 \leftrightarrow t_2 </math> (Bisimilarität gemeint)

d) <math> t_1 = t_2 </math>

2. Ist <math> t_1 \leftrightarrow t_2 </math> entscheidbar?

3. Ist <math> \neg t_1 \leftrightarrow t_2 </math> entscheidbar?

4. Was bedeutet es, wenn das BPA-Kalkül korrekt ist?

5. Was bedeutet es, wenn das BPA-Kalkül vollständig ist?

== Aufgabe 10 ==

Ein Harelgraph war gegeben. Man sollte das Zustandsdiagramm dazu malen.

Weiterhin sollte man erklären, um was Harel-Graphen endliche Automaten erweitern.

== Aufgabe 11 ==

Aufgabe zum CTL-Modelchecking.

1. Beweisen sie, dass zu einer gegebenen CTL-Formel <math> \phi </math> der Model-Checking Algorithmus die Laufzeit O( <math>|\phi|*(|S|+|R|)</math>) hat.

2. Man musste die Formel EGa auf einer Kripkestruktur anwenden, und zeigen, wo sie gilt.

== Aufgabe 12 ==

DTM und RAM

6 Multiply Choice Fragen
Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)

== Aufgabe 13 ==

[[Kategorie:Gedaechtnisprotokoll|FGI2]]

Vektorzeitstempel in eine vorhandene Struktur eintragen

Gedächtnisprotokoll FGI209-1

2009-02-19T13:25:21Z

77.21.201.76: /* Aufgabe 7 */

Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte)
Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.

Auffallend war wieder die Personenkontrolle am Eingang.

Insgesamt gab es 192 Punkte zu erreichen

== Aufgabe 1 ==
1. Transitionssystem TS

<math>\rightarrow(s_0) \rightarrow^b (s_1) \rightarrow^b (s_2) \rightarrow^b ...</math>

wobei jeder Zustand noch eine Schleife mit a's hat und jeder Zustand Endzustand ist.
Formale Definition angeben:

S=

A=

tr=

<math>S^0</math>=

<math>S^F</math>=

2. Wie ist die akzeptierte Sprache des Systems?

3. Geben sie einen endlichen Automaten an, der diese Sprache akzeptiert.

4. Geben sie die Omega-Sprache <math>L^\omega(TS)</math> an

5. Gegeben das Transitionssystem <math>TS_2 ->(s_0') <->^c (s_1')</math>
wobei <math>s_1'</math> Endzustand ist. Geben sie das Zustandsdiagramm des synchronen Transitionssystem <math>TS_1 \times TS_2</math> mit Sync={(b,c) } und <math>\gamma(b,c)=d</math> an

== Aufgabe 2 ==

1. Geben sie die Definition einer Makierungsinvarianz an.

2. Geben sie die Definition einer Lebendigkeitsinvarianz an.

3. Geben sie die allgemeine Form eines Makierungsprädikates an.

4. Vervollständigen sie m->t (t ist in m aktiviert) <=>

wobei auf der rechten Seite ein Makierungsprädikat angegeben werden soll.

== Aufgabe 3 ==

a)
Geben sie die formale Definition von Beschränktheit eines Netzes an.

b)
Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an.

c) Beweisen oder widerlegen sie die Behauptung:

Wenn ein Netz beschränkt ist, und der Erreichbarkeitsgraph zwei oder mehr strenge Zusammenhangskomponenten besitzt, dann ist das Netz nicht reversibel.

d) Ändert es etwas, wenn das Netz unbeschränkt ist?

== Aufgabe 4 ==

Hier gab es allgemeine Fragen zu einem Erreichbarkeitsgraphen RG(N) und einem Überdeckungsgraphen G(N) eines Netzes.
Auch hier Ja/Nein Kreuze und begründen.

a) Wenn das Netz beschränkt ist, ist dann RG(N) endlich?

b) Wenn das Netz unbeschränkt ist, ist dann RG(N) unendlich?

c) Wenn das Netz unbeschränkt ist, gibt es dann zwingend den Knoten (omega,omega,...,omega) in G(N)?

d) Wenn ein Platz p_i unbeschränkt ist, gilt dann (x_0,x_1,...,omega,...,x_n) (omega ist an der Stelle i) für jeden Knoten im Überdeckungsgraphen G(N)?

e) Hier war ein Petrinetz gegeben, und es sollte der Überdeckungsgraph gezeichnet werden. Dann soltle die Menge der unbeschränkten Plätze angegeben werden.

== Aufgabe 5 ==

(ich glaube man musste bei den fragen ja/nein ankreuzen und begründen.)

a)
Ist es entscheidbar ob ein P/T Netz beschränkt ist?

b)
Ist es entscheidbar ob ein P/T Netz k-beschränkt ist?

c)
Ist die Erreichbarkeit für CPN entscheidbar?

d)
Gegeben ist ein P/T Netz mit |P| Plätzen und |T| Transitionen. Wir wissen, dass es k- beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat!

== Aufgabe 6 ==

Gegeben war ein CPN.

a) zeichne den Erreichbarkeitsgraphen

...

b) Ist die Makierung (1'1 , false , <math> \emptyset </math>) erreichbar?
c) Gilt
<math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ?

== Aufgabe 7 ==

Gegeben war das Netz

http://snuk.sn.funpic.de/netz.gif

== Aufgabe 8 ==

Hier gab es viele Punkte zur Prozessalgebra.

1. Menge der BPA-Terme definieren.

2. Zwei Terme aus BPA gegeben, und Prozessgraphen zeichnen.

3. Alle bisimilaren Knoten identifizieren.

4. Reduktionskalkül anwenden.

5. Sind sie bisimilar(Ja/Nein) Frage.

6. Ja/Nein Fragen zur Gewichtsfunktion.

a)Wenn t-> t' reduziert werden kann , gilt dann gew(t) > gew(t')?

b) Wenn t->* t' reduziert werden kann, gilt dann gew(t) > gew(t')?

c) Wenn t=t' gilt dann dann gew(t)=gew(t')?

7. Sind Prozessgraphen in BPA immer endlich?

== Aufgabe 9 ==

Noch eine Aufgabe zur Prozessalgebra.

1. Was für Dinge werden im BPA-Kalkül bewiesen? Bzw. um was dreht es sich im BPA-Kalkül. (Ja/Nein Fragen)

a) <math>t_1 + t_2</math>

b)<math> t_1 \rightarrow t_2 </math>

c) <math> t_1 \leftrightarrow t_2 </math> (Bisimilarität gemeint)

d) <math> t_1 = t_2 </math>

2. Ist <math> t_1 \leftrightarrow t_2 </math> entscheidbar?

3. Ist <math> \neg t_1 \leftrightarrow t_2 </math> entscheidbar?

4. Was bedeutet es, wenn das BPA-Kalkül korrekt ist?

5. Was bedeutet es, wenn das BPA-Kalkül vollständig ist?

== Aufgabe 10 ==

Ein Harelgraph war gegeben. Man sollte das Zustandsdiagramm dazu malen.

Weiterhin sollte man erklären, um was Harel-Graphen endliche Automaten erweitern.

== Aufgabe 11 ==

== Aufgabe 12 ==

DTM und RAM

6 Multiply Choice Fragen
Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)

== Aufgabe 13 ==

[[Kategorie:Gedaechtnisprotokoll|FGI2]]

Vektorzeitstempel in eine vorhandene Struktur eintragen

Gedächtnisprotokoll FGI209-1

2009-02-19T13:20:40Z

77.21.201.76: /* Aufgabe 7 */

Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte)
Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.

Auffallend war wieder die Personenkontrolle am Eingang.

Insgesamt gab es 192 Punkte zu erreichen

== Aufgabe 1 ==
1. Transitionssystem TS

<math>\rightarrow(s_0) \rightarrow^b (s_1) \rightarrow^b (s_2) \rightarrow^b ...</math>

wobei jeder Zustand noch eine Schleife mit a's hat und jeder Zustand Endzustand ist.
Formale Definition angeben:

S=

A=

tr=

<math>S^0</math>=

<math>S^F</math>=

2. Wie ist die akzeptierte Sprache des Systems?

3. Geben sie einen endlichen Automaten an, der diese Sprache akzeptiert.

4. Geben sie die Omega-Sprache <math>L^\omega(TS)</math> an

5. Gegeben das Transitionssystem <math>TS_2 ->(s_0') <->^c (s_1')</math>
wobei <math>s_1'</math> Endzustand ist. Geben sie das Zustandsdiagramm des synchronen Transitionssystem <math>TS_1 \times TS_2</math> mit Sync={(b,c) } und <math>\gamma(b,c)=d</math> an

== Aufgabe 2 ==

1. Geben sie die Definition einer Makierungsinvarianz an.

2. Geben sie die Definition einer Lebendigkeitsinvarianz an.

3. Geben sie die allgemeine Form eines Makierungsprädikates an.

4. Vervollständigen sie m->t (t ist in m aktiviert) <=>

wobei auf der rechten Seite ein Makierungsprädikat angegeben werden soll.

== Aufgabe 3 ==

a)
Geben sie die formale Definition von Beschränktheit eines Netzes an.

b)
Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an.

c) Beweisen oder widerlegen sie die Behauptung:

Wenn ein Netz beschränkt ist, und der Erreichbarkeitsgraph zwei oder mehr strenge Zusammenhangskomponenten besitzt, dann ist das Netz nicht reversibel.

d) Ändert es etwas, wenn das Netz unbeschränkt ist?

== Aufgabe 4 ==

Hier gab es allgemeine Fragen zu einem Erreichbarkeitsgraphen RG(N) und einem Überdeckungsgraphen G(N) eines Netzes.
Auch hier Ja/Nein Kreuze und begründen.

a) Wenn das Netz beschränkt ist, ist dann RG(N) endlich?

b) Wenn das Netz unbeschränkt ist, ist dann RG(N) unendlich?

c) Wenn das Netz unbeschränkt ist, gibt es dann zwingend den Knoten (omega,omega,...,omega) in G(N)?

d) Wenn ein Platz p_i unbeschränkt ist, gilt dann (x_0,x_1,...,omega,...,x_n) (omega ist an der Stelle i) für jeden Knoten im Überdeckungsgraphen G(N)?

e) Hier war ein Petrinetz gegeben, und es sollte der Überdeckungsgraph gezeichnet werden. Dann soltle die Menge der unbeschränkten Plätze angegeben werden.

== Aufgabe 5 ==

(ich glaube man musste bei den fragen ja/nein ankreuzen und begründen.)

a)
Ist es entscheidbar ob ein P/T Netz beschränkt ist?

b)
Ist es entscheidbar ob ein P/T Netz k-beschränkt ist?

c)
Ist die Erreichbarkeit für CPN entscheidbar?

d)
Gegeben ist ein P/T Netz mit |P| Plätzen und |T| Transitionen. Wir wissen, dass es k- beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat!

== Aufgabe 6 ==

Gegeben war ein CPN.

a) zeichne den Erreichbarkeitsgraphen

...

b) Ist die Makierung (1'1 , false , <math> \emptyset </math>) erreichbar?
c) Gilt
<math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ?

== Aufgabe 7 ==

Gegeben war das Netz

== Aufgabe 8 ==

Hier gab es viele Punkte zur Prozessalgebra.

1. Menge der BPA-Terme definieren.

2. Zwei Terme aus BPA gegeben, und Prozessgraphen zeichnen.

3. Alle bisimilaren Knoten identifizieren.

4. Reduktionskalkül anwenden.

5. Sind sie bisimilar(Ja/Nein) Frage.

6. Ja/Nein Fragen zur Gewichtsfunktion.

a)Wenn t-> t' reduziert werden kann , gilt dann gew(t) > gew(t')?

b) Wenn t->* t' reduziert werden kann, gilt dann gew(t) > gew(t')?

c) Wenn t=t' gilt dann dann gew(t)=gew(t')?

7. Sind Prozessgraphen in BPA immer endlich?

== Aufgabe 9 ==

Noch eine Aufgabe zur Prozessalgebra.

1. Was für Dinge werden im BPA-Kalkül bewiesen? Bzw. um was dreht es sich im BPA-Kalkül. (Ja/Nein Fragen)

a) <math>t_1 + t_2</math>

b)<math> t_1 \rightarrow t_2 </math>

c) <math> t_1 \leftrightarrow t_2 </math> (Bisimilarität gemeint)

d) <math> t_1 = t_2 </math>

2. Ist <math> t_1 \leftrightarrow t_2 </math> entscheidbar?

3. Ist <math> \neg t_1 \leftrightarrow t_2 </math> entscheidbar?

4. Was bedeutet es, wenn das BPA-Kalkül korrekt ist?

5. Was bedeutet es, wenn das BPA-Kalkül vollständig ist?

== Aufgabe 10 ==

Ein Harelgraph war gegeben. Man sollte das Zustandsdiagramm dazu malen.

Weiterhin sollte man erklären, um was Harel-Graphen endliche Automaten erweitern.

== Aufgabe 11 ==

== Aufgabe 12 ==

DTM und RAM

6 Multiply Choice Fragen
Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)

== Aufgabe 13 ==

[[Kategorie:Gedaechtnisprotokoll|FGI2]]

Vektorzeitstempel in eine vorhandene Struktur eintragen

Gedächtnisprotokoll FGI209-1

2009-02-19T13:20:19Z

77.21.201.76: /* Aufgabe 7 */

Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte)
Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.

Auffallend war wieder die Personenkontrolle am Eingang.

Insgesamt gab es 192 Punkte zu erreichen

== Aufgabe 1 ==
1. Transitionssystem TS

<math>\rightarrow(s_0) \rightarrow^b (s_1) \rightarrow^b (s_2) \rightarrow^b ...</math>

wobei jeder Zustand noch eine Schleife mit a's hat und jeder Zustand Endzustand ist.
Formale Definition angeben:

S=

A=

tr=

<math>S^0</math>=

<math>S^F</math>=

2. Wie ist die akzeptierte Sprache des Systems?

3. Geben sie einen endlichen Automaten an, der diese Sprache akzeptiert.

4. Geben sie die Omega-Sprache <math>L^\omega(TS)</math> an

5. Gegeben das Transitionssystem <math>TS_2 ->(s_0') <->^c (s_1')</math>
wobei <math>s_1'</math> Endzustand ist. Geben sie das Zustandsdiagramm des synchronen Transitionssystem <math>TS_1 \times TS_2</math> mit Sync={(b,c) } und <math>\gamma(b,c)=d</math> an

== Aufgabe 2 ==

1. Geben sie die Definition einer Makierungsinvarianz an.

2. Geben sie die Definition einer Lebendigkeitsinvarianz an.

3. Geben sie die allgemeine Form eines Makierungsprädikates an.

4. Vervollständigen sie m->t (t ist in m aktiviert) <=>

wobei auf der rechten Seite ein Makierungsprädikat angegeben werden soll.

== Aufgabe 3 ==

a)
Geben sie die formale Definition von Beschränktheit eines Netzes an.

b)
Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an.

c) Beweisen oder widerlegen sie die Behauptung:

Wenn ein Netz beschränkt ist, und der Erreichbarkeitsgraph zwei oder mehr strenge Zusammenhangskomponenten besitzt, dann ist das Netz nicht reversibel.

d) Ändert es etwas, wenn das Netz unbeschränkt ist?

== Aufgabe 4 ==

Hier gab es allgemeine Fragen zu einem Erreichbarkeitsgraphen RG(N) und einem Überdeckungsgraphen G(N) eines Netzes.
Auch hier Ja/Nein Kreuze und begründen.

a) Wenn das Netz beschränkt ist, ist dann RG(N) endlich?

b) Wenn das Netz unbeschränkt ist, ist dann RG(N) unendlich?

c) Wenn das Netz unbeschränkt ist, gibt es dann zwingend den Knoten (omega,omega,...,omega) in G(N)?

d) Wenn ein Platz p_i unbeschränkt ist, gilt dann (x_0,x_1,...,omega,...,x_n) (omega ist an der Stelle i) für jeden Knoten im Überdeckungsgraphen G(N)?

e) Hier war ein Petrinetz gegeben, und es sollte der Überdeckungsgraph gezeichnet werden. Dann soltle die Menge der unbeschränkten Plätze angegeben werden.

== Aufgabe 5 ==

(ich glaube man musste bei den fragen ja/nein ankreuzen und begründen.)

a)
Ist es entscheidbar ob ein P/T Netz beschränkt ist?

b)
Ist es entscheidbar ob ein P/T Netz k-beschränkt ist?

c)
Ist die Erreichbarkeit für CPN entscheidbar?

d)
Gegeben ist ein P/T Netz mit |P| Plätzen und |T| Transitionen. Wir wissen, dass es k- beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat!

== Aufgabe 6 ==

Gegeben war ein CPN.

a) zeichne den Erreichbarkeitsgraphen

...

b) Ist die Makierung (1'1 , false , <math> \emptyset </math>) erreichbar?
c) Gilt
<math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ?

== Aufgabe 7 ==

Gegeben war das Netz

[[Bild:http://snuk.sn.funpic.de/netz.gif]]

== Aufgabe 8 ==

Hier gab es viele Punkte zur Prozessalgebra.

1. Menge der BPA-Terme definieren.

2. Zwei Terme aus BPA gegeben, und Prozessgraphen zeichnen.

3. Alle bisimilaren Knoten identifizieren.

4. Reduktionskalkül anwenden.

5. Sind sie bisimilar(Ja/Nein) Frage.

6. Ja/Nein Fragen zur Gewichtsfunktion.

a)Wenn t-> t' reduziert werden kann , gilt dann gew(t) > gew(t')?

b) Wenn t->* t' reduziert werden kann, gilt dann gew(t) > gew(t')?

c) Wenn t=t' gilt dann dann gew(t)=gew(t')?

7. Sind Prozessgraphen in BPA immer endlich?

== Aufgabe 9 ==

Noch eine Aufgabe zur Prozessalgebra.

1. Was für Dinge werden im BPA-Kalkül bewiesen? Bzw. um was dreht es sich im BPA-Kalkül. (Ja/Nein Fragen)

a) <math>t_1 + t_2</math>

b)<math> t_1 \rightarrow t_2 </math>

c) <math> t_1 \leftrightarrow t_2 </math> (Bisimilarität gemeint)

d) <math> t_1 = t_2 </math>

2. Ist <math> t_1 \leftrightarrow t_2 </math> entscheidbar?

3. Ist <math> \neg t_1 \leftrightarrow t_2 </math> entscheidbar?

4. Was bedeutet es, wenn das BPA-Kalkül korrekt ist?

5. Was bedeutet es, wenn das BPA-Kalkül vollständig ist?

== Aufgabe 10 ==

Ein Harelgraph war gegeben. Man sollte das Zustandsdiagramm dazu malen.

Weiterhin sollte man erklären, um was Harel-Graphen endliche Automaten erweitern.

== Aufgabe 11 ==

== Aufgabe 12 ==

DTM und RAM

6 Multiply Choice Fragen
Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)

== Aufgabe 13 ==

[[Kategorie:Gedaechtnisprotokoll|FGI2]]

Vektorzeitstempel in eine vorhandene Struktur eintragen

Gedächtnisprotokoll FGI209-1

2009-02-19T13:17:49Z

77.21.201.76:

Die Klausur war wesentlich schwieriger als die im letztem Jahr (sofern man das an dem Gprot erkennen konnte)
Man musste vorallem viele Definitionen können, und es kam vieles dran was so direkt nicht in den Übungsaufgaben besprochen wurde.

Auffallend war wieder die Personenkontrolle am Eingang.

Insgesamt gab es 192 Punkte zu erreichen

== Aufgabe 1 ==
1. Transitionssystem TS

<math>\rightarrow(s_0) \rightarrow^b (s_1) \rightarrow^b (s_2) \rightarrow^b ...</math>

wobei jeder Zustand noch eine Schleife mit a's hat und jeder Zustand Endzustand ist.
Formale Definition angeben:

S=

A=

tr=

<math>S^0</math>=

<math>S^F</math>=

2. Wie ist die akzeptierte Sprache des Systems?

3. Geben sie einen endlichen Automaten an, der diese Sprache akzeptiert.

4. Geben sie die Omega-Sprache <math>L^\omega(TS)</math> an

5. Gegeben das Transitionssystem <math>TS_2 ->(s_0') <->^c (s_1')</math>
wobei <math>s_1'</math> Endzustand ist. Geben sie das Zustandsdiagramm des synchronen Transitionssystem <math>TS_1 \times TS_2</math> mit Sync={(b,c) } und <math>\gamma(b,c)=d</math> an

== Aufgabe 2 ==

1. Geben sie die Definition einer Makierungsinvarianz an.

2. Geben sie die Definition einer Lebendigkeitsinvarianz an.

3. Geben sie die allgemeine Form eines Makierungsprädikates an.

4. Vervollständigen sie m->t (t ist in m aktiviert) <=>

wobei auf der rechten Seite ein Makierungsprädikat angegeben werden soll.

== Aufgabe 3 ==

a)
Geben sie die formale Definition von Beschränktheit eines Netzes an.

b)
Geben sie die formale Definition von struktureller Beschränktheit eines Netzes an.

c) Beweisen oder widerlegen sie die Behauptung:

Wenn ein Netz beschränkt ist, und der Erreichbarkeitsgraph zwei oder mehr strenge Zusammenhangskomponenten besitzt, dann ist das Netz nicht reversibel.

d) Ändert es etwas, wenn das Netz unbeschränkt ist?

== Aufgabe 4 ==

Hier gab es allgemeine Fragen zu einem Erreichbarkeitsgraphen RG(N) und einem Überdeckungsgraphen G(N) eines Netzes.
Auch hier Ja/Nein Kreuze und begründen.

a) Wenn das Netz beschränkt ist, ist dann RG(N) endlich?

b) Wenn das Netz unbeschränkt ist, ist dann RG(N) unendlich?

c) Wenn das Netz unbeschränkt ist, gibt es dann zwingend den Knoten (omega,omega,...,omega) in G(N)?

d) Wenn ein Platz p_i unbeschränkt ist, gilt dann (x_0,x_1,...,omega,...,x_n) (omega ist an der Stelle i) für jeden Knoten im Überdeckungsgraphen G(N)?

e) Hier war ein Petrinetz gegeben, und es sollte der Überdeckungsgraph gezeichnet werden. Dann soltle die Menge der unbeschränkten Plätze angegeben werden.

== Aufgabe 5 ==

(ich glaube man musste bei den fragen ja/nein ankreuzen und begründen.)

a)
Ist es entscheidbar ob ein P/T Netz beschränkt ist?

b)
Ist es entscheidbar ob ein P/T Netz k-beschränkt ist?

c)
Ist die Erreichbarkeit für CPN entscheidbar?

d)
Gegeben ist ein P/T Netz mit |P| Plätzen und |T| Transitionen. Wir wissen, dass es k- beschränkt ist. Geben sie eine obere Abschätzung für die Anzahl der Knoten an, die der Erreichbarkeitsgraph hat!

== Aufgabe 6 ==

Gegeben war ein CPN.

a) zeichne den Erreichbarkeitsgraphen

...

b) Ist die Makierung (1'1 , false , <math> \emptyset </math>) erreichbar?
c) Gilt
<math>\forall p \in P : \forall m \in R(N) : \mid m(p)\mid \leq 1</math> ?

== Aufgabe 7 ==

== Aufgabe 8 ==

Hier gab es viele Punkte zur Prozessalgebra.

1. Menge der BPA-Terme definieren.

2. Zwei Terme aus BPA gegeben, und Prozessgraphen zeichnen.

3. Alle bisimilaren Knoten identifizieren.

4. Reduktionskalkül anwenden.

5. Sind sie bisimilar(Ja/Nein) Frage.

6. Ja/Nein Fragen zur Gewichtsfunktion.

a)Wenn t-> t' reduziert werden kann , gilt dann gew(t) > gew(t')?

b) Wenn t->* t' reduziert werden kann, gilt dann gew(t) > gew(t')?

c) Wenn t=t' gilt dann dann gew(t)=gew(t')?

7. Sind Prozessgraphen in BPA immer endlich?

== Aufgabe 9 ==

Noch eine Aufgabe zur Prozessalgebra.

1. Was für Dinge werden im BPA-Kalkül bewiesen? Bzw. um was dreht es sich im BPA-Kalkül. (Ja/Nein Fragen)

a) <math>t_1 + t_2</math>

b)<math> t_1 \rightarrow t_2 </math>

c) <math> t_1 \leftrightarrow t_2 </math> (Bisimilarität gemeint)

d) <math> t_1 = t_2 </math>

2. Ist <math> t_1 \leftrightarrow t_2 </math> entscheidbar?

3. Ist <math> \neg t_1 \leftrightarrow t_2 </math> entscheidbar?

4. Was bedeutet es, wenn das BPA-Kalkül korrekt ist?

5. Was bedeutet es, wenn das BPA-Kalkül vollständig ist?

== Aufgabe 10 ==

Ein Harelgraph war gegeben. Man sollte das Zustandsdiagramm dazu malen.

Weiterhin sollte man erklären, um was Harel-Graphen endliche Automaten erweitern.

== Aufgabe 11 ==

== Aufgabe 12 ==

DTM und RAM

6 Multiply Choice Fragen
Komplexitaetsklassen von ''irgendwas'' (uniformes Mass und logarithmischens foo fuer Stellen und Plaetze)

== Aufgabe 13 ==

[[Kategorie:Gedaechtnisprotokoll|FGI2]]

Vektorzeitstempel in eine vorhandene Struktur eintragen

Gedächtnisprotokoll FGI209-1

2009-02-19T12:54:28Z

77.21.201.76: /* Aufgabe 2 */

Gedächtnisprotokoll FGI209-1

2009-02-19T12:53:30Z

77.21.201.76: /* Aufgabe 6 */

Gedächtnisprotokoll FGI209-1

2009-02-19T12:53:07Z

77.21.201.76: /* Aufgabe 6 */

Gedächtnisprotokoll FGI209-1

2009-02-19T12:52:44Z

77.21.201.76: /* Aufgabe 6 */

Gedächtnisprotokoll FGI209-1

2009-02-19T12:52:24Z

77.21.201.76: /* Aufgabe 6 */

Gedächtnisprotokoll FGI209-1

2009-02-19T12:51:53Z

77.21.201.76: /* Aufgabe 6 */

Gedächtnisprotokoll FGI209-1

2009-02-19T12:38:37Z

77.21.201.76: /* Aufgabe 5 */

Gedächtnisprotokoll FGI209-1

2009-02-19T12:33:51Z

77.21.201.76:

Gedächtnisprotokoll FGI209-1

2009-02-19T12:31:55Z

77.21.201.76: /* Aufgabe 3 */

Gedächtnisprotokoll FGI209-1

2009-02-19T12:29:57Z

77.21.201.76: /* Aufgabe 2 */