The power of communication: P systems with symport/antiport

In the attempt to have a framework where the computation is done by communication only, we consider the biological phenomenon of trans-membrane transport of couples of chemicals (one say symport when two chemicals pass together through a membrane, in the same direction, and antiport when two chemicals pass simultaneously through a membrane, in opposite directions). Surprisingly enough, membrane systems without changing (evolving) the used objects and with the communication based on rules of this type are computationally complete, and this result is achieved even for pairs of communicated objects (as encountered in biology). Five membranes are used; the number of membranes is reduced to two if more than two chemicals may collaborate when passing through membranes. Andrei Paun: He graduated the Faculty of Mathematics of Bucharest University in 1998, received his M.Sc. degree from The University of Western Ontario in 1999, and since then he is a PhD student in the Computer Science Department of University of Western Ontario, London, Canada (under the guidance of prof. Sheng Yu). The topic of his thesis is Molecular Computing (especially, DNA and Membrane Computing), but his research interests also include neural networks, implementing automata, combinatorics on words. Gheorghe Paun: (the proud father of two sons, including the first author of this paper) He is a member of the Romanian Academy, working as a senior researcher in the Institute of Mathematics of the Romanian Academy, Bucharest, and as a Ramon y Cajal researcher in Rovira i Virgili University of Tarragona, Spain. He is one of the most active authors in (the theory of) DNA Computing, (co)author of many papers in this area, (co)author and (co)editor of several books. In 1998 he has initiated the area of Membrane Computing. Other research interests: regulated rewriting, grammar systems, contextual grammars, combinatorics on words, computational linguistics.     

Nonlinear elasticity imaging: theory and phantom study

In tissue the Young's modulus cannot be assumed constant over a wide deformation range. For example, direct mechanical measurements on human prostate show up to a threefold increase in Young's modulus over a 10% deformation. In conventional elasticity imaging, these effects produce strain-dependent elastic contrast. Ignoring these effects generally leads to suboptimal contrast (stiffer tissues at lower strain are contrasted against softer tissues at higher strain), but measuring the nonlinear behavior results in enhanced tissue differentiation. To demonstrate the methods extracting nonlinear elastic properties, both simulations and measurements were performed on an agar-gelatin phantom. Multiple frames of phase-sensitive ultrasound data are acquired as the phantom is deformed by 12%. All interframe displacement data are brought back to the geometry of the first frame to form a three-dimensional (3-D) data set (depth, lateral, and preload dimensions). Data are fit to a 3-D second order polynomial model for each pixel that adjusts for deformation irregularities. For the phantom geometry and elastic properties considered in this paper, reconstructed frame-to-frame strain images using this model result in improved contrast to noise ratios (CNR) at all preload levels, without any sacrifice in spatial resolution. From the same model, strain hardening at all preload levels can be extracted. This is an independent contrast mechanism. Its maximum CNR occurs at 5.13% preload, and it is a 54% improvement over the best case (preload 10.6%) CNR for frame-to-frame strain reconstruction. Actual phantom measurements confirm the essential features of the simulation. Results show that modeling of the nonlinear elastic behavior has the potential to both increase detectability in elasticity imaging and provide a new independent mechanism for tissue differentiation.     

CPM: a deformable model for shape recovery and segmentation based on charged particles

A novel, physically motivated deformable model for shape recovery and segmentation is presented. The model, referred to as the charged-particle model (CPM), is inspired by classical electrodynamics and is based on a simulation of charged particles moving in an electrostatic field. The charges are attracted towards the contours of the objects of interest by an electrostatic field, whose sources are computed based on the gradient-magnitude image. The electric field plays the same role as the potential forces in the snake model, while internal interactions are modeled by repulsive Coulomb forces. We demonstrate the flexibility and potential of the model in a wide variety of settings: shape recovery using manual initialization, automatic segmentation, and skeleton computation. We perform a comparative analysis of the proposed model with the active contour model and show that specific problems of the latter are surmounted by our model. The model is easily extendable to 3D and copes well with noisy images.     

Effects of interface roughness on the spectral properties of thin films and multilayers

We introduce two parameters, large-scale and small-scale rms roughness, to take into account the interface properties of thin films and multilayers in the calculation of their specular reflectance and transmittance. A theoretical motivation for the introduction of these two parameters instead of a standard single rms roughness is provided. Experimental power spectral density functions of several samples are used to illustrate ways in which the parameters introduced can be evaluated.     

The effect of growth temperature on the nanostructure and dielectric response of BaTiO3 ferroelectric films

BaTiO₃ ferroelectric films were grown on Si/SiO₂/Ti/Pt/Au/Pt templates at different temperatures in the range 560-680 °C by pulsed laser deposition. Cross section scanning electron microscopy images and atomic force microscopy surface morphology analysis reveal films with columnar structure and in-plane grain size distribution, in the range 10-60 nm, depending on growth temperature. Low-field dielectric measurements were performed as functions of temperature in the range 40-500 K and external dc field up to 400 kV/cm. The apparent permittivity of ferroelectric films grown at 680 °C shows Curie-Weiss behavior above 400 K with Curie temperature and Curie-Weiss constant 240 K and 1 · 10⁵ K, respectively. The films grown at lower temperatures reveal a decrease of Curie temperature down to − 80 K, reduced values of apparent permittivity and loss tangent, and broadening of maximum of temperature dependence of apparent permittivity. The film grown at 590 °C demonstrates state of the art combination of temperature stability (temperature coefficient of apparent permittivity 300 ppm/K in the range 50-350 K), high tunability of apparent permittivity (up to 60% at room temperature), and relatively low loss tangent (less than 0.05 in the frequency range up to 10 GHz). The change in apparent permittivity and its temperature dependence, with variation of growth temperature are analyzed using two different composite models. The first model assumes the film to be a composite with vertical inclusions of low permittivity dielectric material associated with grain boundaries. This model may explain the observed decrease of permittivity with decreasing growth temperature, but not the shift of Curie temperature. The second model assumes a layered type of composite with low permittivity material associated with the film/electrode interfaces, and allows explanation of the Curie temperature shift.     

Efficient De-Embedding Technique for 110-GHz Deep-Channel-MOSFET Characterization

In this letter, a de-embedding procedure is proposed to accurately extract the small signal equivalent circuit of advanced MOSFETs up to 110GHz. This efficient procedure is easy to implement using only one "open" dummy structure to de-embed the external parasitics (probe pads, interconnecting transmission line, and top-down metallic interconnections and via holes) and is in particular suitable for industrial online automatic test. The method has been validated in the case of 65-nm n-MOSFETs and is proved to be efficient up to 110GHz     

The distributed dislocation technique for calculating plasticity-induced crack closure in plates of finite thickness

An analytical method for calculating plasticity-induced fatigue crack closure in plates of finite thickness is presented. The developed method utilizes the distributed dislocation technique (DDT) and Gauss-Chebyshev quadrature. Crack tip plasticity is incorporated by adopting a Dugdale type strip yield model. The finite plate thickness effects are taken into account by using a recently obtained three-dimensional solution for an edge dislocation in an infinite plate. Numerical results for the ratio of the size of the crack tip plasticity zones are presented for the cases of uniform thickness wake and linearly increasing wake for a range of plate thickness to crack length ratios and applied load ratios. The results show a very good agreement with previous analytical solutions in the limiting cases of very thick and very thin plates. Further results for the opening stress to maximum stress ratio are also provided and are compared with known three-dimensional finite element (FE) solutions. A good agreement is observed. The developed method is shown to be an effective and very powerful tool in modeling the crack closure phenomenon.     

NEXAFS study of electronic and atomic structure of active layer in Al/indium tin oxide/TiO2 stack during resistive switching

We have studied the stability of the resistive switching process in the Al/(In₂O₃)_0.9(SnO₂)_0.1/TiO₂ assembly grown by atomic layer deposition. Besides electrical characterization the effect of electric field on the atomic electronic structure of the TiO₂ layer was studied using near edge X-ray absorption fine structure (NEXAFS) spectroscopy. The region of the current instability in the I-V characteristics was revealed. Presumably this current instability is supported by the amorphous structure of the TiO₂ film but is initiated by the surface morphology of the Al substrate. A formation of the O₂ molecules was established which occurs specifically in the region of the current instability that is a result of electrical Joule heating manifestation.     

Synergistic verification and validation of systems and software engineering models

In this paper, we present a unified approach for the verification and validation of software and systems engineering design models expressed in UML 2.0 and SysML 1.0. The approach is based on three well-established techniques, namely formal analysis, programme analysis and software engineering (SwE) techniques. More precisely, our contribution consists of the synergistic combination of model checking, static analysis and SwE metrics that enables the automatic and efficient assessment of design models from static and dynamic perspectives. Additionally, we present the design and implementation of an automated computer-aided assessing framework integrating the proposed approach. Moreover, we discuss the related technical details and the underlying synergism. Finally, we illustrate the proposed approach by assessing a design case study that is composed of state machine and sequence diagrams.     

Completing causal networks by meta-level abduction

Meta-level abduction is a method to abduce missing rules in explaining observations. By representing rule structures of a problem in a form of causal networks, meta-level abduction infers missing links and unknown nodes from incomplete networks to complete paths for observations. We examine applicability of meta-level abduction on networks containing both positive and negative causal effects. Such networks appear in many domains including biology, in which inhibitory effects are important in several biological pathways. Reasoning in networks with inhibition involves nonmonotonic inference, which can be realized by making default assumptions in abduction. We show that meta-level abduction can consistently produce both positive and negative causal relations as well as invented nodes. Case studies of meta-level abduction are presented in p53 signaling networks, in which causal relations are abduced to suppress a tumor with a new protein and to stop DNA synthesis when damage has occurred. Effects of our method are also analyzed through experiments of completing networks randomly generated with both positive and negative links.