检索结果-南通市图书馆

Study on growth and properties of novel γ-LiAlO_2 substrate

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2006年第2期49卷 188-193页

作者： ZOU Jun1,2, ZHOU Shengming1, XU Jun1 & ZHANG Rong3.1. Shanghai Institute of Optics and Fine Mechanics, chinese academy of sciences, Shanghai 201800, china 2. Graduate School of chinese academy of sciences, {3. 10003., china 3. Laboratory of Solid State Microstructures and Department of physics, Nanjing University, Nanjing 210093. china Shanghai Institute of Optics and Fine Mechanics Chinese Academy of Sciences Shanghai China Graduate School of chinese academy of sciences Beijing China Laboratory of Solid State Microstructures and Department of physics Nanjing University Nanjing China

Transparent γ-LiAlO2 single crystal has been grown by Temperature Gradient technique. The surface of the wafer annealed in O2-atmosphere at 1100°C for 70 h became opaque and Li-poor phase (LiAl5O8); while, that annealed in Li-rich atmosphere kept transparent and smooth. The full-width at half maximum value dropped to 3. arcsecs when the wafer was annealed in Li-rich atmosphere. That annealed in O2-atmosphere increased to 78 arcsec. Compared with absorption spectra, we can conclude that the 196 nm absorption peak was caused by Li vacancies and the 73. nm peak was caused by O vacancies.

关键词： γ-LiAlO2 crystal, scanning electron micrograph (SEM), absorption spectra.

A new approach to studying ENSO predictability:Conditional nonlinear optimal perturbation

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2003年第10期48卷 1045-1047页

作者： MU Mu & DUAN Wansuo LASG, Institute of atmospheric physics, chinese academy of sciences,{3., china LASG Institute of Atmospheric Physics Chinese Academy of Sciences Beijing 100029 China

A new approach, the conditional nonlinear optimal perturbation (CNOP) is introduced to study the predictability of El Ni駉-Southern Oscillation (ENSO) using a theoretical coupled ocean-atmosphere model. The differences between CNOP and linear singular vector (LSV) are demonstrated. The results suggest that the nonlinear model and CNOP are superior in determining error growth for studying predictability of the ENSO. In particular, the CNOP approach is used to explore the nature of the 憇pring predictability barrier?in ENSO prediction.

关键词：研究方法非线性最优混乱条件天气预报 ENSO模型海洋大气模型

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, beijing 100080, china 2. College of Applied {3., beijing University of Technology, beijing 10002., 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.

Sequence analysis of mRNA polyadenylation signals of rice genes

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

chinese Science Bulletin 2006年第9期51卷 1069-1077页

作者： LU Ying1, 2, GAO Chenxi1,2,3.& HAN Bin1,3.41. National Center for Gene Research, Shanghai Institutes for Biological sciences, chinese academy of sciences, Shanghai 20023., china 2. Graduate School of the chinese academy of sciences, beijing 10003., china 3. Institute of Plant Physiology and Ecology, Shanghai Institutes for Biological sciences, chinese academy of sciences, Shanghai 20003., china National Center for Gene Research Shanghai Institutes for Biological Sciences Chinese Academy of Sciences Shanghai China Graduate School of the chinese academy of sciences Beijing China Institute of Plant Physiology and Ecology Shanghai Institutes for Biological Sciences Chinese Academy of Sciences Shanghai China

The formation of eukaryotic mRNAs involves the cleavage and polyadenylation of pre- mRNAs. To investigate the sequence requirement of putative polyadenylation signals (PASs), poly(A) sites and downstream elements (DUEs) in 3.-end-pro- cessing in rice, we compared expressed sequences tags (ESTs) with poly(A) extremity to full-length cDNA sequences and constructed a database of 12969 pre- mRNA sequences in ?40―+40 nt surrounding the poly(A) sites, which were from 9953.genes. The al- ternative poly(A) sites were revealed in approxi- mately 25% of mRNAs. Nearly 80% of pre-mRNAs showed stringent requirement of the YA (CA or UA) at poly (A) sites for polyadenylation. About 7.9% had the AAUAAA signals on ?40―?1 nt upstream of the poly(A) sites. Over 60% of mRNAs probably used the one- or two-base variants of AAUAAA hexamers as their PASs in 3. fragments. The single-base variants of AAUGAA revealed the high frequency in 11.5% of 3. fragments. The DUEs were detected in 90% of pre- mRNAs, especially more than half of the pre-mRNAs with multi-base variants of AAUAAA had the DUEs surrounding the poly(A) site. The location of DUE is also important for defining the cleavage site. Al- though most of the rice pre-mRNAs did not contain AAUAAA signal, the existence of downstream ele- ments ensured the efficiency of cleavage-polyade-

关键词：多聚腺苷酸序列分析 mRNA 水稻基因工程

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 sciences,{3. 100080,china 2 academy of Mathematics and Systems Science,chinese academy of sciences,{3. 100080,china 3.Graduate University of chinese academy of sciences,{3. 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.

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

Stability of proton and maximally symmetric minimal unification model for basic forces and building blocks of matter

在线全文

学校读者我要写书评

暂无评论

Science china(physics,Mechanics & Astronomy) 2007年第3期50卷 303-310页

作者： WU YueLiang Institute of Theoretical physics, chinese academy of sciences, beijing 100080,{3. Institute of Theoretical physics Chinese Academy of Sciences Beijing China

With the hypothesis that all independent degrees of freedom of basic building blocks should be treated equally on the same footing and correlated by a possible maximal symmetry, we arrive at a 4-dimensional space-time unification model. In this model the basic building blocks are Majorana fermions in the spinor repre- sentation of 14-dimensional quantum space-time with a gauge symmetry GM4D = SO(1,3.×SU(3.)×U(1)A×SU(3.F. The model leads to new physics including mirror particles of the standard model. It enables us to issue some fundamental questions that include: why our living space-time is 4-dimensional, why parity is not con- served in our world, how the stability of proton is, what the origin of CP violation is and what the dark matter can be.

关键词： gauge symmetry space-time symmetries beyond standard model and unification

Construction and numerical tests of the multi-conservation difference scheme

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2003年第10期48卷 1016-1020页

作者： WANG Bin & JI Zhongzhen LASG, Institute of atmospheric physics, chinese academy of sciences,{3., china LASG Institute of Atmospheric Physics Chinese Academy of Sciences Beijing 100029 China

A difference scheme with four conservation properties for solving the spherical barotropic shallow water equations is constructed, based on a proper formulae of the equations and a skillful correction on the spatial difference parts of the semi-discrete equations with which the number of the conservation properties of these equations is increased from three to four. Numerical tests are included, and good results are achieved in this study.

关键词：多态守恒差分图解法动力系统正压浅水波方程大气系统数字模型

Simulation of aerodynamic performance affected by vortex generators on blunt trailing-edge airfoils

在线全文

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2010年第1期53卷 1-7页

作者： YANG Ke1,2,ZHANG Lei1,3.& XU JianZhong1,2 1 Institute of Engineering Thermophysics,chinese academy of {3.,beijing 100190,china 2 Key Laboratory of Wind Energy Utilization,chinese academy of {3.,beijing 100190,china 3.Graduate School of chinese academy of sciences,beijing 100190,china Institute of Engineering Thermophysics Chinese Academy of Sciences Beijing China Key Laboratory of Wind Energy Utilization Chinese Academy of Sciences Beijing China Graduate School of chinese academy of sciences Beijing China

An investigation was carried out by numerical simulation on a wind turbine airfoil and a blunt trailing-edge airfoil with and without vortex generators (VGs), and the performance of the airfoils was analyzed. By the simulation of airfoil DU 91-W2-250 it was verified that the numerical method and model were credible. Based on this airfoil, a new one with a blunt trailing edge of 6% chord was blended by symmetrically adding thickness, and its characteristics curves were obtained through computing at key angles of attack. Additionally, the pressure distribution on blended airfoil was analyzed by comparing to the airfoil without blend. The interaction of streamwise vortices induced by VGs with trailing vortex or separation vortex was considered, followed by the uncovery of how VGs can suppress the boundary layer separation.

关键词： vortex generators airfoil blunt trailing-edge

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, china 2. Institute of Computing Technology, chinese academy of sciences, beijing 100080, china 3. Graduate School of the chinese academy of sciences, beijing 10003., china School of Information Engineering Zhejiang Forestry College Hangzhou Zhejiang China Institute of Computing Technology Chinese Academy of Sciences Beijing China Graduate School of the chinese academy of sciences Beijing 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