Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Reasoning”

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 1,639 records · Page 91

Put X-Ray Polarimetry on the MAP!

With Prof. R. Novick and others at the Columbia Astrophysics Laboratory I help found the field of X-ray polarimetry in the early 1970s. Currently I have more experience with the design, construction, calibration, and space flight of such instruments than anyone on the planet. The early probing beginnings saw only one definitive measurement (that of the integrated low-energy X-ray emission from the Crab Nebula sans pulsar) and a number of upper limits. The limited success did nevertheless inspire a number of detailed theoretical calculations, concentrating at first on neutron stars and black holes showing how precise measurements (e.g. degree of polarization and position angle as a function of pulse phase) would provide definitive limitations on otherwise equally plausible theoretical models. Over time the theoretical foundation has grown (e.g. the proceedings of the X-Ray Polarimetry Workshop held at SLAC in 2004). I will outline these foundations. It is important to understand the history of X-ray polarimetry beyond the early excitement. A polarimeter was at the focus of the original Einstein mission but was dropped during the restructuring. A polarimeter was successfully proposed (R. Novick PI, I was a Co-I) and built for the original Spectrum-X mission. During the years before the cancellation of Spectrum-X, the potential flight of this device stood in the way of other space flights for polarimeters --- "let us wait and see what it finds". This was unfortunate as there were a number of reasons why that polarimeter should not have been flown on the mission. Perhaps the most significant (but not only) reason was that a shared focal plane provided very little observing time. This is an extremely important point in considering the Roadmap. It is doubtful that there many 100%-polarized sources and so the "signal" is more typically a small fraction of the source flux. Thus, the source itself provides a substantial background, making continuum polarimetry even more difficult than narrow-line spectroscopy. X-ray polarimetry thus requires a dedicated mission that can, without programmatic pressures from other instruments/users, devote the integration time to perform meaningful measurements. The recently cancelled GEMS might have been such a mission. At least it was dedicated to polarimetry. Performing meaningful measurements is not going to be easy. In part because of the long hiatus and lack of experience, there appears to be too much pressure to "sell" polarimetry missions by the number of sources for which one might answer the simple question is, or is not, the integrated and time averaged emission from the source polarized at some confidence level? This was a fine question for the 1970 s but, I maintain, it is not today. One simply doesn't want to measure the time averaged polarization of the Crab s pulsar, but one wants to know the polarization as a function of energy and pulse phase to compare, e.g. to optical and radio measurements which divide even the primary pulse into dozens of phase bins. Such observations can distinguish amongst competing theories for the pulsed emission. The Roadmap should define what meaningful experiments are. I will pose some suggestions. Note that , because X-rays are usually believed originate in either non-thermal or highly aspherical situations we expect X-ray polarimetry to be much more important and rich in astrophysical information as opposed to the visible, where starlight often dominates the emission. One has often dreamt about an instrument that does polarimetry whilst it does other things, and I will discuss this. Even in this case, one needs to realize that the observing time will be driven by the polarimetry, otherwise no useful polarization measurements will be made. Finally, I will discuss some misconceptions that have appeared in the literature and at conferences which indicate to me that certain fundamental principles of polarimeter design and performance are not clearly understoodt is important for the Roadmap that we understand these principles and not advocate instruments that will not (or even worse cannot) accomplish the promised scientific return. I will discuss these principles.

Weisskopf, Martin C.↗

Ground Contact Modeling for the Morpheus Test Vehicle Simulation

The Morpheus vertical test vehicle is an autonomous robotic lander being developed at Johnson Space Center (JSC) to test hazard detection technology. Because the initial ground contact simulation model was not very realistic, it was decided to improve the model without making it too computationally expensive. The first development cycle added capability to define vehicle attachment points (AP) and to keep track of their states in the lander reference frame (LFRAME). These states are used with a spring damper model to compute an AP contact force. The lateral force is then overwritten, if necessary, by the Coulomb static or kinetic friction force. The second development cycle added capability to use the PolySurface class as the contact surface. The class can load CAD data in STL (Stereo Lithography) format, and use the data to compute line of sight (LOS) intercepts. A polygon frame (PFRAME) is computed from the facet intercept normal and used to convert the AP state to PFRAME. Three flat plane tests validate the transitions from kinetic to static, static to kinetic, and vertical impact. The hazardous terrain test will be used to test for visual reasonableness. The improved model is numerically inexpensive, robust, and produces results that are reasonable.

Cordova, Luis↗

Multifunction Habitat Workstation/OLED Development

This paper gives a general outline of both a multifunction habitat workstation and the research put into an Organic Light Emitting Diode (OLED) device. It first covers the tests that the OLED device will go through to become flight ready along with reasoning. Guidelines for building an apparatus to house the display and its components are given next, with the build of such following. The three tests the OLED goes through are presented (EMI, Thermal/Vac, Radiation) along with the data recovered. The second project of a multifunction workstation is then discussed in the same pattern. Reasoning for building such a workstation with telepresence in mind is offered. Build guidelines are presented first, with the build timeline following. Building the workstation will then be shown in great detail along with accompanying photos. Once the workstation has been discussed, the versatility of its functions are given. The paper concludes with future views and concepts that can added when the time or technology presents itself.

Schumacher, Shawn↗

Adaptive Distributed Environment for Procedure Training (ADEPT)

ADEPT (Adaptive Distributed Environment for Procedure Training) is designed to provide more effective, flexible, and portable training for NASA systems controllers. When creating a training scenario, an exercise author can specify a representative rationale structure using the graphical user interface, annotating the results with instructional texts where needed. The author's structure may distinguish between essential and optional parts of the rationale, and may also include "red herrings" - hypotheses that are essential to consider, until evidence and reasoning allow them to be ruled out. The system is built from pre-existing components, including Stottler Henke's SimVentive instructional simulation authoring tool and runtime. To that, a capability was added to author and exploit explicit control decision rationale representations. ADEPT uses SimVentive's Scalable Vector Graphics (SVG)- based interactive graphic display capability as the basis of the tool for quickly noting aspects of decision rationale in graph form. The ADEPT prototype is built in Java, and will run on any computer using Windows, MacOS, or Linux. No special peripheral equipment is required. The software enables a style of student/ tutor interaction focused on the reasoning behind systems control behavior that better mimics proven Socratic human tutoring behaviors for highly cognitive skills. It supports fast, easy, and convenient authoring of such tutoring behaviors, allowing specification of detailed scenario-specific, but content-sensitive, high-quality tutor hints and feedback. The system places relatively light data-entry demands on the student to enable its rationale-centered discussions, and provides a support mechanism for fostering coherence in the student/ tutor dialog by including focusing, sequencing, and utterance tuning mechanisms intended to better fit tutor hints and feedback into the ongoing context.

Domeshek, Eric↗

Affordable Development and Qualification Strategy for Nuclear Thermal Propulsion

A number of recent assessments have confirmed the results of several earlier studies that Nuclear Thermal Propulsion (NTP) is a leading technology for human exploration of Mars. It is generally acknowledged that NTP provides the best prospects for the transportation of humans to Mars in the 2030's. Its high Isp coupled with the high thrusts achievable, allow reasonable trip times, thereby alleviating concerns about space radiation and "claustrophobia" effects. NASA has embarked on the latest phase of the development of NTP systems, and is adopting an affordable approach in response to the pressure of the times. The affordable strategy is built on maximizing the use of the large NTP technology base developed in the 1950's and 60's. The fact that the NTP engines were actually demonstrated to work as planned, is a great risk reduction feature in its development. The strategy utilizes non-nuclear testing to the fullest extent possible, and uses focused nuclear tests for the essential qualification and certification tests. The perceived cost risk of conducting the ground tests is being addressed by considering novel testing approaches. This includes the use of boreholes to contain radioactive effluents, and use of fuel with very high retention capability for fission products. The use of prototype flight tests is being considered as final steps in the development prior to undertaking human flight missions. In addition to the technical issues, plans are being prepared to address the institutional and political issues that need to be considered in this major venture. While the development and deployment of NTP system is not expected to be cheap, the value of the system will be very high, and amortized over the many missions that it enables and enhances, the imputed costs will be very reasonable. Using the approach outlined, NASA and its partners, currently the DOE, and subsequently industry, have a good chance of creating a sustained development program leading to human missions to Mars within the next few decades.

Gerrish, Harold P., Jr.↗

Mars Technologies Spawn Durable Wind Turbines

Sometimes referred to as regenerative life support systems, the concept includes an enclosed self-sufficient habitat that can independently support life for years on end. Such a system aims not only to produce its own food and water but to purify air and convert waste into useful byproducts. In the early 1990s, NASA was planning for an extended stay on Mars, and Bubenheim and his Ames colleagues were concentrating efforts on creating a complete ecological system to sustain human crewmembers during their time on the Red Planet. The main barrier to developing such a system, he says, is energy. Mars has no power plants, and a regenerative system requires equipment that runs on electricity to do everything from regulating humidity in the atmosphere to monitoring the quality of recycled water. The Ames group started looking at how to best make power on a planet that is millions of miles away from Earth and turned to a hybrid concept combining wind and solar power technologies. The reason was that Mars experiences frequent dust storms that can block nearly all sunlight. When theres a dust storm and the wind is blowing, the wind system could be the dominant power source. When the wind is not blowing and the sun is out, photovoltaics could be the dominant source, says Bubenheim.To develop and test the wind power technology, Ames turned to a remote, harsh environment here on Earth: the South Pole. The South Pole was a really good analog for Mars, says Bubenheim. The technology features for going to Mars were the same technology features needed to make something work at the South Pole.Around the same time that NASA started investigating energy technologies for the Red Planet, the National Science Foundation (NSF) was working on a redesign of their station at the South Pole. To power its operations, NSF used fuel that it flew to the remote location, but the Foundation recognized the benefits of also using onsite renewable energy technologies. In the winter they have small crews and their power requirements are less, says Bubenheim. In the summers, they bring in larger groups and photovoltaics could supply a lot of power. Using renewable energy technology could be a way of reducing the amount of fuel they have to fly in.Technology TransferTo advance wind turbine technology to meet the requirements of extremely harsh environments like that on Mars, Ames partnered with NSF and the Department of Energy. It was clear that a lot of the same features were also desirable for the cold regions of the Earth, says Bubenheim. NASA took the leadership on the team because we had the longest-term technology a Mars turbine. Years before, NSF had worked with a company called Northern Power Systems (NPS), based in Barre, Vermont, to deploy a 3-kilowatt wind turbine on Black Island off the coast of Antarctica.Sometimes referred to as regenerative life support systems, the concept includes an enclosed self-sufficient habitat that can independently support life for years on end. Such a system aims not only to produce its own food and water but to purify air and convert waste into useful byproducts. In the early 1990s, NASA was planning for an extended stay on Mars, and Bubenheim and his Ames colleagues were concentrating efforts on creating a complete ecological system to sustain human crewmembers during their time on the Red Planet. The main barrier to developing such a system, he says, is energy. Mars has no power plants, and a regenerative system requires equipment that runs on electricity to do everything from regulating humidity in the atmosphere to monitoring the quality of recycled water. The Ames group started looking at how to best make power on a planet that is millions of miles away from Earth and turned to a hybrid concept combining wind and solar power technologies. The reason was that Mars experiences frequent dust storms that can block nearly all sunlight. When there's a dust storm and the wind is blowing, the wind system could be the dominant power source. When the wind is not blowing and the sun is out, photovoltaics could be the dominant source, says Bubenheim.To develop and test the wind power technology, Ames turned to a remote, harsh environment here on Earth: the South Pole. The South Pole was a really good analog for Mars, says Bubenheim. The technology features for going to Mars were the same technology features needed to make something work at the South Pole.Around the same time that NASA started investigating energy technologies for the Red Planet, the National Science Foundation (NSF) was working on a redesign of their station at the South Pole. To power its operations, NSF used fuel that it flew to the remote location, but the Foundation recognized the benefits of also using onsite renewable energy technologies. In the winter they have small crews and their power requirements are less, says Bubenheim. In the summers, they bring in larger groups and photovoltaics could supply a lot of power. Using renewable energy technology could be a way of reducing the amount of fuel they have to fly in.Technology Transfer To advance wind turbine technology to meet the requirements of extremely harsh environments like that on Mars, Ames partnered with NSF and the Department of Energy. It was clear that a lot of the same features were also desirable for the cold regions of the Earth, says Bubenheim. NASA took the leadership on the team because we had the longest-term technology a Mars turbine.

Mars Technologies↗

Global Top-Down Smoke-Aerosol Emissions Estimation Using Satellite Fire Radiative Power Measurements

Fire emissions estimates have long been based on bottom-up approaches that are not only complex, but also fraught with compounding uncertainties. We present the development of a global gridded (1 deg ×1 deg) emission coefficients (Ce) product for smoke total particulate matter (TPM) based on a top-down approach using coincident measurements of fire radiative power (FRP) and aerosol optical thickness (AOT) from the Moderate-resolution Imaging Spectroradiometer (MODIS) sensors aboard the Terra and Aqua satellites. This new Fire Energetics and Emissions Research version 1.0 (FEER.v1) Ce product has now been released to the community and can be obtained from http://feer.gsfc. nasa.gov/, along with the corresponding 1-to-1 mapping of their quality assurance (QA) flags that will enable the Ce values to be filtered by quality for use in various applications. The regional averages of Ce values for different ecosystem types were found to be in the ranges of 16-21/gMJ−1 for savanna and grasslands, 15-32/gMJ−1 for tropical forest, 9-12/gMJ−1 for North American boreal forest, and 18- 26/MJ−1 for Russian boreal forest, croplands and natural vegetation. The FEER.v1 Ce product was multiplied by time-integrated FRP data to calculate regional smoke TPM emissions, which were compared with equivalent emissions products from three existing inventories. FEER.v1 showed higher and more reasonable smoke TPM estimates than two other emissions inventories that are based on bottom-up approaches and already reported in the literature to be too low, but portrayed an overall reasonable agreement with another top-down approach. This suggests that top-down approaches may hold better promise and need to be further developed to accelerate the reduction of uncertainty associated with fire emissions estimation in air-quality and climate research and applications. Results of the analysis of FEER.v1 data for 2004-2011 show that 65-85 Tg yr−1 of TPM is emitted globally from open biomass burning, with a generally decreasing trend over this short time period. The FEER.v1 Ce product is the first global gridded product in the family of "emission factors", that is based essentially on satellite measurements, and requires only direct satellite FRP measurements of an actively burning fire anywhere to evaluate its emission rate in near-real time, which is essential for operational activities, such as the monitoring and forecasting of smoke emission impacts on air quality.

biomass burning↗

Evidence Arguments for Using Formal Methods in Software Certification

We describe a generic approach for automatically integrating the output generated from a formal method/tool into a software safety assurance case, as an evidence argument, by (a) encoding the underlying reasoning as a safety case pattern, and (b) instantiating it using the data produced from the method/tool. We believe this approach not only improves the trustworthiness of the evidence generated from a formal method/tool, by explicitly presenting the reasoning and mechanisms underlying its genesis, but also provides a way to gauge the suitability of the evidence in the context of the wider assurance case. We illustrate our work by application to a real example-an unmanned aircraft system- where we invoke a formal code analysis tool from its autopilot software safety case, automatically transform the verification output into an evidence argument, and then integrate it into the former.

Argumentation↗

Pre-Flight Advanced Clothing Study

All human space missions require significant logistical mass and volume that will become an excessive burden for long duration missions beyond low Earth orbit. The current International Space Station (ISS) crew wardrobe has already evolved not only to reduce some of the logistical burden but also to address crew preference. The present study was undertaken to find ways further to reduce this logistical burden while examining human response to different types of clothes. The primary objective of the study is to measure how long people can wear the same exercise garment, depending on the type of fabric and the presence of antimicrobial treatment. The secondary objective is to assess the reasons for length of wear from perceptions of clothing characteristics, including nine ordinal scales. Cardiovascular exercise was chosen as the activity in this experiment for its profuse sweating effect and because it is considered a more severe treatment applied to the clothes than every-day usage. Study garments were exercise T-shirts and shorts purchased from various vendors. Fabric construction, fabric composition, and finishing treatment were defined as the key variables. A web-based questionnaire was used for self-reported data collection. The study was divided in three balanced experiments: a cotton-polyester-wool (CPW) T-shirts study with 61 participants, a polyester-modacrylic-polyester/cocona (PMC) T-shirts study with 40 participants, and a shorts study with 70 participants. In the CPW study, the T-shirts were made of 100% cotton, or of 100% polyester or of 100% wool, and categorized into open and tight knit constructions. In the PMC study, the T-shirts were made of 100% polyester, or of 82% modacrylic, or of 95% polyester with 5% cocona fiber, without construction distinction. The shorts were made either of 100% cotton or of 100% polyester, and were knitted or woven. Some garments were treated with Bio-Protect 500 antimicrobial finish according the experimental design. The data collected from the questionnaire included garment identification, level of exertion, duration of exercise session, number of exercise sessions, an ordinal preference scale for nine sensory elements, and reason for retiring a used garment. From the analysis of the combined CPW and PMC shirt studies, there are statistically significant differences among the mean lifetimes of various types of shirts. The exercise shirts with the longest mean lifetimes are untreated wool (600 minutes), treated cotton (526 minutes), and untreated modacrylic (515 minutes). From the combined CPW and PMC shirt studies, the most preferred material was untreated open-knit wool, which is one of the two materials that jointly were worn the longest, untreated wool, both open-knit and tight-knit. For the CP shorts study, there were no statistically significant differences in mean lifetimes of the exercise shorts at the 5% significance level due to the treatment combinations. There was therefore no justification to examine differences among levels of main effects or interactions. The preference for shorts was in this order: untreated woven polyester, untreated knitted polyester, untreated woven cotton, and treated knitted cotton.The nine preference scales were tabulated to determine the preference responses at the end of those exercise periods which were prior to the period when a garment was retired and a new garment was started. The assumption is that an unfavorable assessment of a garment leads to its retirement. The scent scale response was predominantly unfavorable at the end of the exercise period immediately prior to the exercise period when a new garment was started. Additional work on wool clothing is needed to assess if this material can be part of a crew wardrobe for long duration missions. The results of this study informed the choice of fabrics for an upcoming ISS intra-vehicular clothing study.

Orndoff, Evelyne↗

An AeroCom Assessment of Black Carbon in Arctic Snow and Sea Ice

Though many global aerosols models prognose surface deposition, only a few models have been used to directly simulate the radiative effect from black carbon (BC) deposition to snow and sea ice. Here, we apply aerosol deposition fields from 25 models contributing to two phases of the Aerosol Comparisons between Observations and Models (AeroCom) project to simulate and evaluate within-snow BC concentrations and radiative effect in the Arctic. We accomplish this by driving the offline land and sea ice components of the Community Earth System Model with different deposition fields and meteorological conditions from 2004 to 2009, during which an extensive field campaign of BC measurements in Arctic snow occurred. We find that models generally underestimate BC concentrations in snow in northern Russia and Norway, while overestimating BC amounts elsewhere in the Arctic. Although simulated BC distributions in snow are poorly correlated with measurements, mean values are reasonable. The multi-model mean (range) bias in BC concentrations, sampled over the same grid cells, snow depths, and months of measurements, are −4.4 (−13.2 to +10.7) ng/g for an earlier phase of AeroCom models (phase I), and +4.1 (−13.0 to +21.4) ng/g for a more recent phase of AeroCom models (phase II), compared to the observational mean of 19.2 ng/g. Factors determining model BC concentrations in Arctic snow include Arctic BC emissions, transport of extra-Arctic aerosols, precipitation, deposition efficiency of aerosols within the Arctic, and meltwater removal of particles in snow. Sensitivity studies show that the model-measurement evaluation is only weakly affected by meltwater scavenging efficiency because most measurements were conducted in non-melting snow. The Arctic (60-90degN) atmospheric residence time for BC in phase II models ranges from 3.7 to 23.2 days, implying large inter-model variation in local BC deposition efficiency. Combined with the fact that most Arctic BC deposition originates from extra-Arctic emissions, these results suggest that aerosol removal processes are a leading source of variation in model performance. The multi-model mean (full range) of Arctic radiative effect from BC in snow is 0.15 (0.07-0.25) W/sq m and 0.18 (0.06-0.28) W/sq m in phase I and phase II models, respectively. After correcting for model biases relative to observed BC concentrations in different regions of the Arctic, we obtain a multi-model mean Arctic radiative effect of 0.17 W/sq m for the combined AeroCom ensembles. Finally, there is a high correlation between modeled BC concentrations sampled over the observational sites and the Arctic as a whole, indicating that the field campaign provided a reasonable sample of the Arctic.

carbon↗

Manchester Coding Option for SpaceWire: Providing Choices for System Level Design

This paper proposes an optional coding scheme for SpaceWire in lieu of the current Data Strobe scheme for three reasons. First reason is to provide a straightforward method for electrical isolation of the interface; secondly to provide ability to reduce the mass and bend radius of the SpaceWire cable; and thirdly to provide a means for a common physical layer over which multiple spacecraft onboard data link protocols could operate for a wide range of data rates. The intent is to accomplish these goals without significant change to existing SpaceWire design investments. The ability to optionally use Manchester coding in place of the current Data Strobe coding provides the ability to DC balanced the signal transitions unlike the SpaceWire Data Strobe coding; and therefore the ability to isolate the electrical interface without concern. Additionally, because the Manchester code has the clock and data encoded on the same signal, the number of wires of the existing SpaceWire cable could be optionally reduced by 50. This reduction could be an important consideration for many users of SpaceWire as indicated by the already existing effort underway by the SpaceWire working group to reduce the cable mass and bend radius by elimination of shields. However, reducing the signal count by half would provide even greater gains. It is proposed to restrict the data rate for the optional Manchester coding to a fixed data rate of 10 Megabits per second (Mbps) in order to make the necessary changes simple and still able to run in current radiation tolerant Field Programmable Gate Arrays (FPGAs). Even with this constraint, 10 Mbps will meet many applications where SpaceWire is used. These include command and control applications and many instruments applications with have moderate data rate. For most NASA flight implementations, SpaceWire designs are in rad-tolerant FPGAs, and the desire to preserve the heritage design investment is important for cost and risk considerations. The Manchester coding option can be accommodated in existing designs with only changes to the FPGA.

Electrical Isolation↗

Quantifying the Observability of CO2 Flux Uncertainty in Atmospheric CO2 Records Using Products from Nasa's Carbon Monitoring Flux Pilot Project

NASAs Carbon Monitoring System (CMS) Flux Pilot Project (FPP) was designed to better understand contemporary carbon fluxes by bringing together state-of-the art models with remote sensing datasets. Here we report on simulations using NASAs Goddard Earth Observing System Model, version 5 (GEOS-5) which was used to evaluate the consistency of two different sets of observationally constrained land and ocean fluxes with atmospheric CO2 records. Despite the strong data constraint, the average difference in annual terrestrial biosphere flux between the two land (NASA Ames CASA and CASA-GFED) models is 1.7 Pg C for 2009-2010. Ocean models (NOBM and ECCO2-Darwin) differ by 35 in their global estimates of carbon flux with particularly strong disagreement in high latitudes. Based upon combinations of terrestrial and ocean fluxes, GEOS-5 reasonably simulated the seasonal cycle observed at northern hemisphere surface sites and by the Greenhouse gases Observing SATellite (GOSAT) while the model struggled to simulate the seasonal cycle at southern hemisphere surface locations. Though GEOS-5 was able to reasonably reproduce the patterns of XCO2 observed by GOSAT, it struggled to reproduce these aspects of AIRS observations. Despite large differences between land and ocean flux estimates, resulting differences in atmospheric mixing ratio were small, typically less than 5 ppmv at the surface and 3 ppmv in the XCO2 column. A statistical analysis based on the variability of observations shows that flux differences of these magnitudes are difficult to distinguish from natural variability, regardless of measurement platform.

FPP↗

Characterize Human Forward Contamination Project

Let's face it: wherever we go, we will inevitably carry along the little critters that live in and on us. Conventional wisdom has long held that it's unlikely those critters could survive the space environment, but in 2007 microscopic animals called Tardigrades survived exposure to space and in 2008 Cyanobacteria lived for 548 days outside the International Space Station (ISS). But what about the organisms we might reasonably expect a crewed spacecraft to leak or vent? Do we even know what they are? How long might our tiny hitch-hikers survive in close proximity to a warm spacecraft that periodically leaks/vents water or oxygen-and how might they mutate with long-duration exposure? Unlike the Mars rovers that we cleaned once and sent on their way, crew members will provide a constantly regenerating contaminant source. Are we prepared to certify that we can meet forward contamination protocols as we search for life at new destinations? This project has four technical objectives: 1. TEST: Develop a test plan to leverage existing equipment (i.e. ISS) to characterize the kinds of organisms we can reasonably expect pressurized, crewed volumes to vent or leak overboard; 2. ANALYSIS: Develop an analysis plan to study those organisms in relevant destination environments, including spacecraft-induced conditions; 3. MODEL: Develop a modeling plan to model organism transport mechanisms in relevant destination environments; 4. SHARE: Develop a plan to disseminate findings and integrate recommendations into exploration requirements & ops. In short, we propose a system engineering approach to roadmap the necessary experiments, analysis, and modeling up front--rather than try to knit together disparate chunks of data into a sensible conclusion after the fact.

Rucker, Michelle↗

Process Algebra Approach for Action Recognition in the Maritime Domain

The maritime environment poses a number of challenges for autonomous operation of surface boats. Among these challenges are the highly dynamic nature of the environment, the onboard sensing and reasoning requirements for obeying the navigational rules of the road, and the need for robust day/night hazard detection and avoidance. Development of full mission level autonomy entails addressing these challenges, coupled with inference of the tactical and strategic intent of possibly adversarial vehicles in the surrounding environment. This paper introduces PACIFIC (Process Algebra Capture of Intent From Information Content), an onboard system based on formal process algebras that is capable of extracting actions/activities from sensory inputs and reasoning within a mission context to ensure proper responses. PACIFIC is part of the Behavior Engine in CARACaS (Cognitive Architecture for Robotic Agent Command and Sensing), a system that is currently running on a number of U.S. Navy unmanned surface and underwater vehicles. Results from a series of experimental studies that demonstrate the effectiveness of the system are also presented.

process algebras↗

Hybrids of Solar Sail, Solar Electric, and Solar Thermal Propulsion for Solar-System Exploration

Solar sails have long been known to be an attractive method of propulsion in the inner solar system if the areal density of the overall spacecraft (S/C) could be reduced to approx.10 g/sq m. It has also long been recognized that the figure (precise shape) of useful solar sails needs to be reasonably good, so that the reflected light goes mostly in the desired direction. If one could make large reflective surfaces with reasonable figure at an areal density of approx.10 g/sq m, then several other attractive options emerge. One is to use such sails as solar concentrators for solar-electric propulsion. Current flight solar arrays have a specific output of approx. 100W/kg at 1 Astronomical Unit (AU) from the sun, and near-term advances promise to significantly increase this figure. A S/C with an areal density of 10 g/sq m could accelerate up to 29 km/s per year as a solar sail at 1 AU. Using the same sail as a concentrator at 30 AU, the same spacecraft could have up to approx. 45 W of electric power per kg of total S/C mass available for electric propulsion (EP). With an EP system that is 50% power-efficient, exhausting 10% of the initial S/C mass per year as propellant, the exhaust velocity is approx. 119 km/s and the acceleration is approx. 12 km/s per year. This hybrid thus opens attractive options for missions to the outer solar system, including sample-return missions. If solar-thermal propulsion were perfected, it would offer an attractive intermediate between solar sailing in the inner solar system and solar electric propulsion for the outer solar system. In the example above, both the solar sail and solar electric systems don't have a specific impulse that is near-optimal for the mission. Solar thermal propulsion, with an exhaust velocity of the order of 10 km/s, is better matched to many solar system exploration missions. This paper derives the basic relationships between these three propulsion options and gives examples of missions that might be enabled by such hybrids.

In-space Propulsion↗

Characterize Human Forward Contamination Project

Let's face it: wherever we go, we will inevitably carry along the little critters that live in and on us. Conventional wisdom has long held that it's unlikely those critters could survive the space environment, but in 2007 microscopic animals called Tardigrades survived exposure to space and in 2008 Cyanobacteria lived for 548 days outside the International Space Station (ISS). But what about the organisms we might reasonably expect a crewed spacecraft to leak or vent? Do we even know what they are? How long might our tiny hitch-hikers survive in close proximity to a warm spacecraft that periodically leaks/vents water or oxygen-and how might they mutate with long-duration exposure? Unlike the Mars rovers that we cleaned once and sent on their way, crew members will provide a constantly regenerating contaminant source. Are we prepared to certify that we can meet forward contamination protocols as we search for life at new destinations? This project has four technical objectives: 1. TEST: Develop a test plan to leverage existing equipment (i.e. ISS) to characterize the kinds of organisms we can reasonably expect pressurized, crewed volumes to vent or leak overboard; as part of testing, we'll need to develop an Extravehicular Activity (EVA)-compatible tool that can withstand the pressure and temperature extremes of space, as well as collect, separate, and store multiple samples; 2. ANALYSIS: Develop an analysis plan to study those organisms in relevant destination environments, including spacecraft-induced conditions; 3. MODEL: Develop a modeling plan to model organism transport mechanisms in relevant destination environments; 4. SHARE: Develop a plan to disseminate findings and integrate recommendations into exploration requirements & ops. In short, we propose a system engineering approach to roadmap the necessary experiments, analysis, and modeling up front--rather than try to knit together disparate chunks of data into a sensible conclusion after the fact.

Rucker, Michelle↗

A Flexible and Non-instrusive Approach for Computing Complex Structural Coverage Metrics

Software analysis tools and techniques often leverage structural code coverage information to reason about the dynamic behavior of software. Existing techniques instrument the code with the required structural obligations and then monitor the execution of the compiled code to report coverage. Instrumentation based approaches often incur considerable runtime overhead for complex structural coverage metrics such as Modified Condition/Decision (MC/DC). Code instrumentation, in general, has to be approached with great care to ensure it does not modify the behavior of the original code. Furthermore, instrumented code cannot be used in conjunction with other analyses that reason about the structure and semantics of the code under test. In this work, we introduce a non-intrusive preprocessing approach for computing structural coverage information. It uses a static partial evaluation of the decisions in the source code and a source-to-bytecode mapping to generate the information necessary to efficiently track structural coverage metrics during execution. Our technique is flexible; the results of the preprocessing can be used by a variety of coverage-driven software analysis tasks, including automated analyses that are not possible for instrumented code. Experimental results in the context of symbolic execution show the efficiency and flexibility of our nonintrusive approach for computing code coverage information

DO-178C↗

In Flight Calibration of the Magnetospheric Multiscale Mission Fast Plasma Investigation

The Fast Plasma Investigation (FPI) on the Magnetospheric Multiscale mission (MMS) combines data from eight spectrometers, each with four deflection states, into a single map of the sky. Any systematic discontinuity, artifact, noise source, etc. present in this map may be incorrectly interpreted as legitimate data and incorrect conclusions reached. For this reason it is desirable to have all spectrometers return the same output for a given input, and for this output to be low in noise sources or other errors. While many missions use statistical analyses of data to calibrate instruments in flight, this process is difficult with FPI for two reasons: 1. Only a small fraction of high resolution data is downloaded to the ground due to bandwidth limitations and 2: The data that is downloaded is, by definition, scientifically interesting and therefore not ideal for calibration. FPI uses a suite of new tools to calibrate in flight. A new method for detection system ground calibration has been developed involving sweeping the detection threshold to fully define the pulse height distribution. This method has now been extended for use in flight as a means to calibrate MCP voltage and threshold (together forming the operating point) of the Dual Electron Spectrometers (DES) and Dual Ion Spectrometers (DIS). A method of comparing higher energy data (which has low fractional voltage error) to lower energy data (which has a higher fractional voltage error) will be used to calibrate the high voltage outputs. Finally, a comparison of pitch angle distributions will be used to find remaining discrepancies among sensors.

Detection-system↗