Transforming smoothers for PDE constrained optimization problems

Transforming smoothers are known as a successful approach to the multigrid treatment of saddlepoint problems resulting from variational problems. In this paper we analyze similar multigrid methods in the context of the practically important class of optimization problems with partial differential equation constraint, which lead to a different kind of saddle point problems. We prove level independent convergence properties for the resulting multigrid methods and demonstrate this also in numerical investigations for a relevant model problem.     

Kernel fisher discriminants for outlier detection

The problem of detecting atypical objects or outliers is one of the classical topics in (robust) statistics. Recently, it has been proposed to address this problem by means of one-class SVM classifiers. The method presented in this letter bridges the gap between kernelized one-class classification and gaussian density estimation in the induced feature space. Having established the exact relation between the two concepts, it is now possible to identify atypical objects by quantifying their deviations from the gaussian model. This model-based formalization of outliers overcomes the main conceptual shortcoming of most one-class approaches, which, in a strict sense, are unable to detect outliers, since the expected fraction of outliers has to be specified in advance. In order to overcome the inherent model selection problem of unsupervised kernel methods, a cross-validated likelihood criterion for selecting all free model parameters is applied. Experiments for detecting atypical objects in image databases effectively demonstrate the applicability of the proposed method in real-world scenarios.     

Service level management with agent technology

This paper outlines a generic evaluation methodology for multimedia and real time applications. It concentrates on the application layer and the service aspect. Principles of software evaluation for quality assessment and measurement for networked services and distributed applications are used to present a specific method for measuring important characteristics. The method and the measurement procedure allow comparison of the actual characteristics of service quality with the required characteristics and thresholds. The proof of concepts will be made by the implementation of quality measurement agents following the approach outlined in this paper. Our approach of performing service level management (SLM) with agent technology is distributed, slim, minimizable to the maximum, independent in its methodology and offers comparable, objective results.     

On the number of term orders

By an admissible order on a finite subsetQ of ⁿ we mean the restriction toQ of a linear order on ⁿ compatible with the group structure of ⁿ and such that ⁿ is contained in the positive cone of the order. We first derive upper and lower bounds on the number of admissible orders on a given setQ in terms of the dimensionn and the cardinality ofQ. Better estimates are possible if the setQ enjoys symmetry properties and in the case whereQ is a discrete hyperbox of the form In the latter case, we also give asymptotic results as d _k for fixedn. We finally present algorithms which compute the set of admissible orders that extend a given binary relation onQ and their number. The algorithms are useful in connection with the construction of universal Gröbner bases.AMS Classification: primary 06F20 secondary 06-04, 11N25     

Modeling broad-scale patterns of avian species richness across the Midwestern United States with measures of satellite image texture

Avian biodiversity is threatened, and in order to prioritize limited conservation resources and conduct effective conservation planning a better understanding of avian species richness patterns is needed. The use of image texture measures, as a proxy for the spatial structure of land cover and vegetation, has proven useful in explaining patterns of avian abundance and species richness. However, prior studies that modeled habitat with texture measures were conducted over small geographical extents and typically focused on a single habitat type. Our goal was to evaluate the performance of texture measures over broad spatial extents and across multiple habitat types with varying levels of vertical habitat structure. We calculated a suite of texture measures from 114 Landsat images over a study area of 1,498,000 km² in the Midwestern United States, which included habitats ranging from grassland to forest. Avian species richness was modeled for several functional guilds as a function of image texture. We subsequently compared the explanatory power of texture-only models with models fitted using landscape composition metrics derived from the National Land Cover Dataset, as well as models fitted using both texture and composition metrics. Measures of image texture were effective in modeling spatial patterns of avian species richness in multiple habitat types, explaining up to 51% of the variability in species richness of permanent resident birds. In comparison, landscape composition metrics explained up to 56% of the variability in permanent resident species richness. In the most heavily forested ecoregion, texture-measures outperformed landscape metrics, and the two types of measurements were complementary in multivariate models. However, in two out of three ecoregions examined, landscape composition metrics consistently performed slightly better than texture measures, and the variance explained by the two types of measures overlapped considerably. These results show that image texture measures derived from satellite imagery can be an important tool for modeling patterns of avian species richness at broad spatial extents, and thus assist in conservation planning. However, texture measures were slightly inferior to landscape composition metrics in about three-fourths of our models. Therefore texture measures are best considered in conjunction with landscape metrics (if available) and are best used when they show explanatory ability that is complementarity to landscape metrics.     

Vc: A C++ library for explicit vectorization

It is an established trend that CPU development takes advantage of Moore's Law to improve in parallelism much more than in scalar execution speed. This results in higher hardware thread counts (MIMD) and improved vector units (SIMD), of which the MIMD developments have received the focus of library research and development in recent years. To make use of the latest hardware improvements, SIMD must receive a stronger focus of API research and development because the computational power can no longer be neglected and often auto‐vectorizing compilers cannot generate the necessary SIMD code, as will be shown in this paper. Nowadays, the SIMD capabilities are sufficiently significant to warrant vectorization of algorithms requiring more conditional execution than was originally expected for Streaming SIMD Extension to handle. The Vc library ( http://compeng.uni‐frankfurt.de/?vc ) was designed to support developers in the creation of portable vectorized code. Its capabilities and performance have been thoroughly tested. Vc provides portability of the source code, allowing full utilization of the hardware's SIMD capabilities, without introducing any overhead. Copyright © 2011 John Wiley & Sons, Ltd.     

RH装置的多种设计概念

西马克美马克公司近些年来不断致力于改进RH装置的装备水平和冶金技术并取得了丰富的经验,其处理的钢水可以满足用户对在最短的处理周期及最小的工艺成本下获得极低碳或极低氢含量的要求.RH装置的形式可从单真空室到双工位双真空室快速更换等多种.本文以冶金和经济的角度详细地阐述了西马克美马克公司RH装置的概念和应用实践.西马克美马克公司在中国攀枝花钢铁集团公司最新投产的LF和RH装置就是我们二次精炼现代化工艺概念的代表.与西马克美马克公司的工艺自动化2级相似,其可以得到精确的成分,纯净的和最低的氢含量.工艺模型在线的修改方式也将有所介绍.     

On boundary conditions for homogenization of volume elements undergoing localization

This paper presents an adaption of periodic boundary conditions (BC), which is termed tessellation BC. While periodic BC restrict strain localization zones to obey the periodicity of the microstructure, the proposed tessellation BC adjust the periodicity frame to meet the localization zone. Thereby, arbitrary developing localization zones are permitted. Still the formulation is intrinsically unsusceptible against spurious localization. Additionally, a modification of the Hough transformation is derived, which constitutes an unbiased criterion for the detection of the localization zone. The behavior of the derived formulation is demonstrated by various examples and compared with other BC. It is thereby shown that tessellation BC lead to a reasonable dependence of the effective stress on the localization direction. Furthermore, good convergence of stiffness values with increasing size of the representative volume element is shown as well as beneficial characteristics in use with strain softening material.     

Transparent conducting indium oxide thin films grown by low-temperature metal organic chemical vapor deposition

We have grown indium oxide thin films on silicon substrates at low temperature by metal organic chemical vapor deposition. Polycrystalline film growth could only be obtained at temperatures below 400 °C. Above 400 °C, metallic indium deposition dominated. We have investigated the effect of substrate temperature and reactor pressure on the film growth and structural properties in the range of 250-350 °C and 5 ^? 10³-4 ^? 10⁴ Pa. The film grown at 300 °C exhibited a resistivity of about 3.6 × 10^− 3 Ω cm and a maximal optical transmittance of more than 95% in the visible range. The film showed an optical band gap of about 3.6 eV.