检索结果-南通市图书馆

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. graduate university of chinese academy of sciences, beijing 1.0049, 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.

SUSPENDED SEDIMENT TRANSPORT IN THE OFFSHORE NEAR YANGTZE ESTUARY

在线全文

学校读者我要写书评

暂无评论

Journal of Hydrodynamics 2008年第3期20卷 373-381页

作者： CHEN Bin WANG Kai Institute of Oceanology Chinese Academy of Sciences Qingdao 266071 China graduate university of the chinese academy of sciences Beijing 100039 China

Based on the Estuarine, Coastal and Ocean Modeling System with Sediments （ECOMSED） model, a 3-D hydrodynamic-transport numerical model was established for the offshore area near the Yangtze Estuary in the East china Sea .The hydrodynamic module was driven by tide and wind. Sediment module included sediment resuspension, transport and deposition of cohesive and non-cohesive sediment. The settling of cohesive sediment in the water column was modeled as a fimction of aggregation （flocculation） and deposition. The numerical results were compared with observation data for August, 2006. It shows that the sediment concentration reduces gradually from the seashore to the offshore area. Numerical results of concentration time series in the observation stations show two peaks and two valleys, according with the observation data. It is mainly affected by tidal current. The suspended sediment concentration is related to the tidal current during a tidal cycle, and the maximum concentration appears 1 h-4 h after the current maximum velocity has reached.

关键词： Yangtze Estuary sediment concentration sediment transport

Mass Spectrometric Evidence of Heparin Disaccharides for the Catalytic Characterization of A Novel Endolytic Heparinase

在线全文

学校读者我要写书评

暂无评论

Acta Biochimica et Biophysica Sinica 2004年第12期36卷 840-844页

作者： Yapeng CHAO1,3, Shaoxiang XIONG2, Xiulan CHENG1, and Shijun QIAN1* 1Institute of Microbiology, chinese academy of sciences, beijing 100080, china 2Center of Mass Spectrometry, Institute of Chemistry, chinese academy of sciences, beijing 100080, china 3graduate School of the chinese academy of sciences, beijing 100039, china Institute of Microbiology Chinese Academy of SciencesBeijing 100080 China graduate School of the chinese academy of sciencesbeijing 100039 China Center of Mass Spectrometry Institute of Chemistry Chinese Academy of SciencesBeijing 100080 China

Heparinase from different sources can eliminate heparin or/and heparan sulfate into various low-molecular weight heparins with different characteristics. Porcine intestinal mucosa heparin was de- graded into a series of oligosaccharides by a novel heparinase from the species Sphingobacterium. Disaccha- ride components from the digests were separated and purified by ultrafiltration and HPLC. Five major peaks appeared as three types according to their retention time. The mass spectrometry of peak I mainly gave the non-sulfated disaccharide with the mass of 379 Da. Peak II and III were indicated as two major monosulfated disaccharides with molecular mass of 417 and 459 Da respectively. Moreover, the peak III represented an N- acetyl disaccharide. Both peak IV and V showed the same mass of 496 Da, hinting that they were disulfate- substituted disaccharides. No trisulfate-substituted disaccharides were detected in the mixture of the heparin digest though they were abundant in the heparin structure. The results revealed that the heparinase might specifically cut the sites with low sulfated domain in heparin.

关键词： electrospray ionization-mass spectrometry heparin disaccharides heparinase high perfor- mance liquid chromatography Sphingobacterium sp.

Discovery of immune related factors in Fenneropenaeus chinensis by annotation of ESTs

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2004年第1期14卷 48-55页

作者： SHEN Yaoqing 1,2 , XIANG Jianhai 1*, WANG Bing 1,2 , LI Fuhua 1 and TONG Wei 3(1. Experimental Marine Biology Laboratory, Institute of Oceanology, chinese academy of sciences, Qingdao 266071,china 2. graduate School of the chinese academy of sciences, beijing 100039, china 3. Genomics & Bioinformatics Institute, chinese academy of sciences, beijing 101300, china) chinese Acad Sci Inst Oceanol Expt Marine Biol Lab Qingdao 266071 Peoples R China chinese Acad Sci Grad Sch Beijing 100039 Peoples R China chinese Acad Sci Geonom & Bioinformat Inst Beijing 101300 Peoples R China

A total of 10446 expressed sequence tags (ESTs) are obtained by a large scale sequencing of a cDNA library from cephalothorax of adult Fenneropenaeus chinensis . An EST analysis platform was built up based on local computers and bioinformatic techniques were used to annotate these ESTs in order to promptly find possible functional genes, especially for immune related factors. About 4% of the ESTs show similarity to the coding sequences of such factors, including lectin, serine protease, serpin, lysozyme, etc. These ESTs provide a partial profile of the immune system in F. chinensis and useful information for further study on these genes.

关键词： Fenneropenaeus chinensis bioinformatics ESTs immune factors

Quantitative analysis of soil pores under natural vegetation successions on the Loess Plateau

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Earth sciences 2010年第4期53卷 617-625页

作者： ZHAO ShiWei1,ZHAO YongGang1,2 & WU JinShui3 1 State Key Laboratory of Soil Erosion and Dryland Farming on the Loess Plateau,Institute of Soil and Water Conservation,Northwest Agriculture & Forestry university,Yangling 712100,china 2 graduate university of chinese academy of sciences,beijing 1.0049,china 3 Institute of Subtropical Agriculture,chinese academy of sciences,Changsha 410125,china State Key Laboratory of Soil Erosion and Dryland Farming on the Loess Plateau Institute of Soil and Water Conservation Northwest Agriculture & Forestry University Yangling China graduate university of chinese academy of sciences Beijing China Institute of Subtropical Agriculture Chinese Academy of Sciences Changsha China

Soil pore is a key attribute of the soil structure that affects soil reservoir under natural vegetation recovery on the Loess *** study is to quantitatively analyze soil pore parameters,measured with Computed Tomography(CT) at 15-57 mm depths under five different vegetation succession stages using a concept of substituting "space" for "time" in the Ziwuling Forest Region of the Loess *** results showed that the soil pore parameters,such as pore number,porosity,circularity,and fractal dimension,increased significantly under the natural vegetation successions and varied with the pattern climax community stage>pioneering arbor community stage>scrub community stage>herbaceous community stage>abandoned farmland stage,indicating that natural vegetation recovery could remarkably improve soil pore *** the vegetation succession,this positive effect will be strengthened gradually,which means that the soil pore parameters may appear to be best at the climax community *** organic matter content increased linearly with the soil pore parameters(P<0.001).Increased organic matter accumulation was one of the major reasons for the changes in soil pore characteristics in natural vegetation succession.

关键词： Computed Tomography Loess Plateau natural vegetation succession soil pore soil organic matter

A Test on Different Types of the Time Curve of Hardness Ratio of Gamma-Ray Bursts based on the Curvature Effect

在线全文

学校读者我要写书评

暂无评论

chinese Journal of Astronomy and Astrophysics 2008年第4期8卷 451-464页

作者： Lan-Wei Jia National Astronomical Observatories/Yunnan Observatory,chinese academy of sciences,Kunming 650011,china graduate School of chinese academy of sciences,beijing 1.0049,china National Astronomical Observatories/ Yunnan Observatory Chinese Academy of Sciences Kunming 650011 China graduate School of chinese academy of sciences Beijing 100049 China

We analyzed a sample of 66 gamma-ray bursts （GRBs） and statistically confirmed the prediction on the time curve of the hardness ratio of GRBs made by Qin et al. based on the curvature effect. In their analysis, GRB pulses are divided into three types according to the shape of their raw hardness ratio （RHR） time curves, defined as to include the background counts to the signal counts, so as to make use of counts within small time intervals. Of the three types, very hard sources exhibit a perfect pulse-like profile （type 1）, hard bursts possess a pulse-like profile with a dip in the decay phase （type 2）, and soft bursts show no pulse-like profile but have only a dipped profile （type 3）. In terms of the conventional hardness ratio, type 3 sources are indeed generally softer than those of type 1 and type 2, in agreement with the prediction. We found that the minimum value of RHR is sensitive in distinguishing the different types. We propose that GRB pulses can be classified according to the minimum value of RHR and that the different type sources may be connected with different strengths of the shock or/and the magnetic field.

关键词： gamma-rays burst -- gamma-rays observations - methods statistical

Sea level variations in the South china Sea inferred from satellite gravity,altimetry,and oceanographic data

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2012年第10期55卷 1696-1701页

作者： FENG Wei 1,2,ZHONG Min 1,3 & XU HouZe 1,3 1 State Key Laboratory of Geodesy and Earth’s Dynamics,Institute of Geodesy and Geophysics,chinese academy of sciences,Wuhan 430077,china 2 graduate university of chinese academy of sciences,beijing 1.0049,china 3 Institute of Geophysics,Huazhong university of Science and Technology,Wuhan 430074,china State Key Laboratory of Geodesy and Earth’s Dynamics Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan China graduate university of chinese academy of sciences Beijing China Institute of Geophysics Huazhong University of Science and Technology Wuhan China

Sea level variations(SLVs) can be divided into two major components:the steric SLV and the mass-induced *** two components of SLV in the South china Sea(SCS) are studied by using satellite altimetry,GRACE(Gravity Recovery and Climate Experiment) satellite gravity,and oceanographic data on annual and inter-annual *** the annual timescale,the geographic distribution of mass-induced SLV's amplitude jointly estimated from altimetry and the ECCO(Estimation of the Circulation and Climate of the Ocean) model agrees very well with that from *** observes obvious seasonal mass-induced SLV in the SCS with annual amplitude of 2.7±0.4 cm,which is consistent with the annual amplitude of 2.7±0.3 cm estimated from the steric-corrected *** the inter-annual timescales,the mean SLV in the SCS shows a large oscillation,which is mainly caused by the steric *** trend of mean SLV inferred from altimetry in the SCS is 5.5±0.7 mm/yr for the period of 1993-2009,which is significantly higher than the global sea level rise rate of 3.3±0.4 mm/yr in the same *** is no obvious trend signal in the mass-induced SLV detected from GRACE that indicates the water exchange between the SCS and its adjacent seas and land is in balance within the study period.

关键词： altimetry GRACE ECCO the South china Sea sea level variation

CONVERGENCE OF VORTEX METHODS FOR 3-D EULER EQUATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第3期18卷 239-250页

作者： Jia-fu Lin (Institute of System Science, academy of Mathematics and System sciences, chinese academy of sciences, beijing, 100080, china School of Mathematical sciences, Peking university, beijing 100871, china) 中科院系统科学所北京 100080

Presents a study on the convergence of vortex methods for the three-dimensional Euler equations in bounded domains. Related studies on the convergence of vortex methods; Formulation of vortex methods; Convergence for ... 详细信息

关键词： Euler equations vortex methods convergence initial-boundary value problem

Regional soil moisture simulation for Shaanxi Province using SWAT model validation and trend analysis

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2010年第4期53卷 575-590页

作者： LI MingXing1,2,MA ZhuGuo1 & DU JiWen3 1 Key Laboratory of Regional Climate-Environment Research for Temperate East Asia,Institute of Atmospheric Physics,chinese academy of sciences,beijing 100029,china 2 graduate university of chinese academy of sciences,beijing 1.0049,china 3 Shaanxi Administration of Meteorology,Xi’an 710014,china Key Laboratory of Regional Climate-Environment Research for Temperate East Asia Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China graduate university of chinese academy of sciences Beijing China Shaanxi Administration of Meteorology Xi’an China

The soil moisture in Shaanxi Province,a region with complex topography,is simulated using the distributed hydrological model Soil Water Assessment Tool(SWAT).Comparison and contrast of modeled and observed soil moisture show that the SWAT model can reasonably simulate the long-term trend in soil moisture and the spatiotemporal variability of soil moisture in the *** to NCEP/NCAR and ERA40 reanalysis of soil moisture show that the trend of variability in soil moisture simulated by SWAT is more consistent with the *** model results suggested that high soil moisture in surface soil layers appears in the southern Shaanxi with high vegetation cover,and the Qinling mountainous region with frequent orographic *** deeper soil layers,high soil moisture appears in the river basins and *** regional soil moisture showed a generally decreasing trend on all soil layers from 1951 to 2004,with a stronger and significant decreasing trend in deeper soil layers,especially in the northern parts of the province.

关键词： SWAT soil moisture content simulation validation trend analysis