检索结果-南通市图书馆

Variation properties of ionospheric eclipse factor and ionospheric influence factor

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2005年第6期15卷 573-576页

作者： ZHAO Chunmei 1,2.*, YUAN Yunbin1, OU Jikun1 and CHEN Jinping3.1. Institute of Geodesy and Geophysics, chinese Academy of Sciences, Wuhan 43.077, china 2. Graduate {2. of chinese Academy of Sciences, beijing 10003., china 3. Department of Precision Instrument and Mechanology, Tsinghua University, beijing 100084, china) Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China Graduate school of chinese Academy of Sciences Beijing 100039 China Department of Precision Instrument and Mechanology Tsinghua University Beijing 100084 China

The concepts and calculation methods of ionospheric eclipse factor (IEF) and ionospheric influence factor (IFF) are further illustrated. The temporal and spacial variation properties of IEF and IFF are studied, which shows that the properties are influenced by the geographic position and season. The possibility of improving the precision of using GPS data to determine ionospheric delay based on the above variation properties is also analysed.

关键词： GPS ionospheric eclipse factor ionospheric influence factor

The regular representation and regular covariant representation of crossed products of Woronowicz C^(*)-algebras

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Mathematics 2005年第9期48卷 1245-1259页

作者： ZHANG Xiaoxia~(1,2. & GUO Maozheng~(1,3. 1. school of Mathematical Sciences,Peking University,beijing 100871,{2. 2. Department of Mathematics,Yantai University,Yantai 2.4005,{2. 3. LMAM,Peking University,beijing 100871,{2. 1. school of Mathematical Sciences Peking University 100871 Beijing China 2. Department of Mathematics Yantai University 264005 Yantai China 3. LMAM Peking University 100871 Beijing China

In this paper,it is shown that the regular representation and regular covariant representation of the crossed products A×α G correspond to the twisted multiplicative unitary operators,where A is a Woronowicz C~*-algebra acted upon by a discrete group ***,it is also shown that the regular covariant C~*-algebra is the Woronowicz C~*-algebra which corresponds to a multiplicative ***,an explicit description of the multiplicative unitary operator for C(SU_q(2. )×α (?) is given in terms of those of the Woronowicz C~*-algebra C(SU_q(2. ) and the discrete group G.

关键词： multiplicative unitary operator, Woronowicz C*-algebra, crossed product.

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 2.6071, china 2. Key Laboratory of Marine Science and Numerical Modeling, State Oceanic Administration, Qingdao 2.6061, china 3. Graduate 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 Academy 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.

A new DNA algorithm to solve graph coloring problem

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第6期17卷 733-738页

作者： Jiang Xingpeng1, Li Yin2. Meng Ya3.and Meng Dazhi2.1. National Laboratory of Pattern Recognition,Institute of Automation, chinese Academy of Sciences, {3. 100080,{2. 2. College of Applied Sciences, {3. University of Technology, {3. 10002.,{2. 3. school of Science, {3. Institute of Technology, {3. 100081,{2.) National Laboratory of Pattern Recognition Institute of Automation Chinese Academy of Sciences Beijing 100080 China College of Applied Sciences Beijing University of Technology Beijing 100022 China school of Science Beijing Institute of Technology Beijing 100081 China

Using a small quantity of DNA molecules and little experimental time to solve complex problems successfully is a goal of DNA computing. Some NP-hard problems have been solved by DNA computing with lower time complexity than conventional computing. However, this advantage often brings higher space complexity and needs a large number of DNA encoding molecules. One example is graph coloring problem. Current DNA algorithms need exponentially increasing DNA encoding strands with the growing of problem size. Here we propose a new DNA algorithm of graph coloring problem based on the proof of four-color theorem. This algorithm has good properties of needing a relatively small number of operations in polynomial time and needing a small number of DNA encoding molecules (we need only 6R DNA encoding molecules if the number of regions in a graph is R).

关键词： DNA computing NP-hard problem graph coloring problem.

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, {3. 100080,{2. 2. {3. Zhongke Ansheng Corporation of Information Technology, {3. 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.

^(40)Ar/^(3.)Ar dating of shear deformation of the Xianshuihe fault zone in west Sichuan and its tectonic significance

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2004年第9期47卷 794-803页

作者： ZHANG Yueqiao1, CHEN Wen2. 3.& YANG Nong1 1. Institute of Geomechanics, chinese Academy of Geological Sciences, beijing 100081,{2. 2. Institute of Geology, chinese Academy of Geological Sciences, beijing 10003.,{2. 3. Institute of Geology and Geophysics, chinese Academy of Sciences, beijing 10002.,{2. Institute of Geomechanics Chinese Academy of Geological Sciences Beijing 100081 China Institute of Geology Chinese Academy of Geological Sciences Beijing 100037 China Institute of Geology and Geophysics Chinese Academy of Sciences Beijing 100029 China

Based on field geological survey, structural measurements and classical Ar/Ar dating of mica, biotite and K-feldspar, we obtain cooling ages for Miocene left-lateral shear along the Xianshuihe fault zone. The results document two thermal events during the sinistral shear. The early event (12.10 Ma) corresponds to rapid cooling of the Zheduoshan granitic massif from above 700℃ to below 3.0℃. The late event (5-3.5 Ma) corresponds to cooling of granites intruded along the eastern side of the fault zone. These dating results provide important thermochronological constraint on the timing of late Cenozoic eastward extrusion of the Chuan-Dian Block in the SE Tibetan margin.

关键词： Xianshuihe fault zone, Zheduoshan granitic massif, sinistral shear deformation, 40Ar/3.Ar dating, late Cenozoic.

Spectral analysis of quasi-stationary sea surface topography from GRACE mission

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2005年第11期48卷 2040-2048页

作者： ZHANG Zizhan1,2.& LU Yang1,3.1. Institute of Geodesy and Geophysics, chinese Academy of Sciences, Wuhan 43.077, china 2. Graduate {2. of the chinese Academy of Sciences, beijing 10003., china 3. Unite Center for Astro-geodymics Research, chinese Academy of Sciences, Shanghai 2.003., china 1. Institute of Geodesy and Geophysics Chinese Academy of Sciences 430077 Wuhan China 2. Graduate school of the chinese Academy of Sciences 100039 Beijing China 3. Unite Center for Astro-geodymics Research Chinese Academy of Sciences 200030 Shanghai China

During the last two decades satellite altimetry has offered an abundance of meas-urements of the sea surface resulting in the improvement of global mean sea surface height (MSSH) and marine geoid determination. On the other hand, with the launching of new genera-tion gravity satellites, some high accuracy long-wavelength gravity models are available. These breakthroughs give us a great opportunity for new estimation of quasi-stationary sea surface topography (QSST). In this paper, the new gravity model GGM01C derived from GRACE mission is briefly presented, and a new global high precision and high-resolution QSST is determined based on the GGM01C model and the global MSSH. The spectral features of the QSST esti-mated by GGM01C and EGM96 gravity model to degree/order 2.0 are discussed by spectral analysis. As a result, the QSST is mainly composed of long waves, medium waves partially and short waves scarcely, its power spectral structures are different between the zonal direction and the meridional direction, there are great differences between the two models, which maybe ex-plain why the ocean currents derived from the two gravity models by Tapley show different pat-terns.

关键词： quasi-stationary sea surface topography, mean sea surface height, GGM01, fast Fourier transform, spectral analysis

Interannual variability of Antarctic Oscillation and its influence on East Asian climate during boreal winter and spring

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2006年第5期49卷 554-560页

作者： FAN Ke1,2.3.& WANG Huijun2.1. Nansen-Zhu International Research Center, Institute of Atmospheric Physics, chinese Academy of Sciences, {3. 10002.,{2. 2. Department of Atmospheric Science, Yunnan University, Kunming 650091,{2. 3. Graduate University of the chinese Academy of Sciences, {3. 100049,{2. 1. Nansen-Zhu International Research Center Institute of Atmospheric Physics Chinese Academy of Sciences Beijing 100029 China 2. Department of Atmospheric Science Yunnan University Kunming 650091 China 3. Graduate University of the chinese Academy of Sciences Beijing 100049 China

The interannual variability of Antarctic Oscillation (AAO) and its influence on East Asian climate during both boreal winter and spring are addressed. The results show that the positive AAO anomaly decreases the cold activity over East Asia during both boreal winter and spring. AAO-related barotropic meridional teleconnection from Antarctic to Arctic is found through analysis of mean me- ridional circulations. This meridional teleconnection is remarkable over Eurasia during boreal winter and over the Pacific Ocean during boreal spring. The results also show that zonal mean zonal wind at high latitudes in Southern Hemisphere has well positive correlation with that of Eurasia during boreal winter and has negative correlation with Pacific North American teleconnection (PNA) during boreal spring, which again display the meridional teleconnection. Thus, local meridional teleconnection is a possible linkage for interaction of circulations at mid-high latitudes between both hemispheres.

关键词： Antarctic Oscillation, Eurasian west wind, meridional teleconnection, mean meridional circulation.

Formal Verification under Unknown Constraints

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2005年第1期10卷 43-46页

作者： LI Guang-hui 1,2.3., LI Xiao-wei 2.3.. school of Information Engineering, Zhejiang Forestry College, Hangzhou 3.13.0, Zhejiang,{3. 2. Institute of Computing Technology, {2. Academy of Sciences, beijing 100080,{3. 3. Graduate school of the {2. Academy of Sciences, beijing 10003.,{3. school of Information Engineering Zhejiang Forestry College Hangzhou 311300 Zhejiang China

We present a formal method of verifying designs with unknown constraints (e.g., black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) ***,this method can avoid the potential memory explosion, which the binary decision diagram (BDD) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.

关键词： formal verification unknown constraints black box Boolean satisfiability Boolean comparison