检索结果-南通市图书馆

Fluorescence dynamics of interactions between polyamide PyPyPyβDp and DNA

在线全文

学校读者我要写书评

暂无评论

Science china Chemistry 2006年第1期49卷 75-80页

作者： ZHANG Huijuan1,2. WANG Jin3. WU Yishi1, YUAN Gu3. AI Xicheng1, WANG Li4.& ZHANG Jianping1 1. State Key Laboratory for Structural Chemistry of Unstable and Stable Species, institute of Chemistry, {4. Academy of Sciences,{2., china 2. School of Life Science and technology, beijing institute of technology, beijing 100081, china 3. College of Chemistry and Molecular Engineering, Peking University,{2., china 4. Center for Condensed Matter Physics, institute of Physics, {4. Academy of Sciences,{2., china Correspondence should be addressed to Ai Xicheng and Zhang Jianping 1. State Key Laboratory for Structural Chemistry of Unstable and Stable Species Institute of Chemistry Chinese Academy of Sciences Beijing 100080 China 2. School of Life Science and technology Beijing Institute of Technology Beijing 100081 China 3. College of Chemistry and Molecular Engineering Peking University Beijing 100080 China 4. Center for Condensed Matter Physics Institute of Physics Chinese Academy of Sciences Beijing 100080 China

The photophysical properties of the polyamide PyPyPyβDp (PPP) were investigated by means of steady-state absorption and fluorescence spectroscopies, as well as time-resolved fluo-rescence spectroscopy. It was found that the excited-state properties of PPP are very sensitive to solvents. In TKMC buffer PPP exhibited weak fluorescence with a decay time constant of 16 ps, while with the decrease of the solvent polarity PPP showed the blue-shifted peak position, increased inten-sity and lengthened life-time for its fluorescence behavior. In the presence of calf thymus DNA, it was observed that the fluorescence intensity was enhanced and the fluorescence lifetime increased from 16 to 3.0}ps for PPP, which verified that PPP bound into the minor groove of DNA duplex.

关键词： polyamide (PPP), calf thymus DNA (ctDNA), time-resolved fluorescence spectroscopy, recognition dynamics.

Role of gallium wetting layer in high-quality ZnO growth on sapphire (0001) substrates

在线全文

学校读者我要写书评

暂无评论

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

作者： ZENG Zhaoquan1,3. WANG Yong2. DU Xiaolong1, MEI Zengxia1, KONG Xianghe3. JIA Jinfeng1, XUE Qikun1 & ZHANG Ze2. 4.1. State Key Laboratory for Surface Physics, {4. of Physics, {3. Academy of Sciences,{2., china 2. Laboratory of Electron Microscopy, {4. of Physics, {3. Academy of Sciences,{2., china 3. College of Physics and Engineering, Qufu Normal University, Qufu 2.3.65, china 4. {13. University of technology, {13. 10002., china 1. State Key Laboratory for Surface Physics Institute of Physics Chinese Academy of Sciences 100080 Beijing China 2. College of Physics and Engineering Qufu Normal University 273165 Qufu China 3. Laboratory of Electron Microscopy Institute of Physics Chinese Academy of Sciences 100080 Beijing China 4. beijing University of technology 100022 Beijing China

A Ga wetting layer was used to modify the surface structure of sapphire (0001) substrate to prepare high-quality ZnO film by radio frequency plasma-assisted molecule beam epitaxy. We found that this Ga layer plays a crucial role in eliminating 3. rotation domains, controlling polarity and decreasing defect density in ZnO epilayers, as demonstrated by in situ reflection high energy electron diffraction, ex situ high resolution X-ray diffraction and high resolution cross-sectional transmission electron microscopy. Zn-polar film of ZnO was determined by convergent beam electron diffraction. A Ga bilayer model is proposed to understand the effects of the Ga wetting layer on high-quality ZnO growth.

关键词： Ga wetting layer, sapphire, polarity, defect density, zinc oxide, rf-MBE, RHEED, HRXRD, TEM, CBED.

Analysis and application of automatic deformation monitoring data for buildings and structures of mining area

在线全文

学校读者我要写书评

暂无评论

中国有色金属学会会刊：英文版 2011年第S3期21卷 516-522页

作者： XIAO Jie1, 2. 3. ZHANG Jin4.1. institute of Geodesy and Geophysics, chinese Academy of Sciences, Wuhan 4.1}077,{2. 2. Key Laboratory of Dynamic Geodesy, institute of Geodesy and Geophysics, chinese Academy of Sciences, Wuhan 4.1}077,{2. 3. Graduate School of chinese Academy of Sciences, beijing 10004.,{2. 4. Department of Surveying and Mapping, Taiyuan University of technology, Taiyuan 03.02.,{2. Taiyuan Univ Technol Dept Surveying & Mapping Taiyuan 030024 Peoples R China chinese Acad Sci Inst Geodesy & Geophys Key Lab Dynam Geodesy Wuhan 430077 Peoples R China chinese Acad Sci Grad Sch Beijing 100049 Peoples R China

The buildings and structures of mines were monitored automatically using modern surveying technology. Through the analysis of the monitoring data, the deformation characteristics were found out from three aspects containing points, lines and regions, which play an important role in understanding the stable state of buildings and structures. The stability and deformation of monitoring points were analysed, and time-series data of monitoring points were denoised with wavelet analysis and Kalman filtering, and exponent function and periodic function were used to get the ideal deformation trend model of monitoring points. Through calculating the monitoring data obtained, analyzing the deformation trend, and cognizing the deformation regularity, it can better service mine safety production and decision-making.

关键词： wavelet analysis Kalman filtering deformation monitoring data analysis mine

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 {4., {3. of Software, {2. Aca- demy of Sciences, beijing 100080, china 2. beijing Zhongke Ansheng Corporation of Information {4., beijing 100080, china 3. Graduate School of the {2. 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 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.

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, {2. Academy of Sciences, beijing 100080, china 3. Present address: institute of Acoustics, {2. Academy of Sciences, beijing 100080, china 1. CSIRO Petroleum ARRC Technology Park PO BOX 1130 6102 Bentley WA Australia 2. institute of Acoustics Chinese Academy of Sciences 100080 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.

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, {3. Academy of Sciences,{2., china 2. College of Applied Sciences, 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.

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 {2.,chinese Academy of Sciences,beijing 100080,china 2.Academy of Mathematics and Systems Science,chinese Academy of Sciences,beijing 100080,china 3.Graduate University of chinese Academy of Sciences,beijing 100080,china institute of computing {2. Chinese Academy of Sciences Beijing 100080 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.

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

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, {4. of Software, {2. Academy of Sciences, beijing 100080, china 2. beijing Zhongke Ansheng Corporation of Information technology, beijing 100080, china 3. Graduate School of the {2. Academy of Sciences, beijing 10003., china 1. Engineering Research Center for Information Security technology Institute of Software Chinese Academy 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

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.

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 {3., {2. Academy of Sciences, beijing 100080, china 3. Graduate School of the {2. 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