-
Engineering Optimal Parallel Task Scheduling
Authors:
Matthew Akram,
Nikolai Maas,
Peter Sanders,
Dominik Schreiber
Abstract:
The NP-hard scheduling problem P||C_max encompasses a set of tasks with known execution time which must be mapped to a set of identical machines such that the overall completion time is minimized. In this work, we improve existing techniques for optimal P||C_max scheduling with a combination of new theoretical insights and careful practical engineering. Most importantly, we derive techniques to pr…
▽ More
The NP-hard scheduling problem P||C_max encompasses a set of tasks with known execution time which must be mapped to a set of identical machines such that the overall completion time is minimized. In this work, we improve existing techniques for optimal P||C_max scheduling with a combination of new theoretical insights and careful practical engineering. Most importantly, we derive techniques to prune vast portions of the search space of branch-and-bound (BnB) approaches. We also propose improved upper and lower bounding techniques which can be combined with any approach to P||C_max. Moreover, we present new benchmarks for P||C_max, based on diverse application data, which can shed light on aspects which prior synthetic instances fail to capture. In an extensive evaluation, we observe that our pruning techniques reduce the number of explored nodes by 90$\times$ and running times by 12$\times$. Compared to a state-of-the-art ILP-based approach, our approach is preferable for short running time limits and for instances with large makespans.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
A Joint Approach Towards Data-Driven Virtual Testing for Automated Driving: The AVEAS Project
Authors:
Leon Eisemann,
Mirjam Fehling-Kaschek,
Silke Forkert,
Andreas Forster,
Henrik Gommel,
Susanne Guenther,
Stephan Hammer,
David Hermann,
Marvin Klemp,
Benjamin Lickert,
Florian Luettner,
Robin Moss,
Nicole Neis,
Maria Pohle,
Dominik Schreiber,
Cathrina Sowa,
Daniel Stadler,
Janina Stompe,
Michael Strobelt,
David Unger,
Jens Ziehn
Abstract:
With growing complexity and responsibility of automated driving functions in road traffic and growing scope of their operational design domains, there is increasing demand for covering significant parts of development, validation, and verification via virtual environments and simulation models.
If, however, simulations are meant not only to augment real-world experiments, but to replace them, qu…
▽ More
With growing complexity and responsibility of automated driving functions in road traffic and growing scope of their operational design domains, there is increasing demand for covering significant parts of development, validation, and verification via virtual environments and simulation models.
If, however, simulations are meant not only to augment real-world experiments, but to replace them, quantitative approaches are required that measure to what degree and under which preconditions simulation models adequately represent reality, and thus allow their usage for virtual testing of driving functions. Especially in research and development areas related to the safety impacts of the "open world", there is a significant shortage of real-world data to parametrize and/or validate simulations - especially with respect to the behavior of human traffic participants, whom automated vehicles will meet in mixed traffic.
This paper presents the intermediate results of the German AVEAS research project (www.aveas.org) which aims at developing methods and metrics for the harmonized, systematic, and scalable acquisition of real-world data for virtual verification and validation of advanced driver assistance systems and automated driving, and establishing an online database following the FAIR principles.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
I Did Not Notice: A Comparison of Immersive Analytics with Augmented and Virtual Reality
Authors:
Xiaoyan Zhou,
Anil Ufuk Batmaz,
Adam S. Williams,
Dylan Schreiber,
Francisco Ortega
Abstract:
Immersive environments enable users to engage in embodied interaction, enhancing the sensemaking processes involved in completing tasks such as immersive analytics. Previous comparative studies on immersive analytics using augmented and virtual realities have revealed that users employ different strategies for data interpretation and text-based analytics depending on the environment. Our study see…
▽ More
Immersive environments enable users to engage in embodied interaction, enhancing the sensemaking processes involved in completing tasks such as immersive analytics. Previous comparative studies on immersive analytics using augmented and virtual realities have revealed that users employ different strategies for data interpretation and text-based analytics depending on the environment. Our study seeks to investigate how augmented and virtual reality influences sensemaking processes in quantitative immersive analytics. Our results, derived from a diverse group of participants, indicate that users demonstrate comparable performance in both environments. However, it was observed that users exhibit a higher tolerance for cognitive load in VR and travel further in AR. Based on our findings, we recommend providing users with the option to switch between AR and VR, thereby enabling them to select an environment that aligns with their preferences and task requirements.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
CRANE: A Redundant, Multi-Degree-of-Freedom Computed Tomography Robot for Heightened Needle Dexterity within a Medical Imaging Bore
Authors:
Dimitrious Schreiber,
Zhaowei Yu,
Taylor Henderson,
Derek Chen,
Alexander Norbasha,
Michael C. Yip
Abstract:
Computed Tomography (CT) image guidance enables accurate and safe minimally invasive treatment of diseases, including cancer and chronic pain, with needle-like tools via a percutaneous approach. The physician incrementally inserts and adjusts the needle with intermediate images due to the accuracy limitation of free-hand adjustment and patient physiological motion. Scanning frequency is limited to…
▽ More
Computed Tomography (CT) image guidance enables accurate and safe minimally invasive treatment of diseases, including cancer and chronic pain, with needle-like tools via a percutaneous approach. The physician incrementally inserts and adjusts the needle with intermediate images due to the accuracy limitation of free-hand adjustment and patient physiological motion. Scanning frequency is limited to minimize ionizing radiation exposure for the patient and physician. Robots can provide high positional accuracy and compensate for physiological motion with fewer scans. To accomplish this, the robots must operate within the confined imaging bore while retaining sufficient dexterity to insert and manipulate the needle. This paper presents CRANE: CT Robotic Arm and Needle Emplacer, a CT-compatible robot with a design focused on system dexterity that enables physicians to manipulate and insert needles within the scanner bore as naturally as they would be able to by hand. We define abstract and measurable clinically motivated metrics for in-bore dexterity applicable to general-purpose intra-bore image-guided needle placement robots, develop an automatic robot planning and control method for intra-bore needle manipulation and device setup, and demonstrate the redundant linkage design provides dexterity across various human morphology and meets the clinical requirements for target accuracy during an in-situ evaluation.
△ Less
Submitted 4 February, 2024;
originally announced February 2024.
-
Understanding atom probe's analytical performance for iron oxides using correlation histograms and ab initio calculations
Authors:
Se-Ho Kim,
Shalini Bhatt,
Daniel K. Schreiber,
Jörg Neugebauer,
Christoph Freysoldt,
Baptiste Gault,
Shyam Katnagallu
Abstract:
Field evaporation from ionic or covalently bonded materials often leads to the emission of molecular ions. The metastability of these molecular ions, particularly under the influence of the intense electrostatic field (1010 Vm-1), makes them prone to dissociation with or without an exchange of energy amongst them. These processes can affect the analytical performance of atom probe tomography (APT)…
▽ More
Field evaporation from ionic or covalently bonded materials often leads to the emission of molecular ions. The metastability of these molecular ions, particularly under the influence of the intense electrostatic field (1010 Vm-1), makes them prone to dissociation with or without an exchange of energy amongst them. These processes can affect the analytical performance of atom probe tomography (APT). For instance, neutral species formed through dissociation may not be detected at all or with a time of flight no longer related to their mass, causing their loss from the analysis. Here, we evaluated the changes in the measured composition of FeO, Fe2O3 and Fe3O4 across a wide range of analysis conditions. Possible dissociation reactions are predicted by density-functional theory (DFT) calculations considering the spin states of the molecules. The energetically favoured reactions are traced on to the multi-hit ion correlation histograms, to confirm their existence within experiments, using an automated Python-based routine. The detected reactions are carefully analysed to reflect upon the influence of these neutrals from dissociation reactions on the performance of APT for analysing iron oxides.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
ORRN: An ODE-based Recursive Registration Network for Deformable Respiratory Motion Estimation with Lung 4DCT Images
Authors:
Xiao Liang,
Shan Lin,
Fei Liu,
Dimitri Schreiber,
Michael Yip
Abstract:
Deformable Image Registration (DIR) plays a significant role in quantifying deformation in medical data. Recent Deep Learning methods have shown promising accuracy and speedup for registering a pair of medical images. However, in 4D (3D + time) medical data, organ motion, such as respiratory motion and heart beating, can not be effectively modeled by pair-wise methods as they were optimized for im…
▽ More
Deformable Image Registration (DIR) plays a significant role in quantifying deformation in medical data. Recent Deep Learning methods have shown promising accuracy and speedup for registering a pair of medical images. However, in 4D (3D + time) medical data, organ motion, such as respiratory motion and heart beating, can not be effectively modeled by pair-wise methods as they were optimized for image pairs but did not consider the organ motion patterns necessary when considering 4D data. This paper presents ORRN, an Ordinary Differential Equations (ODE)-based recursive image registration network. Our network learns to estimate time-varying voxel velocities for an ODE that models deformation in 4D image data. It adopts a recursive registration strategy to progressively estimate a deformation field through ODE integration of voxel velocities. We evaluate the proposed method on two publicly available lung 4DCT datasets, DIRLab and CREATIS, for two tasks: 1) registering all images to the extreme inhale image for 3D+t deformation tracking and 2) registering extreme exhale to inhale phase images. Our method outperforms other learning-based methods in both tasks, producing the smallest Target Registration Error of 1.24mm and 1.26mm, respectively. Additionally, it produces less than 0.001\% unrealistic image folding, and the computation speed is less than 1 second for each CT volume. ORRN demonstrates promising registration accuracy, deformation plausibility, and computation efficiency on group-wise and pair-wise registration tasks. It has significant implications in enabling fast and accurate respiratory motion estimation for treatment planning in radiation therapy or robot motion planning in thoracic needle insertion.
△ Less
Submitted 25 May, 2023; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Design and Mechanics of Cable-Driven Rolling Diaphragm Transmission for High-Transparency Robotic Motion
Authors:
Hoi Man Lam,
W. Jared Walker,
Lucas Jonasch,
Dimitri Schreiber,
Michael C. Yip
Abstract:
Applications of rolling diaphragm transmissions for medical and teleoperated robotics are of great interest, due to the low friction of rolling diaphragms combined with the power density and stiffness of hydraulic transmissions. However, the stiffness-enabling pressure preloads can form a tradeoff against bearing loading in some rolling diaphragm layouts, and transmission setup can be difficult. U…
▽ More
Applications of rolling diaphragm transmissions for medical and teleoperated robotics are of great interest, due to the low friction of rolling diaphragms combined with the power density and stiffness of hydraulic transmissions. However, the stiffness-enabling pressure preloads can form a tradeoff against bearing loading in some rolling diaphragm layouts, and transmission setup can be difficult. Utilization of cable drives compliment the rolling diaphragm transmission's advantages, but maintaining cable tension is crucial for optimal and consistent performance. In this paper, a coaxial opposed rolling diaphragm layout with cable drive and an electronic transmission control system are investigated, with a focus on system reliability and scalability. Mechanical features are proposed which enable force balancing, decoupling of transmission pressure from bearing loads, and maintenance of cable tension. Key considerations and procedures for automation of transmission setup, phasing, and operation are also presented. We also present an analysis of system stiffness to identify key compliance contributors, and conduct experiments to validate prototype design performance.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
Mobility Analysis of Screw-Based Locomotion and Propulsion in Various Media
Authors:
Jason Lim,
Calvin Joyce,
Elizabeth Peiros,
Mingwei Yeoh,
Peter V. Gavrilov,
Sara G. Wickenhiser,
Dimitri A. Schreiber,
Florian Richter,
Michael C. Yip
Abstract:
Robots "in-the-wild" encounter and must traverse widely varying terrain, ranging from solid ground to granular materials like sand to full liquids. Numerous approaches exist, including wheeled and legged robots, each excelling in specific domains. Screw-based locomotion is a promising approach for multi-domain mobility, leveraged in exploratory robotic designs, including amphibious vehicles and sn…
▽ More
Robots "in-the-wild" encounter and must traverse widely varying terrain, ranging from solid ground to granular materials like sand to full liquids. Numerous approaches exist, including wheeled and legged robots, each excelling in specific domains. Screw-based locomotion is a promising approach for multi-domain mobility, leveraged in exploratory robotic designs, including amphibious vehicles and snake robotics. However, unlike other forms of locomotion, there is a limited exploration of the models, parameter effects, and efficiency for multi-terrain Archimedes screw locomotion. In this work, we present work towards this missing component in understanding screw-based locomotion: comprehensive experimental results and performance analysis across different media. We designed a mobile test bed for indoor and outdoor experimentation to collect this data. Beyond quantitatively showing the multi-domain mobility of screw-based locomotion, we envision future researchers and engineers using the presented results to design effective screw-based locomotion systems.
△ Less
Submitted 7 March, 2023; v1 submitted 25 January, 2023;
originally announced January 2023.
-
Resolving diverse oxygen transport pathways across Sr-doped lanthanum ferrite and metal-perovskite heterostructures
Authors:
Sandra D. Taylor,
Kayla H. Yano,
Michel Sassi,
Bethany E. Matthews,
Sten V. Lambeets,
Sydney Neumann,
Daniel K. Schreiber,
Le Wang,
Yingge Du,
Steven R. Spurgeon
Abstract:
Perovskite structured transition metal oxides are important technological materials for catalysis and solid oxide fuel cell applications. Their functionality often depends on oxygen diffusivity and mobility through complex oxide heterostructures, which can be significantly impacted by structural and chemical modifications, such as doping. Further, when utilized within electrochemical cells, interf…
▽ More
Perovskite structured transition metal oxides are important technological materials for catalysis and solid oxide fuel cell applications. Their functionality often depends on oxygen diffusivity and mobility through complex oxide heterostructures, which can be significantly impacted by structural and chemical modifications, such as doping. Further, when utilized within electrochemical cells, interfacial reactions with other components (e.g. Ni- and Cr-based alloy electrodes and interconnects) can influence the perovskite's reactivity and ion transport, leading to complex dependencies that are difficult to control in real-world environments. Here we use isotopic tracers and atom probe tomography to directly visualize oxygen diffusion and transport pathways across perovskite and metal-perovskite heterostructures, i.e. (Ni-Cr coated) Sr-doped lanthanum ferrite (LSFO). Annealing in 18O2(g) results in elemental and isotopic redistributions through oxygen exchange (OE) in the LSFO while Ni-Cr undergoes oxidation via multiple mechanisms and transport pathways. Complementary density functional theory (DFT) calculations at experimental conditions provide rationale for OE reaction mechanisms and reveal a complex interplay of different thermodynamic and kinetic drivers. Our results shed light on the fundamental coupling of defects and oxygen transport in an important class of catalytic materials.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Scalable SAT Solving in the Cloud
Authors:
Dominik Schreiber,
Peter Sanders
Abstract:
Previous efforts on making Satisfiability (SAT) solving fit for high performance computing (HPC) have lead to super-linear speedups on particular formulae, but for most inputs cannot make efficient use of a large number of processors. Moreover, long latencies (minutes to days) of job scheduling make large-scale SAT solving on demand impractical for most applications. We address both issues with Ma…
▽ More
Previous efforts on making Satisfiability (SAT) solving fit for high performance computing (HPC) have lead to super-linear speedups on particular formulae, but for most inputs cannot make efficient use of a large number of processors. Moreover, long latencies (minutes to days) of job scheduling make large-scale SAT solving on demand impractical for most applications. We address both issues with Mallob, a framework for job scheduling in the context of SAT solving which exploits malleability, i.e., the ability to add or remove processing power from a job during its computation. Mallob includes a massively parallel, distributed, and malleable SAT solving engine based on Hordesat with a more succinct and communication-efficient approach to clause sharing and numerous further improvements over its precursor. For example, Mallob on 640 cores outperforms an updated and improved configuration of Hordesat on 2560 cores. Moreover, Mallob can also solve many formulae in parallel while dynamically adapting the assigned resources, and jobs arriving in the system are usually initiated within a fraction of a second.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
One Dimensional Wormhole Corrosion in Metals
Authors:
Yang Yang,
Weiyue Zhou,
Sheng Yin,
Sarah Y. Wang,
Qin Yu,
Matthew J. Olszta,
Ya-Qian Zhang,
Steven E. Zeltmann,
Mingda Li,
Miaomiao Jin,
Daniel K. Schreiber,
Jim Ciston,
M. C. Scott,
John R. Scully,
Robert O. Ritchie,
Mark Asta,
Ju Li,
Michael P. Short,
Andrew M. Minor
Abstract:
Corrosion is a ubiquitous failure mode of materials in extreme environments. The more localized it is, the more difficult it is to detect and more deleterious its effects. Often, the progression of localized corrosion is accompanied by the evolution of porosity in materials, creating internal void-structures that facilitate the ingress of the external environment into the interior of the material,…
▽ More
Corrosion is a ubiquitous failure mode of materials in extreme environments. The more localized it is, the more difficult it is to detect and more deleterious its effects. Often, the progression of localized corrosion is accompanied by the evolution of porosity in materials, creating internal void-structures that facilitate the ingress of the external environment into the interior of the material, further accelerating the internal corrosion. Previously, the dominant morphology of such void-structures has been reported to be either three-dimensional (3D) or two-dimensional (2D). Here, we report a more localized form of corrosion, which we call 1D wormhole corrosion. Using electron tomography, we show multiple examples of this 1D and percolating morphology that manifests a significantly high aspect ratio differentiable from 2D and 3D corrosion. To understand the origin of this mechanism in a Ni-Cr alloy corroded by molten salt, we combined energy-filtered four-dimensional scanning transmission electron microscopy (EF-4D-STEM) and ab initio density functional theory (DFT) calculations to develop a vacancy mapping method with nanometer-resolution, identifying a remarkably high vacancy concentration in the diffusion-induced grain boundary migration (DIGM) zone, up to 100 times the equilibrium value at the melting point. These vacancy supersaturation regions act as the precursors of wormholes, and lead to the asymmetrical growth of voids along GBs. We show that similar 1D penetrating corrosion morphologies could also occur in other materials or corrosion conditions, implying the broad impact of this extremely localized corrosion mechanism. Deciphering the origins of 1D corrosion is an important step towards designing structural materials with enhanced corrosion resistance, and also offers new pathways to create ordered-porous materials for functional applications.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Atom probe analysis of battery materials: challenges and ways forward
Authors:
Se-Ho Kim,
Stoichko Antonov,
Xuyang Zhou,
Leigh T. Stephenson,
Chanwon Jung,
Ayman A. El-Zoka,
Daniel K. Schreiber,
Michele Conroy,
Baptiste Gault
Abstract:
The worldwide developments of electric vehicles, as well as large-scale or grid-scale energy storage to compensate the intermittent nature of renewable energy generation has generated a surge of interest in battery technology. Understanding the factors controlling battery capacity and, critically, their degradation mechanisms to ensure long-term, sustainable and safe operation requires detailed kn…
▽ More
The worldwide developments of electric vehicles, as well as large-scale or grid-scale energy storage to compensate the intermittent nature of renewable energy generation has generated a surge of interest in battery technology. Understanding the factors controlling battery capacity and, critically, their degradation mechanisms to ensure long-term, sustainable and safe operation requires detailed knowledge of their microstructure and chemistry, and their evolution under operating conditions, on the nanoscale. Atom probe tomography (APT) provides compositional mapping of materials in three-dimensions with sub-nanometre resolution, and is poised to play a key role in battery research. However, APT is underpinned by an intense electric-field that can drive lithium migration, and many battery materials are reactive oxides, requiring careful handling and sample transfer. Here, we report on the analysis of both anode and cathode materials, and show that electric-field driven migration can be suppressed by using shielding by embedding powder particles in a metallic matrix or by using a thin conducting surface layer. We demonstrate that for a typical cathode material, cryogenic specimen preparation and transport under ultra-high vacuum leads to major delithiation of the specimen during the analysis. In contrast, transport of specimens through air enables analysis of the material. Finally, we discuss the possible physical underpinnings and discuss ways forward to enable shield of the electric field, which helps address the challenges inherent to the APT analysis of battery materials.
△ Less
Submitted 20 January, 2022; v1 submitted 7 October, 2021;
originally announced October 2021.
-
CRANE: a 10 Degree-of-Freedom, Tele-surgical System for Dexterous Manipulation within Imaging Bores
Authors:
Dimitri A. Schreiber,
Zhaowei Yu,
Hanpeng Jiang,
Taylor Henderson,
Guosong Li,
Julie Yu,
Renjie Zhu,
Alexander M. Norbash,
Michael C. Yip
Abstract:
Physicians perform minimally invasive percutaneous procedures under Computed Tomography (CT) image guidance both for the diagnosis and treatment of numerous diseases. For these procedures performed within Computed Tomography Scanners, robots can enable physicians to more accurately target sub-dermal lesions while increasing safety. However, existing robots for this application have limited dexteri…
▽ More
Physicians perform minimally invasive percutaneous procedures under Computed Tomography (CT) image guidance both for the diagnosis and treatment of numerous diseases. For these procedures performed within Computed Tomography Scanners, robots can enable physicians to more accurately target sub-dermal lesions while increasing safety. However, existing robots for this application have limited dexterity, workspace, or accuracy. This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 8+2 Degree-ofFreedom (DoF) robotic arm for CT guided percutaneous needle biopsy. In this article, we propose CRANE: CT Robot and Needle Emplacer. The design focuses on system dexterity with high accuracy: extending physicians' ability to manipulate and insert needles within the scanner bore while providing the high accuracy possible with a robot. We also propose and validate a system architecture and control scheme for low profile and highly accurate image-guided robotics, that meets the clinical requirements for target accuracy during an in-situ evaluation. The accuracy is additionally evaluated through a trajectory tracking evaluation resulting in <0.2mm and <0.71degree tracking error. Finally, we present a novel needle driving and grasping mechanism with controlling electronics that provides simple manufacturing, sterilization, and adaptability to accommodate different sizes and types of needles.
△ Less
Submitted 17 March, 2022; v1 submitted 27 September, 2021;
originally announced September 2021.
-
CRANE: A highly dexterous needle placement robot for evaluation of interventional radiology procedures
Authors:
Dimitri A. Schreiber,
Hanpeng Jiang,
Guosong Li,
Julie Yu,
Zhaowei Yu,
Renjie Zhu,
Alexander M. Norbash,
Michael C. Yip
Abstract:
Interventional Radiology (IR) enables earlier diagnosis and less invasive treatment of numerous ailments. Here we present our ongoing development of CRANE: CT RoboticArm and Needle Emplacer, a robotic needle positioning system for CT guided procedures. The robot has 8 active Degrees-of-Freedom (DoF) and a novel infinite travel needle insertion mechanism. The control system is distributed using the…
▽ More
Interventional Radiology (IR) enables earlier diagnosis and less invasive treatment of numerous ailments. Here we present our ongoing development of CRANE: CT RoboticArm and Needle Emplacer, a robotic needle positioning system for CT guided procedures. The robot has 8 active Degrees-of-Freedom (DoF) and a novel infinite travel needle insertion mechanism. The control system is distributed using the RobotOperating System (ROS) across a low latency network that interconnects a real-time low-jitter controller, with a desktop computer which hosts the User Interface (UI) and high-level control. This platform can serve to evaluate limitations in the current procedures and to prototype potential solutions to these challenges in-situ.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
ARCSnake: An Archimedes' Screw-Propelled, Reconfigurable Robot Snake for Complex Environments
Authors:
Dimitri A. Schreiber,
Florian Richter,
Andrew Bilan,
Peter V. Gavrilov,
Hoi Lam Man,
Casey H. Price,
Kalind C. Carpenter,
Michael C. Yip
Abstract:
This paper presents the design and performance of a screw-propelled redundant serpentine robot. This robot comprises serially linked, identical modules, each incorporating an Archimedes' screw for propulsion and a universal joint (U-Joint) for orientation control. When serially chained, these modules form a versatile snake robot platform which enables the robot to reshape its body configuration fo…
▽ More
This paper presents the design and performance of a screw-propelled redundant serpentine robot. This robot comprises serially linked, identical modules, each incorporating an Archimedes' screw for propulsion and a universal joint (U-Joint) for orientation control. When serially chained, these modules form a versatile snake robot platform which enables the robot to reshape its body configuration for varying environments and gait patterns that would be typical of snake movement. Furthermore, the Archimedes' screws allow for novel omni-wheel drive-like motions by speed controlling their screw threads. This paper considers the mechanical and electrical design, as well as the software architecture for realizing a fully integrated system. The system includes 3$N$ actuators for $N$ segments, each controlled using a BeagleBone Black with a customized power-electronics cape, a 9 Degrees of Freedom (DoF) Inertial Measurement Unit (IMU), and a scalable communication channel over ROS. The intended application for this robot is its use as an instrumentation mobility platform on terrestrial planets where the terrain may involve vents, caves, ice, and rocky surfaces. Additional experiments are shown on our website.
△ Less
Submitted 3 June, 2020; v1 submitted 25 September, 2019;
originally announced September 2019.
-
Finding Optimal Longest Paths by Dynamic Programming in Parallel
Authors:
Kai Fieger,
Tomas Balyo,
Christian Schulz,
Dominik Schreiber
Abstract:
We propose an exact algorithm for solving the longest simple path problem between two given vertices in undirected weighted graphs. By using graph partitioning and dynamic programming, we obtain an algorithm that is significantly faster than other state-of-the-art methods. This enables us to solve instances that were previously unsolved and solve hard instances significantly faster. Lastly, we pre…
▽ More
We propose an exact algorithm for solving the longest simple path problem between two given vertices in undirected weighted graphs. By using graph partitioning and dynamic programming, we obtain an algorithm that is significantly faster than other state-of-the-art methods. This enables us to solve instances that were previously unsolved and solve hard instances significantly faster. Lastly, we present a scalable parallelization which yields the first efficient parallel algorithm for the problem.
△ Less
Submitted 8 May, 2019;
originally announced May 2019.
-
Temperature Dependence of Self-diffusion in Cr2O3 from First Principles
Authors:
Bharat Medasani,
Maria L. Sushko,
Kevin M. Rosso,
Daniel K. Schreiber,
Stephen M. Bruemmer
Abstract:
Understanding and predicting the dominant diffusion processes in Cr2O3 is essential to its optimization for anti-corrosion coatings, spintronics, and other applications. Despite significant theoretical effort in modeling defect mediated diffusion in Cr2O3 the correlation with experimentally measured diffusivities remains poor partly due to the insufficient accuracy of the theoretical approaches. H…
▽ More
Understanding and predicting the dominant diffusion processes in Cr2O3 is essential to its optimization for anti-corrosion coatings, spintronics, and other applications. Despite significant theoretical effort in modeling defect mediated diffusion in Cr2O3 the correlation with experimentally measured diffusivities remains poor partly due to the insufficient accuracy of the theoretical approaches. Here an attempt to resolve these discrepancies is made through high accuracy density functional theory simulations coupled with grand canonical formalism of defect thermochemistry. In this approach, point defect formation energies were computed using hybrid exchange correlation functional. This level of theory proved to be essential for achieving the agreement with experimental self-diffusion coefficients. The analysis of the resulting self-diffusion coefficients indicate that chromium has higher mobility at low temperatures and high oxygen partial pressures, in particular at standard temperature and pressure conditions. At high vacuum, high temperature conditions, oxygen diffusion becomes dominant. At Cr/Cr2O3 interfaces O vacancies were found to be more mobile than Cr vacancies at all temperatures. Cr diffuses preferentially along the c-axis at low temperatures but switches to basal plane at higher temperatures. O diffusion is primarily bound to basal plane at all temperatures.
△ Less
Submitted 9 April, 2019;
originally announced April 2019.
-
An Open-Source 7-Axis, Robotic Platform to Enable Dexterous Procedures within CT Scanners
Authors:
Dimitri A. Schreiber,
Daniel B. Shak,
Alexander M. Norbash,
Michael C. Yip
Abstract:
This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 7 Degree-of-Freedom (DOF) robotic arm for CT-guided percutaneous needle biopsy. Direct CT guidance allows physicians to localize tumours quickly; however, needle insertion is still performed by hand. This system is mounted to a fully active gantry superior to the patient's head and teleoperated by a r…
▽ More
This paper describes the design, manufacture, and performance of a highly dexterous, low-profile, 7 Degree-of-Freedom (DOF) robotic arm for CT-guided percutaneous needle biopsy. Direct CT guidance allows physicians to localize tumours quickly; however, needle insertion is still performed by hand. This system is mounted to a fully active gantry superior to the patient's head and teleoperated by a radiologist. Unlike other similar robots, this robot's fully serial-link approach uses a unique combination of belt and cable drives for high-transparency and minimal-backlash, allowing for an expansive working area and numerous approach angles to targets all while maintaining a small in-bore cross-section of less than $16cm^2$. Simulations verified the system's expansive collision free work-space and ability to hit targets across the entire chest, as required for lung cancer biopsy. Targeting error is on average $<1mm$ on a teleoperated accuracy task, illustrating the system's sufficient accuracy to perform biopsy procedures. The system is designed for lung biopsies due to the large working volume that is required for reaching peripheral lung lesions, though, with its large working volume and small in-bore cross-sectional area, the robotic system is effectively a general-purpose CT-compatible manipulation device for percutaneous procedures. Finally, with the considerable development time undertaken in designing a precise and flexible-use system and with the desire to reduce the burden of other researchers in developing algorithms for image-guided surgery, this system provides open-access, and to the best of our knowledge, is the first open-hardware image-guided biopsy robot of its kind.
△ Less
Submitted 16 August, 2019; v1 submitted 11 March, 2019;
originally announced March 2019.
-
Large Scale Audio-Visual Video Analytics Platform for Forensic Investigations of Terroristic Attacks
Authors:
Alexander Schindler,
Martin Boyer,
Andrew Lindley,
David Schreiber,
Thomas Philipp
Abstract:
The forensic investigation of a terrorist attack poses a huge challenge to the investigative authorities, as several thousand hours of video footage need to be spotted. To assist law enforcement agencies (LEA) in identifying suspects and securing evidences, we present a platform which fuses information of surveillance cameras and video uploads from eyewitnesses. The platform integrates analytical…
▽ More
The forensic investigation of a terrorist attack poses a huge challenge to the investigative authorities, as several thousand hours of video footage need to be spotted. To assist law enforcement agencies (LEA) in identifying suspects and securing evidences, we present a platform which fuses information of surveillance cameras and video uploads from eyewitnesses. The platform integrates analytical modules for different input-modalities on a scalable architecture. Videos are analyzed according their acoustic and visual content. Specifically, Audio Event Detection is applied to index the content according to attack-specific acoustic concepts. Audio similarity search is utilized to identify similar video sequences recorded from different perspectives. Visual object detection and tracking are used to index the content according to relevant concepts. The heterogeneous results of the analytical modules are fused into a distributed index of visual and acoustic concepts to facilitate rapid start of investigations, following traits and investigating witness reports.
△ Less
Submitted 28 November, 2018;
originally announced November 2018.
-
Modeling Selective Intergranular Oxidation of Binary Alloys
Authors:
Zhijie Xu,
Dongsheng Li,
Daniel K. Schreiber,
Kevin M. Rosso,
Stephen M. Bruemmer
Abstract:
Intergranular attack of alloys under hydrothermal conditions is a complex problem that depends on metal and oxygen transport kinetics via solid-state and channel-like pathways to an advancing oxidation front. Experiments reveal very different rates of intergranular attack and minor element depletion distances ahead of the oxidation front for nickel-based binary alloys depending on the minor elemen…
▽ More
Intergranular attack of alloys under hydrothermal conditions is a complex problem that depends on metal and oxygen transport kinetics via solid-state and channel-like pathways to an advancing oxidation front. Experiments reveal very different rates of intergranular attack and minor element depletion distances ahead of the oxidation front for nickel-based binary alloys depending on the minor element. For example, a significant Cr depletion up to 9 microns ahead of grain boundary crack tips were documented for Ni-5Cr binary alloy, in contrast to relatively moderate Al depletion for Ni-5Al (~100s of nm). We present a mathematical kinetics model that adapts Wagner's model for thick film growth to intergranular attack of binary alloys. The transport coefficients of elements O, Ni, Cr, and Al in bulk alloys and along grain boundaries were estimated from the literature. For planar surface oxidation, a critical concentration of the minor element can be determined from the model where the oxide of minor element becomes dominant over the major element. This generic model for simple grain boundary oxidation can predict oxidation penetration velocities and minor element depletion distances ahead of the advancing front that are comparable to experimental data. The significant distance of depletion of Cr in Ni-5Cr in contrast to the localized Al depletion in Ni-5Al can be explained by the model due to the combination of the relatively faster diffusion of Cr along the grain boundary and slower diffusion in bulk grains, relative to Al.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
A First Principles Investigation of Native Interstitial Diffusion in Cr2O3
Authors:
Bharat Medasani,
Maria L. Sushko,
Kevin M. Rosso,
Daniel K. Schreiber,
Stephen M. Bruemmer
Abstract:
First principles density functional theory (DFT) investigation of native interstitials and the associated self-diffusion mechanisms in α-Cr2O3 reveals that interstitials are more mobile than vacancies of corresponding species. Cr interstitials occupy the unoccupied Cr sublattice sites that are octahedrally coordinated by 6 O atoms, and O interstitials form a dumbbell configuration orientated along…
▽ More
First principles density functional theory (DFT) investigation of native interstitials and the associated self-diffusion mechanisms in α-Cr2O3 reveals that interstitials are more mobile than vacancies of corresponding species. Cr interstitials occupy the unoccupied Cr sublattice sites that are octahedrally coordinated by 6 O atoms, and O interstitials form a dumbbell configuration orientated along the [221] direction (diagonal) of the corundum lattice. Calculations predict that neutral O interstitials are predominant in O-rich conditions and Cr interstitials in +2 and +1 charge states are the dominant interstitial defects in Cr-rich conditions. Similar to that of the vacancies, the charge transition levels of both O and Cr interstitials are located deep within the bandgap. Transport calculations reveal a rich variety of interstitial diffusion mechanisms that are species, charge, and orientation dependent. Cr interstitials diffuse preferably along the diagonal of corundum lattice in a two step process via an intermediate defect complex comprising a Cr interstitial and an adjacent Cr Frenkel defect in the neighboring Cr bilayer. This mechanism is similar to that of the vacancy mediated Cr diffusion along the c-axis with intermediate Cr vacancy and Cr Frenkel defect combination. In contrast, O interstitials diffuse via bond switching mechanism. O interstitials in -1 and -2 charge states have very high mobility compared to neutral O interstitials.
△ Less
Submitted 10 May, 2018; v1 submitted 9 May, 2018;
originally announced May 2018.
-
Behavior of molecules and molecular ions near a field emitter
Authors:
Baptiste Gault,
David W. Saxey,
Michael V. Ashton,
Susan B. Sinnott,
Ann N. Chiaramonti,
Michael P. Moody,
Daniel K. Schreiber
Abstract:
The cold emission of particles from surfaces under intense electric fields is a process which underpins a variety of applications including atom probe tomography (APT), an analytical microscopy technique with near-atomic spatial resolution. Increasingly relying on fast laser pulsing to trigger the emission, APT experiments often incorporate the detection of molecular ions emitted from the specimen…
▽ More
The cold emission of particles from surfaces under intense electric fields is a process which underpins a variety of applications including atom probe tomography (APT), an analytical microscopy technique with near-atomic spatial resolution. Increasingly relying on fast laser pulsing to trigger the emission, APT experiments often incorporate the detection of molecular ions emitted from the specimen, in particular from covalently or ionically bonded materials. Notably, it has been proposed that neutral molecules can also be emitted during this process. However, this remains a contentious issue. To investigate the validity of this hypothesis, a careful review of the literature is combined with the development of new methods to treat experimental APT data, the modelling of ion trajectories, and the application of density-functional theory (DFT) simulations to derive molecular ion energetics. It is shown that the direct thermal emission of neutral molecules is extremely unlikely. However, neutrals can still be formed in the course of an APT experiment by dissociation of metastable molecular ions.
△ Less
Submitted 7 February, 2016; v1 submitted 29 November, 2015;
originally announced November 2015.