检索结果-南通市图书馆

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,{2. 2. beijing Zhongke Ansheng Corporation of Information Technology, beijing 100080,{2. 3. graduate School of the chinese Academy of Sciences, beijing 10003.,{2. 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 Academy 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.

Effects of various solar indices on accuracy of Earth’s thermospheric neutral density models

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2009年第7期52卷 1120-1128页

作者： WANG HongBo1,2.& ZHAO ChangYin1 1 Purple Mountain Observatory, chinese Academy of Sciences, Nanjing 2.0008, china 2.{2. university of chinese Academy of Sciences, beijing 10004., china Purple Mountain Observatory Chinese Academy of Sciences Nanjing 210008 China graduate university of {2. Academy of Sciences Beijing 100049 China

Four kinds of solar indices F10.7, E10.7, S10, Mg10 and four thermospheric neutral density models, i.e., CIRA72. DTM94. NRLMSISE00 and JB2.06, are discussed. The CHAMP accelerometer data are used to calculate thermospheric total mass density. Based on the comparison of the model densities with CHAMP observations, the effects of various indices on the model accuracy are detected. It is found that under quiet and moderate solar conditions (F10.72.0) the error’s standard deviation using E10.7 increases quickly and causes the models’ accuracy to fall down. With regard to S10, Mg10, their effects under quiet solar conditions are inconspicuous. If under active solar conditions, they can reduce the model error’s standard deviation by 5%-10%, implying that S10, Mg10 make the model error more stable. The JB2.06 model, which was constructed by multi-solar-index (F10.7, S10, Mg10), is compared with DTM94.and NRLMSISE00 based on single-solar-index. It is found that JB2.06’s accuracy is better than DTM94.s, and is close to NRLMSISE00 under the quiet solar condition. During the solar burst occurring on October 2., 2.03, JB2.06 has been in best agreement with CHAMP observations. All in all, the new indices may improve thermospheric density models’ accuracy under some special conditions. Concretely, E10.7 may reduce the average error of models and S10, Mg10 may prevent the error’s divergence.

关键词： solar radiation index CHAMP accelerometer data neutrals density model

Advancement and prospect of short-term numerical climate prediction

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2001年第18期46卷 1497-1502页

作者： CHOU Jifan & XU Ming1. Department of Atmospheric Sciences, Lanzhou university, Lanzhou 730000, china 2. Training Center of {2. Meteorological Administration, {4. 100081, china Department of Atmospheric Sciences Lanzhou University Lanzhou China Training Center of chinese Meteorological Administration Beijing China

The defects of present methods of short-term numerical climate prediction are discussed in this paper, and four challenging problems are put forward. Considering our under developed computer conditions, we should innovate in the approcuch of numerical climate prediction on the basis of our own achievements and experiences in the field of short-term numerical climate prediction. It is possibly an effective way to settle the present defects of short-term numerical climate prediction.

关键词： short-term climate numerical prediction defects innovation.

A new class of symmetric periodic solutions of the spatial elliptic restricted three-body problem

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2009年第9期52卷 1404-1413页

作者： XU XingBo1,2.& FU YanNing1 1 Purple Mountain Observatory, chinese Academy of Sciences, Nanjing 2.0008, china 2.{2. university of chinese Academy of Sciences, beijing 10003., china 1. Purple Mountain Observatory Chinese Academy of Sciences Nanjing 210008 China 2. graduate university of {2. Academy of Sciences Beijing 100039 China

We show that there exists a new class of symmetric periodic solutions of the spatial elliptic restricted three-body problem. In such a solution, the infinitesimal body is confined to the vicinity of a primary and moves on a nearly circular orbit. This orbit is almost perpendicular to the orbital plane of the primaries, where the line of symmetry of the orbit lies. The existence is shown by applying a corollary of Arenstorf's fixed point theorem to a periodicity equation system of the problem. And this existence doesn't require any restriction on the mass ratio of the primaries, nor on the eccentricity of their relative elliptic orbit. Potential relevance of this new class of periodic solutions to real celestial body systems and the follow-up studies in this respect are also discussed.

关键词： periodic orbits spatial restricted three-body problem symmetric orbits averaging

Terrestrial transect study on driving mechanism of vegetation changes

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2008年第7期51卷 984-991页

作者： ZHANG YuJin1,2.& ZHOU GuangSheng1 1 State Key Laboratory of Vegetation and Environmental Change, Institute of Botany, chinese Academy of Sciences, beijing 100093,{2. 2.graduate university of chinese Academy of Sciences, beijing 10004.,{2. 1. State Key Laboratory of Vegetation and Environmental Change Institute of Botany Chinese Academy of Sciences Beijing 100093 China 2. graduate university of {2. Academy of Sciences Beijing 100049 China

In terms of chinese climate-vegetation model based on the classification of plant functional types, to- gether with climatic data from 1951 to 1980 and two future climatic scenarios (SRES-A2.and SRES-B2. in china from the highest and the lowest emission scenarios of greenhouse gases, the distribution patterns of vegetation types and their changes along the Northeast china Transect (NECT) and the North-South Transect of Eastern china (NSTEC) were simulated in order to understand the driving mechanisms of vegetation changes under climatic change. The results indicated that the vegetation distribution patterns would change significantly under future climate, and the major factors driving the vegetation changes were water and heat. However, the responses of various vegetation types to the changes in water and heat factors were obviously different. The vegetation changes were more sensi- tive to heat factors than to water factors. Thus, in the future climate warming will significantly affect vegetation distribution patterns.

关键词： driving mechanism vegetation terrestrial transect climatic change plant functional types

fMRI time series analysis based on stationary wavelet and spectrum analysis

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第11期16卷 1171-1176页

作者： ZHI Lianhe~ 1,2.3 , ZHAO Xia~4. SHAN Baoci~1**, PENG Silong~5, YAN Qiang~1, YUAN Xiuli~1 and TANG Xiaowei~ 1,6 (1. Key Laboratory of Nuclear Analysis Techniques, Institute of High Energy Physics, chinese Academy of Sciences, beijing 10004.,{2. 2. graduate School of chinese Academy of Sciences, beijing 10004.,{2. 3. Department of Physics, Zhoukou Normal university, Zhoukou 4.6100,{2. 4. Research Imaging Center, university of Texas Health Science Center, San Antonio, Texas 782.9, USA 5. National ASIC Design and Engineering Center, Institute of Automation, chinese Academy of Sciences, beijing 10004.,{2. 6. Department of Physics, Zhejiang university, Hangzhou 31002.,{2.) [a]Key Laboratory of Nuclear Analysis Techniques Institute of High Energy Physics Chinese Academy of Sciences Beijing China [b]graduate School of chinese Academy of Sciences Beijing China [c]Department of Physics Zhoukou Normal University Zhoukou China [d]Research Imaging Center University of Texas Health Science Center San Antonio Texas USA [e]National ASIC Design and Engineering Center Institute of Automation Chinese Academy of Sciences Beijing China [f]Department of Physics Zhejiang University Hangzhou China

The low signal to noise ratio (SNR) of functional MRI (fMRI) prefers more sensitive data analysis methods. Based on stationary wavelet transform and spectrum analysis, a new method with high detective sensitivity was developed for analyzing fMRI time series, which does not require any prior assumption of the characteristics of noises. In the proposed method, every component of fMRI time series in the different time-frequency scales of stationary wavelet transform was discerned by the spectrum analysis, then the components from noises were removed using the stationary wavelet transform, finally the components of real brain activation were detected by cross-correlation analysis. The results obtained from both simulated and in vivo visual experiments illustrated that the proposed method has much higher sensitivity than the traditional cross-correlation method.

关键词： fMRI stationary wavelet transform spectrum analysis data analysis.

Magnetron sputtering synthesis of large area well-ordered boron nanowire arrays

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2004年第4期47卷 403-415页

作者： CAO Limin1,2. ZHANG Ze2.& WANG Wenkui1,2.1. Key Laboratory of Metastable Materials Science and Technology and College of Materials Science and Engineering, Yanshan university, Qinhuangdao 066004.{4. 2. Institute of Physics, {2. Academy of Sciences, beijing 100080,{4. 1. Key Laboratory of Metastable Materials Science and Technology and College of Materials Science and Engineering Yanshan University 066004 Qinhuangdao China 2. Institute of Physics Chinese Academy of Sciences 100080 Beijing China

One-dimensionally nanostructured materials, such as nanowires and nanotubes, are the smallest dimensional structures for efficient transport of electrons and excitons, and are therefore critical building blocks for nanoscale electronic and mechanical devices. In this paper, boron nanowires with uniform diameters from 2. to 80 nm were synthesized by radio-frequency magnetron sputtering of pure boron powder and B2.3 powder mixtures in argon atmosphere. The boron nanowires produced stand vertically on the substrate surface to form well-ordered arrays over large areas with self- organized arrangements without involvement of any template and patterned catalyst. The high-density boron nanowires are parallel to each other and well distributed, forming highly ordered and uniform arrays. A more interesting and unique feature of the boron nanowires is that most of their tips are flat rather than hemispherical in morphologies. Detailed studies on its structure and composition indicate that boron nanowires are amorphous. Boron nanowire appears as a new member in the family of one-dimensional nanostructures. Considering the unique properties of boron-rich solids and other nanostructures, it is reasonable to expect that the boron nanowires will display some exceptional and interesting properties. A vapor-cluster-solid (VCS) mechanism was proposed to explain the growth of boron nanowires based on our experimental observations.

关键词： boron nanowires, magnetron sputtering, arrays, self-assembly.

The influence of moderate ENSO on summer rainfall in eastern china and its comparison with strong ENSO

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2008年第5期53卷 791-800页

作者： XUE Feng1 & LIU ChangZheng1,2.1 Institute of Atmospheric Physics, chinese Academy of Sciences, beijing 10002.,{2. 2.graduate university of chinese Academy of Sciences, beijing 10004.,{2. chinese Acad Sci Inst Atmospher Phys Beijing 100029 Peoples R China.

The 6 major ENSO events since 1979 are classified into the strong and moderate ENSO based on in-tensity. The composite analysis is performed to reveal the influence of ENSO on East Asian summer monsoon (EASM) and summer rainfall in eastern china. It is shown that the influence is changed with the seasonal cycle in summer, with a weaker influence in June and a stronger influence in August, in-dicating a long lagged effect of ENSO on EASM. Besides, the circulation and rainfall anomalies caused by the strong ENSO are also stronger with an earlier starting time, while the influence of the moderate ENSO is evident in August. The composite summer rainfall in eastern china for the moderate ENSO exhibits a northern rainfall pattern, which is totally different from the classical ENSO-type rainfall pat-tern. Based on the composite analysis, two moderate ENSO years with a similar intensity (i.e., 1995 and 2.03) are compared. The result shows that, the response of EASM to the moderate ENSO during June and July is, to a certain degree, modulated by the circulation systems in mid-high latitudes of Eurasia and in the Southern Hemisphere, thereby inducing a different rainfall distribution in eastern china. In comparison with the strong ENSO in 1983, it is further revealed that, the strong ENSO plays a dominant role in summer rainfall anomalies in eastern china as well as in controlling the influence of the other factors on EASM. The strong ENSO is therefore different with the moderate ENSO.

关键词：中国东部海洋气象学厄尔尼诺现象东亚季风降雨

Characteristics and origins of primary fluids and noble gases in mantle-derived minerals from the Yishu area,Shandong Province,china

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2006年第1期49卷 77-87页

作者： MA Jinlong1,2. TAO Mingxin2.3 & YE Xianren2.1. Resources and Environmental School, Lanzhou university, Lanzhou 730000,{4. 2. Key Laboratory of Gas Geochemistry, Institute of Geology and Geophysics, {2. Academy of Sciences, Lanzhou 730000,{4. 3. College of Resources Science & Technology, beijing Normal university, beijing 100875,{4. 1. Resources and Environmental School Lanzhou University Lanzhou 730000 China 2. Key Laboratory of Gas Geochemistry Institute of Geology and Geophysics Chinese Academy of Sciences Lanzhou 730000 China 3. College of Resources Science & Technology Beijing Normal University Beijing 100875 China

Fluids and noble gases of mantle-derived materials are important tracers forthe mantle information. Compositions of primary fluids and noble gases in mantle-derived mineralsfrom the Yishu area, Shandong Province, china, were tested by the methods of heat-bursting andheat-melting respectively. The fluids are mainly composed of CO_2. CO and H_2. which account forabout 90% of the total, and are similar to the mantle-derived rocks from other areas of easternchina; ratios of ~3He/~4.e in almost all samples range from 0.82.Ra to 2.74.Ra, whereas^(4.)Ar/^(36)Ar from 2.9.5 to 758.8. Both ranges are much lower than those of the typical oceanmantle-derived samples (such as MORB) and primarily reflect the influences of the atmosphericcomponents and the radiogenic isotopes. Ratios of C/~3He range from 2..6 x 10~9 to 1050 x 10~9,N_2.Ar from 92. to 56612. and N_2.~3He from 2.5 x 10~9 to 2. x 10~9, similar to those in westernUnited States and New Zealand which belong to the tectonic plate collision regions. The ratios fallin the intersect of mantle-crust-atmosphere in the comprehensive tracer-charts, reflecting theinfluences of the atmosphere and the crusts with organic components. Our results suggest that thecomposition of the primary fluids and the isotopic ratios of the noble gases may either reflect theevolution process of mantle-derived rocks connected with the rise and eruption of magma, or theinfluence of the ancient subduction-plate on the continental mantle of this region.

关键词： noble gases, primary fluids, mantle-derived minerals, Yishu area.