pattern matching compilation of functions defined in context-free languages

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.

Research and compilation of the Geomorphologic Atlas of the People's Republic of China (1:1,000,000)

National Natural Science Foundation of China [40871177, 40830529]

Phylogeny and speciation of the eastern Asian cyprinid genus Sarcocheilichthys

The genus Sarcocheilichthys is a group of small cyprinid fishes comprising 10 species/sub-species widely distributed in East Asia, which represents a valuable model for understanding the speciation of freshwater fishes in East Asia. In the present study, the molecular phylogenetic relationship of the genus Sarcocheilichthys was investigated using a 1140 bp section of the mitochondrial cytochrome b gene. Two different tree-building methods, maximum parsimony (MP) and Bayesian methods, yielded trees with almost the same topology, yielding high bootstrap values or posterior probabilities. The results showed that the genus Sarcocheilichthys consists of two large clades, clades I and II. Clade I contains Sarcocheilichthys lacustris, Sarcocheilichthys sinensis and Sarcocheilichthys parvus, with S. parvus at a basal position. In clade II, Sarcocheilichthys variegatus microoculus is at a basal position; samples of the widespread species, Sarcocheilichthys nigripinnis, form a large subclade containing another valid species Sarcocheilichthys czerskii. Sarcocheilichthys kiangsiensis is retained at an intermediate position. Since S. czerskii is a valid species in the S. nigripinnis clade, remaining samples of S. nigripinnis form a paraphyly. This speciation process is attributed to geographical isolation and special environmental conditions experienced by S. czerskii and stable environments experienced by the other S. nigripinnis populations. This type of speciation process was suggested to be very common. Samples of Sarcocheilichthys sinensis sinensis and Sarcocheilichthys sinensis fukiensis that did not form their own monophyletic groups suggest an early stage of speciation and support their sub-species status. Molecular clock analysis indicates that the two major lineages of the genus Sarcocheilichthys, clades I and II diverged c. 8.89 million years ago (mya). Sarcocheilichthys v. microoculus from Japan probably diverged 4.78 mya from the Chinese group. The northern-southern clades of S. nigripinnis began to diverge c. 2.12 mya, while one lineage of S. nigripinnis evolved into a new species, S. czerski, c. 0.34 mya. (C) 2008 The Authors Journal compilation (C) 2008 The Fisheries Society of the British Isles.

Fast-growing transgenic common carp mounfing compensatory growth

Compensatory growth is a phase of accelerated growth apparent when favourable conditions are restored after a period of growth depression. To investigate if F-2 common 'all-fish' growth hormone gene transgenic common carp (Cyprinus carpio) could mount compensatory growth, a 9 week study at 29 degrees C was performed. The control group was fed to satiation twice a day throughout the experiment. The other two groups were deprived of feed for 1 or 2 weeks, respectively, and then fed to satiation during the re-feeding period. At the end of the experiment, the live masses of fish in the deprived groups were still significantly lower than those of the controls. During the re-feeding period, size-adjusted mean specific growth rates and mean feed intakes were significantly higher in the deprived fish than in the controls, indicating a partial compensatory growth response in these fish. No significant differences were found in food conversion efficiency between the deprived and control fish during re-feeding, suggesting that hyperphagia was the mechanism responsible for increased growth rates. The proximate composition of the deprived fish at the end of the experiment was similar to that of the control fish. This study is, to our knowledge, the first to report that fast-growing transgenic fish can achieve partial compensation of growth following starvation. (c) 2007 The Authors Journal compilation (c) 2007 The Fisheries Society of the British Isles.

A possible evolutionary lag in the relationship between freshwater mussels and European bitterling

The coevolutionary dynamics between European bitterling Rhodeus amarus and freshwater unionid mussels, which the former parasitize by laying eggs on their gills, were tested. In a series of experiments fish preferences and mussel responses were compared in parasites and hosts of recent (Europe) and ancient (Asia) sympatry. Rhodeus amarus readily oviposited on the gills of all mussel species tested. Fish that laid their eggs on the gills of Asian Anodonta woodiana, however, suffered a dramatic reduction in reproductive success compared to fish that oviposited on the gills of European mussels: Unio pictorum, Unio tumidus, Anodonta anatina and Anodonta cygnea. This difference was the result of egg ejection behaviour by mussels rather than the unsuitability of the internal gill environment for European bitterling embryo development. The ejection response of mussels with a long sympatry with European bitterling was considerably more pronounced than that of mussels with a substantially shorter sympatry. The data support a coevolutionary arms race between bitterling and mussels and point to an evolutionary lag in the relationship between R. amarus and its European mussel hosts. (c) 2007 The Authors. Journal compilation (c) 2007 The Fisheries Society of the British Isles.

Changes in the life history of Abbottina fivularis in Lake Fuxian

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.

Acrossocheilus spinifer, a new species of barred cyprinid fish from south China (Pisces : Teleostei)

Acrossocheilus spinifer sp. nov. is described from the river basins in Fujian Province and the Han Jiang basin in Guangdong Province, south China. It is one of the barred Acrossocheihis species sharing five or six vertical bars on the flanks, with each bar being two scales in width. Acrossocheilus spinifer sp. nov. is morphologically most similar to Acrossocheilus wenchowensis. but distinguished from it by: a colour pattern of all vertical bars extending ventrally to the second scale row below the lateral line, and having the second bar placed posterior to the base of the last simple dorsal-fin ray, a blunt snout; and a stout, last simple dorsal-fin ray. Acrossocheilus spinifer sp. nov. resembles Acrossocheilus kreyenbergii and Acrossocheilus stenotaeniatus with which it shares a stout, last simple dorsal-fin ray with a serrated posterior edge, but is separated from both species by having a narrow median interruption in the lower lip, a lower jaw fully covered by the lower lip when viewed ventrally and the second vertical bar placed posterior to the base of the last simple dorsal-fin ray. The absence of a longitudinal stripe extending along the lateral line on the flanks in males readily distinguishes A. spinifer sp. nov. from Four other species, namely Acrossocheilus fasciatus, Acrossocheilus paradoxus, Acrossocheilus parallens, and Acrossocheilus jishouensis. (c) 2006 The Authors Journal compilation (c) 2006 The Fisheries Society of the British Isles.

基于时序逻辑证明编译优化程序变换的保义性

基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明.

薯蓣属植物甾体甙元和甾体皂甙对研究

本文介绍了薯蓣植物中所含甾体皂甙和甾体皂甙元的化学研究概括。阐述了该属植物皂甙和甙元的结构特点，简要介绍了提取分离及结构鉴定的新方法，并把从此属植物中分离得到的甾体皂甙和甾体皂甙元的来源，理化常数及13C-NMR的化学位移值以表格形式列出。本文的实验部分是从四川产黄山药根茎的乙醇提取物中分离得到六种甾体皂甙，其中三个为E—试剂正反应成分，用化学方法及IR、FDMS、13CNMR、1HNMR、DEPT等技术鉴定了他们的结构，都是薯蓣皂甙元的皂甙。The chemical study in steroid saponins and sapogenins from Dioscorea family is reviewed. Their stuctures are discussed, and the newer techniques used in their isolation and structural elucidation are briefly introduced. A compilation of the saponins and sapogenins from dioscorea family along with their available physical data, source and 13CNMR chemical shifts is included. The experimental paper is that six steroidal saponins were isolated from rhizomes of Dioscorea panthaica Prain et burkill from Sichuan province. Of these saponins the three are positive to Ehrlich reagent. With the aid of IR, FDMS, and NMR spectrometric analyses, their chemical structures have been elucidated as: 3-O-[α-L-rhamnopyranosyl(1→4)]-[β-D-glucopyranosyl]-diosgenin,3-O-[α-L-rhamnopyranosyl(1→2)]-[β-D-glucopyranosyl]-diosgenin; 3-O-[α-L-rhamnopyranosyl(1→2)]-[β-D-glucopyranosyl]-26-O-[β-D-glucopyranosyl]-diosgenin,3-O-[α-L-rhamnopy-ranosyl(1→2)]-[α-L-rhamnopyranosyl(1→4)]-β-D-glucopyranosyl-26-O-[β-D-glucopyranosyl]-diosgenin,3-O-[α-L-rhamnopyranosyl(1→2)]-[β-D-glucopyranosyl(1→3)]-β-D-glucopyranosyl-26-O-[β-D-glucopyranosyl]-diosgenin

VarBIFT:指令级的变量冗余容错检测技术

为了解决空间辐射对嵌入式计算机系统正确性的影响越来越明显的问题,基于典型的编译级容错技术,在编译器LCC上实现了基于有向无环图的编译级容错检测方法VarBIFT。该方法可以有效的保护由于粒子效应所引起的瞬时硬件故障,并可针对不同的目标机自动生成容错代码。实验结果表明,VarBIFT使源程序的平均段错误率从32.3%降到了13.9%,平均错误输出率从28.6%降到了9.2%;而其时间开销和空间开销仅为0.7%和36%。

Mitochondrial DNA phylogeny of two morphologically enigmatic fishes in the subfamily Schizothoracinae (Teleostei : Cyprinidae) in the Qinghai-Tibetan Plateau

The complete mitochondrial DNA (mtDNA) cytochrome b gene (1140 bp) was sequenced in Herzenstein macrocephalus and Gymnocypris namensis and in 13 other species and sub-species (n = 22), representing four closely related genera in the subfamily Schizothoracinae. Conflicting taxonomies of H. macrocephalus and G. namensis have been proposed because of the character instability among individuals. Parsimony, maximum likelihood and Bayesian methods produced phylogenetic trees with the same topology and resolved several distinctive clades. Previous taxonomic treatments, which variously placed these two species of separate genera or as sub-species, are inconsistent with the mtDNA phylogeny. Both H. macrocephalus and G. namensis appear in a well-supported clade, which also includes nine species of Schizopygopsis, and hence should be transferred to the genus Schizopygopsis. Morphological changes are further illustrated, and their adaptive evolution in response to the local habitat shifts during the speciation process appears to be responsible for conflicting views on the systematics of these two species and hence the contrasting taxonomic treatments. These species are endemic to the Qinghai-Tibetan Plateau, a region with a history of geological activity and a rich diversity of habitats that may have result in the parallel and reversal evolution of some morphological characters used in their taxonomies. Our results further suggest that speciation and morphological evolution of fishes in this region may be more complex than those previously expected. (c) 2007 The Authors Journal compilation (c) 2007 The Fisheries Society of the British Isles.

青藏高原东缘新生代富钾碱性岩的年龄与岩石地球化学特征

The Cenozoic high-Potassium alkaline magma rocks are widely distributed in the eastern margin of Qinghai-Xizang (Tibet) plateau, such as Mangkang, Deqin, Jianchuan, Haidong in the western Yunnan Province, Yanyuan, Muli in the western Sichuan province, including syenite, minette and trachyte and lamprophyres, which formaed a large alkaline-rich magmatic rock zone along the Jinshajiang-Ailaoshan fault. Here we present detailed Geochemical and Geochronology study for the Cenozoic high-K alkline magma rocks from Mangkang, Deqin, Jianchuan, Haidong and Muli, Yanyuan, Yanbian, Yaoan (western Yangtze craton). Rocks of our target area include syenite, minette and trachyte. Geochronologic dating and compilation of existing age data suggest magmatism occurred at 32-38Ma and distribute along the Jinsha suture, from Jinping, Daping, Zhenyuan to Haidong, Jianchuan, Deqin, Mangkang, Zaduo to Qiangtang Bandaohu, Zhentouya. They all share same geochemical features such as rich in potassium and alkaline, rich in LREE, slightly negative Eu anomalies, negative anomalies in Nb, Ta, Ti,. These indicate they come from EMU mantle. Geochronologic dating on western Yangtze craton minette surgest minette in Haidong, Yanyuan, Yanbian, Yaoan, Deqin ocurred at 30-37Ma, well minette in Muli ocurred at IMa. Need more detailed geology study to find differece of these two episode magmatism.