检索结果-南通市图书馆

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 {3., beijing 100080, china 2. Institute of Computing Technology, chinese academy of {3., beijing 100080, china 3. Institute of Software, chinese academy of {3., beijing 100080, china 4. Graduate University of chinese academy of {3., beijing 100049, china academy of Mathematics and Systems Science Chinese Academy of Sciences Institute of Computing Technology Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences Graduate University of chinese academy of sciences

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.

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 academy of sciences, Wuhan 4.0}077,{3. 2. Key Laboratory of Dynamic Geodesy, Institute of Geodesy and Geophysics, chinese academy of sciences, Wuhan 4.0}077,{3. 3. Graduate School of chinese academy of sciences, beijing 100049,{3. 4. Department of Surveying and Mapping, Taiyuan University of Technology, Taiyuan 03.024.{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

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 {4., Guangzhou 51064.,{3. 2. Graduate University of chinese academy of {4., beijing 10003.,{3. 3. SHRIMP isotope Laboratory, chinese academy of Geological {4., beijing 10003.,{3. 4. Institute of Geology and Geophysics, chinese academy of {4., beijing 100029,{3. 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 (02DX-13.) and southern (20JH-10) Lincang batholith show the single and tight clusters on the concordia, and yield the weighted mean 206Pb/23.U ages of 229.4.± 3.0 Ma and 23..4.± 3.6 Ma, respectively, representing the crystallized ages of these granites. The zircons for the rhyolitic sample (02DX-95) from the Manghuai Formation give a weighted mean 206Pb/23.U age of 23..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 (~23. Ma) and were originated from the postcollisional tectonic regime. An early Proterozoic 206Pb/23.U 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.

A 12-bit multichannel ADC for pixel detectors in particle physics and nuclear imaging

在线全文

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2010年第5期53卷 1208-1214页

作者： WEI Wei1,2,3.WANG Zheng1,3.& ZHAO JingWei1,3.1 Institute of High Energy Physics,chinese {4. of sciences,{3. 100049,china 2 Graduate University of chinese {4. of sciences,{3. 100049,china 3.Key Lab of Nuclear Detection Technology and Nuclear Electronics of chinese {4. of sciences,{3. 100049,china Institute of High Energy Physics Chinese Academy of Sciences Graduate University of chinese academy of sciences Key Lab of Nuclear Detection Technology and Nuclear Electronics of chinese academy of sciences

Modern pixel detectors in nuclear and particle physics experiments and also in nuclear imaging,starve for highly integrated application specified integrated circuit(ASIC),whereas in china the study of ASIC still stays far away from practical *** lack of ASIC strictly limits the research and development of domestic high energy physics field.A 12-bit multichannel ADC designed for high density readout is introduced as a major candidate for solution.A precise model is discussed and the simulation fully agrees with the model,which indicates a key principle of *** is performed according to the given rule,and novel layout techniques are carried *** results in all aspects are also obtained,showing an excellent real performance,which satisfies the practical requirement.

关键词： application specified integrated circuit high density readout Wilkinson ADC multi-channel ADC

Teleconnection between the Indian summer monsoon onset and the Meiyu over the Yangtze River Valley

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2008年第7期51卷 1021-1035页

作者： LIU YunYun1,2,3.& DING YiHui2 1 chinese academy of Meteorological sciences, {3. 100081, china 2 National Climate Center, {3. 100081, china 3.Graduate University of chinese academy of sciences, beijing 100049, china chinese academy of Meteorological sciences Beijing China National Climate Center Beijing China Graduate University of chinese academy of sciences Beijing China

Based on the Indian and chinese precipitation data and the NCEP-NCAR reanalysis circulation data, the relationship between the Indian summer monsoon (ISM) onset and the Meiyu over the Yangtze River Valley has been discussed by the methods of correlation analysis and composite analysis. The results show that the date of ISM onset over Kerala in the southwestern coast of the Indian Peninsula is about two weeks earlier than the beginning of the Meiyu over the Yangtze River Valley. After the outbreak of ISM, the teleconnection mode sets up from the western coast of India via the Bay of Bengal (BOB) to the Yangtze River Valley and southern Japan. It is different both in time and space from the telecon- nection mode which is from the northwest of India via the Tibetan Plateau to northern china. The for- mer mode is defined as the "south" teleconnection of the Asian summer monsoon, forming in the pe- riod of ISM onset; while the latter mode is called the "north" teleconnection, mainly occurring in the Asian monsoon culminant period. During the process of the "south" teleconnection’s formation, the Asian monsoon circulation has experienced a series of important changes: ISM onset, the northward movement of the south Asia high (SAH), the onset vortex occurrence, the eastward extension of the stronger tropical westerly belt, and the northeastward jump of the western Pacific subtropical high (WPSH), etc. Consequently, since ISM sets up over Kerala, the whole Asian continent is covered by the upper SAH after about two weeks, while in the mid- and lower troposphere, a strong wind belt forms from the Arabian Sea via the southern India, BOB and the South china Sea (SCS), then along the western flank of WPSH, to the Yangtze River Valley and southern Japan. With the northward moving of the subtropical jet streams, the upper westerly jet stream and the low level jet have been coupled ver- tically over east Asia, while the Yangtze River Valley happens to locate in the ascending motion

关键词： Indian summer monsoon (ISM) the Meiyu over the Yangtze River Valley teleconnection mode

Infrared Galaxies in the Nearby Universe

在线全文

学校读者我要写书评

暂无评论

chinese Journal of Astronomy and Astrophysics 2008年第6期8卷 643-652页

作者： Jian-Ling Wang 1 National Astronomical Observatories,chinese academy of sciences,{3. 100012,{4. 2 Graduate School of chinese academy of sciences,{3. 100049,{4. National Astronomical Observatories Chinese Academy of Science

We used the Sloan Digital Sky Survey （SDSS） Data Release 5 （DR5） to study the morphological properties of 113. nearby infrared （IR） galaxies, most of which are brighter than 15.9 mag in r-band. This sample was drawn from a cross-correlation of the Infra-Red Astronomical Satellite （IRAS） point source catalog redshift survey with DR5 at z ≤ 0.08. Based on this IR galaxy sample, we constructed five volume-limited sub-samples with IR luminosity ranging from 10^9.5 L⊙ to 10^12L⊙. By deriving the IR luminosity functions （LF） for different morphological types, we found that normal spiral galaxies are the dominant population below LIR ~ 8 ~ 10^10 L⊙; while the fraction of barred spiral galaxies increases with increasing IR luminosity and becomes dominant in spiral galaxies beyond LIR ≈ 5 × 10^10L⊙. As the IR luminosity decreases, the IR galaxies become more compact and have lower stellar masses. The analysis also shows that normal spiral galaxies give the dominant contribution to the total comoving IR energy density in the nearby universe, while, in contrast, the contribution from peculiar galaxies is only 3.%.

关键词： galaxies evolution galaxies interactions galaxies starburst infrared galaxies galaxies luminosity function

Debris Flow Hazard Assessment Based on Support Vector Machine

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural sciences 2006年第4期11卷 897-900页

作者： YUAN Lifeng 1, 2 , ZHANG Youshui 3. 1. Institute of Mountain Hazards and Environment, chinese academy of sciences, Chengdu 61004., Sichuan,{3. 2. Graduate University of chinese academy of sciences, beijing 100049,{3. 3. Institute of Geographical sciences and Natural Resources Research, chinese academy of sciences, {13. 100101,{3. Institute of Mountain Hazards and Environment Chinese Academy of Sciences Chengdu 610041 Sichuan China ***

Seven factors, including the maximum volume of once flow , occurrence frequency of debris flow , watershed area , main channel length , watershed relative height difference , valley incision density and the length ratio of sediment supplement are chosen as evaluation factors of debris flow hazard degree. Using support vector machine （SVM） theory, we selected 259 basic data of 3. debris flow channels in Yunnan Province as learning samples in this study. We create a debris flow hazard assessment model based on SVM. The model was validated though instance applications and showed encouraging results.

关键词： debris flow hazard assessment support vector machine (SVM)

Narrow line Seyfert 1 galaxies: where are the broad line regions?

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2010年第12期53卷 2307-2311,2339-2343页

作者： MAO WeiMing 1,2,3., HU Chen 2 , WANG JianMin 2 , BIAN WeiHao 4., ZHANG Shu 2 & ZHAO Gang 1 1 Key Laboratory of Optical Astronomy, National Astronomical Observatories, chinese academy of sciences, {3. 100012, china 2 Key Laboratory for Particle Astrophysics, Institute of High Energy Physics, chinese academy of sciences, beijing 100049, china 3.Graduate University of the chinese academy of sciences, beijing 100049, china 4.Department of Physics, Nanjing Normal University, Nanjing 210011, china chinese academy of sciences Key Laboratory of Optical Astronomy National Astronomical Observatories Beijing China (GRID:grid.9227.e) (ISNI:***) chinese academy of sciences Key Laboratory for Particle Astrophysics Institute of High Energy Physics Beijing China (GRID:grid.9227.e) (ISNI:***) Graduate University of the chinese academy of sciences Beijing China (GRID:grid.458514.9) chinese academy of sciences Key Laboratory for Particle Astrophysics Institute of High Energy Physics Beijing China (GRID:grid.9227.e) (ISNI:***) Nanjing Normal University Department of Physics Nanjing China (GRID:grid.260474.3) (ISNI:***) chinese academy of sciences Key Laboratory of Optical Astronomy National Astronomical Observatories Beijing China (GRID:grid.9227.e) (ISNI:***)

A sample consisting of 211 narrow line Seyfert 1 galaxies (NLS1s) with high quality spectra from the Sloan Digital Sky Survey (SDSS) is selected to explore where broad line regions are in these objects. We find that the Hβ profile can be fitted well by three (narrow, intermediate and broad) Gaussian components, and the FWHM ratios of the broad to the intermediate components hold a constant of 3.0 roughly for the entire sample. If the broad components originate from the region scaled by the well-determined Hβ reverberation mapping relation, we find that the intermediate components originate from the inner edge of the torus, which is scaled by dust K-band reverberation. We find that the IC and the BC are strongly linked dynamically, but the relation of their covering factors is much more relaxed, implying that both regions are clumpy.

关键词： black hole physics galaxies: evolution quasars: general

Simulations for terrestrial planets formation

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2009年第5期52卷 794-803页

作者： ZHANG Niu 1,2 &JI JiangHui 2,3.1Graduate University of chinese academy of sciences,{3. 100049,china 2Purple Mountain Observatory,chinese academy of sciences,Nanjing 210008,china 3.National Astronomical Observatories,chinese academy of sciences,{3. 100012,china Graduate University of chinese academy of sciences Beijing China Purple Mountain Observatory Chinese Academy of Sciences Nanjing China National Astronomical Observatories Chinese Academy of Sciences Beijing China

In this paper,the formation of terrestrial planets in the late stage of planetary formation is investigated using the two-planet *** that time,the protostar formed for about 3.Ma and the gas disk *** the model,the perturbations from Jupiter and Saturn are *** of the mass of outer planet,and the initial eccentricities and inclinations of embryos and planetesimals are also *** results show that,terrestrial planets are formed in 50 Ma,and the accretion rate is about 60%-80%.In each simulation,3.4.terrestrial planets are formed inside"Jupiter"with masses of 0.15 -3.6M⊕.In the 0.5-4.AU,when the eccentricities of planetesimals are excited,planetesimals are able to accrete material from wide radial *** plenty of water material of the terrestrial planet in the Habitable Zone may be transferred from the farther places by this *** could also happen a few times between two major planets only if the outer planet has a moderate mass and the small terrestrial planet could survive at some resonances over time scale of 10 8 *** one of our simulations,commensurability of the orbital periods of planets is very ***,a librating-circulating 3.2 configuration of mean motion resonance is found.

关键词： astrophysics exoplanet planetary formation n-body simulation