Gonad development and reproduction in the monoecious species Chlorophthalmus agassizi (Actinopterygii: Aulopiformes: Chlorophthalmidae) from the Sardinian Waters (Central-Western Mediterranean)

Background. The shortnose greeneye, Chlorophthalmus agassizi Bonaparte, 1840, is a species with a circumglobal distribution and is among the most abundant commercial fishes in some Mediterranean areas. The knowledge of the biology and ecology of this species is poor and geographically limited, then the aim of this study is to provide a contribution to the knowledge on the reproductive biology of this monoecious deep-sea fish in Sardinian waters. Materials and Methods. In this paper the morphology and the development of the gonads, the mean size at maturity, the monthly evolution in the percent frequency of the maturity stages, and of the indices related to reproduction of the shortnose greeneye were examined. Individuals were caught by trawls, between 270 and 504 m of depth in the Sardinian seas. Results. The ovarian pattern is of an asynchronous type, characterized by releasing of eggs in successive batches. Seven stages of development for the ovary and four for the testis were identified on the basis of macroscopic and histological features. The female portion is the most evident component and shows a later maturation than the male portion. The spawning period is unique and takes place from May to September. Conclusion. The identification of spawning period and the adopted reproductive strategy is essential to obtain a better understanding of its biology and a good management of its fisheries

Compositional verification and specification of refinement for reactive systems in a dense time temporal logic

Dissertation zur Erlangung des Doktorgrades der Technischen Fakultat der Christian-Albrechts-Universitat zu Kiel. Originally available in German?This thesis introduces a compostitional dense time temporal logic for the compositions and refinement of reactive systems. A reactive system is specified by a pair consisting of a machine and a condition on the computations of this machine. In order to compose reactive systems, each step in a computation has additionally composition information such as “this is a system step”, or “this is an environment step” or “this is a communication step”. By defining a merge operator that merges two steps into one step compostionality is achieved. Because a dense time temporal logic is used refinement can be expressed easily in this logic. Existing proof rules for refinement are reformulated in our formalism. The notion of relative refinement is introduced to handle refinement of systems that only under certain conditions are considered to be correct refinements. The proof rules for “normal” refinement are extended to handle relative refinement of systems. Relative refinement is used to formalize Dijkstra’s development strategy for the solution of the readers/writers problem and to formalize a development strategy for certain fault tolerant systems. This development strategy is applied to the development of a fault tolerant storage system

Reproductive patterns in deep versus shallow populations of the precious Mediterranean gorgonian Corallium rubrum ( Linnaeus, 1758) ( Sardinia, Central-Western Mediterranean)

This study quanti es the main reproductive features of the long-lived red coral Corallium rubrum, an octocoral endemic to the Mediterranean Sea and neighbouring Atlantic areas and one of the most valuable of all marine species, at different depths (38-40 m versus 96-115 m) in the north-western Sardinian waters (Central-Western Mediterranean Sea). Different population structures were observed with shallow colonies smaller (in basal diameter and height) than deeper ones. Both populations were all gonochoric at polyp and colony level and fertile. The sex-ratio was balanced in the deep red corals while in the shallow ones it was signi cantly biased towards female. Deep and shallow colonies were found to have a synchronous female sexual products development in the two depth ranges investigated. C. rubrum produced large female sexual products in both depth intervals in relationship with its reproductive mode, con rming a long oogenic development. In contrast to reproductive timing, the volume occupied by female sexual products per polyp was different between the populations, being higher in the deep than in the shallow populations. C. rubrum exhibited a reproductive strategy characterized by a relative low number of female sexual products per polyp revealing signi cant differences among the two depth ranges analyzed with a lower mean value of sexual products in the shallow colonies (mean fecundity per polyp: 1.14) than in the deeper ones (mean fecundity per polyp: 2.09). These results indicate differences in reproductive parameters such as sexual products distribution and reproductive output (fecundity) which were observed between shallow and deep populations of C. rubrum, in particular within deep dwelling populations

Development of sexual organs and fecundity in Octopus vulgaris Cuvier, 1797 from the Sardinian waters (Mediterranean Sea)

In this paper we report information about the sexual maturity process of 245 Octopus vulgaris specimens (75 females and 170 males) from the Mediterranean Sea. For both sexes, six stages of sexual maturity (immature, developing, maturing, mature, spawning, and spent) are identified on the basis of macroscopic and microscopic observations of the reproductive system and linked with some reproductive indices. A good correspondence between gonad appearance and its histological structure is observed, highlighting, in females, how oviducal gland morphology plays a crucial role in the macroscopic evaluation of maturity. The Gonadosomatic and Hayashi indices, in the two genders, and the Oviducal Gland index in females alone do not allow distinguishing all the stages in an irrefutable way. Data on the potential fecundity, oocyte and spermatophore size are reported and compared with literature. In addition, spermatophore components are also computed. The results reported in this paper lead to easy identification of the different phases of sexual maturation of O. vulgaris and could constitute an important tool for defining assessment models in view of sound management of this species

The systematic construction of information systems

Process modelling is a vital issue for communicating with experts of the application domain. Depending on the roles and responsibilities of the application domain experts involved, process models are discussed on different levels of abstraction. These may range from detailed regulation for process execution to the interrelation of basic core processes on a strategic level. To ensure consistency and to allow for a flexible integration of process information on different levels of abstraction, we introduce a transformational calculus that allows the incremental addition to and refinement of the information in a process model, while maintaining the validity of more abstract high level processes. A complete formal treatment of model and the calculus is given and is illustrated on a small banking example.Funding received from the UK Engineering and Physical Sciences Research Council (EPSRC) through the Research Grant GR/M/0258

Development of sexual organs and fecundity in Octopus vulgaris Cuvier, 1797 from the Sardinian waters (Mediterranean Sea)

In this paper we report information about the sexual maturity process of 245 Octopus vulgaris specimens (75 females and 170 males) from the Mediterranean Sea. For both sexes, six stages of sexual maturity (immature, developing, maturing, mature, spawning, and spent) are identified on the basis of macroscopic and microscopic observations of the reproductive system and linked with some reproductive indices. A good correspondence between gonad appearance and its histological structure is observed, highlighting, in females, how oviducal gland morphology plays a crucial role in the macroscopic evaluation of maturity. The Gonadosomatic and Hayashi indices, in the two genders, and the Oviducal Gland index in females alone do not allow distinguishing all the stages in an irrefutable way. Data on the potential fecundity, oocyte and spermatophore size are reported and compared with literature. In addition, spermatophore components are also computed. The results reported in this paper lead to easy identification of the different phases of sexual maturation of O. vulgaris and could constitute an important tool for defining assessment models in view of sound management of this species

Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding

Interval temporal logic (ITL) is a logic that is used to specify and reason about systems. The logic has a powerful proof system but rather than doing proofs by hand, which is tedious and error prone, we want a tool that can check each proof step. Instead of developing a new tool we will use the existing prototype verification system (PVS) as a basic tool. The specification language of PVS is used to encode interval temporal logic semantically and syntactically. With this we can encode the ITL proof system within PVS. Several examples of proofs in ITL that are done per hand are checked with PVS.Funded by EPSRC Research Grant GR/K2592

Small-scale distribution of metazoan meiofauna and sedimentary organic matter in subtidal sandy sediments (Mediterranean Sea)

While variations in sedimentary organic matter (OM) quantity, biochemical composition and nutritional quality as well as in meiofaunal abundance and assemblage composition at the macro- and mesoscale are relatively well known, information about variations at the microscale is much scarcer. To shed some light on this issue, we tested the null hypothesis by which abundance and composition of the meiofaunal assemblages, and the quantity, biochemical composition and nutritional quality of sedimentary organic matter in coastal shallow environments do not vary within a frame of 1 m2. No significant variation within the frame emerged for OM quantity, nutritional quality, biochemical composition and the abundance of meiofaunal assemblages. On the other hand, the composition of meiofaunal assemblages varied significantly within the frame and exhibited a clear segregation of assemblages farther to the shore, as a likely result of local micro-hydrodynamic conditions. Spatial autocorrelation analysis revealed that lipid and protein sedimentary contents had a random distribution, whereas carbohydrate and biopolymeric C contents and meiofaunal total abundance were characterized by a patchy distribution, with discrete peaks within the sub-frame squares (ca. 0.1 m2). Phytopigments showed a spatial positive autocorrelation distribution, following the micro-hydrodynamic pattern, with patches larger than the sub-frame square, but smaller than the entire one (1 m2). Overall, our results suggest that, within 1 m2 of subtidal sandy sediments, three replicates could be sufficient to assess correctly OM attributes and the abundance of meiofauna, but could be possibly inadequate for assessing meiofaunal assemblages’ composition at a finer scale (<1 m2)