Formation Mechanism of Cracks in Saturated Sand

The formation mechanism of “water film” (or crack) in saturated sand is analyzed theoretically and numerically. The theoretical analysis shows that there will be no stable “water film” in the saturated sand if the strength of the skeleton is zero and no positions are choked. It is shown by numerical simulation that stable water films initiate and grow if the choking state keeps unchanged once the fluid velocities decrease to zero in the liquefied sand column. The developments of “water film” based on the model presented in this paper are compared with experimental results.

Cracks in saturated sand

The formation mechanism of water film (or crack) in saturated sand is analyzed numerically It is shown that there will be no stable "water film" in the saturated sand even if the strength of the skeleton is zero and no positions are choked. The stable water films initiate and grow if the choking state keeps unchangeable once the fluid velocities of one position decreases to zero in a liquefied sand column. A simplified method for evaluating the thickness of water film is presented according to a solidification wave theory. The theoretical results obtained by the simplified method are compared with the numerical results and the experimental results of Kokusho.

Study on the Mechanical Properties of the Tetrahydrofuran Hydrate Deposit

Pure tetrahydrofuran hydrate and tetrahydrofuran hydrate deposits with different materials as the skeleton are synthesized in our laboratory. A series of experiments are carried out to study the mechanical properties. The stress-strain curve, strength of pure tetrahydrofuran hydrate and hydrate deposit are obtained. Some phenomenon is explained.

Work and energy equations and the principle of generalized effective stress for unsaturated soils

The effective stress principle has been efficiently applied to saturated soils in the soil mechanics and geotechnical engineering practice; however, its applicability to unsaturated soils is still under debate. The appropriate selection of stress state variables is essential for the construction of constitutive models for unsaturated soils. Owing to the complexity of unsaturated soils, it is difficult to determine the deformation and strength behaviors of unsaturated soils uniquely with the previous single-effective-stress variable theory and two-effective-stress-variable theory in all the situations. In this paper, based on the porous media theory, the specific expression of work is proposed, and the effective stress of unsaturated soils conjugated with the displacement of the soil skeleton is further derived. In the derived work and energy balance equations, the energy dissipation in unsaturated soils is taken into account. According to the derived work and energy balance equations, all of the three generalized stresses and the conjugated strains have effects on the deformation of unsaturated soils. For considering these effects, a principle of generalized effective stress to describe the behaviors of unsaturated soils is proposed. The proposed principle of generalized effective stress may reduce to the previous effective stress theory of single-stress variable or the two-stress variables under certain conditions. This principle provides a helpful reference for the development of constitutive models for unsaturated soils.

Numerical Simulation of Liquefaction Deformation of Sand Layer around Bucket Foundations under Dynamic Loadings

Bucket Foundations under Dynamic Loadings The liquefaction deformation of sand layer around a bucket foundation is simulated under equivalent dynamic ice-induced loadings. A simplified numerical model is presented by taking the bucket-soil interaction into consideration. The development of vertical and horizontal liquefaction deformations are computed under equivalent dynamic ice-induced loadings. Firstly, the numerical model and results are proved to be reliable by comparing them with the centrifuge testing results. Secondly, the factors and the development characteristics of liquefaction deformation are analyzed. Finally, the following numerical simulation results are obtained: the liquefaction deformation of sand layer increases with the increase of loading amplitude and with the decrease of loading frequency and sand skeleton’s strength. The maximum vertical deformation is located on the sand layer surface and 1/4 times of the bucket’s height apart from the bucket’s side wall (loading boundary). The maximum horizontal deformation occurs at the loading boundary. When the dynamic loadings is applied for more than 5 hours, the vertical deformation on the sand layer surface reaches 3 times that at the bottom, and the horizontal deformation at 2.0 times of the bucket height apart from the loading boundary is 3.3% of which on the loading boundary.

Large three-photon absorption and intramolecular charge transfer of the bis-donor fluorene-based molecules

Three-photon absorption (3PA) of two fluorene-based molecules with D-pi-D structural motifs (abbreviated as BPAF and BCZF) has been determined by using a Q-switched Nd: YAG laser pumped with 38 ps pulses at 1064 nm in DMF. The measured 3PA cross-sections are 222 and 140 x 10(-78) cm(6) s(2) for BPAF and BCZF, respectively. AM1 calculations show that attaching different donors changes the charge density distribution of the fluorene skeleton, and it is observed that the 3PA cross-section can be enhanced with increasing intramolecular charge transfer character, measured by the parameter Delta p(1)/Delta p(2)/Delta p(1)'. (c) 2005 Elsevier B.V. All fights reserved.

Isolation and characterization of miscellaneous terpenoids of Schisandra chinensis

Two new bisnortriterpenoids with 18-norschiartane skeleton, wuweizidilactones G (1) and H (2), four new highly oxygenated nortriterpenoids based on a schisanartane skeleton, schindilactones D-G (3-6), a pre-schisanartane skeleton, pre-schisanartanin B (7)

THE PHYLOGENETIC-RELATIONSHIPS AND CLASSIFICATION OF THE DOUCS AND SNUB-NOSED LANGURS OF CHINA AND VIETNAM

The taxonomy of the douc and snub-nosed langurs has changed several times during the 20th century. The controversy over the systematic position of these animals has been due in part to difficulties in studying them: both the doucs and the snub-nosed langurs are rare in the wild and are generally poorly represented in institutional collections. This review is based on a detailed examination of relatively large numbers of specimens of most of the species of langurs concerned. An attempt was made to draw upon as many types of information as were available in order to make an assessment of the phyletic relationships between the langur species under discussion. Toward this end, quantitative and qualitative features of the skeleton, specific features of visceral anatomy and characteristics of the pelage were utilized. The final data matrix comprised 178 characters. The matrix was analyzed using the program Hennig86. The results of the analysis support the following conclusions: (1) that the douc and snub-nosed langurs are generically distinct and should be referred to as species of Pygathrix and Rhinopithecus, respectively; (2) that the Tonkin snub-nosed langur be placed in its own subgenus as Rhinopithecus (Presbytiscus) avunculus and that the Chinese snub-nosed langur thus be placed in the subgenus Rhinopithecus (Rhinopithecus); (3) that four extant species of Rhinopithecus be recognized: R. (Rhinopithecus) roxellana Milne Edwards, 1870; R. (Rhinopithecus) bieti Milne Edwards, 1897; R. (Rhinopithecus) brelichi Thomas, 1903, and R. (Presbytiscus) avunculus Dollman, 1912; (4) that the Chinese snub-nosed langurs fall into northern and southern subgroups divided by the Yangtze river; (5) that R. lantianensis Hu and Qi, 1978, is a valid fossil species, and (6) the precise affinities and taxonomic status of the fossil species R. tingianus Matthew and Granger, 1923, are unclear because the type specimen is a subadult.

SEXUAL DIMORPHISM IN THE SNUB-NOSED LANGURS (COLOBINAE, RHINOPITHECUS)

Sexual dimorphism in the dentition and skeleton of the four extant species of snub-nosed langurs, Rhinopithecus (R.) bieti, R. (R.) brelichi, R. (R.) roxellana and R. (Presbytiscus) avunculus, was studied. The species shared a similar general pattern of sexual dimorphism, but were found to differ in respects that appear to reflect the influence of disparate socioecological and environmental factors. All the species showed marked canine dimorphism, but the very high degree of canine dimorphism in R. bieti appeared to be due to the intensity of intermale competition for mates during a temporally restricted breeding season, and possibly also to the intensity of competition between males for other resources during other times of the year. Sexual dimorphism in the postcranial skeleton of Rhinopithecus species was also most pronounced in R. bieti and may be related to the relatively higher frequency of terrestrial locomotion in males of the species. (C) 1995 Wiley-Liss, Inc.

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.

Infraciliature and myoneme system of Campanella umbellaria (Protozoa, Ciliophora, Peritrichida)

The infraciliature and myoneme system of Campanella umbellaria were revealed using the protargol impregnation technique. The main characteristics of the infraciliature are the peristomial ciliary rows (haplokinety and polykineties), which make four and a half turns around the peristomial disc before plunging into the infundibulum, and the aboral infraciliature, which is made up of the aboral ciliary wreath (trochal band) and the scopula. The myoneme system is composed of: 1) longitudinal fibers, which include 60-84 (mean 72.3) short longitudinal fibers, 40-56 (mean 45.8) medium-length longitudinal fibers, and numerous long longitudinal fibers; and 2) circular fibers, which include 8-12 (mean 9.3) peristomial ring fibers, linking fibers, support fibers, and peristomial disc fibers. The various fibers in C. umbellaria are interconnected to form a single myoneme system that may act as a cell skeleton as well as providing the mechanism by which the zooid contracts and relaxes. (C) 2004 Wiley-Liss, Inc.

A 1,000 Frames/s Programmable Vision Chip with Variable Resolution and Row-Pixel-Mixed Parallel Image Processors

A programmable vision chip with variable resolution and row-pixel-mixed parallel image processors is presented. The chip consists of a CMOS sensor array, with row-parallel 6-bit Algorithmic ADCs, row-parallel gray-scale image processors, pixel-parallel SIMD Processing Element (PE) array, and instruction controller. The resolution of the image in the chip is variable: high resolution for a focused area and low resolution for general view. It implements gray-scale and binary mathematical morphology algorithms in series to carry out low-level and mid-level image processing and sends out features of the image for various applications. It can perform image processing at over 1,000 frames/s (fps). A prototype chip with 64 x 64 pixels resolution and 6-bit gray-scale image is fabricated in 0.18 mu m Standard CMOS process. The area size of chip is 1.5 mm x 3.5 mm. Each pixel size is 9.5 mu m x 9.5 mu m and each processing element size is 23 mu m x 29 mu m. The experiment results demonstrate that the chip can perform low-level and mid-level image processing and it can be applied in the real-time vision applications, such as high speed target tracking.

Photoluminescence from Ge clusters embedded in porous silicon

Visible photoluminescence (PL) and Raman spectra of Ge clusters embedded in porous silicon (PS) have been studied. The as-prepared sample shows redshifted and enhanced room temperature PL relative to reference PS. This result can be explained by the quantum confinement effect on excitons in Ge clusters and tunnel of excitons from Si units of the PS skeleton to Ge clusters. One year storage in dry air results in a pronounced decrease in PL intensity but blue-shifted in contrast to reference PS. This phenomenon correlates to the size decrease of macerated Ce clusters and occurrence of "quantum depletion" in Ge clusters. Consequently, only excitons in Si units contribute to PL. (C) 1998 American Institute of Physics.

基于Isabelle定理证明器算法程序的形式化验证

形式化验证对保证软件的正确性和可靠性具有十分重要的意义.定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具.本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法.该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值.