检索结果-南通市图书馆

Discovery of immune related factors in Fenneropenaeus chinensis by annotation of ESTs

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2004年第1期14卷 48-55页

作者： SHEN Yaoqing 1,2 , XIANG Jianhai 1*, WANG Bing 1,2 , LI Fuhua 1 and TONG Wei 3.1. Experimental Marine Biology laboratory, institute of Oceanology, chinese academy of sciences, Qingdao 266071,{3. 2. Graduate School of the chinese academy of sciences, beijing 10003., china 3. Genomics & Bioinformatics institute, chinese academy of sciences, beijing 1013.0, china) chinese Acad Sci Inst Oceanol Expt Marine Biol Lab Qingdao 266071 Peoples R China chinese Acad Sci Grad Sch Beijing 100039 Peoples R China chinese Acad Sci Geonom & Bioinformat Inst Beijing 101300 Peoples R China

A total of 10446 expressed sequence tags (ESTs) are obtained by a large scale sequencing of a cDNA library from cephalothorax of adult Fenneropenaeus chinensis . An EST analysis platform was built up based on local computers and bioinformatic techniques were used to annotate these ESTs in order to promptly find possible functional genes, especially for immune related factors. About 4% of the ESTs show similarity to the coding sequences of such factors, including lectin, serine protease, serpin, lysozyme, etc. These ESTs provide a partial profile of the immune system in F. chinensis and useful information for further study on these genes.

关键词： Fenneropenaeus chinensis bioinformatics ESTs immune factors

^(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 {3., beijing 100081, china 2. institute of Geology, chinese academy of Geological {3., beijing 10003., china 3. institute of Geology and Geophysics,{13., beijing 100029, china institute of Geomechanics Chinese Academy of Geological Sciences Beijing China institute of Geology Chinese Academy of Geological Sciences Beijing China institute of Geology and Geophysics Chinese Academy of Sciences Beijing 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.

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 10003., china 3. General Establishment of Space Science and Application, chinese academy of sciences, beijing 100080, china Correspondence should be addressed to L Congmin Center for Space Science and Applied Research Chinese Academy of Sciences Beijing China Graduate School of the chinese academy of sciences Beijing China General Establishment of Space Science and Application Chinese Academy of Sciences 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.

Modeling and verifying Web services driven by requirements:An ontology-based approach

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第6期49卷 792-820页

作者： HOU Lishan1,3.JIN ZHi1,2 & WU Budan1,4 1. academy of Mathematics and Systems Science, chinese academy of sciences, beijing 100080,{3. 2. institute of Computing Technology, chinese academy of sciences, beijing 100080,{3. 3. institute of Software, chinese academy of sciences, beijing 100080,{3. 4. Graduate University of chinese academy of sciences, {13. 100049,{3. academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China institute of Software Chinese Academy of Sciences Beijing China institute of Computing Technology Chinese Academy of Sciences Bejing China Graduate University of chinese academy of sciences Beijing China

Automatic discovery and composition of Web services is an important research area in Web service technology, in which the specification of Web services is a key issue. This paper presents a Web service capability description framework based on the environment ontology. This framework depicts Web services capability in two aspects： the operable environment and the environment changes resulting from behaviors of the Web service. On the basis of the framework, a requirement-driven Web service composition model has been constructed. This paper brings forward the formalization of Web service interactions with π calculus. And an automatic mechanism converting conceptual capability description to the formal process expression has been built. This kind of formal specification assists in verifying whether the composite Web service model matches the requirement.

关键词： Web service environment ontology automatic composition π calculus formal verification.

Modeling of elastic wave propagation on a curved free surface using an improved finite-difference algorithm

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2004年第5期47卷 633-648页

作者： WANG Xiuming1,3.& ZHANG Hailan2 1. CSIRO Petroleum, ARRC, PO BOX 113., Technology Park, Bentley, WA 6102, Australia 2. institute of Acoustics, chinese academy of sciences, beijing 100080,{3. 3. Present address: institute of Acoustics, chinese academy of sciences, beijing 100080,{3. CSIRO Petroleum ARRC Bentley Australia institute of Acoustics Chinese Academy of Sciences Beijing China

Based on existing direct and imaging methods of a staggered finite-difference scheme, an improved algorithm for staggered finite-difference is proposed to implement rugged topographic free boundary conditions. This method assumes that the free surface can be implemented with horizontal and vertical free surface segments and their corners; the free surface passes through the grid points of shear stress components, instead of the normal stress components. Imaging is carried out for stress components in both horizontal and vertical directions, thus increasing the accuracy. To update particle- velocities, imaging and updating are first performed in the horizontal direction, and then in the vertical direction. The numerical results for elastic flat horizontal free surface with the imaging method and those for flat free surfaces of various slope angles with the proposed method are compared, and are shown to be in good agreement. The advantage of the proposed method is that only the stresses are dealt with in implementing the free surface into the staggered algorithm, which improves computation efficiency.

关键词： elastic wave simulation, curved free surface, staggered finite-difference, algorithm stability.

SHRIMP zircon U-Pb geochronology of early Mesozoic felsic igneous rocks from the southern Lancangjiang and its tectonic implications

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2006年第10期49卷 1032-1042页

作者： PENG Touping1,2, WANG Yuejun1, FAN Weiming1, LIU Dunyi3. SHI Yuruo3.& MIAO Laicheng4 1. Key laboratory of Isotope Geochronology and Geochemistry, Guangzhou institute of Geochemistry, chinese academy of sciences, Guangzhou 510640,{3. 2. Graduate University of chinese academy of sciences, beijing 10003.,{3. 3. SHRIMP isotope laboratory, chinese academy of Geological sciences, beijing 10003.,{3. 4. institute of Geology and Geophysics, chinese academy of sciences, beijing 100029,{3. Key laboratory of Isotope Geochronology and Geochemistry Guangzhou Institute of Geochemistry Chinese Academy of Sciences Guangzhou China Graduate University of chinese academy of sciences Beijing China SHRIMP isotope laboratory Chinese Academy of Geological Sciences Beijing China institute of Geology and Geophysics Chinese Academy of Sciences Beijing China

The SHRIMP zircon U-Pb geochronology of three typical samples, including two monzo nitic granites from the Lincang batholith and a rhyolite from the Manghuai Formation are presented in the southern Lancangjiang, western Yunnan Province. The analyses of zircons for the biotite monzonitic granites from the northern (02DX-13.) and southern (20JH-10) Lincang batholith show the single and tight clusters on the concordia, and yield the weighted mean 206Pb/23.U ages of 229.4 ± 3.0 Ma and 23..4 ± 3.6 Ma, respectively, representing the crystallized ages of these granites. The zircons for the rhyolitic sample (02DX-95) from the Manghuai Formation give a weighted mean 206Pb/23.U age of 23..0 ± 5.0 Ma. These data suggest that the igneous rocks from the Lincang granitic batholith and Manghuai Formation have a similar crystallized age. In combination with other data, it is inferred that both were generated at a narrow age span (~23. Ma) and were originated from the postcollisional tectonic regime. An early Proterozoic 206Pb/23.U apparent age of 1977±44 Ma is additionally obtained from one zircon from the biotite monzonitic granite (southern Lincang batholith), indicative of devel- opment of the early Proterozoic Yangtze basement in the region. These precisely geochronological data provide important constraints on better understanding the Paleozoic tectonic evolution of the Tethys, western Yunnan Province.

关键词： SHRIMP zircon U-Pb dating, Middle Triassic, Lincang granitic batholith, Manghuai Formation rhyolite, southern Lancangjiang.

Formal analysis and design of multi-party fair exchange protocols

在线全文

学校读者我要写书评

暂无评论

Science in china(Series F) 2006年第2期49卷 155-174页

作者： QING Sihan1,2,3.& LI Gaicheng1,3.1. Engineering Research Center for Information Security Technology, institute of Software, chinese academy of sciences, beijing 100080,{3. 2. beijing Zhongke Ansheng Corporation of Information Technology, beijing 100080,{3. 3. Graduate School of the chinese academy of sciences, beijing 10003.,{3. Engineering Research Center for Information Security Technology Institute of Software Chinese Academy of Sciences Beijing China beijing Zhongke Ansheng Corporation of Information Technology Beijing China Graduate School of the chinese academy of sciences Beijing China

Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately,

关键词： fair exchange logical protocol formal model security requirement.

Review on the study of entanglement in quantum computation speedup

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2007年第16期52卷 2161-2166页

作者： DING ShengChao1,3.& JIN Zhi1,2,1 institute of Computing Technology,chinese academy of {3.,beijing 100080,china 2 academy of Mathematics and Systems Science,chinese academy of {3.,beijing 100080,china 3.Graduate University of chinese academy of sciences,beijing 100080,china institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China

The role the quantum entanglement plays in quantum computation speedup has been widely disputed. Some believe that quantum computation's speedup over classical computation is impossible if entan-glement is absent,while others claim that the presence of entanglement is not a necessary condition for some quantum algorithms. This paper discusses this problem systematically. Simulating quantum computation with classical resources is analyzed and entanglement in known algorithms is reviewed. It is concluded that the presence of entanglement is a necessary but not sufficient condition in the pure state or pseudo-pure state quantum computation speedup. The case with the mixed state remains open. Further work on quantum computation will benefit from the presented results.

关键词：量子论量子纠缠量子计算加速模拟

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., china 2. College of Applied sciences, beijing University of Technology, beijing 100022, china 3. School of Science, beijing institute of Technology, beijing 100081, china) 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.