检索结果-南通市图书馆

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 {2. of Sciences, beijing 100080, china 2. Graduate School, chinese {2. of Sciences, beijing 100080, china institute of Engineering Thermophysics Chinese Academy of Sciences Beijing China Graduate School Chinese Academy of Sciences Beijing 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.

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 {2. of Sciences, beijing 100080, china 2. Graduate School, chinese {2. of Sciences, beijing 100080, china institute of Engineering Thermophysics Chinese Academy of Sciences Beijing China Graduate School Chinese Academy of Sciences 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.

Y_CΩ_(2.)are easy terms

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 1998年第20期43卷 1707-1709页

作者： ZHAO Xishun 1 and WANG Ju 2.1. Department of Mathematics, Nanjing University, Nanjing 2.0093, china 2. institute of software, {2. academy of Sciences, beijing 100080, china Department of Mathematics Nanjing University Nanjing China institute of software Chinese Academy of Sciences Beijing China

For any natural number n≥1, Y CΩ 2. is an easy term; that is, for any λ term M, λβ+Y\-CΩ 2. =M is consistent, where Y C is Curry fixed point combinator, Ω 2. ≡ω 2. ω 2. and ω 2. ≡λ***...x (there are 2. occurrences of x after λx ). This result is a partial solution to Jacopini’s conjecture: Y CΩ n is an easy term for any natural number n≥2.

关键词： λβ-calculus Kuper’s theorem easy term.

Plus cupping degrees do not form an ideal

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2004年第5期47卷 635-654页

作者： LI Angsheng1,2.& ZHAO Yicheng1 1. institute of software,{2. academy of Sciences,beijing 100080,china 2. School of Information Sciences,beijing Normal University,beijing 100871,china institute of software Chinese Academy of Sciences Beijing China School of Information Sciences Beijing Normal University Beijing China

A computably enumerable (c.e.,for short)degree a is called plus cupping,if every c.e. degree x with 0 详细信息

A computably enumerable (c.e.,for short)degree a is called plus cupping,if every c.e. degree x with 0

关键词： computably enumerable set Turing degree definability.

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, beijing 100083, china 2. institute of Physics, chinese academy of Sciences, beijing 100080, china 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

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 100049, 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.

Gasdynamic characteristics of toroidal shock and detonation wave converging

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2005年第6期48卷 739-749页

作者： TENG Honghui1,2.& JIANG Zonglin2.1. Key Laboratory of High Temperature Gas Dynamics, institute of Mechanics, chinese {2. of Sci- ences, beijing 100080, china 2. Graduate University of chinese {2. of Sciences, beijing 100039, china Key Laboratory of High Temperature Gas Dynamics Institute of Mechanics Chinese Academy of Sciences Beijing China Graduate University of chinese academy of Sciences Beijing China

The modified CCW relation is applied to analyzing the shock, detonation wave converging and the role of chemical reactions in the process. Results indicate that the shock wave is strengthened faster than the detonation wave in the converging at the same initial Mach number. Euler equations implemented with a detailed chemical reaction model are solved to simulate toroidal shock and detonation wave converging. Gasdynamic characteristics of the converging are investigated, including wave interaction patterns, observable discrepancies and physical phenomena behind them. By comparing wave diffractions, converging processes and pressure evolutions in the focusing area, the different effects of chemical reactions on diffracting and converging processes are discussed and the analytic conclusion is demonstrated through the observation of numerical simulations.

关键词： converging, CCW relation, shock wave, detonation wave.

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.