Effects of human activities on migratory waterbirds at Lashihai Lake, China

Surveys on migratory waterbirds and their habitats at Lashihai Lake, China, were conducted from October 1999 to April 2000. Five fixed points, representing different degrees of habitat disturbance and quality, were selected around the lake. We used counts (n = 30) to compare diversity and abundance of waterbirds at each point and evaluate the effects of habitat disturbance. The distribution of waterbirds was affected by disturbance, with snore than one-third of the total species and nearly half of the total individuals occurring at the least disturbed point. Species richness was weakly and abundance was strongly correlated to habitat disturbance, but not to habitat quality. Habitat destruction and use of canoes were prominent at the lake. Naxi ethnic fishermen (n = 37) were interviewed. They caught 570 waterbirds between October 1999 and March 2000 in fishing nets. An estimation of the total number of waterbirds been trapped on the lake is 6164. Diving species were most susceptible. Conservation measures that should implement immediately include the cessation of habitat destruction, better plan for the development of tourism, a reduction in the number of canoes and zoning of the non-fishing area. (C) 2002 Elsevier Science Ltd. All rights reserved.

The Category-Theoretic Solution of Recursive Domain Equations

Recursive specifications of domains plays a crucial role in denotational semantics as developed by Scott and Strachey and their followers. The purpose of the present paper is to set up a categorical framework in which the known techniques for solving these equations find a natural place. The idea is to follow the well-known analogy between partial orders and categories, generalizing from least fixed-points of continuous functions over cpos to initial ones of continuous functors over $\omega $-categories. To apply these general ideas we introduce Wand's ${\bf O}$-categories where the morphism-sets have a partial order structure and which include almost all the categories occurring in semantics. The idea is to find solutions in a derived category of embeddings and we give order-theoretic conditions which are easy to verify and which imply the needed categorical ones. The main tool is a very general form of the limit-colimit coincidence remarked by Scott. In the concluding section we outline how compatibility considerations are to be included in the framework. A future paper will show how Scott's universal domain method can be included too.

基于最大不动点模型的描述逻辑系统FLε的有穷基

研究了描述逻辑的有穷基问题,分析了有穷基在描述逻辑中的重要意义及其研究现状,并研究了形式概念分析中的属性蕴含和Duguenne-Guigues基问题.利用形式概念分析中Duguenne-Guigues基存在的证明结果,在F.Baader工作基础上设置了描述逻辑的描述背景,重新定义了描述背景下的属性蕴含,证明了带循环术语的描述逻辑系统FLε存在最大不动点语义(greatest fixed-points,gfp)模型,给出了带循环术语的描述逻辑系统FLε在最大不动点模型下的有穷基的存在性定理,并证明有穷基的可靠性和完备性.描述逻辑有穷基可以帮助知识工程师构建一个更适用于推理的描述逻辑知识库.

Microsatellite-centromere distances and microsatellite diversity in different ploidy classes of Chinese shrimp (Fenneropenaeus Chinensis)

This is the first report of microsatellite-centromere mapping in this commercial species Fenneropenaeus Chinensis, and will be important for providing fixed points in the linkage groups of genetic maps. Triploid Chinese shrimp was induced by heat shock. The fertilized eggs were treated either by retention of the first polar body or the second polar body to produce Meiosis I (MI) or Meiosis II (MII) triploid. The triploidy status in each Chinese shrimp could be confirmed by nine polymorphic microsatellite loci, in which the parents with different alleles and the female parents were each heterozygous. The nine loci were mapped in relation to their centromeres in three MII triploid families, which were induced by retention of the second polar bodies after fertilization with sperm. Microsatellite-centromere (M-C) distances ranged from 9.6 cM to 37 cM under the assumption of complete interference. Information on the positions of centromeres in relation to the microsatellite loci will represent a contribution towards assembly of genetic maps in F. chinensis. Twelve polymorphic microsatellites were used to assess the heterozygosity and allelic diversity in different ploidy classes. As expected, triploids were significantly more polymorphic than diploids. The diploids had an average heterozygosity and allelic diversity value of 0.86, whereas the triploids heterozygosity averaged 0.93 and had allelic diversity value of 1.29. However, MI triploids were not significantly more polymorphic than MII in the microsatellite loci.

Stability and Bifurcation Bahaviour of Electrostatic Torsional NEMS Varactor Influenced by Dispersion Forces

The influences of Casimir and van der Waals forces on the nano-electromechanical systems (NEMS) electrostatic torsional varactor are studied. A one degree of freedom, the torsional angle, is adopted, and the bifurcation behaviour of the NEMS torsional varactor is investigated. There are two bifurcation points, one of which is a Hopf bifurcation point and the other is an unstable saddle point. The phase portraits are also drawn, in which periodic orbits are around the Hopf bifurcation point, but the periodic orbit will break into a homoclinic orbit when meeting the unstable saddle point.

Dynamic Stability of Electrostatic Torsional Actuators with van Der Waals Effect

electrostatic torsional nano-electro-mechanical systems (NEMS) actuators is analyzed in the paper. The dependence of the critical tilting angle and voltage is investigated on the sizes of structure with the consideration of vdW effects. The pull-in phenomenon without the electrostatic torque is studied, and a critical pull-in gap is derived. A dimensionless equation of motion is presented, and the qualitative analysis of it shows that the equilibrium points of the corresponding autonomous system include center points, stable focus points, and unstable saddle points. The Hopf bifurcation points and fork bifurcation points also exist in the system. The phase portraits connecting these equilibrium points exhibit periodic orbits, heteroclinic orbits, as well as homoclinic orbits.

Dynamic Behaviour of Nanoscale Electrostatic Actuators

The dynamic behaviour for nanoscale electrostatic actuators is studied. A two Parameter mass-spring model is shown to exhibit a bifurcation from the case excluding an equilibrium point to the case including two equilibrium points as the geometrical dimensions of the device are altered. Stability analysis shows that one is a stable Hopf bifurcation point and the other is an unstable saddle point. In addition, we plot the diagram phases, which have periodic orbits around the Hopf point and a homoclinic orbit passing though the unstable saddle point.

Stability and bifurcation behaviour of electrostatic torsional NEMS varactor influenced by dispersion forces

The influences of Casimir and van der Waals forces on the nano-electromechanical systems (NEMS) electrostatic torsional varactor are studied. A one degree of freedom, the torsional angle, is adopted, and the bifurcation behaviour of the NEMS torsional varactor is investigated. There are two bifurcation points, one of which is a Hopf bifurcation point and the other is an unstable saddle point. The phase portraits are also drawn, in which periodic orbits are around the Hopf bifurcation point, but the periodic orbit will break into a homoclinic orbit when meeting the unstable saddle point.

An improvement on the theoretical model for the large-scale coherent structures in the outer region of a turbulent boundary layer

According to the experimental results, there exist large-scale coherent structures in the outer region of a turbulent boundary layer, which have been studied by many authors.As experimental results, Antonia (1990) showed the phase- aver aged streamlines and isovorticity lines of the large-scale coherent structures in a turbulent boundary layer for different Reynolds numbers. Based on the hydrodynamic stability theory, the 2-D theoretical model for the large-scale structures was proposed by Luo and Zhou, in which the eddy viscosity was defined as a complex function of the position in the normal direction. The theoretical results showed in ref. were in agreement with those in ref. However, there were two problems in the results. One is that in the experimental results, there were divergent focuses between two saddle points in the streamlines, but in the theoretical results, there were centers. The other is that the stretched parts of the isovorticity lines appear at the location of centers in the theoretical results, while in the experimental results they located somewhere between the focuses and saddle points. The reason is that the computations were based on a 2-D model.

Quantum and variational monte-carlo interaction potentials for li2 (x1-sigma-g+)

Optimized trial functions are used in quantum Monte Carlo and variational Monte Carlo calculations of the Li₂(X ¹Σ⁺_g) potential curve. The trial functions used are a product of a Slater determinant of molecular orbitals multiplied by correlation functions of electron—nuclear and electron—electron separation. The parameters of the determinant and correlation functions are optimized simultaneously by reducing the deviations of the local energy E_L (E_L  Ψ⁻¹_THΨ_T, where Ψ_T denotes a trial function) over a fixed sample. At the equilibrium separation, the variational Monte Carlo and quantum Monte Carlo methods recover 68% and 98% of the correlation energy, respectively. At other points on the curves, these methods yield similar accuracies.

PRELIMINARY STUDY ON MITOCHONDRIAL CYTOCHROME b DNA SEQUENCES AND PHYLOGENY OF FORMALIN FIXED SISORID FISHES(Teleostei: Siluriformes)

从９种科鱼类的福尔马林标本中获得了３３３ｂｐ的细胞色素ｂ基因片段的序列。这９个种分别代表科鱼类的８个属。３３３ｂｐ的ＤＮＡ序列经ＭＵＳＴ软件排序后，有１０１个变异位点，其中有３９个信息位点。序列在成对物种间的距离为８～４８。平均遗传距离为２４％～１４４％。简约分析产生了最大简约系统树，其步长是１６２（ＣＩ＝０７３５，ＲＩ＝０４９４）。在该系统树上，Ｂａｇａｒｉｕｓ是最原始的属，并与所有其他的物种形成姊妹群。其余８个属形成一个单系类群并分为二个姊妹群。尽管在形态上具有１３个离征，但在分子系统树上