493 research outputs found
Real-Time Misbehavior Detection in IEEE 802.11e Based WLANs
The Enhanced Distributed Channel Access (EDCA) specification in the IEEE
802.11e standard supports heterogeneous backoff parameters and arbitration
inter-frame space (AIFS), which makes a selfish node easy to manipulate these
parameters and misbehave. In this case, the network-wide fairness cannot be
achieved any longer. Many existing misbehavior detectors, primarily designed
for legacy IEEE 802.11 networks, become inapplicable in such a heterogeneous
network configuration. In this paper, we propose a novel real-time hybrid-share
(HS) misbehavior detector for IEEE 802.11e based wireless local area networks
(WLANs). The detector keeps updating its state based on every successful
transmission and makes detection decisions by comparing its state with a
threshold. We develop mathematical analysis of the detector performance in
terms of both false positive rate and average detection rate. Numerical results
show that the proposed detector can effectively detect both contention window
based and AIFS based misbehavior with only a short detection window.Comment: Accepted to IEEE Globecom 201
Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools
Register Transfer Level (RTL) design validation is a crucial stage in the
hardware design process. We present a new approach to enhancing RTL design
validation using available software techniques and tools. Our approach converts
the source code of a RTL design into a C++ software program. Then a powerful
symbolic execution engine is employed to execute the converted C++ program
symbolically to generate test cases. To better generate efficient test cases,
we limit the number of cycles to guide symbolic execution. Moreover, we add
bit-level symbolic variable support into the symbolic execution engine.
Generated test cases are further evaluated by simulating the RTL design to get
accurate coverage. We have evaluated the approach on a floating point unit
(FPU) design. The preliminary results show that our approach can deliver
high-quality tests to achieve high coverage
Modeling and Analysis of Bifurcation in a Delayed Worm Propagation Model
A delayed worm propagation model with birth and death rates is formulated. The stability of the positive equilibrium is studied. Through theoretical analysis, a critical value τ0 of Hopf bifurcation is derived. The worm propagation system is locally asymptotically stable when time delay is less than τ0. However, Hopf bifurcation appears when time delay τ passes the threshold τ0, which means that the worm propagation system is unstable and out of control. Consequently, time delay should be adjusted to be less than τ0 to ensure the stability of the system stable and better prediction of the scale and speed of Internet worm spreading. Finally, numerical and simulation experiments are presented to simulate the system, which fully support our analysis
Giant supercurrent states in a superconductor-InAs/GaSb-superconductor junction
Superconductivity in topological materials has attracted a great deal of
interest in both electron physics and material sciences since the theoretical
predictions that Majorana fermions can be realized in topological
superconductors [1-4]. Topological superconductivity could be realized in a
type II, band-inverted, InAs/GaSb quantum well if it is in proximity to a
conventional superconductor. Here we report observations of the proximity
effect induced giant supercurrent states in an InAs/GaSb bilayer system that is
sandwiched between two superconducting tantalum electrodes to form a
superconductor-InAs/GaSb-superconductor junction. Electron transport results
show that the supercurrent states can be preserved in a surprisingly large
temperature-magnetic field (T-H) parameter space. In addition, the evolution of
differential resistance in T and H reveals an interesting superconducting gap
structure
Probing terahertz surface plasmon waves in graphene structures
Epitaxial graphene mesas and ribbons are investigated using terahertz (THz)
nearfield microscopy to probe surface plasmon excitation and THz transmission
properties on the sub-wavelength scale. The THz near-field images show
variation of graphene properties on a scale smaller than the wavelength, and
excitation of THz surface waves occurring at graphene edges, similar to that
observed at metallic edges. The Fresnel reflection at the substrate SiC/air
interface is also found to be altered by the presence of graphene ribbon
arrays, leading to either reduced or enhanced transmission of the THz wave
depending on the wave polarization and the ribbon width.Comment: accepted for publication in Applied Physics Lette
- …