检索结果-南通市图书馆

Compression behavior of Zr_(41)Ti_(14)Cu_(12.5)Ni_(10)Be_(2..5) bulk metallic glass up to 2. GPa

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2005年第3期48卷 319-324页

作者： LI Gong 1, 2., ZHAN Zaiji 2., LIU Jing 3., YUN Jinku 1 , SUN Liling 2., LIU Riping 1 , ZHANG Jun 2.& WANG Wenkui 1, 2.1. Key Laboratory of Metastable Materials Science and technology, Yanshan University, Qinhuangdao 066004, china 2. Center for Condensed Matter Physics, {2. of Physics, {3. academy of Sciences, Beijing 100080, china 3. BSRF, {2. of High Energy Physics, {3. academy of Sciences, Beijing 10003., china Key Laboratory of Metastable Materials Science and technology Yanshan University Qinhuangdao China Center for Condensed Matter Physics Institute of Physics Chinese Academy of Sciences Beijing China BSRF Institute of High Energy Physics Chinese Academy of Sciences Beijing China

The compression of a Zr41Ti14Cu12.5Ni10Be2..5 bulk metallic glass (BMG) is investigated at room temperature up to 2. GPa using in-situ high pressure energy dispersive X-ray diffraction with a synchrotron radiation source. The pressure-induced structural relaxation is exhibited. It is found that below about 8 GPa, the existence of excess free volume contributes to the rapid structural relaxation, which gives rise to the rapid volumetric change, and the structural relaxation results in the structural stiffness under higher pressure.

关键词： bulk metallic glass, high pressure, structural relaxation, synchrotron radiation.

^(40)Ar/^(3.)Ar dating of shear deformation of the Xianshuihe fault zone in west Sichuan and its tectonic significance

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2004年第9期47卷 794-803页

作者： ZHANG Yueqiao1, CHEN Wen2. 3.& YANG Nong1 1. institute of Geomechanics, chinese {2. of Geological Sciences, Beijing 100081,{3. 2. institute of Geology, chinese {2. of Geological Sciences, Beijing 10003.,{3. 3. institute of Geology and Geophysics, chinese {2. of Sciences, Beijing 10002.,{3. institute of Geomechanics Chinese Academy of Geological Sciences Beijing China institute of Geology Chinese Academy of Geological Sciences Beijing China institute of Geology and Geophysics Chinese Academy of Sciences Beijing China

Based on field geological survey, structural measurements and classical Ar/Ar dating of mica, biotite and K-feldspar, we obtain cooling ages for Miocene left-lateral shear along the Xianshuihe fault zone. The results document two thermal events during the sinistral shear. The early event (12.10 Ma) corresponds to rapid cooling of the Zheduoshan granitic massif from above 700℃ to below 3.0℃. The late event (5-3.5 Ma) corresponds to cooling of granites intruded along the eastern side of the fault zone. These dating results provide important thermochronological constraint on the timing of late Cenozoic eastward extrusion of the Chuan-Dian Block in the SE Tibetan margin.

关键词： Xianshuihe fault zone, Zheduoshan granitic massif, sinistral shear deformation, 40Ar/3.Ar dating, late Cenozoic.

Formal Verification under Unknown Constraints

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2005年第1期10卷 43-46页

作者： LI Guang-hui 1,2.3., LI Xiao-wei 2.3.. School of Information Engineering, Zhejiang Forestry College, Hangzhou 3.13.0, Zhejiang, china {3., {2. {3. of Sciences, Beijing 100080, china 3. Graduate School of the {2. {3. of Sciences, Beijing 10003., china School of Information Engineering Zhejiang Forestry College Hangzhou Zhejiang China institute of computing {2. Chinese Academy of Sciences Beijing China Graduate School of the chinese academy of Sciences Beijing China

We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) ***,this method can avoid the potential memory explosion, which the binary decision diagram (BDD) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.

关键词： formal verification unknown constraints black box Boolean satisfiability Boolean comparison

Analysis and application of automatic deformation monitoring data for buildings and structures of mining area

在线全文

学校读者我要写书评

暂无评论

中国有色金属学会会刊：英文版 2011年第S3期21卷 516-522页

作者： XIAO Jie1, 2. 3. ZHANG Jin4 1. institute of Geodesy and Geophysics, chinese {2. of Sciences, Wuhan 43.077,{3. 2. Key Laboratory of Dynamic Geodesy, institute of Geodesy and Geophysics, chinese {2. of Sciences, Wuhan 43.077,{3. 3. Graduate School of chinese {2. of Sciences, Beijing 100049,{3. 4. Department of Surveying and Mapping, Taiyuan University of {13., Taiyuan 03.02.,{3. institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China Key Laboratory of Dynamic Geodesy Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China Graduate School of chinese academy of Sciences Beijing 100049 China Department of Surveying and Mapping Taiyuan University of Technology Taiyuan 030024 China

The buildings and structures of mines were monitored automatically using modern surveying technology. Through the analysis of the monitoring data, the deformation characteristics were found out from three aspects containing points, lines and regions, which play an important role in understanding the stable state of buildings and structures. The stability and deformation of monitoring points were analysed, and time-series data of monitoring points were denoised with wavelet analysis and Kalman filtering, and exponent function and periodic function were used to get the ideal deformation trend model of monitoring points. Through calculating the monitoring data obtained, analyzing the deformation trend, and cognizing the deformation regularity, it can better service mine safety production and decision-making.

关键词： wavelet analysis Kalman filtering deformation monitoring data analysis mine

Geochemical simulation of the formation of brine and salt minerals based on Pitzer model in Caka Salt Lake

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2004年第8期47卷 720-726页

作者： LIU Xingqi1, CAI Keqin2.& YU Shengsong3.1. Nanjing institute of Geography and Limnology, chinese {2. of Sciences, Nanjing 2.0008,{3. 2.{3. University of Geosciences, Beijing 100083.{3. 3. institute of Salt Lakes, chinese {2. of Sciences, Xining 810008,{3. Nanjing institute of Geography and Limnology Chinese Academy of Sciences Nanjing China china University of Geosciences Beijing China institute of Salt Lakes Chinese Academy of Sciences Xining China

The geochemical simulation of the formation of brine and salt minerals based on Pitzer model was made in Caka Salt Lake. The evolution of the mixed surface-water and the mineral sequences were calculated and compared with the hydrochemical compositions of the brine and the salt minerals of the deposit in Caka Salt Lake. The results show that the formation temperature of the lake is between 0°C and 5°C, which is well identical with other studies. The mixing of salt-karst water with the surface waters, neglected by the former researchers, is very important to the formation of the lake, indicating that the initial waters resulting in the formation of the lake are multi-source. It is the first time to use Pitzer model in china for making geochemical simulation of the formation and evolution of inland salt lake and satisfactory results have been achieved.

关键词： Pitzer model,Caka Salt Lake,geochemical simulation,salt-karst water.

Physical mechanisms of plant roots affecting weathering and leaching of loess soil

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2006年第9期49卷 1002-1008页

作者： LI Yong1,2. ZHANG Qingwen1,2. WAN Guojiang3. HUANG Ronggui3. PIAO Hechun3. BAI Lingyu2.& LI Lu2.1. State Key Laboratory of Soil Erosion and Dryland Farming on the Loess Plateau, institute of Soil and Water Conservation, chinese {2. of Sciences, Yangling 712.00,{3. 2. institute of Agro-Environment and Sustainable Development, chinese {2. of Agricultural Sciences, Beijing 100081,{3. 3. institute of Geochemistry, chinese {2. of Sciences, Guiyang 550002.{3. State Key Laboratory of Soil Erosion and Dryland Farming on the Loess Plateau Institute of Soil and Water Conservation Chinese Academy of Sciences Yangling China institute of Agro-Environment and Sustainable Development Chinese Academy of Agricultural Sciences Beijing China institute of Geochemistry Chinese Academy of Sciences Guiyang China

Plant roots have potential impacts on soil mineral weathering and *** objective is to understand the physical mechanisms of plant roots affecting weathering andleaching of loess soil. Root densities were measured through the method of a large-size dug profile,and transport fluxes of soil elements were determined using an undisturbed monolith soilinfiltration device on the hilly and gully regions of the chinese Loess Plateau. The results showthat the improvement effects of soil environment by plant roots are mainly controlled by the densityand weight of the fibrous roots with the diameters less than 1 mm. Plant roots have the strongereffects on soil physical properties than chemical properties. The principal components analysis(PCA) indicates that soil physical properties by plant roots account for 56.7% of variations in soilenvironment whereas soil chemical properties and pH contribute about 2..2. of the soil *** roles of plant roots in controlling soil weathering and leaching increased in the followingorder: infiltration enhancement > increase of bio-active substance > stabilization of soilstructure. The effects of plant roots on soil mineral weathering and leaching can be quantifiedusing the multiple regression models with the high prediction accuracies developed in this study.

关键词： plant roots, soil weathering and leaching rates, soil environment field, principal components analysis (PCA), chinese Loess Plateau.

Modeling and verifying Web services driven by requirements:An ontology-based approach

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第6期49卷 792-820页

作者： HOU Lishan1,3.JIN ZHi1,2.& WU Budan1,4 1. academy of Mathematics and Systems Science, chinese academy of Sciences, Beijing 100080,{3. 2. institute of computing technology, chinese academy of Sciences, Beijing 100080,{3. 3. institute of Software, chinese academy of Sciences, Beijing 100080,{3. 4. Graduate University of chinese academy of Sciences, Beijing 100049,{3. academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China institute of Software Chinese Academy of Sciences Beijing China institute of computing {2. Chinese Academy of Sciences Bejing China Graduate University of chinese academy of Sciences Beijing China

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关键词： Web service environment ontology automatic composition π calculus formal verification.

Environmental characteristics of Mid-Holocene recorded by lacustrine sediments from Lake Daihai, north environment sensitive zone, china

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2006年第9期49卷 968-981页

作者： SUN Qianli1,2. ZHOU Jie1, SHEN Ji3. CHEN Peng1,2. WU Feng1,2.& XIE Xiuping1,2.1. State Key Lab of Loess and Quaternary Geology, institute of Earth Environment, chinese {2. of Sciences, Xi’an 710075,{3. 2. Graduate University of chinese {2. of Sciences, Beijing 10003.,{3. 3. Nanjing institute of Geography and Limnology, chinese {2. of Sciences, Nanjing 2.0008,{3. State Key Lab of Loess and Quaternary Geology Institute of Earth Environment Chinese Academy of Sciences Xi’an China Graduate University of chinese academy of Sciences Beijing China Nanjing institute of Geography and Limnology Chinese Academy of Sciences Nanjing China

Climate proxies, such as total organic carbon and nitrogen (TOC, TN), carbonate content (CaCO3., grain-size and pollen of the sediment core retrieved from enclosed Lake Daihai which lies in the north china environment sensitive zone are analyzed to reconstruct the environment evolution of the area based on high-resolution radiocarbon chronology. The results reveal that the TOC and TN contents of the sediments correlate well with pollen percentage and pollen flux variations during the Holocene, and both reach their peak values simultaneously at 6.7―3.5 ka BP (calendar age, 7.6―3.6 ka BP). Since 6.7 ka BP, both the CaCO3.and organic matter contents of the core have simultaneous variations, and their high values also occur during 6.7―3.5 ka BP. While during 9.0―6.7 ka BP (calendar age, 10―7.6 ka BP) relatively lower level of organic matter content and pollen flux corre- spond to the higher level of carbonate content. The above relations suggest that during 6.7―3.5 ka BP, the productivity and effective precipitation were greatly improved in the lake drainage area, and this would probably strengthen the hydrodynamic conditions, enhancing organic matter, pollen and carbonate inputs from terrestrial sources. Such processes would account for the enrichment of both organic matter and carbonate in the sediments. While during 9.0―6.7 ka BP, the lower level of or- ganic matter, pollen flux but high carbonate content show depressed productivity and declined vege- tation coverage. The higher carbonate content at this stage would have probably resulted from the higher evaporation ratio of the lake water under relatively drier climate conditions. Therefore, it is in- ferred that during 6.7―3.5 ka BP, the climate was more humid with abundant rainfalls and vegetation was more flourishing in the Lake Daihai area. This can be seen as Holocene Climate Optimum (HCO). As a result, this has evident discrepancies with the traditional notion that the HCO occurs at Early Holocene or early Mid

关键词： Lake Daihai, Mid-Holocene, lacustrine sediments, environmental characteristics.

Modeling of elastic wave propagation on a curved free surface using an improved finite-difference algorithm

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2004年第5期47卷 633-648页

作者： WANG Xiuming1,3.& ZHANG Hailan2.1. CSIRO Petroleum, ARRC, PO BOX 113., technology Park, Bentley, WA 6102. Australia 2. institute of Acoustics, {2. {3. of Sciences, Beijing 100080, china 3. Present address: institute of Acoustics, {2. {3. of Sciences, Beijing 100080, china CSIRO Petroleum ARRC Bentley Australia institute of Acoustics Chinese Academy of Sciences Beijing China

Based on existing direct and imaging methods of a staggered finite-difference scheme, an improved algorithm for staggered finite-difference is proposed to implement rugged topographic free boundary conditions. This method assumes that the free surface can be implemented with horizontal and vertical free surface segments and their corners; the free surface passes through the grid points of shear stress components, instead of the normal stress components. Imaging is carried out for stress components in both horizontal and vertical directions, thus increasing the accuracy. To update particle- velocities, imaging and updating are first performed in the horizontal direction, and then in the vertical direction. The numerical results for elastic flat horizontal free surface with the imaging method and those for flat free surfaces of various slope angles with the proposed method are compared, and are shown to be in good agreement. The advantage of the proposed method is that only the stresses are dealt with in implementing the free surface into the staggered algorithm, which improves computation efficiency.

关键词： elastic wave simulation, curved free surface, staggered finite-difference, algorithm stability.