Design of an adaptive fuzzy sliding mode control for uncertain discrete-time nonlinear systems based on noisy measurements

This paper presents the design of an adaptive fuzzy sliding mode control (AFSMC) for uncertain discrete-time nonlinear dynamic systems. The dynamic systems are described by a discrete-time state equation with nonlinear uncertainties, and the uncertainties include the modelling errors and the external disturbances to be unknown but nonlinear with the bounded properties. The states are measured by the restriction of measurement sensors and the contamination with independent measurement noises. The nonlinear uncertainties are approximated by using the fuzzy IF-THEN rules based on the universal approximation theorem, and the approximation error is compensated by adding an adaptive complementary term to the proposed AFSMC. The fuzzy inference approach based on the extended single input rule modules is proposed to reduce the number of the fuzzy IF-THEN rules. The estimates for the un-measurable states and the adjustable parameters are obtained by using the weighted least squares estimator and its simplified one. It is proved that under some conditions the estimation errors will remain in the vicinity of zero as time increases, and the states are ultimately bounded subject to the proposed AFSMC. The effectiveness of the proposed method is indicated through the simulation experiment of a simple numerical system.     

An approximation algorithm dependent on edge-coloring number for minimum maximal matching problem

We consider the minimum maximal matching problem, which is NP-hard (Yannakakis and Gavril (1980) [18]). Given an unweighted simple graph G=(V,E), the problem seeks to find a maximal matching of minimum cardinality. It was unknown whether there exists a non-trivial approximation algorithm whose approximation ratio is less than 2 for any simple graph. Recently, Z. Gotthilf et al. (2008) [5] presented a -approximation algorithm, where c is an arbitrary constant.In this paper, we present a -approximation algorithm based on an LP relaxation, where χ^′(G) is the edge-coloring number of G. Our algorithm is the first non-trivial approximation algorithm whose approximation ratio is independent of |V|. Moreover, it is known that the minimum maximal matching problem is equivalent to the edge dominating set problem. Therefore, the edge dominating set problem is also -approximable. From edge-coloring theory, the approximation ratio of our algorithm is , where Δ(G) represents the maximum degree of G. In our algorithm, an LP formulation for the edge dominating set problem is used. Fujito and Nagamochi (2002) [4] showed the integrality gap of the LP formulation for bipartite graphs is at least . Moreover, χ^′(G) is Δ(G) for bipartite graphs. Thus, as far as an approximation algorithm for the minimum maximal matching problem uses the LP formulation, we believe our result is the best possible.     

A proteome analysis of the dorsolateral prefrontal cortex in human alcoholic patients

Alcoholic patients commonly experience cognitive decline. It is postulated that cognitive dysfunction is caused by an alcohol-induced region-selective brain damage, particularly to the prefrontal region, and grey and white matter may be affected differently. We used a proteomics-based approach to compare protein expression profiles of the dorsolateral prefrontal cortex (Brodmann area 9 (BA9)) from human alcoholic and healthy control brains. Changes in the relative expression of 110 protein 'spots' were identified in the BA9 grey matter, of which 54 were identified as 44 different proteins. In our recent article, 60 protein spots were differentially expressed in the BA9 white matter and 18 of these were identified (Alexander-Kaufman, K., James, G., Sheedy, D., Harper, C., Matsumoto, I., Mol. Psychiatry 2006, 11, 56-65). Additional BA9 white matter proteins are identified here and discussed in conjunction to our grey matter results. Thiamine-dependent enzymes transketolase and pyruvate dehydrogenase (E1β ubunit) were among the proteins identified. To our knowledge, this is the first time a disruption in thiamine-dependent enzymes has been demonstrated in the brains of 'neurologically uncomplicated' alcoholics. By identifying protein expression changes in prefrontal grey and white matter separately, hypotheses may draw upon more mechanistic explanations as to how alcoholism causes the structural alterations associated with alcohol-related brain damage and cognitive dysfunction.     

Basic constructs of the SIM operating system

The basic constructs of SIMPOS (Sequential Inference Machine Programming and Operating System) are explained. SIMPOS is an operating system for a super-personal computer (SIM), based on logic programming language (a modified Prolog, called KL0). Our design principle is simplicity both in concept and structure. The entire system will be constructed using these basic constructs.     

Theory of ion mobility in liquid3He

An ion interacting with quasiparticles in liquid³He is treated theoretically by summing most divergent terms in perturbation series of the self-energy of the ion and the vertex part. The ion Green's function is renormalized by a factorZ(T), and the vertex part byZ(T) ^?1, where \({\text{Z(T)}} = {\text{(T/T}}_F {\text{)}}^{{\text{2V}}_{{\text{0}}^{\rho ^{\text{2}} } }^{\text{2}} } \) , forT ₀?T?T _F. Here,T ₀=(m/M)T _F, withm the³He mass andM the ion mass, and \({\text{V}}_{0^\rho } \) is the strength of the interaction. The factor explains the weak temperature dependence of the mobility around the minimum atT ₀; we also discuss its effect on the behavior of the mobility in³He-B nearT _c.     

Theoretical and evolutionary parameter tuning of neural oscillators with a double-chain structure for generating rhythmic signals

A neural oscillator with a double-chain structure is one of the central pattern generator models used to simulate and understand rhythmic movements in living organisms. However, it is difficult to reproduce desired rhythmic signals by tuning an enormous number of parameters of neural oscillators. In this study, we propose an automatic tuning method consisting of two parts. The first involves tuning rules for both the time constants and the amplitude of the oscillatory outputs based on theoretical analyses of the relationship between parameters and outputs of the neural oscillators. The second involves an evolutionary tuning method with a two-step genetic algorithm (GA), consisting of a global GA and a local GA, for tuning parameters such as neural connection weights that have no exact tuning rule. Using numerical experiments, we confirmed that the proposed tuning method could successfully tune all parameters and generate sinusoidal waves. The tuning performance of the proposed method was less affected by factors such as the number of excitatory oscillators or the desired outputs. Furthermore, the proposed method was applied to the parameter-tuning problem of some types of artificial and biological wave reproduction and yielded optimal parameter values that generated complex rhythmic signals in Caenorhabditis elegans without trial and error.     

A high‐performance sorting algorithm for multicore single‐instruction multiple‐data processors

Many sorting algorithms have been studied in the past, but there are only a few algorithms that can effectively exploit both single‐instruction multiple‐data (SIMD) instructions and thread‐level parallelism. In this paper, we propose a new high‐performance sorting algorithm, called aligned‐access sort (AA‐sort), that exploits both the SIMD instructions and thread‐level parallelism available on today's multicore processors. Our algorithm consists of two phases, an in‐core sorting phase and an out‐of‐core merging phase. The in‐core sorting phase uses our new sorting algorithm that extends combsort to exploit SIMD instructions. The out‐of‐core algorithm is based on mergesort with our novel vectorized merging algorithm. Both phases can take advantage of SIMD instructions. The key to high performance is eliminating unaligned memory accesses that would reduce the effectiveness of SIMD instructions in both phases. We implemented and evaluated the AA‐sort on PowerPC 970MP and Cell Broadband Engine platforms. In summary, a sequential version of the AA‐sort using SIMD instructions outperformed IBM's optimized sequential sorting library by 1.8 times and bitonic mergesort using SIMD instructions by 3.3 times on PowerPC 970MP when sorting 32 million random 32‐bit integers. Also, a parallel version of AA‐sort demonstrated better scalability with increasing numbers of cores than a parallel version of bitonic mergesort on both platforms. Copyright © 2011 John Wiley & Sons, Ltd.     

Breakdown Phenomena in Point-to-Point Gaps

Measurements with multiple techniques delineating the complete sequence of events from the primary streamer to the formation of the spark channel for relatively small point-to-point gaps are reported. The pulsed potential with 0.4 μs rise time and 1800 μs decay time was applied to the point-to-point gap, of which length was changed from 6 to 14 cm. The light pulses were observed by 5 photomultipliers as well as current and potential wave. It is shown that the spark channel can be materialized through the following three processes: 1) initial process, in which the primary, the secondary, and the tertiary streamers develop from both point electrodes into gap, and the ionizing wave bridges the gap; 2) intermediate process, in which the dark period proceeds with ion and electron movement if the applied potential is around the mean breakdown potential, or in the other case, the ``leader' develops from the anode with the help of ionizing waves; and 3) final process, in which the channel is highly ionized at first by the ionizing wave, then gas heating, to lead the formation of a spark channel. On the bases of the measurements of streamer speed and current, the ion and electron density were calculated. It is estimated that starting with the primary streamer with an electron density of 1012 cm-3, the electron density in the streamer channel is augmented by the ionizing wave up to 1012cm -3 when the gap is bridged by the ionizing wave.