Search NASA⌕ Search

SEARCH · Search NASA

Results for “contact time”

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 235 records · Page 13

Electric Six Degree of Freedom Installation Timelapse (Six Degree of Freedom Dynamic Test System)

The Six-degree-of-freedom Dynamic Test System (SDTS) is a short-range real-time motion based testing platform. Its primary use at NASA/JSC has been for development and qualification testing of docking systems, robotic assisted berthing mechanisms, and dynamic attachment systems. The SDTS is a closed-loop force feedback system that can simulate on-orbit contact dynamics between two vehicles utilizing the actual mechanical interfaces for testing. The facility is controlled by interconnected computers running real-time simulation software that takes measured contact forces, integrates the equations of motion in real time, and provide those states back into the motion table. This infrastructure can also be used for non-mating applications such as relative position sensor testing/evaluations. The SDTS facility provides a superstructure for mounting test articles, multiple test sensors, an intercom network for voice communications, and a synchronized timing system for data acquisition that includes HD video. This time-lapse video shows the buildup and testing of a modern electric actuation system created by Mikrolar, Inc. at the Johnson Space Center. This motion base will replace the current hydraulic actuator system, which is been in use since the 1970s, for all-future NASA testing. Once the system goes through customization to provide JSC’s unique closed-loop environment, the facility will help certify docking system and attach mechanisms on the ground before we send the first woman and the next man to the lunar surface

hexapod↗

Dynamics of the Molten Contact Line

The purpose of this program is to develop a basic understanding of how a molten material front spreads over a solid that is below its melting point, arrests, and freezes. Our hope is that the work will contribute toward a scientific knowledge base for certain new applications involving molten droplet deposition, including the "printing" of arbitrary three-dimensional objects by precise deposition of individual molten microdrops that solidify after impact. Little information is available at this time on the capillarity-driven motion and arrest of molten contact line regions. Schiaffino and Sonin investigated the arrest of the contact line of a molten microcrystalline wax spreading over a subcooled solid "target" of the same material. They found that contact line arrest takes place at an apparent liquid contact angle that depends primarily on the Stefan number S=c(T(sub f) -T(sub t)/L based on the temperature difference between the fusion point and the target temperature, and proposed that contact line arrest occurs when the liquid's dynamic contact angle approaches the angle of attack of the solidification front just behind the contact line. They also showed, however, that the conventional continuum equations and boundary conditions have no meaningful solution for this angle. The solidification front angle is determined by the heat flux just behind the contact line, and the heat flux is singular at that point. By comparing experiments with numerical computations, Schiaffino and Sonin estimated that the conventional solidification model must break down within a distance of order 0.1 - 1 microns of the contact line. The physical mechanism for this breakdown is as yet undetermined, and no first-principles theory exists for the contact angle at arrest. Schiaffino and Sonin also presented a framework for understanding how to moderate Weber number molten droplet deposition in terms of similarity laws and experimentation. The study is based on experiments with three molten materials- molten wax on solid wax, water on ice, and mercury on frozen mercury- which between them span a considerable range of the deposition/solidification similarity parameters. Correlations are obtained for the spreading velocity, spreading time scales, the spreading factor (i.e. ratio of deposited drop's final footprint radius and the drop's initial radius), post-spreading liquid oscillation amplitudes and time scales, and bulk solidification time scales. Duthaler carried out an experimental and theoretical investigation of the relationship between the liquid's apparent contact angle and the Capillary number Ca=mu U/sigma based on contact line speed, for molten materials spreading over subcooled solids. This relationship is required for modeling of melt spreading. We have adapted Voinov's methodology to the molten contact line and formulated a theoretical model for the Ca vs. contact angle relationship, based Schiaffino and Sonin#s (1997a,b) wedge-like solidification front model. With the solidification front angle taken from Schiaffino and Sonin, the model is in good agreement with the experimental results for Ca vs. contact angle. Duthaler also extended the experimental investigation of droplet deposition and contact line freezing to more materials, including solder on glass, solder on solder, water on ice, and molten microcrystalline wax on wax. The latter also included tests on inclined targets. Deposition tests have also been done with molten octacosane (C28H58) on various targets. An important objective of our program has been the development of micron-scale sensors for measuring the transient temperature at a point on the substrate surface as a molten contact line moves over it. The expectation is that this temperature history will yield a better understanding of the thermal process in the contact line region. The sensors are of the thermistor type, either 2.5 microns or 1.5 microns square, microfabricated with silicon-based technology on either pure silicon or amorphous silicon dioxide chips. Each chip has 32 sensors distributed on its surface in arrays. The time response is better than 10 ms. At the time of writing, sensor calibration is in progress. Results on thermal transients during contact line passage will be discussed at the conference. While we expect that the data will provide information on the near-contact-line heat transfer process, we also foresee possible problems. First, the spatial resolution of the sensors may be insufficient to resolve the near-contact-line region. Second, the sensors protrude about 0.5 microns above the substrate surface, and may affect the contact line motion. Third, a sensor's temperature history depends on both the heat flux distribution into it from the fusion front and the thermal properties of the substrate below it and the solidified melt between it and the fusion front. The heat flux distribution in the contact line region must therefore be unfolded from computations of the overall system's transient thermal response.

Sonin, Ain A.↗

Oxygen-Free Welding Contact Tips

Contact tips for gas/metal arc welding (GMAW) fabricated from oxygen-free copper. Prototype tips tested in robotic welding, for which application intended. Reduces electrical erosion, increases electrical conductivity, and reduces mechanical wear. Productivity of robotic welding increases while time during welding interrupted for removal and replacement of contact tips minimal. Improves alignment of joints and filler metal, reducing rate of rejection and repair of unacceptable weldments. Utility extends beyond aerospace industry to mass production of various types of hardware, including heavy off-highway construction equipment.

Pike, James F.↗

BATSE flare observations in Solar Cycle 22

The Hard X-Ray Burst Spectrometer (HXRBS) group at GSFC has developed and is maintaining a quick-look analysis system for solar flare hard x-ray data from the Burst and Transient Source Experiment (BATSE) on the recently launched Compton Gamma-Ray Observatory (GRO). The instrument consists, in part, of 8 large planar detectors, each 2025 sq cm, placed on the corners of the GRO spacecraft with the orientation of the faces being those of a regular octahedron. Although optimized for the detection of gamma-ray bursts, these detectors are far more sensitive than any previous spacecraft-borne hard x-ray flare instrumentation both for the detection of small microflares and the resolution of fine temporal structures. The data in this BATSE solar data base are from the discriminator large area (DISCLA) rates. From each of eight detectors there are hard x-ray data in four energy channels, 25-50, 50-100, 100-300, and greater than 300 keV with a time resolution of 1.024 seconds. These data are suitable for temporal correlation with data at other wavelengths, and they provide a first look into the BATSE and other GRO instrument flare data sets. The BATSE and other GRO principle investigator groups should be contacted for the availability of data sets at higher time or spectral resolution or at higher energies.

Schwartz, R. A.↗

Analysis of unsteady wave processes in a rotating channel

The impact of passage rotation on the gas dynamic wave processes is analyzed through a numerical simulation of ideal shock-tube flow in a closed rotating-channel. Initial conditions are prescribed by assuming homentropic solid-body rotation. Relevant parameters of the problem such as wheel Mach number, hub-to-tip radius ratio, length-to-tip radius ratio, diaphragm temperature ratio, and diaphragm pressure ratio are varied. The results suggest possible criteria for assessing the consequences of passage rotation on the wave processes, and they may therefore be applicable to pressure-exchange wave rotors. It is shown that for a fixed geometry and initial conditions, the contact interface acquires a distorted three-dimensional time-dependent orientation at non-zero wheel Mach numbers. At a fixed wheel Mach number, the level of distortion depends primarily on the density ratio across the interface as well as the hub-to-tip radius ratio. Rarefaction fronts, shocks, and contact interfaces are observed to propagate faster with increasing wheel Mach number.

Larosiliere, L. M.↗

Analysis of unsteady wave processes in a rotating channel

The impact of passage rotation on the gas dynamic wave processes is analyzed through a numerical simulation of ideal shock-tube flow in a closed rotating-channel. Initial conditions are prescribed by assuming homentropic solid-body rotation. Relevant parameters of the problem such as wheel Mach number, hub-to-tip radius ratio, length-to-tip radius ratio, diaphragm temperature ratio, and diaphragm pressure ratio are varied. The results suggest possible criteria for assessing the consequences of passage rotation on the wave processes, and they may therefore be applicable to pressure-exchange wave rotors. It is shown that for a fixed geometry and initial conditions, the contact interface acquires a distorted three-dimensional time-dependent orientation at non-zero wheel Mach numbers. At a fixed wheel Mach number, the level of distortion depends primarily on the density ratio across the interface as well as the hub-to-tip radius ratio. Rarefaction fronts, shocks, and contact interfaces are observed to propagate faster with increasing wheel Mach number.

Larosiliere, Louis M.↗

Collision detection for spacecraft proximity operations

Collision Detection for Spacecraft Proximity Operations This thesis describes the development of a new collision detection algorithm to be used when two spacecraft are operating in the same vicinity. The two spacecraft are modelled as unions of convex polyhedra, where the polyhedron resulting from the union may be either convex or nonconvex. The relative motion of the two spacecraft is assumed to be such that one vehicle is moving with constant linear and angular velocity with respect to the other. The algorithm determines if a collision is possible and, if so, predicts the time when the collision will take place. The theoretical basis for the new collision detection algorithm is the C-function formulation of the configuration space approach recently introduced by researchers in robotics. Three different types of C-functions are defined that model the contacts between the vertices, edges, and faces of the polyhedra representing the two spacecraft. These C-functions are used to formulate three "collision" conditions. The first of these conditions limits the points representing potential collisions to the zeros of the C-functions. The new algorithm is fundamentally a search for the smallest zero of any C-function that satisfies the second and third collision conditions. The C-functions are shown to be transcendental functions of time for the assumed trajectory of the moving spacecraft. The zeros of these functions cannot be expressed in dosed form. Therefore, numerical search procedures are developed to find aLl of the zeros of a C-function in specified bounded intervals of time. These bounded intervals of time are found by examining the second and third collision conditions. The capabilities of the new algorithm are demonstrated for several example cases. These include examples of collisions determined by zeros of each of the three different types of C-functions. In addition to predicting the time of first contact of the polyhedra, the algorithm identifies the features of the two polyhedra that are touching at this time. The new collision detection algorithm is the first such algorithm that is capable of solving the collision detection problem exactly for the case where the moving object has constant linear and angular velocities. This is a significant improvement on previous collision detection algorithms described in the literature. In particular, the ability to handle constant angular velocity represents a more realistic type of rotational motion than those which have been used in other algorithms.

Robin M Vaughan↗

Analysis of Pull Force Test Results for Crimped Connections

Crimped electrical contacts are reliable when strict process controls are followed during manufacturing and accompanied by continuous process verification through pull force testing. Cable and wire harness assemblies’ standards are developed and refined over time to provide the minimum pull force that a crimp contact must meet before it breaks from the wire. However, in practice the failures occur at a much higher tensile strength than the minimum required. The first section of this paper reviewed 780 pull force test results provided by NASA Centers that were collected and analyzed to determine how the data compare to NASA’s pre-existing requirements from the cable/harness standards NASA-STD-8739.4 and IPC/WHMA-A-620B-S. The measured tensile strength of most of the contact/conductor pairs (i.e., Contact/Wires or C/W) exceeded the minimum pull force values of NASA-STD-8739.4 and IPC/WHMA-A-620 standards by at least 100%. The C/W pair samples’ tensile strength values followed a normal distribution with an average tensile strength value that was at least 182% of the minimum requirement, and all the samples analyzed passed the pull force testing. In addition, the 95% confidence interval of the average tensile strength distributions for several C/W pairs was determined and plotted as error bars to show that the C/W pairs will meet and surpass the requirements. The frequency of pull force testing can be problematic for projects because of the cost and availability of spare contacts for the destructive test. It is possible to reduce the frequency of pull force testing if at the beginning of the production run, the conditions of the crimp tool and materials are verified, and the settings of the tool remain unchanged throughout the process. However, the project needs to understand and evaluate the impact to risk from reducing the frequency of testing prior to implementing process changes.

Alejandra Constante↗

Analysis of Pull Force Test Results for Crimped Connections

Crimped electrical contacts are reliable when strict process controls are followed during manufacturing and accompanied by continuous process verification through pull force testing. Cable and wire harness assemblies’ standards are developed and refined over time to provide the minimum pull force that a crimp contact must meet before it breaks from the wire. However, in practice the failures occur at a much higher tensile strength than the minimum required. The first section of this paper reviewed 780 pull force test results provided by NASA Centers were collected and analyzed to determine how the data compares to NASA’s pre-existing requirements from the cable/harness standards NASA-STD-8739.4 and IPC/WHMA-A-620B-S. The measured tensile strength of most of the contact/conductor pairs (i.e. Contact/Wires or C/W) exceeded the minimum pull force values of NASA-STD-8739.4 and IPC/WHMA-A-620 standards by at least 100 %. The tensile strength samples of the C/W pairs values followed a normal distribution with an average tensile strength value that was at least 182 % of the minimum requirement, and all the samples analyzed passed the pull force testing. In addition, the 95 % confidence interval of the average tensile strength distributions for several C/W pairs was determined and plotted as error bars to show that there is good likelihood to observe C/W pair normal distribution with a 95 % confidence interval that will meet and surpass the standard requirements. The frequency of pull force testing can be problematic for projects because of the cost and availability of spare contacts for the destructive test. It could be possible to reduce the frequency of pull force testing if at the beginning of the production run, the conditions of the crimp tool and materials are verified, and the settings of the tool remain unchanged throughout the process. However, the project must evaluate the impact to risk from reducing the frequency of testing.

Crimped connections↗

Fiber Optic Sensors for Cure/Health Monitoring of Composite Materials

The objective of the current program is to develop techniques for using optical fibers to monitor the cure of composite materials in real time during manufacture and to monitor the in-service structural health of composite structures. Single and multimode optical fibers containing Bragg gratings have been used to perform Near Infrared (NIR) spectroscopy on high refractive index resins and show promise as embedded sensors. In order for chemical spectroscopy to be possible, intimate contact must be achieved between the fiber core and the composite resin. This contact is often achieved by stripping the cladding off of a portion of the fiber, thus making it brittle and easily broken in the composite processing environment. To avoid weakening the fiber to this extent, high refractive index fibers have been fabricated that use a low refractive index acrylate coating which serves as the cladding. This is ideal, as the coating is easily solvent stripped and intimate contact with the glass core can be achieved. Real time resin and composite chemical spectra have been obtained, with possible multifunctional capability using Bragg gratings to assess physical properties such as strain, modulus and other parameters of interest.

Wood, K. H.↗

Comanche Helmet-Mounted Display Heading-Tape Simulation

The Aeroflightdynamics Directorate (AMRDEC) conducted a simulation to assess the performance associated with a Contact Analog, world-referenced heading tape as implemented on the Comanche Helmet Integrated Display Sight System (HIDSS) when compared with a Compressed heading tape similar to that specified by the former Military Standard (MIL-STD) 1295. Six experienced pilots flew three modified Aeronautical Design Standards (ADS)-33 maneuvers (Hover Turn, Bob-up, Transient Turn) and a precision traffic pattern in the NASA Vertical Motion Simulator (VMS). Analysis of the pilot objective performance data and subjective handling qualities ratings (HQRs) showed the following: Compressed symbology in the Velocity Stabilization (VelStab) flight mode generally produced the most precise performances over Contact Analog symbology with respect to the heading, altitude, position, and time criteria specified for the maneuvers tested. VelStab outperformed the Automatic Flight Control System (AFCS) on all maneuvers achieving desired performance on most maneuvers for both symbol sets. Performance in the AFCS mode was generally desirable to adequate for heading and altitude and did not meet adequate standards for hover position and time for the Hover Turn and Bob-up maneuvers. VelStab and AFCS performance were nearly the same for the Transient Turn. Pilot comments concerning the Contact Analog heading-tape implementation were generally unfavorable in spite of the achieved levels of performance. HQRs showed Compressed symbology in the VelStab flight mode produced the lowest mean HQR, encompassing mixed ratings of satisfactory handling and needing improvement. All other symbology/flight-mode combinations yielded higher HQRs, which characterized opinions that deficiencies in aircraft handling due to HMD symbology would need improvement. Contact Analog heading tape and other symbology require improvement, especially when operating in the AFCS mode. NASA-TLX rated Compressed symbology in the VelStab flight mode as the least demanding on resources, closely followed by ratings for Contact Analog in the VelStab mode. In a similar pattern, TLX ratings for maneuvers completed in the AFCS mode yielded a higher level of resource demand with even slighter differences between Contact Analog and Compressed symbology sets. Further research should be conducted where objective data and subjective HQR ratings indicate a need for improvement. The areas requiring attention are those where the symbology implementation, the flight control system, or a combination of both caused workload to reach an objectionable level where adequate performance was either difficult to achieve or unachievable. These areas are clearly identified in this report. Symbology that received negative HQR comments by a majority of pilots should also be examined. The summary of pilot comments can be found in appendix A. Additional simulation trials should be considered to address the identified issues.

Turpin, Terry↗

Supporting data package for TR 32-1541, effects of storage temperatures on silicon solar cell contacts

A series of summary curves is presented for cells having various contact systems, depicting the effects of temperature exposure as a function of time on the electrical and mechanical characteristics. Each curve represents the results obtained from a minimum of 32 and a maximum of 1104 individual data inputs and includes the 95% confidence limits associated with each time-temperature combination for which measurements were obtained. The curves are useful for detailed analysis and comparison of the behavior of the contact system as a function of the environmental conditions studied.

Berman, P. A.↗

Depositional history of the Apollo 16 deep drill core

Ferromagnetic resonance and magnetic hysteresis loop measurements were performed on 212 samples from the Apollo 16 deep drill core. The total iron content is generally uniform with a mean value of 5.7 plus or minus 0.9 wt%. The soils range in maturity from immature to mature. Two major contacts were observed. The contact at 13 cm depth represents a fossil surface whereas the contact at 190 cm depth has no time-stratigraphic significance. The data suggest that the core section below 13 cm depth was deposited in a single impact event and subjected to meteoritic gardening for about 450 m.y. However, our data do not preclude deposition by a series of closely spaced events. About 50 m.y. ago, the top 13 cm were added. Comparison with the Apollo 16 double drive tube 60009/60010 does not yield any evidence for a stratigraphic correlation with the deep drill core.

Gose, W. A.↗

Method for Ultrasonic Imaging and Device for Performing the Method

A method for ultrasonic imaging of interior structures and flaws in a test specimen with a smooth or irregular contact surfaces, in which an ultrasonic transducer is coupled acoustically to the contact surface via a plurality of ultrasonic wave guides with equal delay times. The wave guides are thin and bendable, so they adapt to variations in the distance between the transducer and different parts of the contact surface by bending more or less. All parts of the irregular contact surface accordingly receive sound waves that are in phase, even when the contact surface is irregular, so a coherent sound wave is infused in the test specimen. The wave guides can be arranged in the form of an ultrasonic brush, with a flat head for coupling to a flat transducer, and free bristles that can be pressed against the test specimen. By bevelling the bristle ends at a suitable angle, shear mode waves can be infused into the test specimen from a longitudinal mode transducer.

Madaras, Eric I.↗

Computer Modeling of Electrostatic Aggregation of Granular Materials in Planetary and Astrophysical Settings

Electrostatic forces strongly influence the behavior of granular materials in both dispersed (cloud) systems and semi-packed systems. These forces can cause aggregation or dispersion of particles and are important in a variety of astrophysical and planetary settings. There are also many industrial and commercial settings where granular matter and electrostatics become partners for both good and bad. This partnership is important for human exploration on Mars where dust adheres to suits, machines, and habitats. Long-range Coulombic (electrostatic) forces, as opposed to contact-induced dipoles and van der Waals attractions, are generally regarded as resulting from net charge. We have proposed that in addition to net charge interactions, randomly distributed charge carriers on grains will result in a dipole moment regardless of any net charge. If grains are unconfined, or fluidized, they will rotate so that the dipole always induces attraction between grains. Aggregates are readily formed, and Coulombic polarity resulting from the dipole produces end-to-end stacking of grains to form filamentary aggregates. This has been demonstrated in USML experiments on Space Shuttle where microgravity facilitated the unmasking of static forces. It has also been demonstrated in a computer model using grains with charge carriers of both sign. Model results very closely resembled micro-g results with actual sand grains. Further computer modeling of the aggregation process has been conducted to improve our understanding of the aggregation process, and to provide a predictive tool for microgravity experiments slated for Space Station. These experiments will attempt to prove the dipole concept as outlined above. We have considerably enhanced the original computer model: refinements to the algorithm have improved the fidelity of grain behavior during grain contact, special attention has been paid to simulation time steps to enable establishment of a meaningful, quantitative time axis, and calibration of rounding accuracies have been conducted to test cumulative numerical influences in the model. The model has been run for larger grain populations, variable initial cloud densities, and we have introduced random net charging to individual grains, as well as a net charge to the cloud as a whole. The model uses 3 positive and 3 negative charges randomly distributed on each grain, with up to 160 grains contained within various size "boxes" that define the initial number densities in the clouds. Each charge represents localized charged region on a grain, but does not necessarily imply single quantized charge carriers. The Coulomb equations are then allowed to interact for each monopole: dipoles and any higher order charge coupling is a natural product of these "free" interactions over which the modeler exerts no influence. The charges are placed on surfaces of grains at random locations. A series of runs was conducted for neutral grains that had a perfect balance of negative and positive char carriers. Runs were also conducted with grains having additional fractional charges ranging between 0 and 1. By adding fractional charges of one sign, the model created grain populations in which all grains had excess charges the same sign, giving the cloud an overall net charge. This simulates clouds subjected to ionizing radiation (e. protoplanetary debris disk around a protosun), or any other process of charge biasing in a grain population (e.g., volcanic plumes). In another run series, random fractional charges of either sign were added to the grains so th some grains had a slight net positive charge while others had a slight net negative charge. This simulates triboelectrically-charged grain populations in which acquisition of an electron by one surface is at the expense creating a hole elsewhere. This dual sign charging was applied in two ways: in one case the cloud remained neutral by ensuring that all grain excess charges added to zero; in the other case, the cloud was permitted slight net char by not imposing a charge-balance condition. Additional information is contained in the original.

Marshall, J.↗

Molten-Metal Droplet Deposition on a Moving Substrate in Microgravity: Aiding the Development of Novel Technologies for Microelectronic Assembly

Driven by advancements in microelectronics manufacturing, this research investigates the oblique (non-axisymmetric) impact of liquid-metal droplets on flat substrates. The problem of interest is relevant to the development of the novel technology of on-demand dispension (printing) of microscopic solder deposits for the surface mounting of microelectronic devices. The technology, known as solder jetting, features on-demand deposition of miniature solder droplets (30 to 120 microns in diameter) in very fine, very accurate patterns using techniques analogous to those developed for the ink-jet printing industry. Despite its promise, severe limitations exist currently with regards to the throughput rates of the technology; some of these limitations are largely due to the lack of the capability for reliable prediction of solder bump positioning and shapes, especially under ballistic deposition conditions where the droplet impact phenomena are inherently three-dimensional. The study consists of a theoretical and an experimental component. The theoretical work uses a finite element formulation to simulate numerically the non-axisymmetric (3-D) fluid mechanics and heat transfer phenomena of a liquid solder droplet impacting at an angle alpha on a flat substrate. The work focuses on the pre-solidification regime. The modeling of the most challenging fluid mechanics part of the process has been completed successfully. It is based upon the full laminar Navier-Stokes equations employing a Lagrangian frame of reference. Due to the large droplet deformation, the surface (skin) as well as the volumetric mesh have to be regenerated during the calculations in order to maintain the high accuracy of the numerical scheme. The pressure and velocity fields are then interpolated on the newly created mesh. The numerical predictions are being tested against experiments, for cases where wetting phenomena are not important. For the impact parameters used in the example shown (We = 2.38, Fr = 16300, Re = 157), the droplet rolls along the substrate, but its shape remains practically axisymmetric for all impact angles within the range from 0 to 60 deg. Interestingly, the substrate/droplet contact area during the recoiling phase of the impact is not a monotonically decreasing function of time. The experimental component of the research tests the numerical predictions and provides necessary input data (contact angles) for the theoretical model. The experiments are performed in microgravity (2.2s drop tower of the NASA GRC) in order to allow for the use of mm-size solder droplets, which make feasible the performance of accurate measurements, while maintaining similitude of the relevant fluid dynamic groups (Re, Fr, We, Ste). Preliminary oblique impact experiments have been performed using water droplets in normal gravity.

Megaridis, C. M.↗

Multi-Mode Excitation and Data Reduction for Fatigue Crack Characterization in Conducting Plates

Advances in the technique of fatigue crack characterization by resonant modal analysis have been achieved through a new excitation mechanism and data reduction of multiple resonance modes. A non-contacting electromagnetic device is used to apply a time varying Lorentz force to thin conducting sheets. The frequency and direction of the Lorentz force are such that resonance modes are generated in the test sample. By comparing the change in frequency between distinct resonant modes of a sample, detecting and sizing of fatigue cracks are achieved and frequency shifts caused by boundary condition changes can be discriminated against. Finite element modeling has been performed to verify experimental results.

Wincheski, B.↗

A Survey of Formal Methods for Intelligent Swarms

Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed for future space exploration missions. Such missions provide greater flexibility and offer the possibility of gathering more science data than traditional single spacecraft missions. The emergent properties of swarms make these missions powerful, but simultaneously far more difficult to design, and to assure that the proper behaviors will emerge. These missions are also considerably more complex than previous types of missions, and NASA, like other organizations, has little experience in developing or in verifying and validating these types of missions. A significant challenge when verifying and validating swarms of intelligent interacting agents is how to determine that the possible exponential interactions and emergent behaviors are producing the desired results. Assuring correct behavior and interactions of swarms will be critical to mission success. The Autonomous Nano Technology Swarm (ANTS) mission is an example of one of the swarm types of missions NASA is considering. The ANTS mission will use a swarm of picospacecraft that will fly from Earth orbit to the Asteroid Belt. Using an insect colony analogy, ANTS will be composed of specialized workers for asteroid exploration. Exploration would consist of cataloguing the mass, density, morphology, and chemical composition of the asteroids, including any anomalous concentrations of specific minerals. To perform this task, ANTS would carry miniaturized instruments, such as imagers, spectrometers, and detectors. Since ANTS and other similar missions are going to consist of autonomous spacecraft that may be out of contact with the earth for extended periods of time, and have low bandwidths due to weight constraints, it will be difficult to observe improper behavior and to correct any errors after launch. Providing V&V (verification and validation) for this type of mission is new to NASA, and represents the cutting edge in system correctness, and requires higher levels of assurance than other (traditional) missions that use a single or small number of spacecraft that are deterministic in nature and have near continuous communication access. One of the highest possible levels of assurance comes from the application of formal methods. Formal methods are mathematics-based tools and techniques for specifying and verifying (software and hardware) systems. They are particularly useful for specifying complex parallel systems, such as exemplified by the ANTS mission, where the entire system is difficult for a single person to fully understand, a problem that is multiplied with multiple developers. Once written, a formal specification can be used to prove properties of a system (e.g., the underlying system will go from one state to another or not into a specific state) and check for particular types of errors (e.g., race or livelock conditions). A formal specification can also be used as input to a model checker for further validation. This report gives the results of a survey of formal methods techniques for verification and validation of space missions that use swarm technology. Multiple formal methods were evaluated to determine their effectiveness in modeling and assuring the behavior of swarms of spacecraft using the ANTS mission as an example system. This report is the first result of the project to determine formal approaches that are promising for formally specifying swarm-based systems. From this survey, the most promising approaches were selected and are discussed relative to their possible application to the ANTS mission. Future work will include the application of an integrated approach, based on the selected approaches identified in this report, to the formal specification of the ANTS mission.

Truszkowski, Walt↗