Kinin receptors

The theory that obsessions are caused by catastrophic misinterpretations of one's intrusive thoughts/ images/impulses is elaborated in an attempt to explain the frequency of obsessions and why they persist. The internal and external provocations of obsessions are considered, and an explanatory framework for the varying contents of obsessions is set out. The role and functions of neutralization and inflated responsibility are assessed, and the treatment implications of the theory are described.     

An item analysis of Cattell's 16 PF.

Administered Form A of the 16 PF to 567 undergraduates, and obtained correlations between all items. The present analysis concerns the number of significant interitem correlations. Of the 16,836 interitem correlations, 3,267 were significant at the .01 level. Of these 3,267, only 348 were intrafactor correlations out of 984 possible significant intrafactor correlations. The most homogeneous item groupings were found in surgency, parmia, and ergic tension. In general, this widely used personality test does not satisfy critical scrutiny at the item level. (French summary) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Dynamic reconstruction for atom probe tomography

Progress in the reconstruction for atom probe tomography has been limited since the first implementation of the protocol proposed by Bas et al. in 1995. This approach and those subsequently developed assume that the geometric parameters used to build the three-dimensional atom map are constant over the course of an analysis. Here, we test this assumption within the analyses of low-alloyed materials. By building upon methods recently proposed to measure the tomographic reconstruction parameters, we demonstrate that this assumption can introduce significant limitations in the accuracy of the analysis. Moreover, we propose a strategy to alleviate this problem through the implementation of a new reconstruction algorithm that dynamically accommodates variations in the tomographic reconstruction parameters.     

Atomic-scale analysis of light alloys using atom probe tomography

The present paper reviews recent progress in atomic-scale characterisation of composition and nanostructure of light alloy materials using the technique of atom probe tomography. In particular, the present review will highlight atom-by-atom analysis of solid solution architecture, including solute clustering and short-range order, with reference to current limitations of spatial resolution and detector efficiency of atom probe tomography and methods to address these limitations. This leads to discussion of prediction of mechanical properties by simulation and modelling of the strengthening effect exerted by solute clusters and the role of experimental atom probe data to assist in this process. The unique contribution of atom probe tomography to the study of corrosion and hydrogen embrittlement of light alloys will also be discussed as well as a brief insight into its potential application for the investigation of solute strengthening of twinning in Mg alloys.     

Graphene‐Enhanced 3D Chemical Mapping of Biological Specimens at Near‐Atomic Resolution

The direct imaging of individual atoms within the cellular context holds great potential for understanding the fundamental physical and chemical processes in organisms. Here, a novel approach for imaging of electrically insulated biological cells by introducing a graphene encapsulation approach to “disguise” the low‐conductivity barrier is reported. Upon successful coating using a water‐membrane‐based protocol, the electrical properties of the graphene enable voltage pulsing field evaporation for atom probe tomography (APT). Low conductive specimens prepared from both Au nanoparticles and antibiotic‐resistant bacterial cells have been tested. For the first time, a significant graphene‐enhanced APT mass resolving power is also observed confirming the improved compositional accuracy of the 3D data. The introduction of 2D materials encapsulation lays the foundation for a breakthrough direction in specimen preparation from nanomembrane and nanoscale biological architectures for subsequent 3D near‐atomic characterization.     

Analysis of Dual Frequency Interaction in the Filament with the Purpose of Efficiency Control of THz Pulse Generation

Cross-guiding of the 400 nm second harmonic of the Ti:Sapphire laser in the femtosecond filament produced by an 800 nm pump in argon leads to the efficient terahertz generation along the longitudinally extended high intensity region. Based on the vectorial model of the dual pulse co-propagation we found that terahertz yield due to four-wave mixing in the filament maximizes for the same temporal delay between 400 nm and 800 nm pulses as the 400 nm signal after the analyzer crossed to its initially linear polarization direction. This optimum delay goes up with increasing geometrical focusing distance and leads to the maximum terahertz yield if the initial 800 nm pump and the second harmonic polarization directions are parallel to each other.     

A low-cost PC-oriented virtual environment for operator training

Virtual environment (VE) technologies have been shown to provide invaluable training in the performance of complex procedural tasks. Of paramount importance to the success of any VE is realism; entities must move and behave believably and approximate the complexity of the real world. Such real-world fidelity is accompanied by the challenge of making immersive training in virtual reality (VR) more widely available, at costs significantly less prohibitive. A solution is presented to recreate the VE on low-cost PCs, reducing the cost of the VR software itself, yet preserving real-time performance. This paper presents a low-cost, PC-based VR development system within the framework of ESOPE-VR, a VR operator training simulator (OTS) prototype for power-utility personnel. PC-ESOPE-VR aims to provide the same or improved functionality and performance as the original, with a 3-D visual interface, voice recognition and feedback, navigation and manipulation facilities, and expert system, multimedia and multi-user (distributed) support, yet address the practical demands raised above. The PC-based system is also compatible with the original; it can draw on existing ESOPE-VR power component libraries and support the automatic synthesis of a virtual power station environment from its single-line diagram representation. The approach used towards fulfilling all these issues is described, followed by key implementation results     

From Al2O3-supported Ni(II)-ethylenediamine Complexes to CO Hydrogenation Catalysts: Importance of the Hydrogen Post-treatment Evidenced by XPS

Ni (7 wt%)/Al₂O₃ catalysts prepared by decomposition of Ni(II)-ethylenediamine complexes in inert atmosphere initially contain a mixture of metallic and oxidized nickel. X-ray photoelectron spectroscopy shows that after a hydrogen treatment at 500 °C, the system contains more metallic nickel than catalysts prepared from the usual precursor, nickel nitrate. Carbonaceous species resulting from the partial oxidation of ethylenediamine are also eliminated. The catalyst post-treated in hydrogen exhibits a high metallic surface area accessible to reactants and is able to catalyze CO methanation.     

Formal verification of Ada programs

The Penelope verification editor and its formal basis are described. Penelope is a prototype system for the interactive development and verification of programs that are written in a rich subset of sequential Ada. Because it generates verification conditions incrementally, Penelope can be used to develop a program and its correctness proof in concert. If an already-verified program is modified, one can attempt to prove the modified version by replaying and modifying the original sequence of proof steps. Verification conditions are generated by predicate transformers whose logical soundness can be proven by establishing a precise formal connection between predicate transformation and denotational definitions in the style of continuation semantics. Penelope's specification language, Larch/Ada, belongs to the family of Larch interface languages. It scales up properly, in the sense that one can demonstrate the soundness of decomposing an implementation hierarchically and reasoning locally about the implementation of each node in the hierarchy