Incremental verification and synthesis of discrete-event systems guided by counter-examples

This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally. The scope of safety properties considered is limited to behavioral inclusion and controllability. The verification examples considered provide a comparison of the approaches presented with straightforward state exploration and an understanding of their applicability in an industrial context

Assessing Bottom Gear Impact in the WGOM Closure Area: A Multifaceted Approach

Mashkoor Malik presented the results of a UNH Center for Coastal and Ocean Mapping (CCOM) study of the seafloor of the WGOMCA. Objectives The objectives for the CCOM study were to: • Construct a bathymetric map of Jeffrey’s Ledge to serve as a framework for subsequent studies. • Test the potential use of multibeam sonar to monitor fishing gear impacts. • Determine if it is possible to observe closure impacts with multibeam sonar

Investigation of bottom fishing impacts on benthic structure using multibeam sonar, sidescan and video

Bottom fishing gear is known to alter benthic structure, however changes in the shape of the sea floor are often too subtle to be detected by acoustic remote sensing. Nonetheless, long linear features were observed during a recent high-resolution multibeam sonar survey of Jeffreys Ledge, a prominent fishing ground in Gulf of Maine, located about 50 km from Portsmouth, NH. These marks, which have a relief of only few centimeters, are presumed to be caused by bottom dredging gear used in the area for scallop and clam fisheries. The extraction of these small features from a noisy data set (including several instrumental artifacts) presented a number of challenges. To enhance the detection and identification of these features, data artifacts were identified and removed selectively using frequency filtering. Verification was attempted with sidescan sonar and video surveys. While clearly visible on the sidescan sonar records, the bottom marks were not discernable in the video survey. The inability to see the bottom marks with video may be related to the age of the marks, and has important ramifications about appropriate methodologies for quantifying gear impact. Results from multibeam sonar, sidescan sonar and video surveys suggest that the best methodology to deal with inspection of bottom fishing marks is to integrate data in a 3D GIS-like environment

Production of (τ+τ−)b(\tau^+\tau^-)_b in electron positron collisions

$(\tau^+\tau^-)_b$ is an atom of simple hydrogenlike structure similar to positronium $(e^+e^-)_b$ and $(\mu^+\mu^-)_b$. In this paper energy levels and decay widths of different decay channels of $(\tau^+\tau^-)_b$ are given. Cross section of production of this atomic system in $e^+e^-$ annihilation taking into account radiative corrections is calculated. According to our estimates 886 $(\tau^+\tau^-)_b$ atoms may be produced at BEPCII and 29 $(\tau^+\tau^-)_b$ atoms are produced at VEPP-4M under the present experimental conditions.Comment: 5 pages, submitted to Int. Jour. Mod. Phys.