21,585 research outputs found
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 observed in any elemental metal
(Li with T ~ 20 K at pressure P ~ 40 GPa) is shown to arise from critical
(formally divergent) electron-phonon coupling to the transverse T phonon
branch along intersections of Kohn anomaly surfaces with the Fermi surface.
First principles linear response calculations of the phonon spectrum and
spectral function 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
- …