An analytical packet/flow-level modelling approach for wireless LANs with Quality-of-Service support

We present an analytical packet/flow-level modelling approach for the performance analysis of IEEE 802.11e WLAN, where we explicitly take into account QoS differentiation mechanisms based on minimum contention window size values and Arbitration InterFrame Space (AIFS) values, as included in the Enhanced Distributed Channel Access (EDCA) protocol of the 802.11e standard. We first enhance the packet-level approach previously used for best-effort WLANs to include traffic classes with different QoS requirements. The packet-level model approach yields service weights that discriminate among traffic classes. From these observations, the packet/flow-level model for 802.11e is the \textit{generalized} discriminatory processor-sharing (GDPS) queueing model where the state-dependent system capacity is distributed among active traffic classes according to state-dependent priority weights. Extensive simulations show that the discriminatory processor-sharing model closely represents the flow behavior of 802.11e

Kripke Semantics for Martin-L\"of's Extensional Type Theory

It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed categories. Similarly, dependent type theory is complete for locally cartesian closed categories. However, it is usually difficult to establish the coherence of interpretations of dependent type theory, i.e., to show that the interpretations of equal expressions are indeed equal. Several classes of models have been used to remedy this problem. We contribute to this investigation by giving a semantics that is standard, coherent, and sufficiently general for completeness while remaining relatively easy to compute with. Our models interpret types of Martin-L\"of's extensional dependent type theory as sets indexed over posets or, equivalently, as fibrations over posets. This semantics can be seen as a generalization to dependent type theory of the interpretation of intuitionistic first-order logic in Kripke models. This yields a simple coherent model theory, with respect to which simple and dependent type theory are sound and complete

Realization of tunnel barriers for matter waves using spatial gaps

We experimentally demonstrate the trapping of a propagating Bose-Einstein Condensate in a Bragg cavity produced by an attractive optical lattice with a smooth envelope. As a consequence of the envelope, the band gaps become position-dependent and act as mirrors of finite and velocity-dependent reflectivity. We directly observe both the oscillations of the wave packet bouncing in the cavity provided by these spatial gaps and the tunneling out for narrow classes of velocity. Synchronization of different classes of velocity can be achieved by proper shaping of the envelope. This technique can generate single or multiple tunnel barriers for matter waves with a tunable transmission probability, equivalent to a standard barrier of submicron size

Blackwell-Optimal Strategies in Priority Mean-Payoff Games

We examine perfect information stochastic mean-payoff games - a class of games containing as special sub-classes the usual mean-payoff games and parity games. We show that deterministic memoryless strategies that are optimal for discounted games with state-dependent discount factors close to 1 are optimal for priority mean-payoff games establishing a strong link between these two classes

Lie symmetries for two-dimensional charged particle motion

We find the Lie point symmetries for non-relativistic two-dimensional charged particle motion. These symmetries comprise a quasi-invariance transformation, a time-dependent rotation, a time-dependent spatial translation and a dilation. The associated electromagnetic fields satisfy a system of first-order linear partial differential equations. This system is solved exactly, yielding four classes of electromagnetic fields compatible with Lie point symmetries