检索结果-南通市图书馆

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.31. School of Information Engineering, Zhejiang Forestry College, Hangzhou 311300, Zhejiang, china 2. Institute of Computing Technology, chinese Academy of {2., beijing 100080, china 3. Graduate School of the chinese Academy of {2., 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

Population information extraction in Chaohu watershed based on RS and GIS

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 2003年第2期48卷 181-183页

作者： LIU Jianjun1,2.& LI Chunlai3 1. Institute of Geochemistry, chinese Academy of sciences, Guiyang 550002.{2. 2. Graduate School, chinese Academy of sciences, beijing 10003.,{2. 3. National Astronomical Observatories, chinese Academy of sciences, beijing 100012.{2. Correspondence should be addressed to Liu Jianjun (e-mail: dhsliujj@ ***) Institute of Geochemistry Chinese Academy of Sciences Guiyang China Graduate School Chinese Academy of Sciences Beijing China National Astronomical Observatories Chinese Academy of Sciences Beijing China

It is always difficult to extract population in-formation of small watershed during the region environment assessment. The report adopted compound areal interpola-tion to study the population in Chaohu watershed with the GIS technique and landuse interpretation data from remote sensing. The result indicated that the method is effective to extract population information of small watershed.

关键词：巢湖流域人口分布信息提取 RS GIS 小流域生态环境评价

“Tali Glaciation” on Massif Diancang

在线全文

学校读者我要写书评

暂无评论

Science china Earth sciences 2007年第11期50卷 1685-1692页

作者： YANG JianQiang1, CUI ZhiJiu2. YI ChaoLu1, SUN JiMin3 & YANG LiRong3 1 Institute of Tibetan Plateau Research, chinese Academy of sciences, {2. 100085, china 2.College of Environmental sciences, Peking University, {2. 100871, china 3 Institute of Geology and Geophysics, chinese Academy of sciences, {2. 10002., china 1. Institute of Tibetan Plateau Research Chinese Academy of Sciences Beijing 100085 China 2. College of Environmental sciences Peking University Beijing 100871 China 3. Institute of Geology and Geophysics Chinese Academy of Sciences Beijing 100029 China

The term of ''Tali Glaciation'' is nominated from Massif Diancang in Yunnan Province. The confusing process of the term''s being put forward is confirmed through literature checking. Based on several times of field trip, the glacial landforms in this region are studied in detail, and the magnitude of the glaciation was determined. According to the numerical ages from TL, AIMS ^(14)C and OSL dating, the earliest glacial advance on Massif Diancang occurred at 30—40 ka BP, followed by the advances at the last stage of the last glaciation, the late glacial and neoglations in turn, until glaciers vanished at 1.2.1.5 ca. a BP in this region. It can be concluded that glaciers were limited above 3600 m a.s.l., and no glaciers existed on the lower part and adjacent mountains since the last glaciation.

关键词： Massif Diancang,Tali Glaciation,glacial landform,glaciation sequence,numerical dating

Ionization state of cosmic hydrogen by early stars and quasars

在线全文

学校读者我要写书评

暂无评论

Research in Astronomy and Astrophysics 2009年第6期9卷 665-681页

作者： Xiao-Chun Mao1,2.1 National Astronomical Observatories, chinese Academy of sciences, {2. 100012. china 2.Graduate University of chinese Academy of sciences, {2. 100049, china National Astronomical Observatories Chinese Academy of Sciences Beijing 100012 China Graduate University of chinese Academy of {2. Beijing 100049 China

Cosmic hydrogen is reionized and maintained in its highly ionized state by the ultraviolet emission attributed to an early generation of stars and quasars. The Lyα opacity observed in absorption spectra of high-redshift quasars permits more stringent constraints on the ionization state of cosmic hydrogen. Based on density perturbation and structure formation theory, we develop an analytic model to trace the evolution of the ionization state in the post-overlap epoch of reionization, in which the bias factor is taken into account. For quasars, we represent an improved luminosity function by utilizing a hybrid approach for the halo formation rate that is in reasonable agreement with the published measurements at 2.≤ z ≤ 6. Comparison with the classic Press-Schechter mass function of dark matter halos, we demonstrate that the biased mass distribution indeed enhances star formation efficiency in the overdense environment by more than 2. per cent following the overlap of ionized bubbles. In addition, an alternative way is introduced to derive robust estimates of the mean free path for ionizing photons. In our model, star-forming galaxies are likely to dominate the ionizing background radiation beyond z = 3, and quasars contribute equally above a redshift of z ～ 2.5. From 5 ≤ z ≤ 6, the lack of evolution in photoionization rate can thus be explained by the relatively flat evolution in star formation efficiency, although the mean free path of ionizing photons increases rapidly. Moreover, in the redshift interval z ～ 2.- 6, the expected mean free path and Gunn-Peterson optical depth obviously evolve by a factor of ～ 500 and ～50 respectively. We find that the relative values of critical overdensities for hydrogen ionization and collapse could be 430% at z ≈2.and 2. at z ≈6, suggesting a rapid overlap process in the overdense regions around instant quasars following reionization. We further illustrate that the absolute estimates of the fraction of neutral hydrogen computed fr

关键词： cosmology theory -- formation galaxies -- quasars general -- diffuse radiation -- intergalactic medium

Pattern phenomena in an rf discharge dusty plasma system

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2006年第5期49卷 588-596页

作者： HUANG Feng1,2. YE Maofu2.& WANG Long2.1. College of Science, china Agricultural University, beijing 100083, china 2. Institute of Physics, chinese Academy of sciences, beijing 100080, china 1. College of Science China Agricultural University Beijing 100083 China 2. Institute of Physics Chinese Academy of Sciences Beijing 100080 China

Various dust patterns are observed in an rf discharge dusty plasma system. According to the dust growth process from small to large in size, the formation of different dust patterns can be divided into two stages: the small-particle stage (or dust cloud stage), and the large-particle stage (or dust crystal stage). The evolution relations between different dust patterns with gas pressure changing are investigated. Dust voids, dust acoustic waves and strong turbulence modes are presented at the small-particle stage. The self-organized dust lattices and dust clusters are investigated at the large-particle stage. The static structure of a dust lattice is characterized by means of the pair correlation function. Dust clusters formed by particles with different numbers and the regular evolution of the clusters with gas pressure are also investigated. The packing sequences of dust clusters are verified through two-dimensional confined molecular dynamics simulations.

关键词： dusty plasma dust patterns

Improving the accuracy of image-based forest fire recognition and spatial positioning

在线全文

学校读者我要写书评

暂无评论

Science china(Technological sciences) 2010年第S1期53卷 184-190页

作者： JIANG LiLi 1,QI QingWen 1,ZHANG An 1,GUO ChaoHui 2.& CHENG Xi 1,3 1 Institute of Geographical sciences and Natural Resources Research,chinese Academy of sciences,beijing 100101,china 2.5} Center for Resources Satellite Data and Applications,beijing 100094,china 3.raduate University of chinese Academy of sciences,beijing 100049,china chinese Acad Sci Inst Geog Sci & Nat Resources Res Beijing 100101 Peoples R China china Ctr Resources Satellite Data & Applicat Beijing 100094 Peoples R China chinese Acad Sci Grad Univ Beijing 100049 Peoples R China

Forest fires are frequent natural *** is necessary to explore advanced means to monitor,recognize and locate forest fires so as to establish a scientific system for the early detection,real-time positioning and quick fighting of forest *** paper mainly expounds methods and algorithms for improving accuracy and removing uncertainty in image-based forest fire recognition and spatial ***,we discuss a method of forest fire recognition in visible-light *** are four aspects to improve accuracy and remove uncertainty in fire recognition:(1)eliminating factors of interference such as road and sky with high brightness,red leaves,other colored objects and objects that are lit up at night,(2.excluding imaging for specific periods and azimuth angles for which interference phenomena repeatedly occur,(3)improving the thresholding method for determining the flame border in image processing by adjusting the threshold to the season,weather and region,and (4)integrating the visible-light image method with infrared image ***,we examine infrared-image-based methods and approaches of improving the accuracy of forest fire recognition by combining the spectrum threshold with an object feature value such as the normalized difference vegetation index and excluding factors of disturbance such as interference signals,extreme weather and high-temperature ***,a method of visible analysis to enhance the accuracy of forest fire positioning is examined and realized;the method includes decreasing the visual angle,selecting central points,selecting the largest spots,and judging the selection of fire spots according to the central *** studies are examined and the results are found to be satisfactory.

关键词： forest fire monitoring spatial positioning accuracy improvement

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 sciences,{2. 100012.china 2.Graduate School of chinese Academy of sciences,{2. 100049,china National Astronomical Observatories Chinese Academy of Sciences Beijing 100012 China Graduate School of chinese Academy of {2. Beijing 100049 China

We used the Sloan Digital Sky Survey （SDSS） Data Release 5 （DR5） to study the morphological properties of 1137 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 39%.

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

Current status and future of acid rain in china

在线全文

学校读者我要写书评

暂无评论

chinese Science Bulletin 1997年第24期42卷 2076-2081页

作者： DING Guo’an, XU Xiaobing, FANG Xiumei, JIN Shaping, XU Xia, Tang Jie, LIU Qijun, WANG Shufeng and WANG Wenxing1. chinese Academy of Meteorological sciences, {2. 100081, china 2. chinese Academy of Environment sciences, {2. 100012. china chinese Academy of Meteorological sciences Beijing 100081 China

As a part of the national key project of acid rain research, chemical element analysis of rainwater has been carried out based on observation of acid rain network in chinese MeteorologicalAdministration over the years of 1992.and 1993. Samples of precipitation collected from eachacid rain station were taken according to the standard established by chinese MeteorologicalAdministration. pH value was measured with pH meter (accuracy of 0. 01) made in

关键词： acid rain current status future.

Evaluation of Sustainable Land Management and Diagnosis of Obstacle at County Scale in Sichuan Basin:Taking Lezhi County as Example

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural sciences 2006年第4期11卷 1046-1051页

作者： CHEN Guangjian 1, 2. 3 , LIU Qing 1 1. Chengdu Institute of Biology, chinese Academy of sciences, Chengdu 610041, Sichuan,{2. 2. Graduate University of chinese Academy of sciences, beijing 100049, china 3. Academy of Land Reconnaissance and Layout of Sichuan Province , Chengdu 610031, Sichuan, china Chengdu Institute of Biology Chinese Academy of Sciences Chengdu Sichuan China Graduate University of chinese Academy of {2. Beijing China Academy of Land Reconnaissance and Layout of Sichuan Province Chengdu Sichuan China

This paper established sustainable land resources evaluating indicators fit for hilly area in Sichuan Basin, Southwest of china, and evaluated the case of sustainable land management of Lezhi County from 1990 to 2.01. The result showed that the land resource sustainable utilization ability in Lezhi County is belong to Second level （better sustainable）. Secondly, this paper diagnosed some years obstacles of sustainable land management of Lezhi County from base period to goal period and compared the obstacles factors in the indicators system. There were 16 indexes orderly become major affect factor to land sustainable utilization of Lezhi county in indicator system, of which there are 8 obstacles indexes exist both in 1990 and 2.01. The value of obstacles degree of five indicators exceeded 5 in 1990, but in 2.01, only two indicators＇ values were more than 5.

关键词： land resources sustainable land management assessment indicators diagnosis of obstacle