检索结果-南通市图书馆

Synchronous estimation of DTM and fractional vegetation cover in forested area from airborne LIDAR height and intensity data

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2008年第S2期51卷 176-187页

作者： BAO YunFei1,2,CAO ChunXiang1,ZHANG Hao1,CHEN ErXue3,HE QiSheng1,2,HUANG HuaBing1,LI ZengYuan3,LI XiaoWen1,4 & GONG Peng1 1 state key laboratory of Remote Sensing Science,jointly sponsored by the Institute for Remote Sensing Applications of Chinese Academy of Sciences and beijing Normal University,beijing 100101,china 2 Graduate University of the Chinese Academy of Sciences,beijing 100049,china 3 Institute of Forest Resource information Technique,the Chinese Academy of Forestry,beijing 100091,china 4 Research Center for Remote Sensing and GIS,Department of Geography and beijing key laboratory for Remote Sensing of Environment and Digital Sites,beijing Normal University,beijing 100875,china state key laboratory of Remote Sensing Science jointly sponsored by the Institute for Remote Sensing Applications of Chinese Academy of Sciences and Beijing Normal University Beijing China Graduate University of the Chinese Academy of Sciences Beijing China Institute of Forest Resource information Technique the Chinese Academy of Forestry Beijing China Research Center for Remote Sensing and GIS Department of Geography and Beijing Key Laboratory for Remote Sensing of Environment and Digital Sites Beijing Normal University Beijing China

We proposed a method to separate ground points and vegetation points from discrete return,small footprint airborne laser scanner data,called skewness change *** method,which makes use of intensity of laser scanner data,is especially applicable in steep,and forested *** does not take slope of forested area into account,while other algorithms consider the change of slope in steep forested *** ground points and vegetation points can be used to estimate digital terrain model(DTM) and fractional vegetation cover,respectively.A few vegetation points which were classified into the ground points were removed as noise before the generation of *** method was tested in a test area of 10000 square meters.A LiteMapper -5600 laser system was used and a flight was carried out over a ground of 700―800 *** this tested area,a total number of 1546 field measurement ground points were measured with a total station TOPCON GTS-602 and TOPCON GTS -7002 for validation of DTM and the mean error value is -18.5 cm and the RMSE(root mean square error) is ±20.9 cm.A data trap sizes of 4m in diameter from airborne laser scanner data was selected to compute vegetation fraction *** of fractional vegetation cover was carried out using 15 hemispherical photographs,which are georeferenced to centimeter accuracy by differential *** gap fraction was computed over a range of zenith angles 10° using the gap light analyzer(GLA) from each hemispherical *** R2 for the regression of fractional vegetation cover from these ALS data and the respective field measurements is *** this study presents a method for synchronous estimation of DTM and fractional vegetation cover in forested area from airborne LIDAR height and intensity data.

关键词： LIDAR intensity skewness synchronous DTM fractional vegetation cover

A prototype auto-human support system for spatial analysis

在线全文

学校读者我要写书评

暂无评论

Progress in Natural Science:Materials International 2006年第9期16卷 954-966页

作者： LI Lianfa and WANG Jinfeng (state key laboratory of Resources & Environmental information System, Institute of Geographical Sciences & Natural Resources Research, Chinese Academy of Sciences, beijing 100101, china) state key laboratory of Resources & Environmental information System Institute of Geographical Sciences & Natural Resources Re- search Chinese Academy of Sciences Beijing 100101 China

Spatial analysis is a multidisciplinary field that involves multiple influential factors, variation and uncertainty, and modeling of geospatial data is a complex procedure affected by spatial context, mechanism and assumptions. In order to make spatial modeling easier, some scholars have suggested a lot of knowledge from exploratory data analysis (EDA), specification of the model, fitness and diagnosis of the model, to interpretation of the model. Also an amount of software has improved some functionalities of spatial analysis, e. g. EDA by the dynamic link (GeoDa) and robust statistical calculation (R). However, there are few programs for spatial analysis that can automatically deal with unstructured declarative issues and uncertainty in machine modeling using the domain knowledge. Under this context, this paper suggests a prototype support system for spatial analysis that can automatically use experience and knowledge from the experts to deal with complexity and uncertainty in modeling. The knowledge base component, as the major contribution of the system, in support of the expert system shell, codes and stores declarative modeling knowledge, e.g. spatial context, mechanisms and prior knowledge to deal with declarative issues during the modeling procedure. With the open architecture, the system integrates functionalities of other components, e.g. GIS’ visualization, DBMS, and robust calculation in an interactive environment. An application case of spatial sampling, design and implementation of spatial modeling with such a system is demonstrated.

关键词： spatial analysis automatic support system modeling of spatial data artificial inference for modeling.

Simulation of dam breach development for emergency treatment of the Tangjiashan Quake Lake in china

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2008年第S2期51卷 82-94页

作者： WANG GuangQian,LIU Fan,FU XuDong & LI TieJian state key laboratory of Hydroscience and Engineering,Tsinghua University,beijing 100084,china state key laboratory of Hydroscience and Engineering Tsinghua University Beijing China

The Tangjiashan Quake Lake is the largest quake lake triggered by the 5.12 Wenchuan Earthquake that happened on May 12,2008 in china,posing high risk of catastrophic flash flood hazards to downstream human life and properties.A physics-based numerical simulation approach is proposed for real-time prediction of dam breach development of the Tangjiashan Quake Lake in the case of emergency *** erosion and lateral development of the dam breach are represented through accounting for the underlying physics including selective sediment transport and gravitational *** breach erosion model that involves few parameters enables quick calibration based on the monitored hydrological data in emergency analysis where fully geotechnical information about the barrier dam is not *** process of dam breach development is found to be nonlinear in cascades due to the combined effects of headcutting and bank *** agreement between the simulation results and the observed data shows the applicability of the present approach for emergency analysis of quake *** will arise in the situation where the soil composition of barrier dam is significantly *** of circular arc failure for cohesive soil and lateral seepage in bank slope will also enhance its applicability to complex situations.

关键词： quake lake earthquake dam breach simulation numerical model erosion collapse headcutting

Investigation of effects of clay content on F-Ф relationship by Lattice gas automation using digital rock model

在线全文

学校读者我要写书评

暂无评论

Petroleum Science 2011年第2期8卷 170-176页

作者： Yue Wenzheng Tao GUo Chai Xiyuan Jiang Hongxiu Mu Hongwu state key laboratory of Petroleum Resource and Prospecting China University of Petroleum Beijing 102249 China key laboratory of Earth Prospecting and information Technology China University of Petroleum Beijing 102249 China CNPC key laboratory of Well Logging China University of Petroleum B eijing 102249 China Bohai Drilling Engineering Company LTD Logging Company Tianjin 300280 China

The Lattice Gas Automation （LGA） method, which is improved by introducing a reflection coefficient for the border between phases to show its effect on current path, is used in this paper to simulate the current flow in digital rock for investigating the effects of clay content and clay distribution types on the relationship between formation factor（F） and rock porosity（φ）. The digital rock model is constructed by simulating a natural deposit of matrix particles with different shapes and radius. Based on the simulation results, it was found that both dispersed clay and laminated clay can lead to a non-Archie relationship of F-φ. The non-Archie effect of laminated clay on the F-φ relationship was more significant than that of dispersed clay. Moreover, a realistic model is developed in this work for quantitatively describing the effect of clay content （Denoted as Vsh） on parameters a and m. These study results have further demonstrated the validity of LGA in study of electrical transport properties at a pore scale.

关键词： Formation factor non-Archie Lattice gas automation porosity clay content claydistribution

Competent predicate abstraction in model checking

在线全文

学校读者我要写书评

暂无评论

Science china(information Sciences) 2011年第2期54卷 258-267页

作者： LI Li1,2,3, SONG XiaoYu4, GU Ming2,3 & LUO XiangYu2,3 1Department of Computer Science & Technology, Tsinghua University, beijing 100084, china 2key laboratory for information System security, Ministry of Education of china, beijing 100084, china 3School of Software, Tsinghua University, beijing 100084, china 4Department of ECE, Portland state University, Portland, Oregon 97207, USA Department of Computer Science & Technology Tsinghua University key laboratory for information System security Ministry of Education of China School of Software Tsinghua University Department of ECE Portland State University

The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in a verification system based on the counterexample-guided abstraction refinement method. The proposed method slashes both the size of the abstract state space and the number of invokes of a decision procedure. A number of benchmarks are employed to evaluate the effectiveness of the approach.

关键词： program model checking predicate abstraction weight heuristic

Secure network coding in the presence of eavesdroppers

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information Sciences) 2010年第3期53卷 648-658页

作者： LUO MingXing1,2,3, YANG YiXian1,2,3, WANG LiCheng1,2,3 & NIU XinXin1,2,3 1information security Center, state key laboratory of Networking and Switching Technology, beijing University of Posts and Telecommunications, beijing 100876, china 2key laboratory of Network and information Attack and Defence Technology of MOE, beijing University of Posts and Telecommunications, beijing 100876, china 3National Engineering laboratory for Disaster Backup and Recovery, beijing University of Posts and Telecommunications, beijing 100876, china information security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications key laboratory of Network and information Attack and Defence Technology of MOE Beijing University of Posts and T

Our concern, in the paper, is to construct information-theoretic secure network coding in the presence of eavesdroppers. Based on the generalized attack model and all-or-nothing transformation, the security of network coding in the generalized combination network can be characterized by the network capacity and the min-cut bound of wiretapping set from the source. Furthermore, it can be extended to any directed acyclic networks with single source. Compared with the traditional results, we construct information-theoretic secure network coding without additional encryptions and giving up any capacity.

关键词： all-or-nothing transformation secure network coding eavesdropping

The C-topology on lattice-ordered groups

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china Mathematics 2009年第11期52卷 2397-2403页

作者： YANG YiChuan Department of Mathematics,key laboratory of Ministry of Education for information Mathematics and Behavior,Beihang University,beijing,100191 china Department of Mathematics Key Laboratory of Ministry of Education for Information Mathematics and Behavior Beihang University Beijing China

Let A be a lattice-ordered group. Gusi? showed that A can be equipped with a C-topology which makes A into a topological group. We give a generalization of Gusi?’s theorem, and reveal the very nature of a “C-group” of Gusi? in this paper. Moreover, we show that the C-topological groups are topological lattice-ordered groups, and prove that every archimedean lattice-ordered vector space is a T 2 topological lattice-ordered vector space under the C-topology. An easy example shows that a C-group need not be T 2. A further example demonstrates that a T 2 topological archimedean lattice-ordered group need not be C-archimedean, either.

关键词： C-topology lattice-ordered group archimedean lattice-ordered group Hausdorff topology vector space 06F30 22A99

Instantiate Random Oracles in OAEP with Pseudorandom Functions

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2008年第6期13卷 651-656页

作者： JIA Xiaoying LI Hongda LI Bao state key laboratory of information security/Graduate University of Chinese Academy of Sciences Beijing 100049 China

This paper focuses on the instantiation of random oracles in public key encryption schemes. A misunderstanding in the former instantiations is pointed out and analyzed. A method of using this primitive as a substitution of random oracles is also proposed. The partial and full instantiations of random oracles in optimal asymmetric encryption padding （OAEP） implemented by pseudorandom functions are described and the resulted schemes are proven to be indistinguishable secure against adaptive chosen ciphertext attack （IND-CCA2） secure. Using this method, one can transform a practical public key encryption scheme secure in the random oracle model into a standard-model secure scheme. The security of the scheme is based on computational assumptions, which is weaker than decisional assumptions used in Cramer- Shoup like schemes.

关键词： random oracle(RO) model instantiation optimal asymmetric encryption padding(OAEP) indistinguishable securitity against adaptive chosen ciphertext attack (IND-CCA2)

Study of the structure of unstable nuclei through the reaction experiments

在线全文

学校读者我要写书评

暂无评论

Science china(Physics,Mechanics & Astronomy) 2011年第S1期54卷 1-5页

作者： CAO ZhongXin & YE YanLin state key laboratory of Nuclear Physics and Technology, School of Physics, Peking University, beijing 100871, china Peking University State Key Laboratory of Nuclear Physics and Technology School of Physics Beijing China (GRID:grid.11135.37) (ISNI:***)

Along with the development of the radioactive nuclear beam facility, the study of the structure of unstable nuclei has progressed rapidly over the last few decades. Due to the weakly binding property, the structure information of the unstable nuclei comes primarily from the scattering or reaction experiments. Therefore it would be very important to understand clearly the reaction mechanism involved in the experiment. We outlined here the major reaction mechanisms which are adequate to the study of unstable nuclei, with the focus on the new phenomena and methods in comparison with those with traditional stable nucleus beam. Especially emphasized are the breakup and knockout reactions, developed as accurate tools for spectroscopy investigation into the nuclear structure with low intensity secondary beam. Couplings of the breakup channel to the elastic scattering and the fusion and transfer reactions are also reviewed.

关键词： binaries: unstable nuclei nuclear structure breakup reaction knockout reaction fusion reaction transfer reaction