February 2010 - Kolloq - lists.ibr.cs.tu-bs.de

Erinnerung: Vortrag am 01.03.2010, 17:00 Uhr
by Informatik-Kolloquium 28 Feb '10

28 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Marc Bechler, Forschung und Technik, BMW Group: simTD: Architektur zukünftiger Car-to-X-Szenarien Beginn: 01.03.2010, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-03-01-bechler.html Kontakt: Prof. Dr.-Ing. Lars Wolf Staus verursachen in Deutschland jedes Jahr volkswirtschaftliche Kosten von rund 17 Mrd. Euro. Die Zahl der bei Verkehrsunfällen verletzten bzw. getöteten Personen liegt mit 410.000 bzw. 4.500 trotz aller Verbesserungen der aktiven und passiven Sicherheit von Kraftfahrzeugen noch immer sehr hoch. Nach Ansicht vieler Experten kann eine weitere Verbesserung der Situation nur durch eine Ergänzung der autonomen Fahrzeugsysteme mit kommunikationsbasierten Ansätzen gelingen. Mit simTD werden diese kommunikationsbasierten Ansätze basierend auf Car-to-X-Kommunikation erstmalig in einem breit angelegten Feldversuch in Deutschland erprobt. Die umfassende und nahtlose Vernetzung von Fahrzeugen und Infrastruktur stellt hierbei eine nicht zu unterschätzende technologische Herausforderung dar. In diesem Vortrag werden die Ziele eines „Intelligenten Transportsystems“ im Generellen und simTD im Speziellen umrissen. Ein wichtiger Schwerpunkt kommt hierbei der einheitlichen Kommunikationsarchitektur zu, die für simTD entwickelt wurde.

1 0

Erinnerung: Vortrag am 25.02.2010, 14:00 Uhr
by Informatik-Kolloquium 24 Feb '10

24 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Wolfgang Steffen: Shape 2010: 3D Strahlungstransport für die Visualisierung astrophysikalischer Phänomene Beginn: 25.02.2010, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-02-25-steffen.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Das Programm Shape wurde ursprünglich zur 3D-Modellierung der Struktur und Kinematic astrophysikalischer Nebel geschrieben. Shape ist das erste astrophysikalische Simulationsprogramm ist, das interaktive 3D-Graphiktechniken zur Modelerzeugung verwendet. Jetzt wurde aber zusätzlich 3D-Strahlungstransport eingebaut, was realistischere Darstellungen erlaubt. Das neue Animationsmodul und "Texturing" und andere Neuheiten erweitern deutlich die Anwendungsmöglichkeiten in der Visualisierung und astrophysikalischen Forschung.

1 0

Erinnerung: Vortrag am 25.02.2010, 18:00 Uhr
by Informatik-Kolloquium 24 Feb '10

24 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Dipl.-Wirt.-Inform. René Keller, Geschäftsführer der Fa. medieninnovation.com GmbH, Köln: Corporate Publishing - innovativ und individualisiert Beginn: 25.02.2010, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstrasse 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Individualisierung findet man heutzutage in vielen Bereichen des täglichen Lebens. Im Bereich von Druckerzeugnissen sind jedoch nur sehr zögerliche Individualisierungsversuche zu erkennen, obwohl der Digitaldruck auf der Herstellungsseite bereits weit reichende Möglichkeiten bietet. Die Firma medieninnovation.com GmbH hat mit News2paper ein generisches Verfahren zur automatisierten, massenhaft individualisierten Herstellung von Druckvorlagen entwickelt. Die von der Gesellschaft für Informatik mit dem Innovationspreis 2009 ausgezeichnete Lösung ermöglicht die Herstellung vielfältiger neuer Druckerzeugnisse, wie individualisierte Zeitungen, Magazine, Produktkataloge und Unternehmenskommunikation.

1 0

Erinnerung: Vortrag am 25.02.2010, 14:30 Uhr
by Informatik-Kolloquium 24 Feb '10

24 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Christophe Morisset: Modeling the planetary nebula IC418: a combined approach using stellar and nebular model Beginn: 25.02.2010, 14:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-02-25-morisset.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor We present a coherent stellar and nebular model reproducing the observations of the Planetary Nebula IC418. We want to test whether a stellar model obtained by fitting the stellar observations is able to satisfactory ionize the nebula and reproduce the nebular observations, which is by no mean evident. This allows us to determine all the physical parameters of both the star and the nebula, including the abundances and the distance. We used all the observational material available (FUSE, IUE, STIS and optical spectra) to constrain the stellar atmosphere model performed using the CMFGEN code. The photoionization model is done with Cloudy_3D, and is based on CTIO, Lick, SPM, IUE and ISO spectra as well as HST images. More than 140 nebular emission lines are compared to the observed intensities. We reproduce all the observations for the star and the nebula. The 3D morphology of the gas distribution is determined. The effective temperature of the star is 36.7kK. Its luminosity is 7700 solar luminosity. We describe an original method to determine the distance of the nebula using evolutionary tracks. No clumping factor is need to reproduce the age-luminosity relation. The distance of 1.25 kpc is found in very good agreement with recent determination using parallax method. The chemical composition of both the star and the nebula are determined. Both are Carbon-rich. The nebula presents evidence of depletion of elements Mg, Si, S, Cl (0.5 dex lower than solar) and Fe (2.9 dex lower than solar). This is the first self-consistent stellar and nebular model for a Planetary Nebula that reproduces all the available observations ranging from IR to UV, showing that the combined approach for the modeling process leads to more restrictive constraints and, in principle, more trustworthy results.

1 0

Vortrag am 19.04.2010, 17:00 Uhr
by Informatik-Kolloquium 23 Feb '10

23 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Prof. Dr. Walter Vogler, Universität Augsburg: Safe Reasoning with Logic LTS Beginn: 19.04.2010, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-04-19-vogler.html Kontakt: Prof. Dr. Ursula Goltz In der Praxis ist es oft wünschenswert, einen deklarativen mit einem operationalen Spezifikationsstil zu mischen. Damit kann man in einer Spezifikation eine gewünschte operationale Architektur vorgeben und zugleich Komponenten sowie Anforderungen an das Gesamtsystem logisch spezifizieren; man kann auch eine Spezifikation in einer geeigneten Logik schrittweise in einen operationalen Entwurf umsetzen. Ziel unseres gegenwärtigen Projekts ist es, eine Spezifikationssprache für nebenläufige Systeme zu entwickeln, in der man prozessalgebraische und temporal-logische Operatoren beliebig mischen kann. Die zugehörige Implementierungssrelation soll (1) kompositionales Vorgehen unterstützen, (2) sich auf Prozessen in das bekannte Spektrum der Concurrency-Semantiken einordnen, (3) auf logischen Formeln der Implikation entsprechen, und (4) zwischen einem Prozess und einer Formel ausdrücken, dass jener diese erfüllt. Zunächst haben wir beschriftete Transitionssysteme (LTS) in geeigneter Weise auf Logic LTS erweitert und eine geringe Zahl von Operatoren auf diesen definiert. Ausgehend von einer sehr einfachen Basis-Relation haben wir gezeigt, dass die auf sog. Ready-Simulationen gestützte Präordnung genau richtig für die Behandlung der Konjunktion und der Parallelkomposition ist; diese erfüllt dann auch für weitere Opera- tionen die genannten Anforderungen an eine Implementierungssrelation. Schließlich haben wir unserem Ansatz auch temporal-logische Operationen für Sicherheitseigenschaften hinzugefügt.

1 0

Vortrag am 25.02.2010, 14:30 Uhr
by Informatik-Kolloquium 19 Feb '10

19 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Christophe Morisset: Modeling the planetary nebula IC418: a combined approach using stellar and nebular model Beginn: 25.02.2010, 14:30 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-02-25-morisset.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor We present a coherent stellar and nebular model reproducing the observations of the Planetary Nebula IC418. We want to test whether a stellar model obtained by fitting the stellar observations is able to satisfactory ionize the nebula and reproduce the nebular observations, which is by no mean evident. This allows us to determine all the physical parameters of both the star and the nebula, including the abundances and the distance. We used all the observational material available (FUSE, IUE, STIS and optical spectra) to constrain the stellar atmosphere model performed using the CMFGEN code. The photoionization model is done with Cloudy_3D, and is based on CTIO, Lick, SPM, IUE and ISO spectra as well as HST images. More than 140 nebular emission lines are compared to the observed intensities. We reproduce all the observations for the star and the nebula. The 3D morphology of the gas distribution is determined. The effective temperature of the star is 36.7kK. Its luminosity is 7700 solar luminosity. We describe an original method to determine the distance of the nebula using evolutionary tracks. No clumping factor is need to reproduce the age-luminosity relation. The distance of 1.25 kpc is found in very good agreement with recent determination using parallax method. The chemical composition of both the star and the nebula are determined. Both are Carbon-rich. The nebula presents evidence of depletion of elements Mg, Si, S, Cl (0.5 dex lower than solar) and Fe (2.9 dex lower than solar). This is the first self-consistent stellar and nebular model for a Planetary Nebula that reproduces all the available observations ranging from IR to UV, showing that the combined approach for the modeling process leads to more restrictive constraints and, in principle, more trustworthy results.

1 0

Vortrag am 25.02.2010, 14:00 Uhr
by Informatik-Kolloquium 19 Feb '10

19 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Wolfgang Steffen: Shape 2010: 3D Strahlungstransport für die Visualisierung astrophysikalischer Phänomene Beginn: 25.02.2010, 14:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-02-25-steffen.html Kontakt: Prof. Dr.-Ing. Marcus A. Magnor Das Programm Shape wurde ursprünglich zur 3D-Modellierung der Struktur und Kinematic astrophysikalischer Nebel geschrieben. Shape ist das erste astrophysikalische Simulationsprogramm ist, das interaktive 3D-Graphiktechniken zur Modelerzeugung verwendet. Jetzt wurde aber zusätzlich 3D-Strahlungstransport eingebaut, was realistischere Darstellungen erlaubt. Das neue Animationsmodul und "Texturing" und andere Neuheiten erweitern deutlich die Anwendungsmöglichkeiten in der Visualisierung und astrophysikalischen Forschung.

1 0

Vortrag am 01.03.2010, 17:00 Uhr
by Informatik-Kolloquium 17 Feb '10

17 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem Vortrag ein: Dr. Marc Bechler, Forschung und Technik, BMW Group: simTD: Architektur zukünftiger Car-to-X-Szenarien Beginn: 01.03.2010, 17:00 Uhr Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23, 1.OG, Hörsaal M 160 Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2010-03-01-bechler.html Kontakt: Prof. Dr.-Ing. Lars Wolf Staus verursachen in Deutschland jedes Jahr volkswirtschaftliche Kosten von rund 17 Mrd. Euro. Die Zahl der bei Verkehrsunfällen verletzten bzw. getöteten Personen liegt mit 410.000 bzw. 4.500 trotz aller Verbesserungen der aktiven und passiven Sicherheit von Kraftfahrzeugen noch immer sehr hoch. Nach Ansicht vieler Experten kann eine weitere Verbesserung der Situation nur durch eine Ergänzung der autonomen Fahrzeugsysteme mit kommunikationsbasierten Ansätzen gelingen. Mit simTD werden diese kommunikationsbasierten Ansätze basierend auf Car-to-X-Kommunikation erstmalig in einem breit angelegten Feldversuch in Deutschland erprobt. Die umfassende und nahtlose Vernetzung von Fahrzeugen und Infrastruktur stellt hierbei eine nicht zu unterschätzende technologische Herausforderung dar. In diesem Vortrag werden die Ziele eines „Intelligenten Transportsystems“ im Generellen und simTD im Speziellen umrissen. Ein wichtiger Schwerpunkt kommt hierbei der einheitlichen Kommunikationsarchitektur zu, die für simTD entwickelt wurde.

1 0

Erinnerung: Vortrag am 04.02.2010, 18:00 Uhr
by Informatik-Kolloquium 03 Feb '10

03 Feb '10

Die Dozenten der Informatik-Institute der Technischen Universität Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe Braunschweig aufmerksam: GI-Vortrag: Frau Dr. PD A. Herrmann, Technische Universität Braunschweig, Software Systems Engineering Institut: Was ist wichtig? Best Practices für die Priorisierung von Anforderungen Beginn: 04.02.2010, 18:00 Uhr Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstrasse 11 Webseite: http://www.lineas.de/gi-bs/ Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS Nicht alle Anforderungen sind gleich wichtig. Dies zeigt sich spätestens dann, wenn im Projekt Entscheidungen nötig werden. Dieser Vortrag zeigt, warum die Anforderungspriorisierung so schwierig ist, und mit welchen Best Practices man diese Schwierigkeiten in den Griff bekommt. Es geht darum, die Priorisierung zum richtigen Zeitpunkt durchzuführen, die Anforderungen hierfür in der richtigen Granularität zu bündeln, die richtigen Experten zu befragen, den Aufwand sinnvoll zu fokussieren sowie ein Referenzsystem zu verwenden. Dies hängt jeweils von der zu treffenden Entscheidung ab.

1 0