检索结果-南通市图书馆

Representation of microscale ocean wavenumber spectrum correct to the second order

在线全文

学校读者我要写书评

暂无评论

Science China Earth sciences 2005年第4期48卷 549-554页

作者： YUAN Yeli2 & HUA Feng1,2,3.1. Institute of Oceanology, chinese academy of sciences, Qingdao 266071, China 2. Key Laboratory of Marine Science and Numerical Modeling, State Oceanic Administration, Qingdao 266061, China 3. {3. school of the chinese academy of sciences, beijing 10003., China 1. Key Laboratory of Marine Science and Numerical Modeling State Oceanic Administration 266061 Qingdao China 2. Institute of Oceanology Chinese Academy of Sciences 266071 Qingdao China 3. graduate school of the chinese {3. of sciences 100039 Beijing China

In this paper, the analytical representations of four wave source functions in high-frequency spectrum range are given on the basis of ocean wave theory and dimensional analysis, and the perturbation method is used to solve the governing equations of ocean wave high-frequency spectrum on the basis of the temporally stationary and locally homogeneous scale relations of microscale wave. The microscale ocean wavenumber spectrum correct to the second order has an explicit structure, its first order part represents the equilibrium between dif- ferent source functions, and its second order part represents the contribution of microscale wave propagation.

关键词： temporally stationary and locally homogeneous, source function in high-frequency spectrum range, microscale ocean wavenumber spectrum.

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 {3., beijing 100080, China 2. Institute of Computing Technology, chinese academy of {3., beijing 100080, China 3. Institute of Software, chinese academy of {3., beijing 100080, China 4. {13. University of chinese academy of {3., beijing 100049, China 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 {3. 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.

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.

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

Effects of cosmological constant on motion of UHECR particles

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2005年第1期48卷 44-56页

作者： CHEN Shaoxia & CHANG Zhe Institute of High Energy Physics, chinese academy of sciences, {3. 10003., China graduate school of chinese academy of sciences, {3. 10003., China Institute of High Energy Physics Chinese Academy of Sciences Beijing 100039 China graduate school Chinese Academy of Sciences Beijing 100039 China

Recent astronomical observations manifest that about two-thirds of the whole energy in the Universe is contributed by a small positive cosmological constant A (> 0). Then, an asymptotically de Sitter spacetime is premised naturally. However, physics in the de Sitter spacetime is very different from that in the Minkowski spacetime. As the first step, a covariant formalism of the kinematics in the de Sitter spacetime is presented here. By solving exactly the equations of motion for a field, we obtain the dispersion relation of a free particle. It is noticed that the dispersion relation is dependent on the degree of freedom of angular momentum of the particle. We show the threshold anomaly of the ultra high energy cosmic ray disappears naturally in the framework of the de Sitter kinematics.

关键词： ultrahigh energy cosmic ray, cosmological constant, curved spacetime.

Recent advances in the data analysis method of functional magnetic resonance imaging and its applications in neuroimaging

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第8期16卷 785-795页

作者： TIAN Jie, YANG Lei and HU Jin (Institute of Automation, chinese academy of sciences, {3. 100080, China graduate school of chinese academy of sciences, {3. 10003., China) [a]chinese academy of sciences Institute of Automation Beijing China [b]graduate school of chinese {3. of sciences Beijing China

Functional magnetic resonance imaging (fMRI) has opened a new area to explore the human brain. The fMRI can reveal the deep insights of spatial and temporal changes underlying a broad range of brain function, such as motor, vision, memory and emotion, all of which are helpful in the clinical investigation. In this paper, we introduce some recent-developed algorithms for fMRI signal detection such as model-driven method (general linear model, deconvolution model, non-linear model, etc. ) and data-driven method (principle component analysis, independent component analysis, self-organization mapping, clustered constrained non-negative matrix factorization, etc. ). We also propose several important applications of neuroimaging and point out their shortcomings and future perspectives.

关键词： fMR1 data analysis neuroimaging.

An Efficient High-Resolution Shock-Capturing Scheme for Multi-Dimensional Flows I. Hydrodynamics

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

chinese Journal of Astronomy and Astrophysics 2006年第6期6卷 680-688页

作者： Cong Yu National Astronomical Observatories / Yunnan Astronomical Observatory, chinese academy of sciences, Kunming 650011 {3. school of chinese academy of sciences, beijing 100049 graduate school of chinese {3. of sciences Beijing 100049

Many problems at the forefront of theoretical astrophysics require a treatment of dynamical fluid behavior. We present an efficient high-resolution shock-capturing hydrodynamic scheme designed to study such phenomena. We have implemented a weighted, essentially non-oscillatory （WENO） scheme to fifth order accuracy in space, lILLE approximate Riemann solver is used for the flux computation at cell interface, which does not require spectral decomposition into characteristic waves and so is computationally friendly. For time integration we apply a third order total variation diminishing （TVD） Runge-Kutta scheme. Extensive testing and comparison with schemes that *** characteristic decomposition are carried out demonstrating the ability of our scheme to address challenging open questions in astrophysics.

关键词： accretion - hydrodynamics- method numerical - shock waves

Exploration of combined adjustment laws about IGV,stator and rotational speed in off-design conditions in an axial compressor

在线全文

学校读者我要写书评

暂无评论

中国科学：技术科学英文版 2010年第4期53卷 969-975页

作者： HU YanMing1,2 & NIE ChaoQun1 1 Key Laboratory of Advanced Energy and Power Technology,Institute of Engineeting Thermophysics,chinese academy of Science,beijing 100190,China 2 {3. school of chinese academy of sciences,beijing 100190,China 1. Key Laboratory of Advanced Energy and Power Technology Institute of Engineeting Thermophysics Chinese Academy of Science Beijing 100190 China2. Graduate School of Chinese Academy of Sciences Beijing 100190 China

Experimental investigations are performed in a three-stage low-speed axial compressor with variable inlet guide vanes(IGV) and adjustable *** characteristics of the compressor,especially the efficiency and stall margin,are analyzed in design and off-design operation conditions by adjusting stagger angles of IGV and stators as well as changing the rotational *** experimental results show that the off-design performance of the multistage axial compressor is improved by restaggering of IGV and stators related to rotational *** the background of engineering applications,digital signal processing(DSP) technique is used to realize online adjustment of stagger angles according to the corresponding relations between incidence angles of rotor and rotational speed.

关键词： axial compressor IGV surge DSP techniques off-design

An improved imaging algorithm for fixed-receiver bistatic SAR

在线全文

学校读者我要写书评

暂无评论

Science China(Information sciences) 2010年第7期53卷 1461-1469页

作者： GENG XuPu1,2,3. HU YingHui1,2, YAN HongHui2 & WANG YanFei2 1graduate school of the chinese {3. of sciences, beijing 10003., China 2Institute of Electronics, chinese {3. of sciences, beijing 100190, China 3.5} Institute of Environment Features, beijing 100854, China 1. graduate school of the chinese {3. of sciences Beijing 100039 China2. Institute of Electronics Chinese Academy of Sciences Beijing 100190 China3. Beijing Institute of Environment Features Beijing 100854 China

Based on the signal model of fixed-receiver bistatic SAR, this paper analyzes the characteristics of azimuth-variant, which includes variation of range migration curve and variation of Doppler rate caused by different azimuth position of targets. Then, an extended nonlinear chirp scaling (NLCS) algorithm is proposed, with its flowchart and phase compensation functions being provided. Simulation results show that the algorithm is available for the characteristics of azimuth-variant of fixed-receiver bistatic SAR, and good focused radar images could be acquired.

关键词： synthetic aperture radar (SAR) bistatic SAR fixed-receiver characteristics of azimuth-variant range cell migration correction (RCMC)

A formal model of fair exchange protocols

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science in China(Series F) 2005年第4期48卷 499-512页

作者： QING Sihan1,2,3.& LI Gaicheng1,2,3.1. Engineering Research Center for Information Security Technology, Institute of Software, chinese Aca- demy of sciences, beijing 100080, China 2. beijing Zhongke Ansheng Corporation of Information Technology, beijing 100080, China 3. graduate school of the chinese academy of sciences, beijing 10003., China 1. Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences 100080 Beijing China 2. beijing Zhongke Ansheng Corporation of Information Technology 100080 Beijing China 3. graduate school of the chinese {3. of sciences 100039 Beijing China

Based on the study of existing fair exchange protocols, this paper sets up an accurate formal model by stepwise refinement. In the process of refinement an unreliable channel is employed to simulate an attack behavior. The model provides a novel formal definition of exchanged items, and presents the formal goals for fairness, accountability, etc., reflecting the inherent requirements for fair exchange protocols across-the-board. In order to check, prove, and design fair exchange protocols effectively and efficiently, the model puts forward a novel property of abuse-freeness which applies to all fair exchange protocols, gives a formal definition for trust strand of the third party, and presents general criteria of designing a secure and effective fair exchange protocol. Taking a typical fair exchange protocol as an example, this paper presents the analysis steps of fair exchange protocols appealing to our model. An unknown attack is uncovered. The analysis reveals the process of a complete attack, discovering deeper reasons for causing an attack. Finally, we modify the flawed protocol and the revised protocol ensures the desirable properties.

关键词： events local causal relation local temporal relation global relation exchanged item security goals.