Element-specific modal formulations for large-displacement multibody dynamics

Large dispacement assumed-mode modeling techniques are examined in the context of multibody elastodynamics. The range of both general and element-specific approaches are studied with the aid of examples involving beams, plates, and shells. For systems undergoing primarily structural bending and twisting with little or no membrane distortion, it is found that fully-linear, element-specific, modal formulations provide the most accurate time history solutions at the least expense. When membrane effects become dominant in structural problems due to loading and boundary conditions, one must naturally resort to a formulation involving a nonlinear stress-strain relationship in addition to nonlinear terms associated with large overall system motion. Such nonlinear models were investigated using assumed modes and found to lead to modal convergence difficulties when standard free-free structural modes are employed. A constrained mode formulation aimed at addressing the convergence problem is proposed

Monolithic arrays of surface emitting laser NOR logic devices

Monolithic, cascadable, laser-logic-device arrays have been realized and characterized. The monolithic surface-emitting laser logic (SELL) device consists of an AlGaAs superlattice lasing around 780 nm connected to a heterojunction phototransistor (HPT) in parallel and a resistor in series. Arrays up to 8×8 have been fabricated, and 2×2 arrays show uniform characteristics. The optical logic output is switched off with 40 μW incident optical input

Monolithic arrays of surface emitting laser NOR logic devices

Monolithic, cascadable, laser-logic-device arrays have been realized and characterized. The monolithic surface-emitting laser logic (SELL) device consists of an AlGaAs superlattice lasing around 780 nm connected to a heterojunction phototransistor (HPT) in parallel and a resistor in series. Arrays up to 8×8 have been fabricated, and 2×2 arrays show uniform characteristics. The optical logic output is switched off with 40 μW incident optical input

Search for axion-like particles using a variable baseline photon regeneration technique

We report the first results of the GammeV experiment, a search for milli-eV mass particles with axion-like couplings to two photons. The search is performed using a "light shining through a wall" technique where incident photons oscillate into new weakly interacting particles that are able to pass through the wall and subsequently regenerate back into detectable photons. The oscillation baseline of the apparatus is variable, thus allowing probes of different values of particle mass. We find no excess of events above background and are able to constrain the two-photon couplings of possible new scalar (pseudoscalar) particles to be less than 3.1x10^{-7} GeV^{-1} (3.5x10^{-7} GeV^{-1}) in the limit of massless particles.Comment: 5 pages, 4 figures. This is the version accepted by PRL and includes updated limit

Erlang Code Evolution Control

During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and other ideas such as allowing the programmer to chose an expression of interest that must preserve the behaviour, or the recording of the sequences of values to which this expression is evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Superconductivity and Lattice Instability in Compressed Lithium from Fermi Surface Hot Spots

The highest superconducting temperature T$_c$ observed in any elemental metal (Li with T$_c$ ~ 20 K at pressure P ~ 40 GPa) is shown to arise from critical (formally divergent) electron-phonon coupling to the transverse T$_1$ phonon branch along intersections of Kohn anomaly surfaces with the Fermi surface. First principles linear response calculations of the phonon spectrum and spectral function $\alpha^2 F(\omega)$ reveal (harmonic) instability already at 25 GPa. Our results imply that the fcc phase is anharmonically stabilized in the 25-38 GPa range.Comment: 4 pages, 3 embedded figure

A computationally efficient inorganic atmospheric aerosol phase equilibrium model (UHAERO)

A variety of thermodynamic models have been developed to predict inorganic gas-aerosol equilibrium. To achieve computational efficiency a number of the models rely on a priori specification of the phases present in certain relative humidity regimes. Presented here is a new computational model, named UHAERO, that is both efficient and rigorously computes phase behavior without any a priori specification. The computational implementation is based on minimization of the Gibbs free energy using a primal-dual method, coupled to a Newton iteration. The mathematical details of the solution are given elsewhere. The model also computes deliquescence and crystallization behavior without any a priori specification of the relative humidities of deliquescence or crystallization. Detailed phase diagrams of the sulfate/nitrate/ammonium/water system are presented as a function of relative humidity at 298.15 K over the complete space of composition