SEARCH · Engineering Papers

Results for “virtual 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.

SourceResearch connectionFrom yearThrough year

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

At least 1,027 records · Page 57

All sources NASA NTRS DOE OSTI

NASA NTRS2010

Charge-Spot Model for Electrostatic Forces in Simulation of Fine Particulates

The charge-spot technique for modeling the static electric forces acting between charged fine particles entails treating electric charges on individual particles as small sets of discrete point charges, located near their surfaces. This is in contrast to existing models, which assume a single charge per particle. The charge-spot technique more accurately describes the forces, torques, and moments that act on triboelectrically charged particles, especially image-charge forces acting near conducting surfaces. The discrete element method (DEM) simulation uses a truncation range to limit the number of near-neighbor charge spots via a shifted and truncated potential Coulomb interaction. The model can be readily adapted to account for induced dipoles in uncharged particles (and thus dielectrophoretic forces) by allowing two charge spots of opposite signs to be created in response to an external electric field. To account for virtual overlap during contacts, the model can be set to automatically scale down the effective charge in proportion to the amount of virtual overlap of the charge spots. This can be accomplished by mimicking the behavior of two real overlapping spherical charge clouds, or with other approximate forms. The charge-spot method much more closely resembles real non-uniform surface charge distributions that result from tribocharging than simpler approaches, which just assign a single total charge to a particle. With the charge-spot model, a single particle may have a zero net charge, but still have both positive and negative charge spots, which could produce substantial forces on the particle when it is close to other charges, when it is in an external electric field, or when near a conducting surface. Since the charge-spot model can contain any number of charges per particle, can be used with only one or two charge spots per particle for simulating charging from solar wind bombardment, or with several charge spots for simulating triboelectric charging. Adhesive image-charge forces acting on charged particles touching conducting surfaces can be up to 50 times stronger if the charge is located in discrete spots on the particle surface instead of being distributed uniformly over the surface of the particle, as is assumed by most other models. Besides being useful in modeling particulates in space and distant objects, this modeling technique is useful for electrophotography (used in copiers) and in simulating the effects of static charge in the pulmonary delivery of fine dry powders.

Walton, Otis R.↗

NASA NTRS2025

Jemez Pueblo Agriculture: Monitoring Rangeland Conditions to Inform Drought and Land Management in New Mexico

The Jemez Pueblo, a community located in the semi-arid high desert region of northcentral New Mexico, faces challenges with drought mitigation and livestock management. NASA DEVELOP partnered with the Pueblo of Jemez Natural Resources Department and The Nature Conservancy to provide recent and historical rangeland conditions to aid present decision-making, which relies on cultural practices, site familiarity, available resources, and physical data. This partnership offers the opportunity to support management practices by leveraging remote sensing and virtual fencing technologies. Our project explored Rangeland Analysis Platform (RAP) products incorporating NASA Earth observation Landsat 5 TM, Landsat 7 ETM+, Landsat 8 OLI, and Landsat 9 OLI-2 remote-sensed imagery as an agricultural land management tool. We performed linear regression analysis to evaluate RAP data to field data and explored RAP annual herbaceous biomass, ground cover trends, and climatic factors at the pasture level. We then computed study area summary statistics, performed pixel-by-pixel trend analysis across the study period, and evaluated ground cover trends near water sources. Based on available data, RAP was poorly correlated to bare ground and herbaceous biomass, generally underestimating the former and overestimating the latter. To improve the evaluation of RAP products, we suggest increasing the spatiotemporal distribution of the field dataset. According to RAP, from 1986 to 2023, the site became hotter and drier, bare ground increased, and annual forbs and grasses increased while perennials decreased. RAP products did not agree with field-collected data; however, the trends over time may be useful for informing rangeland management actions.

cattle grazing management↗

NASA NTRS2004

A Gravity Analysis of the Subsurface Structure of the Utopia Impact Basin

The large, shallow, circular depression in Utopia Planitia has been identified as a huge impact basin, based on both geological evidence and detailed analysis of MOLA topography. Its diameter (approximately 3000 km) is equivalent to that of the Hellas basin, as is its inferred age (early Noachian). However, there the similarity ends. Their appearance, both surficially and geophysically, are virtually polar opposites. Whereas Hellas is extremely deep with rough terrain and large slopes, high-precision MOLA measurements were required to unambiguously define the smooth, shallow, almost imperceptible bowl of the Utopia basin. Conversely, Utopia displays one of the largest (non-Tharsis-related) positive geoid anomalies on Mars, in contrast to a more subdued negative anomaly over Hellas. As these two features presumably formed roughly contemporaneously by similar mechanisms, it is reasonable to assume that they were originally quite similar, and that their differences are due largely to different paths of subsequent modification. The obvious source for these differences is in their elevations: Hellas is located in the southern highlands at a rim elevation of about 3km, whereas Utopia is in the lowlying northern plains, at an average elevation of 4 km. Thus Utopia has been in an especially gravitationally favorable position to be subjected to infilling, for example, by lava flows, sedimentation, or water. In fact, its floor was almost certainly the lowest point on the planet at one time, and it would have been the termination point for down-slope drainage from over two-thirds of Mars. Thus the nature of the material filling this basin has strong connections to the sedimentary and/or volcanic processes acting on Mars in the Noachian and Early Hesperian periods. In particular, it may be able to shed some light on amount and persistence of water on early Mars in general and in the Utopia basin in particular. In this study I will use the inferred early correspondence between Hellas and Utopia to investigate Utopia's subsurface structure.

Barnerdt, W. B.↗

NASA NTRS2010

Product Lifecycle Management and the Quest for Sustainable Space Explorations

Product Lifecycle Management (PLM) is an outcome of lean thinking to eliminate waste and increase productivity. PLM is inextricably tied to the systems engineering business philosophy, coupled with a methodology by which personnel, processes and practices, and information technology combine to form an architecture platform for product design, development, manufacturing, operations, and decommissioning. In this model, which is being implemented by the Engineering Directorate at the National Aeronautics and Space Administration's (NASA's) Marshall Space Flight Center, total lifecycle costs are important variables for critical decision-making. With the ultimate goal to deliver quality products that meet or exceed requirements on time and within budget, PLM is a powerful concept to shape everything from engineering trade studies and testing goals, to integrated vehicle operations and retirement scenarios. This paper will demonstrate how the Engineering Directorate is implementing PLM as part of an overall strategy to deliver safe, reliable, and affordable space exploration solutions. It has been 30 years since the United States fielded the Space Shuttle. The next generation space transportation system requires a paradigm shift such that digital tools and knowledge management, which are central elements of PLM, are used consistently to maximum effect. The outcome is a better use of scarce resources, along with more focus on stakeholder and customer requirements, as a new portfolio of enabling tools becomes second nature to the workforce. This paper will use the design and manufacturing processes, which have transitioned to digital-based activities, to show how PLM supports the comprehensive systems engineering and integration function. It also will go through a launch countdown scenario where an anomaly is detected to show how the virtual vehicle created from paperless processes will help solve technical challenges and improve the likelihood of launching on schedule, with less hands-on labor needed for processing and troubleshooting.

Caruso, Pamela W.↗

NASA NTRS1987

Four spot laser anemometer and optical access techniques for turbine applications

A time-of-flight anemometer (TOFA) system utilizing a spatial lead-lag filter for bipolar pulse generation has been constructed and tested. This system, called a four-spot laser anemometer, was specifically designed for use in high-speed, turbulent flows in the presence of walls or surfaces. The TOFA system uses elliptical spots to increase the flow acceptance angle to be comparable with that of a fringe-type anemometer. The tightly focused spots used in the four spot yield excellent flare light rejection capabilities. Good results have been obtained to 75 microns normal to a surface, with an f/2.5 collection lens. This system is being evaluated for use in a warm turbine facility. Results from both a particle-lag velocity experiment and boundary layer profiles will be discussed. In addition, an analysis of the use of curved windows in a turbine casing will be presented. Curved windows, matching the inner radius of the turbine casing, preserve the flow conditions, but introduce astigmatic aberrations. A correction optic was designed that virtually eliminates these astigmatic aberrations throughout the intrablade survey region for normal incidence.

Wernet, Mark P.↗

NASA NTRS2012

Towards an Improved Pilot-Vehicle Interface for Highly Automated Aircraft: Evaluation of the Haptic Flight Control System

The control automation and interaction paradigm (e.g., manual, autopilot, flight management system) used on virtually all large highly automated aircraft has long been an exemplar of breakdowns in human factors and human-centered design. An alternative paradigm is the Haptic Flight Control System (HFCS) that is part of NASA Langley Research Center s Naturalistic Flight Deck Concept. The HFCS uses only stick and throttle for easily and intuitively controlling the actual flight of the aircraft without losing any of the efficiency and operational benefits of the current paradigm. Initial prototypes of the HFCS are being evaluated and this paper describes one such evaluation. In this evaluation we examined claims regarding improved situation awareness, appropriate workload, graceful degradation, and improved pilot acceptance. Twenty-four instrument-rated pilots were instructed to plan and fly four different flights in a fictitious airspace using a moderate fidelity desktop simulation. Three different flight control paradigms were tested: Manual control, Full Automation control, and a simplified version of the HFCS. Dependent variables included both subjective (questionnaire) and objective (SAGAT) measures of situation awareness, workload (NASA-TLX), secondary task performance, time to recognize automation failures, and pilot preference (questionnaire). The results showed a statistically significant advantage for the HFCS in a number of measures. Results that were not statistically significant still favored the HFCS. The results suggest that the HFCS does offer an attractive and viable alternative to the tactical components of today s FMS/autopilot control system. The paper describes further studies that are planned to continue to evaluate the HFCS.

Schutte, Paul↗

NASA NTRS2015

EcAMSat: Effect of Space-Flight on Antibiotic Resistance of a Pathogenic Bacterium and its Genetic Basis

Human immune response is compromised in space and incidence of urinary tract infections (UTI) in astronauts has been reported. We have found that the causative agent of UTI, the uropathogenic Escherichia coli, becomes more resistant to gentamicin (Gm), which is commonly used to treat this disease, under modeled microgravity conditions (MMG), the increase being controlled by the stress response master regulator, σs. While the wild type bacterium becomes virtually invincible under MMG, the strain missing this sigma factor barely survives. We report here preparatory ground work for testing this finding in space flight on a nanosatellite. We have shown that the effect of Gm treatment on culture viability is directly correlated to increased Alamar Blue (AB) reduction; we have identified conditions to keep the experimental elements - the bacterial cultures, Gm, and AB - in a state of viability and potency to permit successful spaceflight experimentation given the necessary constraints. Spaceflight kinetics of AB reduction will be transmitted from the satellite via telemetry. The PharmaSat hardware previously used for space experimentation with yeast was modified to permit studies with bacteria by reducing the filter pore size and increasing fluidics volume to enable more fluid exchanges. Several verification tests have been run using the nanosatellite's flight software and prototype hardware. Cells were grown to stationary phase to induce the σs-controlled stress resistance and treated with Gm. Without Gm, the mutant took longer than the wild type to reduce the AB; this time difference increased almost 8 fold at 55 μg/mL Gm concentration. Thus, using flight hardware the mutant shows similarly increased sensitivity to Gm compared to the wild type to that found in our pilot microtiter plate experiments. Previous inflight experiments have given contradictory results concerning bacterial antibiotic resistance; none has yet explored the involvement of specific genes in this phenomenon. With our system ready to fly in late 2015/early 2016, these questions can be approached

uropathogenic E. coli↗

NASA NTRS1988

Chemical abundance of comets

Observations of NH2, (OI) and molecular ion spectra in comets represent virtually all of the volatile fraction of a comet nucleus. Their study leads to the N2, NH3, H2O, CO2, CO content of the nucleus, and thus to important constraints on models of comet formation and chemical processing in the primitive solar nebula. The observations of Comet Halley provide the opportunity for the first comprehensive determination of the abundances in a comet nucleus. The carbon isotope abundance ratio 12 C/13 C = 65 plus or minus 8 has been determined for Comet Halley from resolved rotational line structure in the CN B-X (0,0) band. The ratio is approximately 30 pct lower than the solar system value, 89, indicating either an enhancement of 13CN or a depletion of 12CN in the comet. Scenarios consistent with the observed carbon isotope ratio are: (1) formation of the comet at the periphery of the solar nebula in a fractionation-enriched 13CN region, or hidden from 12CN enrichment sources, and (2) capture of an interestellar comet. Long-slit charge coupled device (CCD) spectra obtained at the time of the spacecraft encounter of Comet Halley have also been analyzed. Scale lengths, production rates and column densities of CH, CN, C2 and NH2 were determined.

Wyckoff, Susan↗

NASA NTRS1996

Air Traffic Complexity Measurement Environment (ACME): Software User's Guide

A user's guide for the Air Traffic Complexity Measurement Environment (ACME) software is presented. The ACME consists of two major components, a complexity analysis tool and user interface. The Complexity Analysis Tool (CAT) analyzes complexity off-line, producing data files which may be examined interactively via the Complexity Data Analysis Tool (CDAT). The Complexity Analysis Tool is composed of three independently executing processes that communicate via PVM (Parallel Virtual Machine) and Unix sockets. The Runtime Data Management and Control process (RUNDMC) extracts flight plan and track information from a SAR input file, and sends the information to GARP (Generate Aircraft Routes Process) and CAT (Complexity Analysis Task). GARP in turn generates aircraft trajectories, which are utilized by CAT to calculate sector complexity. CAT writes flight plan, track and complexity data to an output file, which can be examined interactively. The Complexity Data Analysis Tool (CDAT) provides an interactive graphic environment for examining the complexity data produced by the Complexity Analysis Tool (CAT). CDAT can also play back track data extracted from System Analysis Recording (SAR) tapes. The CDAT user interface consists of a primary window, a controls window, and miscellaneous pop-ups. Aircraft track and position data is displayed in the main viewing area of the primary window. The controls window contains miscellaneous control and display items. Complexity data is displayed in pop-up windows. CDAT plays back sector complexity and aircraft track and position data as a function of time. Controls are provided to start and stop playback, adjust the playback rate, and reposition the display to a specified time.

Source record↗

NASA NTRS2014

Virtual Reality as a Medium for Sensorimotor Adaptation Training and Spaceflight Countermeasures

Astronauts experience a profound sensorimotor adaptation during transition to and from the microgravity environment of space. With the upcoming shift to extra‐long duration missions (upwards of 1 year) aboard the International Space Station, the immediate risks to astronauts during these transitory periods become more important than ever to understand and prepare for. Recent advances in virtual reality technology enable everyday adoption of these tools for entertainment and use in training. Embedding an individual in a virtual environment (VE) allows the ability to change the perception of visual flow, elicit automatic motor behavior and produce sensorimotor adaptation, not unlike those required during long duration microgravity exposure. The overall goal of this study is to determine the feasibility of present head mounted display technology (HMD) to produce reliable visual flow information and the expected adaptation associated with virtual environment manipulation to be used in future sensorimotor adaptability countermeasures. To further understand the influence of visual flow on gait adaptation during treadmill walking, a series of discordant visual flow manipulations in a virtual environment are proposed. Six healthy participants (3 male and 3 female) will observe visual flow information via HMD (Oculus Rift DK2) while walking on an instrumented treadmill at their preferred walking speed. Participants will be immersed in a series of VE's resembling infinite hallways with different visual characteristics: an office hallway, a hallway with pillars and the hallway of a fictional spacecraft. Participants will perform three trials of 10 min. each, which include walking on the treadmill while receiving congruent or incongruent visual information via the HMD. In the first trial, participants will experience congruent visual information (baseline) where the hallway is perceived to move at the same rate as their walking speed. The final two trials will be randomized among participants where the hallway is perceived to move at either half (0.5x) or twice (2.0x) their preferred walking speed. Participants will remain on the treadmill between trials and will not be warned of the upcoming change to visual flow to minimize preparatory adjustments. Stride length, step frequency and dual‐support time will be quantified during each trial. We hypothesize that participants will experience a rapid modification in gait performance during periods of adaptive change, expressed as a decrease in step length, an increase in step frequency and an increase in dual‐support time, followed by a period of adaptation where these movement parameters will return to near‐baseline levels. As stride length, step frequency and dual support times return to baseline values, an adaptation time constant will be derived to establish individual time‐to‐adapt (TTA). HMD technology represents a paradigm shift in sensorimotor adaptation training where gait adaptability can be stressed using off‐the‐shelf consumer products and minimal experimental equipment, allowing for greater training flexibility in astronaut and terrestrial applications alike.

Madansingh, S.↗

NASA NTRS1990

Planetary astronomy of Mars. Mars data reduction

Grant #NAGW-1408 was specifically awarded to obtain telescopic visible and near-IR spectral imaging of Mars during the 1988 apparition (9/28/88). The observing program was highly successful producing approximately 2 Gbytes of data, but was only funded for one year and virtually all of the funds were spent in data acquisition. The follow-up grant was funded the following year for reduction of these data into a scientifically productive form, which because of the size and nature of our observations, was a non-trivial task. A more detailed scientific analysis of these data (fully reduced) is in progress now and will take a number of years. Extended geologic analyses of the astronomical data are being funded by the NASA Planetary Geology and Geophysics program. The objective was to produce detailed reflectance spectra for contiguous, spatially resolved surface elements covering most of the planet (about +50 degrees to -90 degrees latitude, all longitudes). A total of 6 observing runs, of 3-4 days duration each, were conducted on the University of Arizona's 1.5m telescope on Mt. Bigelow. We present a sketch map showing the approximate total extent of our spectral image coverage. Nearly all of Mars south of 40 degrees N was observed at least once. About half of the area shown was observed multiple times. South of 65 degrees S, including the south polar cap, our coverage is heavily redundant. The first run was conducted June 29 - July 1, 1988 (all dates are UT) to serve as a baseline prior to possible dust storm activity on Mars. The other observing runs were closer to opposition: Sept. 3-6, 13-15, 24-26, and Oct. 5-7 and 16-18. The September and October observations were scheduled to provide maximum longitudinal coverage. This was also intended to provide a balance between surface observations and observations of predicted dust storm activity. No global dust storm developed in 1988, so we have a large volume of data for the surface of Mars.

Singer, Robert B.↗

NASA NTRS1995

The scheme machine: A case study in progress in design derivation at system levels

The Scheme Machine is one of several design projects of the Digital Design Derivation group at Indiana University. It differs from the other projects in its focus on issues of system design and its connection to surrounding research in programming language semantics, compiler construction, and programming methodology underway at Indiana and elsewhere. The genesis of the project dates to the early 1980's, when digital design derivation research branched from the surrounding research effort in programming languages. Both branches have continued to develop in parallel, with this particular project serving as a bridge. However, by 1990 there remained little real interaction between the branches and recently we have undertaken to reintegrate them. On the software side, researchers have refined a mathematically rigorous (but not mechanized) treatment starting with the fully abstract semantic definition of Scheme and resulting in an efficient implementation consisting of a compiler and virtual machine model, the latter typically realized with a general purpose microprocessor. The derivation includes a number of sophisticated factorizations and representations and is also deep example of the underlying engineering methodology. The hardware research has created a mechanized algebra supporting the tedious and massive transformations often seen at lower levels of design. This work has progressed to the point that large scale devices, such as processors, can be derived from first-order finite state machine specifications. This is roughly where the language oriented research stops; thus, together, the two efforts establish a thread from the highest levels of abstract specification to detailed digital implementation. The Scheme Machine project challenges hardware derivation research in several ways, although the individual components of the system are of a similar scale to those we have worked with before. The machine has a custom dual-ported memory to support garbage collection. It consists of four tightly coupled processes--processor, collector, allocator, memory--with a very non-trivial synchronization relationship. Finally, there are deep issues of representation for the run-time objects of a symbolic processing language. The research centers on verification through integrated formal reasoning systems, but is also involved with modeling and prototyping environments. Since the derivation algebra is basd on an executable modeling language, there is opportunity to incorporate design animation in the design process. We are looking for ways to move smoothly and incrementally from executable specifications into hardware realization. For example, we can run the garbage collector specification, a Scheme program, directly against the physical memory prototype, and similarly, the instruction processor model against the heap implementation.

Johnson, Steven D.↗

NASA NTRS1998

Information Systems for NASA's Aeronautics and Space Enterprises

The aerospace industry is being challenged to reduce costs and development time as well as utilize new technologies to improve product performance. Information technology (IT) is the key to providing revolutionary solutions to the challenges posed by the increasing complexity of NASA's aeronautics and space missions and the sophisticated nature of the systems that enable them. The NASA Ames vision is to develop technologies enabling the information age, expanding the frontiers of knowledge for aeronautics and space, improving America's competitive position, and inspiring future generations. Ames' missions to accomplish that vision include: 1) performing research to support the American aviation community through the unique integration of computation, experimentation, simulation and flight testing, 2) studying the health of our planet, understanding living systems in space and the origins of the universe, developing technologies for space flight, and 3) to research, develop and deliver information technologies and applications. Information technology may be defined as the use of advance computing systems to generate data, analyze data, transform data into knowledge and to use as an aid in the decision-making process. The knowledge from transformed data can be displayed in visual, virtual and multimedia environments. The decision-making process can be fully autonomous or aided by a cognitive processes, i.e., computational aids designed to leverage human capacities. IT Systems can learn as they go, developing the capability to make decisions or aid the decision making process on the basis of experiences gained using limited data inputs. In the future, information systems will be used to aid space mission synthesis, virtual aerospace system design, aid damaged aircraft during landing, perform robotic surgery, and monitor the health and status of spacecraft and planetary probes. NASA Ames through the Center of Excellence for Information Technology Office is leading the effort in pursuit of revolutionary, IT-based approaches to satisfying NASA's aeronautics and space requirements. The objective of the effort is to incorporate information technologies within each of the Agency's four Enterprises, i.e., Aeronautics and Space Transportation Technology, Earth, Science, Human Exploration and Development of Space and Space Sciences. The end results of these efforts for Enterprise programs and projects should be reduced cost, enhanced mission capability and expedited mission completion.

Kutler, Paul↗

NASA NTRS1996

Hyaluronic acid is increased in the skin and urine in patients with amyotrophic lateral sclerosis

We performed morphological studies of skin and measured glycosaminoglycans in the urine from patients with sporadic amyotrophic lateral sclerosis (ALS) and control subjects. The wide spaces separating collagen bundles reacted strongly with alcian blue stain in ALS patients and stained more markedly as ALS progressed. Staining with alcian blue was virtually eliminated by Streptomyces hyaluronidase. The urinary excretion of hyaluronic acid (HA) (mg/day) was significantly increased (P < 0.01) in ALS patients compared with that of control subjects, and there was a significant positive correlation between the excreted amount of HA and the duration of illness in advanced ALS patients with a duration of more than 2 years from clinical onset (r = 0.72, P < 0.02). We suggest that sporadic ALS includes a metabolic disorder of HA in which an accumulation of HA in the skin is linked to an increased urinary excretion of HA.

NASA Discipline Musculoskeletal↗

NASA NTRS1989

Acute hemodynamic responses to weightlessness in humans

As NASA designs space flights requiring prolonged periods of weightlessness for a broader segment of the population, it will be important to know the acute and sustained effects of weightlessness on the cardiovascular system since this information will contribute to understanding of the clinical pharmacology of drugs administered in space. Due to operational constraints on space flights, earliest effects of weightlessness have not been documented. We examined hemodynamic responses of humans to transitions from acceleration to weightlessness during parabolic flight on NASA's KC-135 aircraft. Impedance cardiography data were collected over four sets of 8-10 parabolas, with a brief rest period between sets. Each parabola included a period of 1.8 Gz, then approximately 20 seconds of weightlessness, and finally a period of 1.6 Gz; the cycle repeated almost immediately for the remainder of the set. Subjects were semi-supine (Shuttle launch posture) for the first set, then randomly supine, sitting and standing for each subsequent set. Transition to weightlessness while standing produced decreased heart rate, increased thoracic fluid content, and increased stroke index. Surprisingly, the onset of weightlessness in the semi-supine posture produced little evidence of a headward fluid shift. Heart rate, stroke index, and cardiac index are virtually unchanged after 20 seconds of weightlessness, and thoracic fluid content is slightly decreased. Semi-supine responses run counter to Shuttle crewmember reports of noticeable fluid shift after minutes to hours in orbit. Apparently, the headward fluid shift commences in the semi-supine posture before launch. is augmented by launch acceleration, but briefly interrupted immediately in orbit, then resumes and is completed over the next hours.

short duration↗

NASA NTRS1992

Damage areas due to impact craters on LDEF aluminum panels

Because of its exposure time and total exposed surface area, the LDEF provides a unique opportunity to analyze the effects of the natural and man-made particle populations in low earth orbit (LEO). This study concentrated on collecting and analyzing measurements of impact craters from seven painted aluminum surfaces at different locations on the satellite. These data are being used to: (1) update the current theoretical micrometeoroid and debris models for LEO; (2) characterize the effects of the LEO micrometeoroid and debris environment of satellite components and designs; (3) help assess the probability of collision between spacecraft in LEO and already resident debris and the survivability of those spacecraft that must travel through, or reside in, LEO; and (4) help define and evaluate future debris mitigation and disposal methods. Measurements were collected from one aluminum experiment tray cover (Bay C-12), two aluminum grapple plates (Bays C-01, C-10), and four aluminum experiment sun-shields (Bay E-09), all of which were coated with thermal paint. These measurements were taken at the Facility for Optical Interpretation of Large Surfaces (FOILS) Lab at JSC. Virtually all features greater than 0.2 mm in diameter possessed a spall zone in which all of the paint was removed from the aluminum surface, and which varied in size from 2-5 crater diameters. The actual craters vary from central pits without raised rims to morphologies more typical of craters formed in aluminum under hypervelocity impact conditions for larger features. Most craters exhibit a shock zone that varies in size from approximately 1-20 crater diameters. In general, only the outermost layer of paint was affected by this impact-related phenomenon, with several impacts possessing ridge-like structures encircling the area in which this outer-most paint layer was removed. Overall, there were no noticeable penetrations or bulges on the underside of the trays. One tray from the E-09 bay exhibited a spallation zone on the backside, approximately equal in size to that on the front side. Results from this study demonstrate that the impact damaged areas extend far beyond the actual craters in coated or painted surfaces. While the cratering damaged much greater than 1 percent of the total surface area, the total impact damage area exceeded 3 percent.

Coombs, Cassandra R.↗

NASA NTRS2002

Mobile Router Developed and Tested

The NASA Glenn Research Center, under a NASA Space Act Agreement with Cisco Systems, has been performing joint networking research to apply Internet-based technologies and protocols to space-based communications. As a result of this research, NASA performed stringent performance testing of the mobile router, including the interaction of routing and the transport-level protocol. In addition, Cisco Systems developed the mobile router for both commercial and Government markets. The code has become part of the Cisco Systems Internetworking Operating System (IOS) as of release 12.2 (4) T--which will make this capability available to the community at large. The mobile router is software code that resides in a network router and enables entire networks to roam while maintaining connectivity to the Internet. This router code is pertinent to a myriad of applications for both Government and commercial sectors, including the "wireless battlefield." NASA and the Department of Defense will utilize this technology for near-planetary observation and sensing spacecraft. It is also a key enabling technology for aviation-based information applications. Mobile routing will make it possible for information such as weather, air traffic control, voice, and video to be transmitted to aircraft using Internet-based protocols. This technology shows great promise in reducing congested airways and mitigating aviation disasters due to bad weather. The mobile router can also be incorporated into emergency vehicles (such as ambulances and life-flight aircraft) to provide real-time connectivity back to the hospital and health-care experts, enabling the timely application of emergency care. Commercial applications include entertainment services, Internet protocol (IP) telephone, and Internet connectivity for cruise ships, commercial shipping, tour buses, aircraft, and eventually cars. A mobile router, which is based on mobile IP, allows hosts (mobile nodes) to seamlessly "roam" among various IP subnetworks. This is essential in many wireless networks. A mobile router, unlike a mobile IP node, allows entire networks to roam. Hence, a device connected to the mobile router does not need to be a mobile node because the mobile router provides the roaming capabilities. There are three basic elements in the mobile IP: the home agent, the foreign agent, and the mobile node. The home agent is a router on a mobile node's home network that tunnels datagrams for delivery to the mobile node when it is away from home. The foreign agent is a router on a remote network that provides routing services to a registered mobile node. The mobile node is a host or router that changes its point of attachment from one network or subnetwork to another. In mobile routing, virtual communications are maintained by the home agent, which forwards all packets for the mobile networks to the foreign agent. The foreign agent passes the packets to the mobile router, which then forwards the packets to the devices on its networks. As the mobile router moves, it will register with its home agent on its whereabouts via the foreign agent to assure continuous connectivity.

Ivancic, William D.↗

NASA NTRS2008

Challenges and Demands on Automated Software Revision

In the past three decades, automated program verification has undoubtedly been one of the most successful contributions of formal methods to software development. However, when verification of a program against a logical specification discovers bugs in the program, manual manipulation of the program is needed in order to repair it. Thus, in the face of existence of numerous unverified and un- certified legacy software in virtually any organization, tools that enable engineers to automatically verify and subsequently fix existing programs are highly desirable. In addition, since requirements of software systems often evolve during the software life cycle, the issue of incomplete specification has become a customary fact in many design and development teams. Thus, automated techniques that revise existing programs according to new specifications are of great assistance to designers, developers, and maintenance engineers. As a result, incorporating program synthesis techniques where an algorithm generates a program, that is correct-by-construction, seems to be a necessity. The notion of manual program repair described above turns out to be even more complex when programs are integrated with large collections of sensors and actuators in hostile physical environments in the so-called cyber-physical systems. When such systems are safety/mission- critical (e.g., in avionics systems), it is essential that the system reacts to physical events such as faults, delays, signals, attacks, etc, so that the system specification is not violated. In fact, since it is impossible to anticipate all possible such physical events at design time, it is highly desirable to have automated techniques that revise programs with respect to newly identified physical events according to the system specification.

Bonakdarpour, Borzoo↗