Extraordinarily thick-boned fish linked to the aridification of the Qaidam Basin (northern Tibetan Plateau)

Scattered with numerous salt lakes and approximate to 2,700-3,200 m above sea level, the giant Qaidam inland basin on the northern Tibetan Plateau has experienced continuing aridification since the beginning of the Late Cenozoic as a result of the India-Asia plate collision and associated uplift of the Tibetan Plateau. Previous evidence of aridification comes mainly from evaporite deposits and salinity-tolerant invertebrate fossils. Vertebrate fossils were rare until recent discoveries of abundant fish. Here, we report an unusual cyprinid fish, Hsianwenia wui, gen. et sp. nov., from Pliocene lake deposits of the Qaidam Basin, characterized by an extraordinarily thick skeleton that occupied almost the entire body. Such enormous skeletal thickening, apparently leaving little room for muscles, is unknown among extant fish. However, an almost identical condition occurs in the much smaller cyprinodontid Aphanius crassicaudus (Cyprinodonyiformes), collected from evaporites exposed along the northern margins of the Mediterranean Sea during the Messinian desiccation period. H. wui and A. crassicaudus both occur in similar deposits rich in carbonates (CaCO3) and sulfates (CaSO4), indicating that both were adapted to the extreme conditions resulting from the ariclification in the two areas. The overall skeletal thickening was most likely formed through deposition of the oversaturated calcium and was apparently a normal feature of the biology and growth of these fish.

function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

combining cfg and recursive functions to get a new language

We propose a new functional programming language(FPL) which differs in some aspects from most well known FPLs[l].We descrihc the prohlmm domain,the language,explain why we need it.

Gas-bearing fluid influx sub-system for gas hydrate geological system in Shenhu Area, Northern South China Sea

Based on the comprehensive interpretation and study of the Neogene fracture system and diapiric structure, it can be concluded that the diapiric structures, high-angle fractures and vertical fissure system are the main gas-bearing fluid influx sub-system for gas hydrate geological system in Shenhu Area, northern South China Sea. The Neogene fractures widely developed in the study area may be classed into two groups: NW (NNW)-trending and NE (NNE)-trending. The first group was active in the Late Miocene, while the second one was active since the Pliocene. The NE (NNE)-trending fractures were characterized by lower activity strength and larger scale, and cut through the sediment layers deposited since the Pliocene. Within the top sediment layers, the high-angle fracture and vertical fissure system was developed. The diapiric structures display various types such as a turtle-back-like arch, weak piercing, gas chimney, and fracture (or crack, fissure). On the seismic profile, some diapiric structures show the vertical chimney pathway whose top is narrow and the bottom is wide, where some ones extend horizontally into pocket or flower-shaped structures and formed the seismic reflection chaotic zones. Within the overlying sediment layers of the diapiric structure, the tree branch, flower-shaped high-angle fractures and vertical fissures were developed and became the pathway and migration system of the gas-bearing fluid influx. In the study area, the diapiric structures indicate a high temperature/over pressure system ever developed. Closely associated and abundant bright-spots show the methane-bearing fluid influx migrated vertically or horizontally through the diapiric structures, high-angle fractures and vertical fissures. In the place where the temperature and pressure conditions were favor for the formation of gas hydrate, the hydrate reservoir deposition sub-system was developed.