The stripe-backed weasel Mustela strigidorsa: taxonomy, ecology, distribution and status

1. The stripe-backed weasel Mustela strigidorsa is one of the rarest and least-known mustelids in the world. Its phylogenetic relationships with other Mustela species remain controversial, though several unique morphological features distinguish it from congeners. 2. It probably lives mainly in evergreen forests in hills and mountains, but has also been recorded from plains forest, dense scrub, secondary forest, grassland and farmland. Known sites range in altitude from 90 m to 2500 m. Data are insufficient to distinguish between habitat and altitudes which support populations, and those where only dispersing animals may occur. 3. It has been confirmed from many localities in north-east India, north and central Myanmar, south China, north Thailand, north and central Laos, and north and central Vietnam. Given the limited survey effort, the number of recent records shows that the species is not as rare as hitherto believed. Neither specific nor urgent conservation needs are apparent.

A new species of genus Pseudogyrinocheilus (Teleostei: Cyprinidae) from Guangxi, China

A new species, Pseudogyrinocheilus longisulcus, was discovered from a tributary of Pearl River in Jingxi Co., Guangxi, China, The new species can be distinguished from other species of Pseudogyrinocheilus by the following combination of characteristics: prolonged post-labial grooves, and extended antero-medially close to anterior end of middle lower lip, but not meeting with its counterpart; posterior margin of lower lip free; scales of abdomen from thorax to pectoral-fin base embedded under skin; lateral-line scales 40-42; dark stripe longitudinal along lateral line on flank. The key to the species of Pseudogyrinocheilus is provided.

an intuitive formal proof for deadline driven scheduler

United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam

高阶时段演算及其完备性

研究如何用时段演算来刻画程序的实时行为 .在实时程序设计里 ,程序变量被解释成时间的函数 .为了定义局部变量声明的语义 ,必须引进关于程序变量的量词 .因此 ,建立高阶时段演算是必要的 .首先建立了高阶时段演算理论 ,然后 ,用高阶时段演算去验证了一些程序的实时性质 ;最后 ,在假设所有程序变量均有穷可变的条件下 ,证明了高阶时段演算在抽象时间域上是完备的 .

Spatial variation of suspended particulate matter in the Yellow Sea

A joint oceanographic cruise between the Institute of Oceanography, Chinese Academy of Science and the Department of Oceanography, Seoul National University was carried out in the Yellow Sea during the summer of 1996 to investigate the concentration and particle-size distribution of suspended particulate matter (SPM). The general trends in the surface and bottom waters show that SPM concentrations and particle sizes decreased seawards in both the western (Chinese) and eastern (Korean) coastal regions of the Yellow Sea. In the bottom waters, SPM concentrations were higher and particle sizes were larger along the eastern coast than along the western coast. We suggest this is due to the resuspension of bottom sediments by strong onshore summer typhoons in the southwestern coastal waters of Korea.