检索结果-南通市图书馆

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 Zhejiang China institute of computing {2. 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

Compression behavior of Zr_(41)Ti_(14)Cu_(12.5)Ni_(10)Be_(2..5) bulk metallic glass up to 2. GPa

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2005年第3期48卷 319-324页

作者： LI Gong 1, 2., ZHAN Zaiji 2., LIU Jing 3., YUN Jinku 1 , SUN Liling 2., LIU Riping 1 , ZHANG Jun 2.& WANG Wenkui 1, 2.1. Key Laboratory of Metastable Materials Science and technology, Yanshan University, Qinhuangdao 066004, china 2. Center for Condensed Matter Physics, {2. of Physics, {3. Academy of Sciences, Beijing 100080, china 3. BSRF, {2. of High Energy Physics, {3. Academy of Sciences, Beijing 10003., china Key Laboratory of Metastable Materials Science and technology Yanshan University Qinhuangdao China Center for Condensed Matter Physics Institute of Physics Chinese Academy of Sciences Beijing China BSRF Institute of High Energy Physics Chinese Academy of Sciences Beijing China

The compression of a Zr41Ti14Cu12.5Ni10Be2..5 bulk metallic glass (BMG) is investigated at room temperature up to 2. GPa using in-situ high pressure energy dispersive X-ray diffraction with a synchrotron radiation source. The pressure-induced structural relaxation is exhibited. It is found that below about 8 GPa, the existence of excess free volume contributes to the rapid structural relaxation, which gives rise to the rapid volumetric change, and the structural relaxation results in the structural stiffness under higher pressure.

关键词： bulk metallic glass, high pressure, structural relaxation, synchrotron radiation.

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 Laboratory of Optoelectronic Devices and Systems of Ministry of Education, institute of Optoelec- tronics, Shenzhen University, Shenzhen 518060,{3. 2. State Key Laboratory of Precision Measuring {2. and Instruments, Tianjin University, Tianjin 3.0072.{3. 3. Key Laboratory of Intelligent Information Processing, institute of computing {2., chinese Academy of Sciences, Beijing 100080,{3. 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 Information 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 (transport of intensity equation). The calculations of the algorithms are based on free space propagation of the angular spectrum. The new approaches are demonstrated with numerical simulations. Comparisons with other phase retrieval algorithms are also performed. 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.

^(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 Sciences, Beijing 100081,{2. 2. institute of Geology, chinese Academy of Geological Sciences, Beijing 10003.,{2. 3. institute of Geology and Geophysics, chinese Academy of Sciences, Beijing 10002.,{2. 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.

On the periodic solutions of a type of differential-iterative equations

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 1998年第3期43卷 204-206页

作者： GE Weigao 1, LIU Zhengrong 2.and YU Yuanhong 3.1. Department of Applied Mathematics, Beijing institute of technology, Beijing 100081,{2. 2. Department of Mathematics, Yunnan University, Kunming 650091,{2. 3. institute of Applied Mathematics, C Department of Applied Mathematics Beijing Institute of Technology Beijing China Department of Mathematics Yunnan University Kunming China institute of Applied Mathematics Chinese Academy of Sciences Beijing China

Sufficient conditions for the existence of periodic solutions to a type of nonautonomous differential_iterative equations are given.

关键词： differential_iterative equation periodic solution fixed point.

Geochemical simulation of the formation of brine and salt minerals based on Pitzer model in Caka Salt Lake

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2004年第8期47卷 720-726页

作者： LIU Xingqi1, CAI Keqin2.& YU Shengsong3.1. Nanjing institute of Geography and Limnology, chinese Academy of Sciences, Nanjing 2.0008,{2. 2.{2. University of Geosciences, Beijing 100083.{2. 3. institute of Salt Lakes, chinese Academy of Sciences, Xining 810008,{2. Nanjing institute of Geography and Limnology Chinese Academy of Sciences Nanjing China china University of Geosciences Beijing China institute of Salt Lakes Chinese Academy of Sciences Xining China

The geochemical simulation of the formation of brine and salt minerals based on Pitzer model was made in Caka Salt Lake. The evolution of the mixed surface-water and the mineral sequences were calculated and compared with the hydrochemical compositions of the brine and the salt minerals of the deposit in Caka Salt Lake. The results show that the formation temperature of the lake is between 0°C and 5°C, which is well identical with other studies. The mixing of salt-karst water with the surface waters, neglected by the former researchers, is very important to the formation of the lake, indicating that the initial waters resulting in the formation of the lake are multi-source. It is the first time to use Pitzer model in china for making geochemical simulation of the formation and evolution of inland salt lake and satisfactory results have been achieved.

关键词： Pitzer model,Caka Salt Lake,geochemical simulation,salt-karst water.

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, Beijing 100080,{2. 2. College of Applied Sciences, Beijing University of {3., Beijing 10002.,{2. 3. School of Science, Beijing institute of {3., Beijing 100081,{2.) 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.

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,{3. 3. Present address: institute of Acoustics, {2. 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.

Physical mechanisms of plant roots affecting weathering and leaching of loess soil

在线全文

学校读者我要写书评

暂无评论

Science china Earth Sciences 2006年第9期49卷 1002-1008页

作者： LI Yong1,2. ZHANG Qingwen1,2. WAN Guojiang3. HUANG Ronggui3. PIAO Hechun3. BAI Lingyu2.& LI Lu2.1. State Key Laboratory of Soil Erosion and Dryland Farming on the Loess Plateau, institute of Soil and Water Conservation, chinese Academy of Sciences, Yangling 712.00,{2. 2. institute of Agro-Environment and Sustainable Development, chinese Academy of Agricultural Sciences, Beijing 100081,{2. 3. institute of Geochemistry, chinese Academy of Sciences, Guiyang 550002.{2. State Key Laboratory of Soil Erosion and Dryland Farming on the Loess Plateau Institute of Soil and Water Conservation Chinese Academy of Sciences Yangling China institute of Agro-Environment and Sustainable Development Chinese Academy of Agricultural Sciences Beijing China institute of Geochemistry Chinese Academy of Sciences Guiyang China

Plant roots have potential impacts on soil mineral weathering and *** objective is to understand the physical mechanisms of plant roots affecting weathering andleaching of loess soil. Root densities were measured through the method of a large-size dug profile,and transport fluxes of soil elements were determined using an undisturbed monolith soilinfiltration device on the hilly and gully regions of the chinese Loess Plateau. The results showthat the improvement effects of soil environment by plant roots are mainly controlled by the densityand weight of the fibrous roots with the diameters less than 1 mm. Plant roots have the strongereffects on soil physical properties than chemical properties. The principal components analysis(PCA) indicates that soil physical properties by plant roots account for 56.7% of variations in soilenvironment whereas soil chemical properties and pH contribute about 2..2. of the soil *** roles of plant roots in controlling soil weathering and leaching increased in the followingorder: infiltration enhancement > increase of bio-active substance > stabilization of soilstructure. The effects of plant roots on soil mineral weathering and leaching can be quantifiedusing the multiple regression models with the high prediction accuracies developed in this study.

关键词： plant roots, soil weathering and leaching rates, soil environment field, principal components analysis (PCA), chinese Loess Plateau.