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, Cs 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 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. 相似文献
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. 相似文献
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. 相似文献
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. 相似文献
Discusses the evolution of the Psychological Review from its inception in 1894 as a general journal to its current status as a forum for theoretical discussion. A historical overview of Psychological Review is presented, and its 2 main subfields, cognition and perception, are outlined. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
We introduce a novel algorithm for online estimation of Acoustic Impulse Responses (AIRs) which allows for fast convergence by exploiting prior knowledge about the fundamental structure of AIRs. The proposed method assumes that the variability of AIRs of an acoustic scene is confined to a low-dimensional manifold which is embedded in a high-dimensional space of possible AIR estimates. We discuss various approaches which exploit a training data set of AIRs, e.g., high-accuracy AIR estimates from the acoustic scene, to learn a local affine subspace approximation of the AIR manifold. The model is motivated by the idea of describing the generally nonlinear AIR manifold locally by tangential hyperplanes and its validity is verified for simulated data. Subsequently, we describe how the manifold assumption can be used to enhance online AIR estimates by projecting them onto an adaptively estimated subspace. Motivated by the assumption of manifolds being locally Euclidean, the parameters determining the adaptive subspace are learned from the nearest neighbor AIR training samples to the current AIR estimate. To assess the proximity of training data AIRs to the current AIR estimate, we introduce a probabilistic extension of the Euclidean distance which improves the performance for applications with non-white excitation signals. Furthermore, we describe how model imperfections can be tackled by a soft projection of the AIR estimates. The proposed algorithm exhibits significantly faster convergence properties in comparison to a high-performance state-of-the-art algorithm. Furthermore, we show an improved steady-state performance for speech-excited system identification scenarios suffering from high-level interfering noise and nonunique solutions.
Ionic self‐assembly of charged molecular building blocks relies on the interplay between long‐range electrostatic forces and short‐range, often cooperative, supramolecular interactions, yet has been seldom studied in two dimensions at the solid–liquid interface. Here, we demonstrate anion‐driven switching of two‐dimensional (2D) crystal structure at the Au(111)/octanoic acid interface. Using scanning tunneling microscopy (STM), three organic salts with identical polyaromatic cation (PQPC6+) but different anions (perchlorate, anthraquinonedisulfonate, benzenesulfonate) are shown to form distinct, highly ordered self‐assembled structures. Reversible switching of the supramolecular arrangement is demonstrated by in situ exchange of the anion on the pre‐formed adlayer, by changing the concentration ratio between the incoming and outgoing anion. Density functional theory (DFT) calculations reveal that perchlorate is highly mobile in the adlayer, and corroborate why this anion is only resolved transiently in STM. Surprisingly, the templating effect of the anion persists even where it does not become part of the adlayer 2D fabric, which we ascribe to differences in stabilization of cation conformations by the anion. Our results provide important insight into the structuring of mixed anion–cation adlayers. This is essential in the design of tectons for ionic self‐assembled superstructures and biomimetic adaptive materials and valuable also to understand adsorbate–adsorbate interactions in heterogeneous catalysis. 相似文献