检索结果-南通市图书馆

Kinematics and dynamics of the Mesozoic orogeny and late-orogenic extensional collapse in the Sino-Mongolian border areas

引用

Science China Earth sciences 2005年第7期48卷 849-862页

作者： ZHENG Yadong 1 & WANG Tao2.1. key laboratory of Orogenic Belts and Crustal Evolution (Peking University), Ministry of Education, Beijing 100871, China 2. Institute of Geology, {2. Academy of Geological sciences, Beijing 10003., China key laboratory of Orogenic Belts and Crustal Evolution (Peking University) Ministry of Education Beijing 100871 China Institute of Geology Chinese Academy of Geological Sciences Beijinq 100037 China

The Sino-Mongolian border areas underwent two important tectonic events during Mesozoic time after late Paleozoic orogeny: a late Triassic to earlier Jurassic contractional event that resulted in a large-scale south-vergent thrust during the orogeny and a late Jurassic-earlier Cretaceous extensional event in a north-south direction that formed a metamorphic core complex. The kinematic and dynamic analyses show that the thrust sheet moved southwards with a kinematic vorticity number of ca. -0.10 and sub-horizontal maximum compressive stress axis that belongs to a contraction-thickening shear. The upper plate of the late-orogenic detachment relatively moved in a 165°direction. The average kinematic vorticity in its earlier stage was 0.74 that belongs to simple shear dominated shearing and related to the maximum compressive stress axes dipping at ～66°, while the later average kinematic vorticity was ～0.55°that belongs to pure shear dominated shearing with sub-vertical maximum compressive stress axes. This suggests that the thrusting led to the crust thickened and the lower plate rocks that were originally located in the upper crust depressed through a brittle-ductile transition zone into the lower crust and became warmer. The heated rocks trended to uplift since their increasing volume and decreasing density while the loading of the upper-plate rocks increased due to the structural thickening. Under the combined effect of the loading and the thermal-uplifting, the ductile shear zone in between increased in its component of vertical pure shear. Once its pure-shear component exceeded its simple-shear one the ductile shear zone became an extension-thinned shear zone. This progressive transitional process reflects internal and essential temporal and spatial relationships: the extensional factor nucleated during the crust thickening by thrusting and increase of the extensional factor finally led to late-orogenic collapse.

关键词： Mesozoic thrusting,late-orogenic collapse,kinematic vorticity number,stress state.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

An efficient method for detecting concurrency errors in object-oriented programs

引用

Science China(Information sciences) 2012年第12期55卷 2774-2784页

作者： HE YanXiang 1,2.WU Wei 2.& CHEN Yong 2.1 School of Computers,{3. University,{3. 43.072.China 2.State {2. laboratory of Software Engineering,{3. University,{3. 43.072.China School of Computers Wuhan University Wuhan China State key laboratory of Software Engineering Wuhan University Wuhan China

Multicore and multi-threaded processors have become the norm for modern ***,concurrent programs have become more and more prevalent despite being difficult to write and *** errors are highly likely to appear in concurrent code,conventional error detection methods such as model checking,theorem proving,and code analysis do not scale smoothly to concurrent *** is an indispensable technique for detecting concurrency errors,but it involves a great deal of manual work and is *** paper presents an automatic method for detecting concurrency errors in classes in object-oriented *** method uses a heuristic algorithm to automatically generate test cases that can effectively trigger ***,each test case is executed automatically and a fast method is adopted to identify the actual concurrency error from anomalous run *** have implemented a prototype of the method and applied it to some typical Java *** shows that our method is more effective and faster than previous work.

关键词： concurrency error dynamic test data race atomicity violations test case generation

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Petrogenesis of Songshugou dunite body in the Qinling orogenic belt, Central China: Constraints from geochemistry and melt inclusions

引用

Science China Earth sciences 2005年第8期48卷 1146-1157页

作者： SU Li1,2. SONG Shuguang3.& ZHOU Dingwu1 1. key laboratory of Continental {2.s of the Ministry of Education, Department of Geology, Northwestern University, Xi’an 710069, China 2. The Geological Lab Center, China University of Geosciences (Beijing), Beijing 100083. China 3. key laboratory of Orogenic Belts of the Ministry of Education, Department of Geology, Peking University, Beijing 100871, China key laboratory of Continental {2.s of the Ministry of Education Department of Geology Northwestern University Xi’an China The Geological Lab Center China University of Geosciences (Beijing)Beijing China key laboratory of Orogenic Belts of the Ministry of Education Department of Geology Peking University Beijing China

The Songshugou dunite body, which occupies an area of about 2. km2. is the largest ultramafic massif in the eastern Qinling orogenic belt, Central China. The major compo-nent of this body is dunitic rocks including mylonitic dunite and coarse-grained dunite; they oc-cupy about 95 vol% of the total body. Petrography, mineral composition, major and trace ele-ments and primitive melt inclusions have been investigated in this paper; all revealed that this dunite body is the product of melt-rock interaction by porous percolation flow. In comparison with dunite sills or veins in harzburgite from the basal part of Oman ophiolite, this dunite body is characterized by lower contents of Al2.3. CaO and HREE but higher content of highly incom-patible elements and Zr and Hf. The LREE enriched patterns and primitive mantle normalized spidergrams of trace elements are also different from the Oman dunite. Combining with melt in-clusions observed in olivines, we conclude that this dunite body is the product of large- scale porous percolation flow of high-MgO melts within depleted mantle peridotites. The high-MgO magma, in essence, was most probably produced at the hot head of an upwelling mantle plume. The occurrence of the Songshugou dunite body is closely associated with the activity of mantle super-plume in Neo-Proterozoic era in the Yangtze Craton.

关键词： Songshugou dunite body, geochemistry, melt inclusion, mantle plume, Qinling orogenic belt.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Several significant hydrographic characteristics and their formation mechanism in the South China Sea during the spring and summer of 1998

引用

Acta Oceanologica Sinica 2003年第4期22卷 491-502页

作者： Xu Jianping 1,2.Chai Fei 2.3.Liu Zenghong 1,2.Zhu Bokang 1,2.1.Second Institute of Oceanography,State Oceanic Administration,Hangzhou 3.0012.China. 2.key laboratory of Ocean {2. Processes and Satellite Oceanography of State Oceanic Administration, Hangzhou 3.0012. China 3.School of Marine Science, University of Maine, Orono, ME 04469-5741,USA Second Institute of Oceanography State Oceanic Administration Hangzhou 310012 China key Lab. of Ocean dynamic Processes Hangzhou 310012 China School of Marine Science University of Maine Orono ME 04469-5741 United States

dOn the basis of the CTD data obtained by the two cruises before and after summer monsoon burst (2.th May, 1998), several significant hydrographic characteristics, their variation and formation mechanism in the South China Sea (SCS) are analyzed. The results show that the Kuroshio water intrudes into the SCS in the form of loop current, and its main part is limited to the east of 118degreesE near the Luzon Strait. Then it continuously extends westwards under the influence of the large-scale circulation, and has a distinct impact on the area north of 16degreesN. There are two high temperature and low salinity regions: west off Luzon and east off Vietnam respectively. One region west off Luzon strengthens obviously after summer monsoon burst, the other east off Vietnam shows a tendency of weakening in the north and strengthening in the south. The formation of these two high temperature and low salinity regions is related to the anti-cyclonic eddies existing in this area, besides, it is also related to the high temperature feature west of Luzon, the influx of Sulu Sea water and the influence of the large-scale air circulation. There is a cold region below the depth of 50 m in the south of Zhongsha Islands, and it strengthens after monsoon burst. The formation of cold water is related to the upwelling there.

关键词： monsoon burst hydrographic characteristics Kuroshio Luzon Strait South China Sea

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Size fractionated biomass and productivity of phytoplankton and new production in the Prydz Bay and the adjacent Indian sector of the Southern Ocean during the austral summer 1998/1999

引用

Acta Oceanologica Sinica 2003年第4期22卷 651-670页

作者： Cai Yuming 1,3. Ning Xiuren 1,2.3. Zhu Genghai3. Shi Junxian3.1. key Laborary of Submarine Geosciences of State Oceanic Administration,Hangzhou 3.0012.China. 2. key Laborary of Ocean dynamic Processes and Satellite Oceanography of State Oceanic Administration,Hangzhou 3.0012.China 3. Second Institute of Oceanography of State Oceanic Administration, Hangzhou 3.0012.China key Lab. of Submarine Geosci. State Hangzhou 310012 China Second Inst. of Oceanogr. of State Hangzhou 310012 China key Lab. of Ocean dynamic Processes Hangzhou 310012 China

The paper deals with the studies on the cell abundance, the composition of dominant species, size fractionated biomass and productivity of phytoplankton, new production, the environmentally restricted mechanism in the Prydz Bay and the adjacent Indian sector of the Southern Ocean during the austral summer 1998/1999. The results showed that there was marked feature of spatial zonation in the sea areas investigated. In the Prydz Bay and its adjacent continental shelf, the biomass and productivity of phytoplankton were high; those of continental slope and open ocean area were obviously low. The nutrient concentration had opposite distribution trend, due to the consumption of phytoplankton. It mainly affected by the vertical stability of water column, grazing pressure of zooplankton, temperature and light etc. The results of size-fractionation showed that the average contribution of netplankton to total chlorophyll a in studied sea areas was 52.2.%, those of nano- and picoplankton were 2..4 % and 18.4 %, respectively. The average contribution of netplankton to total primary production was 52.4 %, those of nano- and picoplankton were 2..7 % and 18.9 %, separately. It is same as previous conclusion that the contribution of picoplankton to productivity is slightly larger than that to biomass of phytoplankton communities. The average new production and f-ratio were 2.0.6 mg/ (m(2.)d) and 0.43. respectively.

关键词： phytoplankton standing stock primary productivity size-fractionation new production the Southern Ocean

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Spatiotemporal model of open-pit based on 3.D deposit model

引用

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

作者： XIA Chun-lin1, ZHOU Hui1, LI Qing-yuan2. MA Zhen-li3.1. School of Geomatics, Liaoning Technical University, Fuxin 12.000, China 2. State {3. laboratory for GIS Engineering, {2. Academy of Surveying and Mapping, Beijing 10083., China 3. Yinchuan College, China University of Mining and Technology, Yinchuan 750011, China School of Geomatics Liaoning Technical University Fuxin 123000 China State key laboratory for GIS Engineering Chinese Academy of Surveying and Mapping Beijing 100830 China Yinchuan College China University of Mining and Technology Yinchuan 750011 China

A new method was put forward to make up the three-dimensional deposit model, and the spatiotemporal models of open-pit with temporal dynamics were also studied combined with the corrected models of multilevel ground states so as to bring the three-dimensional open-pit model at different time and its model serial formed from the evolvement into the management of temporal dimension in order to realize the spatial three-dimension and temporal dynamic for the mining management in open-pits,which makes this model easy to query and analyze 3.D information, also help surface mining replaying and stope evolution forecasting. Finally, the time-spatial model was established to show the dynamic mining on some open-pit under the windows XP and VC++ environment.

关键词： 3. model of deposit three-dimensional model mixed model temporal model open-pit

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Molecular dynamics simulations of interaction between protein-tyrosine phosphatase 1B and a bidentate inhibitor

引用

Acta Pharmacologica Sinica 2006年第1期27卷 100-110页

作者： Gui-xia LIU~(2.3.4) Jin-zhi TAN~2.Chun-ying NIU~2.Jian-hua SHEN~(2.3. Xiao-min LUO~2.Xu SHEN~(2.3. Kai-xian CHEN~2.Hua-liang JIANG~(2.3.4)2.Center for Drug Discovery and Design,State key laboratory of Drug Research,Shanghai Institute of Materia Medica,Shanghai Institutes for Biological {2.,chinese Academy of {2.,Shanghai 2.12.3.China 3.School of Pharmacy,East China University of Science and Technology Shanghai 2.02.7,China Center for Drug Discovery and Design State Key Laboratory of Drug Research Shanghai Institute of Materia Medica Shanghai Institutes for Biological Sciences Chinese Academy of Sciences Shanghai China School of Pharmacy East China University of Science and Technology Shanghai China

Aim:To investigate the dynamic properties of protein-tyrosine phosphatase (PTP)1B and reveal the structural factors responsible for the high inhibitory potencyand selectivity of the inhibitor SNA for ***:We performed moleculardynamics (MD) simulations using a long time-scale for both PTP1B and PTP1Bcomplexed with the inhibitor SNA,the most potent and selective PTP1B inhibitorreported to *** trajectories were analyzed by using principal ***:Trajectory analyses showed that upon binding the ligand,theflexibility of the entire PTP1B molecule *** most notable change is themovement of the *** simulation results also indicated that electro-static interactions contribute more to PTP 1B-SNA complex conformation than thevan der Waals interactions,and that Lys41,Arg47,and Asp48 play important rolesin determining the conformation of the inhibitor SNA and in the potency andselectivity of the *** these,Arg47 contributed *** results werein agreement with previous experimental ***:The informationpresented here suggests that potent and selective PTP1B inhibitors can be de-signed by targeting the surface residues,for example the region containing Lys41,Arg47,and Asp48,instead of the second phosphate binding site (besides theactive phosphate binding site).

关键词： molecular dynamics simulation principal component analysis protein-tyrosine phosphatase 1B type 2.diabetes

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Influence of the earth rotation on the interfacial wave solutions and wave-induced tangential stress in a two-layer fluid system

引用

Acta Oceanologica Sinica 2009年第2期28卷 115-120页

作者： SONG Jinbao LIU Yongjun Institute of Oceanology Chinese Academy of Sciences Qingdao 266071 China key laboratory of Ocean Circulation and Waves （KLOCAW） Chinese Academy of Sciences Qingdao 266071 China Graduate University of chinese Academy of sciences Beijing 100039 China

Interfacial waves and wave-induced tangential stress are studied for geostrophic small amplitude waves of two-layer fluid with a top free surface and a fiat bottom. The solutions were deduced from the general form of linear fluid dynamic equations of two-layer fluid under the f-plane approximation, and wave-induced tangential stress were estimated based on the solutions obtained. As expected, the solutions derived from the present work include as special cases those obtained by Sun et al. （2.04. Science in China, Ser. D, 47（12.： 1147-1154） for geostrophic small amplitude surface wave solutions and wave-induced tangential stress if the density of the upper layer is much smaller than that of the lower layer. The results show that the interface and the surface will oscillate synchronously, and the influence of the earth＇s rotation both on the surface wave solutions and the interfacial wave solutions should be considered.

关键词： two-layer fluid interfacial waves wave-induced tangential stress earth rotation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

The universal fuzzy logical framework of neural circuits and its application in modeling primary visual cortex

引用

Science China(Life sciences) 2008年第10期51卷 902-912页

作者： HU Hong1, LI Su2. WANG YunJiu2. QI XiangLin2.& SHI ZhongZhi1 1 {3. laboratory of Intelligent Information Processing, Institute of Computing Technology, {2. Academy of sciences, Beijing 100080, China 2.laboratory of Visual Information Processing, Institute of Biophysics, {2. Academy of sciences, Beijing 100101, China key laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China laboratory of Visual Information Processing Institute of Biophysics Chinese Academy of Sciences Beijing China

Analytical study of large-scale nonlinear neural circuits is a difficult task. Here we analyze the function of neural systems by probing the fuzzy logical framework of the neural cells' dynamical equations. Al- though there is a close relation between the theories of fuzzy logical systems and neural systems and many papers investigate this subject, most investigations focus on finding new functions of neural systems by hybridizing fuzzy logical and neural system. In this paper, the fuzzy logical framework of neural cells is used to understand the nonlinear dynamic attributes of a common neural system by abstracting the fuzzy logical framework of a neural cell. Our analysis enables the educated design of network models for classes of computation. As an example, a recurrent network model of the primary visual cortex has been built and tested using this approach.

关键词： nonlinear dynamical system fuzzy logic visual cortex

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Black-box testing based on colorful taint analysis

引用

Science China(Information sciences) 2012年第1期55卷 171-183页

作者： CHEN Kai1,2.3.FENG DengGuo1,SU PuRui1&ZHANG YingJun1,2.3.1State key {3. of Information Security,Institute of Software,{2. Academy of Science,Beijing 100190,China 2.tate key {3. of Information Security,Graduate University of {2. Academy of sciences,Beijing 100049,China 3.ational Engineering Research Center of Information Security,Beijing 100190,China State key laboratory of Information Security Institute of Software Chinese Academy of Science Beijing China State key laboratory of Information Security Graduate University of Chinese Academy of Sciences Beijing China National Engineering Research Center of Information Security Beijing China

Software vulnerability detection is one of the most important methods for guaranteeing software *** main classes of methods can detect vulnerabilities in binary files:white-box testing and black-box *** former needs to construct and solve path constraints to detect *** has two main drawbacks:path exploding and complexity of *** latter often aimlessly exhausts various inputs to test binary *** paper combines both testing methods to detect vulnerabilities in binary *** analyzing the input elements that aect check condition corresponding to a certain check point,we can generate one class of inputs that get to the check point to increase fuzzing *** analyzing the relationship between guard conditions and check condition,the redundant check points are *** taint analysis method(CTAM)is proposed to compute guard conditions,which is more ecient than traditional taint analysis method(TTAM).We implemented a prototype and made several experiments on *** results showed that our method could increase the eciency of black-box testing.

关键词： software testing vulnerability detection dynamic testing black-box testing colorful taint analysis

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：