Search NASA⌕ Search

SEARCH · Search NASA

Results for “interaction”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

A 3-D Navier-Stokes CFD study of turbojet/ramjet nozzle plume interactions at Mach 3.0 and comparison with data

Advanced airbreathing propulsion systems used in Mach 4-6 mission scenarios, usually consist of a single integrated turboramjet or as in this study, a turbojet housed in an upper bay with a separate ramjet housed in a lower bay. As the engines transition from turbojet to ramjet, there is an operational envelope where both engines operate simultaneously. One nozzle concept under consideration has a common nozzle, where the plumes from the turbojet and ramjet interact with one another as they expand to ambient conditions. In this paper, the two plumes interact at the end of a common 2-D cowl, when they both reach an approximate Mach 3.0 condition and then jointly expand to Mach 3.6 at the common nozzle exit plane. At this condition, the turbojet engine operated at a higher NPR than the ramjet, where the turbojet overpowers the ramjet plume, deflecting it approximately 12 degrees downward and in turn the turbojet plume is deflected 6 degrees upward. In the process, shocks were formed at the deflections and a shear layer formed at the confluence of the two jets. This particular case was experimentally tested and the data used to compare with the PARC3D code with k-kl two equation turbulence model. The 2-D and 3-D centerline CFD solutions are in good agreement, but as the CFD solutions approach the outer sidewall, a slight variance occurs. The outer wall boundary layers are thin and do not present much of an interaction, however, where the confluence interaction shocks interact with the thin boundary layer on the outer wall, strong vortices run down each shock causing substantial disturbances in the boundary layer. These disturbances amplify somewhat as they propagate downstream axially from the confluence point. The nozzle coefficient (CFG) is reduced 1/2 percent as a result of this sidewall interaction, from 0.9850 to 0.9807. This three-dimensional reduction is in better agreement with the experimental value of 0.9790.

Chang, Ing↗
NASA NTRS1996

Flow structure generated by perpendicular blade-vortex interaction and implications for helicopter noise prediction. Volume 1: Measurements

The perpendicular interaction of a streamwise vortex with an infinite span helicopter blade was modeled experimentally in incompressible flow. Three-component velocity and turbulence measurements were made using a sub-miniature four sensor hot-wire probe. Vortex core parameters (radius, peak tangential velocity, circulation, and centerline axial velocity deficit) were determined as functions of blade-vortex separation, streamwise position, blade angle of attack, vortex strength, and vortex size. The downstream development of the flow shows that the interaction of the vortex with the blade wake is the primary cause of the changes in the core parameters. The blade sheds negative vorticity into its wake as a result of the induced angle of attack generated by the passing vortex. Instability in the vortex core due to its interaction with this negative vorticity region appears to be the catalyst for the magnification of the size and intensity of the turbulent flowfield downstream of the interaction. In general, the core radius increases while peak tangential velocity decreases with the effect being greater for smaller separations. These effects are largely independent of blade angle of attack; and if these parameters are normalized on their undisturbed values, then the effects of the vortex strength appear much weaker. Two theoretical models were developed to aid in extending the results to other flow conditions. An empirical model was developed for core parameter prediction which has some rudimentary physical basis, implying usefulness beyond a simple curve fit. An inviscid flow model was also created to estimate the vorticity shed by the interaction blade, and to predict the early stages of its incorporation into the interacting vortex.

Wittmer, Kenneth S.↗
NASA NTRS1996

CFD Study of Turbo-Ramjet Interactions in Hypersonic Airbreathing Propulsion System

Advanced airbreathing propulsion systems used in Mach 4-6 mission scenarios, usually involve turbo-ramjet configurations. As the engines transition from turbojet to ramjet, there is an operational envelope where both engines operate simultaneously. In the first phase of our study, an over/under nozzle configuration was analyzed. The two plumes from the turbojet and ramjet interact at the end of a common 2-D cowl, where they both reach an approximate Mach 3.0 condition and then jointly expand to Mach 3.6 at the common nozzle exit plane. For the problem analyzed, the turbojet engine operates at a higher nozzle pressure ratio than the ramjet, causes the turbojet plume overpowers the ramjet plume, deflecting it approximately 12 degrees downward and in turn the turbojet plume is deflected 6 degrees upward. In the process, shocks were formed at the deflections and a shear layer formed at the confluence of the two jets. This particular case was experimentally tested and the data were used to compare with a computational fluid dynamics (CFD) study using the PARC2D code. The CFD results were in good agreement with both static pressure distributions on the cowl separator and on nozzle walls. The thrust coefficients were also in reasonable agreement. In addition, inviscid relationships were developed around the confluence point, where the two exhaust jets meet, and these results compared favorably with the CFD results. In the second phase of our study, a 3-D CFD solution was generated to compare with the 2-D solution. The major difference between the 2-D and 3-D solutions was the interaction of the shock waves, generated by the plume interactions, on the sidewall. When a shock wave interacts with a sidewall and sidewall boundary layer, it is called a glancing shock sidewall interaction. These interactions entrain boundary layer flow down the shockline into a vortical flow pattern. The 3-D plots show the streamlines being entrained down the shockline. The pressure of the flow also decreases slightly as the sidewall is approached. Other difference between the 2-D and 3-D solutions were a lowering of the nozzle thrust coefficient value from 0.9850 (2-D) to 0.9807 (3-D), where the experimental value was 0.9790. In the third phase of our study, a different turbo-ramjet configuration was analyzed. The confluence of a supersonic turbojet and a subsonic ramjet in the turbine based combined-cycle (TBCC) propulsion system was studied by a 2-D CFD code. In the analysis, Mach 1.4 primary turbojet was mixed with the subsonic ramjet secondary flow in an ejector mode operation. Reasonable agreements were obtained with the supplied I-D TBCC solutions. For low downstream backpressure, the Fabri choke condition (Break-Point condition) was observed in the secondary flow within mixing zone. For sufficient high downstream backpressure, the Fabri choke no longer exist, the ramjet flow was reduced and the ejector flow became backpressure dependent. Highly non-uniform flow at ejector exit were observed, indicated that for smooth downstream combustion, the mixing of the two streams probably required some physical devices.

Chang, Ing↗
NASA NTRS1997

Interactions Between Flames on Parallel Solid Surfaces

The interactions between flames spreading over parallel solid sheets of paper are being studied in normal gravity and in microgravity. This geometry provides interesting opportunities to study the interaction of radiative and diffusive transport mechanisms on the spread process. Radiative losses from flames are recognized as an important component of flame spread. These loss mechanisms are changed when the flame interacts with other flames. Most practical heterogeneous combustion processes involve interacting discrete burning fuel elements, consequently, the study of these interactions is of practical significance. Owing largely to this practical importance, flame interactions have been an area of active research, however microgravity research has been largely limited to droplets. Consideration of parallel solid surfaces has been limited to 1-g studies. The parallel spread geometry offers several distinct differences from single sheet spread, the appearance of the internal flame, instabilities of the internal flame, pressure dependence of spread rate and spread rate variation with separation distance. These issues are being studies as part of this program and discussed in this paper.

Urban, David L.↗
NASA NTRS1999

Interferometer Development for Study of Interactions between Flames on Parallel Solid Surfaces

The interactions between flames spreading over parallel solid sheets of paper are being studied in normal gravity and in microgravity. This geometry provides interesting opportunities to study the interaction of radiative and diffusive transport mechanisms on the spread process. These transport mechanisms are changed when the flame interacts with other flames. Most practical heterogeneous combustion processes involve interacting discrete burning fuel elements, consequently, the study of these interactions is of practical significance. Owing largely to this practical importance, flame interactions have been an area of active research, however microgravity research has been largely limited to droplets. Consideration of flame spread over parallel solid surfaces has been limited to 1-g studies. To study the conductive transport in these flames, an interferometer system has been developed for use in the drop tower. The system takes advantage of a single beam interferometer: Point Diffraction Interferometry (PDI) which uses a portion of the light through the test section to provide the reference beam. Like other interferometric and Schlieren systems, it is a line of sight measurement and is subject to the usual edge and concentration effects. The advantage over Schlieren and shearing interferometry systems is that the fringes are lines of constant index of refraction rather than of its gradient so the images are more readily interpreted. The disadvantage is that it is less able to accommodate a range of temperature gradients.

Goldmeer, J. S.↗
NASA NTRS2001

Molecular Dynamic Simulations of Interaction of an AFM Probe with the Surface of an SCN Sample

Molecular dynamic (MD) simulations is conducted in order to estimate forces of probe-substrate interaction in the Atomic Force Microscope (AFM). First a review of available molecular dynamic techniques is given. Implementation of MD simulation is based on an object-oriented code developed at the University of Delft. Modeling of the sample material - succinonitrile (SCN) - is based on the Lennard-Jones potentials. For the polystyrene probe an atomic interaction potential is used. Due to object-oriented structure of the code modification of an atomic interaction potential is straight forward. Calculation of melting temperature is used for validation of the code and of the interaction potentials. Various fitting parameters of the probe-substrate interaction potentials are considered, as potentials fitted to certain properties and temperature ranges may not be reliable for the others. This research provides theoretical foundation for an interpretation of actual measurements of an interaction forces using AFM.

Bune, Adris↗
NASA NTRS2001

Combustion of Interacting Droplet Arrays in a Microgravity Environment

Investigations into droplet interactions date back to Rex et al. Annamalai and Ryan and Annamalai published extensive reviews of droplet array and cloud combustion studies. In the majority of the reviewed studies, the authors examined the change in the burning rate constant, k, (relative to that of the single droplet) that results from interactions. More recently, Niioka and co-workers have examined ignition and flame propagation along arrays of interacting droplets with the goal of relating these phenomena in this simplified geometry to the more practical spray configuration. Our work has focussed on droplet interactions under conditions where flame extinction occurs at a finite droplet diameter. In our previous work, we reported that in normal gravity, reduced pressure conditions, droplet interactions improved flame stability and extended flammability limits (by inference). In our recent work, we examine droplet interactions under conditions where the flame extinguishes at a finite droplet diameter in microgravity. The microgravity experiments were in the NASA GRC 2.2 and 5.2 second drop towers, and the JAMIC (Japan Microgravity Center) 10 second drop tower. We also present progress on a numerical model of single droplet combustion that is in the process of being extended to model a binary droplet array.

Dietrich, D. L.↗
NASA NTRS2002

Assembly of Colloidal Materials Using Bioadhesive Interactions

We have pursued the use of biological crosslinking molecules of several types to make colloidal materials at relatively low volume fraction of colloidal particles. The objective is to make binary alloys of colloidal particles, made of two different colloidal particles coated with complementary biological lock-and-key binding molecules, which assemble due to the biological specificity. The long-term goal is to use low affinity lock-and-key biological interactions, so that the can anneal to form crystalline states. We have used a variety of different surface chemistries in order to make colloidal materials. Our first system involved using selectin-carbohydrate (sialyl-Lewis) interactions; this chemistry is derived from immune system. This chemical interaction is of relatively low affinity, with timescales for dissociation of several seconds. Furthermore, the adhesion mediated by these molecules can be reversed by the chelation of calcium atoms; thus assembled structures can be disassembled reversibly. Our second system employed avidin-biotin chemistry. This well-studied system is of high affinity, and is generally irreversible on a laboratory time-scale. Thus, we would expect selectin-carbohydrate interactions at high molecular density and avidin-biotin interactions to give kinetically-trapped structures; however, at low densities, we would expect significant differences in the structure and dynamics of the two materials, owing to their very different release rates. We have also begun to use a third chemistry - DNA hybridization. By attaching single stranded DNA oligonucleotide chains to beads, we can drive the assembly of colloidal materials by hybridization of complementary DNA chains. It is well known that DNA adenosine-thymine (A-T) and guanine-cytosine (G-C) bases hybridize pairwise with a Gibbs free energy change of 1.7 kcal/mol per base; thus, the energy of the assembly can be modulated by altering the number of complementary bases in the DNA chains. Using these different crosslinking molecules, we have assembled colloidal materials from different-sized colloidal particles, A and B. In the first sets of experiment, we used high densities of adhesion molecules, and 0.96 micron (A) and 5.5 micron (B) diameter particles. The high density of adhesion molecules means that the structures are kinetically trapped in nonequilibrium configurations. The structure of the suspension can be varied by changing the number ratio of the two types of colloidal particles, NA and NB, where A is the smaller particle. With carbohydrate-selectin or avidin-biotin interactions, large NA/NB leads to the formation of colloidal micelles, with the large center B particle surrounded by many smaller A particles. As the ratio NA/NB decreases, the structures become more extended, approaching the formation of macro-Rouse polymers - extended linear chains where A beads are connected with intervening small B linkers.

Hammer, Daniel A.↗
NASA NTRS2002

Are CME 'interactions' Really Important for Accelerating Major Solar Energetic Particle Events?

Recent studies have proposed that the presence or absence of an interaction with a preceding coronal mass ejection (CME) or other coronal structure within approximately 50R(sub s), of the Sun discriminates large, fast CMEs associated with major solar energetic particle (SEP) events from those that are not. We conclude that there is no compelling evidence that, if such interactions take place, they play an important role in SEP acceleration. Reasons include: The reported statistical results are consistent with a chance association between interacting CMEs and SEP events; Energetic SEPs are detected at Earth typically before or around the time when the primary CME enters the LASCO C2 field of view - interactions higher in the corona cannot play a role in acceleration of these particles; For approximately 60% of major SEP events in 1997-2001, the preceding CME fades into the background corona or is relatively narrow (less than 40 deg), suggesting any interaction will be weak; Radio signatures attributed to CME interaction occur after SEP acceleration has commenced.

Richardson, I. G.↗
NASA NTRS2001

Relationship between radiation-induced aberrations in individual chromosomes and their DNA content: effects of interaction distance

PURPOSE: To study the effect of the interaction distance on the frequency of inter- and intrachromosome exchanges in individual chromosomes with respect to their DNA content. Assumptions: Chromosome exchanges are formed by misrejoining of two DNA double-strand breaks (DSB) induced within an interaction distance, d. It is assumed that chromosomes in G(0)/G(1) phase of the cell cycle occupy a spherical domain in a cell nucleus, with no spatial overlap between individual chromosome domains. RESULTS: Formulae are derived for the probability of formation of inter-, as well as intra-, chromosome exchanges relating to the DNA content of the chromosome for a given interaction distance. For interaction distances <1 microm, the relative frequency of interchromosome exchanges predicted by the present model is similar to that by Cigarran et al. (1998) based on the assumption that the probability of interchromosome exchanges is proportional to the "surface area" of the chromosome territory. The "surface area" assumption is shown to be a limiting case of d-->0 in the present model. The present model also predicts that the probability of intrachromosome exchanges occurring in individual chromosomes is proportional to their DNA content with correction terms. CONCLUSION: When the interaction distance is small, the "surface area" distribution for chromosome participation in interchromosome exchanges has been expected. However, the present model shows that for the interaction distance as large as 1 microm, the predicted probability of interchromosome exchange formation is still close to the surface area distribution. Therefore, this distribution does not necessarily rule out the formation of complex chromosomal aberrations by long-range misrejoining of DSB.

Non-programmatic↗
NASA NTRS1999

A More Accurate and Efficient Technique Developed for Using Computational Methods to Obtain Helical Traveling-Wave Tube Interaction Impedance

The phenomenal growth of commercial communications has created a great demand for traveling-wave tube (TWT) amplifiers. Although the helix slow-wave circuit remains the mainstay of the TWT industry because of its exceptionally wide bandwidth, until recently it has been impossible to accurately analyze a helical TWT using its exact dimensions because of the complexity of its geometrical structure. For the first time, an accurate three-dimensional helical model was developed that allows accurate prediction of TWT cold-test characteristics including operating frequency, interaction impedance, and attenuation. This computational model, which was developed at the NASA Lewis Research Center, allows TWT designers to obtain a more accurate value of interaction impedance than is possible using experimental methods. Obtaining helical slow-wave circuit interaction impedance is an important part of the design process for a TWT because it is related to the gain and efficiency of the tube. This impedance cannot be measured directly; thus, conventional methods involve perturbing a helical circuit with a cylindrical dielectric rod placed on the central axis of the circuit and obtaining the difference in resonant frequency between the perturbed and unperturbed circuits. A mathematical relationship has been derived between this frequency difference and the interaction impedance (ref. 1). However, because of the complex configuration of the helical circuit, deriving this relationship involves several approximations. In addition, this experimental procedure is time-consuming and expensive, but until recently it was widely accepted as the most accurate means of determining interaction impedance. The advent of an accurate three-dimensional helical circuit model (ref. 2) made it possible for Lewis researchers to fully investigate standard approximations made in deriving the relationship between measured perturbation data and interaction impedance. The most prominent approximations made in the analysis were addressed and fully investigated for their accuracy by using the three-dimensional electromagnetic simulation code MAFIA (Solution of Maxwell's Equations by the Finite Integration Algorithm) (refs. 3 and 4). We found that several approximations introduced significant error (ref. 5).

Kory, Carol L.↗
NASA NTRS2005

Event Generators for Simulating Heavy Ion Interactions of Interest in Evaluating Risks in Human Spaceflight

Simulating the Space Radiation environment with Monte Carlo Codes, such as FLUKA, requires the ability to model the interactions of heavy ions as they penetrate spacecraft and crew member's bodies. Monte-Carlo-type transport codes use total interaction cross sections to determine probabilistically when a particular type of interaction has occurred. Then, at that point, a distinct event generator is employed to determine separately the results of that interaction. The space radiation environment contains a full spectrum of radiation types, including relativistic nuclei, which are the most important component for the evaluation of crew doses. Interactions between incident protons with target nuclei in the spacecraft materials and crew member's bodies are well understood. However, the situation is substantially less comfortable for incident heavier nuclei (heavy ions). We have been engaged in developing several related heavy ion interaction models based on a Quantum Molecular Dynamics-type approach for energies up through about 5 GeV per nucleon (GeV/A) as part of a NASA Consortium that includes a parallel program of cross section measurements to guide and verify this code development.

Wilson, Thomas L.↗
NASA NTRS2007

Interactions with Virtual People: Do Avatars Dream of Digital Sheep?

This paper explores another form of artificial entity, ones without physical embodiment. We refer to virtual characters as the name for a type of interactive object that have become familiar in computer games and within virtual reality applications. We refer to these as avatars: three-dimensional graphical objects that are in more-or-less human form which can interact with humans. Sometimes such avatars will be representations of real-humans who are interacting together within a shared networked virtual environment, other times the representations will be of entirely computer generated characters. Unlike other authors, who reserve the term agent for entirely computer generated characters and avatars for virtual embodiments of real people; the same term here is used for both. This is because avatars and agents are on a continuum. The question is where does their behaviour originate? At the extremes the behaviour is either completely computer generated or comes only from tracking of a real person. However, not every aspect of a real person can be tracked every eyebrow move, every blink, every breath rather real tracking data would be supplemented by inferred behaviours which are programmed based on the available information as to what the real human is doing and her/his underlying emotional and psychological state. Hence there is always some programmed behaviour it is only a matter of how much. In any case the same underlying problem remains how can the human character be portrayed in such a manner that its actions are believable and have an impact on the real people with whom it interacts? This paper has three main parts. In the first part we will review some evidence that suggests that humans react with appropriate affect in their interactions with virtual human characters, or with other humans who are represented as avatars. This is so in spite of the fact that the representational fidelity is relatively low. Our evidence will be from the realm of psychotherapy, where virtual social situations are created that do test whether people react appropriately within these situations. We will also consider some experiments on face-to-face virtual communications between people in the same shared virtual environments. The second part will try to give some clues about why this might happen, taking into account modern theories of perception from neuroscience. The third part will include some speculations about the future developments of the relationship between people and virtual people. We will suggest that a more likely scenario than the world becoming populated by physically embodied virtual people (robots, androids) is that in the relatively near future we will interact more and more in our everyday lives with virtual people- bank managers, shop assistants, instructors, and so on. What is happening in the movies with computer graphic generated individuals and entire crowds may move into the space of everyday life.

Slater, Mel↗
NASA NTRS2012

Observations of Traveling Crossflow Resonant Triad Interactions on a Swept Wing

Experimental evidence indicates the presence of a triad resonance interaction between traveling crossflow modes in a swept wing flow. Results indicate that this interaction occurs when the stationary and traveling crossflow modes have similar and relatively low amplitudes (approx.1% to 6% of the total freestream velocity). The resonant interaction occurs at instability amplitudes well below those typically known to cause transition, yet transition is observed to occur just downstream of the resonance. In each case, two primary linearly unstable traveling crossflow modes are nonlinearly coupled to a higher frequency linearly stable mode at the sum of their frequencies. The higher-frequency mode is linearly stable and presumed to exist as a consequence of the interaction of the two primary modes. Autoand cross-bicoherence are used to determine the extent of phase-matching between the modes, and wavenumber matching confirms the triad resonant nature of the interaction. The bicoherence results indicate a spectral broadening mechanism and the potential path to early transition. The implications for laminar flow control in swept wing flows are significant. Even if stationary crossflow modes remain subcritical, traveling crossflow interactions can lead to early transition.

Eppink, Jenna L.↗
NASA NTRS2013

Characterization of Aerodynamic Interactions with the Mars Science Laboratory Reaction Control System Using Computation and Experiment

On August 5 , 2012, the Mars Science Laboratory (MSL) entry capsule successfully entered Mars' atmosphere and landed the Curiosity rover in Gale Crater. The capsule used a reaction control system (RCS) consisting of four pairs of hydrazine thrusters to fly a guided entry. The RCS provided bank control to fly along a flight path commanded by an onboard computer and also damped unwanted rates due to atmospheric disturbances and any dynamic instabilities of the capsule. A preliminary assessment of the MSL's flight data from entry showed that the capsule flew much as predicted. This paper will describe how the MSL aerodynamics team used engineering analyses, computational codes and wind tunnel testing in concert to develop the RCS system and certify it for flight. Over the course of MSL's development, the RCS configuration underwent a number of design iterations to accommodate mechanical constraints, aeroheating concerns and excessive aero/RCS interactions. A brief overview of the MSL RCS configuration design evolution is provided. Then, a brief description is presented of how the computational predictions of RCS jet interactions were validated. The primary work to certify that the RCS interactions were acceptable for flight was centered on validating computational predictions at hypersonic speeds. A comparison of computational fluid dynamics (CFD) predictions to wind tunnel force and moment data gathered in the NASA Langley 31-Inch Mach 10 Tunnel was the lynch pin to validating the CFD codes used to predict aero/RCS interactions. Using the CFD predictions and experimental data, an interaction model was developed for Monte Carlo analyses using 6-degree-of-freedom trajectory simulation. The interaction model used in the flight simulation is presented.

Schoenenberger, Mark↗
NASA NTRS2013

Background Oriented Schlieren Implementation in a Jet-Surface Interaction Test

Many current and future aircraft designs rely on the wing or other aircraft surfaces to shield the engine noise from observers on the ground. However the available data regarding how a planar surface interacts with a jet to shield and/or enhance the jet noise are currently limited. Therefore, the Jet-Surface Interaction Tests supported by NASA's Fundamental Aeronautics Program's Fixed Wing Project were undertaken to supply experimental data covering a wide range of surface geometries and positions interacting with high-speed jet flows in order to support the development of noise prediction methods. Phase 1 of the Test was conducted in the Aero-Acoustic Propulsion Laboratory at NASA Glenn Research Center and consisted of validating noise prediction schemes for a round nozzle interacting with a planar surface. Phased array data and far-field acoustic data were collected for both the shielded and reflected sides of the surface. Phase 1 results showed that the broadband shock noise was greatly reduced by the surface when the jet was operated at the over-expanded condition, however, it was unclear whether this reduction was due a change in the shock cell structure by the surface. In the present study, Background Oriented Schlieren is implemented in Phase 2 of the Jet-Surface Interaction Tests to investigate whether the planar surface interacts with the high-speed jet ow to change the shock cell structure. Background Oriented Schlieren data are acquired for under-expanded, ideally-expanded, and over-expanded ow regimes for multiple axial and radial positions of the surface at three different plate lengths. These data are analyzed with far-field noise measurements to relate the shock cell structure to the broadband shock noise produced by a jet near a surface.

Clem, Michelle M.↗
NASA NTRS2013

V and V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog

During early phases of the development of an interactive system, future system properties are identified (through interaction with end users in the brainstorming and prototyping phase of the application, or by other stakehold-ers) imposing requirements on the final system. They can be specific to the application under development or generic to all applications such as usability principles. Instances of specific properties include visibility of the aircraft altitude, speed… in the cockpit and the continuous possibility of disengaging the autopilot in whatever state the aircraft is. Instances of generic properties include availability of undo (for undoable functions) and availability of a progression bar for functions lasting more than four seconds. While behavioral models of interactive systems using formal description techniques provide complete and unambiguous descriptions of states and state changes, it does not provide explicit representation of the absence or presence of properties. Assessing that the system that has been built is the right system remains a challenge usually met through extensive use and acceptance tests. By the explicit representation of properties and the availability of tools to support checking these properties, it becomes possible to provide developers with means for systematic exploration of the behavioral models and assessment of the presence or absence of these properties. This paper proposes the synergistic use two tools for checking both generic and specific properties of interactive applications: Petshop and Java PathFinder. Petshop is dedicated to the description of interactive system behavior. Java PathFinder is dedicated to the runtime verification of Java applications and as an extension dedicated to User Interfaces. This approach is exemplified on a safety critical application in the area of interactive cockpits for large civil aircrafts.

human-computer interface↗
NASA NTRS2016

iSat Surface Charging and Thruster Plume Interactions Analysis

Characterizing the electromagnetic interaction of a satellite in low Earth, high inclination orbit with the space plasma environment and identifying viable charging mitigation strategies is a critical mission design task. High inclination orbits expose the vehicle to auroral charging environments that can potentially charge surfaces to kilovolt potentials and electric thruster propulsion systems will interact with the ambient plasma environment throughout the orbit. NASA is designing the Iodine Satellite (iSAT) cubesat mission to demonstrate operations of an iodine electric thruster system. The spacecraft will be deployed as a secondary payload from a launch vehicle which has not yet been identified so the program must plan for the worst case environments over a range of orbital inclinations. We will first present results from a NASA and Air Force Charging Analyzer Program (Nascap) -2k surface charging calculation used to evaluate the effects of auroral charging on the spacecraft and to provide the charging levels at other locations in orbit for a thruster plume interaction analysis for the iSAT mission. We will then discuss results from the thruster interactions analysis using the Electric Propulsion Interactions Code (EPIC) with inputs from Nascap-2k. The results of these analyses are being used by the iSAT program to better understand how their spacecraft will interact with the space plasma environment in the range of environments that could be encountered when the final mission orbit is selected.

Parker, L. Neergaard↗