995 resultados para Languages, history
Resumo:
Fish introduction, eutrophication and disappearance of aquatic vegetation are important disturbances of aquatic ecosystems, especially in plateau lakes, which are generally considered to be very vulnerable. Fish were introduced to Lake Dianchi, a eutrophic plateau lake in southwest China, in the late 1950s and 1970s. After the introduction, invasive fish became the dominant species, and the total fish yield increased. Meanwhile, the trophic level of Lake Dianchi had a tendency to increase in the past decades because of the increases in human activities in the watershed area. In addition, the area of aquatic vegetation decreased from more than 90 to 1.8% of the lake area from the 1950s to 2000. This study investigated the effects of fish introduction, eutrophication and aquatic vegetation on the diatom community of Lake Dianchi by examining the changes of microfossil diatom assemblage and abundance. Results showed that the absolute abundance and diatom assemblages changed after fish were introduced. The endemic species, Cyclotella rohomboideo-elliptica, disappeared with the introduction of fish and increasing trophic levels after 1958. Fragilaria crotonensis entered into the lake with the introduction of fish and gradually thrived in the lake after 1958. Diatom species numbers also decreased gradually from 21 to 9 from the past to present. Epiphytic diatoms disappeared with the decrease of aquatic vegetation after 1985. Our study indicated that eutrophication was the most important process determining diatom abundance, and fish introduction was a secondary process determining diatom abundance, while aquatic vegetation had a more important role in structuring the diatom community in this eutrophic plateau lake.
Resumo:
The origins and phylogenetic patterns were assessed for G. przewalskii and G. eckloni by analyzing the complete mtDNA cytochrome b gene sequence (1140bp). Phylogenetic analyses further supported that there were three mtDNA lineages (A-C) identified in G. przewalskii and G. eckloni, demonstrating that outer rakers of the first gill have little significance in the phylogeny of the Gymnocypris fishes. The network established showed that G. eckloni of the Yellow River specific haplotype A1 was a founder and it radiated all haplotypes of G. przewalskii which suggested G. przewalskii might only originate from one of two maternals of G. eckloni from the Yellow River. Fs test and mismatch analysis showed at least two expansion events in the population of G. przewalskii about 0.2734 Ma and 0.0658 Ma, while G. eckloni from Qaidam Basin could have experienced severe bottleneck effect about 0.0693 Ma. The population expansion was detected in subclades A1 and A21 with the most recent common ancestor (TMRCA) about 0.2308 +/- 0.01 Ma and 0.1319 +/- 0.015 Ma, respectively, which were within the geological age range of "Gonghe Movement" event that caused the separation of Lake Qinghai from the upper Yellow River. These results suggested the effect of the fish diversification by rapid uplift of the Qinghai-Tibetan Plateau in the Late Pleistocene.
Resumo:
After invading Lake Fuxian, China, Abbottina rivularis showed marked changes in its life history traits, including alterations in annuli formation, extension to the length of the breeding season, and an increase in fecundity and growth rate. The results are explained in the context of the enemy release hypothesis. (c) 2007 The Authors. Journal compilation (c) 2007 The Fisheries Society of the British Isles.
Resumo:
The early life-history of Chinese rock carp Procypris rabaudi was investigated during a 56-day rearing period: 318 artificially propagated P. rabaudi larvae were reared throughout metamorphosis in a small-scale recirculation system (345 L water volume, 10 x 18 L rearing tanks, 150 L storage and filter compartment with bioballs, 20-30 larvae L-1) at the Institute of Hydrobiology, Wuhan, Hubei Province, China. The newly hatched larvae had an initial total length of 8.93 +/- 0.35 mm SD (n = 10) at 3 days post-hatch and reached an average total length of 33.29 mm (+/- 1.88 mm SD, n = 10) 56 days after hatching. Length increment averaged 0.45 mm day(-1), resulting in a mean growth of 24.4 mm within the 56-day period. High mortality rates of up to 92% derived from an introduced fungus infection and subsequent treatment stress with malachite green. Our results indicate that Chinese rock carp can be raised successfully from artificially fertilized eggs. We therefore assume this species to be a candidate for commercial aquaculture.
Resumo:
A fingernail clam, Sphaerium lacustre, was studied in subtropical Lake Donghu from June 1999 to May 2000. The S. lacustre population was characterized by a single annual reproduction period starting in March and ending in October; the population comprised three size groups, of which the 1999 cohort was dominant. The annual average density and biomass were 100.2 ind./m(2) and 12.11 g/m(2), respectively The annual production was 43.02 wet weight g/m(2), and the corresponding annual production/biomass ratio was 3.55.
Resumo:
This study describes the life history characteristics of amictic, unfertilized mictic and fertilized mictic females of the rotifer Brachionus calyciflorus cultured individually on two different algae at 0.1 mg ml(-1) food concentration and 27 degreesC. The duration of the juvenile period of amictic females was significantly shorter on Chlorella pyrenoidosa Chick than on Scenedesmus obliquus Kutz or both algae together. The duration of the juvenile period of unfertilized mictic females was significantly longer, and the number of eggs produced by amictic females was significantly larger on Chlorella pyrenoidosa than on S. obliquus. When fed the same type of alga, the duration of the juvenile period of the fertilized mictic females was the longest among the three types of females, and the durations of the reproductive period of the amictic females and the post-reproductive period of the fertilized mictic females were longer than, or equal to those of the other two types of females, respectively. The number of eggs produced by an unfertilized mictic female was the largest among the three types of females, and that of amictic females was larger than or equal to that of fertilized mictic females, depending on the type of diet.
Resumo:
The effect of food concentration on the life history of three types of Brachionus calciflorus females (amictic, unfertilized mictic and fertilized mictic female) was studied with replicated individual cultures at 25 degrees and at four food concentrations (1.5, 3.0, 6.0 and 9.0 x 10(6) cells mL(-1)) of Scenedesmus obliquus. There were highly significant effects of both food concentration and female type, independently and in interaction on the duration of juvenile period of the rotifer, but neither a;ere the effects on the duration of post-reproductive period and mean life-span. The duration of juvenile period of unfertilized mictic female at the food concentration of 9.0 x 10(6) cells mL(-1) was the longest among all the food concentration-female type combinations. Both food concentration and female type influenced significantly the duration of reproductive period and the number of eggs produced by each type of female per life cycle, respectively. There was, however, no significant interaction between food level and female type. Among the three types of females, the number of eggs produced by an unfertilized mictic female was the largest. and that of a fertilized mictic female was the smallest.
Resumo:
We consider systems of equations of the form where A is the underlying alphabet, the Xi are variables, the Pi,a are boolean functions in the variables Xi, and each δi is either the empty word or the empty set. The symbols υ and denote concatenation and union of languages over A. We show that any such system has a unique solution which, moreover, is regular. These equations correspond to a type of automation, called boolean automation, which is a generalization of a nondeterministic automation. The equations are then used to determine the language accepted by a sequential network; they are obtainable directly from the network.
Resumo:
A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.
Resumo:
LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patterns it may become complicated and further studies are needed.
facilitating formal specification acquisition by using recursive functions on context-free languages
Resumo:
Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.
Resumo:
We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the set of spike trains of halting computations of a given system constitutes the language generated by that system. Although the "direct" generative capacity of spiking neural P systems is rather restricted (some very simple languages cannot be generated in this framework), regular languages are inverse-morphic images of languages of finite spiking neural P systems, and recursively enumerable languages are projections of inverse-morphic images of languages generated by spiking neural P systems.