A Measure of Space for Computing over the Reals

We propose a new complexity measure of space for the BSS model of computation. We define LOGSPACE\_W and PSPACE\_W complexity classes over the reals. We prove that LOGSPACE\_W is included in NC^2\_R and in P\_W, i.e. is small enough for being relevant. We prove that the Real Circuit Decision Problem is P\_R-complete under LOGSPACE\_W reductions, i.e. that LOGSPACE\_W is large enough for containing natural algorithms. We also prove that PSPACE\_W is included in PAR\_R

Development of a mass spectrometer design Final report, Jun. 1, 1964 - Dec. 31, 1964

Cold cathode ion source mated to quadrupole mass spectrometer for use as residual gas analyze

A cold cathode ion source mass spectrometer employing ion counting techniques

Design and construction of mass spectrometer using cold cathode source of ions, quadrupole mass analyzer, and ion counting detector

Real time plasma equilibrium reconstruction in a Tokamak

The problem of equilibrium of a plasma in a Tokamak is a free boundary problemdescribed by the Grad-Shafranov equation in axisymmetric configurations. The right hand side of this equation is a non linear source, which represents the toroidal component of the plasma current density. This paper deals with the real time identification of this non linear source from experimental measurements. The proposed method is based on a fixed point algorithm, a finite element resolution, a reduced basis method and a least-square optimization formulation

Field Theoretical Approach to Electrochemical Deposition

In this work we present an application of the lambda-phi^4 field theoretical model to the adsorption of atoms and molecules on metallic surfaces - the electrochemical deposition. The usual approach to this system consists in the computational simulation using Monte Carlo techniques of an effective lattice-gas Hamiltonian. We construct an effective model towards a comparison between the lattice-gas Hamiltonian and the discrete version of the lambda-phi^4 Hamiltonian, obtaining the relationships between the model parameters and electrochemical quantities. The lambda-phi^4 model is studied in the mean field approximation, and the results are fitted and compared to numerical simulated and experimental data.Comment: 9 pages, 5 figure

Scaling in Complex Systems: Analytical Theory of Charged Pores

In this paper we find an analytical solution of the equilibrium ion distribution for a toroidal model of a ionic channel, using the Perfect Screening Theorem (PST). The ions are charged hard spheres, and are treated using a variational Mean Spherical Approximation (VMSA) . Understanding ion channels is still a very open problem, because of the many exquisite tuning details of real life channels. It is clear that the electric field plays a major role in the channel behaviour, and for that reason there has been a lot of work on simple models that are able to provide workable theories. Recently a number of interesting papers have appeared that discuss models in which the effect of the geometry, excluded volume and non-linear behaviour is considered. We present here a 3D model of ionic channels which consists of a charged, deformable torus with a circular or elliptical cross section, which can be flat or vertical (close to a cylinder). Extensive comparisons to MC simulations were performed. The new solution opens new possibilities, such as studying flexible pores, and water phase transformations inside the pores using an approach similar to that used on flat crystal surfaces

Positional Encoding by Robots with Non-Rigid Movements

Consider a set of autonomous computational entities, called \emph{robots}, operating inside a polygonal enclosure (possibly with holes), that have to perform some collaborative tasks. The boundary of the polygon obstructs both visibility and mobility of a robot. Since the polygon is initially unknown to the robots, the natural approach is to first explore and construct a map of the polygon. For this, the robots need an unlimited amount of persistent memory to store the snapshots taken from different points inside the polygon. However, it has been shown by Di Luna et al. [DISC 2017] that map construction can be done even by oblivious robots by employing a positional encoding strategy where a robot carefully positions itself inside the polygon to encode information in the binary representation of its distance from the closest polygon vertex. Of course, to execute this strategy, it is crucial for the robots to make accurate movements. In this paper, we address the question whether this technique can be implemented even when the movements of the robots are unpredictable in the sense that the robot can be stopped by the adversary during its movement before reaching its destination. However, there exists a constant $\delta > 0$, unknown to the robot, such that the robot can always reach its destination if it has to move by no more than $\delta$ amount. This model is known in literature as \emph{non-rigid} movement. We give a partial answer to the question in the affirmative by presenting a map construction algorithm for robots with non-rigid movement, but having $O(1)$ bits of persistent memory and ability to make circular moves

The Stellar Content of Obscured Galactic Giant HII Regions. VI: W51A

We present K-band spectra of newly born OB stars in the obscured Galactic giant H II region W51A and ~ 0.8'' angular resolution images in the J, H and K_S-bands. Four objects have been spectroscopically classified as O-type stars. The mean spectroscopic parallax of the four stars gives a distance of 2.0 \pm 0.3 kpc (error in the mean), significantly smaller than the radio recombination line kinematic value of 5.5 kpc or the values derived from maser propermotion observations (6--8 kpc). The number of Lyman continuum photons from the contribution of all massive stars (NLyc ~ 1.5 x 10^{50} s^{-1}) is in good agreement with that inferred from radio recombination lines (NLyc = 1.3 x 10^{50} s^{-1}) after accounting for the smaller distance derived here. We present analysis of archival high angular resolution images (NAOS CONICA at VLT and T-ReCS at Gemini) of the compact region W51 IRS2. The K_S--band images resolve the infrared source IRS~2 indicating that it is a very young compact HII region. Sources IRS2E was resolved into compact cluster (within 660 AU of projected distance) of 3 objects, but one of them is just bright extended emission. W51d1 and W51d2 were identified with compact clusters of 3 objects (maybe 4 in the case of W51d1) each one. Although IRS~2E is the brightest source in the K-band and at 12.6 \micron, it is not clearly associated with a radio continuum source. Our spectrum of IRS~2E shows, similar to previous work, strong emission in Br$\gamma$ and HeI, as well as three forbidden emission lines of FeIII and emission lines of molecular hydrogen (H_2) marking it as a massive young stellar object.Comment: 31 pages and 9 figures, submitted to A

A corresponding states approach to Small-Angle-Scattering for polydisperse ionic colloidal fluids

Approximate scattering functions for polydisperse ionic colloidal fluids are obtained by a corresponding states approach. This assumes that all pair correlation functions $g_{\alpha \beta}(r)$ of a polydisperse fluid are conformal to those of an appropriate monodisperse binary fluid (reference system) and can be generated from them by scaling transformations. The correspondence law extends to ionic fluids a {\it scaling approximation} (SA) successfully proposed for nonionic colloids in a recent paper. For the primitive model of charged hard spheres in a continuum solvent, the partial structure factors of the monodisperse binary reference system are evaluated by solving the Orstein-Zernike (OZ) integral equations coupled with an approximate closure. The SA is first tested within the mean spherical approximation (MSA) closure, which allows analytical solutions. The results are found in good overall agreement with exact MSA predictions up to relevant polidispersity. The SA is shown to be an improvement over the ``decoupling approximation'' extended to the ionic case. The simplicity of the SA scheme allows its application also when the OZ equations can be solved only numerically. An example is then given by using the hypernetted chain (HNC) closure. Shortcomings of the SA approach, its possible use in the analysis of experimental scattering data and other related points are also briefly addressed.Comment: 29 pages, 7 postscript figures (included), Latex 3.0, uses aps.sty, to appear in Phys. Rev. E (1999