A limit set stabilization by means of the Port Hamiltonian system approach

A solution to the stabilization problem of a compact set by means of the Interconnection and Damping Assignment Passivity‐Based Control methodology, for an affine nonlinear system, was introduced. To this end, we expressed the closed‐loop system as a Port Hamiltonian system, having the property of almost all their trajectories asymptotically converge to a convenient limit set, except for a set of measure zero. It was carried out by solving a partial differential equation (PDE) or single matching condition, which allows the desired energy level or limit set E to be shaped explicitly. The control strategy was tested using the magnetic beam balance system and the pendulum actuated by a direct current motor (DC‐motor), having obtained satisfactory results. Copyright © 2014 John Wiley & Sons, Ltd.     

In-focus electron microscopy of frozen-hydrated biological samples with a Boersch phase plate

We report the implementation of an electrostatic Einzel lens (Boersch) phase plate in a prototype transmission electron microscope dedicated to aberration-corrected cryo-EM. The combination of phase plate, C_s corrector and Diffraction Magnification Unit (DMU) as a new electron-optical element ensures minimal information loss due to obstruction by the phase plate and enables in-focus phase contrast imaging of large macromolecular assemblies. As no defocussing is necessary and the spherical aberration is corrected, maximal, non-oscillating phase contrast transfer can be achieved up to the information limit of the instrument. A microchip produced by a scalable micro-fabrication process has 10 phase plates, which are positioned in a conjugate, magnified diffraction plane generated by the DMU. Phase plates remained fully functional for weeks or months. The large distance between phase plate and the cryo sample permits the use of an effective anti-contaminator, resulting in ice contamination rates of <0.6 nm/h at the specimen. Maximal in-focus phase contrast was obtained by applying voltages between 80 and 700 mV to the phase plate electrode. The phase plate allows for in-focus imaging of biological objects with a signal-to-noise of 5-10 at a resolution of 2-3 nm, as demonstrated for frozen-hydrated virus particles and purple membrane at liquid-nitrogen temperature.     

Granular computing neural-fuzzy modelling: A neutrosophic approach

Granular computing is a computational paradigm that mimics human cognition in terms of grouping similar information together. Compatibility operators such as cardinality, orientation, density, and multidimensional length act on both in raw data and information granules which are formed from raw data providing a framework for human-like information processing where information granulation is intrinsic. Granular computing, as a computational concept, is not new, however it is only relatively recent when this concept has been formalised computationally via the use of Computational Intelligence methods such as Fuzzy Logic and Rough Sets. Neutrosophy is a unifying field in logics that extents the concept of fuzzy sets into a three-valued logic that uses an indeterminacy value, and it is the basis of neutrosophic logic, neutrosophic probability, neutrosophic statistics and interval valued neutrosophic theory. In this paper we present a new framework for creating Granular Computing Neural-Fuzzy modelling structures via the use of Neutrosophic Logic to address the issue of uncertainty during the data granulation process. The theoretical and computational aspects of the approach are presented and discussed in this paper, as well as a case study using real industrial data. The case study under investigation is the predictive modelling of the Charpy Toughness of heat-treated steel; a process that exhibits very high uncertainty in the measurements due to the thermomechanical complexity of the Charpy test itself. The results show that the proposed approach leads to more meaningful and simpler granular models, with a better generalisation performance as compared to other recent modelling attempts on the same data set.     

A Mechanized Proof of the Basic Perturbation Lemma

We present a complete mechanized proof of the result in homological algebra known as basic perturbation lemma. The proof has been carried out in the proof assistant Isabelle, more concretely, in the implementation of higher-order logic (HOL) available in the system. We report on the difficulties found when dealing with abstract algebra in HOL, and also on the ongoing stages of our project to give a certified version of some of the algorithms present in the Kenzo symbolic computation system. J. Aransay was partially supported by Ministerio de Educación y Ciencia, MTM2006/06513, and by Gobierno de La Rioja ANGI2005/19 and J. Rubio was partially supported by Ministerio de Educación y Ciencia, MTM2006/06513, and by Gobierno de La Rioja ANGI2005/19.     

High power GaN‐HEMT SPDT switches for microwave applications

In this article, the design, fabrication, and on‐wafer test of X‐Band and 2–18 GHz wideband high‐power SPDT MMIC switches in AlGaN/GaN technology are presented. The switches have demonstrated state‐of‐the‐art performance and RF fabrication yield better than 65%. Linear and power measurements for different control voltages have been reported and an explanation of the dependence of the power performances on the control voltage is given. In particular, the X‐band switch exhibits a 0.4 dB compression level at 10 GHz when driven by a 38 dBm input signal. The wideband switch shows a compression level of 1 dB at an input drive higher than 38 dBm across the entire bandwidth. © 2009 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2009.     

GLSV: Graphics library stereo vision for OpenGL

This work proposes the development of an auxiliary library for use with OpenGL, to facilitate the creation of graphic applications incorporating stereoscopic representation. This library, christened graphics library stereo vision (GLSV), is designed to remove all calculations involving knowledge of stereo vision theory from the task performed by the programmer without the latter having to change the way he/she has been working with the OpenGL library. The GLSV is distributed under the terms of the GNU Library General Public License agreement.     

Comments about the coincident bit counting (CBC) criterion for image registration

In a paper recently published (ibid., vol.12, p. 30-8, 1993), Chiang and Sullivan compare a new criterion for image registration called CBC (coincident bit counting) with two criteria that the authors proposed some years ago, namely SSC and DSC (stochastic and deterministic sign change criteria). The authors' nonparametric approach was demonstrated to outperform the conventional image registration criteria for robust registration in the fact that the value of their similarity measure did not take the specific pixel values into account. In light of this observation, Chiang and Sullivan have built the CBC criterion. The CBC method compares the number of coincident bits between the corresponding pixels in two different frames for a fixed amount of displacement. While the authors consider that the CBC is of interest and deserves to be studied, they feel that the comparison made by Chiang and Sullivan was not entirely accurate. Here the authors comment on this comparison and suggest possible further studies.