检索结果-南通市图书馆

Characteristics and geological significance of olivine xenocrysts in Cenozoic volcanic rocks from western Qinling

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第12期16卷 1300-1306页

作者： SU Benxun~ 1,2 **, ZHANG Hongfu~1, XIAO Yan~ 1,2 and ZHAO Xinmiao~ 1,2 (1. State Key Laboratory of Lithospheric Evolution, Institute of Geology and Geophysics, Chinese Academy of sciences, beijing 100029, china 2. graduate school of Chinese Academy of sciences, beijing 100039, china) [a]State Key Laboratory of Lithospheric Evolution Institute of Geology and Geophysics Chinese Academy of Sciences Beijing China [b]graduate school of Chinese Academy of sciences Beijing China

Cenozoic volcanic rocks from the Haoti, Dangchang County of the western Qinling Mountains, contain a few clearly-zoned olivines. These olivines are relatively big in grain sizes and usually have cracks or broken features. Their cores have similar compositions （Mg#=90.4-91.0） to those for the peridotitic xenoliths entrained in host volcanic rocks and their rims are close to the compositions of olivine phenocrysts （Mg#=85.5-81.9）. The CaO contents in these zoned olivines are lower than 0.1%. These features demonstrate that the clearly-zoned olivines are xenocrysts and disaggregated from mantle peridotites. The zoned texture was the result of the interaction between the olivine and host magma. Available data show that the volcanic rocks would have been derived from the mantle source metasomatized by subducted hydrathermally-altered oceanic crust. The formation of these Cenozoic volcanic rocks was perhaps related to the rapid uplift of the Tibetan Plateau.

关键词： Western Qinling Dangchang Haoti Cenozoic volcanic rocks olivine xenocrysts zoned texture.

Integrated precise orbit determination of Shenzhou IV unmanned spacecraft

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2004年第5期47卷 518-525页

作者： L Congmin1,2, GU Yidong3, LIN Baojun3 & GUO Jiong3 1. Center for Space Science and Applied Research, Chinese Academy of sciences, beijing 100080, china 2. graduate school of the Chinese Academy of sciences, beijing 100039, china 3. General Establishment of Space Science and Application, Chinese Academy of sciences, beijing 100080, china Correspondence should be addressed to L Congmin 1. 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. General Establishment of Space Science and Application Chinese Academy of Sciences 100080 Beijing China

Considering the characteristic orbit of Shenzhou IV spacecraft and the advantages and disadvantages of several types of domestic orbit measurements, a scheme of IPOD is determined, which uses GPS, SLR and USB observation data jointly plus precise ionosphere corrections to GPS observation data. IPOD system and mathematic models of OD are introduced. The results of different joint OD are analyzed using true observation data, and show that radial accuracy is better than 2 m.

关键词： Shenzhou IV unmanned spacecraft integrated precise orbit determination GPS SLR USB.

A new approach of cascade utilization of the chemical energy of fuel

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第5期16卷 518-523页

作者： HAN Wei, JIN Hongguang and LIN Rumou ( Institute of Engineering Thermophysics, Chinese Academy of sciences, beijing 100080, china graduate school of the Chinese Academy of sciences, beijing 100080, china) [a]Institute of Engineering Thermophysics Chinese Academy of Sciences Beijing China [b]graduate school of the Chinese Academy of sciences Beijing China

The indirect release of chemical energy of fuel is investigated, and a new mechanism is proposed to identify the cascade utilization of chemical energy of fuel more clearly. Based on the concept of energy level, the internal phenomenon of the indirect chemical energy release is disclosed, and the equations of energy level describing the utilization of chemical energy and thermal energy during the indirect chemical energy release process are obtained. From theoretical analysis, we find that the superiority of the indirect chemical energy release of fuel comes from the cascade utilization of the fuel's chemical energy. Moreover, the cascade utilization of chemical energy is verified by the investigation of CRGT (chemically recuperated gas turbine). As a result, the thermal exergy obtained from the chemical energy release of fuel increases by 2 % -3 % . The results obtained here may help a deeper understanding of indirect chemical energy release of fuel and provide a theoretical basis for the synthesis of innovative energy systems.

关键词： chemically recuperated gas turbine methane/steam reforming chemical energy level cascade utilization.

Analysis of tandem repeats in the genome of Chinese shrimp Fenneropenaeus chinensis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Science Bulletin 2005年第14期50卷 1462-1469页

作者： KONG Jie1 & GAO Huan2,3 1. Key Laboratory for Sustainable Utilization of Marine Fisheries Re- sources, Ministry of Agriculture, Yellow Sea Fisheris Research Insti- tute, Chinese Academy of Fishery sciences, Qingdao 266071, china 2. Institute of Oceanology, Chinese Academy of sciences, Qingdao 266071, china 3. The graduate school of the Chinese Academy of sciences, beijing 100039, china Key Laboratory for Sustainable Utilization of Marine Fisheries Resources Ministry of Agriculture Yellow Sea Fisheris Research Institute Chinese Academy of Fishery Sciences Qingdao China Institute of Oceanology Chinese Academy of Sciences Qingdao China The graduate school of the Chinese Academy of sciences Beijing China

Through random sequencing, we found a total of 884000 base-pairs (bp) of random genomic sequences in the genome of Chinese shrimp (Fenneropenaeus chinensis). Using bio-soft Tandem Repeat Finder (TRF) software, 2159 tandem repeats were found, in which there were 1714 mi- crosatellites and 445 minisatellites, accounting for 79.4% and 20.6% of repeat sequences, respectively. The cumulative length of repeat sequences was found to be 116685 bp, ac- counting for 13.2% of the total DNA sequence; the cumula- tive length of microsatellites occupied 9.78% of the total DNA sequence, and that of minisatellites occupied 3.42%. In decreasing order, the 20 most abundant repeat sequence classes were as follows: AT (557), AC (471), AG (274), AAT (92), A (56), AAG (28), ATC (27), ATAG (27), AGG (18), ACT (15), C (11), AAC (11), ACAT (11), CAGA (10), AGAA (9), AGGG (7), CAAA (7), CGCA (6), ATAA (6), AGAGAA (6). Dinucleotide repeats, not only in the aspect of the number, but also in cumulative length, were the preponderant repeat type. There were few classes and low copy numbers of repeat units of the pentanucleotide repeat type, which included only three classes: AGAGA, GAGGC and AAAGA. The classes and copy numbers of heptanucleotide, eleven-nucleotide and thirteen-nucleotide primer-number-composed repeats were distinctly less than that of repeat types beside them.

关键词：虾遗传特性遗传基因 DNA

Structure of augmentation quotients of finite homocyclic abelian groups

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2007年第9期50卷 1280-1288页

作者： Guo-ping TANG school of Mathematical sciences,graduate University of Chinese Academy of sciences,beijing 100049,china 1. school of Mathematical sciences Graduate University of Chinese Academy of Sciences Beijing 100049 China

Let G be a finite abelian group and its Sylow p-subgroup a direct product of copies of a cyclic group of order p r , i.e., a finite homocyclic abelian group. Let Δ n (G) denote the n-th power of the augmentation ideal Δ(G) of the integral group ring ?G. The paper gives an explicit structure of the consecutive quotient group Q n (G) = Δ n (G)/Δ n+1(G) for any natural number n and as a consequence settles a problem of Karpilovsky for this particular class of finite abelian groups.

关键词： integral group ring augmentation ideal consecutive quotient of augmentation ideal 16S34 20C05

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,31. school of Information Engineering, Zhejiang Forestry College, Hangzhou 311300, Zhejiang, china 2. Institute of Computing Technology, Chinese Academy of sciences, beijing 100080, china 3. graduate school of the Chinese Academy of sciences, beijing 100039, 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

Valuations on arithmetic surfaces

在线全文

学校读者我要写书评

暂无评论

Science china Mathematics 2009年第1期52卷 66-76页

作者： XU Ning Department of Mathematics, graduate school of Chinese Academy of sciences, beijing 100049, china Department of Mathematics Graduate School of Chinese Academy of Sciences Beijing 100049 China

In this paper, we give the definition of the height of a valuation and the definition of the big field ? p,G , where p is a prime and G ? ? is an additive subgroup containing 1. We conclude that ? p,G is a field and ? p,G is algebraically closed. Based on this the author obtains the complete classification of valuations on arithmetic surfaces. Furthermore, for any m ? p,G n ∈ ?, let V m,n be an ∝-vector space of dimension n - m + 1, whose coordinates are indexed from m to n. We generalize the definition of ? p,G , where p is a prime and G ? V m,n is an additive subgroup containing 1. We also conclude that ? p,G is a field if m ? 0 ? n.

关键词： valuation height rank totally ordered group big field transcendental number 14J10

Antisense expression of a rice cellular apoptosis susceptibility gene (OsCAS} alters the height of transgenic rice

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第1期17卷 39-43页

作者： XU Chunxiao and HE Chaozu ( National Key Laboratory of Plant Genomics, Institute of Microbiology, Chinese Academy of sciences, beijing 100080, china graduate University of Chinese Academy of sciences, beijing 100039, china Shenzhen Laboratory of Superhybrid Rice Research, graduate school at Shenzhen, Tsinghua University, Shenzhen 518055, china) [a]National Key Laboratory of Plant Genomics Institute of Microbiology Chinese Academy of Sciences Beijing China [b]graduate University of Chinese Academy of sciences Beijing China

Cellular apoptosis susceptibility (CAS) gene plays important roles in mitosis, development and export of importin a from the nucleus, but its function in plant is unknown. In this study, a rice CAS ortholog (OsCAS), which encodes a predicted protein of 983 amino acids with 62% similarity to human CAS, was identified. DNA gel blot analysis revealed a single copy of OsCAS in the rice genome. A 973 bp fragment at the 3' end of OsCAS cDNA was cloned from rice cDNA library and transferred into rice in the antisense direction under the control of CaMV 35S promoter via Agrobacterium-mediated transformation method, 105 transgenic lines were obtained. Expression of OsCAS was suppressed in the antisense transgenic lines as revealed by semi-quantitative RT-PCR. The antisense transgenic lines showed dwarf phenotypes. The results indicated that OsCAS was involved in culm development of rice.

关键词： antisense dwarf ortholog OsCAS rice.

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