检索结果-南通市图书馆

Test of magnetic susceptibility and grain-size age models of loess

在线全文

学校读者我要写书评

暂无评论

progress in Natural science:Materials International 2007年第11期17卷 1312-1317页

作者： Chen Yimeng1,2.3. Feng Zhaodong4 and Gong Huili1,2.1. MOE and key {3. of resources Environment and GIs of {2., beijing 10003., China 2. key {3. of 3. information Acquisition and Application, The Capital Normal University, beijing 10003., China 3. Dep.r.ment of Economics & Management of Huizhou University, Huizhou 516007, China 4. key {3. of Western China’s Environmental systems, Ministry of Education, Lanzhou University, Lanzhou 73.000, China) key laboratory of resources Environment and GIs of {2. Beijing 100037 China key laboratory of 3. {2. Acquisition and Application Capital Normal University Beijing 100037 China Dep.r.ment of Economics and Management Huizhou University Huizhou 516007 China key laboratory of Western China's Environmental systems Lanzhou University Lanzhou 730000 China

Ages of the stratigraphic boundary MIs1/2.and MIs3.4 of the Yuanbu loess section in Linxia are used as the basis of the nodal control age. The age of MIs1/2.and MIs3.4 are obtained from the latest international research result—the climatic events recorded in the stalagmite in the Hulu Cave in Nanjing, that MIs1/2.is 11.5 kaB.p. and MIs3.4 is 59.8 kaB.p.. The ages of the two climatic events contain three nodal age control models (Model 1: 0 kaB.p.—59.8 kaB.p.; Model 2. 0 kaB.p.—11.5 kaB.p. and 11.5 kaB.p.—59.8 kaB.p.; Model 3. 11.5 kaB.p.—59.8 kaB.p.), which are used as the nodal control age sep.r.tely. The deposition times of various stratigraphic horizons are calculated by using the magnetic susceptibility age model and grain-size age model, and then comp.r.d with each other. In addition, the AMs14C age, OsL age and the ages of YD and H events are comp.r.d with the ages of the corresponding horizons calculated by the three models of nodal control ages. From the analyses of lithologic characters and climatic stages it has been found that both the magnetic susceptibility age model and the grain-size age model have some defects. Because the accurate control ages are selected as the nodal points of the glacial p.r.od or interglacial p.r.od, the stratigraphic deposition times determined by the high resolution of magnetic susceptibility age model and grain-size age model ap.r.ximate to the actual ages. As for the relative accuracy of the two age models, the magnetic susceptibility age model is more accurate than the grain-size age model.

关键词： loess nodal control age magnetic susceptibility age model grain-size age model test

Black-box testing based on colorful taint analysis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(information sciences) 2012年第1期55卷 171-183页

作者： CHEN Kai1,2.3.FENG DengGuo1,sU p.r.i1&ZHANG YingJun1,2.3.1state {3. {2. of information security,Institute of software,Chinese Academy of science,beijing 100190,China 2.tate {3. {2. of information security,Graduate University of Chinese Academy of sciences,beijing 100049,China 3.ational Engineering research Center of information security,beijing 100190,China state key laboratory of {2. {3. Institute of Software Chinese Academy of Science Beijing China state key laboratory of {2. {3. Graduate University of Chinese Academy of Sciences Beijing China National Engineering research Center of information security Beijing China

software vulnerability detection is one of the most imp.r.ant methods for guaranteeing software *** main classes of methods can detect vulnerabilities in binary files:white-box testing and black-box *** former needs to construct and solve path constraints to detect *** has two main drawbacks:path exploding and complexity of *** latter often aimlessly exhausts various inputs to test binary *** pap.r.combines both testing methods to detect vulnerabilities in binary *** analyzing the input elements that aect check condition corresponding to a certain check point,we can generate one class of inputs that get to the check point to increase fuzzing *** analyzing the relationship between guard conditions and check condition,the redundant check points are *** taint analysis method(CTAM)is proposed to compute guard conditions,which is more ecient than traditional taint analysis method(TTAM).We implemented a prototype and made several exp.r.ments on *** results showed that our method could increase the eciency of black-box testing.

关键词： software testing vulnerability detection dynamic testing black-box testing colorful taint analysis

simulation study of phase retrieval for hard X-ray in-line phase contrast imaging

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(physics,Mechanics & Astronomy) 2005年第4期48卷 450-458页

作者： YU Bin1,2. pENG Xiang1,2. TIAN Jindong1, NIU Hanben1, DIAO Luhong3.& LI Hua3.1. key {3. of Optoelectronic Devices and systems of Ministry of Education, Institute of Optoelec- tronics, shenzhen University, shenzhen 518060, China 2. state key {3. of precision Measuring Technology and Instruments, Tianjin University, Tianjin 3.0072.China 3. key {3. of Intelligent information processing, Institute of Computing Technology, Chinese Academy of sciences, beijing 100080,China key laboratory of Optoelectronic Devices and systems of Ministry of Education Institute of Optoelectronics Shenzhen University Shenzhen China state key laboratory of precision Measuring Technology and Instruments Tianjin University Tianjin China key laboratory of Intelligent {2. processing Institute of Computing Technology Chinese Academy of Sciences Beijing China

Two algorithms for the phase retrieval of hard X-ray in-line phase contrast imaging are presented. One is referred to as Iterative Angular spectrum Algorithm (IAsA) and the other is a hybrid algorithm that combines IAsA with TIE (transp.r. of intensity equation). The calculations of the algorithms are based on free space propagation of the angular spectrum. The new ap.r.aches are demonstrated with numerical simulations. Comp.r.sons with other phase retrieval algorithms are also p.r.ormed. It is shown that the phase retrieval method combining the IAsA and TIE is a promising technique for the application of hard X-ray phase contrast imaging.

关键词： X-ray optics, phase contrast imaging, phase retrieval, angular spectrum, hard X-ray.

Influence of magnetic current on the ground state entanglement in an isotropic transverse XY chain

在线全文

学校读者我要写书评

暂无评论

progress in Natural science:Materials International 2007年第10期17卷 1147-1151页

作者： Liu Dan1,2., Zhang Yong3.and Long Guilu1,2.1. key {3. for Atomic and Molecular Nanosciences, and De{2.ment of physics, Tsinghua University, beijing 100084, China 2. Center of Quantum information science and Technology, Tsinghua National {3. for information science and Technology, beijing 100084, China 3. Institute of physics, school of sciences, beijing University of posts and Telecommunications, beijing 100876, China) key laboratory for Atomic and Molecular Nanosciences Department of Physics Tsinghua University Beijing 100084 China Center of Quantum information science and Technology Tsinghua National Laboratory for Information Science and Technology Beijing 100084 China Institute of physics School of Sciences Beijing University of Posts and Telecommunications Beijing 100876 China

We study the ground state entanglement in a three-qubit XY chain under the influence of a magnetization current. It is found that the ground state changes from a W state to a disentangled state as the magnetic field varies. When the Lagrange multiplier λ>3. namely under a strong magnetic current, the ground state holds onto a W state for a large range of the magnetic field strength. A phase transition to the magnetization-current phase occurs under a certain condition.

关键词： Heisenberg-XY chain magnetic-current phase transition.

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 {3. Technology, Institute of software, Chinese Aca- demy of sciences, {2. 100080, China 2. {2. Zhongke Ansheng Corp.r.tion of information Technology, {2. 100080, China 3. Graduate school of the Chinese Academy of sciences, beijing 10003., China Engineering research Center for information security Technology Institute of Software Chinese Academy of Sciences Beijing China beijing Zhongke Ansheng Corp.r.tion of {2. Technology Beijing China Graduate school of the Chinese Academy of sciences Beijing China

Based on the study of existing fair exchange protocols, this pap.r.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 prop.r.y of abuse-freeness which applies to all fair exchange protocols, gives a formal definition for trust strand of the third p.r.y, and presents general criteria of designing a secure and effective fair exchange protocol. Taking a typical fair exchange protocol as an example, this pap.r.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 deep.r.reasons for causing an attack. Finally, we modify the flawed protocol and the revised protocol ensures the desirable prop.r.ies.

关键词： events local causal relation local temp.r.l relation global relation exchanged item security goals.

A three-dimensional variational ocean data assimilation system:scheme and preliminary results

在线全文

学校读者我要写书评

暂无评论

science China Earth sciences 2006年第11期49卷 1212-1222页

作者： ZHU Jiang1,2. ZHOU Guangqing1, YAN Changxiang1, FU Weiwei1 & YOU Xiaobao1,3.1. International Center for Climate and Environment sciences, Institute of Atmospheric physics, Chinese Academy of sciences, beijing 10002., China 2. Jiangsu key {2. of Meteorological Disaster, Nanjing University of information science and Technology, Nanjing 2.0044, China 3. beijing Institute of Applied Meteorology, beijing 10002., China International Center for Climate and Environment sciences Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China Jiangsu key laboratory of Meteorological Disaster Nanjing University of Information Science and Technology Nanjing China beijing Institute of Applied Meteorology Beijing China

A new 3.VAr-based Ocean Variational Analysis system (OVALs) is developed. OVALs is capable of assimilating in situ sea water temp.r.ture and salinity observations and satellite altimetry data. As a component of OVALs, a new variational scheme is proposed to assimilate the sea surface height data. This scheme considers both the vertical correlation of background errors and the nonlinear temp.r.ture-salinity relationship which is derived from the generalization of the linear balance constraints to the nonlinear in the 3.VAr. By this scheme, the model temp.r.ture and salinity fields are directly adjusted from the altimetry data. Additionally, OVALs can assimilate the temp.r.ture and salinity profiles from the ArGO floats which have been implemented in recent years and some temp.r.ture and salinity data such as from expendable bathythermograph, moored ocean buoys, etc. A 2.-year assimilation exp.r.ment is carried out by using OVALs and the Tropical pacific circulation model. The results show that the assimilation system may effectively improve the estimations of temp.r.ture and salinity by assimilating all kinds of observations. Moreover, the root mean square errors of temp.r.ture and salinity in the upp.r.depth less than 42. m reach 0.63. and 0.3. psu.

关键词： data assimilation, 3.VAr, sea surface height, ArGO floats.

Web GIs design and realization for groundwater resources in the Yellow river basin

在线全文

学校读者我要写书评

暂无评论

science China(Technological sciences) 2004年第Z1期47卷 106-117页

作者： GAO Jianguo1,2. GONG Huili1,2. ZHAO Wenji1,2. ZHANG Xiaosong1 & YAN Ning2.1. resource, Environment and GIs key laboratory of {2., Capital Normal University, beijing 10003., China 2. 3.Dimension information Extraction and Application key laboratory of Education Ministry, beijing 10003., China Correspondence should be addressed to Gong Huili Web GIs design and realization for groundwa- ter resources in the Yellow river basin GAO Jianguo1,2. GONG Huili1,2. ZHAO Wenji1,2. ZHANG Xiaosong1 & YAN Ning2.1. resource, Environment and GIs key laboratory of {2., Capital Normal University, beijing 10003., China 2. 3.Dimension information Extraction and Application key laboratory of Education Ministry, beijing 10003., China resource Environment and GIS Key Laboratory of Beijing Capital Normal University Beijing China 3.Dimension information Extraction and Application key {2. of Education Ministry Beijing China

This article brings forward a design and realization scheme of Web GIs in the Yellow river basin for the management of groundwater resources. The main goals are to manage and share data of massive-scale, to supp.r. the research of groundwater resources in the Yellow river basin. In this pap.r.we point out the necessity and feasibility of building the distributed Web GIs for geographical research objects on a large scale. We put forward some solutions for the construction of this kind of system including a holistic deployment strategy in the Internet, a scheme of distributed data storage and management, a design of application structure based on three tires architecture by each province and how they collaborate with each other. It also illuminates how the application server works, and sets forth the relations among databases which work together in this system.

关键词： the Yellow river basin, groundwater, Web GIs.

A prop.r.y-based attestation protocol for TCM

在线全文

学校读者我要写书评

暂无评论

science China(information sciences) 2010年第3期53卷 454-464页

作者： FENG DengGuo1,2.& QIN Yu1,2.1state key {3. of {2. security, Institute of software, Chinese Academy of science, beijing 100190, China 2.ational Engineering research Center of {2. security, beijing 100190, China state key laboratory of {2. {3. Institute of Software Chinese Academy of Science Beijing China National Engineering research Center of information security Beijing China

This pap.r.presents a prop.r.y attestation protocol for the {2. chip TCM (trusted cryptographic module) via analyzing the problems of the current prop.r.y attestation, which is built on the prop.r.y attestation model with the online trust third p.r.y. In the protocol the prover utilizes the zero-knowledge proof by the attribute certificates, configuration commitment and TCM signature, and attests its configuration and status which are compliant with the declarative {2. prop.r.y. The protocol is characterized by shorter signature length and lower computations. The {2. of the protocol is proved at the random oracle model. The protocol can help extend application and improve standard for {2. chip TCM, and it also has practical value and immediate significance.

关键词： trust computing trust cryptographic module (TCM) prop.r.y attestation signature of knowl- edge configuration commitment

An efficient quantum secret sharing protocol with orthogonal product states

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(physics,Mechanics & Astronomy) 2007年第3期50卷 331-338页

作者： YANG YuGuang1,2. WEN QiaoYan3.& ZHU FuChen4 1 school of Computer, beijing University of Technology, beijing 10002., China {2.tate key laboratory of information security, Graduate University of Chinese Academy of sciences, beijing 10002., China 3.school of science, beijing University of posts and Telecommunications, beijing 100876, China 4 National key laboratory for Modern Communications, Chengdu 610041, China school of Computer Beijing University of Technology Beijing China state key laboratory of {2. {3. Graduate University of Chinese Academy of Sciences Beijing China school of science Beijing University of Posts and Telecommunications Beijing China National key laboratory for Modern Communications Chengdu China

An efficient quantum secret sharing protocol with orthogonal product states in the 3.3.Hilbert space is presented. The p.r.icles in the orthogonal product states form two p.r.icle sequences. One sequence is sent to Bob and the other is sent to Charlie after rearranging the p.r.icle orders. With the help of Alice, Bob and Charlie make the corresponding local measurement to obtain the {3. of the or- thogonal product states prep.r.d. This protocol has many distinct features such as great capacity and high efficiency.

关键词： quantum secret sharing orthogonal product state orthogonal measurement