检索结果-南通市图书馆

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, {12. 10004.,{2. 1. Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080 China 3. institute of Software Chinese Academy of Sciences Beijing 100080 China 2. institute of Computing Technology Chinese Academy of Sciences Bejing 100080 China 4. Graduate University of Chinese Academy of sciences Beijing 100049 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.

Modeling of elastic wave propagation on a curved free surface using an improved finite-difference algorithm

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2004年第5期47卷 633-648页

作者： WANG Xiuming1,3 & ZHANG Hailan2.1. CSIRO Petroleum, ARRC, PO BOX 1130, Technology Park, Bentley, WA 6102. Australia 2. institute of acoustics, Chinese Academy of sciences,{2., china 3. Present address: institute of acoustics, Chinese Academy of sciences,{2., china 1. CSIRO Petroleum ARRC Technology Park PO BOX 1130 6102 Bentley WA Australia 2. institute of acoustics Chinese Academy of Sciences 100080 Beijing China

Based on existing direct and imaging methods of a staggered finite-difference scheme, an improved algorithm for staggered finite-difference is proposed to implement rugged topographic free boundary conditions. This method assumes that the free surface can be implemented with horizontal and vertical free surface segments and their corners; the free surface passes through the grid points of shear stress components, instead of the normal stress components. Imaging is carried out for stress components in both horizontal and vertical directions, thus increasing the accuracy. To update particle- velocities, imaging and updating are first performed in the horizontal direction, and then in the vertical direction. The numerical results for elastic flat horizontal free surface with the imaging method and those for flat free surfaces of various slope angles with the proposed method are compared, and are shown to be in good agreement. The advantage of the proposed method is that only the stresses are dealt with in implementing the free surface into the staggered algorithm, which improves computation efficiency.

关键词： elastic wave simulation, curved free surface, staggered finite-difference, algorithm stability.

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, china Agricultural University, {4. 100083, china 2. institute of Physics, Chinese Academy of sciences, beijing 100080, china 1. College of Science China Agricultural University Beijing 100083 China 2. institute of Physics Chinese Academy of Sciences Beijing 100080 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

Algebraically explicit analytical solu-tions for the unsteady non-Newtonian swirling flow in an annular pipe

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2006年第4期49卷 396-400页

作者： CAI Ruixian1 & GOU Chenhua1,2.1. institute of Engineering Thermophysics, Chinese Academy of sciences,{2.,{4. 2. Graduate School, Chinese Academy of sciences,{2.,{4. 1. institute of Engineering Thermophysics Chinese Academy of Sciences Beijing 100080 China 2. Graduate School Chinese Academy of Sciences Beijing 100080 China

This paper presents two algebraically explicit analytical solutions for the incompressible unsteady rotational flow of Oldroyd-B type in an annular pipe. The first solution is derived with the common method of separation of variables. The second one is deduced with the method of separation of variables with addition developed in recent years. The first analytical solution is of clear physical meaning and both of them are fairly simple and valuable for the newly developing computational fluid dynamics. They can be used as the benchmark solutions to verify the applicability of the existing numerical computational methods and to inspire new differencing schemes, grid generation ways, etc. Moreover, a steady solution for the generalized second grade rheologic fluid flow is also presented. The correctness of these solutions can be easily proven by substituting them into the original governing equation.

关键词： analytical solution, Oldroyd-B type fluid, swirling flow, non-Newtonian.

A mixed method for measuring low-frequency acoustic properties of macromolecular materials

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2006年第6期49卷 729-739页

作者： LIU Hongwei1,YAO Lei1,3,ZHAO Hong1,3,ZHANG Jichuan2.3 & XUE Zhaohong2.1. National Key Laboratory of acoustics,institute of acoustics,Chinese Academy of sciences,beijing 100080,china 2. institute of Chemistry,Chinese Academy of sciences,beijing 100080,china 3. Graduate University of Chinese Academy of sciences,beijing 10004.,china National Key Laboratory of acoustics Institute of Acoustics Chinese Academy of Sciences Beijing 100080 China institute of Chemistry Chinese Academy of Sciences Beijing 100080 China Graduate University of Chinese Academy of sciences Beijing 100049 China

A mixed method for measuring low-frequency acoustic properties of macro-molecular materials is presented. The dynamic mechanical parameters of materials are first measured by using Dynamic Mechanical Thermal Apparatus(DMTA) at low frequen-cies,usually less than 100 Hz; then based on the Principles of Time-Temperature Super-position (TTS),these parameters are extended to the frequency range that acousticians are concerned about,usually from hundreds to thousands of hertz; finally the extended dynamic mechanical parameters are transformed into acoustic parameters with the help of acoustic measurement and inverse analysis. To test the feasibility and accuracy,we measure a kind of rubber sample in DMTA and acquire the basic acoustic parameters of the sample by using this method. While applying the basic parameters to calculating characteristics of the sample in acoustic pipe,a reasonable agreement of sound absorp-tion coefficients is obtained between the calculations and measurements in the acoustic pipe.

关键词： low-frequency acoustic properties,dynamic mechanical properties,Principles of Time-Temperature Superposition,acoustic pipe,sound absorption coefficient.

Explicit analytical solutions of the anisotropic Brinkman model for the natural convection in porous media(Ⅱ)

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2005年第4期48卷 422-430页

作者： CAI Ruixian1, GOU Chenhua1, 2.& ZHANG Na1 1. institute of Engineering Thermophysics, Chinese Academy of sciences,{2.,{4. 2. Graduate School, Chinese Academy of sciences,{2.,{4. 1. institute of Engineering Thermophysics Chinese Academy of Sciences 100080 Beijing China 2. Graduate School Chinese Academy of Sciences 10080 Beijing China

Some algebraically explicit analytical solutions are derived for the anisotropic Brinkman model―an improved Darcy model―describing the natural convection in porous media. Besides their important theoretical meaning (for example, in analyzing the non-Darcy and anisotropic effects on the convection), such analytical solutions can be the benchmark solutions that can promote the development of computational heat and mass transfer. Some solutions considering the anisotropic effect of permeability have been given previously by the authors, and this paper gives solutions including the anisotropic effect of thermal conductivity and the effect of heat sources.

关键词： explicit analytical solution, porous medium, natural convection, Brinkman model, anisotropic.

Numerical study on scanning radiation acoustic field in formations generated from a borehole

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2005年第2期48卷 247-256页

作者： CHE Xiaohua1, ZHANG Hailan1, QIAO Wenxiao2.& JU Xiaodong2.1. institute of acoustics, Chinese Academy of {2., beijing 100080, china 2. Faculty of Natural Resources & Information Technology, University of Petroleum, beijing 102.4., china institute of acoustics Chinese Academy of Sciences Beijing 100080 China Faculty of Natural Resources & Information Technology University of Petroleum Beijing 102249 China

Numerical study on scanning radiation acoustic field in formations generated by linear phased array transmitters in a fluid-filled borehole is carried out using a real axis integration (RAI) method. The main lobe width of the acoustic beams and the incident angle on the borehole wall can be controlled by means of adjusting parameters, such as the element number and the delay time between the neighboring array elements of linear phased array transmitter. The steered angle of longitudinal waves generated in the formation satisfies the Snell’s law for plane waves when the incident angle on the borehole wall is less than the first critical angle. When the lobe width of the acoustic beams is narrow and the steered angle is less than the first critical angle, the acoustic field in the formation can be approximately calculated given that the linear phased array is put in the formation without borehole. The technique of scanning radiation acoustic field can be applied to enhancing investigation resolution and signal-to-noise ratio in crosswell seismic survey and borehole acoustic reflection imaging.

关键词： formation, linear phased array transmitter, steered angle, RAI, scanning radiation.

On some tests-based projection pursuit for elliptical symmetry of a high-dimensional distribution

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1998年第6期43卷 450-458页

作者： JING Ping 1 and ZHU Lixing 2.1. Mathematics Lab, china University of Mining & Technology, beijing 100083, china 2. Probability Lab, institute of Applied Mathematics, Chinese Academy of sciences, beijing 100080, china Mathematics Lab China University of Mining & Technology Beijing China Probability Lab Institute of Applied Mathematics Chinese Academy of Sciences Beijing China

Some test statistics of Kolmogorov type and Cramér-von Mises type based on projection pursuit technique are proposed for the testing problem of sphericity of a high-dimensional distribution. The limiting distributions of the test statistics are derived under the null hypothesis and under any fixed alternative. The asymptotic properties of bootstrap approximation are investigated. Furthermore, for computational reasons, an approximation for the statistics, based on the number theoretic method, is suggested.

关键词： bootstrap approximation projection pursuit type statistic elliptical symmetry.

Persistent anomalous flows over the subtropical western Pacific insummer

在线全文

学校读者我要写书评

暂无评论

Chinese Science Bulletin 1998年第8期43卷 672-675页

作者： ZHUANG Shiyu\+1 and JI Liren\+2.1. National Meteorological Centre, china Meteorological Administration, beijing 100081, china 2. LASG, institute of Atmospheric Physics, Chinese Academy of sciences, beijing 100080, china National Meteorological Ccntre China Meteomlcgical Administration Beijing China LASG Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China

The distribution of global persistent anomalies shows that the subtropical western Pacific is a key region with high_frequency occurrence of persistent anomalies. Analyses of streamfunction anomalies, OLR anomalies etc. suggest that the convective heating related to Indian monsoon might be responsible for the development of WPA. The results of numerical experiment by two linear barotropic models support the observation.

关键词： persistent anomalies subtropical high Indian monsoon anomalous forcing.