Creating Human Readable Path Constraints from Symbolic Execution
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Powder Diffraction
Advancements in computer technology have enabled three-dimensional (3D) reconstruction, data-stitching, and manipulation of 3D data obtained on X-ray imaging systems such as micro-computed tomography (μ-CT). Likewise, intuitive evaluation of these 3D datasets can be enhanced by recent advances in virtual reality (VR) hardware and software. Additionally, the generation, viewing, and manipulation of 3D X-ray diffraction datasets, such as pole figures employed for texture analysis, can also benefit from these advanced visualization techniques. We present newly-developed protocols for porting 3D data (as TIFF-stacks) into a Unity gaming software platform so that data may be toured, manipulated, and evaluated within a more-intuitive VR environment through the use of game-like controls and 3D headsets. We demonstrate this capability by rendering μ-CT data of a polymer dogbone test bar at various stages of in situ mechanical strain. An additional experiment is presented showing 3D XRD data collected on an aluminum test block with vias. These 3D XRD data for texture analysis (χ, φ, 2θ dimensions) enables the viewer to visually inspect 3D pole figures and detect the presence or absence of in-plane residual macrostrain. These two examples serve to illustrate the benefits of this new methodology for multidimensional analysis.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
CrossTalk: The Journal of Defense Software Engineering
Abstract not provided.
Abstract not provided.
Abstract not provided.