检索结果-南通市图书馆

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,{2. 2. institute of Computing Technology, Chinese Academy of Sciences, beijing 100080,{2. 3. institute of Software, Chinese Academy of Sciences, beijing 100080,{2. 4. Graduate University of Chinese Academy of Sciences, beijing 100049,{2. 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.

Technical development of proteomics

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1999年第16期44卷 1441-1447页

作者： WAN Jinghong and he Fuchu1.Chongqing Medical University, Chongqing 400046, china 2. {2. institute of Radiation Medicine, {2. 100850, china Corresponding author Chongqing Medical University Chongqing China beijing institute of Radiation Medicine Beijing China

Proteome research is an important complementarity for the genome research, which uses quantitative protein-level measurements to characterize biological process. Proteome techniques include two aspects. One is two-dimensional electrophoresis, which is the unique technology to separate the components of proteome. The other is identification of the

关键词： proteome two-dimensional electrophoresis image analysis peptide-mass fingerprinting database.

Density functional theory study of the reaction paths of reactions of CH3.（O）O2.radicals with HO2.in the gas phase

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第12期16卷 1269-1274页

作者： ZHOU Yuzhi~ 1,2., ZHANG Shaowen~1 and LI Qianshu~1**(1. State Key Laboratory of Explosion Science and Technology, beijing institute of Technology, beijing 100081, china 2. beijing institute of Education, beijing 100044, china) State Key Laboratory of Explosion Science and Technology Beijing Institute of Technology Beijing 100081 China beijing institute of Education Beijing 100044 China

A DFT study on the reactions between CH_3.（O）O_2.nd HO_2.adicals has been carried out. It is suggested that both the triplet and singlet potential surfaces involve a complex mechanism with the formation of loosely bound intermediate complexes of reactants and products. The reaction prefers to occur on the triplet surface to produce peracetic acid (CH_3.（O）O_2.) and triplet O_2.olecule. The CH_3.（O）O_2. can further convert into CH_3.（O）O and HO radicals.

关键词： acetyl peroxy radicals HO2.radicals reaction mechanism DFT.

Pattern phenomena in an rf discharge dusty plasma system

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2006年第5期49卷 588-596页

作者： HUANG Feng1,2. YE Maofu2.& WANG Long2.1. College of Science,{3. Agricultural University, beijing 100083.{3. 2. institute of Physics, Chinese Academy of Sciences, beijing 100080,{3. College of Science China Agricultural University Beijing China institute of Physics Chinese Academy of Sciences Beijing China

Various dust patterns are observed in an rf discharge dusty plasma system. According to the dust growth process from small to large in size, the formation of different dust patterns can be divided into two stages: the small-particle stage (or dust cloud stage), and the large-particle stage (or dust crystal stage). The evolution relations between different dust patterns with gas pressure changing are investigated. Dust voids, dust acoustic waves and strong turbulence modes are presented at the small-particle stage. The self-organized dust lattices and dust clusters are investigated at the large-particle stage. The static structure of a dust lattice is characterized by means of the pair correlation function. Dust clusters formed by particles with different numbers and the regular evolution of the clusters with gas pressure are also investigated. The packing sequences of dust clusters are verified through two-dimensional confined molecular dynamics simulations.

关键词： dusty plasma dust patterns

U-Pb dating of zircon from the bed parallel anatectic granitic intrusion in the Baoban group in Hainan Island and the tectonic implication

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2005年第12期48卷 2092-2103页

作者： DING Shijiang1, HU Jianmin2. SONG Biao3.4, CheN Mulun1, XIE Shengzhou1 & FAN Yuan1 1. Geological Surveying {2. of Hainan, Haikou 5702.6, china 2. {2. of Geomechanics, Chinese Academy of Geological Sciences, beijing 100081, china 3. beijing Center of SHRIMP, beijing 10003., china 4. {2. of Geology, Chinese Academy of Geological Sciences, beijing 10003., china Geological Surveying institute of Hainan Haikou China institute of Geomechanics Chinese Academy of Geological Sciences Beijing China beijing Center of SHRIMP Beijing China institute of Geology Chinese Academy of Geological Sciences Beijing China

The petrological and geochemical features of the bed parallel granitic intrusion in the Pre-Cambrian Baoban group in Hainan Island attest to the anatexis origin of the granites. U-Pb dating analyses of zircons from the anatectic granite and the biotite two-feldspar gneiss in the Baoban group, using SHRIMP II in the beijing Ion-probe Center, acquire 2.6Pb/2.8U ages of 3.8±3.5 Ma (of granite, 95% confidence level, MSDW=1.2.) and 3.2.9±6.1 Ma (of gneiss, 95% confidence level, MSDW = 2.04) respectively. The two late Devonian ages indicate consistently a tectonic- thermal event experienced in Hainan Island, and are the first discovered record of the Devonian geological process in the district. This event possibly resulted from the deep ther-mal-dynamic process when the Gondwana continent began to break up in the Devonian period.

关键词： Hainan Island, Devonian period, anatectic granite, zircon SHRIMP U-Pb dating.

Measurement Methodology for Monitoring Fouling Resistance in Condenser of Chiller

在线全文

学校读者我要写书评

暂无评论

湖南大学学报（自然科学版） 2009年第S1期36卷 119-122页

作者： YU Dan1,3.GAN Li-si1,CAO Yong2.1.beijing University of Technology,beijing 10002.,{2. 2.Build Environment and Energy Efficiency,{2. Academy of Building Research,beijing 100013.{2. 3.beijing institute of Civil Engineering and Architecture,beijing 100044,{2.) beijing University of Technology Beijing 100022 China beijing institute of Civil Engineering and Architecture Beijing 100044 China Build Environment and Energy Efficiency China Academy of Building Research Beijing 100013 China

This paper established an on-line monitoring model for fouling resistance of cooling water based on heat transfer theory,which was mainly applied to the fouling resistance test for condenser of chiller in operation,and the test requirements were *** proves that the load ratio of chiller has big influence on the test result,and the best load ratio for test is the range of 80%～100%.A case has been executed to validate the model's feasibility.

关键词： fouling resistance monitoring condenser cooling water

Carbon isotope ratios of C_(4) plants in loess areas of North china

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2006年第1期49卷 97-102页

作者： WANG Guoan1,2.3. HAN Jiamao 2. ZHOU Liping3. XIONG Xiaogang4, TAN Ming2. WU Z{3.nhai5 & PENG Jun6 1. Department of Plant Nutrition, china Agricultural University, {2. 100094, china 2. institute of Geology and Geophysics, Chinese Academy of Sciences, {2. 10002., china 3. College of Environmental Sciences, MOE Laboratory for Earth Surface Processes, Peking University, {2. 100871, china 4. institute of Botany, Chinese Academy of Sciences, {2. 100093. china 5. Northwest Sci-Tech University of Agriculture and Forestry, Yangling 712.00, china 6. Network Center, china Agricultural University, {2. 100094, china Department of Plant Nutrition China Agricultural University Beijing China institute of Geology and Geophysics Chinese Academy of Sciences Beijing China College of Environmental Sciences MOE Laboratory for Earth Surface Processes Peking University Beijing China institute of Botany Chinese Academy of Sciences Beijing China Northwest Sci-Tech University of Agriculture and Forestry Yangling China Network Center China Agricultural University Beijing China

Carbon isotope ratios (δ^(13.C) of 89 C_4 plant samples were determined fromthe loess area in North china. δ^(13.C values vary between -10.5per thousand and -14.6per thousandwith a mean of -12.6per thousand. Along a precipitation gradient from the semi-moist area to thesemiarid area, then to the arid area, the δ^(13.C values of C_4 plants show a slight decreasingtrend. The δ^(13.C values of C_4 plants in the dry season are found lower than those in the wetseason. These trends are opposite to those observed for C_3.species.

关键词： C4 plants, carbon isotope ratios, loess area.

Application of the moist vorticity vector in the analysis of a heavy rainfall event in North{3.

在线全文

学校读者我要写书评

暂无评论

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 Atmosp{3.ric Physics, Chinese Academy of Sciences, {2. 10002., china 2. Shandong Provincial Meteorological Observatory, Jinan 2.003., china 3. Graduate University of Chinese Academy of Sciences, {2. 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{2.. 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.

Three industries and wastewater and COD discharge of beijing

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2000年第4期12卷 474-477页

作者： WANG Yan 1, WANG Hong rui 2. NING Da tong 2.(1. beijing Municipal Research {3. of Environmental Protection, beijing 10003., china 2. {3. of Environmental Sciences, beijing Normal University, beijing 100875, china) 北京市环境保护所北京 1 0 0 0 3 北京师范大学北京 1 0 0 875

With the swift development of economy, the water quality of {2. is becoming worse day by day and hampers the sustainable development obviously. In this paper, the current conditions of the municipal wastewater structure in the industrial sectors are analysed and discussed in terms of the indicators, such as direct wastewater\|discharge coefficient, complete wastewater\|discharge coefficient, direct discharge coefficient of COD and complete discharge coefficient of COD, by taking a year of 1990s as the base year. Some countermeasures are studied and the corresponding recommendations are put forward in order to improve the water environment in {2.. This provides a scientific ground for coordinating the relationship between the aquatic environment and economic growth in this city.

关键词： direct wastewater discharge coefficient (DWDC) complete wastewater discharge coefficient (CWDC) direct discharge coefficient of COD(DDC of COD) complete discharge coefficient of COD (CDC of COD)