Numerical Analysis of Tunneling Between Stacked Quantum Wires with the Inclusion of the Effects from Effective Mass Discontinuities

A technique for the exact solution of the 3D Schrödinger equation in a structure with the effective mass varying in the direction transverse with respect to that of electron propagation is presented. Such a technique is applied to the study of the tunneling conductance between two stacked quantum wires as a function of the voltage applied to a top gate, whose action on the confinement potential is evaluated by means of a 3D Poisson solver. Results are then compared with those for an approximate model that allows separating the variables of the Schrödinger equation and with those for a simplified treatment of the gate action.     

Finite-tree analysis for constraint logic-based languages

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can provide very efficient representations of grammars and other useful objects). Unfortunately, the use of infinite rational trees has problems. For instance, many of the built-in and library predicates are ill-defined for such trees and need to be supplemented by run-time checks whose cost may be significant. Moreover, some widely used program analysis and manipulation techniques are correct only for those parts of programs working over finite trees. It is thus important to obtain, automatically, a knowledge of the program variables (the finite variables) that, at the program points of interest, will always be bound to finite terms. For these reasons, we propose here a new data-flow analysis, based on abstract interpretation, that captures such information. We present a parametric domain where a simple component for recording finite variables is coupled, in the style of the open product construction of Cortesi et al., with a generic domain (the parameter of the construction) providing sharing information. The sharing domain is abstractly specified so as to guarantee the correctness of the combined domain and the generality of the approach. This finite-tree analysis domain is further enhanced by coupling it with a domain of Boolean functions, called finite-tree dependencies, that precisely captures how the finiteness of some variables influences the finiteness of other variables. We also summarize our experimental results showing how finite-tree analysis, enhanced with finite-tree dependencies, is a practical means of obtaining precise finiteness information.     

Monte-Carlo Simulation of Clocked and Non-Clocked QCA Architectures

We present a Monte Carlo simulation of two implementations of Quantum Cellular Automaton (QCA) circuits: one based on simple ground state relaxation and the other on the clocked cell scheme that has recently been proposed by Tóth and Lent. We focus on the time-dependent behavior of two basic circuits, a binary wire and a majority voting gate, and assess their maximum operating speed and temperature requirements for different sets of fabrication parameters.     

An integrated approach to the facilities and material handling system design

The facility layout problem involves the optimal location of manufacturing facilities into a workshop. The classical approach to the layout design is carried out in two separate steps: the first step is the construction of the block layout, i.e. the location of the departments into the workshop, and the second step is the design of the material handling system. The separate optimization of these two aspects of the problem leads to solutions that can be far from the total optimum. In this paper, an integrated approach to the facilities and material handling system design is proposed. Referring to a physical model, named the bay structure , and to a unidirectional AGV system, a genetic approach is proposed to individuate the locations of the departments, the positions of the pickup/delivery stations and the direction of the flow-path. The minimization of material handling cost is adopted as optimality criterion.     

Abstractions of data types

The use of abstraction in the context of abstract data types, is investigated. Properties to be checked are formulas in a first order logic under Kleene's 3-valued interpretation. Abstractions are defined as pairs consisting of a congruence and a predicate interpretation. Three types of abstractions are considered,∀∀, ∀∃ and ∃^0,1∀, and for each of them corresponding property preservation results are established. An abstraction refinement property is also obtained. It shows how one can pass from an existing abstraction to a (less) finer one. Finally, equationally specified abstractions in the context of equationally specified abstract data types are discussed and exemplified.On leave from the Department of Computer Science, “Al. I. Cuza” University, Iaşi 740083, RomaniaThe research reported in this paper was partially supported by the program ECO-NET 08112WJ/2004-2005 and by the National University Research Council of Romania, grants CNCSIS 632(28)/2004 and CNCSIS 632(50)/2005.     

Increased probability of GABA release during withdrawal from morphine

Opioid receptors located on interneurons in the ventral tegmental area (VTA) inhibit GABA(A)-mediated synaptic transmission to dopamine projection neurons. The resulting disinhibition of dopamine cells in the VTA is thought to play a pivotal role in drug abuse; however, little is known about how this GABAA synapse is affected after chronic morphine treatment. The regulation of GABA release during acute withdrawal from morphine was studied in slices from animals treated for 6-7 d with morphine. Slices containing the VTA were prepared and maintained in morphine-free solutions, and GABAA IPSCs were recorded from dopamine cells. The amplitude of evoked IPSCs and the frequency of spontaneous miniature IPSCs measured in slices from morphine-treated guinea pigs were greater than placebo-treated controls. In addition, activation of adenylyl cyclase, with forskolin, and cAMP-dependent protein kinase, with Sp-cAMPS, caused a larger increase in IPSCs in slices from morphine-treated animals. Conversely, the kinase inhibitors staurosporine and Rp-CPT-cAMPS decreased GABA IPSCs to a greater extent after drug treatment. The results indicate that the probability of GABA release was increased during withdrawal from chronic morphine treatment and that this effect resulted from an upregulation of the cAMP-dependent cascade. Increased transmitter release from opioid-sensitive synapses during acute withdrawal may be one adaptive mechanism that results from prolonged morphine treatment.     

Etude voltammetrique de l''electrosorption de la 2,2′-bipyridine et de ses complexes photoactifs de ruthenium et de rhodium sur des electrodes binaires platine—or

The adsorption of 2,2′-bipyridine and its photoactive complexes with Ru^II and Rh^III was studied on binary platinum—gold electrodes chosen as models of the bifunctional catalysts for water photo-decomposition. The adsorption isotherms show that the geometrical arrangement of the adsorbed species, and their interaction with the electrode surface depend on their structure and on the nature of the metallic substrate and the superficial composition of the catalyst. The interpretation of the role played by the relay molecules in the electrocatalytic photodecomposition of water allows a discussion of the preparation and the behaviour of Pt—Au binary catalysts used for the production of photolytic hydrogen.