Completeness, robustness, and safety in real-time software requirements specification

This paper presents an approach to providing a rigorous basis for ascertaining whether or not a given set of software requirements is internally complete, i.e., closed with respect to questions and inferences that can be made on the basis of information included in the specification. Emphasis is placed on aspects of software requirements specifications that previously have not been adequately handled, including timing abstractions, safety, and robustness

A Dynamic Approach to Rhythm in Language: Toward a Temporal Phonology

It is proposed that the theory of dynamical systems offers appropriate tools to model many phonological aspects of both speech production and perception. A dynamic account of speech rhythm is shown to be useful for description of both Japanese mora timing and English timing in a phrase repetition task. This orientation contrasts fundamentally with the more familiar symbolic approach to phonology, in which time is modeled only with sequentially arrayed symbols. It is proposed that an adaptive oscillator offers a useful model for perceptual entrainment (or `locking in') to the temporal patterns of speech production. This helps to explain why speech is often perceived to be more regular than experimental measurements seem to justify. Because dynamic models deal with real time, they also help us understand how languages can differ in their temporal detail---contributing to foreign accents, for example. The fact that languages differ greatly in their temporal detail suggests that these effects are not mere motor universals, but that dynamical models are intrinsic components of the phonological characterization of language.Comment: 31 pages; compressed, uuencoded Postscrip

Moonlight drives ocean-scale mass vertical migration of zooplankton during the Arctic winter

The creation of the pan-Arctic archive of ADCP data was supported by the UK Natural Environment Research Council (NERC) (Panarchive: NE/H012524/1 and SOFI: NE/F012381/1) as was mooring work in Svalbard (Oceans 2025 and Northern Sea Program). Moorings were also supported by the Research Council of Norway (NFR) projects: Circa (214271), Cleopatra (178766), Cleopatra II (216537), and Marine Night (226471).In extreme high-latitude marine environments that are without solar illumination in winter, light-mediated patterns of biological migration have historically been considered non-existent [1]. However, diel vertical migration (DVM) of zooplankton has been shown to occur even during the darkest part of the polar night, when illumination levels are exceptionally low [2 and 3]. This paradox is, as yet, unexplained. Here, we present evidence of an unexpected uniform behavior across the entire Arctic, in fjord, shelf, slope and open sea, where vertical migrations of zooplankton are driven by lunar illumination. A shift from solar-day (24-hr period) to lunar-day (24.8-hr period) vertical migration takes place in winter when the moon rises above the horizon. Further, mass sinking of zooplankton from the surface waters and accumulation at a depth of ∼50 m occurs every 29.5 days in winter, coincident with the periods of full moon. Moonlight may enable predation of zooplankton by carnivorous zooplankters, fish, and birds now known to feed during the polar night [4]. Although primary production is almost nil at this time, lunar vertical migration (LVM) may facilitate monthly pulses of carbon remineralization, as they occur continuously in illuminated mesopelagic systems [5], due to community respiration of carnivorous and detritivorous zooplankton. The extent of LVM during the winter suggests that the behavior is highly conserved and adaptive and therefore needs to be considered as “baseline” zooplankton activity in a changing Arctic ocean [6, 7, 8 and 9].Publisher PDFPeer reviewe