Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “core tools”

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.

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

At least 451 records · Page 25

C-band radar backscatter of sea ice in the Weddell Sea, Antarctica during the austral winter of 1992

A C-band ship-based scatterometer was used to measure the backscatter coefficient of sea ice in the Weddell Sea during June and July 1992. These are the first microwave scatterometer data ever to be collected in the Antarctic sea ice cover during the austral winter. The instrument was a frequency-modulated continuous-wave (FM-CW) radar altimeter modified by the University of Kansas Radar Systems and Remote Sensing Laboratory to perform backscatter measurements. Measurements were taken as part of a Jet Propulsion Laboratory experiment aboard the German ice research vessel F.S. Polarstern. Backscatter measurements were performed at incidence angles ranging from 17 to 65 degrees with VV and HV polarization as the Polarstern travelled from east to west across the central Weddell Sea. Backscatter measurements were made of several different types of ice sea including pancake, dark nilas, white nilas, grey, first-year and second-year ice. Periodic external calibrations were performed with the aid of a Luneberg Lens to enable absolute values of backscatter to be derived from the data. At each radar measurement location, in-situ measurements were made of snow and sea ice. Physical and chemical analyses of ice core and snow samples, together with high magnification photography of snow crystallography provide important information with which to develop physical models of the scattering systems. Meteorological information and oceanographic conditions were also recorded throughout the experiment. Many of the stations were chosen to coincide with periods of near-simultaneous or coincident imaging by the ERS-1 satellite Synthetic Aperture Radar (SAR). This enabled spaceborne imaging by the C-band SAR of areas of sea ice in which backscatter measurements were taken. This provides a valuable tool for interpretation of satellite SAR imagery from Antarctic sea ice in terms of the physical properties of the sea ice and snow. Preliminary results of the backscatter from the various ice types and their relation to the physical properties of sea ice are presented.

Hosseinmostafa, R.↗

The Generic Resolution Advisor and Conflict Evaluator (GRACE) for Detect-And-Avoid Systems

Java Architecture for Detect-And-Avoid (DAA) Extensibility and Modeling (JADEM) was developed at NASA Ames Research Center as a research and modeling tool for Unmanned Aircraft Systems (UAS) Integration in the National Airspace System (NAS). UAS will be required to have DAA systems in order to fulfill the regulatory requirement to remain well clear'' of other traffic. JADEM supports research on technological requirements and Minimum Operational Performance Standards (MOPS) for UAS DAA systems by providing a flexible and extensible software platform that includes models and algorithms for all major DAA functions. This paper describes one of these algorithms, the Generic Resolution Advisor and Conflict Evaluator (GRACE). GRACE supports two core DAA functions: threat evaluation and guidance. GRACE is generic in the sense that it is designed to work with any aircraft or sensor type (both cooperative and non-cooperative), and to be used in various applications and DAA guidance concepts, thus supporting evolving MOPS requirements and research. GRACE combines flexibility, robustness, and computational efficiency. It has modest memory requirements and can handle multiple cooperative and noncooperative intruders. GRACE has been used as a core JADEM component in several real-time and fast-time experiments, including human-in-the-loop simulations and live flight tests.

detect and avoid↗

Simulation of an array-based neural net model

Research in cognitive science suggests that much of cognition involves the rapid manipulation of complex data structures. However, it is very unclear how this could be realized in neural networks or connectionist systems. A core question is: how could the interconnectivity of items in an abstract-level data structure be neurally encoded? The answer appeals mainly to positional relationships between activity patterns within neural arrays, rather than directly to neural connections in the traditional way. The new method was initially devised to account for abstract symbolic data structures, but it also supports cognitively useful spatial analogue, image-like representations. As the neural model is based on massive, uniform, parallel computations over 2D arrays, the massively parallel processor is a convenient tool for simulation work, although there are complications in using the machine to the fullest advantage. An MPP Pascal simulation program for a small pilot version of the model is running.

Barnden, John A.↗

Management of Service Projects in Support of Space Flight Research

Goal:To provide human health and performance countermeasures, knowledge, technologies, and tools to enable safe, reliable, and productive human space exploration . [HRP-47051] Specific Objectives: 1) Develop capabilities, necessary countermeasures, and technologies in support of human space exploration, focusing on mitigating the highest risks to human health and performance. 2) Define and improve human spaceflight medical, environmental, and human factors standards. 3) Develop technologies that serve to reduce medical and environmental risks, to reduce human systems resource requirements (mass, volume, power, data, etc.) and to ensure effective human-system integration across exploration systems. 4) Ensure maintenance of Agency core competencies necessary to enable risk reduction in the following areas: A. Space medicine B. Physiological and behavioral effects of long duration spaceflight on the human body C. Space environmental effects, including radiation, on human health and performance D. Space "human factors" [HRP-47051]. Service projects can form integral parts of research-based project-focused programs to provide specialized functions. Traditional/classic project management methodologies and agile approaches are not mutually exclusive paradigms. Agile strategies can be combined with traditional methods and applied in the management of service projects functioning in changing environments. Creative collaborations afford a mechanism for mitigation of constrained resource limitations.

Love, J.↗

Simulation Modeling and Performance Evaluation of Space Networks

In space exploration missions, the coordinated use of spacecraft as communication relays increases the efficiency of the endeavors. To conduct trade-off studies of the performance and resource usage of different communication protocols and network designs, JPL designed a comprehensive extendable tool, the Multi-mission Advanced Communications Hybrid Environment for Test and Evaluation (MACHETE). The design and development of MACHETE began in 2000 and is constantly evolving. Currently, MACHETE contains Consultative Committee for Space Data Systems (CCSDS) protocol standards such as Proximity-1, Advanced Orbiting Systems (AOS), Packet Telemetry/Telecommand, Space Communications Protocol Specification (SCPS), and the CCSDS File Delivery Protocol (CFDP). MACHETE uses the Aerospace Corporation s Satellite Orbital Analysis Program (SOAP) to generate the orbital geometry information and contact opportunities. Matlab scripts provide the link characteristics. At the core of MACHETE is a discrete event simulator, QualNet. Delay Tolerant Networking (DTN) is an end-to-end architecture providing communication in and/or through highly stressed networking environments. Stressed networking environments include those with intermittent connectivity, large and/or variable delays, and high bit error rates. To provide its services, the DTN protocols reside at the application layer of the constituent internets, forming a store-and-forward overlay network. The key capabilities of the bundling protocols include custody-based reliability, ability to cope with intermittent connectivity, ability to take advantage of scheduled and opportunistic connectivity, and late binding of names to addresses. In this presentation, we report on the addition of MACHETE models needed to support DTN, namely: the Bundle Protocol (BP) model. To illustrate the use of MACHETE with the additional DTN model, we provide an example simulation to benchmark its performance. We demonstrate the use of the DTN protocol and discuss statistics gathered concerning the total time needed to simulate numerous bundle transmissions

network protocols↗

Structural and lithologic study of northern coast ranges and Sacramento Valley, California

The author has identified the following significant results. Analysis of ERTS-1 imagery of the Northern California Coast Ranges has disclosed a potential relation between a heretofore unrecognized fracture system and known deposits of mercury and geothermally active areas in the Coast Range and between oil and gas fields in the Sacramento Valley. Three potentially important systems of linear elements within the Coast Ranges, detected on ERTS-1 imagery, may represent fault systems or zones of shearing because topographic offset and stratigraph disruption can be seen along one or two of the lineations. One of the systems in subparallel to the San Andreas fault and is confined to the Pacific Coastal Belt. Another set is confined to the central core of the Coast Ranges. The third set of linear features (Valley System) has not heretofore been recognized. Some of the known mercury deposits and geothermally active areas near Clear Lake, in the Coast Ranges, are along the Valley System or at the intersection of the Central and Valley Systems. The plotted locations of some of the oil and gas fields in the Sacramento Valley are associated with the Valley and/or Central Systems. If these relations prove reliable, the ERTS-1 imagery may prove to be an extremely useful exploration tool.

Rich, E. I.↗

CONFIG: Qualitative simulation tool for analyzing behavior of engineering devices

To design failure management expert systems, engineers mentally analyze the effects of failures and procedures as they propagate through device configurations. CONFIG is a generic device modeling tool for use in discrete event simulation, to support such analyses. CONFIG permits graphical modeling of device configurations and qualitative specification of local operating modes of device components. Computation requirements are reduced by focussing the level of component description on operating modes and failure modes, and specifying qualitative ranges of variables relative to mode transition boundaries. Simulation processing occurs only when modes change or variables cross qualitative boundaries. Device models are built graphically, using components from libraries. Components are connected at ports by graphical relations that define data flow. The core of a component model is its state transition diagram, which specifies modes of operation and transitions among them.

Malin, Jane T.↗

Integration Process for the Habitat Demonstration Unit

The Habitat Demonstration Unit (HDU) is an experimental exploration habitat technology and architecture test platform designed for analog demonstration activities The HDU project has required a team to integrate a variety of contributions from NASA centers and outside collaborators and poses a challenge in integrating these disparate efforts into a cohesive architecture To complete the development of the HDU from conception in June 2009 to rollout for operations in July 2010, a cohesive integration strategy has been developed to integrate the various systems of HDU and the payloads, such as the Geology Lab, that those systems will support The utilization of interface design standards and uniquely tailored reviews have allowed for an accelerated design process Scheduled activities include early fit-checks and the utilization of a Habitat avionics test bed prior to equipment installation into HDU A coordinated effort to utilize modeling and simulation systems has aided in design and integration concept development Modeling tools have been effective in hardware systems layout, cable routing and length estimation, and human factors analysis Decision processes on the shell development including the assembly sequence and the transportation have been fleshed out early on HDU to maximize the efficiency of both integration and field operations Incremental test operations leading up to an integrated systems test allows for an orderly systems test program The HDU will begin its journey as an emulation of a Pressurized Excursion Module (PEM) for 2010 field testing and then may evolve to a Pressurized Core Module (PCM) for 2011 and later field tests, depending on agency architecture decisions The HDU deployment will vary slightly from current lunar architecture plans to include developmental hardware and software items and additional systems called opportunities for technology demonstration One of the HDU challenges has been designing to be prepared for the integration of presently unanticipated systems Results of the HDU field tests will influence future designs of habitat systems.

Gill, Tracy↗

James Webb Space Telescope (JWST) and Star Formation

The 6.5-m aperture James Webb Space Telescope (JWST) will be a powerful tool for studying and advancing numerous areas of astrophysics. Its Fine Guidance Sensor, Near-Infrared Camera, Near-Infrared Spectrograph, and Mid-Infrared Instrument will be capable of making very sensitive, high angular resolution imaging and spectroscopic observations spanning 0.7 - 28 ?m wavelength. These capabilities are very well suited for probing the conditions of star formation in the distant and local Universe. Indeed, JWST has been designed to detect first light objects as well as to study the fine details of jets, disks, chemistry, envelopes, and the central cores of nearby protostars. We will be able to use its cameras, coronagraphs, and spectrographs (including multi-object and integral field capabilities) to study many aspects of star forming regions throughout the galaxy, the Local Group, and more distant regions. I will describe the basic JWST scientific capabilities and illustrate a few ways how they can be applied to star formation issues and conditions with a focus on Galactic regions.

Greene, Thomas P.↗

Crowd Sourcing Medical Data Collection Using Medical Students

OBJECTIVE We undertook an upgrade of the Evidence Library database of NASA HRP’s Integrated Medical Model, assessing 120 medical conditions which integrate with a novel probabilistic risk assessment (IMPACT) tool of medical risk and resource utilization for long duration exploration human spaceflight. This data collection process included a selection of these conditions crowd sourced over one year via three 4-week medical student electives at the University of Colorado School of Medicine (IDPT 8059 Space Medicine: Human Spaceflight Factors & Medical Risk Assessment). Students undertook a rapid systematic review of each medical condition, under close preceptors with backgrounds in clinical medicine, library science, epidemiology, biostatistics, and evidence-based medicine. As part of the elective, students also received instruction in core space medicine concepts, evidence based medicine and problem based learning sessions as a flight surgeon supporting a simulated Mars mission. METHODS The list of 120 medical conditions includes both common, terrestrial illness/injury (epistaxis, diverticulitis) as well as spaceflight-specific ones (space adaptation conditions, EVA-related injuries). A rapid systematic review process was developed that would allow students to find the data for determining disease incidence/prevalence, return to definitive care (often a surrogate such as hospitalization rates), loss of crew life, and treatment duration. Each data point required a tailored, specialized search process using different databases and corresponding specialized search filters. Databases were selected on their ability to provide high quality literature in an efficient manner and prioritized by their ability to provide graded evidence via a set rubrics specific to human spaceflight. Students were responsible for performing all literature searches and identifying the highest quality available evidence for each data point. Completed student data sheets underwent initial review by faculty preceptors followed by a secondary editing review by the ExMC Clinical Science Team. RESULTS Over the course of three electives, approximately 105 medical conditions were researched by students using spreadsheets with pre-crafted search strategies. Overall, this process was successful in allowing students to perform the preponderance of work to update incidence, treatment duration, return to definitive care, and loss of crew life data points. Students were successful in running searches, identifying the necessary data points within the literature, and determining the types of terrestrial data that most aligns with the astronaut population for successful completion of their tasks. Limitations included variable student experience with search methodologies [PubMed], differing values of evidence grading [best practice evidence based medicine vs. relevant to spaceflight], and students’ unfamiliarity with spaceflight specific conditions. CONCLUSION Finding the relevant literature for medical conditions in spaceflight within terrestrial databases in a systematic method is time consuming and not intuitive. However, the stepwise process that balanced sensitivity with specificity allowed for students to be highly successful in a short amount of time. Additionally, as the process was refined over the course of three electives, preceptors were better able to anticipate where students were likely to encounter barriers, which allowed the course to be adjusted to account for certain data points needing more time for completion. This replicable process may be an efficient way to accomplish rapid systematic reviews for a large volume of data in a short amount of time.

J Lemery↗

NASA GES DISC On-line Visualization and Analysis System for Gridded Remote Sensing Data

The ability to use data stored in the current NASA Earth Observing System (EOS) archives for studying regional or global phenomena is highly dependent on having a detailed understanding of the data's internal structure and physical implementation. Gaining this understanding and applying it to data reduction is a time-consuming task that must be undertaken before the core investigation can begin. This is an especially difficult challenge when science objectives require users to deal with large multi-sensor data sets that are usually of different formats, structures, and resolutions. The NASA Goddard Earth Sciences Data and Information Services Center (GES DISC) has taken a major step towards meeting this challenge by developing an infrastructure with a Web interface that allows users to perform interactive analysis online without downloading any data, the GES-DISC Interactive Online Visualization and Analysis Infrastructure or "Giovanni." Giovanni provides interactive, online, analysis tools for data users to facilitate their research. There have been several instances of this interface created to serve TRMM users, Aerosol scientists, Ocean Color and Agriculture applications users. The first generation of these tools support gridded data only. The user selects geophysical parameters, area of interest, time period; and the system generates an output on screen in a matter of seconds. The currently available output options are: Area plot averaged or accumulated over any available data period for any rectangular area; Time plot time series averaged over any rectangular area; Hovmoller plots image view of any longitude-time and latitude-time cross sections; ASCII output for all plot types; Image animation for area plot. Another analysis suite deals with parameter intercomparison: scatter plots, temporal correlation maps, GIs-compatible outputs, etc. This allow user to focus on data content (i.e. science parameters) and eliminate the need for expensive learning, development and processing tasks that are redundantly incurred by an archive's user community. The current implementation utilizes the GrADS-DODS Server (GDS), and provides subsetting and analysis services across the Internet for any GrADS-readable dataset. The subsetting capability allows users to retrieve a specified temporal and/or spatial subdomain from a large dataset, eliminating the need to download everything simply to access a small relevant portion of a dataset. The analysis capability allows users to retrieve the results of an operation applied to one or more datasets on the server. We use this approach to read pre-processed binary files and/or to read and extract the needed parts directly from HDF or HDF-EOS files. These subsets then serve as inputs into GrADS analysis scripts. It can be used in a wide variety of Earth science applications: climate and weather events study and monitoring; modeling. It can be easily configured for new applications.

Leptoukh, Gregory G.↗

Formal Specification and Parametric Verification of the ICAROUS Distributed Merging Protocol for Autonomous Aircraft Systems

ICAROUS is a software architecture that provides highly assured core software modules for building safety-centric autonomous unmanned aircraft applications. One of its core components is the ICAROUS distributed merging (IDM) protocol, which allows for decentralized merging of autonomous aircrafts through a designated intersection. This report presents initial results on formal specification and parametric verification of the IDM protocol. We present the development of a formal, discrete-time specification of the ICAROUS distributed merging protocol in TLA+. The developed TLA+ specification includes an abstracted model of the physical aircraft dynamics, the consensus machinery for leader election and coordination, and the computation of merging schedules. In addition, we present details on a command line tool we developed verimerge, that utilizes the TLC model checker for doing bounded, parametric verification and allows for plotting of these results in 2D parameter spaces. The tool also provides functionality for visualization of concrete protocol behaviors, to aid debugging and understanding. We present preliminary, bounded time verification results for a finite number of aircraft. Limitations of the current techniques and possible future extensions of this work are also discussed.

ICAROUS↗

Combining New Satellite Tools and Models to Examine Role of Mesoscale Interactions in Formation and Intensification of Tropical Cyclones

The objective of this research is to start filling the mesoscale gap to improve understanding and probability forecasts of formation and intensity variations of tropical cyclones. Sampling by aircraft equipped to measure mesoscale processes is expensive, thus confined in place and time. Hence we turn to satellite products. This paper reports preliminary results of a tropical cyclone genesis and early intensification study. We explore the role of mesoscale processes using a combination of products from TRMM, QuikSCAT, AMSU, also SSM/I, geosynchronous and model output. Major emphasis is on the role of merging mesoscale vortices. These initially form in midlevel stratiform cloud. When they form in regions of lowered Rossby radius of deformation (strong background vorticity) the mesoscale vortices can last long enough to interact and merge, with the weaker vortex losing vorticity to the stronger, which can then extend down to the surface. In an earlier cyclongenesis case (Oliver 1993) off Australia, intense deep convection occurred when the stronger vortex reached the surface; this vortex became the storm center while the weaker vortex was sheared out as the major rainband. In our study of Atlantic tropical cyclones originating from African waves, we use QuikSCAT to examine surface winds in the African monsoon trough and in the vortices which move westward off the coast, which may or may not undergo genesis (defined by NHC as reaching TD, or tropical depression, with a west wind to the south of the surface low). We use AMSU mainly to examine development of warm cores. TRMM passive microwave TMI is used with SSM/I to look at the rain structure, which often indicates eye formation, and to look at the ice scattering signatures of deep convection. The TRMM precipitation radar, PR, when available, gives precipitation cross sections. So far we have detailed studies of two African-origin cyclones, one which became severe hurricane Floyd 1999, and the other reached TD2 in June 2000 and then died out. The atmosphere off West African is dry and stable. It becomes less so between June and September, as the SST and convection heat up. QuikSCAT shows the African monsoon trough and shear zone extend westward over the ocean to nearly 30 degrees West. The evidence is strong that the two cyclones had in common multiple midlevel mergers, which extended to the surface keeping the surface vortex strong. These continued until both systems were designated TD's by NHC. In the June 2000 case, the main reason for failure was the lower SST and dry, stable atmosphere. This is shown by the comparison of the equivalent potential temperature maps and profiles with those from pre-Floyd. In the vortex which became Floyd, QuikSCAT shows continuous importation of high theta e (warm, moist) air from the south. From September 2-8, this air flowed around the vortex center, building up a high theta-e pool to the north. Then late on September 9, a 100-km wide jet of high theta-e air penetrated the vortex core, a major convective burst' was observed, and an intensifying, more elevated warm core was seen on AMSU. Rapid pressure fall and wind intensification were underway by 0000 UTC on September 10. Floyd became a Hurricane at 1200 UTC on Sept 10, 1999, with successive convective bursts running the hurricane thermodynamic engine by intensifying the warm core. TD2 was a strong African vortex, sustained by moderate convection (up to about 12.5 km) offshore of Africa. It peaked on June 23, showing an apparent "eye" on passive microwave composites. However, it could not assemble the ingredients for a convective burst. Thus it failed to get the thermodynamic hurricane engine going before it moved too far west of the region of lowered Rossby radius. By June 26, cloud systems were dying out. On June 25, a surface vortex was no longer seen on QuikSCAT, although one continued above the surface on model profiles until June 27. One of our main findings so far is showing the role of the mesoscale vortex interactions in sustaining some African vortices far out in to the mid Atlantic, where under adequate thermal/moisture conditions the hurricane heat engine can sometimes be started. We are working on similar studies of Cindy and Irene 1999. Cindy illustrates a case of wind shear working against an early-stage hurricane heat engine, while Irene formed from a Caribbean wave. An enormous value of combinations of satellite tools is that tropical cyclones can be studied in all parts of the global oceans where they occur. Detailed studies like ours are labor intensive but many statistical studies can be based on physical postulates developed. There are other new tools such as MODIS on TERRA of the Earth Observing System (EOS) which can be used to study the microphysics of tropical cyclones world wide, in particular to investigate the presence of mixed phase and the impact of atmospheric aerosols on the hydrometeor structure and rainfall from tropical cyclones.

Simpson, Joanne↗

WSR-88D Cell Trends

This report documents the Applied Meteorology Unit's evaluation of the Cell Trends display as a tool for radar operators to use in their evaluation of storm cell strength. The objective of the evaluation is to assess the utility of the WSR-88D graphical Cell Trends display for local radar cell interpretation in support of the 45th Weather Squadron (45 WS), Spaceflight Meteorology Group (SMG), and National Weather Service (NWS) Melbourne (MLB) operational requirements. The analysis procedure was to identify each cell and track the maximum reflectivity, height of maximum reflectivity, storm top, storm base, hail and severe hail probability, cell-based Vertically Integrated Liquid (VIL) and core aspect ratio using WATADS Build 9.0 cell trends information. One problem noted in the analysis phase was that the Storm Cell Identification and Tracking (SCIT) algorithm had a difficult time tracking the small cells associated with the Florida weather regimes. The analysis indicated numerous occasions when a cell track would end or an existing cell would be give a new ID in the middle of its life cycle. This investigation has found that most cells, which produce hail or microburst events, have discernable Cell Trends signatures. Forecasters should monitor the PUP's Cell Trends display for cells that show rapid (1 scan) changes in both the heights of maximum reflectivity and cell-based VIEL. It is important to note that this a very limited data set (four case days). Fifty-two storm cells were analyzed during those four days. The above mentioned t=ds, increase in the two cell attributes for hail events and decrease in the two cell attributes for wind events were noted in most of the cells. The probability of detection was 88% for both events. The False Alarm Rate (FAR) was a 36% for hail events and a respectable 25% for microburst events. In addition the Heidke Skill Score (HSS) is 0.65 for hail events and 0.67 for microburst events. For random forecast the HSS is 0 and that a perfect score is 1.

Wheeler, Mark M.↗

Runtime Verification with Ogma

Ultra-critical systems require high-level assurance, which cannot always be guaranteed in compile time. The use of runtime verification (RV) enable monitoring these systems in runtime, to detect property violations early and limit their potential consequences. However, the introduction of monitors in ultra-critical systems poses a challenge, as failures and delays in the RV subsystem could affect other subsystems and threaten the mission as a whole. In this talk we discuss two systems: NASA's Ogma, a tool to transform high-level specifications into monitoring code, and Copilot, a runtime verification framework for real-time embedded systems. The toolchain can be used to translate structured natural language requirements into C code with static memory requirements, which can be compiled to run on embedded hardware.

Ogma↗

Runtime Verification with Ogma

Ultra-critical systems require high-level assurance, which cannot always be guaranteed in compile time. The use of runtime verification (RV) enable monitoring these systems in runtime, to detect property violations early and limit their potential consequences. However, the introduction of monitors in ultra-critical systems poses a challenge, as failures and delays in the RV subsystem could affect other subsystems and threaten the mission as a whole. In this talk we discuss two systems: NASA's Ogma, a tool to transform high-level specifications into monitoring code, and Copilot, a runtime verification framework for real-time embedded systems. The toolchain can be used to translate structured natural language requirements into C code with static memory requirements, which can be compiled to run on embedded hardware.

Ogma↗

Ultrasonic Apparatus for Pulverizing Brittle Material

The figure depicts an apparatus that pulverizes brittle material by means of a combination of ultrasonic and sonic vibration, hammering, and abrasion. The basic design of the apparatus could be specialized to be a portable version for use by a geologist in collecting powdered rock samples for analysis in the field or in a laboratory. Alternatively, a larger benchtop version could be designed for milling and mixing of precursor powders for such purposes as synthesis of ceramic and other polycrystalline materials or preparing powder samples for x-ray diffraction or x-ray fluorescence measurements to determine crystalline structures and compositions. Among the most attractive characteristics of this apparatus are its light weight and the ability to function without need for a large preload or a large power supply: It has been estimated that a portable version could have a mass <0.5 kg, would consume less than 1 W h of energy in milling a 1-cm3 volume of rock, and could operate at a preload <10 N. The basic design and principle of operation of this apparatus are similar to those of other apparatuses described in a series of prior NASA Tech Briefs articles, the two most relevant being Ultrasonic/ Sonic Drill/Corers With Integrated Sensors (NPO-20856), Vol. 25, No. 1 (January 2001), page 38 and Ultrasonic/ Sonic Mechanisms for Deep Drilling and Coring (NPO-30291), Vol. 27, No. 9 (September 2003), page 65. As before, vibrations are excited by means of a piezoelectric actuator, an ultrasonic horn, and a mass that is free to move axially over a limited range. As before, the ultrasonic harmonic motion of the horn drives the free-mass in a combination of ultrasonic harmonic and lower-frequency hammering motion. In this case, the free-mass is confined within a hollow cylinder that serves as a crushing chamber, and the free-mass serves as a crushing or milling tool. The hammering of the free-mass against a material sample at the lower end of the chamber grinds the sample into powder in a relatively short time. The restriction of the free-mass to axial motion only makes the grinding very efficient. The free-mass can be fabricated to have teeth on its lower face to enhance the grinding effect. Optionally, there can be a hole at the bottom of the chamber covered with a sieve to tailor the size distribution of the powder leaving the crushing chamber.

Sherrit, Stewart↗

Reconfigurable Very Long Instruction Word (VLIW) Processor

Future NASA missions will depend on radiation-hardened, power-efficient processing systems-on-a-chip (SOCs) that consist of a range of processor cores custom tailored for space applications. Aries Design Automation, LLC, has developed a processing SOC that is optimized for software-defined radio (SDR) uses. The innovation implements the Institute of Electrical and Electronics Engineers (IEEE) RazorII voltage management technique, a microarchitectural mechanism that allows processor cores to self-monitor, self-analyze, and selfheal after timing errors, regardless of their cause (e.g., radiation; chip aging; variations in the voltage, frequency, temperature, or manufacturing process). This highly automated SOC can also execute legacy PowerPC 750 binary code instruction set architecture (ISA), which is used in the flight-control computers of many previous NASA space missions. In developing this innovation, Aries Design Automation has made significant contributions to the fields of formal verification of complex pipelined microprocessors and Boolean satisfiability (SAT) and has developed highly efficient electronic design automation tools that hold promise for future developments.

Velev, Miroslav N.↗