A fuzzy decision tree method for fault classification in the steam generator of a pressurized water reactor

This paper extends a method previously introduced by the authors for building a transparent fault classification algorithm by combining the fuzzy clustering, fuzzy logic and decision trees techniques. The baseline method transforms an opaque, fuzzy clustering-based classification model into a fuzzy logic inference model based on linguistic rules which can be represented by a decision tree formalism. The classification model thereby obtained is transparent in that it allows direct interpretation and inspection of the model. An extension in the procedure for the development of the fuzzy logic inference model is introduced to allow the treatment of more complicated cases, e.g. splitted and overlapping clusters. The corresponding computational tool developed relies on a number of parameters which can be tuned by the user to optimally compromise the level of transparency of the classification process and its efficiency. A numerical application is presented with regards to the fault classification in the Steam Generator of a Pressurized Water Reactor.     

A Review on Mycotoxins in Food and Feed: Malaysia Case Study

Fungi are distributed worldwide and can be found in various foods and feedstuffs from almost every part of the world. Mycotoxins are secondary metabolites produced by some fungal species and may impose food safety risks to human health. Among all mycotoxins, aflatoxins (AFs), ochratoxin A (OTA), trichothecenes, deoxynivalenol (DON and T‐2 toxin), zearalenone (ZEN), and fumonisins (FMN) have received much attention due to high frequency and severe health effects in humans and animals. Malaysia has heavy rainfall throughout the year, high temperatures (28 to 31 °C), and high relative humidity (70% to 80% during wet seasons). Stored crops under such conditions can easily be contaminated by mycotoxin‐producing fungi. The most important mycotoxins in Malaysian foods are AFs, OTA, DON, ZEN, and FMN that can be found in peanuts, cereal grains, cocoa beans, and spices. AFs have been reported to occur in several cereal grains, feeds, nuts, and nut products consumed in Malaysia. Spices, oilseeds, milk, eggs, and herbal medicines have been reported to be contaminated with AFs (lower than the Malaysian acceptable level of 35 ng/g for total AFs). OTA, a possible human carcinogen, was reported in cereal grains, nuts, and spices in Malaysian market. ZEN was detected in Malaysian rice, oat, barley, maize meal, and wheat at different levels. DON contamination, although at low levels, was reported in rice, maize, barley, oat, wheat, and wheat‐based products in Malaysia. FMN was reported in feed and some cereal grains consumed in Malaysia. Since some food commodities are more susceptible than others to fungal growth and mycotoxin contamination, more stringent prevention and control methods are required.     

A nonlinear model for fractal image coding

After a very promising start, progress in fractal image coding has been relatively slow recently. Most improvements have been concentrating on better adaptive coding algorithms and on search strategies to reduce the encoding time. Very little has been-done to challenge the linear model of the fractal transformations used so far in practical applications. In this paper, we explain why effective nonlinear transformations are not easy to find and propose a model based on conformal mappings in the geometric domain that are a natural extension of the affine model. Our compression results show improvements over the linear model and support the hope that a deeper understanding of the notion of self-similarity would further advance fractal image coding.     

Underapproximation of procedure summaries for integer programs

International Journal on Software Tools for Technology Transfer - We show how to underapproximate the procedure summaries of recursive programs over the integers using off-the-shelf analyzers for...     

Coat of Arctic Fox (Alopex lagopus L.) of Different Genetic Groups in Micro- and Macroscopic Studies and in DSC Investigations

The objective of this research project was to compare in different genetic groups of arctic foxes the composition of the coat, hair length, and thickness as well as the medulla of four hair types but, primarily, to investigate the hair of the two layers of the coat hair (the underhair and the overcoat) using, for this purpose, the differential scanning calorimetry (DSC) method. Generally speaking, Finnish foxes were characterized by the most favorable indices of these traits. Different proportions of genes exerted a different impact on the level of these traits.     

Floor shape optimization for green building design

Shape is an important consideration in green building design due to its significant impact on energy performance and construction costs. This paper presents a methodology to optimize building shapes in plan using the genetic algorithm. The building footprint is represented by a multi-sided polygon. Different geometrical representations for a polygon are considered and evaluated in terms of their potential problems such as epistasis, which occurs when one gene pair masks or modifies the expression of other gene pairs, and encoding isomorphism, which occurs when chromosomes with different binary strings map to the same solution in the design space. Two alternative representations are compared in terms of their impact on computational effectiveness and efficiency. An optimization model is established considering the shape-related variables and several other envelope-related design variables such as window ratios and overhangs. Life-cycle cost and life-cycle environmental impact are the two objective functions used to evaluate the performance of a green building design. A case study is presented where the shape of a typical floor of an office building defined by a pentagon is optimized with a multi-objective genetic algorithm.     

Open-Source Model Checking

We present GMC², a software model checker for GCC, the open-source compiler from the Free Software Foundation (FSF). GMC², which is part of the GMC static-analysis and model-checking tool suite for GCC under development at SUNY Stony Brook, can be seen as an extension of Monte Carlo model checking to the setting of concurrent, procedural programming languages. Monte Carlo model checking is a newly developed technique that utilizes the theory of geometric random variables, statistical hypothesis testing, and random sampling of lassos in Büchi automata to realize a one- sided error, randomized algorithm for LTL model checking. To handle the function call/return mechanisms inherent in procedural languages such as C/C++, the version of Monte Carlo model checking implemented in GMC² is optimized for pushdown-automaton models. Our experimental results demonstrate that this approach yields an efficient and scalable software model checker for GCC.     

Dynamic diffusion model for tracing the real-time potential response of polymeric membrane ion-selective electrodes

A numerical solution for the prediction of the time-dependent potential response of a polymeric-based ion-selective electrode (ISE) is presented. The model addresses short- and middle-term potential drifts that are dependent on changes in concentration gradients in the aqueous sample and organic membrane phase. This work has important implications for the understanding of the real-time response behavior of potentiometric sensors with low detection limits and with nonclassical super-Nernstian response slopes. As a model system, the initial exposure of membranes containing the well-examined silver ionophore O,O' '-bis[2-(methylthio)ethyl]-tert-butylcalix[4]arene was monitored, and the large observed potential drifts were compared to theoretical predictions. The model is based on an approximate solution of the diffusion equation for both aqueous and organic diffusion layers using a numerical scheme (finite difference in time and finite elements in space). The model may be evaluated on the basis of experimentally available parameters and gives time-dependent information previously inaccessible with a simpler steady-state diffusion model. For the cases studied, the model gave a very good correlation with experimental data, albeit with lower than expected diffusion coefficients for the organic phase. This model may address numerous open questions regarding the response time and memory effects of low-detection-limit ion-selective electrodes and for other membrane electrodes where ion fluxes are relevant.     

A new method to compare planned and achieved position of an orthopaedic implant

The present study describes an automatic method to evaluate the efficacy of a computer aided orthopaedic surgery system by comparing the position of the joint implant, as derived from post-operative computed tomography (CT) scans, to that planned by the surgeon before the operation. The method relies on two spatial registrations, one to align the post-operative femur with the pre-operative femur, the second to compute the planned versus achieved (PVA) accuracy as the roto-translation that registers the pre-operative implant position with the post-operative position. Two surface registration algorithms (a generic average distance minimisation and the specialised iterative closest point (ICP) method) were comparatively evaluated first on a set of test cases to measure the absolute accuracy and robustness with respect to peculiar situations such as a distant starting point. The average distance method failed the registration of one test case and showed peak errors of 0.97 degrees on the rotations and 3.09 mm on the translations. The ICP method was found much more efficient and was able to register all test cases. The peak error was 0.44 degrees on the rotations and 0.67 mm on the translations. The ICP method was then used to compute the PVA accuracy on six clinical cases treated with a CT-based planning system in combination with conventional surgical procedures. The method successfully processed all cases demonstrating the efficacy of the proposed procedure in the specific application.