Assimilating bio-optical glider data during a phytoplankton bloom in the southern Ross Sea

The Ross Sea is a region characterized by high primary productivity in comparison to other Antarctic coastal regions, and its productivity is marked by considerable variability both spatially (1-50 km) and temporally (days to weeks). This variability presents a challenge for inferring phytoplankton dynamics from observations that are limited in time or space, which is often the case due to logistical limitations of sampling. To better understand the spatio-temporal variability in Ross Sea phytoplankton dynamics and to determine how restricted sampling may skew dynamical interpretations, high-resolution bio-optical glider measurements were assimilated into a one-dimensional biogeochemical model adapted for the Ross Sea. The assimilation of data from the entire glider track using the micro-genetic and local search algorithms in the Marine Model Optimization Testbed improves the model-data fit by similar to 50 %, generating rates of integrated primary production of 104 g C m(-2) yr(-1) and export at 200 m of 27 g C m(-2) yr(-1). Assimilating glider data from three different latitudinal bands and three different longitudinal bands results in minimal changes to the simulations, improves the model-data fit with respect to unassimilated data by similar to 35 %, and confirms that analyzing these glider observations as a time series via a one-dimensional model is reasonable on these scales. Whereas assimilating the full glider data set produces well-constrained simulations, assimilating subsampled glider data at a frequency consistent with cruise-based sampling results in a wide range of primary production and export estimates. These estimates depend strongly on the timing of the assimilated observations, due to the presence of high mesoscale variability in this region. Assimilating surface glider data subsampled at a frequency consistent with available satellite-derived data results in 40% lower carbon export, primarily resulting from optimized rates generating more slowly sinking diatoms. This analysis highlights the need for the strategic consideration of the impacts of data frequency, duration, and coverage when combining observations with biogeochemical modeling in regions with strong mesoscale variability

Relational Concurrent Refinement II: Internal Operations and Outputs

Two styles of description arise naturally in formal specification: state-based and behavioural. In state-based notations, a system is characterised by a collection of variables, and their values determine which actions may occur throughout a system history. Behavioural specifications describe the chronologies of actions -- interactions between a system and its environment. The exact nature of such interactions is captured in a variety of semantic models with corresponding notions of refinement; refinement in state based systems is based on the semantics of sequential programs and is modelled relationally. Acknowledging that these viewpoints are complementary, substantial research has gone into combining the paradigms. The purpose of this paper is to do three things. First, we survey recent results linking the relational model of refinement to the process algebraic models. Specifically, we detail how variations in the relational framework lead to relational data refinement being in correspondence with traces-divergences, singleton failures and failures-divergences refinement in a process semantics. Second, we generalise these results by providing a general flexible scheme for incorporating the two main ''erroneous'' concurrent behaviours: deadlock and divergence, into relational refinement. This is shown to subsume previous characterisations. In doing this we derive relational refinement rules for specifications containing both internal operations and outputs that corresponds to failures-divergences refinement. Third, the theory has been formally specified and verified using the interactive theorem prover KIV

Understanding, Explaining, and Deriving Refinement

Much of what drove us in over twenty years of research in refinement, starting with Z in particular, was the desire to understand where refinement rules came from. The relational model of refinement provided a solid starting point which allowed the derivation of Z refinement rules. Not only did this explain and verify the existing rules - more importantly, it also allowed alternative derivations for different and generalised notions of refinement. In this chapter, we briefly describe the context of our early efforts in this area and Susan Stepney's role in this, before moving on to the motivation and exploration of a recently developed primitive model of refinement: concrete state machines with anonymous transitions

Painted Goby Larvae under high-CO2 fail to recognize reef sounds

Atmospheric CO2 levels have been increasing at an unprecedented rate due to anthropogenic activity. Consequently, ocean pCO2 is increasing and pH decreasing, affecting marine life, including fish. For many coastal marine fishes, selection of the adult habitat occurs at the end of the pelagic larval phase. Fish larvae use a range of sensory cues, including sound, for locating settlement habitat. This study tested the effect of elevated CO2 on the ability of settlement-stage temperate fish to use auditory cues from adult coastal reef habitats. Wild late larval stages of painted goby (Pomatoschistus pictus) were exposed to control pCO2 (532 μatm, pH 8.06) and high pCO2 (1503 μatm, pH 7.66) conditions, likely to occur in nearshore regions subjected to upwelling events by the end of the century, and tested in an auditory choice chamber for their preference or avoidance to nighttime reef recordings. Fish reared in control pCO2 conditions discriminated reef soundscapes and were attracted by reef recordings. This behaviour changed in fish reared in the high CO2 conditions, with settlement-stage larvae strongly avoiding reef recordings. This study provides evidence that ocean acidification might affect the auditory responses of larval stages of temperate reef fish species, with potentially significant impacts on their survival.Fundação para a Ciência e a Tecnologia (FCT)info:eu-repo/semantics/publishedVersio