Algorithmic Verification of Systems Software Using SMT Solvers

Abstract Efficient, accurate data collection from imagery is the key to an economical generation of useful geospatial products. Incremental developments of traditional geospatial data collection and the arrival of new image data sources cause new software packages to be created and existing ones to be adjusted to enable such data to be processed. In the past, BAE Systems’ digital photogrammetric workstation, SOCET SET®, met fin de siècle expectations in data processing and feature extraction. Its successor, SOCET GXP®, addresses today’s photogrammetric requirements and new data sources. SOCET GXP is an advanced workstation for mapping and photogrammetric tasks, with automated functionality for triangulation, Digital Elevation Model (DEM) extraction, orthorectification and mosaicking, feature extraction and creation of 3-D models with texturing. BAE Systems continues to add sensor models to accommodate new image sources, in response to customer demand. New capabilities added in the latest version of SOCET GXP facilitate modeling, visualization and analysis of 3-D features.

Download Full-text

A Literature Review on the Wire and Arc Additive Manufacturing—Welding Systems and Software

Science of Advanced Materials ◽

10.1166/sam.2021.3971 ◽

2021 ◽

Vol 13 (8) ◽

pp. 1391-1400

Author(s):

Zidong Lin ◽

Pengfei Liu ◽

Xinghua Yu

Keyword(s):

Additive Manufacturing ◽

Large Scale ◽

Tool Path ◽

Future Research ◽

High Deposition Rate ◽

Efficient Technology ◽

The Past ◽

Material Efficiency ◽

Systems Software ◽

Design Generation

Wire and arc additive manufacturing (WAAM) is considered to be an economic and efficient technology that is suitable to produce large-scale and ultra-large-scale metallic components. In the past two decades, it has been widely investigated in different fields, such as aerospace, automotive and marine industries. Due to its relatively high deposition rate, material efficiency, and shortened lead time compared to other powder-based additive manufacturing (AM) techniques, wire and arc additive manufacturing (WAAM) has been significantly noticed and adopted by both academic researchers and industrial engineers. In order to summarize the development achievements of wire and arc additive manufacturing (WAAM) in the past few years and outlook the development direction in the coming days, this paper provides an overview of 3D metallic printing by applying it as a deposition method. The review mainly focuses on the current welding systems, software for tool path design, generation, and planning used in wire and arc additive manufacturing (WAAM). In the end, the state of the art and future research on wire and arc additive manufacturing (WAAM) have been prospected.

Download Full-text