检索结果-南通市图书馆

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, China 2. Institute of Computing Technology, Chinese Academy of Sciences, beijing 100080, China 3. Institute of Software, Chinese Academy of Sciences, beijing 100080, China 4. {3. {4. of Chinese Academy of Sciences, beijing 100049, China Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China Institute of Software Chinese Academy of Sciences Beijing China Institute of Computing Technology 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.

Interannual variability of Antarctic Oscillation and its influence on East Asian climate during boreal winter and spring

在线全文

学校读者我要写书评

暂无评论

Science China Earth Sciences 2006年第5期49卷 554-560页

作者： FAN Ke1,2.3.& WANG Huijun2.1. Nansen-Zhu International Research Center, Institute of Atmospheric Physics, Chinese Academy of Sciences, beijing 10002., China 2. Department of Atmospheric Science, Yunnan university, Kunming 650091, China 3. {2. university of the Chinese Academy of Sciences,{4., China Nansen-Zhu International Research Center Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China Department of Atmospheric Science Yunnan University Kunming China graduate university of the Chinese Academy of Sciences Beijing China

The interannual variability of Antarctic Oscillation (AAO) and its influence on East Asian climate during both boreal winter and spring are addressed. The results show that the positive AAO anomaly decreases the cold activity over East Asia during both boreal winter and spring. AAO-related barotropic meridional teleconnection from Antarctic to Arctic is found through analysis of mean me- ridional circulations. This meridional teleconnection is remarkable over Eurasia during boreal winter and over the Pacific Ocean during boreal spring. The results also show that zonal mean zonal wind at high latitudes in Southern Hemisphere has well positive correlation with that of Eurasia during boreal winter and has negative correlation with Pacific North American teleconnection (PNA) during boreal spring, which again display the meridional teleconnection. Thus, local meridional teleconnection is a possible linkage for interaction of circulations at mid-high latitudes between both hemispheres.

关键词： Antarctic Oscillation, Eurasian west wind, meridional teleconnection, mean meridional circulation.

Estimating surface evapotranspiration using combined MODIS and CBERS-02.data

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2005年第S2期48卷 145-160页

作者： XIN Xiaozhou1,2. LIU Qinhuo1, TANG Yong1,3. TIAN Guoliang1, GU Xingfa1, LI Xiaowen1,2. ZHENG Hongsheng4.& CHEN Jiayi4.1. State Key Laboratory of Remote Sensing Science, Institute of Remote Sensing Applications, Chinese Academy of Sciences, {2. 100101, China 2. Research Center for Remote Sensing and GIS, Department of Geography, {2. Normal university, {2. 100875, China 3. {4. university of Chinese Academy of Sciences, {2. 10003., China 4. Department of Atmospheric Physics, Peking university, {2. 100871, China State Key Laboratory of Remote Sensing Science Institute of Remote Sensing Applications Chinese Academy of Sciences Beijing 100101 China Research Center for Remote Sensing and GIS Department of Geography Beijing Normal University Beijing 100875 China graduate university Chinese Academy of Sciences Beijing 100039 China Department of Atmospheric Physics Peking University Beijing 100871 China

Spatial scale error is one of the most serious problems in the estimates of land surface heat fluxes of sensible and latent from satellite-borne data such as MODIS 1km resolution reflectance and emissive data. One of the feasible and economic ways to decrease the spatial scale error is to use high resolution land use class data together with the MODIS data. CBERS-02.data were used to produce land use class of Baiyangdian area, Hebei Province, China in the autumn of 2.04. The area ratio of each class in MODIS pixel was calculated, and used to derive the heat fluxes of the mixed pixel. The results showed that the estimated heat fluxes of soil, sensible and latent have been changed remarkably after using the high resolution land class data. It could be concluded from the comparison between simulated and ground-measured fluxes as well as the theoretical analysis that high resolution land class data are useful to diminishing the scale error of heat fluxes estimated from low resolution satellite data.

关键词： surface evapotranspiration spatial scale error MODIS CBERS land class.

Progress and review of the studies on the end-Triassic mass extinction event

在线全文

学校读者我要写书评

暂无评论

Science China Earth Sciences 2005年第12期48卷 2049-2060页

作者： DENG Shenghui1,2. LU Yuanzheng1,2.3.& XU Daoyi4.1. Research Institute of Petroleum Exploration and Development, {3. 100083. China 2. Key Laboratory of Oil and Gas Reservoir of PetroChina, {3. 100083. China 3. China university of Geosciences, {3. 100083. China 4. Institute of Geology, China Earthquake Administration, {3. 10002., China Research Institute of Petroleum Exploration and Development Beijing China Key Laboratory of Oil and Gas Reservoir of PetroChina Beijing China China university of Geosciences Beijing China Institute of Geology China Earthquake Administration Beijing China

The mass extinction at the end-Triassic is one of the five biggest in the Phanerozoic. However,it is the least well understood among these five events, and only till last decade it became a great academic interesting subject to geologists. The evidences for this event come obviously from bivalves, brachiopods, ammonites, corals, radiolaria, ostracods and foraminifera of marine habitats, and plants and tetrapods of terrestrial realm. By contrast, for some of other groups, such as marine gastropods and marine vertebrates, no mass extinction has been recog-nized yet. The extinction event is strongly marked at specific level but shown a complicated situa-tion at generic and family levels. Dramatic changing of the environment, such as the temperature raise due to the greenhouse effect, the marine anoxic habitats caused by a sudden transgression after the regression at the end of Triassic, has been claimed to be the main cause of the extinction. Many hypotheses have been suggested to demonstrate the mechanisms of the environment changing, among which two popular ones are the bolide impact and volcanic eruption. The Triassic-Jurassic (Tr-J) boundary mass extinction event is still poorly understood because no enough data have been obtained from the Tr-J boundary successional sections of both marine and terrestrial sediments, and most of these studies were regionally restricted. The basic aspects of the event and its associated environmental conditions remain poorly characterized and the causal mechanism or mechanisms are equivocal. Some authors even doubt its occurrence. China has many successionally developed terrestrial and marine Tr-J sections. Detailed studies of these sections may be important and significant for well understanding of the event.

关键词： progress, review, end-Triassic, mass extinction, mechanism, Tr-J boundary.

SHRIMP zircon U-Pb geochronology of early Mesozoic felsic igneous rocks from the southern Lancangjiang and its tectonic implications

在线全文

学校读者我要写书评

暂无评论

Science China Earth Sciences 2006年第10期49卷 1032-1042页

作者： PENG Touping1,2. WANG Yuejun1, FAN Weiming1, LIU Dunyi3. SHI Yuruo3.& MIAO Laicheng4.1. Key Laboratory of Isotope Geochronology and Geochemistry, Guangzhou Institute of Geochemistry, Chinese Academy of Sciences, Guangzhou 51064., China 2. {2. university of Chinese Academy of Sciences, beijing 10003., China 3. SHRIMP isotope Laboratory, Chinese Academy of Geological Sciences, beijing 10003., China 4. Institute of Geology and Geophysics, Chinese Academy of Sciences, beijing 10002., China Key Laboratory of Isotope Geochronology and Geochemistry Guangzhou Institute of Geochemistry Chinese Academy of Sciences Guangzhou China graduate university of Chinese Academy of Sciences Beijing China SHRIMP isotope Laboratory Chinese Academy of Geological Sciences Beijing China Institute of Geology and Geophysics Chinese Academy of Sciences Beijing China

The SHRIMP zircon U-Pb geochronology of three typical samples, including two monzo nitic granites from the Lincang batholith and a rhyolite from the Manghuai Formation are presented in the southern Lancangjiang, western Yunnan Province. The analyses of zircons for the biotite monzonitic granites from the northern (02.X-13.) and southern (2.JH-10) Lincang batholith show the single and tight clusters on the concordia, and yield the weighted mean 2.6Pb/2.8U ages of 2.9.4.± 3.0 Ma and 2.0.4.± 3.6 Ma, respectively, representing the crystallized ages of these granites. The zircons for the rhyolitic sample (02.X-95) from the Manghuai Formation give a weighted mean 2.6Pb/2.8U age of 2.1.0 ± 5.0 Ma. These data suggest that the igneous rocks from the Lincang granitic batholith and Manghuai Formation have a similar crystallized age. In combination with other data, it is inferred that both were generated at a narrow age span (~2.0 Ma) and were originated from the postcollisional tectonic regime. An early Proterozoic 2.6Pb/2.8U apparent age of 1977±4. Ma is additionally obtained from one zircon from the biotite monzonitic granite (southern Lincang batholith), indicative of devel- opment of the early Proterozoic Yangtze basement in the region. These precisely geochronological data provide important constraints on better understanding the Paleozoic tectonic evolution of the Tethys, western Yunnan Province.

关键词： SHRIMP zircon U-Pb dating, Middle Triassic, Lincang granitic batholith, Manghuai Formation rhyolite, southern Lancangjiang.

Evaluation of Sustainable Land Management and Diagnosis of Obstacle at County Scale in Sichuan Basin:Taking Lezhi County as Example

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2006年第4期11卷 1046-1051页

作者： CHEN Guangjian 1, 2. 3., LIU Qing 1 1. Chengdu Institute of Biology, Chinese Academy of Sciences, Chengdu 61004., Sichuan,China 2. {3. {2. of Chinese Academy of Sciences, beijing 100049, China 3. Academy of Land Reconnaissance and Layout of Sichuan Province , Chengdu 61003., Sichuan, China Chengdu Institute of Biology Chinese Academy of Sciences Chengdu Sichuan China graduate university of Chinese Academy of Sciences Beijing China Academy of Land Reconnaissance and Layout of Sichuan Province Chengdu Sichuan China

This paper established sustainable land resources evaluating indicators fit for hilly area in Sichuan Basin, Southwest of China, and evaluated the case of sustainable land management of Lezhi County from 1990 to 2.01. The result showed that the land resource sustainable utilization ability in Lezhi County is belong to Second level （better sustainable）. Secondly, this paper diagnosed some years obstacles of sustainable land management of Lezhi County from base period to goal period and compared the obstacles factors in the indicators system. There were 16 indexes orderly become major affect factor to land sustainable utilization of Lezhi county in indicator system, of which there are 8 obstacles indexes exist both in 1990 and 2.01. The value of obstacles degree of five indicators exceeded 5 in 1990, but in 2.01, only two indicators＇ values were more than 5.

关键词： land resources sustainable land management assessment indicators diagnosis of obstacle

Strong decays of N~*(153.) in an extended chiral quark model

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2009年第10期52卷 1452-1457页

作者： AN ChunSheng1,2.3.& ZOU BingSong1,2.3.1 Institute of High Energy Physics,Chinese Academy of Sciences,beijing {3.,China 2.Theoretical Physics Center for Science Facilities,Chinese Academy of Sciences,beijing {3.,China 3.{4. university of Chinese Academy of Sciences,beijing {3.,China Institute of High Energy Physics Chinese Academy of Sciences Beijing China Theoretical Physics Center for Science Facilities Chinese Academy of Sciences Beijing China graduate university of Chinese Academy of Sciences Beijing China

The strong decays of the N*(153.) resonance are investigated in an extended chiral quark model by including the low-lying $ qqqq\bar q $ components in addition to the qqq component. The results show that these five-quark components in N*(153.) contribute significantly to the N*(153.) → Nπ and N*(153.) → Nη decays. The contributions to the Nη decay come from both the lowest energy and the next-tolowest energy five-quarks components, while the contributions to the Nπ decay come from only the latter one. Taking these contributions into account, the description for the strong decays of N*(153.) is improved, especially for the puzzling large ratio of the decays to Nη and Nπ.

关键词： N*(153.) strong decays five-quark components

Monitoring the Cultivated Slope Land in the Three Gorges Reservoir Area Based on Remote Sensing and GIS

在线全文

学校读者我要写书评

暂无评论

Wuhan university Journal of Natural Sciences 2006年第4期11卷 915-921页

作者： ZHOU Jieming1, ZHOU Qigang 2. 3.,HUANG Zhiqin 2. 3. 4.1. The Faculty of Geography and Resources Science, Sichuan Normal {3., Chengdu 610066, Sichuan, China 2. Institute of Mountain Hazards and Environment, Chinese Academy of Sciences, Chengdu 61004., Sichuan, China 3. graduate {3. of the Chinese Academy of Sciences,{3., China 4. Information Center of Land and Resources Department of Sichuan Province, Chengdu 61004., Sichuan, China The Faculty of Geography and Resources Science Sichuan Normal University Chengdu Sichuan China Institute of Mountain Hazards and Environment Chinese Academy of Sciences Chengdu Sichuan China graduate university of the Chinese Academy of Sciences Beijing China Information Center of Land and Resources Department of Sichuan Province Chengdu Sichuan China

By means of combining auto-extraction with manual interpretation, the current distribution information about cultivated land is obtained. The distribution information of 1992.is extracted from the dynamic polygons of 2.02. The monitoring mini-system of the cultivated slope land is established. In the system, detailed surveys, focused on the resources of cultivated slope land, are carried out. The results indicate that the area of the cultivated slope land is very large. Meanwhile, there are lots of cultivated steep slopes with gradient above 3.°. The areas of steep land cultivated had been slowly reduced from 1992.to 2.02. At the same time, the pressures of returning farm land to forestry are great in all counties. The conflicts between population growth, insufficient grain supply and stagnant economic development sharpen increasingly. It is inevitable to improve the agricultural structure.

关键词： slope land cultivated remote sensing geography information system (GIS) the pressure of returning farm land to forestry Three Gorges Reservoir Area

Application of the moist vorticity vector in the analysis of a heavy rainfall event in North China

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第12期17卷 1457-1465页

作者： Zhao Yu1,2.3. Wang Jianguo4.and Xue Deqiang2.1. Laboratory of Cloud-Precipitation Physics and Severe Storms, Institute of Atmospheric Physics, Chinese Academy of Sciences, {3. 10002., China 2. Shandong Provincial Meteorological Observatory, Jinan 2.003., China 3. {2. university of Chinese Academy of Sciences, {3. 10003., China 4. Shandong Provincial Meteorological Bureau, Jinan 2.003., China) Laboratory of Cloud-Precipitation Physics and Severe Storms Institute of Atmospheric Physics Chinese Academy of Sciences Beijing 100029 China Shandong Provincial Meteorological Observatory Jinan 250031 China graduate university Chinese Academy of Sciences Beijing 100039 China Shandong Provincial Meteorological Bureau Jinan 250031 China

The moist vorticity vector (MVV), defined as (ζa×▽qv)/ρ introduced by Gao et al. is used to study a heavy rainfall event in North China. The MVV has zonal, meridional and vertical components in a three-dimensional framework. Analysis of domain-mean and mass-integrated quantities shows that the variation of the vertical component of the MVV closely follows the variation of the cloud hydrometeors, with a linear correlation coefficient of 0.95, indicating that the vertical component of the MVV is strongly associated with midlatitude convection. Further analysis shows that the vertical component of the MVV reflects the interaction between the horizontal vorticity and the horizontal specific humidity gradient, which can associate dynamic and thermodynamic processes with cloud microphysical processes. Thus, this study can help to understand how the interaction between circulations and clouds aids the development of convection, and the MVV can be used to trace the development and evolution of heavy rainfall.

关键词： moist vorticity vector heavy rainfall modeling study.