检索结果-南通市图书馆

Constructing a core framework of visual engine for Digital Earth system

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2010年第S1期53卷 38-43页

作者： WENG JingNong,WANG YingJie & CAI Heng school of Computer,beihang university,beijing 100191,china beihang Univ Sch Comp Beijing 100191 Peoples R China

A visual engine is the core of a Digital Earth *** is a wide variety of functional requirements in Digital Earth system and different requirements correspond to different *** on the development of the visual engine for chinaStar,a 3D Digital china prototype software platform,and analysis of 3D Digital Earth platforms such as Google Earth,Virtual Earth,Skyline,etc,are discussed.A common core framework for a visual engine is proposed in this paper to construct a visual engine and then with this framework various Digital Earth application systems can be developed *** parametric model of the Earth,scheduling and optimization in visual field,choice of 3D graphics library,and designing component-based visual engine framework of Digital Earth are discussed in *** addition,the relationships among these four basic components and the construction of visualization applications of Digital Earth by this method are also discussed.

关键词： Digital Earth visual engine COMGIS core framework

Review of prediction for thermal contact resistance

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2010年第7期53卷 1798-1808页

作者： WANG AnLiang1 & ZHAO JianFeng2 1 school of Astronautics, beihang university, beijing 100191, china china Academy of Space Technology, beijing 100094, china 1. school of Astronautics Beihang University Beijing 100191 China2. China Academy of Space Technology Beijing 100094 China

Theoretical prediction research on thermal contact resistance is reviewed in this paper. In general, modeling or simulating the thermal contact resistance involves several aspects, including the descriptions of surface topography, the analysis of micro mechanical deformation, and the thermal models. Some key problems are proposed for accurately predicting the thermal resistance of two solid contact surfaces. We provide a perspective on further promising research, which would be beneficial to understanding mechanisms and engineering applications of the thermal contact resistance in heat transport phenomena.

关键词： thermal contact resistance thermal contact conductance surface topography deformation assumption prediction model numerical simulation

Complexity of synthesis of composite service with correctness guarantee

在线全文

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2012年第3期55卷 638-649页

作者： DENG Ting1,2 , HUAI JinPeng1,3 & WO TianYu1,3 1State Key Laboratory of Software Development Environment, beihang university beijing 100191, china 2school of Mathematics and System Science, beihang university, beijing 100191, china 3school of Computer Science and Engineering, beihang university, beijing 100191, china 1. State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China2. School of Mathematics and System Science Beihang University Beijing 100191 China3. School of Computer Science and Engineering Beihang University Beijing 100191 China

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.

关键词： business protocol composite service synthesis environment branching temporal logic

Reliability-aware automatic composition approach for web services

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2012年第4期55卷 921-937页

作者： LI Mu 1,2,LI Bo 1,2 & HUAI JinPeng 1,2 1 State Key Laboratory of Software Development Environment,beihang university,beijing 100191,china 2.school of Computer Science and Engineering,beihang university,beijing 100191,china 1. State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China2. School of Computer Science and Engineering Beihang University Beijing 100191 China

In this paper,we study the reliability-aware synthesis problem for composing available services automatically and guaranteeing that the composed result satisfies the specification,such as temporal constraints of functionality and reliability,centered on a synthesis model for mediator of web services composition (CSM).This approach focuses on handling attributes and state relations,and permitting users and services to operate over them,i.e.,read /write their data values and compare them according to a dense state *** show that the reliability-aware synthesis problem for the specification is EXPTIME-complete and we give an exponential-time algorithm (CSM-NSA) which for a given formula ψ and a synthesis model,synthesizes available services in the library satisfying ψ over the synthesis model (if they exist) or responds with "not satisfiable" (otherwise).The specification ψ is a fragment of PCTL (probabilistic computation tree logic),obtained from "ordinary" CTL (computation tree logic) by replacing the EX,AX,EU and AU operation with their quantitative counterparts X >p,X =1,U >p,and U =1,*** opposed to NSA,we provide a more effective algorithm to replace the NSA algorithm called CSM-HSA (heuristic synthesis algorithm).Though HSA is an incomplete algorithm,the answer is *** experiments show that the HSA algorithm solves the problem of reliability-aware service synthesis effectively and efficiently.

关键词： reliability web services synthesis problem synthesis model heuristic algorithm

Radiance-based color calibration for image-based modeling with multiple cameras

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2012年第7期55卷 1509-1519页

作者： ZHAO Xu 1,2 ,ZHOU Zhong 1,2 & WU Wei 1,2 1 State Key Laboratory of Virtual Reality Technology and Systems,beihang university,beijing 100191,china 2.school of Computer Science and Engineering,beihang university,beijing 100191,china 1. State Key Laboratory of Virtual Reality Technology and Systems Beihang University Beijing 100191 China2. School of Computer Science and Engineering Beihang University Beijing 100191 China

Photo-consistency estimation is an important part for many image-based modeling *** paper presents a novel radiance-based color calibration method to reduce the uncertainty of photo-consistency estimation across multiple *** idea behind our method is to convert colors into a uniform radiometric color space in which multiple image data are *** results demonstrate that our method can achieve comparable color calibration effect without adjusting camera parameters and is more robust than other existing ***,we obtain an auto-determined threshold for photo-consistency check,which will lead to a better performance than existing photo-consistency based reconstruction algorithms.

关键词： color calibration photo-consistency estimation multi-camera system image-based modeling

Statistical approach to weak signal detection and estimation using Duffing chaotic oscillators

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Information Sciences) 2011年第11期54卷 2324-2337页

作者： JIN Tian & ZHANG Hua school of Electronic Information Engineering,beihang university,beijing 100191,china 1. school of Electronic Information Engineering BeiHang University Beijing 100191 China

In this paper,we describe the statistical characteristics of weak signal detection by a chaotic Duffing oscillator,and present a new method for signal detection and estimation using the largest Lyapunov *** research has shown that weak signals can be detected by a chaotic *** researchers use the Lyapunov exponent to flag the detection of a chaotic state,but our research shows that the Lyapunov exponent follows statistical characteristics,and therefore more factors should be considered in flagging chaotic weak ***,we analyze the statistical characteristics inherent in the Lyapunov exponent calculation steps,and build up a statistical model for different chaotic states based on simulation ***,we provide expressions for false-alarm and detection probabilities,selection of driving force threshold and detection of ***,we summarize the method of signal amplitude *** research indicates that the performance of the detection system is related to sampling times and intervals,in accord with the theory of statistical signal detection.

关键词： weak signal detection Lyapunov exponent chaos Duffing oscillation statistical signal process

An approach to detecting abnormal vehicle events in complex factors over highway surveillance video

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2008年第S2期51卷 199-208页

作者： SHENG Hao1,XIONG Zhang1,WENG JingNong2 & WEI Qi1 1 College of Computer,beihang university,beijing 100191,china 2 College of Software,beihang university,beijing 100191,china College of Computer Beihang University Beijing 100191 China College of Software Beihang University Beijing 100191 China

The detection of abnormal vehicle events is a research hotspot in the analysis of highway surveillance *** of the complex factors,which include different conditions of weather,illumination,noise and so on,vehicle's feature extraction and abnormity detection become *** paper proposes a Fast Constrained Delaunay Triangulation(FCDT) algorithm to replace complicated segmentation algorithms for multi-feature *** on the video frames segmented by FCDT,an improved algorithm is presented to estimate background *** the estimation,a multi-feature eigenvector is generated by Principal Component Analysis(PCA) in accordance with the static and motional features extracted through locating and tracking each *** abnormity detection,adaptive detection modeling of vehicle events(ADMVE) is presented,for which a semi-supervised Mixture of Gaussian Hidden Markov Model(MGHMM) is trained with the multi-feature eigenvectors from each video *** normal model is developed by supervised mode with manual labeling,and becomes more accurate via iterated *** abnormal models are trained through the adapted Bayesian learning with unsupervised *** paper also presents experiments using real video sequence to verify the proposed method.

关键词： background estimation abnormity detection adaptive detection modeling a semi-supervised MGHMM

Distributed GIS oriented generalized image pyramid and its practice

在线全文

学校读者我要写书评

暂无评论

Science china(Technological Sciences) 2010年第S1期53卷 99-104页

作者： XIA YuBin,PANG PeiYu & WENG JingNong school of Computer Science and Engineering,beihang university,beijing 100191,china 1. school of Computer Science and Engineering Beihang University Beijing 100191 China

Gaussian pyramid framework (GPF) and Laplacian pyramid framework (LPF) are the two main frameworks used for transmission and structure of spatial image and geometric *** is the main approach for progressive transmission of spatial image *** paper discusses the issues in structure,transmission and storage efficiency of spatial data in the current spatially distributed visualization *** in the paper a novel approach is introduced to structure and store spatial data based on the *** new approach builds (spatial) index for transformed frequency data within different ranges based on splitting high-frequency and low-frequency data by biorthogonal *** approach decreases the storage consumption and network data traffic for transmission while enables the progressive transmission of spatial image.

关键词： redundancy spatial index progressive transmission generalized pyramid structure Laplacian pyramid framework

Preconditioned pseudo-compressibility methods for incompressible Navier-Stokes equations

在线全文

学校读者我要写书评

暂无评论

中国科学：物理学、力学、天文学英文版 2010年第11期53卷 2090-2102页

作者： QIAN ZhanSen ,ZHANG JingBai & LI ChunXuan school of Aeronautics Science and Engineering,beihang university,beijing 100191,china 1. school of Aeronautics Science and Engineering Beihang University Beijing 100191 China

This paper investigates the pseudo-compressibility method for the incompressible Navier-Stokes equations and the preconditioning technique for accelerating the time marching for stiff hyperbolic equations,and derives and presents the eigenvalues and eigenvectors of the Jacobian matrix of the preconditioned pseudo-compressible Navier-Stokes equations in generally cur-vilinear *** on the finite difference discretization the cored for efficiently solving incompressible flows numerically is *** reliability of the procedures is demonstrated by the application to the inviscid flow past a circular cylinder,the laminar flow over a flat plate,and steady low Reynolds number viscous incompressible flows past a circular *** is found that the solutions to the present algorithm are in good agreement with the exact solutions or experimental *** effects of the pseudo-compressibility factor and the parameter brought by preconditioning in convergence characteristics of the solution are investigated *** results show that the upwind Roe’s scheme is superior to the second order central scheme,that the convergence rate of the pseudo-compressibility method can be effectively improved by preconditioning and that the self-adaptive pseudo-compressibility factor can modify the numerical convergence rate significantly compared to the constant form,without doing artificial tuning depending on the specific flow *** validation is also performed by numerical simulations of unsteady low Reynolds number viscous incompressible flows past a circular *** results are also found in good agreement with the existing numerical results or experimental data.

关键词： pseudo-compressibility method preconditioning upwind scheme incompressible flow Navier-Stokes equations