KLUEDO RSS FeedKLUEDO Dokumente/documents
https://kluedo.ub.uni-kl.de/index/index/
Wed, 17 Jan 2018 09:28:34 +0100Wed, 17 Jan 2018 09:28:34 +0100Local stationarity for spatial data
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5128
Following the ideas presented in Dahlhaus (2000) and Dahlhaus and Sahm (2000) for time series, we build a Whittle-type approximation of the Gaussian likelihood for locally stationary random fields. To achieve this goal, we extend a Szegö-type formula, for the multidimensional and local stationary case and secondly we derived a set of matrix approximations using elements of the spectral theory of stochastic processes. The minimization of the Whittle likelihood leads to the so-called Whittle estimator \(\widehat{\theta}_{T}\). For the sake of simplicity we assume known mean (without loss of generality zero mean), and hence \(\widehat{\theta}_{T}\) estimates the parameter vector of the covariance matrix \(\Sigma_{\theta}\).
We investigate the asymptotic properties of the Whittle estimate, in particular uniform convergence of the likelihoods, and consistency and Gaussianity of the estimator. A main point is a detailed analysis of the asymptotic bias which is considerably more difficult for random fields than for time series. Furthemore, we prove in case of model misspecification that the minimum of our Whittle likelihood still converges, where the limit is the minimum of the Kullback-Leibler information divergence.
Finally, we evaluate the performance of the Whittle estimator through computational simulations and estimation of conditional autoregressive models, and a real data application.Danilo Pezodoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5128Wed, 17 Jan 2018 09:28:34 +0100Induction-based Verification of Synchronous and Hybrid Programs
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5122
Embedded reactive systems underpin various safety-critical applications wherein they interact with other systems and the environment with limited or even no human supervision. Therefore, design errors that violate essential system specifications can lead to severe unacceptable damages. For this reason, formal verification of such systems in their physical environment is of high interest. Synchronous programs are typically used to represent embedded reactive systems while hybrid systems serve to model discrete reactive system in a continuous environment. As such, both synchronous programs and hybrid systems play important roles in the model-based design of embedded reactive systems. This thesis develops induction-based techniques for safety property verification of synchronous and hybrid programs. The imperative synchronous language Quartz and its hybrid systems’ extensions are used to sustain the findings.
Deductive techniques for software verification typically use Hoare calculus. In this context, Verification Condition Generation (VCG) is used to apply Hoare calculus rules to a program whose statements are annotated with pre- and postconditions so that the validity of an obtained Verification Condition (VC) implies correctness of a given proof goal. Due to the abstraction of macro steps, Hoare calculus cannot directly generate VCs of synchronous programs unless it handles additional label variables or goto statements. As a first contribution, Floyd’s induction-based approach is employed to generate VCs for synchronous and hybrid programs. Five VCG methods are introduced that use inductive assertions to decompose the overall proof goal. Given the right assertions, the procedure can automatically generate a set of VCs that can then be checked by SMT solvers or automated theorem provers. The methods are proved sound and relatively complete, provided that the underlying assertion language is expressive enough. They can be applied to any program with a state-based semantics.
Property Directed Reachability (PDR) is an efficient method for synchronous hardware circuit verification based on induction rather than fixpoint computation. Crucial steps of the PDR method consist of deciding about the reachability of Counterexamples to Induction (CTIs) and generalizing them to clauses that cover as many unreachable states as possible. The thesis demonstrates that PDR becomes more efficient for imperative synchronous programs when using the distinction between the control- and dataflow. Before calling the PDR method, it is possible to derive additional program control-flow information that can be added to the transition relation such that less CTIs will be generated. Two methods to compute additional control-flow information are presented that differ in how precisely they approximate the reachable control-flow states and, consequently, in their required runtime. After calling the PDR method, the CTI identification work is reduced to its control-flow part and to checking whether the obtained control-flow states are unreachable in the corresponding extended finite state machine of the program. If so, all states of the transition system that refer to the same program locations can be excluded, which significantly increases the performance of PDR.Xian Lidoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5122Mon, 15 Jan 2018 13:25:08 +0100Characterisation of metrafenone and succinate dehydrogenase inhibitor resistant isolates of the grapevine powdery mildew Erysiphe necator
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5123
Grape powdery mildew, Erysiphe necator, is one of the most significant plant pathogens, which affects grape growing regions world-wide. Because of its short generation time and the production of large amounts of conidia throughout the season, E. necator is classified as a moderate to high risk pathogen with respect to the development of fungicide resistance. The number of fungicidal mode of actions available to control powdery mildew is limited and for some of them resistances are already known. Aryl-phenyl-ketones (APKs), represented by metrafenone and pyriofenone, and succinate-dehydrogenase inhibitors (SDHIs), composed of numerous active ingredients, are two important fungicide classes used for the control of E. necator. Over the period 2014 to 2016, the emergence and development of metrafenone and SDHI resistant E. necator isolates in Europe was followed and evaluated. The distribution of resistant isolates was thereby strongly dependent on the European region. Whereas the north-western part is still predominantly sensitive, samples from east European countries showed higher resistance frequencies.
Classical sensitivity tests with obligate biotrophs can be challenging regarding sampling, transport and especially the maintenance of the living strains. Whenever possible, molecular genetic methods are preferred for a more efficient monitoring. Such methods require the knowledge of the resistance mechanisms. The exact molecular target and the resistance mechanism of metrafenone is still unknown. Whole genome sequencing of metrafenone sensitive and resistant wheat powdery mildew isolates, as well as adapted laboratory mutants of Aspergillus nidulans, where performed with the aim to identify proteins potentially linked to the mode of action or which contribute to metrafenone resistance. Based on comparative SNP analysis, four proteins potentially associated with metrafenone resistance were identified, but validation studies could not confirm their role in metrafenone resistance. In contrast to APKs, the mode of action of SDHIs is well understood. Sequencing of the sdh-genes of less sensitive E. necator isolates identified four different target-site mutations, the B-H242R, B-I244V, C-G169D and C-G169S, in sdhB and sdhC, respectively. Based on this information it was possible to develop molecular genetic monitoring methods for the mutations B-H242R and C-G169D. In 2016, the B-H242R was thereby identified as by far the most frequent mutation. Depending on the analysed SDH compound and the sdh-genotype, different sensitivities were observed and revealed a complex cross-resistance pattern.
Growth competition assays without selection pressure, with mixtures of sensitive and resistant E. necator isolates, were performed to determine potential fitness costs associated with fungicide resistance. With the experimental setups used, a clear fitness disadvantage associated with metrafenone resistance was not identified, although a strong variability of fitness was observed among the tested resistant E. necator isolates. For isolates with a reduced sensitivity towards SDHIs, associated fitness costs were dependent on the sdh-genotype analysed. Competition tests with the B-H242R genotypes gave evidence that there are no fitness costs associated with this mutation. In contrast, the C-G169D genotypes were less competitive, indicating a restricted fitness compared to the tested sensitive partners. Competition assays of field isolates, which exhibited several resistances towards different fungicide classes, indicated that there are no fitness costs associated with a multiple resistant phenotype in E. necator. Overall, these results clearly indicate the importance to analyse a representative number of isolates with sensitive and resistant phenotypes.
Sarah Grafdoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5123Wed, 10 Jan 2018 09:36:40 +0100Modification of Epoxy Systems for Mechanical Performance Improvement
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5118
Epoxy belongs to a category of high-performance thermosetting polymers which have been used extensively in industrial and consumer applications. Highly cross-linked epoxy polymers offer excellent mechanical properties, adhesion, and chemical resistance. However, unmodified epoxies are prone to brittle fracture and crack propagation due to their highly crosslinked structure. As a result, epoxies are normally toughened to ensure the usability of these materials in practical applications.
This research work focuses on the development of novel modified epoxy matrices, with enhanced mechanical, fracture mechanical and thermal properties, suitable to be processed by filament winding technology, to manufacture composite based calender roller covers with improved performance in comparison to commercially available products.
In the first stage, a neat epoxy resin (EP) was modified using three different high functionality epoxy resins with two type of hardeners i.e. amine-based (H1) and anhydride-based (H2). Series of hybrid epoxy resins were obtained by systematic variation of high functionality epoxy resin contents with reference epoxy system. The resulting matrices were characterized by their tensile properties and the best system was chosen from each hardener system i.e. amine and anhydride. For tailored amine based system (MEP_H1) 14 % improvement was measured for bulk samples similarly, for tailored anhydride system (MEP_H2) 11 % improvement was measured when tested at 23 °C.
Further, tailored epoxy systems (MEP_H1 and MEP_H2) were modified using specially designed block copolymer (BCP), and core-shell rubber nanoparticles (CSR). Series of nanocomposites were obtained by systematic variation of filler contents. The resulting matrices were extensively characterized qualitatively and quantitatively to reveal the effect of each filler on the polymer properties. It was shown that the BCP confer better fracture properties to the epoxy resin at low filler loading without losing the other mechanical properties. These characteristics were accompanied by ductility and temperature stability. All composites were tested at 23 °C and at 80 °C to understand the effect of temperature on the mechanical and fracture properties.
Examinations on fractured specimen surfaces provided information about the mechanisms responsible for reinforcement. Nanoparticles generate several energy dissipating mechanisms in the epoxy, e.g. plastic deformation of the matrix, cavitation, void growth, debonding and crack pinning. These were closely related to the microstructure of the materials. The characteristic of the microstructure was verified by microscopy methods (SEM and AFM). The microstructure of neat epoxy hardener system was strongly influenced by the nanoparticles and the resulting interfacial interactions. The interaction of nanoparticles with a different hardener system will result in different morphology which will ultimately influence the mechanical and fracture mechanical properties of the nanocomposites. Hybrid toughening using a combination of the block-copolymer / core-shell rubber nanoparticles and block copolymer / TiO2 nanoparticles has been investigated in the epoxy systems. It was found out that addition of rigid phase with a soft phase recovers the loss of strength in the nanocomposites caused by a softer phase.
In order to clarify the relevant relationships, the microstructural and mechanical properties were correlated. The Counto’s, Halpin-Tsai, and Lewis-Nielsen equations were used to calculate the modulus of the composites and predicted modulus fit well with the measured values. Modeling was done to predict the toughening contribution from block copolymers and core-shell rubber nanoparticles. There was good agreement between the predicted values and the experimental values for the fracture energy.
Ankur Bajpaidoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5118Mon, 08 Jan 2018 08:17:23 +0100Delivering Supercomputing to the Ultrascale
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5110
Computational simulations run on large supercomputers balance their outputs with the need of the scientist and the capability of the machine. Persistent storage is typically expensive and slow, its peformance grows at a slower rate than the processing power of the machine. This forces scientists to be practical about the size and frequency of the simulation outputs that can be later analyzed to understand the simulation states. Flexibility in the trade-offs of flexibilty and accessibility of the outputs of the simulations are critical the success of scientists using the supercomputers to understand their science. In situ transformations of the simulation state to be persistently stored is the focus of this dissertation.
The extreme size and parallelism of simulations can cause challenges for visualization and data analysis. This is coupled with the need to accept pre partitioned data into the analysis algorithms, which is not always well oriented toward existing software infrastructures. The work in this dissertation is focused on improving current work flows and software to accept data as it is, and efficiently produce smaller, more information rich data, for persistent storage that is easily consumed by end-user scientists. I attack this problem from both a theoretical and practical basis, by managing completely raw data to quantities of information dense visualizations and study methods for managing both the creation and persistence of data products from large scale simulations.John Patchettdoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5110Wed, 20 Dec 2017 15:04:47 +0100Two instances of duality in commutative algebra
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5111
In this thesis we address two instances of duality in commutative algebra.
In the first part, we consider value semigroups of non irreducible singular algebraic curves
and their fractional ideals. These are submonoids of Z^n closed under minima, with a conductor and which fulfill special compatibility properties on their elements. Subsets of Z^n
fulfilling these three conditions are known in the literature as good semigroups and their ideals, and their class strictly contains the class of value semigroup ideals. We examine
good semigroups both independently and in relation with their algebraic counterpart. In the combinatoric setting, we define the concept of good system of generators, and we
show that minimal good systems of generators are unique. In relation with the algebra side, we give an intrinsic definition of canonical semigroup ideals, which yields a duality
on good semigroup ideals. We prove that this semigroup duality is compatible with the Cohen-Macaulay duality under taking values. Finally, using the duality on good semigroup ideals, we show a symmetry of the Poincaré series of good semigroups with special properties.
In the second part, we treat Macaulay’s inverse system, a one-to-one correspondence
which is a particular case of Matlis duality and an effective method to construct Artinian k-algebras with chosen socle type. Recently, Elias and Rossi gave the structure of the inverse system of positive dimensional Gorenstein k-algebras. We extend their result by establishing a one-to-one correspondence between positive dimensional level k-algebras and certain submodules of the divided power ring. We give several examples to illustrate
our result.Laura Tozzodoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5111Tue, 19 Dec 2017 09:28:00 +0100Annual Report 2017
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5107
Annual Report, Jahrbuch AG MagnetismusBurkard Hillebrandsperiodicalparthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5107Fri, 15 Dec 2017 10:33:58 +0100A Model-driven Engineering Methodology for the Development of Service-oriented Control Procedures for Automated Manufacturing Processes
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5106
The present situation of control engineering in the context of automated production can be described as a tension field between its desired outcome and its actual consideration. On the one hand, the share of control engineering compared to the other engineering domains has significantly increased within the last decades due to rising automation degrees of production processes and equipment. On the other hand, the control engineering domain is still underrepresented within the production engineering process. Another limiting factor constitutes a lack of methods and tools to decrease the amount of software engineering efforts and to permit the development of innovative automation applications that ideally support the business requirements.
This thesis addresses this challenging situation by means of the development of a new control engineering methodology. The foundation is built by concepts from computer science to promote structuring and abstraction mechanisms for the software development. In this context, the key sources for this thesis are the paradigm of Service-oriented Architecture and concepts from Model-driven Engineering. To mold these concepts into an integrated engineering procedure, ideas from Systems Engineering are applied. The overall objective is to develop an engineering methodology to improve the efficiency of control engineering by a higher adaptability of control software and decreased programming efforts by reuse.Lisa Ollingerdoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5106Fri, 15 Dec 2017 10:08:24 +0100Architectures and Methods for Large Scale Participatory Sensing and Data Modeling in Smart City Environments
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5102
The proliferation of sensors in everyday devices – especially in smartphones – has led to crowd sensing becoming an important technique in many urban applications ranging from noise pollution mapping or road condition monitoring to tracking the spreading of diseases. However, in order to establish integrated crowd sensing environments on a large scale, some open issues need to be tackled first. On a high level, this thesis concentrates on dealing with two of those key issues: (1) efficiently collecting and processing large amounts of sensor data from smartphones in a scalable manner and (2) extracting abstract data models from those collected data sets thereby enabling the development of complex smart city services based on the extracted knowledge.
Going more into detail, the first main contribution of this thesis is the development of methods and architectures to facilitate simple and efficient deployments, scalability and adaptability of crowd sensing applications in a broad range of scenarios while at the same time enabling the integration of incentivation mechanisms for the participating general public. During an evaluation within a complex, large-scale environment it is shown that real-world deployments of the proposed data recording architecture are in fact feasible. The second major contribution of this thesis is the development of a novel methodology for using the recorded data to extract abstract data models which are representing the inherent core characteristics of the source data correctly. Finally – and in order to bring together the results of the thesis – it is demonstrated how the proposed architecture and the modeling method can be used to implement a complex smart city service by employing a data driven development approach.Tobias Frankedoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5102Wed, 13 Dec 2017 10:38:00 +0100Having a Plan B for Robust Optimization
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5097
We continue in this paper the study of k-adaptable robust solutions for combinatorial optimization problems with bounded uncertainty sets. In this concept not a single solution needs to be chosen to hedge against the uncertainty. Instead one is allowed to choose a set of k different solutions from which one can be chosen after the uncertain scenario has been revealed. We first show how the problem can be decomposed into polynomially many subproblems if k is fixed. In the remaining part of the paper we consider the special case where k=2, i.e., one is allowed to choose two different solutions to hedge against the uncertainty. We decompose this problem into so called coordination problems. The study of these coordination problems turns out to be interesting on its own. We prove positive results for the unconstrained combinatorial optimization problem, the matroid maximization problem, the selection problem, and the shortest path problem on series parallel graphs. The shortest path problem on general graphs turns out to be NP-complete. Further, we present for minimization problems how to transform approximation algorithms for the coordination problem to approximation algorithms for the original problem. We study the knapsack problem to show that this relation does not hold for maximization problems in general. We present a PTAS for the corresponding coordination problem and prove that the 2-adaptable knapsack problem is not at all approximable.André Chasseinpreprinthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5097Tue, 12 Dec 2017 08:18:05 +0100Analyse von Fe65/Fe65L1 an Knockout Mausmodellen
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5095
The cytosolic Fe65 adaptor protein family, consisting of Fe65, Fe65L1 and Fe65L2 is involved in many intracellular signaling pathways linking via its three interaction domains a continuously growing list of proteins by facilitating functional interactions. One of the most important binding partners of Fe65 family proteins is the amyloid precursor protein (APP), which plays an important role in Alzheimer Disease.
To gain deeper insights in the function of the ubiquitously expressed Fe65 and the brain enriched Fe65L1, the goal of my study was I) to analyze their putative synaptic function in vivo, II) to examine structural analysis focusing on a putative dimeric complex of Fe65, III) to consider the involvement of Fe65 in mediating LRP1 and APP intracellular trafficking in murine hippocampal neurons. By utilizing several behavioral analyses of Fe65 KO, Fe65L1 KO and Fe65/Fe65L1 DKO mice I could demonstrate that the Fe65 protein family is essential for learning and memory as well as grip strength and locomotor activity. Furthermore, immunohistological as well as protein biochemical analysis revealed that the Fe65 protein family is important for neuromuscular junction formation in the peripheral nervous system, which involves binding of APP and acting downstream of the APP signaling pathway. Via Co-immunoprecipitation analysis I could verify that Fe65 is capable to form dimers ex vivo, which exclusively occur in the cytosol and upon APP expression are shifted to membrane compartments forming trimeric complexes. The influence of the loss of Fe65 and/or Fe65L1 on APP and/or LRP1 transport characteristics in axons could not be verified, possibly conditioned by the compensatory effect of Fe65L2. However, I could demonstrate that LRP1 affects the APP transport independently of Fe65 by shifting APP into slower types of vesicles leading to changed processing and endocytosis of APP.
The outcome of my thesis advanced our understanding of the Fe65 protein family, especially its interplay with APP physiological function in synapse formation and synaptic plasticity.Paul Streckerdoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5095Fri, 08 Dec 2017 11:51:38 +0100Duty Rostering for Physicians at a Department of Orthopedics and Trauma Surgery
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5081
This paper presents a case study of duty rostering for physicians at a department of orthopedics and trauma surgery. We provide a detailed description of the rostering problem faced and present an integer programming model that has been used in practice for creating duty rosters at the department for more than a year. Using real world data, we compare the model output to a manually generated roster as used previously by the department and analyze the quality of the rosters generated by the model over a longer time span. Moreover, we demonstrate how unforeseen events such as absences of scheduled physicians are handled.Clemens Thielenpreprinthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5081Mon, 04 Dec 2017 10:58:44 +0100Buffer analysis and message scheduling for real-time networks
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5075
For many years, most distributed real-time systems employed data communication systems specially tailored to address the specific requirements of individual domains: for instance, Controlled Area Network (CAN) and Flexray in the automotive domain, ARINC 429 [FW10] and TTP [Kop95] in the aerospace domain. Some of these solutions were expensive, and eventually not well understood.
Mostly driven by the ever decreasing costs, the application of such distributed real-time system have drastically increased in the last years in different domains. Consequently, cross-domain communication systems are advantageous. Not only the number of distributed real-time systems have been increasing but also the number of nodes per system, have drastically increased, which in turn increases their network bandwidth requirements. Further, the system architectures have been changing, allowing for applications to spread computations among different computer nodes. For example, modern avionics systems moved from federated to integrated modular architecture, also increasing the network bandwidth requirements.
Ethernet (IEEE 802.3) [iee12] is a well established network standard. Further, it is fast, easy to install, and the interface ICs are cheap [Dec05]. However, Ethernet does not offer any temporal guarantee. Research groups from academia and industry have presented a number of protocols merging the benefits of Ethernet and the temporal guarantees required by distributed real-time systems. Two of these protocols are: Avionics Full-Duplex Switched Ethernet (AFDX) [AFD09] and Time-Triggered Ethernet (TTEthernet) [tim16]. In this dissertation, we propose solutions for two problems faced during the design of AFDX and TTEthernet networks: avoiding data loss due to buffer overflow in AFDX networks with multiple priority traffic, and scheduling of TTEthernet networks.
AFDX guarantees bandwidth separation and bounded transmission latency for each communication channel. Communication channels in AFDX networks are not synchronized, and therefore frames might compete for the same output port, requiring buffering to avoid data loss. To avoid buffer overflow and the resulting data loss, the network designer must reserve a safe, but not too pessimistic amount of memory of each buffer. The current AFDX standard allows for the classification of the network traffic with two priorities. Nevertheless, some commercial solutions provide multiple priorities, increasing the complexity of the buffer backlog analysis. The state-of-the-art AFDX buffer backlog analysis does not provide a method to compute deterministic upper bounds
iiifor buffer backlog of AFDX networks with multiple priority traffic. Therefore, in this dissertation we propose a method to address this open problem. Our method is based on the analysis of the largest busy period encountered by frames stored in a buffer. We identify the ingress (and respective egress) order of frames in the largest busy period that leads to the largest buffer backlog, and then compute the respective buffer backlog upper bound. We present experiments to measure the computational costs of our method.
In TTEthernet, nodes are synchronized, allowing for message transmission at well defined points in time, computed off-line and stored in a conflict-free scheduling table. The computation of such scheduling tables is a NP-complete problem [Kor92], which should be solved in reasonable time for industrial size networks. We propose an approach to efficiently compute a schedule for the TT communication channels in TTEthernet networks, in which we model the scheduling problem as a search tree. As the scheduler traverses the search tree, it schedules the communication channels on a physical link. We presented two approaches to traverse the search tree while progressively creating the vertices of the search tree. A valid schedule is found once the scheduler reaches a valid leaf. If on the contrary, it reaches an invalid leaf, the scheduler backtracks searching for a path to a valid leaf. We present a set of experiments to demonstrate the impact of the input parameters on the time taken to compute a feasible schedule or to deem the set of virtual links infeasible.
Rodrigo Ferreira Coelhodoctoralthesishttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5075Tue, 28 Nov 2017 13:26:29 +0100Order-semi-primal lattices
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5073
Dietmar Schweigertreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5073Fri, 10 Nov 2017 14:43:42 +0100Representations by order-polynomially complete lattices
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5072
Bernd Kilgus; Dietmar Schweigertreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5072Fri, 10 Nov 2017 14:38:25 +0100Strictly order primal algebras
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5071
Otfried Lüders; Dietmar Schweigertreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5071Fri, 10 Nov 2017 14:33:13 +0100Pre-fixed points of polynomial functions in lattices
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5070
Marcel Erne; Dietmar Schweigertreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5070Fri, 10 Nov 2017 14:25:34 +0100Domain decomposition for kinetic problems with strongly contrasted Knudsen numbers
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5069
A nonequilibrium situation governed by kinetic equations with strongly contrasted Knudsen numbers in different subdomains is discussed. We consider a domain decomposition problem for Boltzmann- and Euler equations, establish the correct coupling conditions and prove the validity of the obtained coupled solution . Moreover numerical examples comparing different types of coupling conditions are presented.Axel Klarreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5069Fri, 10 Nov 2017 14:20:20 +0100Projective resolutions associated to projections
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5066
Theo de Jong; Duco van Stratenreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5066Fri, 10 Nov 2017 13:00:48 +0100Conjugated operatorideals and the \(\mathcal{A}-\)Local reflexivity principle
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5065
Frank Oertelreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5065Fri, 10 Nov 2017 12:54:35 +0100Regularized approximation methods with perturbations for ill-posed operator equations
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5064
We are concerned with a parameter choice strategy for the Tikhonov regularization \((\tilde{A}+\alpha I)\tilde{x}\) = T* \(\tilde{y}\)+ w where \(\tilde{A}\) is a (not necessarily selfadjoint) approximation of T*T and T*\(\tilde y\)+ w is a perturbed form of the (not exactly computed) term T*y. We give conditions for convergence and optimal convergence rates.M. Thamban Nair; Eberhard Schockreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5064Fri, 10 Nov 2017 11:57:22 +0100Quantum Integration in Sobolev Classes
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5063
We study high dimensional integration in the quantum model of computation. We develop quantum algorithms for integration of functions from Sobolev classes \(W^r_p [0,1]^d\) and analyze their convergence rates. We also prove lower bounds which show that the proposed algorithms are, in many cases, optimal within the setting of quantum computing. This extends recent results of Novak on integration of functions from Hölder classes.Stefan Heinrichreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5063Fri, 10 Nov 2017 11:10:26 +0100Information Complexity of Multivariate Fredholm Equations in Sobolev Classes
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5062
In this paper, the complexity of full solution of Fredholm integral equations of the second kind with data from the Sobolev class \(W^r_2\) is studied. The exact order of information complexity is derived. The lower bound is proved using a Gelfand number technique. The upper bound is shown by providing a concrete algorithm of optimal order, based on a specific hyperbolic cross approximation of the kernel function. Numerical experiments are included, comparing the optimal algorithm with the standard Galerkin method.Karin Frank; Stefan Heinrich; Sergei Pereverzevreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5062Fri, 10 Nov 2017 10:53:46 +0100On the Convergence at lnfinity of Solutions with Finite Dirichlet Integral to the Exterior Dirichlet Problem for the Steady Plane Navier-Stokes System of Equations
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5061
Dan Socolescureporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5061Fri, 10 Nov 2017 09:55:59 +0100Polynomial functions of modular lattices
https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5060
A polynomial function \(f : L \to L\) of a lattice \(\mathcal{L}\) = \((L; \land, \lor)\) is generated by the identity function id \(id(x)=x\) and the constant functions \(c_a (x) = a\) (for every \(x \in L\)), \(a \in L\) by applying the operations \(\land, \lor\) finitely often. Every polynomial function in one or also in several variables is a monotone function of \(\mathcal{L}\).
If every monotone function of \(\mathcal{L}\)is a polynomial function then \(\mathcal{L}\) is called orderpolynomially complete. In this paper we give a new characterization of finite order-polynomially lattices. We consider doubly irreducible monotone functions and point out their relation to tolerances, especially to central relations. We introduce chain-compatible lattices
and show that they have a non-trivial congruence if they contain a finite interval and an infinite chain. The consequences are two new results. A modular lattice \(\mathcal{L}\) with a finite interval is order-polynomially complete if and only if \(\mathcal{L}\) is finite projective geometry. If \(\mathcal{L}\) is simple modular lattice of infinite length then every nontrivial interval is of infinite length and has the same cardinality as any other nontrivial interval of \(\mathcal{L}\). In the last sections we show the descriptive power of polynomial functions of
lattices and present several applications in geometry.Dietmar Schweigertreporthttps://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/5060Fri, 10 Nov 2017 09:47:24 +0100