Acoustic sensing of gas seeps in the deep ocean with split-beam echosounders

When in the form of free gas in the water column, methane seeps emanating from the seabed are strong acoustic targets that are often detectable from surface vessels using echo sounders.In addition to detecting that a seep is present at some location, it is also desirable to characterize the nature of the seep in terms of its morphology and flux rates. Here, we examine how much we can learn about seeps in the deep (\u3e 1000 m) northern Gulf of Mexico using narrow-band split-beam echo sounders operating at fixed frequencies (18 kHz and 38 kHz).Methane seeps in this region are deeper than the methane hydrate stability zone, implying that bubbles of free gas form hydrate rinds that allow them to rise further in the water column than they otherwise would. While this behavior may aid in the classification of gas types in the seep, it is possible that the presence of hydrate rinds may also change the acoustic response of the bubbles and thereby make flux rate estimates more challenging. These and other aspects of seep characterization will be discussed

Discovery and mapping of the Triton seep site, Redondo Knoll: fluid flow and microbial colonization within an oxygen minimum zone

© The Author(s), 2020. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Wagner, J. K. S., Smart, C., & German, C. R. Discovery and mapping of the Triton seep site, Redondo Knoll: fluid flow and microbial colonization within an oxygen minimum zone. Frontiers in Marine Science, 7, (2020): 108, doi:10.3389/fmars.2020.00108.This paper examines a deep-water (∼900 m) cold-seep discovered in a low oxygen environment ∼30 km off the California coast in 2015 during an E/V Nautilus telepresence-enabled cruise. This Triton site was initially detected from bubble flares identified via shipboard multibeam sonar and was then confirmed visually using the remotely operated vehicle (ROV) Hercules. High resolution mapping (to 1 cm resolution) and co-registered imaging has provided us with a comprehensive site overview – both of the geologic setting and the extent of the associated microbial colonization. The Triton site represents an active cold-seep where microorganisms can act as primary producers at the base of a chemosynthesis-driven food chain. But it is also located near the core of a local oxygen minimum zone (OMZ), averaging 100 m across the seafloor, dominate the site, while typical seep-endemic macro-fauna were noticeably absent from our co-registered photographic and high-resolution mapping surveys – especially when compared to all adjacent seep sites within the same California Borderlands region. While such absences of abundant macro-fauna could be attributable to variations in the availability of dissolved oxygen in the overlying water column this need not necessarily be the case. An alternate possibility is that the zonation in microbial activity that is readily observable at the seafloor at Triton reflects, instead, a concentric pattern of radially diminishing fluxes of reductants from the underlying seafloor. This unusual but readily accessible discovery, in close proximity to Los Angeles harbor, provides an intriguing new natural laboratory at which to examine biogeochemical and microbiological interactions associated with the functioning of cold seep ecosystems within an OMZ.Ship time was funded by NOAA – Office of Exploration and Research and the Ocean Exploration Trust. This material is based upon work supported by a National Science Foundation Graduate Research Fellowship (to JW), the Office of Naval Research (to CS), and NASA’s Astrobiology program (to CG)

A teaching and support tool for building formal models of graphical user-interfaces

In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component. An important aspect of this design is that it can be used for two purposes-the teaching of first-order logic and the formal specification of graphical user-interfaces. The design has been suggested by considering a system that has already been very successful for teaching first-order logic, namely Tarski's World

Tubular carbonate concretions as hydrocarbon migration pathways? Examples from North Island, New Zealand

Cold seep carbonate deposits are associated with the development on the sea floor of distinctive chemosyn¬thetic animal communities and carbonate minerali¬sation as a consequence of microbially mediated anaerobic oxidation of methane. Several possible sources of the methane exist, identifiable from the carbon isotope values of the carbonate precipitates. In the modern, seep carbonates can occur on the sea floor above petroleum reservoirs where an important origin can be from ascending thermogenic hydrocar¬bons. The character of geological structures marking the ascent pathways from deep in the subsurface to shallow subsurface levels are poorly understood, but one such structure resulting from focused fluid flow may be tubular carbonate concretions. Several mudrock-dominated Cenozoic (especially Miocene) sedimentary formations in the North Island of New Zealand include carbonate concretions having a wide range of tubular morphologies. The concretions are typically oriented at high angles to bedding, and often have a central conduit that is either empty or filled with late stage cements. Stable isotope analyses (δ13C, δ18O) suggest that the carbonate cements in the concretions precipitated mainly from ascending methane, likely sourced from a mixture of deep thermogenic and shallow biogenic sources. A clear link between the tubular concretions and overlying paleo-sea floor seep-carbonate deposits exists at some sites. We suggest that the tubular carbonate concretions mark the subsurface plumbing network of cold seep systems. When exposed and accessible in outcrop, they afford an opportunity to investigate the geochemical evolution of cold seeps, and possibly also the nature of linkages between subsurface and surface portions of such a system. Seep field development has implications for the characterisation of fluid flow in sedimentary basins, for the global carbon cycle, for exerting a biogeochemical influence on the development of marine communities, and for the evaluation of future hydrocarbon resources, recovery, and drilling and production hazards. These matters remain to be fully assessed within a petroleum systems framework for New Zealand’s Cenozoic sedimentary basins

Specifying collaborative software: a proposal

The aim of this paper is to illustrate how formal specifications for collaborative interactive systems might be written. It presents a new modelling paradigm for certain systems. It also shows how formal software engineering approaches can be useful. Specifically we choose to specify a simple collaborative editor. This example serves two purposes: it shows how clear and simple a formal specification can be and it provides a basis for making observations about the requirements for a specification language where the target is CSCW systems. The specification of the system has three parts: the semantics of the system; the syntax of the system; the semantics of the collaborative aspects of the system

Let's Make a Tubeworm!

In this activity, centered on the ecology of a cold-seep community, students will investigate how deep-sea tube worms are adapted for a symbiotic relationship that allows them to survive. As they proceed, they should be able to describe chemosynthesis and contrast it with photosynthesis; describe features and list organisms of cold-seep communities; define symbiosis and provide examples; and describe the anatomy of tube worms and how they obtain their food. Educational levels: Intermediate elementary, Middle school