SEARCH · Engineering Papers

Results for “Scala”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 37 records · Page 2

All sources NASA NTRS DOE OSTI

DOE OSTI2015

Energy flow in passive and active 3D cochlear model

Energy flow in the cochlea is an important characteristic of the cochlear traveling wave, and many investigators, such as von Békésy and Lighthill, have discussed this phenomenon. Particularly after the discovery of the motility of the outer hair cells (OHCs), the nature of the power gain of the cochlea has been a fundamental research question. In the present work, direct three-dimensional (3D) calculations of the power on cross sections of the cochlea and on the basilar membrane are performed based on a box model of the mouse cochlea. The distributions of the fluid pressure and fluid velocity in the scala vestibuli are presented. The power output from the OHCs and the power loss due to fluid viscous damping are calculated along the length of the cochlea. This work provides a basis for theoretical calculations of the power gain of the OHCs from mechanical considerations.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

DOE OSTI2017

A multi-platform evaluation of the randomized CX low-rank matrix factorization in Spark

We investigate the performance and scalability of the randomized CX low-rank matrix factorization and demonstrate its applicability through the analysis of a 1TB mass spectrometry imaging (MSI) dataset, using Apache Spark on an Amazon EC2 cluster, a Cray XC40 system, and an experimental Cray cluster. We implemented this factorization both as a parallelized C implementation with hand-tuned optimizations and in Scala using the Apache Spark high-level cluster computing framework. We obtained consistent performance across the three platforms: using Spark we were able to process the 1TB size dataset in under 30 minutes with 960 cores on all systems, with the fastest times obtained on the experimental Cray cluster. In comparison, the C implementation was 21X faster on the Amazon EC2 system, due to careful cache optimizations, bandwidth-friendly access of matrices and vector computation using SIMD units. We report these results and their implications on the hardware and software issues arising in supporting data-centric workloads in parallel and distributed environments.

Gittens, Alex↗

DOE OSTI2014

WE-G-17A-09: Novel Magnetic Shielding Design for Inline and Perpendicular Integrated 6 MV Linac and 1.0 T MRI Systems

Purpose: The influence of fringe magnetic fields delivered by magnetic resonance imaging (MRI) on the beam generation and transportation in Linac is still a major challenge for the integration of linear accelerator and MRI (Linac-MRI). In this study, we investigated an optimal magnetic shielding design for Linac-MRI and further characterized the beam trajectory in electron gun. Methods: Both inline and perpendicular configurations were analyzed in this study. The configurations, comprising a Linac-MRI with a 100cm SAD and an open 1.0 T superconductive magnet, were simulated by the 3D finite element method (FEM). The steel shielding around the Linac was included in the 3D model, the thickness of which was varied from 1mm to 20mm, and magnetic field maps were acquired with and without additional shielding. The treatment beam trajectory in electron gun was evaluated using OPERA 3d SCALA with and without shielding cases. Results: When Linac was not shielded, the uniformity of diameter sphere volume (DSV) (30cm) was about 5 parts per million (ppm) and the fringe magnetic fields in electron gun were more than 0.3 T. With shielding, the magnetic fields in electron gun were reduced to less than 0.01 T. For the inline configuration, the radial magnetic fields in the Linac were about 0.02T. A cylinder steel shield used (5mm thick) altered the uniformity of DSV to 1000 ppm. For the perpendicular configuration, the Linac transverse magnetic fields were more than 0.3T, which altered the beam trajectory significantly. A 8mm-thick cylinder steel shield surrounding the Linac was used to compensate the output losses of Linac, which shifted the magnetic fields' uniformity of DSV to 400 ppm. Conclusion: For both configurations, the Linac shielding was used to ensure normal operation of the Linac. The effect of magnetic fields on the uniformity of DSV could be modulated by the shimming technique of the MRI magnet. NIH/NIGMS grant U54 GM104944, Lincy Endowed Assistant Professorship.

43 PARTICLE ACCELERATORS↗

DOE OSTI2014

Constructing Hardware in a Scale Embedded Language

Chisel is a new open-source hardware construction language developed at UC Berkeley that supports advanced hardware design using highly parameterized generators and layered domain-specific hardware languages. Chisel is embedded in the Scala programming language, which raises the level of hardware design abstraction by providing concepts including object orientation, functional programming, parameterized types, and type inference. From the same source, Chisel can generate a high-speed C++-based cycle-accurate software simulator, or low-level Verilog designed to pass on to standard ASIC or FPGA tools for synthesis and place and route.

Bachan, John↗

DOE OSTI2014

OpenSoC Fabric

Recent advancements in technology scaling have shown a trend towards greater integration with large-scale chips containing thousands of processors connected to memories and other I/O devices using non-trivial network topologies. Software simulation proves insufficient to study the tradeoffs in such complex systems due to slow execution time, whereas hardware RTL development is too time-consuming. We present OpenSoC Fabric, an on-chip network generation infrastructure which aims to provide a parameterizable and powerful on-chip network generator for evaluating future high performance computing architectures based on SoC technology. OpenSoC Fabric leverages a new hardware DSL, Chisel, which contains powerful abstractions provided by its base language, Scala, and generates both software (C++) and hardware (Verilog) models from a single code base. The OpenSoC Fabric2 infrastructure is modeled after existing state-of-the-art simulators, offers large and powerful collections of configuration options, and follows object-oriented design and functional programming to make functionality extension as easy as possible.

Source record↗

DOE OSTI2016

Simple rANDom wALk simulation

SANDAL is a particle-mesh simulation mini-app. The simple simulated physics propagates a set of particles in a constant, 2D wind field with Gaussian turbulence. SANDAL demonstrates the feasibility of formulating a computational physics problem using an alternative, modern design. Specifically, it is implemented using relational tables and queries, rather than array-based data model. It also is implemented with functional language design and cloud deployment, Scala and Apache Spark, rather than Fortran and MPI+X.

Lo, Li-Ta↗

DOE OSTI2024

Waveguides for neurostimulation in the cochlea

Introduction Optical stimulation has been suggested for neural stimulation to improve cochlear implants. Light allows for more spatially selective activation of neuron populations than electrical current, offering more independent frequency bands along the spiral ganglion. These bands are available to encode acoustic information with anticipated better frequency resolution, improving cochlear implant user performance in noisy listening environments, tonal languages, and music perception. Methods Optical cochlear implants (oCIs) can deliver light either directly via small emitters within the cochlea or via waveguides from external optical sources. We investigated three waveguide designs made from OrmoComp ® , a polymer that cures through ultraviolet (UV) radiation. Waveguides were fabricated via injection molding and coated using dip-coating or thermal reflow, or through aspiration of OrmoComp ® into polyimide tubing that served as the cladding of the waveguide. The choice of fabrication technique directly determined the waveguides' total diameter: thermal reflow yielded ≈940 μm, dip-coating produced ≈306 μm, and aspiration resulted in ≈132 μm core diameter waveguides. Given the human cochlea's small size, we focused on analyzing the 306-μm and 132-μm waveguides, evaluating their optical performance (propagation and bending losses) and mechanical properties (bending stiffness and insertion forces). Furthermore, we evaluated some of these designs in in-vivo guinea pigs experiments. Results For the 100-μm core diameter waveguides, the propagation losses were 12.34 ± 1.26, 1.18 ± 0.88, 1.49 ± 0.58, and 3.43 ± 0.68 dB/cm at 534, 1,375, 1,460, and 1,550 nm, respectively. The respective bending losses at a 2 mm radius of curvature were 5.50 ± 1.32, 0.56 ± 0.26, 0.79 ± 0.18, and 0.64 ± 0.23 dB, and at 1 mm 8.54 ± 1.30, 2.05 ± 0.84, 2.11 ± 0.50, and 1.44 ± 0.37 dB. The bending stiffness of a 1 mm segment of the 100-μm-diameter waveguides was 18.9 ± 2.2 N/m. Insertion forces for the 100-μm-diameter waveguides into an acrylic human-size scala tympani model were < 25 mN. For the waveguides with 306 and 940 μm total diameter, the propagation losses ranged between 0.43 and 2.40 dB/cm at 534, 680, 1,375, and 1,550 nm, between 2.19 and 3.78 dB/cm at 450 and 1,460 nm. Bending losses for 360 degrees at 1,375 nm were 5.0, 2.4, and 0.46 for a bending radius of 2.5-, 3-, and 4-mm. Discussion Our study demonstrated that the polymer OrmoComp ® is suitable for fabricating waveguides to transmit near-infrared radiation. In-vivo experiments showed optically evoked auditory responses originating from optical stimulation in the guinea pigs' first cochlear turn while radiation was delivered. Incoming experiments will focus on evaluating long-term performance of these waveguides in guinea pigs and cats. This study will be designed to provide insights into the waveguides' performance and biocompatibility over extended periods, essential for their potential clinical application in future oCIs.

Kim, Matthew↗

NASA NTRS1966

Histopathology of the Chimpanzee Ear

Four female and two male chimpanzees were secured in various positions on a Daisy Decelerator and subjected to forces ranging from 54 to 180 G. It was found that forces in excess of 54 G may rupture the tympanic membranes and cause subepithelial hemorrhages in the middle ear. The majority of cases showed proteinaceous material, with or without cells in the petrous air spaces. When exposed to forces above 119 G, there was engorgement and often rupture of the pericarotid venous plexus. When supine, distortion of both superior and posterior semicircular canals was found. With forces in excess of 54 G, the cupulae of the cristae ampullaris were either elevated or destroyed. The hair processes were also often broken off. The otolithic membranes, especially of the maculae utriculi were also elevated or otherwise distorted and the saccule was often partially collapsed. In several instances, there was an overabundance of a proteinaceous substance in the lumina of the vestibular apparatus and in the cochlear ducts with their associated scalae. In half the cases, the cochlear duct was narrowed by the depression of the vestibular membrane. Although there seems to be considerable individual variation in ability to withstand these forces, neither age, sex nor weight appear to directly influence the results. The possible sources for the materials found both in the air cells and labyrinth are discussed.

ACCELERATION TOLERANCE↗

NASA NTRS1971

Kinetic limitations on the diffusional control theory of the ablation rate of carbon.

It is shown that the theoretical maximum oxidation rate is limited in many cases even at temperatures much higher than 1650 deg K, not by oxygen transport, but by the kinetics of the carbon-oxygen reaction itself. Mass-loss rates have been calculated at air pressures of 0.01 atm, 1 atm, and 100 atm. It is found that at high temperatures the rate of the oxidation reaction is much slower than has generally been assumed on the basis of a simple linear extrapolation of Scala's 'fast' and 'slow' rate expressions. Accordingly it cannot be assumed that a transport limitation inevitably must be reached at high temperatures.

Maahs, H. G.↗

NASA NTRS2011

Internal Versus External DSLs for Trace Analysis: Extended Abstract

This tutorial explores the design and implementation issues arising in the development of domain-specific languages for trace analysis. It introduces the audience to the general concepts underlying such special-purpose languages building upon the authors' own experiences in developing both external domain specific languages and systems, such as EAGLE, HAWK, RULER and LOGSCOPE, and the more recent internal domain-specific language and system TRACECONTRACT within the SCALA language.

domain specific language (DSL)↗

NASA NTRS2014

Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior

A key challenge in operating remote spacecraft is that ground operators must rely on the limited visibility available through spacecraft telemetry in order to assess spacecraft health and operational status. We describe a tool for processing spacecraft telemetry that allows ground operators to impose structure on received telemetry in order to achieve a better comprehension of system state. A key element of our approach is the design of a domain-specific language that allows operators to express models of expected system behavior using partial specifications. The language allows behavior specifications with data fields, similar to other recent runtime verification systems. What is notable about our approach is the ability to develop hierarchical specifications of behavior. The language is implemented as an internal DSL in the Scala programming language that synthesizes rules from patterns of specification behavior. The rules are automatically applied to received telemetry and the inferred behaviors are available to ground operators using a visualization interface that makes it easier to understand and track spacecraft state. We describe initial results from applying our tool to telemetry received from the Curiosity rover currently roving the surface of Mars, where the visualizations are being used to trend subsystem behaviors, in order to identify potential problems before they happen. However, the technology is completely general and can be applied to any system that generates telemetry such as event logs.

Runtime monitoring↗

NASA NTRS2020

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con-trol its next near term behavior. We present a high-level view of the automated flight rule checker FRC for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there-fore be verified with a trace analysis tool. FRC is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con-text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

LADEE↗

NASA NTRS2020

Actor-based Runtime Verification with MESA

This work presents a runtime verification approach implemented in the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in data parameterized temporal logic and state machines. The tool is implemented as an internal Scala DSL. We employ the actor programming model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper presents a case study in which MESA is used to effectively monitor a large number of flights from live US airspace data streams. We also perform an empirical study by conducting experiments using monitoring systems with different num- bers of concurrent monitors and different layers of indexing on the data contained in events. The paper describes the experiments, evaluates the results, and discusses challenges faced during the study. The evaluation shows the value of combining concurrency with indexing to handle data rich events.

Mehlitz, Peter↗

NASA NTRS2020

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con- trol its next near term behavior. We present a high-level view of the automated flight rule checker Frc for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there- fore be verified with a trace analysis tool. Frc is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con- text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

Kurklu, Elif↗

NASA NTRS2022

FPP: A Modeling Language for F Prime

We present F Prime Prime (FPP), a new open-source modeling language for F Prime. F Prime is an open-source flight software framework developed at JPL and deployed, among other places, on the Mars helicopter Ingenuity. FPP provides a convenient way to model the architectural elements of an F Prime application, e.g., components, ports, and their connections. It has a succinct and readable syntax, a well- defined semantics, and robust error checking and reporting. The FPP tool suite, written in Scala, analyzes FPP models, reports errors, and translates correct FPP models to a combination of XML and C++. Existing F Prime tools translate the XML to a partial implementation in C++, to be completed by the developers. The model elements have clean interfaces and are highly reusable. An accompanying visualization tool constructs diagrams of components and connections that FSW developers can use to understand and communicate their designs, for ex- ample at reviews. We discuss the design and implementation of FPP and the integration of FPP into F Prime. We also discuss our experience using FPP to construct F Prime models. Finally, we discuss our plans for future work, including improved code generation, improved visualization, and more advanced analysis capabilities.

Starch, Michael D.↗

DOE OSTI2014