In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. S...In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic.展开更多
Due to the importance of riparian zone in maintaining and protecting regional biodiversity, increasingly more ecologists paid their attentions to riparian zone and had been aware of the important effects of riparian z...Due to the importance of riparian zone in maintaining and protecting regional biodiversity, increasingly more ecologists paid their attentions to riparian zone and had been aware of the important effects of riparian zone in basic study and practical management. In this study, 42 sampling belts (10 m?00 m) parallel to the bank of Xiangxi River at different elevations in Shennongjia Area were selected to investigate the riparian vegetation and rare plants. 14 species of rare plants were found distributing in riparian zone, accounting for 42.4% of the total rare plant species in Shennongjia Area. The main distribution range of the 14 rare plant species was the evergreen and deciduous mixed broadleaved forest at elevation of 1200-1800 m, where, species diversity of plant community was the maximum at the moderate elevation. The analysis of TWINSPAN divided the 14 rare species into 3 groups against the elevation, namely low elevation species group, moderate elevation species group, and high elevation species group. The analysis of DCA ordination showed similar results to that of TWINSPAN. In the paper, the authors discussed the reasons forming the distribution pattern of rare plant species, and pointed out that the important function of riparian zone on rare plant species protection.展开更多
Biot-flow and squirt-flow are the two most important fluid flow mechanisms in porous media containing fluids. Based on the BISQ （Biot-Squirt） model where the two mechanisms are treated simultaneously, the elastic wa...Biot-flow and squirt-flow are the two most important fluid flow mechanisms in porous media containing fluids. Based on the BISQ （Biot-Squirt） model where the two mechanisms are treated simultaneously, the elastic wave-field simulation in the porous medium is limited to two-dimensions and two-components （2D2C） or two-dimensions and three-components （2D3C）. There is no previous report on wave simulation in three- dimensions and three-components. Only through three dimensional numerical simulations can we have an overall understanding of wave field coupling relations and the spatial distribution characteristics between the solid and fluid phases in the dual-phase anisotropic medium. In this paper, based on the BISQ equation, we present elastic wave propagation in a three dimensional dual-phase anisotropic medium simulated by the staggered-grid high-order finite-difference method. We analyze the resulting wave fields and show that the results are an improvement.展开更多
Powder mixture of pure A1 and oxidized SiC was consolidated into 10% （mass fraction） SiCp/AI composites at 523 K by equal channel angular pressing and torsion （ECAP-T）. The interfacial bonding of the composites wa...Powder mixture of pure A1 and oxidized SiC was consolidated into 10% （mass fraction） SiCp/AI composites at 523 K by equal channel angular pressing and torsion （ECAP-T）. The interfacial bonding of the composites was characterized by transmission electron microscopy （TEM） and high resolution transmission electron microscopy （HRTEM）. The selected area electron diffraction （SAED） for the interface was investigated. The elements at the interface were scanned by energy dispersive spectroscopy （EDS） and the EDS mapping was also obtained. X-ray diffraction （XRD） analysis was carried out for the composites fabricated by 1 pass, 2 passes and 4 passes ECAP-T. According to the XRD analysis, the influences of ECAP-T pass on the Bragg angle and interplanar spacing for AI crystalline planes were studied. The results show that after ECAP-T, the interface between A1 and SiC within the composites is a belt of amorphous SiO2 containing a trace of A1, Si and C which diffused from the matrix and the reinforcement. With the growing ECAP-T pass, the Bragg angle decreases and interplanar spacing increases for A1 crystalline planes, due to the accumulated lattice strain. The increasing lattice strain of A1 grains also boosts the density of the dislocation within A1 grains.展开更多
A new conservative finite difference scheme is presented based on the numerical analysis for an initialboundary value problem of a class of Schroedinger equation with the wave operator. The scheme can be linear and im...A new conservative finite difference scheme is presented based on the numerical analysis for an initialboundary value problem of a class of Schroedinger equation with the wave operator. The scheme can be linear and implicit or explicit based on the parameter choice. The initial value after discretization has second-order accuracy that is consistent with the scheme accuracy. The existence and the uniqueness of the difference solution are proved. Based on the priori estimates and an inequality about norms, the stability and the convergence of difference solutions with the second-order are proved in the energy norm. Experimental results demonstrate the efficiency of the new scheme.展开更多
文摘In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic.
基金This project was supported by National Natural Science Foundation of China (NSFC39970123) Changbai Mountain Open Research Station, Chinese Acedamy of Science.
文摘Due to the importance of riparian zone in maintaining and protecting regional biodiversity, increasingly more ecologists paid their attentions to riparian zone and had been aware of the important effects of riparian zone in basic study and practical management. In this study, 42 sampling belts (10 m?00 m) parallel to the bank of Xiangxi River at different elevations in Shennongjia Area were selected to investigate the riparian vegetation and rare plants. 14 species of rare plants were found distributing in riparian zone, accounting for 42.4% of the total rare plant species in Shennongjia Area. The main distribution range of the 14 rare plant species was the evergreen and deciduous mixed broadleaved forest at elevation of 1200-1800 m, where, species diversity of plant community was the maximum at the moderate elevation. The analysis of TWINSPAN divided the 14 rare species into 3 groups against the elevation, namely low elevation species group, moderate elevation species group, and high elevation species group. The analysis of DCA ordination showed similar results to that of TWINSPAN. In the paper, the authors discussed the reasons forming the distribution pattern of rare plant species, and pointed out that the important function of riparian zone on rare plant species protection.
基金National Natural Science Foundation (Project number 40604013).
文摘Biot-flow and squirt-flow are the two most important fluid flow mechanisms in porous media containing fluids. Based on the BISQ （Biot-Squirt） model where the two mechanisms are treated simultaneously, the elastic wave-field simulation in the porous medium is limited to two-dimensions and two-components （2D2C） or two-dimensions and three-components （2D3C）. There is no previous report on wave simulation in three- dimensions and three-components. Only through three dimensional numerical simulations can we have an overall understanding of wave field coupling relations and the spatial distribution characteristics between the solid and fluid phases in the dual-phase anisotropic medium. In this paper, based on the BISQ equation, we present elastic wave propagation in a three dimensional dual-phase anisotropic medium simulated by the staggered-grid high-order finite-difference method. We analyze the resulting wave fields and show that the results are an improvement.
基金Project(51175138) supported by the National Natural Science Foundation of ChinaProjects(2012HGZX0030,2013HGCH0011) supported by the Fundamental Research Funds for the Central Universities,China
文摘Powder mixture of pure A1 and oxidized SiC was consolidated into 10% （mass fraction） SiCp/AI composites at 523 K by equal channel angular pressing and torsion （ECAP-T）. The interfacial bonding of the composites was characterized by transmission electron microscopy （TEM） and high resolution transmission electron microscopy （HRTEM）. The selected area electron diffraction （SAED） for the interface was investigated. The elements at the interface were scanned by energy dispersive spectroscopy （EDS） and the EDS mapping was also obtained. X-ray diffraction （XRD） analysis was carried out for the composites fabricated by 1 pass, 2 passes and 4 passes ECAP-T. According to the XRD analysis, the influences of ECAP-T pass on the Bragg angle and interplanar spacing for AI crystalline planes were studied. The results show that after ECAP-T, the interface between A1 and SiC within the composites is a belt of amorphous SiO2 containing a trace of A1, Si and C which diffused from the matrix and the reinforcement. With the growing ECAP-T pass, the Bragg angle decreases and interplanar spacing increases for A1 crystalline planes, due to the accumulated lattice strain. The increasing lattice strain of A1 grains also boosts the density of the dislocation within A1 grains.
文摘A new conservative finite difference scheme is presented based on the numerical analysis for an initialboundary value problem of a class of Schroedinger equation with the wave operator. The scheme can be linear and implicit or explicit based on the parameter choice. The initial value after discretization has second-order accuracy that is consistent with the scheme accuracy. The existence and the uniqueness of the difference solution are proved. Based on the priori estimates and an inequality about norms, the stability and the convergence of difference solutions with the second-order are proved in the energy norm. Experimental results demonstrate the efficiency of the new scheme.
