Reverse Engineering from Assembler to Formal Specifications via Program Transformations

The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an industrial-strength formal transformation engine with many applications in program comprehension and language migration. This paper is a case study which uses automated plus manually-directed transformations and abstractions to convert an IBM 370 Assembler code program into a very high-level abstract specification.Comment: 10 page

SCUBA polarisation observations of the magnetic fields in the prestellar cores L1498 and L1517B

We have mapped linearly polarized dust emission from the prestellar cores L1498 and L1517B with the James Clerk Maxwell Telescope (JCMT) using the Submillimetre Common User Bolometer Array (SCUBA) and its polarimeter SCUBAPOL at a wavelength of 850um. We use these measurements to determine the plane-of-sky magnetic field orientation in the cores. In L1498 we see a magnetic field across the peak of the core that lies at an offset of 19 degrees to the short axis of the core. This is similar to the offsets seen in previous observations of prestellar cores. To the southeast of the peak, in the filamentary tail of the core, we see that the magnetic field has rotated to lie almost parallel to the long axis of the filament. We hypothesise that the field in the core may have decoupled from the field in the filament that connects the core to the rest of the cloud. We use the Chandrasekhar-Fermi (CF) method to measure the plane-of-sky field strength in the core of L1498 to be 10 +/- 7 uG. In L1517B we see a more gradual turn in the field direction from the northern part of the core to the south. This appears to follow a twist in the filament in which the core is buried, with the field staying at a roughly constant 25 degree offset to the short axis of the filament, also consistent with previous observations of prestellar cores. We again use the CF method and calculate the magnetic field strength in L1517B also to be 30 +/- 10 uG. Both cores appear to be roughly virialised. Comparison with our previous work on somewhat denser cores shows that, for the denser cores, thermal and non-thermal (including magnetic) support are approximately equal, while for the lower density cores studied here, thermal support dominates.Comment: 6 pages, 2 figures; accepted for publication by MNRA

The Bioeconomic Implications of A Bycatch Reduction Device as a Stock Conservation Management Measure

The proposed regulation to reduce bycatch and discarding of finfish in the southeastern region is a gear modification that excludes finfish from shrimp trawls. This regulation is analyzed using a simple theoretical model of a multispecies fishery whose bycatch is harvested in a directed fishery consisting of commercial and recreational fishermen. The costless reduction in bycatch fishing mortality imposed on the multispecies fishery does not result in an increased stock size for the bycatch fish species or a substantial increase in its level of harvest. Instead, the fish stock is reallocated from the multispecies fishery to the fishery directed at the bycatch species causing fishing effort to expand in the bycatch species fishery that drives the stock size down to the previously existing equilibrium level. Recreational harvest and effort levels remain unchanged since the model is linear in effort and the commercial fishery is given access to the fishery first.Bycatch, policy analysis, bioeconomic model, Environmental Economics and Policy, Resource /Energy Economics and Policy,

Evaluation of wet tantalum capacitors after exposure to extended periods of ripple current, volume 2

The application of tantalum capacitors in the Viking Lander includes dc voltage and ripple current electrical stress, high temperature during nonoperating times (sterilization), and high vibration and shock loads. The capacitors must survive these severe environments without any degradation if reliable performance is to be achieved. A test program was established to evaluate both wet-slug tantalum and wet-foil capacitors under conditions accurately duplicating actual Viking applications. Test results of the electrical performance characteristics during extended periods of ripple current, the characteristics of the internal silver migration as a function of extended periods of ripple current, and the existence of any memory characteristics are presented

Stormwater Management Database for the City of Dover, New Hampshire

The overall goal of the project was to make a significant contribution to the Piscataqua Region Estuaries Partnership goal of increasing oyster (Crassostrea virginica) bottom in New Hampshire, and to do so using methods that positively affect multiple species. The focus was on those organisms (mainly macroalgae, invertebrates, and fish) that spend most of their time on oyster reefs—the resident species. A 0.5 hectare (1.25 acres) area was restored in August 2007 by constructing twelve mini-reefs (each ~6 m in diameter) in an area protected from harvest using spat-on-shell (“spat seeding”) from remotely set larvae. There was a consistent trend over time of higher oyster densities on the mini-reefs and on the natural reef within the protected area compared to the adjacent unprotected natural reef. At the end of the project period (1.8 years post-construction of the mini-reefs), total oyster densities in the overall restoration area were about 26% higher than the adjacent unprotected reef. The constructed mini-reefs also consistently had higher total densities and biomass of resident animals, which consisted mainly of invertebrates (only one fish was captured over the entire study), compared to the other reef areas. A total of 15 species of invertebrates were collected from the mini-reefs compared to 10 and 11 species, respectively, from the natural reef in the restored area and the natural reef in the harvested area. The resident (attached) macroalgae community patterns over time indicated higher biomass on the mini-reefs and the protected natural reefs compared to the unprotected reef area on most sampling dates, though there was typically wide variability among replicates. Macroalgal taxonomic richness was similar in all three areas, and there was a total of fourteen species collected from the three areas. Overall, the project resulted in enhancement of oyster reef habitat within the 0.5 hectare restoration area, and characterized the substantial value of oyster reefs in providing habitat for a variety of plant and animal species

Sexual networks and the transmission of HIV in London

Copyright @ 1998 Cambridge University Press.This paper discusses ways in which empirical research investigating sexual networks can further understanding of the transmission of HIV in London, using information from a 24-month period of participant observation and 53 open-ended, in-depth interviews with eighteen men and one woman who have direct and indirect sexual links with each other. These interviews enabled the identification of a wider sexual network between 154 participants and contacts during the year August 1994-July 1995. The linked network data help to identify pathways of transmission between individuals who are HIV + and those who are HIV -, as well as sexual links between 'older' and 'younger' men, and with male prostitutes. There appears to be considerable on-going transmission of HIV in London. The majority of participants reported having had unprotected anal and/or vaginal sex within a variety of relationships. The implications of these findings for policies designed to prevent the transmission of HIV are discussed.The Wellcome Trust and The Health Education Authority

Experimental Quantification of Nutrient Bioextracti on Potential of Oysters in Estuarine Waters of New Hampshire

This project was a short-term field experiment conducted in summer 2010 and designed to provide preliminary data on the bioextraction (removal) of carbon (C) and nitrogen (N) for two different size classes (both \u3c76mm shell height) of eastern oysters (Crassostrea virginica) at six sites in the Great Bay estuarine system in New Hampshire. Sites were chosen to represent a range of ambient nutrient concentrations, water flow conditions, and location within the estuary. Two of the sites were at oyster aquaculture farms: Granite State Shellfish at the mouth of the Oyster River, and Little Bay Oyster Company near Fox Point in Little Bay. At each site, oysters were deployed in 10mm mesh polyethylene bags typically used on oyster farms in New England. Approximately one thousand “seed” size (10?15 mm shell height), or two hundred (200) 1?year old (30?40 mm shell height) oysters were placed into each bag. Two bags (one for each size class) were suspended 10?20 cm off the bottom attached to plastic coated wire cages at each site from August 9 until November 4, 2010. The oysters were inspected and the bags were cleaned each month to reduce fouling. There were no significant differences in final size among the six sites, indicating similar growth rates. Soft tissue %C and %N values, however, varied substantially and significantly (ANOVA, P\u3c0.05) among the sites. Tukey tests indicated significantly higher %C and %N at the Squamscott River (SQ) site, and significantly lower at the Little Bay Oyster (LBO) farm site, compared to the other sites. The ranges of mean soft tissue %C and %N were, respectively, 26.9 to 47.2 and 4.7 to 10.6. Because shell material was not analyzed in the present study, literature values for shell were combined with soft tissue data from the present study to arrive at total whole animal C and N content. Oysters with mean shell height of 35.7 mm contained 0.6 g of C and 0.01 g of N; oysters with mean shell height of 55.6 mm contained 3.1 g of C and 0.07 g of N. Preliminary calculations indicated that if 20 0 acres of bottom area were in full farm production, the annual N removal from the estuary from oyster harvest alone would be 12.56 tons. It is emphasized that the present study represents only the first step in characterizing the nutrient (focusing on N) bioextraction potential for oyster farming in New Hampshire

Oyster Bed Mapping in the Great Bay Estuary, 2012-2013

Six major oyster beds (reefs) in New Hampshire are mapped periodically to assess wild oyster populations in the Great Bay Estuary. Data on the spatial extent of the beds are combined with density and other measures to estimate the abundances of live oysters. The first objective of the present project was to determine the spatial extent of these six oyster beds, and to compare the 2012/2013 data with previous mapping efforts. A second objective was twofold: to map the extent of live oyster bottom at selected recent oyster restoration sites, and to map areas where oyster beds have been known to occur historically but not recently. Towed underwater video methods, as used in previous oyster mapping efforts in New Hampshire, were used for this project. All recorded video was classified into three categories: ”reef” (\u3e20% shell cover and live oysters visible); ”sparse shell” ( Two of the natural beds (Nannie Island [2012: 32.4 ac] and Oyster River [2012: 1.6 ac]) had similar total bottom area coverage compared to most previous mapping efforts. Three beds (Adams Point [2012: 15.9 ac], Squamscott River [2012: 7.7 ac] and Woodman Point [2012: 15.4 ac]) had substantially greater area coverage compared to previous surveys. In all three cases, however, the increases were likely due to additional adjacent areas being surveyed. In contrast to the others, the Piscataqua River bed appears to have substantially decreased in bottom area coverage (2012: 7.0 ac) compared to previous surveys. Selected oyster restoration sites were also video surveyed in 2013 to determine bottom area coverage that could be considered “reef” and therefore considered as part of the overall oyster resource in New Hampshire. Restoration sites in the Lamprey River, Oyster River (3 sites), and at Fox Point in Little Bay were imaged. Due to poor image quality, full bottom area coverage could not be determined for any of the sites. Nonetheless, substantial areas of at least “sparse shell” bottom, and live oysters in some areas were recorded at all sites. These restoration sites as well as additional sites are scheduled for video surveying and quantitative sampling in 2013. The third focus of the project was to survey areas where oyster beds historically occurred. Of the four general areas surveyed, live oyster reefs were found in two areas: Lamprey River (0.9 ac) and mid-Great Bay (35.2 ac). In sum, these two areas represent a major addition to the known live oyster bottom in the state. Moreover, these findings strongly suggest that live oyster reefs may be in other areas where oysters have not been known to exist in recent years. Overall, this project has added substantially to our knowledge of where live oysters occur in New Hampshire as well as the total bottom area coverage. A total of 120 acres of bottom area classified as “reef” was mapped. Additionally, the extent (perhaps 100 ac or more) of bottom area that had sparse shell but apparently few or no live oysters in mid-Great Bay bed and in the Nannie Island/Woodman Point area is important because these areas represent excellent oyster restoration opportunities. However, they will need to be mapped in more detail to sufficiently design future projects