Refine
Year of publication
- 2004 (121) (remove)
Document Type
- Doctoral Thesis (55)
- Report (25)
- Periodical Part (13)
- Preprint (11)
- Working Paper (8)
- Book (2)
- Habilitation (2)
- Master's Thesis (2)
- Article (1)
- Diploma Thesis (1)
Keywords
- Controlling (4)
- Inverses Problem (4)
- Regularisierung (4)
- Simulation (4)
- Wavelet (4)
- Flüssig-Flüssig-Extraktion (3)
- Gravitationsfeld (3)
- Mehrskalenanalyse (3)
- Finite-Elemente-Methode (2)
- Harnstoff (2)
Faculty / Organisational entity
- Kaiserslautern - Fachbereich Mathematik (26)
- Kaiserslautern - Fachbereich Maschinenbau und Verfahrenstechnik (19)
- Kaiserslautern - Fachbereich Informatik (12)
- Fraunhofer (ITWM) (11)
- Kaiserslautern - Fachbereich Sozialwissenschaften (11)
- Kaiserslautern - Fachbereich Biologie (10)
- Kaiserslautern - Fachbereich Chemie (10)
- Kaiserslautern - Fachbereich Wirtschaftswissenschaften (6)
- Kaiserslautern - Fachbereich ARUBI (5)
- Kaiserslautern - Fachbereich Physik (4)
We propose a framework for the synthesis of temporal logic programs which are formulated in a simple temporal logic programming language from both positive and negative examples. First we will prove that results from the theory of first order inductive logic programming carry over to the domain of temporal logic. After this we will show how programs formulated in the presented language can be generalized or specialized in order to satisfy the specification induced by the sets of examples.
Approximating illumination by point light sources, as done in many professional applications, suffers from the problem of the weak singularity: Numerical exceptions caused by the division by the squared distance between the point light source and the point to be illuminated must be avoided. Multiple importance sampling overcomes these problems by combining multiple sampling techniques by weights. Such a set of weights is called a heuristic. So far the estimators resulting from a heuristic only have been analyzed for variance. Since the cost of sampling is not at all constant for different sampling techniques, it is possible to find more efficient heuristics, even though they may hove higher variance. Based on our new stratification heuristic, we present a robust and unbiased global illumination algorithm. By numerical examples, we show that it is more efficient than previous heuristics. The algorithm is as simple as a path tracer, but elegantly avoids the problem of the weak singularity.
Today, test methods for communication protocols assume, among other things, that the protocol design is specified as a single, monolithic finite state machine (FSM). From this specification, test suites that are capable of detecting output and/or transfer faults in the protocol implementation are derived. Limited applicability ofthese methods is mainly because oftheir specific assumptions, and due to the size of the derived test suite and the resulting test effort for realistic protocols. In this work, the compositional test method (C-method), which exploits the available structure of a communication protocol, is proposed. The C-method first tests each protocol component separately for output and/or transfer faults, using one of the traditional test methods, then checks for composability, and finally tests the composite system for composition faults. To check for composability and to derive the test suite for the detection of composition faults, it is not required to construct the global state machine. Instead, all information is derived from the component state machines, which avoids a potential state explosion and lengthy test cases. Furthermore, the test suite checks for composition faults only. This substantially reduces the size of the test suite and thus the overall test effort.
Many applications dealing with geometry acquisition and processing produce polygonal meshes that carry artifacts like discretization noise. While there are many approaches to remove the artifacts by smoothing or filtering the mesh, they are not tailored to any specific application subject to·certain restrictive objectives. We show how to incorporate smoothing schemes based on the general Laplacian approximation to satsify all those objectives at
the same time for the results of flow simulation in the application field of car manufacturing. In the presented application setting the major restrictions come from the bounding volume of the flow simulation, the so-called installation space. In particular, clean mesh regions (without noise) should not be smoothed while at the same time the installation space must not be violated by the smoothing of the noisy mesh regions. Additionally, aliasing effects at the boundary between clean and noisy mesh regions must be prevented. To address the fact that the meshes come from flow simulation, the presented method is versatile enough to preserve their exact volume and to apply anisotropic filters using the flow information.
Although the paper focuses on the results of a specific application, most of its findings can be transferred to different settings as well.
Viele Städte stehen mittelfristig vor gravierenden Veränderungen. Die Liste der aktuellen
Herausforderungen ist lang: "Demographischer Wandel", "Pluralisierung der Lebensstile",
"Beschleunigung und Virtualisierung der Lebenswelten", "Globalisierung und Strukturwandel". Ebenso wie diese Trends tiefgreifende Anpassungen und neue Lösungsstrategien in
Gesellschaft und Wirtschaft erfordern, muss das Stadtgefüge diesen veränderten Rahmenbedingungen
gerecht werden. Die Stadt von gestern ist hinsichtlich der Ansprüche der Wissensgesellschaft
zu überprüfen. Insgesamt ist die Beschäftigung mit und die Reaktion auf eine
Vielzahl komplexer raumwirksamer Entwicklungen geboten.
Die Stadtentwicklungskonzeption StadtTechnopole hat zum Ziel, die räumlichen Konsequenzen
aus der Entwicklung einer Stadt zu einem leistungsfähigen Technologiestandort aufzuzeigen
und diese prototypisch in Teilkonzepten umzusetzen. Dazu ist es erforderlich, die
technologischen Entwicklungsansätze und Perspektiven zu erfassen und mit den Raumbezügen sowie den organisatorischen und personellen Teilkomponenten in einer Leitkonzeption
zusammenzuführen. Vor dem Hintergrund des fortschreitenden ökonomischtechnologischen
Wandels geht es vor allem um eine zukunftsfähige Wirtschafts- und Lebensstruktur.
Mit langfristig tragfähigen ökonomischen Strukturen kann es gelingen, dem
bundesweiten Trend zur Schrumpfung und Überalterung der Gesellschaft entgegenzuwirken,
die Bevölkerungsentwicklung am Standort zu stabilisieren sowie eine lebendige Stadt zu erhalten.
Kaiserslautern steht im Zuge des ökonomischen, demographischen, sozialen und technologischen
Wandels vor weitreichenden Umbrüchen und vielfältigen Herausforderungen. Die
Stadt befindet sich schon heute in einem Transformationsprozess: Im Rahmen der allgemeinen
wirtschaftsstrukturellen Veränderungen werden alteingesessene Betriebe im sekundären
Sektor aufgegeben. Damit verbunden ist ein starker Rückgang des Arbeitskräftebedarfs im
verarbeitenden Gewerbe. Einen Tiefpunkt erreichte die Stadt 1997 mit einer Arbeitslosenquote
von 14%.
Hinsichtlich einer möglichst souveränen Bewältigung der neuen Aufgaben sowie möglicherweise
sogar der Erzielung von Wettbewerbsvorteilen ist eine frühzeitige raumbezogene Planung
geboten. Für eine Stadt wie Kaiserslautern, bei der u.a. aufgrund ihrer Lage in einem
strukturschwachen Großraum im Bundesvergleich ein Entwicklungsrückstand zu konstatieren
ist, ergibt sich daraus ein akuter Handlungsbedarf. Die Stadt Kaiserslautern hat dies erkannt
und bereitet sich mit dem Stadtentwicklungskonzeption StadtTechnopole auf die vielfältigen Herausforderungen vor.
Die Stadtentwicklungskonzeption StadtTechnopole_Kaiserslautern bezieht die zentralen Erkenntnisse
des stadtsoziologischen Ergänzungsgutachtens "Lebensstile und Raumansprüche hochqualifizierter IKT-Beschäftigter" von Jun.-Prof. Dr. Annette Spellerberg (Fachgebiet
Stadtsoziologie) ein. Wesentliche Inhalte dieser Untersuchung betreffen die Raumansprüche
hochqualifizierter Wissensarbeiter und daraus abgeleitete praktische Hinweise für die Standortverbesserung.
Möglich wurde die vorliegende Veröffentlichung erst durch die sehr gute Zusammenarbeit im
Rahmen des interdisziplinären Forschungsvorhabens mit dem Ministerium des Innern und
für Sport, der Wirtschaftsförderungsgesellschaft Kaiserslautern, der Stadt Kaiserslautern und
zahlreichen Personen in Wissenschaft, Politik, Verwaltung und Wirtschaft.
Viele Städte stehen mittelfristig vor gravierenden Veränderungen. Die Liste der aktuellen Herausforderungen ist lang: "Demographischer Wandel", "Pluralisierung der Lebensstile", "Beschleunigung und Virtualisierung der Lebenswelten", "Globalisierung und Strukturwandel". Ebenso wie diese Trends tiefgreifende Anpassungen und neue Lösungsstrategien in Gesellschaft und Wirtschaft erfordern, muss das Stadtgefüge diesen veränderten Rahmenbedingungen gerecht werden. Die Stadt von gestern ist hinsichtlich der Ansprüche der Wissensgesellschaft zu überprüfen. Insgesamt ist die Beschäftigung mit und die Reaktion auf eine Vielzahl komplexer raumwirksamer Entwicklungen geboten.
Die Stadtentwicklungskonzeption StadtTechnopole hat zum Ziel, die räumlichen Konsequenzen aus der Entwicklung einer Stadt zu einem leistungsfähigen Technologiestandort aufzuzeigen und diese prototypisch in Teilkonzepten umzusetzen. Dazu ist es erforderlich, die technologischen Entwicklungsansätze und Perspektiven zu erfassen und mit den Raumbezügen sowie den organisatorischen und personellen Teilkomponenten in einer Leitkonzeption zusammenzuführen. Vor dem Hintergrund des fortschreitenden ökonomischtechnologischen
Wandels geht es vor allem um eine zukunftsfähige Wirtschafts- und Lebensstruktur.
Mit langfristig tragfähigen ökonomischen Strukturen kann es gelingen, dem bundesweiten Trend zur Schrumpfung und Überalterung der Gesellschaft entgegenzuwirken, die Bevölkerungsentwicklung am Standort zu stabilisieren sowie eine lebendige Stadt zu erhalten.
Kaiserslautern steht im Zuge des ökonomischen, demographischen, sozialen und technologischen Wandels vor weitreichenden Umbrüchen und vielfältigen Herausforderungen. Die Stadt befindet sich schon heute in einem Transformationsprozess: Im Rahmen der allgemeinen wirtschaftsstrukturellen Veränderungen werden alteingesessene Betriebe im sekundären Sektor aufgegeben. Damit verbunden ist ein starker Rückgang des Arbeitskräftebedarfs im verarbeitenden Gewerbe. Einen Tiefpunkt erreichte die Stadt 1997 mit einer Arbeitslosenquote
von 14%.
Hinsichtlich einer möglichst souveränen Bewältigung der neuen Aufgaben sowie möglicherweise sogar der Erzielung von Wettbewerbsvorteilen ist eine frühzeitige raumbezogene Planung geboten. Für eine Stadt wie Kaiserslautern, bei der u.a. aufgrund ihrer Lage in einem
strukturschwachen Großraum im Bundesvergleich ein Entwicklungsrückstand zu konstatieren ist, ergibt sich daraus ein akuter Handlungsbedarf. Die Stadt Kaiserslautern hat dies erkannt
und bereitet sich mit dem Stadtentwicklungskonzeption StadtTechnopole auf die vielfältigen Herausforderungen vor.
Die Stadtentwicklungskonzeption StadtTechnopole_Kaiserslautern bezieht die zentralen Erkenntnisse des stadtsoziologischen Ergänzungsgutachtens "Lebensstile und Raumansprüche hochqualifizierter IKT-Beschäftigter" von Jun.-Prof. Dr. Annette Spellerberg (Fachgebiet
Stadtsoziologie) ein. Wesentliche Inhalte dieser Untersuchung betreffen die Raumansprüche hochqualifizierter Wissensarbeiter und daraus abgeleitete praktische Hinweise für die Standortverbesserung.
Möglich wurde die vorliegende Veröffentlichung erst durch die sehr gute Zusammenarbeit im Rahmen des interdisziplinären Forschungsvorhabens mit dem Ministerium des Innern und
für Sport, der Wirtschaftsförderungsgesellschaft Kaiserslautern, der Stadt Kaiserslautern und zahlreichen Personen in Wissenschaft, Politik, Verwaltung und Wirtschaft.
Jahresbericht 2003
(2004)
Congress Report 2004.11-12
(2004)
Congress Report 2004.10
(2004)
Congress Report 2004.09
(2004)