Non-linear QFT synthesis by local linearization

Existing non-linear quantitive feedback theory (QFT) techniques are based on some form of linearization of the non-linear plant, where the quality of the controller is a function of the equivalent linearized plant. We propose a new approach to non-linear QFT, based on local linearization of the non-linear plant about closed-loop acceptable outputs. Here, acceptable outputs appear as uncertain parameters in an equivalent linear family, being a generalization of the more traditional linearization about equilibrium points. In some applications, this technique may give better results and is an alternative when the other existing techniques fail. A comparison of this technique to previous ones using an uncertain Van der Pol plant considered previously in the QFT literature, and a pH control system, is presented.     

RNA-binding protein conserved in both microtubule- and microfilament-based RNA localization

IL-12 is a key cytokine in the development of Th1 responses. IL-12 production by antigen-presenting cells (APC) can be induced by the interaction between CD40 on the APC and CD40 ligand (CD40L) expressed on T cells after activation. Our previous study indicated that in dendritic cells (DC), the only APC that can activate naive T(h) cells efficiently, the mere CD40 engagement is insufficient to induce IL-12 production. The aim of the present study was to dissect the conditions for efficient IL-12 production by DC further. Using populations of naive and memory Th cells, recombinant CD40L, neutralizing and blocking antibodies, and by determining IFN-gamma production and CD40L expression levels, we here show that T cell-induced IL-12 production by DC results from the action of two signals, mediated by CD40L and IFN-gamma, and that the inability of naive T(h) cells to induce IL-12 production resides in their inability to produce IFN-(gamma). Other factors than CD40L and IFN-gamma can provide the required signals for IL-12 production by DC, as either factor could be replaced by lipopolysaccharide (LPS). The two-signal requirement proved unique for the production of IL-12, since either CD40 engagement or LPS was sufficient for the efficient production of tumor necrosis factor-alpha, IL-8 and the p40 subunit of IL-12, and may be considered as a safety mechanism for optimal control of potentially harmful T(h)1 responses.     

Limitations of charge efficiency in capacitive deionization processes III: The behavior of surface oxidized activated carbon electrodes

In previous papers we reported on attempts to improve the performance of water desalination using capacitive de-ionization (CDI) processes by understanding the ions transport and adsorption/desorption behavior of activated carbon electrodes as a function of the applied potential. We also investigated the charge efficiency in CDI processes of brackish water in symmetrical cells containing identical highly porous activated carbon electrodes. In this work, we study the influence of oxygen-containing surface groups on activated carbon electrodes on the adsorption/desorption behavior of ions in brackish water. A special methodology was developed in order to estimate the charge efficiency of CDI processes which include the ability to prepare various kinds of activated carbon electrodes (ACEs) with controlled porosity and surface groups, measuring the PZC (potential of zero charge) of ACE in solutions and simultaneous adsorption and desorption of ions into/from them. The presence of polar, oxygen containing surface groups on ACE does not affect the electroadsorption behavior of Na⁺ and Cl⁻ ions into porous carbons whose average pore size is greater than 0.58 nm, apart of considerably changing the PZC. This results in a shift of the entire curves of ion adsorption vs. potential. The possible use of ACE with oxidized surfaces in CDI processes is discussed.     

cDNA excision in stable retroviral cDNA transfectants is prevented by R removal

The present study provides evidence on the occurrence of DNA rearrangement between the redundant 5' and 3' R domains of equine infectious anemia virus (EIAV) Tat cDNA. This was correlated with a gradual loss of cDNA copy number concomitantly with a decrease in gene expression. Removal of the 5' RU5 abolished rearrangement and stabilized Tat expression in EIAV tat cDNA transfectants. Our data suggest that prior removal of the 5' R from cloned retroviral cDNAs can impede DNA rearrangement, thus preventing cDNA excision that frequently occurs and hinders permanent expression of retroviral cDNAs in stable transfectants.     

Fast direct solution of 3-D scattering problems via nonuniform grid-based matrix compression

A fast non-iterative algorithm for the solution of large 3-D acoustic scattering problems is presented. The proposed approach can be used in conjunction with the conventional boundary element discretization of the integral equations of acoustic scattering. The algorithm involves domain decomposition and uses the nonuniform grid (NG) approach for the initial compression of the interactions between each subdomain and the rest of the scatterer. These interactions, represented by the off-diagonal blocks of the boundary element method matrix, are then further compressed while constructing sets of interacting and local basis and testing functions. The compressed matrix is obtained by eliminating the local degrees of freedom through the Schur's complement-based technique procedure applied to the diagonal blocks. In the solution process, the interacting unknowns are first determined by solving the compressed system equations. Subsequently, the local degrees of freedom are determined for each subdomain. The proposed technique effectively reduces the oversampling typically needed when using low-order discretization techniques and provides significant computational savings.     

Design of PID controllers satisfying gain margin and sensitivity constraints on a set of plants

This paper presents a method for the design of PID-type controllers, including those augmented by a filter on the D element, satisfying a required gain margin and an upper bound on the (complementary) sensitivity for a finite set of plants. Important properties of the method are: (i) it can be applied to plants of any order including non-minimum phase plants, plants with delay, plants characterized by quasi-polynomials, unstable plants and plants described by measured data, (ii) the sensors associated with the PI terms and the D term can be different (i.e., they can have different transfer function models), (iii) the algorithm relies on explicit equations that can be solved efficiently, (iv) the algorithm can be used in near real-time to determine a controller for on-line modification of a plant accounting for its uncertainty and closed-loop specifications, (v) a single plot can be generated that graphically highlights tradeoffs among the gain margin, (complementary) sensitivity bound, low-frequency sensitivity and high-frequency sensor noise amplification, and (vi) the optimal controller for a practical definition of optimality can readily be identified.     

Verification of multi-linked heaps

We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of relying on a relatively simple theory of linked lists in order to support abstraction computation. To facilitate the application of this encoding, we provide a program transformation that, given a program operating on a multi-linked heap without sharing, transforms it into one over a single-parent heap. It is then possible to apply shape analysis by predicate and ranking abstraction. The technique has been successfully applied on examples with lists (reversal and bubble sort) and trees with of fixed arity (balancing of, and insertion into, a binary sort tree).     

Autonomous motivation for teaching: How self-determined teaching may lead to self-determined learning.

This study examined teachers' experience of autonomous motivation for teaching and its correlates in teachers and students. It was hypothesized that teachers would perceive various motivations posited by E. L. Deci and R. M. Ryan's (2000) self-determination theory as falling along a continuum of autonomous motivation for teaching. Autonomous motivation for teaching was predicted to be associated positively with teachers' sense of personal accomplishment and negatively with emotional exhaustion. Most important, teachers' self-reported autonomous motivation for teaching was expected to promote students' self-reported autonomous motivation for learning by enhancing teachers' autonomy-supportive behavior, as indicated by students' reports. Results from a sample of 132 Israeli teachers and their 1,255 students were consistent with the hypotheses. Discussion focuses on the importance of the experience of autonomous motivation for teaching for teachers and students. (PsycINFO Database Record (c) 2010 APA, all rights reserved)