Einfluss von Sprachkonstrukten auf die Lösbarkeit von Answer-Set-ProgrammenSportswear Hoodie Pullover Sportswear Men's Nike Nike Nike Men's Pullover Hoodie ZOkuXPi

Posted on 8. Februar 2017 byNike Hoodie Full Sportswear Zip Full Zip Nike Sportswear AL54Rj Christian Timmerer

… ist der Titel der 1. Platz des Roland-Mittermeir-Preis und wurde vom Förderverein Technische Fakultät mit EUR 1.500,– ausgezeichnet. Dem Autor und Preisträger, Herrn Dipl.-Ing. Richard Taupe, wurde der Preis im Rahmen des Festakts 30 Jahre Informatik an der Alpen-Adria-Universität KlagenfurtNIKE PACK Men's HOLIDAY ClothingTennispro NADAL WxrdoeCB übergeben und die Arbeit wird hier kurz vorgestellt:

Im traditionellen Paradigma der imperativen Programmierung werden Computer auf die folgende Art verwendet, um Probleme zu lösen: Ein Mensch entwirft einen Algorithmus, also eine Schritt-für-Schritt-Anleitung, mit der das Problem gelöst werden kann, übersetzt diesen in eine Programmiersprache und lässt den Computer dieses Programm ausführen. Bei der deklarativen Programmierung hingegen wird dem Computer nicht vorgeschrieben, wie er das Problem zu lösen hat. Stattdessen wird ihm nur das Problem selbst in einer geeigneten Sprache beschrieben, sodass die Lösungen für das Problem von einem universell einsetzbaren Suchalgorithmus gefunden werden können.

Herren Nike Hose Sportswear Herren Hose 0OX8PNknw

Answer Set Programming (ASP) ist ein Ansatz zur deklarativen Programmierung. Dazu gehört auch eine formale Sprache, in der Probleme deklarativ beschrieben werden können. Die Syntax dieser Sprache definiert verschiedene Sprachkonstrukte, mit denen ein und der selbe Sachverhalt oft auf mehrere unterschiedliche Arten dargestellt werden kann. Aus diesem Grund gibt es oft viele unterschiedliche Möglichkeiten, ein Problem in ASP zu modellieren.NIKE PACK Men's HOLIDAY ClothingTennispro NADAL WxrdoeCB

Die Frage, die in dieser Arbeit beantwortet wird, ist, ob – und, gegebenenfalls, wie – die Wahl der verwendeten Sprachkonstrukte die Lösbarkeit von in ASP modellierten Problemen beeinflusst. Mit Lösbarkeit ist hier im Wesentlichen die Laufzeit der Lösungs- algorithmen gemeint, die die Probleme möglichst schnell lösen sollen. Um diese Frage zu beantworten, wurde eine große Anzahl an Versuchen durchgeführt, in denen verschie- dene in ASP modellierte Probleme gelöst wurden. Dabei wurde gemessen, wie lange die Lösungsfindung jeweils dauerte. Jedes Problem wurde in mehreren Darstellungen modelliert, die sich nur in den verwendeten Sprachkonstrukten unterschieden.

Die statistische Analyse der bei diesen Experimenten angefallenen Daten zeigt vor allem, dass der Einfluss der verwendeten Sprachkonstrukte von Problem zu Problem stark schwankt: Was sich in einem Fall günstig auf die Lösbarkeit auswirkt, kann in einem anderen Fall unerwünschte Folgen haben. Bei praktischen Anwendungen von ASP sollten die verwendeten Sprachkonstrukte daher nicht leichtfertig gewählt werden. Stattdessen sollten verschiedene äquivalente Darstellungen angefertigt und ihre Lösbarkeit verglichen werden, um dann das am schnellsten lösbare Programm tatsächlich zu verwenden.

nike herren nike hoodie nike grau herren hoodie grau hoodie grau herren nike zMpqUGVS
Posted inSportswear Internationalist Se Nike beige Sneaker olivgrün 2WDHYE9I News |HOODIE Sportswear Kapuzensweatshirt PO Nike »M CLUB GX« NSW BB uFKJ31Tlc
NIKE PACK Men's HOLIDAY ClothingTennispro NADAL WxrdoeCB

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.

Pullover Navy Hoodie In 451 Nike Taping AR4914 iTPOXZuwk