Feature subset selection using differential evolution and a statistical repair mechanism

One of the fundamental motivations for feature selection is to overcome the curse of dimensionality problem. This paper presents a novel feature selection method utilizing a combination of differential evolution (DE) optimization method and a proposed repair mechanism based on feature distribution measures. The new method, abbreviated as DEFS, utilizes the DE float number optimizer in the combinatorial optimization problem of feature selection. In order to make the solutions generated by the float-optimizer suitable for feature selection, a roulette wheel structure is constructed and supplied with the probabilities of features distribution. These probabilities are constructed during iterations by identifying the features that contribute to the most promising solutions. The proposed DEFS is used to search for optimal subsets of features in datasets with varying dimensionality. It is then utilized to aid in the selection of Wavelet Packet Transform (WPT) best basis for classification problems, thus acting as a part of a feature extraction process. Practical results indicate the significance of the proposed method in comparison with other feature selection methods.     

The evaporation rates and mechanisms of cadmium from a bubble-stirred molten copper bath

Experiments to determine the evaporation rates and aerosol formation mechanism of cadmium in molten copper at atmospheric pressure have been carried out. A small amount of cadmium (∼1 wt pct) was added to molten copper at 1473 K and allowed to evaporate while bubbling 750 and 1500 cm³/min of argon through the melt. Melt samples were periodically taken and analyzed by inductively coupled plasma/mass spectroscopy (ICP/MS) to determine their impurity content. A theoretical model to predict the evaporation rates of solutes from molten metals was developed and compared to the experimental results. Excellent correlation between experiment and theory was found for the cadmiumcopper system. The model has been extended to other solutes and also to molten Fe-3 (wt pct) C at 1873 K as a solvent.     

Retention and acquisition of classical trace conditioned responses by rabbits with hippocampal lesions.

Examined the effects of dorsal hippocampal lesions on retention of classical trace conditioned responses (CRs) using the rabbit nictitating membrane preparation. In Exp I, 18 New Zealand albino rabbits were trained to criteria and then lesioned either in the cortex or in the hippocampus and the cortex. Hippocampal damage had no effect on the retention of responses but produced significantly longer onset latencies. A control group of hippocampal Ss acquired CRs at least as quickly as the prelesion Ss and exhibited longer response onset latency. Exp II, with 24 Ss, evaluated the performance of hippocampal-lesioned Ss in classical trace conditioning with either a low-intensity periorbital shock or a corneal air puff as the unconditioned stimulus (UCS). Hippocampal Ss successfully acquired CRs under both conditions but exhibited an alteration of response onset that depended on the form of the UCS. Hippocampal Ss displayed shorter response onset in the air-puff condition and longer response onset in the shock condition. Cortical Ss consistently timed responses regardless of the UCS. Findings suggest that the hippocampus modulates temporal characteristics of learned behavior. (37 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A clustering approach to identify the time of a step change in Shewhart control charts

Control charts are the most popular statistical process control tools used to monitor process changes. When a control chart indicates an out‐of‐control signal it means that the process has changed. However, control chart signals do not indicate the real time of process changes, which is essential for identifying and removing assignable causes and ultimately improving the process. Identifying the real time of the change is known as the change‐point estimation problem. Most of the traditional methods of estimating the process change point are developed based on the assumption that the process follows a normal distribution with known parameters, which is seldom true. In this paper, we propose clustering techniques to estimate Shewhart control chart change points. The proposed approach does not depend on the true values of the parameters and even the distribution of the process variables. Accordingly, it is applicable to both phase‐I and phase‐II of normal and non‐normal processes. At the end, we discuss the performance of the proposed method in comparison with the traditional procedures through extensive simulation studies. Copyright © 2008 John Wiley & Sons, Ltd.     

Using induction and rewriting to verify and complete parameterized specifications

In software engineering there is a growing demand for formal methods for the specification and validation of software systems. The formal development of a system might give rise to many proof obligations. We must prove the completeness of the specification and the validity of some inductive properties. In this framework, many provers have been developed. However they require much user interaction even for simple proof tasks. In this paper, we present new procedures to test sufficient completeness and to prove or disprove inductive properties automatically in para-meterized conditional specifications. The method has been implemented in the prover SPIKE. Computer experiments illustrate the improvements in length and structure of proofs, due to parameterization. Moreover, SPIKE offers facilities to check and complete specifications.     

Compact all-diode-pumped femtosecond laser source based on chirpedpulse optical parametric amplification in periodically poledKTiOPO4

1 kHz chirped pulse optical parametric amplification in periodically poled KTiOPO₄ achieving 20 μJ amplified signal pulse energy at 1.573 μm and 320 fs pulse duration after recompression is reported     

On the Performance of FFT/DWT/DCT-based OFDM Systems with Chaotic Interleaving and Channel Estimation Algorithms

The efficiency of data transmission over fading channels in orthogonal frequency division multiplexing (OFDM) systems depends on the employed interleaving method. In this study, we propose an improved chaotic interleaving scheme which aims to improve the performance of OFDM system under fading channel. In the proposed scheme, the binary data is interleaved with chaotic Baker map prior to the modulation process. In the sequel, significant degree of encryption is being added during data transmission. The performance of the proposed approach is tested on the conventional fast Fourier transform OFDM, discrete wavelet transform OFDM, and discrete cosine transform OFDM with and without chaotic interleaving. Furthermore, an expectation–maximization (EM) algorithm is proposed for improving channel impulse response (CIR) estimation based on a maximum likelihood principle. The proposed scheme makes use of EM algorithm to update the channel estimates until convergence is reached. The simulation results show the efficiency of the proposed algorithms under Rayleigh fading environments where the symbol error rate essentially coincides with that of the perfect channel case after the fifth EM iteration.     

Modelling approaches for the estimation of irreducible water saturation and heterogeneities of the commercial Ashtart reservoir from the Gulf of Gabès, Tunisia

Oil production based on reserves in place in the Ashtart oilfield required the precise knowledge of the main reservoir parameters including porosity, permeability and irreducible water saturation. The reservoir series is comprised of Nummulitid but heterogeneous limestones of the El Garia Formation, the petrofacies texture, geometry and petrophysical parameters of which were apprehended using seismic profiles; gamma-ray and sonic lateral logs, as well as cores and cuttings taken in drillwells. The evaluation of residual oil saturation, multiphase flow and oil production techniques from the Ashtart reservoir also depend on variations and zoning of the irreducible water saturation. Estimation of the initial water saturation and hence variations in the capillary pressure in the reservoir, required compilations of porosity data measured on cores, supplemented by additional but computed porosities based on acoustic log diagrams. Furthermore, Gamma Ray, Sonic log, and well to well correlations tied to core results and well cuttings, help recognize the layered lithologies within the El Garia flat lying but stratified, Ypresian in origin reservoir rocks. Abundant permeability and porosity values compiled in the light of seismic sequence and Gamma Ray and Sonic log details, were integrated in an empirical approach using the Leverett J function, to model the irreducible water saturation depending on the capillary pressure distribution in the whole reservoir. Variations of this principal hydraulic parameter in a wide range (S_wir: 12 to 40%) compared to the preceding lithostratigraphic, petrographical and petrophysical results help recognize four main rock pore types in the commercial Ashtart reservoir. These vary from (1) a zone with a rock pore type showing an irreducible water saturation as low as 12%, and a fairly good reservoir character in the lower third part of the lithologic column which is thought to channelize a multiphase fluid flow in the global oilfield, (2) to those zones built-up of rock pore types with higher initial water saturation amounts which in certain cases tend to indicate zones of degraded reservoir. Our study suggests that diagenesis prevalently controls porosity, due to operative dissolutions of the Nummulitid tests/bioclasts, and cementation; moreover, diagenesis exerts effects on permeability by interconnecting intergranular and intratest pore spaces. In contrast, microfracturing enhances permeability of the reservoir. This is notably the case in the fairly permeable central zone in the Ashtart reservoir with excellent petrophysical parameters, but which were found to degrade gradually towards its peripheries.