In dieser Ausarbeitung stellen wir die Probleme One-Slot-Scheduling und Scheduling im Modell SINRG vor. Dieses Modell ist physikalisch motiviert und geht davon aus, dass Sensorknoten in der euklidischen Ebene verteilt sind. Sendende Sensorknoten üben Interferenz aufeinander aus. Bei den beiden genannten Problemen geht es darum, gewünschte Funkverbindungen so zu planen, dass die dabei auftretend...

Ein Model Checker verifiziert, ob ein Modell bestimmte Anforderungen erfüllt. Eine Möglichkeit, das Verhalten von Softwaresystemen zu modellieren, sind endliche Automaten. Diese finden Einzug in die Unified Modelling Language in Form von Statecharts. UML-Statecharts können ein hohes Maß an Komplexität erreichen, so dass sich ihr Zustandsraum nicht mehr komplett in den Hauptspeicher abbilden läs...

Die Be-triebsergebnisse zeigen, dass die jeweilige Steuerungsaufgabe erfüllt wird.

objective: in order to find how rating the whoqol-bref and dass scales are combined to produce an overall measure of quality of life and satisfaction with health rating, a qol-dass model was designed; and the strength of this hypothesized model was examined using the structural equation modeling. method: participants included a sample of 103 voluntary males who were divided into two groups of u...

In einer Informationsgesellschaft, die durch das Bedürfnis nach Information und Kommunikation, nach berechenbarer, beschleunigter und formatierter technischer Handhabung von Arbeits-, Produktund Bildungsabläufen gekennzeichnet ist, werden die meisten gesellschaftlichen, ökonomischen, wissenschaftlichen und technologischen Aktivitäten über die Informatik gesteuert. Vom Standpunkt der Moral her b...

Themenmodelle bieten sich an, die Inhalte großer Dokumentensammlungen zu erforschen. Thematische Wortlisten präsentieren typische Inhalte. Diese Themen werden automatisch gelernt, ohne das Dokumente manuell annotiert werden müssen. Während des Lernens eines Themenmodells werden die Wörter der Dokumente Themen zugeordnet. Dabei werden zwei gegenläufige Ziele verfolgt: erstens, einem Thema sollen...

Lehmann traf Zuse zum ersten Mal Ende 1949 bei einem Besuch in der neugegründeten Zuse KG im hessischen Neukirchen. Zuse baute gerade an der Z4, die er nach den Wünschen von Eduard Stiefel von der ETH Zürich ergänzte. Da Zuse sich damals, wie auch noch in den folgenden Jahren, entschieden für die elektromechanischen Relais und gegen die Elektronenröhren als Elementarbausteine für die Rechenauto...

Eine Befragung von Schülern in Informatikkursen und Studenten der Informatik wurde mit dem Ziel durchgeführt, Aspekte des Informatik-bezogenen Weltbildes der Testpersonen zu ermitteln. Dazu wurden Wertungen, Wünsche und Modellvorstellungen abgefragt. Die Ergebnisse geben Anregungen zur Weiterentwicklung des Informatikunterrichts. 1 Motivation der Untersuchung Der Informatikunterricht hat trotz ...