检索结果-南通市图书馆

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 {2. of {3., beijing 100080, China 3. graduate school of the chinese {2. of {3.,{13., 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 {2. {3. 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

Infrared Galaxies in the Nearby Universe

在线全文

学校读者我要写书评

暂无评论

chinese Journal of Astronomy and Astrophysics 2008年第6期8卷 643-652页

作者： Jian-Ling Wang 1 National Astronomical Observatories,chinese academy of {2.,{3. 100012.China 2.graduate school of chinese academy of {2.,{3. 100049,China National Astronomical Observatories Chinese Academy of Sciences Beijing 100012 China graduate school of {2. {3. of sciences Beijing 100049 China

We used the Sloan Digital Sky Survey （SDSS） Data Release 5 （DR5） to study the morphological properties of 113. nearby infrared （IR） galaxies, most of which are brighter than 15.9 mag in r-band. This sample was drawn from a cross-correlation of the Infra-Red Astronomical Satellite （IRAS） point source catalog redshift survey with DR5 at z ≤ 0.08. Based on this IR galaxy sample, we constructed five volume-limited sub-samples with IR luminosity ranging from 10^9.5 L⊙ to 10^12.⊙. By deriving the IR luminosity functions （LF） for different morphological types, we found that normal spiral galaxies are the dominant population below LIR ~ 8 ~ 10^10 L⊙; while the fraction of barred spiral galaxies increases with increasing IR luminosity and becomes dominant in spiral galaxies beyond LIR ≈ 5 × 10^10L⊙. As the IR luminosity decreases, the IR galaxies become more compact and have lower stellar masses. The analysis also shows that normal spiral galaxies give the dominant contribution to the total comoving IR energy density in the nearby universe, while, in contrast, the contribution from peculiar galaxies is only 3.%.

关键词： galaxies evolution galaxies interactions galaxies starburst infrared galaxies galaxies luminosity function

Cloning and expression of putative ethylene receptor genes in soybean plant

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2007年第10期17卷 1152-1160页

作者： Xie Zongming1,2.3. Lei Gang1,2. Wuriyanghan Hada1,2. Tian Aiguo1, Zhang Jinsong1 and Chen Shouyi1(1. National Key Laboratory of Plant Genomics, Institute of Genetics and Developmental Biology, {3. academy of {2., {3. 100101, China 2. graduate school of chinese academy of sciences, beijing 10003., China 3. Xinjiang academy of Agricultural and Reclamation Science, Shihezi 83.0}00, China) National Key Laboratory of Plant Genomics Institute of Genetics and Developmental Biology Chinese Acad. of Sci. Beijing 100101 China graduate school Chinese Acad. of Sci. Beijing 100039 China Xinjiang academy of Agricultural and Reclamation Science Shihezi 832000 China

Ethylene plays important roles in plant growth, development, and stress responses, and ethylene receptors have been identified and studied extensively in various plant species. Here we report the cloning of four ethylene receptor genes from soybean, i.e. GmETR1, GmERS1, GmETR2.and GmEIN4. Construction of the phylogenic tree showed that GmETR1 and GmERS1 belong to subfamily I whereas GmETR2.and GmEIN4 belong to subfamily II. The four ethylene receptor genes showed different tissue-specific expression patterns in roots, stems, leaves, cotyledons, flowers, pods and seeds of soybean. These genes were differentially regulated by various abiotic stresses and plant hormones. The possible roles of the four genes in soybean plant were also discussed.

关键词： abiotic stress expression analysis ethylene receptor plant hormone soybean.

Characteristics and geological significance of olivine xenocrysts in Cenozoic volcanic rocks from western Qinling

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第12期16卷 1300-1306页

作者： SU Benxun~ 1,2.**, ZHANG Hongfu~1, XIAO Yan~ 1,2.and ZHAO Xinmiao~ 1,2.(1. State Key Laboratory of Lithospheric Evolution, Institute of Geology and Geophysics, {3. academy of {2., {3. 10002., China 2. graduate school of chinese academy of sciences, beijing 10003., China) State Key Laboratory of Lithospheric Evolution Institute of Geology and Geophysics Chinese Academy of Sciences Beijing 100029 China graduate school of {2. {3. of sciences Beijing 100039 China

Cenozoic volcanic rocks from the Haoti, Dangchang County of the western Qinling Mountains, contain a few clearly-zoned olivines. These olivines are relatively big in grain sizes and usually have cracks or broken features. Their cores have similar compositions （Mg#=90.4-91.0） to those for the peridotitic xenoliths entrained in host volcanic rocks and their rims are close to the compositions of olivine phenocrysts （Mg#=85.5-81.9）. The CaO contents in these zoned olivines are lower than 0.1%. These features demonstrate that the clearly-zoned olivines are xenocrysts and disaggregated from mantle peridotites. The zoned texture was the result of the interaction between the olivine and host magma. Available data show that the volcanic rocks would have been derived from the mantle source metasomatized by subducted hydrathermally-altered oceanic crust. The formation of these Cenozoic volcanic rocks was perhaps related to the rapid uplift of the Tibetan Plateau.

关键词： Western Qinling Dangchang Haoti Cenozoic volcanic rocks olivine xenocrysts zoned texture.

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 {2., Guangzhou 510640, China 2. {3. University of chinese academy of {2., beijing 10003., China 3. SHRIMP isotope Laboratory, chinese academy of Geological {2., beijing 10003., China 4. Institute of Geology and Geophysics, chinese academy of {2., beijing 10002., China Key Laboratory of Isotope Geochronology and Geochemistry Guangzhou Institute of Geochemistry Chinese Academy of Sciences Guangzhou China graduate University of chinese {2. of {3. 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 (02.X-13.) and southern (2.JH-10) Lincang batholith show the single and tight clusters on the concordia, and yield the weighted mean 2.6Pb/2.8U ages of 2.9.4 ± 3.0 Ma and 2.0.4 ± 3.6 Ma, respectively, representing the crystallized ages of these granites. The zircons for the rhyolitic sample (02.X-95) from the Manghuai Formation give a weighted mean 2.6Pb/2.8U age of 2.1.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 (~2.0 Ma) and were originated from the postcollisional tectonic regime. An early Proterozoic 2.6Pb/2.8U 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.

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 {2., Wuhan 43.077, China 2. Key Laboratory of Dynamic Geodesy, Institute of Geodesy and Geophysics, chinese academy of {2., Wuhan 43.077, China 3. graduate school of chinese academy of {2., {13. 100049, China 4. Department of Surveying and Mapping, Taiyuan University of Technology, Taiyuan 03.02., China Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China Key Laboratory of Dynamic Geodesy Institute of Geodesy and Geophysics Chinese Academy of Sciences Wuhan 430077 China graduate school of {2. {3. of sciences Beijing 100049 China Department of Surveying and Mapping Taiyuan University of Technology Taiyuan 030024 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

Bio-regeneration of p-complexation desulfurization adsorbents

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2005年第6期48卷 538-544页

作者： LI Wangliang1,2. XING Jianmin1, XIONG Xiaochao1,2. SHAN Guobin1,2.& LIU Huizhou1 1. Laboratory of Separation Science and Engineering, Institute of Process Engineering, {3. academy of {2., {3. 100080, China 2. graduate school of the {3. academy of {2.,{3. 10003., China Laboratory of Separation Science and Engineering Institute of Process Engineering Chinese Academy of Sciences Beijing China graduate school of the {2. {3. of sciences Beijing China

The coupling of adsorption desulfurization and biodesulfurization is a new approach to produce clean fuels. Sulfur compounds are firstly adsorbed on adsorbents, and then the ad-sorbents are regenerated by microbial conversion. p-Complexation adsorbent, Cu(I)-Y, was ob-tained by ion exchanging Y-type zeolite with Cu2. and then by auto-reduction in helium at 450℃ for 3.h. Dibenzothiophene (DBT) was used as a model compound. The effects of cell concentra-tion, volume of oil phase, the ratio of aqueous phase to adsorbent on DBT desorption by a bac-terium were studied. The amounts of DBT desorbed and 2.HBP produced can be apparently increased with addition of n-octane. BDS activity can be improved by increasing cell concentra-tion and the ratio of water-to-adsorbent. 89% of DBT desorbed from the adsorbents can be converted to 2.HBP within 6 h and almost 100% within 2. h, when the volume ratio of oil-to-water was 1/5 mL/mL, the cell concentration was 60 g·L?1, and the ratio of adsorbent-to-oil was 0.03.g·mL?1. The amount of 2.HBP produced was strongly dependent on the volume ratio of oil-to- water, cell concentration and amount of adsorbent. Adsorption capacity of the regenerated ad-sorbent is 95% that of the fresh one after being desorbed with Pseudomonas delafieldii R-8, washed with n-octane, dried at 100℃ for 2. h and auto-reduced in He.

关键词： adsorption desulfurization p-complexation adsorbents bio-regeneration Pseudomonas delafieldii desorption.

A mixed method for measuring low-frequency acoustic properties of macromolecular materials

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2006年第6期49卷 729-739页

作者： LIU Hongwei1,YAO Lei1,3.ZHAO Hong1,3.ZHANG Jichuan2.3.& XUE Zhaohong2.1. National Key Laboratory of Acoustics,Institute of Acoustics,chinese {3. of {2.,{3. 100080,China 2. Institute of Chemistry,chinese {3. of {2.,{3. 100080,China 3. graduate University of chinese {3. of {2.,{3. 100049,China National Key Laboratory of Acoustics Institute of Acoustics Chinese Academy of Sciences Beijing China graduate University of chinese {2. of {3. Beijing China Institute of Chemistry Chinese Academy of Sciences Beijing China

A mixed method for measuring low-frequency acoustic properties of macro-molecular materials is presented. The dynamic mechanical parameters of materials are first measured by using Dynamic Mechanical Thermal Apparatus(DMTA) at low frequen-cies,usually less than 100 Hz; then based on the Principles of Time-Temperature Super-position (TTS),these parameters are extended to the frequency range that acousticians are concerned about,usually from hundreds to thousands of hertz; finally the extended dynamic mechanical parameters are transformed into acoustic parameters with the help of acoustic measurement and inverse analysis. To test the feasibility and accuracy,we measure a kind of rubber sample in DMTA and acquire the basic acoustic parameters of the sample by using this method. While applying the basic parameters to calculating characteristics of the sample in acoustic pipe,a reasonable agreement of sound absorp-tion coefficients is obtained between the calculations and measurements in the acoustic pipe.

关键词： low-frequency acoustic properties,dynamic mechanical properties,Principles of Time-Temperature Superposition,acoustic pipe,sound absorption coefficient.

Interannual variability of Antarctic Oscillation and its influence on East Asian climate during boreal winter and spring

在线全文

学校读者我要写书评

暂无评论

Science China Earth sciences 2006年第5期49卷 554-560页

作者： FAN Ke1,2.3.& WANG Huijun2.1. Nansen-Zhu International Research Center, Institute of Atmospheric Physics, chinese {3. of {2., {3. 10002., China 2. Department of Atmospheric Science, Yunnan University, Kunming 650091, China 3. graduate University of the chinese {3. of {2., {3. 100049, China Nansen-Zhu International Research Center Institute of Atmospheric Physics Chinese Academy of Sciences Beijing China Department of Atmospheric Science Yunnan University Kunming China graduate University of the chinese {2. of {3. Beijing China

The interannual variability of Antarctic Oscillation (AAO) and its influence on East Asian climate during both boreal winter and spring are addressed. The results show that the positive AAO anomaly decreases the cold activity over East Asia during both boreal winter and spring. AAO-related barotropic meridional teleconnection from Antarctic to Arctic is found through analysis of mean me- ridional circulations. This meridional teleconnection is remarkable over Eurasia during boreal winter and over the Pacific Ocean during boreal spring. The results also show that zonal mean zonal wind at high latitudes in Southern Hemisphere has well positive correlation with that of Eurasia during boreal winter and has negative correlation with Pacific North American teleconnection (PNA) during boreal spring, which again display the meridional teleconnection. Thus, local meridional teleconnection is a possible linkage for interaction of circulations at mid-high latitudes between both hemispheres.

关键词： Antarctic Oscillation, Eurasian west wind, meridional teleconnection, mean meridional circulation.