Characterizations of safety in hybrid inclusions via barrier functions

This paper investigates characterizations of safety in terms of barrier functions for hybrid systems modeled by hybrid inclusions. After introducing an adequate definition of safety for hybrid inclusions, sufficient conditions using continuously differentiable as well as lower semicontinuous barrier functions are proposed. Furthermore, the lack of existence of autonomous and continuous barrier functions certifying safety, guides us to propose, inspired by converse Lyapunov theorems for only stability, nonautonomous barrier functions and conditions that are shown to be both necessary as well as sufficient, provided that mild regularity conditions on the system's dynamics holds

Covariant boost and structure functions of baryons in Gross-Neveu models

Baryons in the large N limit of two-dimensional Gross-Neveu models are reconsidered. The time-dependent Dirac-Hartree-Fock approach is used to boost a baryon to any inertial frame and shown to yield the covariant energy-momentum relation. Momentum distributions are computed exactly in arbitrary frames and used to interpolate between the rest frame and the infinite momentum frame, where they are related to structure functions. Effects from the Dirac sea depend sensitively on the occupation fraction of the valence level and the bare fermion mass and do not vanish at infinite momentum. In the case of the kink baryon, they even lead to divergent quark and antiquark structure functions at x=0.Comment: 13 pages, 12 figures; v2: minor correction

Trapping of Rb atoms by ac electric fields

We demonstrate trapping of an ultracold gas of neutral atoms in a macroscopic ac electric trap. Three-dimensional confinement is obtained by switching between two saddle-point configurations of the electric field. Stable trapping is observed in a narrow range of switching frequencies around 60 Hz. The dynamic confinement of the atoms is directly visualized at different phases of the ac switching cycle. We observe about 10^5 Rb atoms in the 1 mm^3 large and several microkelvins deep trap with a lifetime of approximately 5 s.Comment: 4 pages, 4 figures; updated version, added journal referenc

3D System Integration for high density Interconnects

3D-Integration is a promising technology towards higher interconnect densities and shorter wiring lengths between multiple chip stacks, thus achieving a very high performance level combined with low power consumption. This technology also offers the possibility to build up systems with high complexity by combining devices of different technologies. The fundamental processing steps will be described, as well as appropriate handling concepts and first electrical results of realized 3D-integrated stacks

Air Traffic Simulation Technology for High-Population Metroplexes

IAI's MetroSim optimizes air traffic by simulating departures, arrivals, and activity in air and onthe ground in busy metroplexes, where flights impact each other at a single airport and among traffic at nearby airports. MetroSim evolved out of several NASA SBIR/STTR Awards and has since been used by NASA for flight simulation analysis. MetroSim has also been integrated with FAA and DOT technology, has produced studies for the Port Authority of New York and New Jersey, and is under development to support the Nav

Parallel Proximity Detection for Computer Simulation

The present invention discloses a system for performing proximity detection in computer simulations on parallel processing architectures utilizing a distribution list which includes movers and sensor coverages which check in and out of grids. Each mover maintains a list of sensors that detect the mover's motion as the mover and sensor coverages check in and out of the grids. Fuzzy grids are includes by fuzzy resolution parameters to allow movers and sensor coverages to check in and out of grids without computing exact grid crossings. The movers check in and out of grids while moving sensors periodically inform the grids of their coverage. In addition, a lookahead function is also included for providing a generalized capability without making any limiting assumptions about the particular application to which it is applied. The lookahead function is initiated so that risk-free synchronization strategies never roll back grid events. The lookahead function adds fixed delays as events are scheduled for objects on other nodes

Development of a porous burner for low calorific gaseous fuels offering a wide operating range [in press]

This work presents the development of a burner for the utilization of low calorific value waste gas, as it arises in the production of high purity hydrogen from biogas using an oxidative steam reforming process. Stable combustion of different fuel gases with fluctuating gas composition over a wide operating range is assured by the application of combustion in an inert porous medium (PIM) utilizing a kinematic flame stabilization mechanism. The development of the PIM-burner bases on calculated effective flame speeds within PIM derived from a 1-D numerical model including harsh operating conditions with preheating temperatures above 800 K and carbon dioxide concentration of 70 %-vol in the fuel gas. Experiments are conducted on a tailored test rig in order to validate numerical predictions by comparison of calculated effective flame speeds to eff ective flame speeds derived from temperature measurements in PIM

Laminin-1 redistributes postsynaptic proteins and requires rapsyn, tyrosine phosphorylation, and Src and Fyn to stably cluster acetylcholine receptors

Clustering of acetylcholine receptors (AChRs) is a critical step in neuromuscular synaptogenesis, and is induced by agrin and laminin which are thought to act through different signaling mechanisms. We addressed whether laminin redistributes postsynaptic proteins and requires key elements of the agrin signaling pathway to cause AChR aggregation. In myotubes, laminin-1 rearranged dystroglycans and syntrophins into a laminin-like network, whereas inducing AChR-containing clusters of dystrobrevin, utrophin, and, to a marginal degree, MuSK. Laminin-1 also caused extensive coclustering of rapsyn and phosphotyrosine with AChRs, but none of these clusters were observed in rapsyn −/− myotubes. In parallel with clustering, laminin-1 induced tyrosine phosphorylation of AChR β and δ subunits. Staurosporine and herbimycin, inhibitors of tyrosine kinases, prevented laminin-induced AChR phosphorylation and AChR and phosphotyrosine clustering, and caused rapid dispersal of clusters previously induced by laminin-1. Finally, laminin-1 caused normal aggregation of AChRs and phosphotyrosine in myotubes lacking both Src and Fyn kinases, but these clusters dispersed rapidly after laminin withdrawal. Thus, laminin-1 redistributes postsynaptic proteins and, like agrin, requires tyrosine kinases for AChR phosphorylation and clustering, and rapsyn for AChR cluster formation, whereas cluster stabilization depends on Src and Fyn. Therefore, the laminin and agrin signaling pathways overlap intracellularly, which may be important for neuromuscular synapse formation