open_access
Refine
Year of publication
Document Type
- Doctoral Thesis (450)
- Part of Periodical (139)
- Article (58)
- Book (49)
- Report (21)
- Preprint (18)
- Conference Proceeding (10)
- Master's Thesis (10)
- Other (10)
- Bachelor Thesis (7)
Language
- German (480)
- English (294)
- Multiple languages (5)
- Spanish (3)
- French (1)
Has Fulltext
- yes (783)
Keywords
- Lehrerbildung (30)
- Deutschland (22)
- Österreich (18)
- Universität Passau (13)
- Kultursemiotik (12)
- Maßtheorie (12)
- Mediensemiotik (12)
- Graphenzeichnen (9)
- Computersicherheit (8)
- Didaktik (7)
Institute
- Philosophische Fakultät (206)
- Fakultät für Informatik und Mathematik (114)
- Mitarbeiter Lehrstuhl/Einrichtung der Fakultät für Informatik und Mathematik (70)
- Wirtschaftswissenschaftliche Fakultät (67)
- Juristische Fakultät (40)
- Mitarbeiter Lehrstuhl/Einrichtung der Wirtschaftswissenschaftlichen Fakultät (40)
- Zentrum für Lehrerbildung und Fachdidaktik (32)
- Department für Katholische Theologie (28)
- Universitätsbibliothek (28)
- Philosophische Fakultät / Pädagogik (23)
Die autonome Steuerung mobiler, technischer Systeme in nicht exakt vorherbestimmbaren Situationen erfordert Methoden der autonomen Entscheidungsfindung, um ein planvolles, zielgerichtetes Agieren und Reagieren unter Echtzeitbedingungen realisieren zu können. Während mittels mathematischer Formeln Basisverhalten, wie beispielsweise in einer Geradeausbewegung, einer Drehung, bei einem Abbremsen, und in Gefahrenmomenten schnelle Reaktionen, berechnet werden, benötigt man auf der anderen Seite ein Regelsystem, um darüber hinaus "intelligentes", d.h. situationsangepaßtes Verhalten zu produzieren und gleichzeitig im Hinblick auf ein Missionsziel planvoll agieren zu können. Derartige Regelsysteme müssen sich auf einer abstrakten Ebene formulieren lassen, sollen sie vom Menschen problemlos entwickelbar, leicht modifizierbarund gut verifizierbar bleiben. Eine aufgrund ihres Konzeptes geeignete Programmierwelt ist die Logikprogrammierung. Ziel der Logikprogrammierung ist es weniger, Arbeitsabläufe zu beschreiben, als vielmehr Wissen in Form von Fakten zu spezifizieren und mit Hilfe von Regeln Schlußfolgerungen aus diesen Fakten ziehen zu können. Die klassische Logikprogrammierung ist jedoch aufgrund ihres Auswertungsmechanismus der SLD-Resolution (linear resolution with selected function for definite clauses) zu langsam für die Anwendung bei Echtzeitsystemen. Auch parallele Sprachformen, die ebenfalls mit SLD-Resolution arbeiten, erreichen beim Einsatz auf (von Neumann-) Mehrprozessorsystemen bislang nicht die notwendige Effizienz. Das Anwendungsgebiet der deduktiven Datenbanken hat im Vergleich dazu durch Bottom-Up Techniken einen anderen Auswertungsansatz mit deutlich höherer Effizienz geliefert. Viele dort auftretenden Probleme können jedoch nur durch die Integration anforderungsgetriebener Abarbeitung gelöst werden. Auf der anderen Seite stellen Datenflußrechnerarchitekturen aufgrund der automatisierten Ausbeutung feinkörniger Parallelität einen hervorragenden Ansatz der Parallelverarbeitung dar. Bei Datenflußrechnerarchitekturen handelt es sich um (Mehrprozessor-) Systeme, deren datengetriebener Abarbeitungsmechanismus sich grundlegend vom weit verbreiteten kontrollflußgesteuerten von Neumann-Prinzip unterscheidet.Überlegungen zur Struktur von Steuerungssystemen werden ergeben, daß es mittels Ansätzen aus dem Gebiet der deduktiven Datenbanken möglich ist, ein für diese Aufgabenstellung neuartiges, ausschließlich datengetriebenes Auswertungsmodell zu generieren. Dabei vermeidet es Probleme, die bei Bottom-Up Verfahren auftreten können, wie z.B. das Auftreten unendlicher Wertemengen und die späte Einschränkung auf relevante Werte, ohne gleichzeitig die Stratifizierung von Programmen zu gefährden. Ergebnis der Arbeit ist eine anwendungsbezogene, problemorientierte Entwicklungsumgebung, die einerseits die Entwicklung und Verifikation der Spezifikation mit existierenden Werkzeugen erlaubt und andererseits die effiziente, parallele Ausführung auf geeigneten Rechensystemen ermöglicht. Zusätzlich wird die Voraussetzung geschaffen, verschiedene weitere, für die Steuerung autonomer Systeme unverzichtbare Komponenten in das Abarbeitungsmodell zu integrieren. Simulationsergebnisse werden belegen, daß das vorgestellte Berechnungsmodell bezüglich realer Anwendungsbeispiele bereits in einer Monoprozessorversion Echtzeitbedingungen genügt. Damit ist die Voraussetzung für die Ausführung zukünftiger, weitaus komplexerer Steuerungsprobleme, ggf. auf Mehrprozessorsystemen, in Echtzeit geschaffen.
Deduction-based software component retrieval is a software reuse technique that uses formal specifications as component descriptors and as search keys; matching components are identified using an automated theorem prover. This dissertation contains a detailed theoretical investigation of the concept as well as the first substantial experimental evaluation of its technical feasibility.
Grundgedanke der Autorin ist es, nicht erst dann Hilfe zu bieten, wenn Lernprobleme bereits aufgetreten sind, sondern den Ansatz zu verlagern: Aus der Diagnostik von Lern- oder Leistungsbehinderungen muss eine Art Präventivpädagogik werden. Jeder Grundschullehrer muss befähigt sein, Probleme im Ansatz zu erkennen, um sie umgehen oder wenigstens rechtzeitig abschwächen zu können. Das erste Kapitel beschreibt die Theorie von Lernen. Es wird zunächst auf die Funktionen des Gehirns beim Lernen eingegangen, weiters wird beschrieben, inwieweit Emotionen Einfluss haben auf Speicherung und Wiedergabe. Darauf folgen die Beschreibungen von den verschiedenen Eingangskanälen, den Sensorischen Systemen und den daraus resultierenden Lerntypen. Die Vielfalt der Wahrnehmungskanäle macht die Notwendigkeit von verschiedenen Lernangeboten deutlich. Teilfunktionen, die für die Schule wichtig sind und deren Nichtfunktionieren sog. Teilleistungsstörungen zur Folge hat, werden als Basisfunktionen für schulisches Lernen beschrieben. Im zweiten Kapitel werden verschiedene Arten von Lernbeeinträchtigungen aufgezeigt. Dabei ist wesentlich, dass Einzelstörungen nie isoliert gesehen werden dürfen. Ausfälle betreffen immer die ganze Person, also auch den emotionalen Bereich und das Sozialverhalten. Es wird zwischen Sinnesbehinderungen, die mehr den medizinischen Bereich betreffen, und Wahrnehmungsstörungen, die in den pädagogischen Bereich fallen, unterschieden. Dazu kommt die Beschreibung verschiedener Hinweise, die auf den Verdacht von Störungen deuten. Kinder mit Auffälligkeiten in ihrer Wahrnehmung müssen immer einem Arzt zur Abklärung etwaiger Sinnesbeeinträchtigungen vorgestellt werden. Weil die Entwicklung der Sprache in Wechselwirkung mit der Gesamtentwicklung steht, und Kinder mit Sprachschwierigkeiten von Defiziten in anderen Entwicklungsdimensionen bedroht sind, erfordern auch Sprachstörungen eine umfassende, die Zusammenhänge aufdeckende medizinische, psychologische und sprachheilpädagogische Untersuchung. Hierzu werden Indikatoren gezeigt, auf die in der Unterrichtspraxis das Augenmerk zu legen ist. Auch psychische Erkrankungen und Beeinträchtigungen können negativen Einfluss auf das Lernen haben. In der Schule stehen meist Störungen des Unterrichts bzw. Verhaltensauffälligkeiten im Vordergrund, es darf jedoch nicht übersehen werden, dass diese meist große psychische Probleme verbergen. Von Lehrern wird ein hohes Maß an Fachkompetenz erwartet, und es gilt, die für die Pädagogik relevanten Theorien, Ansätze und Befunde aus den Nachbardisziplinen Medizin und Psychologie auf die eigenen Beschreibungs- und Erklärungsansätze zu beziehen. Der Überblick über die psychischen Störungen und Beeinträchtigungen soll dabei Hilfe sein. Schließlich werden auch äußerliche Auffälligkeiten sowie Auffälligkeiten in der Motorik als mögliche Symptome von Erkrankungen, die Lernbeeinträchtigungen mit sich ziehen können, beschrieben. Das dritte Kapitel befasst sich mit der Dokumentation von schulischen Leistungen, von Zensur und Zeugnis über den Entwicklungsbericht bis zur Förderdiagnose. Die Dokumentation von schulischen Leistungen gibt Aufschluss über den Lernfortschritt eines Schülers. Hilfe zu dessen Feststellung gibt eine Tabelle, in der Lerninhalte in kleinste Schritte geordnet sind. Sie kann als eine Art ‚Wegweiser’ die Arbeit des Lehrers sowohl in der Phase der Diagnostik als auch bei der Bearbeitung des Förderplans, dessen Grundpfeiler sie darstellt, gelten. Es ist eine Fülle an standardisierten Tests für Kinder mit schulischen Problemen erhältlich, jeder von ihnen misst einen genau abgegrenzten Teilbereich. Die Ergebnisse lassen darauf schließen, um wie viel Prozent der betroffene Schüler von einer Norm abweicht, die vorher festgelegt wurde. Der Ansatz der vorliegenden Arbeit ist bewusst kontrapunktivisch. Eine individuelle Diagnostik weitaus näher am Schüler ist möglich, und dazu noch Ansatzpunkte für gezielte Förderung. Dem Begriff ‚Förderdiagnostik’ liegt kein einheitlicher Bezugsrahmen zu Grunde. Hier versteht er sich als Mittel zur Feststellung individueller Notwendigkeiten für den Lernfortschritt eines Kindes. Er löst damit die Selektionsdiagnostik vollständig ab. Das vierte Kapitel zeigt praktische Möglichkeiten der Diagnose. Zunächst wird mit einer sogenannten Lernzieltabelle der tatsächliche Leistungsstand des Kindes erarbeitet. Eine Häufung von Auffälligkeiten ist Anlass, weitere Überprüfungen durchzuführen. Diese betreffen das Arbeits- und Sozialverhalten, das Sprechen, das Lesen, das Erstschreiben, das Rechtschreiben und die Pränumerik. Die weiteren Schritte stellen die Erhebung für psychische und physische Ursachen von Lernproblemen dar. Anschließend werden erarbeitete und erprobte Testbogen für die Basisfunktionen schulischen Lernens, Grobmotorik, Feinmotorik, taktilkinästhetischer Bereich, visuelle und auditive Wahrnehmung, Sprechen, Körperschema und Raumwahrnehmung vorgestellt. Zu den Basisfunktionen passend sind Fördermöglichkeiten aufgezeigt, die auf den jeweiligen Förderbedarf hin zugeschnitten werden können Im fünften Kapitel macht die empirische Untersuchung mit 45 Grundschulkindern deutlich, wie hoch der Anspruch auf individuelle Förderung ist.Weiters kommt zum Ausdruck, dass Kinder, die von der ersten Klasse an auf diese Art unterrichtet werden, gegenüber Vergleichsklassen deutlich bessere Leistungen in den Basisfunktionen für schulisches Lernen bringen. Im Anhang befindet sich eine Zusammenfassung der Testbogen als Kopiervorlagen. Diese machen das Testinstrumentarium für jeden Lehrer sofort und ohne größeren Aufwand anwendbar. Ziel der Arbeit ist es, ein breites Angebot an förderdiagnostischen Mitteln zu bieten. Es ist unterrichtspraktisch erprobt und relativ einfach und rasch anwendbar.
The well-founded semantics has been accepted as the most relevant semantics for logic-based information systems. In this dissertation a framework based on a set of program transformations is presented that generalizes all major computation approaches for the well-founded semantics using a common data structure and provides a common language to describe their evaluation strategy. This rewriting system gives the formal background to analyze and combine different evaluation strategies in a common framework, or to design new algorithms and prove the correctness of its implementations at a high level just by changing the order of program transformations.
Abstract zum Dissertationsfragment "Spotzuordnung und Wellenfront-Rekonstruktion für Shack-Hartmann-Sensoren" von Sascha Groening (20.04.1972 - 16.11.2001)
Sascha Groening war nach seinem Studium der Informatik an der Universität Passau von 01.Oktober 1998 bis 16. November 2001 wissenschaftlicher Mitarbeiter der Forschungsgruppe Entscheidungsunterstützende Systeme innerhalb des Forschungsverbundes Wissensbasierte Systeme, die 2005 in das Institut für Softwaresystem in technischen Anwendungen der Informatik an der Universität Passau überging.
Tragischerweise ist er am 16. November 2001 im Alter von nur 28 Jahren kurz vor der Fertigstellung seiner Dissertation völlig überraschend verstorben. In seiner Dissertation beschäftigte er sich mit Fragestellungen aus dem Teilprojekt „Entwicklung eines Messverfahrens mit hohem Dynamikbereich für die Qualitätssicherung von optischen Asphären für die in‐situ Messung von Wellenfronten (kurz Wellensensor)“ des Forschungsverbundes FORMIKROSYS II, der von der Bayerischen Forschungsstiftung gefördert wurde.
Auf den Sicherungen des Instituts konnten wir nur eine relativ unvollständige elektronische Version seiner Dissertation „Spotzuordnung und Wellenfrontrekonstruktion für Shack‐Hartmann‐Sensoren“ finden, da er seine Arbeit auf einem privaten PC anfertigte.
Monika Groening, seine Mutter, hat dagegen im Jahr 2013 privat unten stehenden Ausdruck seiner schriftlichen Arbeit gefunden, die einem Stand etwa zwei Wochen vor der geplanten Abgabe entspricht und die nun hiermit als Scan der Öffentlichkeit zur Verfügung gestellt wird.
Am Institut wurden nach Abschluss des Projektes Wellensensor die Forschungen auf diesem Gebiet nicht weiter verfolgt, da die Problemstellung des Projektes für die Partner, die die Lösung von Sascha Groening angewendet haben, zufriedenstellend gelöst war.
Im Rahmen des Projektes wurden die Leistungsgrenzen für ein Messgerät zur Vermessung von optischen Asphären (z.B. Gleitsicht‐Brillengläsern) und allgemeinen Wellenfronten (z.B. Strahlprofil eines Lasers, Wellenfront hinter einem optischen Subsystem) auf der Basis des Shack‐Hartmann‐Sensors erforscht. Das Prinzip beruht auf der geometrisch‐optischen Bestimmung lokaler Wellenfrontkrümmungen mit Hilfe eines Feldes von Mikrolinsen und einer CCD‐Kamera in der Fokalebene der Mikrolinsen. Sascha Groening entwickelte völlig neu konzipierte Auswertealgorithmen, die eine schnelle und zuverlässige Zuordnung von Fokuspunkten zu Mikrolinsen durchführen und damit eine hochgenaue Vermessung von
Ashären bei stark aberranten Wellenfronten möglich machen. Eine einfallende Wellenfront erzeugt in der Fokalebene der Mikrolinsen ein charakteristisches Spotmuster. Durch die Analyse der lokalen Ablenkungen der Spots von ihren Idealpositionen, also den Positionen, die bei Einfall einer ebenen Wellenfront entstehen würden, können Aussagen über das
lokale Steigungsverhalten der einfallenden Wellenfront getroffen werden. Je größer der Dynamikbereich des Messgerätes sein soll, desto schwieriger wird das Problem der Zuordnung von Spot zu Mikrolinse. Genau diese Herausforderung wurde von Sascha Gröning durch einen iterativen Spline‐Passungs‐Algorithmus schnell und elegant gelöst. Wenn dann
die Spotzuordnung erfolgt ist, kann die Wellenfront aus den lokalen Ablenkungen der Spots rekonstruiert werden.
Das Fragment der Dissertationsschrift ist vollständig bis auf Kapitel 1 Einleitung und Kapitel 7 Zusammenfassung. Außerdem fehlen in Kapitel 4 noch die Beschreibungen einiger untersuchter Verfahren zur Spotdetektion und in den Unterkapiteln von 5 und 6 fehlen die Verfahren zur Spotzuordnung und Wellenfrontrekonstruktion bei nicht stetig differenzierbaren bzw. unstetigen Wellenfronten. Ansonsten bietet die Arbeit aber einen guten Überblick über den Stand der Technik zur damaligen Zeit und erklärt die grundlegenden Verfahren, die von Sascha Groening erforscht und entwickelt wurden. In Kapitel 2 werden ausführlich das Funktionsprinzip des Shack‐Hartmann‐Sensors und die Wellenfrontvermessung erklärt, wobei speziell auf das Zuordnungsproblem von Spot zu Mikrolinse und auf die globale Wellenfrontrekonstruktion aus einem Feld partieller Ableitungen eingegangen wird.
Die mathematischen Grundlagen wie Tensorprodukt‐Splines oder die Lösungsverfahren für lineare Ausgleichsprobleme ohne und mit linearen Nebenbedingungen werden in Kapitel 3 gelegt. Einen ersten Schwerpunkt bildet Kapitel 4, das sich mit der Spotdetektion beschäftigt. Nach der Erläuterung der optischen Grundlagen wird die Spotentstehung mathematisch modelliert, um so geeignete Detektionsverfahren ableiten zu können.
Im zentralen Kapitel 5 der Dissertation geht es um die Spotzuordnung. Nach der Vorstellung bekannter Verfahren wird die neu entwickelte Spotzuordnung durch iterative Funktionspassung beschrieben. Nach einer initialen Zuordnung von einigen zentralen Spots, die unter Nutzung von Nebenwissen problemlos möglich ist, wird dann iterativ mit Hilfe von Splinepassungen vorgegangen. Bei einer vorhandenen Zuordnung wird durch Extrapolation der berechneten Splinepassung der Suchbereich für weitere, nicht zugeordnete Spots ausgedehnt, und diese werden dann wiederum korrekt zugeordnet. Diese Schritte werden iterativ wiederholt, bis alle Spots zugeordnet sind. Die Vorgehensweise, von bekanntem in unbekanntes Gebiet zu extrapolieren führt hier vortrefflich zum Ziel. Sascha Groening zeigt auch, dass der Erfolg vom gewählten Funktionsraum, hier Tensorprodukt‐Splines, abhängt. Schließlich runden die Verfahren zur Wellenfrontrekonstruktion, die ebenfalls auf Spline‐Passungen basieren, in Kapitel 6 die Arbeit ab.
Mit der Bereitstellung dieses Fragments seiner Dissertation wollen wir die geleistete Arbeit von Sascha Groening an der Universität Passau würdigen und hoffen, dass seine Ergebnisse ihren Platz in der wissenschaftlichen Gemeinschaft finden.
Im Mai 2015, Dr. Erich Fuchs
VORWORT
Ein in mehr oder weniger zahlreiche Versicherungsträger gegliedertes, gesetzlich vorgeschriebenes Versicherungssystem wird wohl stets einen Finanzausgleich vorsehen; denn es dürfte eine nahe liegende und unmittelbar einleuchtende Forderung der Gerechtigkeit sein, dass die in diesem (Gesamt-)System Versicherten einerseits gleiche Leistungen erhalten sollten, andererseits aber auch in gleicher Höhe finanziell belastet werden. In einer Einheitskasse ist das kein grundsätzliches Problem insoweit, als eine einzige Versichertengemeinschaft und somit eine einzige Risikostruktur besteht.
Bei mehreren Versicherungsträgern können sich unterschiedliche Risikostrukturen einstellen - mit der Folge einer im Quervergleich zwischen den Versicherungsträgern ungleichen und ungerecht empfundenen Beitragsbelastung.
Dieses Problem kann sich verschärfen, wenn den Versicherungsträgern im Hinblick auf die Gewinnung von Mitgliedern der Wettbewerb untereinander eröffnet wird. Das Thema "Wettbewerb in der gesetzlichen Krankenversicherung" war Gegenstand der Deutsch-Österreichischen Sozialrechtsgespräche 2000 (der diesbezügliche Tagungsband ist im Manz-Verlag sowie im Verlag R. S. Schulz erschienen), und nachdem in der Bundesrepublik Deutschland die in der Gesetzlichen Krankenversicherung Versicherten ihren Versicherungsträger nahezu gänzlich ungebunden wählen können, hat sich unter dem Gesichtspunkt der versicherten Risiken eine erhebliche Entmischung ergeben; der Gesetzgeber hat sich veranlasst gesehen, dem traditionellen Finanzausgleich eine neue Dimension zu geben, und zwar durch den so genannten Risikostrukturausgleich.
Die Deutsch-Österreichischen Sozialrechtsgespräche 2002 haben sich mit dem "Finanzausgleich in der Gesetzlichen Krankenversicherung" befasst; der vorliegende Tagungsband dokumentiert die Vorträge dieser Veranstaltung aus österreichischer und deutscher (Rechts-)Perspektive, so dass insgesamt wieder ein facettenreicher und rechtsvergleichender Tagungsband entstanden ist.
Auch diese Tagung wurde gemeinsam vorbereitet und veranstaltet durch das Institut für Arbeitsrecht und Sozialrecht der Universität Linz und den Lehrstuhl für Staats- und Verwaltungsrecht, insbesondere Sozialrecht, der Universität Passau. Der Dank der Veranstalter geht an die Referenten; zur Seite gestanden haben uns wiederum die AOK Bayern - Die Gesundheitskasse - sowie der Fachverlag CW Haarfeld, Essen, dem wir die Fertigung dieses Bandes verdanken.
INHALTSVERZEICHNIS
Theo Öhlinger
Beitragsbemessung und Finanzausgleich in der Gesetzlichen Krankenversicherung - grundsätzliche Vorgaben der Verfassung und ihre Ausformung in den bisherigen Gesetzen 1
Peter Axer
Beitragsbemessung und Finanzausgleich in der Gesetzlichen Krankenversicherung 15
Jürgen Wasem/Stefan Greß
Überlegungen zur Beitragsbemessung sowie zum Finanz- und Risikostrukturausgleich aus ökonomischer Sicht 51
Otfried Seewald
Ethische Grundlagen von Beitragsbemessung und Finanzausgleich 63
Oskar Meggeneder
Reformen der Gesetzlichen Krankenversicherung in ihrer Auswirkung auf die Finanzierung - Länderbericht Österreich 95
Werner Schneider
Wettbewerb und Risikostrukturausgleich in der Gesetzlichen Krankenversicherung 121
Wolfgang Nopper
Der Risikostrukturausgleich aus der Sicht einer Allgemeinen Ortskrankenkasse 137
Stefan Weber/Hans Unterhuber
Der Risikostrukturausgleich aus der Sicht einer Betriebskrankenkasse 155