Reliability analysis in wind turbine engineering

Wind turbines are being designed in accordance with deterministic design rules. As wind turbines increase in size and power, these rules may not be adequate to ascertain a safe and well balanced design. Wind turbine industry can take advantage of the safety and reliability practices in e.g. aerospace, nuclear and offshore industry. These practices include System Reliability (such as FMECA, Event Sequence Analysis and Fault Tree Analysis) and Structural Reliability methods. The approach to introduce Probabilistic Safety Assessment (PSA) which incorporates these reliability methods into wind turbine engineering will be described. By means of two recent case studies, the applicability, benefits, and limitations of these methods will be illustrated.     

The small-cell variant of mycosis fungoides. A clinicopathological and quantitative electron microscopic study on 14 patients

Small-cell variants of Sézary syndrome and mycosis fungoides (MF) have been described. However, in these studies the nuclear area of the small-cell variant of MF (SC-MF) as compared to histological classical MF (CL-MF) was not characterized objectively by quantitative electron microscopy. In a 14-year follow-up period, of a total of 76 patch/plaque stage MF patients seen in the Department of Dermatology of the University Hospital Utrecht, 14 (18%) had an infiltrate composed of atypical lymphocytes characterized by a distinctly smaller cell diameter and smaller, hyperchromatic, deeply indented nuclei as compared to the usual cell type of MF. The aim of the investigation was to confirm this observation objectively using quantitative electron microscopy (morphometry) and to define SC-MF as compared to CL-MF. The study was performed on the 14 patients with SC-MF, and 10 patients with clinical and histological CL-MF and 4 patients with chronic eczema. Electron micrographs of sections obtained from each biopsy were analysed by computer to produce the following data: a nuclear contour index (NCI), the mean nuclear area (MNA), the mean nuclear area of the cells above the 75th percentile (P75NA) and the percentage of cells larger than 30 microm2. The values of MNA differed significantly between patients with SC-MF and those with CL-MF (17.6 vs 23.2 microm2; P = 0.02), as did the values of P75NA (20.7 vs 27.9 microm2; P = 0.01). The NCI of the SC-MF and CL-MF patients were similar. These results are consistent with our observations that SC-MF does indeed exist.     

Benchmarking Least Squares Support Vector Machine Classifiers

In Support Vector Machines (SVMs), the solution of the classification problem is characterized by a (convex) quadratic programming (QP) problem. In a modified version of SVMs, called Least Squares SVM classifiers (LS-SVMs), a least squares cost function is proposed so as to obtain a linear set of equations in the dual space. While the SVM classifier has a large margin interpretation, the LS-SVM formulation is related in this paper to a ridge regression approach for classification with binary targets and to Fisher's linear discriminant analysis in the feature space. Multiclass categorization problems are represented by a set of binary classifiers using different output coding schemes. While regularization is used to control the effective number of parameters of the LS-SVM classifier, the sparseness property of SVMs is lost due to the choice of the 2-norm. Sparseness can be imposed in a second stage by gradually pruning the support value spectrum and optimizing the hyperparameters during the sparse approximation procedure. In this paper, twenty public domain benchmark datasets are used to evaluate the test set performance of LS-SVM classifiers with linear, polynomial and radial basis function (RBF) kernels. Both the SVM and LS-SVM classifier with RBF kernel in combination with standard cross-validation procedures for hyperparameter selection achieve comparable test set performances. These SVM and LS-SVM performances are consistently very good when compared to a variety of methods described in the literature including decision tree based algorithms, statistical algorithms and instance based learning methods. We show on ten UCI datasets that the LS-SVM sparse approximation procedure can be successfully applied.     

Dyadic spatial resolution reduction transcoding for H.264/AVC

In this paper, we examine spatial resolution downscaling transcoding for H.264/AVC video coding. A number of advanced coding tools limit the applicability of techniques, which were developed for previous video coding standards. We present a spatial resolution reduction transcoding architecture for H.264/AVC, which extends open-loop transcoding with a low-complexity compensation technique in the reduced-resolution domain. The proposed architecture tackles the problems in H.264/AVC and avoids visual artifacts in the transcoded sequence, while keeping complexity significantly lower than more traditional cascaded decoder–encoder architectures. The refinement step of the proposed architecture can be used to further improve rate-distortion performance, at the cost of additional complexity. In this way, a dynamic-complexity transcoder is rendered possible. We present a thorough investigation of the problems related to motion and residual data mapping, leading to a transcoding solution resulting in fully compliant reduced-size H.264/AVC bitstreams.     

Health burden of road traffic accidents,an analysis of clinical data on disability and mortality exposure rates in Flanders and Brussels

Statistics on road traffic accidents (RTAs) mainly come from police records. The police reported RTA statistics however are known to have a large degree of under-registration, underestimating the true risk of being injured in traffic accidents. The use of medical based datasets can provide a more accurate estimate of the actual traffic accident health risk. Exposure-based rates of the actual burden from Flanders and Brussels were calculated, comparing differences between road user, age, gender and type of injury sustained. Minimal Clinical Data (MCD) was selected for the years 2003–2007, as well as data from the mortality statistics. Disability Adjusted Life Years (DALY) were calculated and put into perspective with the passenger kilometres travelled.     

Proof Pearl: The KeY to Correct and Stable Sorting

We discuss a proof of the correctness of two sorting algorithms: Counting sort and Radix sort. The semi-automated proof is formalized in the state-of-the-art theorem prover KeY.     

Reduction of Furan Formation by High-Pressure High-Temperature Treatment of Individual Vegetable Purées

The present study addressed the need for furan mitigation measures at the level of food production, where the effects of extrinsic (process-related) and intrinsic (product-related) properties on furan formation in vegetable-based systems were investigated. For the first time in the literature, the effect of high-pressure high-temperature (HPHT) processing on the formation of furan was demonstrated. HPHT processing was proven to be an interesting alternative for furan reduction in vegetable-based systems, when aiming for sterilization intensities. Following HPHT treatment, the furan concentrations of a wide range of individual vegetable purées dropped to levels close to the analytical limits (1–2 ng/g purée). A higher processing cost might limit the use of HPHT processing to high-value added products, which means that for many other conduction-heated food products, conventional heating would remain the standard technology. As a first step towards control of furan formation in the latter products, a mixed model regression was used to identify the major precursors in vegetable-based systems. Significant correlations were observed for vitamin C and sugars, which were attributed to the efficiency of the conversion and high concentrations, respectively. Next to furan, the HPHT- and thermally treated purées were analyzed for 2- and 3-methylfuran, which are likely to undergo the same metabolic fate as furan. For most of the vegetables tested, the total amount of methylfuran found in the thermally treated purées could not be ignored. Similarly to furan, there was a clear reduction in the concentrations found in the HPHT-treated purées.     

Left ventricular radial tagging acquisition using gradient-recalled-echo techniques: sequence optimization

Myocardial tagging with magnetic resonance (MR) imaging offers unique possibilities for noninvasive left ventricular (LV) strain analysis. True three-dimensional strain analysis can be achieved with tags implemented in cardiac short axis and long axis images. Spin-echo (SE) techniques have been used for these studies. However, this approach is time-consuming: images at different phases of the cardiac cycle have to be obtained in successive measurements and hence the total number of measurements equals the number of time frames. Moreover, the images are often degraded by flow and motion artifacts. The purpose of this study was to optimize a faster and more robust MR tagging sequence for use on a clinical whole-body 1 T MR system with optimal persistence of the tags during the entire cardiac cycle. The tagging pulses were implemented in gradient-recalled-echo (GRE) sequences and compared to SE-based acquisitions. The effects of the use of flow-compensating gradients, the excitation angles, and the angles of the saturation pulses have been studied with MR signal simulations and in comparative measurements in volunteers. GRE acquisitions with flow-compensating gradients are robust techniques for myocardial tagging acquisitions. Use of optimized flip angles and saturation pulses can significantly improve delineation of the tag and can be used up to at least 700 ms after the R-wave. Therefore, LV tagging with GRE acquisitions using optimized MR parameters is a robust and promising technique.     

Well-definedness and semantic type-checking for the nested relational calculus

The well-definedness problem for a programming language consists of checking, given an expression and an input type, whether the semantics of the expression is defined for all inputs adhering to the input type. A related problem is the semantic type-checking problem which consists of checking, given an expression, an input type, and an output type whether the expression always returns outputs adhering to the output type on inputs adhering to the input type. Both problems are undecidable for general-purpose programming languages. In this paper we study these problems for the Nested Relational Calculus, a specific-purpose database query language. We also investigate how these problems behave in the presence of programming language features such as singleton coercion and type tests.     

Staining of white marble

White marbles have been a popular building material since Greek and Roman times. Recently, the long-term aesthetical aspect of white marbles has been questioned. In this paper, the results of our research on the development of stains on different types of white marbles (seven Italian and one Greek marble) are presented. The staining of white marbles has been studied by using different microscopic techniques and staining methods. In addition, a new optimised staining technique is proposed for artificially staining of white Carrara marble. An objective normalised measuring method is also developed for quantifying the discolouration of natural materials. Although the inclusions of organic material in crystals in marbles are often suggested to be responsible for staining, this investigation illustrated that they have little or no influence on the discolouration of the natural stones. Systematic investigation showed that the presence of pyrite and hematite crystals plays a dominant role for the development of discolouration.