Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Neue Programmiersprache an der Universität Bremen entwickelt

22.10.2010
Von der Arbeitsgruppe Rechnerarchitektur unter der Leitung von Professor Rolf Drechsler, Hochschullehrer im Studiengang Informatik der Universität Bremen, wurde eine neue Programmiersprache entwickelt, die modernen technologischen Entwicklungen Rechnung trägt.

Die Programmiersprache mit dem Namen SyReC ermöglicht, sehr komplexe Systeme für reversible Schaltungen zu beschreiben. Bei der Fachtagung Forum on Design Languages (FDL) in Southampton ist der wissenschaftliche Beitrag, der die Sprache beschreibt, mit dem „Best Paper Award“ ausgezeichnet worden.

Allgemein sind Programmiersprachen als die zentrale Schnittstelle zwischen Mensch und Maschine zu sehen. Selbst moderne Computer können menschliche Sprachen wie Englisch oder Deutsch nicht vollständig verarbeiten. Dies liegt daran, dass diese Sprachen nicht eindeutig sind, sodass der Rechner nicht genau weiß, wie Sätze zu verstehen sind.

So ist es für den Menschen klar, dass ein Schild mit der Aufschrift „Dieser Bereich wird zur Verhütung von Straftaten durch die Polizei videoüberwacht.“ bedeutet, dass die Polizei die Straftaten verhütet. Gemäß der Satzstellung wäre es aber auch möglich, dass die Straftaten durch die Polizei verübt werden. Nur durch Allgemeinwissen, das dem Computer so nicht zugänglich ist, kann das richtige Verständnis sichergestellt werden. Programmiersprachen sind daher ein Kompromiss zwischen guter Lesbarkeit der Anweisungen für den Menschen und gleichzeitig eindeutiger Interpretation durch den Computer.

Durch technologische Weiterentwicklungen werden aber immer neue Anforderungen an die jeweiligen Sprachen gestellt. So wird heutzutage nicht nur Software mit Hilfe von Programmiersprachen entwickelt. Auch Computer bzw. Schaltkreise werden durch sie beschrieben. Dies ist notwendig, da Schaltungen mittlerweile eine enorme Komplexität erreichen – Systeme mit Milliarden von Komponenten sind keine Seltenheit. Gleichzeitig muss den aktuellen technologischen Entwicklungen Rechnung getragen werden. Eine dieser Entwicklungen ist die verstärkte Betrachtung von so genannter reversibler Logik. Dabei handelt es sich um Schaltungen, bei denen Operationen auch in umgekehrter Richtung ausgeführt werden können. Dies findet Anwendung beim Entwurf von Systemen mit sehr geringem Energieverbauch – sogenannten Low Power Systemen. Und auch Quantencomputer profitieren von solchen Schaltkreisen. Man geht davon aus, dass diese Technologien bisherige Computer in der Zukunft ersetzen oder zumindest nachhaltig ergänzen werden.

Allerdings lassen sich für diese aufkommenden Technologien die bisher etablierten Programmiersprachen nicht mehr verwenden. Alternativen sind nötig, welche die Arbeitsgruppe Rechnerarchitektur nun erstmals entwickelt hat. Dabei entstand die neue Programmiersprache SyReC, welche es ermöglicht, sehr komplexe Systeme für reversible Schaltungen zu beschreiben. Ein Durchbruch, der im September 2010 auf der Fachtagung Forum on Design Languages (FDL) in Southampton vorgestellt wurde. Der von Robert Wille, Sebastian Offermann und Rolf Drechsler verfasste wissenschaftliche Beitrag, der die Sprache beschreibt, wurde dabei als beste Arbeit der Tagung gekürt und mit dem „Best Paper Award“ ausgezeichnet.

Weitere Informationen:

Universität Bremen
Fachbereich 3 Mathematik/ Informatik
Arbeitsgruppe Rechnerarchitektur
Prof. Dr. Rolf Drechsler
Telefon: 0421 218-63932
Dr. Robert Wille
Telefon: 0421 218 63947
E-Mail: drechsler@uni-bremen.de

Eberhard Scholz | idw
Weitere Informationen:
http://www.informatik.uni-bremen.de/agra/ger/index.php

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Volle Konzentration am Steuer
25.11.2016 | Leibniz-Institut für Arbeitsforschung an der TU Dortmund

nachricht Warum Reibung von der Zahl der Schichten abhängt
24.11.2016 | Karlsruher Institut für Technologie

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Greifswalder Forscher dringen mit superauflösendem Mikroskop in zellulären Mikrokosmos ein

Das Institut für Anatomie und Zellbiologie weiht am Montag, 05.12.2016, mit einem wissenschaftlichen Symposium das erste Superresolution-Mikroskop in Greifswald ein. Das Forschungsmikroskop wurde von der Deutschen Forschungsgemeinschaft (DFG) und dem Land Mecklenburg-Vorpommern finanziert. Nun können die Greifswalder Wissenschaftler Strukturen bis zu einer Größe von einigen Millionstel Millimetern mittels Laserlicht sichtbar machen.

Weit über hundert Jahre lang galt die von Ernst Abbe 1873 publizierte Theorie zur Auflösungsgrenze von Lichtmikroskopen als ein in Stein gemeißeltes Gesetz....

Im Focus: Durchbruch in der Diabetesforschung: Pankreaszellen produzieren Insulin durch Malariamedikament

Artemisinine, eine zugelassene Wirkstoffgruppe gegen Malaria, wandelt Glukagon-produzierende Alpha-Zellen der Bauchspeicheldrüse (Pankreas) in insulinproduzierende Zellen um – genau die Zellen, die bei Typ-1-Diabetes geschädigt sind. Das haben Forscher des CeMM Forschungszentrum für Molekulare Medizin der Österreichischen Akademie der Wissenschaften im Rahmen einer internationalen Zusammenarbeit mit modernsten Einzelzell-Analysen herausgefunden. Ihre bahnbrechenden Ergebnisse werden in Cell publiziert und liefern eine vielversprechende Grundlage für neue Therapien gegen Typ-1 Diabetes.

Seit einigen Jahren hatten sich Forscher an diesem Kunstgriff versucht, der eine simple und elegante Heilung des Typ-1 Diabetes versprach: Die vom eigenen...

Im Focus: Makromoleküle: Mit Licht zu Präzisionspolymeren

Chemikern am Karlsruher Institut für Technologie (KIT) ist es gelungen, den Aufbau von Präzisionspolymeren durch lichtgetriebene chemische Reaktionen gezielt zu steuern. Das Verfahren ermöglicht die genaue, geplante Platzierung der Kettengliedern, den Monomeren, entlang von Polymerketten einheitlicher Länge. Die präzise aufgebauten Makromoleküle bilden festgelegte Eigenschaften aus und eignen sich möglicherweise als Informationsspeicher oder synthetische Biomoleküle. Über die neuartige Synthesereaktion berichten die Wissenschaftler nun in der Open Access Publikation Nature Communications. (DOI: 10.1038/NCOMMS13672)

Chemische Reaktionen lassen sich durch Einwirken von Licht bei Zimmertemperatur auslösen. Die Forscher am KIT nutzen diesen Effekt, um unter Licht die...

Im Focus: Neuer Sensor: Was im Inneren von Schneelawinen vor sich geht

Ein neuer Radarsensor erlaubt Einblicke in die inneren Vorgänge von Schneelawinen. Entwickelt haben ihn Ingenieure der Ruhr-Universität Bochum (RUB) um Dr. Christoph Baer und Timo Jaeschke gemeinsam mit Kollegen aus Innsbruck und Davos. Das Messsystem ist bereits an einem Testhang im Wallis installiert, wo das Schweizer Institut für Schnee- und Lawinenforschung im Winter 2016/17 Messungen damit durchführen möchte.

Die erhobenen Daten sollen in Simulationen einfließen, die das komplexe Geschehen im Inneren von Lawinen detailliert nachbilden. „Was genau passiert, wenn sich...

Im Focus: Neuer Rekord an BESSY II: 10 Millionen Ionen erstmals bis auf 7,4 Kelvin gekühlt

Magnetische Grundzustände von Nickel2-Ionen spektroskopisch ermittelt

Ein internationales Team aus Deutschland, Schweden und Japan hat einen neuen Temperaturrekord für sogenannte Quadrupol-Ionenfallen erreicht, in denen...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Von „Coopetition“ bis „Digitale Union“ – Die Fertigungsindustrien im digitalen Wandel

02.12.2016 | Veranstaltungen

Experten diskutieren Perspektiven schrumpfender Regionen

01.12.2016 | Veranstaltungen

Die Perspektiven der Genom-Editierung in der Landwirtschaft

01.12.2016 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Parkinson-Krankheit und Dystonien: DFG-Forschergruppe eingerichtet

02.12.2016 | Förderungen Preise

Smart Data Transformation – Surfing the Big Wave

02.12.2016 | Studien Analysen

Nach der Befruchtung übernimmt die Eizelle die Führungsrolle

02.12.2016 | Biowissenschaften Chemie