检索结果-南通市图书馆

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,{2. 2. graduate school of Chinese Academy of Sciences,{3.,{2. 3. Department of Precision Instrument and Mechanology, Tsinghua University, beijing 100084,{2.) 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

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

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.. {2. of Information Engineering, Zhejiang Forestry College, Hangzhou 3.13.0, Zhejiang, china 2. Institute of Computing Technology, Chinese Academy of Sciences, beijing 100080, china 3. graduate {2. of the Chinese Academy of Sciences, beijing 10003., china 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

A tentative study for the prediction of the CME related geomagnetic storm intensity and its transit time

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2005年第6期48卷 648-668页

作者： ZHAO Xinhua1,2.& FENG Xueshang1,3.1. SIGMA Weather Group, Key Laboratory of Space Weather, Center for Space Science and Applied Re-search, Chinese Academy of Sciences, beijing 100080,{2. 2. graduate {3. of the Chinese Academy of Sciences, beijing 10003.,{2. 3. {3. of Geophysics and Geoinformation Systems,{2. University of Geosciences, beijing 100083.{2. 1. SIGMA Weather Group Key Laboratory of Space Weather Center for Space Science and Applied Research Chinese Academy of Sciences 100080 Beijing China 2. graduate school of the Chinese Academy of Sciences 100039 Beijing China 3. school of Geophysics and Geoinformation Systems China University of Geosciences 100083 Beijing China

Using 80 CME-ICME events during 1997.1―2.02.9, based on the eruptive source locations of CMEs and solar magnetic field observation at the photosphere, a current sheet magnetic coordinate (CMC) system is established in order to study the propagation of CME and its geoeffectiveness. In context of this coordinate system, the effect of the eruptive source location and the form of heliospheric current sheet (HCS) at the eruptive time of CME on the geomagnetic storm intensity caused by CME and the CME’s transit time at the Earth is investigated in detail. Our preliminary conclusions are: 1) The geomagnetic disturbances caused by CMEs tend to have the so-called “same side-opposite side effect”, i.e. CMEs erupt from the same side of the HCS as the earth would be more likely to arrive at the earth and the geomagnetic disturbances associated with them tend to be of larger magnitude, while CMEs erupting from the opposite side would arrive at the earth with less probability and the corresponding geomagnetic disturbance magnitudes would be relatively weaker. 2. The angular separation between the earth and the HCS affect the corresponding disturbance intensity. That is, when our earth is located near the HCS, adverse space weather events occur most probably. 3. The erupting location of the CME and its nearby form of HCS will also affect its arrival time at the earth. According to these conclusions, in this context of CMC coordinate we arrive at new prediction method for estimating the geomagnetic storm intensity (Dstmin) caused by CMEs and their transit times. The application of the empirical model for 80 CME-ICME events shows that the relative error of Dst is within 3.% for 59% events with Dstmin≤?50 nT, while the averaged absolute error of transit time is lower than 10 h for all events.

关键词： coronal mass ejections, current sheet magnetic coordinate system, geomagnetic storm intensity, transit time, prediction method.

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,{2. 100871,china 2. Department of Mathematics,Yantai University,Yantai 2.4005,china 3. LMAM,Peking University,{2. 100871,china 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.

Geographical Agglomeration of Chinese Manufacturing Industries

在线全文

学校读者我要写书评

暂无评论

中国人口·资源与环境：英文版 2007年第2期5卷 3-11页

作者： Zhang Hua 1, 2. Zheng Wei3.1. Institute of Geographical Sciences and Natural Resources Research, Chinese Academy of Sciences, beijing 100101,{2. 2. graduate {3. of the Chinese Academy of Sciences, beijing 10003.,{2. 3. {3. of Geography, beijing Normal University, beijing 100875,{2. Institute of Geographical Sciences and Natural Resources Research Chinese Academy of Sciences Beijing 100101 China graduate school of the Chinese Academy of Sciences Beijing 100039 China school of Geography Beijing Normal University Beijing 100875 China

Based on the plant level data from the First National Census of Basic Units, the Second National Census of Basic Units, and the First National Economic Census of china, this paper ex- amines the geographical agglomeration of Chinese manufacturing industries at a more disaggregated level both by industrial classi-fication and spatial unit analysis. Applying the agglomeration index proposed by Maurel and Sedillot, studies show that the most agglomerated industries are resource-intensive, and capital and technology intensive while industries demanding localized inputs or serving localized markets or favored by local governments are fairly dispersed. The more disaggregated industries are more spa- tially agglomerated. At the finer spatial scale, industries are more dispersed. Results indicate that within-county spillovers are stronger than nearby-county spillovers, and within-prefecture spillovers are stronger than nearby prefecture spillovers. Local- ized spillovers are still quite substantial at a range beyond that of counties. Comparing the agglomeration index of Chinese manu- facturing industries in 1996, 2.01 and 2.04, agglomeration seems to be a general tendency. Results also indicate that some industries have experienced remarkable changes in their levels of agglom- eration in the period 1996–2.04.

关键词： industrial agglomeration manufacturing industries the MS index

Cloning and expression of putative ethylene receptor genes in soybean plant

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第10期17卷 1152-1160页

作者： Xie Zongming1,2.3. Lei Gang1,2. Wuriyanghan Hada1,2. Tian Aiguo1, Zhang Jinsong1 and Chen Shouyi1(1. National Key Laboratory of Plant Genomics, Institute of Genetics and Developmental Biology, Chinese Academy of Sciences, beijing 100101,{2. 2. graduate {3. of Chinese Academy of Sciences, beijing 10003.,{2. 3. Xinjiang Academy of Agricultural and Reclamation Science, Shihezi 83.000,{2.) National Key Laboratory of Plant Genomics Institute of Genetics and Developmental Biology Chinese Academy of Sciences Beijing 100101 China graduate school of Chinese Academy of Sciences Beijing 100039 China Xinjiang Academy of Agricultural and Reclamation Science Shihezi 832000 China

Ethylene plays important roles in plant growth, development, and stress responses, and ethylene receptors have been identified and studied extensively in various plant species. Here we report the cloning of four ethylene receptor genes from soybean, i.e. GmETR1, GmERS1, GmETR2.and GmEIN4. Construction of the phylogenic tree showed that GmETR1 and GmERS1 belong to subfamily I whereas GmETR2.and GmEIN4 belong to subfamily II. The four ethylene receptor genes showed different tissue-specific expression patterns in roots, stems, leaves, cotyledons, flowers, pods and seeds of soybean. These genes were differentially regulated by various abiotic stresses and plant hormones. The possible roles of the four genes in soybean plant were also discussed.

关键词： abiotic stress expression analysis ethylene receptor plant hormone soybean.

The mathematical model of wetting angle of heterogeneous nucleation

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2004年第4期47卷 391-397页

作者： HUANG Cheng1, SONG Bo1, MAO Jinghong2.& ZHAO Pei3.1. school of Metallurgical and Ecological Engineering, University of Science and Technology {2., {2. 100083.{3. 2. school of Material Science, University of Science and Technology {2., {2. 100083.{3. 3. Central Iron and Steel Research Institute, {2. 100081,{3. 1. school of Metallurgical and Ecological Engineering University of Science and Technology Beijing 100083 Beijing China 2. school of Material Science University of Science and Technology Beijing 100083 Beijing China 3. Central Iron and Steel Research Institute 100081 Beijing China

The heterogeneous nucleation has been analyzed in terms of the thermodynamic theory, and the mathematical model of wetting angle of heterogeneous nucleation has been developed based on the dynamic requirements of hetero- and homogeneous nucleation. With the wetting angel model, the wetting angles of different catalysts in liquid iron have been calculated. The result shows that the wetting angle of most catalysts is smaller than 40, and the value of f() is far less than 1. The wetting angles of TiN, TiC and RE2.3.are smaller, while the wetting angle of MnO is bigger among the ordinary nucleation catalysts. The wetting angles calculated by this model are in agreement with the results of other research work.

关键词： heterogeneous nucleation, mathematical model, wetting angle, undercooling.

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 {3. 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 {2. 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.