检索结果-南通市图书馆

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., {4. 100080, China 2. Institute of Computing Technology, chinese academy of {3., {4. 100080, China 3. Institute of Software, chinese academy of {3., {4. 100080, China 4. graduate university of chinese academy of sciences,{14., 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 {3. of {4. 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.

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 {3., Wuhan 4.0077, China 2. Key Laboratory of Dynamic Geodesy, Institute of Geodesy and Geophysics, chinese academy of {3., Wuhan 4.0077, China 3. graduate School of chinese academy of {3.,{13., China 4. Department of Surveying and Mapping, Taiyuan university of Technology, Taiyuan 03.024. China 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 {3. 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

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,{3. {4.,China 2 Theoretical Physics Center for Science Facilities,chinese academy of sciences,{3. {4.,China 3.graduate university of chinese academy of sciences,{3. {4.,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 {3. of {4. 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

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 {3., Guangzhou 51064., China 2. {3. {4. of chinese academy of {3., beijing 10003., China 3. SHRIMP isotope Laboratory, chinese academy of Geological {3., beijing 10003., China 4. Institute of Geology and Geophysics, chinese academy of {3., beijing 100029, China Key Laboratory of Isotope Geochronology and Geochemistry Guangzhou Institute of Geochemistry Chinese Academy of Sciences Guangzhou China graduate university of chinese {3. of {4. 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.

Geometry of Broad Line Regions of Active Galactic Nuclei

在线全文

学校读者我要写书评

暂无评论

chinese Journal of Astronomy and Astrophysics 2008年第1期8卷 50-62页

作者： Xiao-Rong Lü1 Key Laboratory for Particle Astrophysics, Institute of High Energy Physics, chinese academy of sciences,{3. 2 {4. School of chinese academy of sciences,{3. Key Laboratory for Particle Astrophysics Institute of High Energy Physics Chinese Academy of Sciences Beijing 100049 graduate School of chinese academy of {3. Beijing 100049

It has long remained an open question as to the geometry of the broad line region （BLR） in active galactic nuclei （AGNs）. The reverberation mapping technique which measures the response of the broad emission lines to the ionizing continuum, when combined with multiwavelength continuum fitted by sophisticated accretion disks, provides a way of probing the BLR geometry. We analyze a sample of 3. AGNs, which have been monitored by the reverberation mapping campaign. In view of energy budget, the reverberation-based BH masses are found to be in agreement with those obtained by accretion disk models in two thirds of the present sample while the reverberation mapping methods underestimate the BH masses in about one third of objects, as also suggested by CoUin et al. in a recent work. We point out that there are obviously two kinds of BLR geometry, which are strongly dependent on the Eddington ratio, and separated by the value LBol/LEdd - 0.1. These results prefer a scenario of the disk and wind configuration of the BLR and identify the Eddington ratio as the physical driver regulating the wind in the BLR.

关键词： accretion, accretion disks - galaxies active - galaxies Seyfert - quasars general

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 academy of sciences,{3. {4.,China 2 graduate university of chinese academy of sciences,{3. {4.,China 3.Key Lab of Nuclear Detection Technology and Nuclear Electronics of chinese academy of sciences,{3. {4.,China Institute of High Energy Physics Chinese Academy of Sciences Beijing China graduate university of chinese {3. of {4. Beijing China Key Lab of Nuclear Detection Technology and Nuclear Electronics of chinese academy of sciences Beijing China

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

Structure of augmentation quotients of finite homocyclic abelian groups

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2007年第9期50卷 1280-1288页

作者： Guo-ping TANG School of Mathematical sciences,graduate university of {3. {4. of sciences,beijing 100049,China School of Mathematical sciences Graduate University of Chinese Academy of Sciences Beijing China

Let G be a finite abelian group and its Sylow p-subgroup a direct product of copies of a cyclic group of order p r , i.e., a finite homocyclic abelian group. Let Δ n (G) denote the n-th power of the augmentation ideal Δ(G) of the integral group ring ?G. The paper gives an explicit structure of the consecutive quotient group Q n (G) = Δ n (G)/Δ n+1(G) for any natural number n and as a consequence settles a problem of Karpilovsky for this particular class of finite abelian groups.

关键词： integral group ring augmentation ideal consecutive quotient of augmentation ideal 16S3. 20C05

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 6100{3., Sichuan, China 2. {3. {{3. of chinese academy of sciences, beijing 100049, China 3. Institute of Geographical sciences and Natural Resources Research, chinese academy of sciences, beijing 100101, China Institute of Mountain Hazards and Environment Chinese Academy of Sciences Chengdu Sichuan China graduate university of chinese {3. of {4. Beijing China Institute of Geographical sciences and Natural Resources Research Chinese Academy of Sciences Beijing 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)

Observation results of relativistic electrons detected by Fengyun-1 satellite and analysis of relativistic electron enhancement (REE) events

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2008年第12期51卷 1947-1956页

作者： YANG XiaoChao1,2↑ & WANG ShiJin1 1 Center for Space Science and Applied Research, chinese academy of sciences, {3. 100190, China 2 {4. university of chinese academy of sciences, beijing 100049, China Center for Space Science and Applied Research Chinese Academy of Sciences Beijing China graduate university of chinese {3. of {4. Beijing China

The space particle component detector on Fengyun-1 satellite which works at the sun-synchronous orbit of about 870 km altitude has detected relativistic electrons for a long time. In comparison with the SAMPEX satellite observations during 1999–2004. the relativistic electron data from Fengyun-1 satellite from June 1999 to 2005 are used to analyze the relativistic electron enhancement (REE) events at the low earth orbit, and the possible correlation among REE events at the low earth orbit, high-speed solar wind and geomagnetic storms is discussed. The statistical result presents that 4. REE events are found in total during this time period, and the strong REE events with the maximum daily average flux > 4.0 cm?2·srt-1·s?1 occur mostly during the transition period from solar maximum to solar minimum. Among these 4. REE events, four strong REE events last a longer time period from 26-to 51-day and correlate closely with high speed solar wind and strong geomagnetic storms. Meanwhile, several strong geomagnetic storms occur continuously before these REE events, and these continuous geomagnetic storms would be an important factor causing these long-lasting strong REE events. The correlation analysis for overall 4. events indicates that the strength of the REE events correlates with the solar wind speed and the strength of the geomagnetic storm, and the correlation for strong REE events is much stronger than that for weak REE events.

关键词： relativistic electron enhancement low earth orbit high-speed solar wind geomagnetic storm