278 research outputs found
On the Verification of a WiMax Design Using Symbolic Simulation
In top-down multi-level design methodologies, design descriptions at higher
levels of abstraction are incrementally refined to the final realizations.
Simulation based techniques have traditionally been used to verify that such
model refinements do not change the design functionality. Unfortunately, with
computer simulations it is not possible to completely check that a design
transformation is correct in a reasonable amount of time, as the number of test
patterns required to do so increase exponentially with the number of system
state variables. In this paper, we propose a methodology for the verification
of conformance of models generated at higher levels of abstraction in the
design process to the design specifications. We model the system behavior using
sequence of recurrence equations. We then use symbolic simulation together with
equivalence checking and property checking techniques for design verification.
Using our proposed method, we have verified the equivalence of three WiMax
system models at different levels of design abstraction, and the correctness of
various system properties on those models. Our symbolic modeling and
verification experiments show that the proposed verification methodology
provides performance advantage over its numerical counterpart.Comment: In Proceedings SCSS 2012, arXiv:1307.802
Experimental Infection of North American Birds with the New York 1999 Strain of West Nile Virus
To evaluate transmission dynamics, we exposed 25 bird species to West Nile virus (WNV) by infectious mosquito bite. We monitored viremia titers, clinical outcome, WNV shedding (cloacal and oral), seroconversion, virus persistence in organs, and susceptibility to oral and contact transmission. Passeriform and charadriiform birds were more reservoir competent (a derivation of viremia data) than other species tested. The five most competent species were passerines: Blue Jay (Cyanocitta cristata), Common Grackle (Quiscalus quiscula), House Finch (Carpodacus mexicanus), American Crow (Corvus brachyrhynchos), and House Sparrow (Passer domesticus). Death occurred in eight species. Cloacal shedding of WNV was observed in 17 of 24 species, and oral shedding in 12 of 14 species. We observed contact transmission among four species and oral in five species. Persistent WNV infections were found in tissues of 16 surviving birds. Our observations shed light on transmission ecology of WNV and will benefit surveillance and control programs
Implementation of ultrasonic sensing for high resolution measurement of binary gas mixture fractions
We describe an ultrasonic instrument for continuous real-time analysis of the fractional mixture of a binary gas system. The instrument is particularly well suited to measurement of leaks of a high molecular weight gas into a system that is nominally composed of a single gas. Sensitivity < 5 × 10−5 is demonstrated to leaks of octaflouropropane (C3F8) coolant into nitrogen during a long duration (18 month) continuous study. The sensitivity of the described measurement system is shown to depend on the difference in molecular masses of the two gases in the mixture. The impact of temperature and pressure variances on the accuracy of the measurement is analysed. Practical considerations for the implementation and deployment of long term, in situ ultrasonic leak detection systems are also described. Although development of the described systems was motivated by the requirements of an evaporative fluorocarbon cooling system, the instrument is applicable to the detection of leaks of many other gases and to processes requiring continuous knowledge of particular binary gas mixture fractions
- …