搜索结果: 1-15 共查到“工学 Verification”相关记录90条 . 查询时间(0.143 秒)
AUTOMATING THE VERIFICATION OF HERITAGE BUILDING INFORMATION MODELS CREATED FROM POINT CLOUD DATA
3D analysis as-built BIM model checking point clouds deviations walls
2019/3/2
The use of remote sensors to acquire metric information for building information modelling (BIM) of heritage buildings is now common. Problematically, the creation of models from that information is s...
DESIGN AND VERIFICATION OF REMOTE SENSING IMAGE DATA CENTER STORAGE ARCHITECTURE BASED ON HADOOP
Data center Storage strategy Parallel processing Hadoop HBase
2018/5/15
The data center is a new concept of data processing and application proposed in recent years. It is a new method of processing technologies based on data, parallel computing, and compatibility with di...
REPROCESSING CLOSE RANGE TERRESTRIAL AND UAV PHOTOGRAMMETRIC PROJECTS WITH THE DBAT TOOLBOX FOR INDEPENDENT VERIFICATION AND QUALITY CONTROL
close range UAV bundle adjustment quality control photogrammetry software DBAT
2018/3/6
Photogrammetry has recently seen a rapid increase in many applications, thanks to developments in computing power and algorithms. Furthermore with the democratisation of UAVs (Unmanned Aerial Vehicles...
2017 IEEE国际模型验证与确认研讨会（IEEE International Workshop on Model-Based Verification & Validation）
2017 IEEE 国际模型 验证 确认 研讨会
2017/6/23
Costs entailed by software failures demonstrate that the systematic development of software in a certain quality is still a challenge, even after decades of research. A reason for this can certainly b...
2017 IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017 IEEE 国际自动化软件系统 验证 确认 研讨会
2017/6/23
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
2017IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017年 自动化软件系统验证与确认 研讨会
2017/6/21
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
VERIFICATION OF THE SENTINEL-4 FOCAL PLANE SUBSYSTEM
Multi-spectral camera system monitoring the atmosphere the focal plane subsystem the near infrared spectrum
2017/7/13
The Sentinel-4 payload is a multi-spectral camera system which is designed to monitor atmospheric conditions over Europe. The German Aerospace Center (DLR) in Berlin, Germany conducted the verificatio...
BLOCKWISE BINARY PATTERN: A ROBUST AND AN EFFICIENT APPROACH FOR OFFLINE SIGNATURE VERIFICATION
BLOCKWISE BINARY PATTERN EFFICIENT APPROACH FOR OFFLINE SIGNATURE VERIFICATION
2017/6/19
This paper presents a variant of local binary pattern called Blockwise Binary Pattern (BBP) for the offline signature verification. The proposed approach has three major phases : Preprocessing, Featur...
2017SPIE光学系统装调、公差和验证专题会议（Optical System Alignment,Tolerancing,and Verification XI）
2017 SPIE 光学系统装调、公差和验证 专题会议
2017/4/25
2017SPIE光学系统装调、公差和验证专题会议（Optical System Alignment,Tolerancing,and Verification XI）。
2017 SPIE 光学系统装调、公差和验证专题会议（Optical System Alignment, Tolerancing, and Verification XI）
2017 SPIE 光学系统装调 公差 验证 专题会议
2017/4/25
Conference Sessions:1: Verification and System Alignment ;2: Optical Tolerancing ;3: Alignment of Optical Systems I ;4: Alignment of Optical Systems II Technology Hot Topics: How Optics and Photonics ...
IEEE2017国际大数据应用质量保证和验证研讨会（IEEE International Workshop on Quality assurance and verification for big data applications）
国际大数据应用质量保证和验证 研讨会
2017/3/27
A smart city integrates information and communication technologies, as well as Internet of Things (IoT) solutions to reduce costs and resource consumption, enhance performance, and connect and engage ...
国际研讨会上域特定的基于模型的方法来验证和确认（International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn）
国际研讨会 域特定 基于模型 方法 验证 确认
2017/2/15
Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs and use dom...
EXTERNAL VERIFICATION OF THE BUNDLE ADJUSTMENT IN PHOTOGRAMMETRIC SOFTWARE USING THE DAMPED BUNDLE ADJUSTMENT TOOLBOX
Software Bundle adjustment Accuracy Quality Best practice Distortion Data sets
2016/11/11
The aim of this paper is to investigate whether the Matlab-based Damped Bundle Adjustment Toolbox (DBAT) can be used to provide independent verification of the BA computation of two popular software—P...
METHODS FOR THE UPDATE AND VERIFICATION OF FOREST SURFACE MODEL
Vegetation Forest growth measurement LIDAR Digital Terrain Model (DTM) Digital Surface Model (DSM) Canopy height model (CHM) Forest database updating
2016/11/8
The digital terrain model (DTM) represents the bare ground earth's surface without any objects like vegetation and buildings. In contrast to a DTM, Digital surface model (DSM) represents the earth's s...
VERIFICATION OF POTENCY OF AERIAL DIGITAL OBLIQUE CAMERAS FOR AERIAL PHOTOGRAMMETRY IN JAPAN
Digital Oblique Aerial Camera Oblique Images Photogrammetric Accuracy Bundle Adjustment Oblique Viewer
2016/7/4
Digital oblique aerial camera (hereinafter called “oblique cameras”) is an assembly of medium format digital cameras capable of shooting digital aerial photographs in five directions i.e. nadir view a...