检索结果-南通市图书馆

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, {3. 2. institute of computing Technology, chinese academy of sciences, beijing 100080, {3. 3. institute of Software, chinese academy of sciences, beijing 100080, {3. 4. Graduate University of chinese academy of sciences, beijing 100049, {3. 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.

MULTIVARIATE FOURIER SERIES OVER A CLASS OF NON TENSOR-PRODUCT PARTITION DOMAINS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2003年第1期21卷 53-62页

作者： Jiachang Sun(Parallel computing Division, institute of Software, chinese academy of sciences, {3. 100080, china) Parallel computing Division Institute of Software Chinese Academy of Sciences 北京 100080

This paper finds a way to extend the well-known Fourier methods, to so-called n+1 directions partition domains in n-dimension. In particular, in 2-D and 3.D cases, we study Fourier methods over 3.direction parallel hexagon partitions and 4-direction parallel parallelogram dodecahedron partitions, respectively. It has pointed that, the most concepts and results of Fourier methods on tensor-product case, such as periodicity,orthogonality of Fourier basis system, partial sum of Fourier series and its approximation behavior, can be moved on the new non tensor-product partition case.

关键词： Multivariate Fourier methods Non tensor-product partitions Multivariate Fourier series

FOURIER-LEGENDRE PSEUDOSPECTRAL METHOD FOR THE NAVIER-STOKES EQUATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第3期18卷 225-238页

作者： Jian Li (LSEC, institute of Computational Mathematics and Scientific/Engineering computing, academy of Mathematics and System {3., chinese academy of sciences, beijing, 100080, china) 中科院计算数学与科学工程计算所科学与工程计算国家重点实验室北京 100080

Constructs a Fourier-Legendre pseudospectral scheme for Navier-Stokes equations with semi-periodic boundary condition. Equation of the scheme; Estimation of errors; Numerical results.

关键词： Navier-Stokes equations Fourier-Legendre pseudospectral method error estimation

ON THE CENTRAL RELAXING SCHEMES I:SINGLE CONSERVATION LAWS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第3期18卷 313-324页

作者： Hua-zhong Tang (LSEC, institute of Computational Mathematics and Scientific /Engineering computing, academy of Mathematics and System {3., chinese academy of sciences, beijing, 100080, china) 中科院计算数学与科学工程计算所科学与工程计算国家重点实验室北京 100080

Presents a central relaxing scheme for scalar conservation laws. Details on the preliminary equations; Properties of the relaxed schemes; Conclusions.

关键词： hyperbolic conservation laws the relaxing scheme TVD cell entropy inequality

THE L^2-NORM ERROR ESTIMATE OF NONCONFORMING FINITE ELEMENT METHOD FOR THE 2ND ORDER ELLIPTIC PROBLEM WITH THE LOWEST REGULARITY

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第3期18卷 277-282页

作者： Lie-heng Wang (LSEC, institute of Computational Mathematics and Scientific/Engineering computing, academy of Mathematics and System {3., chinese academy of sciences, beijing, 100080, china) 中科院计算数学与科学工程计算所科学与工程计算国家重点实验室北京 100080

Presents the abstract L...-norm error estimate of nonconforming finite element method. Use of the Aubin Nitsche Lemma in estimating nonconforming finite element methods; Details on the equations.

关键词： L-2-norm error estimate nonconforming f.e.m. lowest regularity

Thresholds of geographic environmental elements in sediment yield of drainage basins

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2005年第2期48卷 230-240页

作者： CHEN Hao, ZHOU Jinxing, CAI Qiangguo, LU Zhongchen & LI Zhongyan institute of Geographic sciences and Natural Resources Research, chinese academy of sciences, {3. 100101, china institute of Forestry Science, chinese academy of Forestry Science, {3. 100091, china Research center for Eco-Environment sciences, chinese academy of sciences, {3. 100085, china computing institute of Science and Engineering, North china Electric Power University, {3. 102206, china 1. institute of Geographic sciences and Natural Resources Research Chinese Academy of Sciences 100101 Beijing China 2. institute of Forestry Science Chinese Academy of Forestry Science 100091 Beijing China 3. Research center for Eco-Environment sciences Chinese Academy of Sciences 100085 Beijing China 4. computing institute of Science and Engineering North China Electric Power University 102206 Beijing China

Threshold of environmental elements in drainage basin sediment yield refers to, under effect of climate, underlying surface and human activity, a turning point of abrupt changes in drainage sediment yield related to environmental element characteristics. Previous studies on threshold of sediment yield of relevant drainage basins were mainly concentrated on impact of natural zones with a few researches on impact of other environmental elements. Particularly studies on compound environmental element threshold in drainage basin sediment yield remain blank today. Studies indicate that sediment yield in drainage basins is affected by compound interactions and complex actions. Based on single element analysis, the present paper gives quantitatively compound threshold of environmental elements affecting sediment yield of the drainage basin between Hekouzhen and Tongguan in the middle Yellow River by the method of multi-variant, polynomial formula regression analysis.

关键词： middle Yellow River, environmental element, sediment, sediment delivery mudule, threshold.

Review on the study of entanglement in quantum computation speedup

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2007年第16期52卷 2161-2166页

作者： DING ShengChao1,3.& JIN Zhi1,2,1 institute of computing Technology,chinese academy of sciences,{3. 100080,china 2 academy of Mathematics and Systems Science,chinese academy of sciences,{3. 100080,china 3.Graduate University of chinese academy of sciences,{3. 100080,china institute of computing Technology Chinese Academy of Sciences Beijing 100080 China

The role the quantum entanglement plays in quantum computation speedup has been widely disputed. Some believe that quantum computation's speedup over classical computation is impossible if entan-glement is absent,while others claim that the presence of entanglement is not a necessary condition for some quantum algorithms. This paper discusses this problem systematically. Simulating quantum computation with classical resources is analyzed and entanglement in known algorithms is reviewed. It is concluded that the presence of entanglement is a necessary but not sufficient condition in the pure state or pseudo-pure state quantum computation speedup. The case with the mixed state remains open. Further work on quantum computation will benefit from the presented results.

关键词：量子论量子纠缠量子计算加速模拟

Information content security on the Internet:the control model and its evaluation

在线全文

学校读者我要写书评

暂无评论

Science china(Information sciences) 2010年第1期53卷 30-49页

作者： FANG BinXing1, GUO YunChuan2,3.& ZHOU Yuan4 1School of Computer, beijing University of Posts and Telecommunications, beijing 100029, china 2{3. of computing Technology, chinese academy of sciences, beijing 100190, china 3.raduate University of chinese academy of sciences, beijing 100049, china 4National Computer Network Emergency Response Technical Team/Coordination center of china, beijing 100029, china 1. School of Computer Beijing University of Posts and Telecommunications Beijing 100029 China2. Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China3. Graduate University of Chinese Academy of Sciences Beijing 100049 China4. National Computer Network Emergency Response Technical Team/Coordination Center of China Beijing 100029 China

Flooding of harmful information on the Internet seriously endangers the physiological and mental health of teenagers. Due to the user-friendliness of the Internet as well as the difficulty in the authentication for the access of specific categories of information, curbing the transmission of harmful information, i.e., assuring the information content security (ICS), has become a reasonable yet challenging alternative. At present, there is an urgent need to develop a systematic model that can effectively carry out the curbing. In fact, curbing the transmission of harmful information by way of filtering can be modeled by access control. In the paper, based on the three core-elements of communication, namely, "Who communicates with whom", "How do they communicate" and "What is the content of communication", we propose a control model, called ICCON. Unlike the existing access control, the reference monitor (RM) of our model is placed in the transmission channel, and moreover, an evaluation frame is proposed, through which the effectiveness of the RM in controlling information transmission on the Internet can be quantitatively evaluated.

关键词： content security access control quantitative evaluation

NUMERICAL SOLUTION OF THE UNSTEADYINCOMPRESSIBLE NAVIER-STOKES EQUATIONS ON THECURVILINEAR HALF-STAGGERED MESHNUMERICAL SOLUTION OF THE UNSTEADYINCOMPRESSIBLE NAVIER-STOKES EQUATIONS ON THECURVILINEAR HALF-STAGGERED MESH

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2000年第5期18卷 521-540页

作者： Lan-chieh Huang (institute of Computational Mathematics and Scientific/Engineering computing, chinese academy of sciences, {3. 100080, china) 中科院计算数学与科学工程计算所北京 100080

In this paper, the Crank-Nicholson + component-consistent pressure correction method for the numerical solution of the unsteady incompressible Navier-Stokes equation of [1] on the rectangular half-Staggered mesh has been extended to the curvilinear half-Staggered mesh. The discrete projection, both for the projection step in the solution procedure and for the related differential-algebraic equations, has been carefully studied and verified. It is proved that the proposed method is also unconditionally (in t) nonlinearly stable on the curvilinear mesh, provided the mesh is not too skewed. It is seen that for problems with an outflow boundary, the half-Staggered mesh is especially advantageous. Results of preliminary numerical experiments support these claims.

关键词： Unsteady incompressible Navier-Stokes equations Curvilinear half- staggered mesh Discrete projection.