Development of a new ion-imprinted polymer (IIP) with Cd2+ ions based on divinylbenzene copolymers containing amidoxime groups

Polymer Bulletin - In this study, we synthesized a new ion-imprinted polymer (IIP) based on introduction of amidoxime groups in acrylonitrile, complexation with Cd2+ ions and polymerization with...     

Miniaturized coplanar waveguide stop band filters based on multiple tuned split ring resonators

A novel compact stop band filter consisting of a 50 /spl Omega/ coplanar waveguide (CPW) with split ring resonators (SRRs) etched in the back side of the substrate is presented. By aligning SRRs with the slots, a high inductive coupling between line and rings is achieved, with the result of a sharp and narrow rejection band in the vicinity of the resonant frequency of the rings. In order to widen the stop band of the filter, several ring pairs tuned at equally spaced frequencies within the desired gap are cascaded. The frequency response measured in the fabricated prototype device exhibits pronounced slopes at either side of the stop band and near 0 dBs insertion loss outside that band. Since SRR dimensions are much smaller than signal wavelength, the proposed filters are extremely compact and can be used to reject frequency parasitics in CPW structures by simply patterning properly tuned SRRs in the back side metal. Additional advantages are easy fabrication and compatibility with MMIC or PCB technology.     

The effects of behavioral tasks on the in vitro phosphorylation of intermediate filament subunits of rat hippocampus are mediated by CaMKII and PKA

In the homodimeric hemoglobin from Scapharca, HbI, functional communication between the two heme groups is based on their direct structural linkage across the subunit interface through the heme propionates. The heme-protein interactions have been altered in deutero- and meso-HbI by substituting the vinyl groups at positions 2 and 4 of protoheme with hydrogen and ethyl groups, respectively. In meso-HbI the introduction of the ethyl groups in the heme pocket induces significant alterations in the conformation of the heme peripheral substituents, including the propionates, and in the structure of bound CO, as revealed by the resonance Raman spectra. The functional counterpart of these structural changes is the loss of cooperativity in carbon monoxide binding and in the rate of oxygen dissociation. Oxygen pulse and flash photolysis experiments indicate that meso-HbI is locked in the liganded conformation. It is postulated that the ethyl groups, which occupy a larger volume than vinyl ones, impair the ligand-linked movement of the heme relative to its pocket and in turn the expression of cooperativity. In deutero-HbI structural alterations have not been monitored. Functionally, cooperativity in the CO binding kinetics is increased as if hydrogen atoms at positions 2 and 4 permitted more marked movements of the heme than in the native protein.     

Normal form approach to compiler design

This paper demonstrates how reduction to normal form can help in the design of a correct compiler for Dijkstra's guarded command language. The compilation strategy is to transform a source program, by a series of algebraic manipulations, into a normal form that describes the behaviour of a stored-program computer. Each transformation eliminates high-level language constructs in favour of lower-level constructs. The correctness of the compiler follows from the correctness of each of the algebraic transformations.     

Analysis of the propagation of leaky magnetostatic modes in normally magnetized microstrip and slot lines

The propagation of leaky forward magnetostatic (MS) volume waves along ferrite-loaded microstrip and slot lines is analyzed. This phenomenon is studied by means of a numerical approach based on the residue calculus technique because of its good numerical convergence and stability. The proposed method allows for a quick and accurate computation of the phase and attenuation constants of the leaky MS modes. A comparative analysis between both microstrip lines and slot lines is carried out, and some new physical effects, such as MS resonances in the radiation loss, are reported. The advantages of the proposed method of analysis over other numerical methods, such as Galerkin's or moment methods, are also discussed.     

停止强制驱逐——来自巴西库里蒂巴的报告

2003年10月1日清晨，城市警卫队的队员在巴西的库里蒂巴对一处叫Sambaqui的贫民窟住区进行了封锁，把居住在那里的72个人从他们的家中驱赶了出去。警卫队摧毁了这些人的房屋，点燃大火，把屋子里的床垫、器具和其它的日用品，甚至还包括一名老妇人喂养的小猫都丢进了大火中。武装的警卫队员还在一次未经官方批准的行动中对六个人实施了殴打。那些从自己的家园被驱赶出来的人不得不暂时住在为他们提供的一处市中心的工会大楼中。     

Four-wire current-regulated PWM voltage converter

Shunt active power filters are connected in parallel with the electricity supply network. If the AC mains has a neutral conductor, it is desirable to compensate the mains harmonic currents zero-sequence components. This can be achieved with a four-wire pulsewidth modulation voltage converter connected to the AC mains. In this case, the three-phase and the neutral AC currents must be controlled. A generalization of the space-vector-based current controller in the αβo coordinate system is presented in this paper. With this current controller, all the current harmonic systems of positive, negative, and zero sequence can be injected by the converter and, thus, compensated on the AC mains. The system is also useful to compensate unbalanced currents of fundamental frequency. A useful benefit of this system is that it is possible to control the converter four-wire currents with equal hysteresis errors. Simulation and experimental results are presented     

Face recognition with lattice independent component analysis and extreme learning machines

We focus on two aspects of the face recognition, feature extraction and classification. We propose a two component system, introducing Lattice Independent Component Analysis (LICA) for feature extraction and Extreme Learning Machines (ELM) for classification. In previous works we have proposed LICA for a variety of image processing tasks. The first step of LICA is to identify strong lattice independent components from the data. In the second step, the set of strong lattice independent vector are used for linear unmixing of the data, obtaining a vector of abundance coefficients. The resulting abundance values are used as features for classification, specifically for face recognition. Extreme Learning Machines are accurate and fast-learning innovative classification methods based on the random generation of the input-to-hidden-units weights followed by the resolution of the linear equations to obtain the hidden-to-output weights. The LICA-ELM system has been tested against state-of-the-art feature extraction methods and classifiers, outperforming them when performing cross-validation on four large unbalanced face databases.     

Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.