检索结果-南通市图书馆

The solid lubricating material experiment device for Shenzhou-7 Spaceship

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2010年第9期53卷 2521-2527页

作者： WANG Ke1,2,REN WeiJia1,WANG ShiDa1 & WENG LiJun3 1 academy of Opto-Electronics,chinese academy of sciences,beijing 100190,china 2 Graduate University of chinese academy of sciences,beijing 100049,china 3 Lanzhou institute of Chemical Physics,chinese academy of sciences,Lanzhou 730000,china academy of Opto-Electronics Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China Lanzhou institute of Chemical Physics Chinese Academy of Sciences Lanzhou China

A solid lubricating material exposure experiment in space is one of the missions during the seventh manned spaceflight of china,and the key is to develop a device which can be fixed reliably outside of the orbital module and can be fetched conveniently by an astronaut during space *** solid lubricating material experiment device needs to be locked reliably in a vibrating and impacting environment during the launch phase,and should meet the requirement that it can be unlocked and fetched reliably by the astronaut wearing an extravehicular spacesuit via simple operations in orbit in an environment of high and low *** for the device we developed,the environmental characteristic of the mission was analyzed,the mechanical analysis and thermal analysis were carried out,and then a mechanism with functions of mechanical locking,structural self-locking and manual unlocking was *** device was verified by a sequence of experiments and was fetched by the astronaut during the flight of the Shenzhou-7 Spaceship.

关键词： manned spaceflight exposure experiment mechanism unlock

A two-round honest-verifier zero-knowledge protocol

在线全文

学校读者我要写书评

暂无评论

Science china(Information sciences) 2010年第5期53卷 954-963页

作者： LIU HanWu 1,2 & LIN DongDai 1 1 The State Key Laboratory of Information Security, institute of Software, chinese academy of sciences, beijing 100190, china 2 Graduate University of the chinese academy of sciences, beijing 100049, china The State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China Graduate University of the chinese academy of sciences Beijing China

Since the concept of zero-knowledge protocols was introduced, it has attracted a lot of attention and in turn showed significant effect on the development of cryptography, complexity theory and other areas. The round complexity of a zero-knowledge protocol is a very important efficiency consideration, and it is required to be as small as possible. Generally, it is desirable to have zero-knowledge protocols with constant numbers of rounds. Goldreich and Oren proved that only languages in BPP have one-round and two-round zero-knowledge protocols. Moreover, they also showed that only languages in BPP have one-round honest-verifier zero-knowledge protocols. The notion of honest-verifier zero-knowledge protocols is highly non-trivial and fascinating itself, and has many other uses. Thus, the problem as to whether there exist two-round honest-verifier zero-knowledge protocols becomes an important open problem. In this paper, we introduce a new simulation technique and present a two-round honest-verifier zero-knowledge protocol for any language in N P under a standard complexity assumption based on this technique.

关键词： proof system argument system zero-knowledge witness indistinguishability black-box one-way permutation commitment scheme zap

CMQV+:An authenticated key exchange protocol from CMQV

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information sciences) 2012年第7期55卷 1666-1674页

作者： LI Hui 1,2 & WU ChuanKun 1 1 State Key Laboratory of Information Security,institute of Software,chinese academy of sciences,beijing 100190,china 2 Graduate University of chinese academy of sciences,beijing 100049,china State Key Laboratory of Information Security Institute of Software Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China

Ustaoglu presents a secure and efficient key exchange protocol named CMQV,based on the design rationales of HMQV and *** with the latter two protocols,on one hand,CMQV achieves high performance of HMQV,and on the other,it is proven secure in eCK model as NAXOS ***,CMQV enjoys the security proof under gap Diffie-Hellman assumption as indicated by its *** this paper,we propose a variant of CMQV,called CMQV+,which is proven secure under a weaker assumption (*** Diffie-Hellman assumption) in eCK model with random oracles while maintaining the high-performance feature of CMQV as much as possible.

关键词： key exchange eCK model trapdoor-test technique provable security CDH assumption

Direct numerical simulation of shock/turbulent boundary layer interaction in a supersonic compression ramp

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2010年第9期53卷 1651-1658页

作者： LI XinLiang1,FU DeXun2,MA YanWen2 & LIANG Xian1 1 Key Laboratory of High Temperature Gas Dynamics,institute of Mechanics,chinese academy of sciences,beijing 100190,china 2 The State Key Laboratory of Nonlinear Mechanics,institute of Mechanics,chinese academy of sciences,beijing 100190,china Key Laboratory of High Temperature Gas Dynamics Institute of Mechanics Chinese Academy of Sciences Beijing China The State Key Laboratory of Nonlinear Mechanics Institute of Mechanics Chinese Academy of Sciences Beijing China

A direct numerical simulation of the shock/turbulent boundary layer interaction flow in a supersonic 24-degree compression ramp is conducted with the free stream Mach number *** blow-and-suction disturbance in the upstream wall boundary is used to trigger the *** the mean wall pressure and the velocity profiles agree with those of the experimental data,which validates the *** turbulent kinetic energy budget in the separation region is *** show that the turbulent production term increases fast in the separation region,while the turbulent dissipation term reaches its peak in the near-wall *** turbulent transport term contributes to the balance of the turbulent conduction and turbulent *** on the analysis of instantaneous pressure in the downstream region of the mean shock and that in the separation bubble,the authors suggest that the low frequency oscillation of the shock is not caused by the upstream turbulent disturbance,but rather the instability of separation bubble.

关键词： compression ramp shock/turbulent boundary layer interaction direct numerical simulation shock oscillation

Ambient noise near the sea-route

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2009年第1期52卷 40-45页

作者： HE Li1,2, LI ZhengLin1,3 & PENG ZhaoHui1 1 National Laboratory of Acoustics, institute of Acoustics, chinese academy of sciences, beijing 100190, china 2 institute of Geology and Geophysics, chinese academy of sciences, beijing 100029, china 3 NanHai Laboratory of Acoustics, institute of Acoustics, chinese academy of sciences, Haikou 570206, china National Laboratory of Acoustics Institute of Acoustics Chinese Academy of Sciences Beijing China institute of Geology and Geophysics Chinese Academy of Sciences Beijing China NanHai Laboratory of Acoustics Institute of Acoustics Chinese Academy of Sciences Haikou China

Ambient noise data measured in an experiment conducted in shallow water near a sea-route were analyzed. It was observed that, at low frequency, the horizontal correlation has an obvious difference from that predicted by the classical ambient noise model. The theoretical analyses show that this phenomenon is caused by wind noise together with the discrete shipping noise nearby. An ambient noise model was proposed to include the effects caused by both the noise sources. Data measured at different times verify that the proposed model can be used to forecast the ambient noise field in shallow water near the sea-route.

关键词： ambient noise model horizontal correlation discrete ships

Poisson kernel and Cauchy formula of a non-symmetric transitive domain

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2010年第7期53卷 1678-1683页

作者： LU Qi-Keng institute of Mathematics, academy of Mathematics and System Science, chinese academy of sciences, beijing 100190, china institute of Mathematics Academy of Mathematics and System Science Chinese Academy of Sciences Beijing China

In 1965, Lu Yu-Qian discovered that the Poisson kernel of the homogenous domain S m,p,q={Z∈Cm×m, Z1∈Cm×p,Z2 ∈Cq×m|2i1( Z-Z+)-Z1Z1′-Z2′Z2>0} does not satisfy the Laplace-Beltrami equation associated with the Bergman metric when S m,p,q is not symmetric. However the map T0:Z→Z, Z1→Z1 , Z2→Z2 transforms S m,p,q into a domain S I (m, m + p + q) which can be mapped by the Cayley transformation into the classical domains R I (m, m + p + q). The pull back of the Bergman metric of R I (m, m + p + q) to S m,p,q is a Riemann metric ds 2 which is not a Khler metric and even not a Hermitian metric in general. It is proved that the Laplace-Beltrami operator associated with the metric ds 2 when it acts on the Poisson kernel of S m,p,q equals 0. Consequently, the Cauchy formula of S m,p,q can be obtained from the Poisson formula.

关键词： Poisson kernel Cauchy formula

Synthetic aperture radar tomography sampling criteria and three-dimensional range migration algorithm with elevation digital spotlighting

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2009年第1期52卷 100-114页

作者： TAN WeiXian1,2,3?, HONG Wen1,2, WANG YanPing1,2, LIN Yun1,2,3 & WU YiRong1,2 1 State Key Laboratory of Microwave Imaging technology, beijing 100190, china 2 institute of Electronics, chinese academy of sciences, beijing 100190, china 3 Graduate School, chinese academy of sciences, beijing 100190, china State Key Laboratory of Microwave Imaging technology Beijing China institute of Electronics Chinese Academy of Sciences Beijing China Graduate School Chinese Academy of Sciences Beijing China

Based on the general geometric model of multi-baseline Synthetic Aperture Radar Tomography （TomoSAR）, the three-dimensional （3-D） sampling criteria, the analytic expression of the 3-D Point Spread Function （PSF） and the 3-D resolution are derived in the 3-D wavenumber domain in this paper. Considering the relationship between the observation geometry and the size of illuminated scenario, a 3-D Range Migration Algorithm with Elevation Digital Spotlighting （RMA-EDS） is proposed. With this algorithm 3-D images of the area of interest can be directly and accurately reconstructed in the 3-D space avoiding the complex operations of 3-D geometric correction. Finally, theoretical analyses and simulation results are presented to demonstrate the shift-varying property of the 3-D PSF and the spatialvarying property of the 3-D resolution and to demonstrate the validity of the 3-D RMA-EDS.

关键词： synthetic aperture radar tomography (TomoSAR) three-dimensional (3-D) SAR imaging 3-D sampling criteria 3-D resolution,3-D range migration algorithm with elevation digital spotlighting (RMA-EDS)

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

ORTHOGONAL PIECE-WISE POLYNOMIALS BASIS ON AN ARBITRARY TRIANGULAR DOMAIN AND ITS APPLICATIONS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2001年第1期19卷 55-66页

作者： Jia-chang Sun. (Parallel computing Division, institute of Software, chinese academy of sciences, beijing 100080, china) 中科院软件所北京 00080

Presents a way to construct orthogonal piece-wise polynomials on an arbitrary triangular domain via barycentric coordinates. Solution of a boundary value problem for Laplace equation; Methodology; Results and discussion.

关键词： orthogonal piece-wise polynomials triangular domain eigen-decomposition