Search NASA⌕ Search

SEARCH · Search NASA

Results for “Quantifier Elimination”

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 19 records

Improving Automated Strategies for Univariate Quantifier Elimination

This report discusses improved support for univariate quantifier elimination in the Prototype Verification System (PVS). Previously, PVS had three strategies for quantifier elimination—hutch, tarski, and sturm. Of these, only hutch is able to decide queries in any input format—sturm only works on queries regarding a single polynomial on an interval and tarski resolves queries in the universal existential fragment. This paper describes an extended version of tarski. The extension is accomplished by formally verifying a disjunctive normal form transformation in PVS and using tarski on each conjunctive clause. Additionally, a preprocessing step is added to the decision procedure underlying tarski. This preprocessing is designed to exploit properties of polynomial structure to quickly resolve queries that have certain formats. The preprocessing produces dramatic speedup when it succeeds in resolving a query, and seems to introduce negligible overhead when it does not resolve a query. Finally, testing reveals some ways to improve the hutch and tarski strategies.

Polynomial Constraints↗

Formal methods for modeling and analysis of hybrid systems

A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems.

Tiwari, Ashish↗

In-situ Inspection of Reflowable-Interface Composite Joints During Cure in an Autoclave

In structural bonds, the interface between adherend and adhesive is nearly two-dimensional making it susceptible to minute quantities of contamination, which can cause weak bonds. Regulatory organizations such as the Federal Aviation Administration (FAA) often require redundant load paths in secondary-bonded, primary-structures to alleviate concerns with bonded performance. Under NASA’s Convergent Aeronautics Solutions (CAS) project, the Adhesive Free Bonding of Composites (AERoBOND) project is investigating reformulated aerospace epoxy-matrix resins to enable reflow and diffusion of the resin at the joint interface during a secondary bonding and cure process. The reflow and intermixing of the matrix resin during assembly can eliminate the material discontinuity at the interface, thereby removing the dependence of bond performance on adhesion at a nearly two-dimensional boundary. AERoBOND process development has evaluated a multitude of parameters including the materials used, the stoichiometric offset of the epoxy resins, time and temperature of cure, and thickness of each ply. Without in-situ process monitoring, the condition of a test article is unknown until mechanical testing is completed. This presentation describes the use of an in-situ ultrasonic inspection system to monitor the joining of two composite parts assembled using the AERoBOND technique. This work quantifies the elimination of the interface by measuring the wave reflection, or lack thereof, at the joint throughout the cure cycle. In addition, the results indicate when reflow and cure of the epoxy resin at the joint occurred. By using the recently developed in-situ inspection with a mobile ultrasonic transducer, localized results can be obtained across a large portion of the joint with high resolution.

Tyler B Hudson↗

In-situ Inspection of Reflowable-Interface Composite Joints During Cure in an Autoclave

In structural bonds, the interface between adherend and adhesive is nearly two-dimensional making it susceptible to minute quantities of contamination, which can cause weak bonds. Regulatory organizations such as the Federal Aviation Administration (FAA) often require redundant load paths in secondary-bonded, primary-structures to alleviate concerns with bonded performance. Under NASA’s Convergent Aeronautics Solutions (CAS) project, the Adhesive Free Bonding of Composites (AERoBOND) project is investigating reformulated aerospace epoxy-matrix resins to enable reflow and diffusion of the resin at the joint interface during a secondary bonding and cure process. The reflow and intermixing of the matrix resin during assembly can eliminate the material discontinuity at the interface, thereby removing the dependence of bond performance on adhesion at a nearly two-dimensional boundary. AERoBOND process development has evaluated a multitude of parameters including the materials used, the stoichiometric offset of the epoxy resins, time and temperature of cure, and thickness of each ply. Without in-situ process monitoring, the condition of a test article is unknown until mechanical testing is completed. This presentation describes the use of an in-situ ultrasonic inspection system to monitor the joining of two composite parts assembled using the AERoBOND technique. This work quantifies the elimination of the interface by measuring the wave reflection, or lack thereof, at the joint throughout the cure cycle. In addition, the results indicate when reflow and cure of the epoxy resin at the joint occurred. By using the recently developed in-situ inspection with a mobile ultrasonic transducer, localized results can be obtained across a large portion of the joint with high resolution.

Tyler B Hudson↗

Space Suit Joint Torque Measurement Method Validation

In 2009 and early 2010, a test method was developed and performed to quantify the torque required to manipulate joints in several existing operational and prototype space suits. This was done in an effort to develop joint torque requirements appropriate for a new Constellation Program space suit system. The same test method was levied on the Constellation space suit contractors to verify that their suit design met the requirements. However, because the original test was set up and conducted by a single test operator there was some question as to whether this method was repeatable enough to be considered a standard verification method for Constellation or other future development programs. In order to validate the method itself, a representative subset of the previous test was repeated, using the same information that would be available to space suit contractors, but set up and conducted by someone not familiar with the previous test. The resultant data was compared using graphical and statistical analysis; the results indicated a significant variance in values reported for a subset of the re-tested joints. Potential variables that could have affected the data were identified and a third round of testing was conducted in an attempt to eliminate and/or quantify the effects of these variables. The results of the third test effort will be used to determine whether or not the proposed joint torque methodology can be applied to future space suit development contracts.

Valish, Dana↗

Space Acceleration Measurement System for Free Flyers

Experimenters from the fluids, combustion, materials, and life science disciplines all use the microgravity environment of space to enhance their understanding of fundamental physical phenomena caused by disturbances from events such as spacecraft maneuvers, equipment operations, atmospheric drag, and (for manned flights) crew movement. Space conditions reduce gravity but do not eliminate it. To quantify the level of these disturbances, NASA developed the Space Acceleration Measurement System (SAMS) series to collect data characterizing the acceleration environment on the space shuttles. This information is provided to investigators so that they can evaluate how the microgravity environment affects their experiments. Knowledge of the microgravity environment also helps investigators to plan future experiments. The original SAMS system flew 20 missions on the shuttle as well as on the Russian space station Mir. Presently, Lewis is developing SAMS-II for the International Space Station; it will be a distributed system using digital output sensor heads. The latest operational version of SAMS, SAMS-FF, was originally designed for free flyer spacecraft and unmanned areas. SAMS-FF is a flexible, modular system, housed in a lightweight package, and it uses advances in technology to improve performance. The hardware package consists of a control and data acquisition module, three different types of sensors, data storage devices, and ground support equipment interfaces. Three different types of sensors are incorporated to measure both high- and low-frequency accelerations and the roll rate velocity. Small, low-power triaxial sensor heads (TSH's) offer high resolution and selectable bandwidth, and a special low-frequency accelerometer is available for high-resolution, low-frequency applications. A state-of-the-art, triaxial fiberoptic gyroscope that measures extremely low roll rates is housed in a compact package. The versatility of the SAMS-FF system is shown in the three different types of missions SAMS-FF has supported.

Kacpura, Thomas J.↗

Control of Risks Through the Use of Procedures: A Method for Evaluating the Change in Risk

This paper considers how procedures can be used to control risks faced by an organization and proposes a means of recognizing if a particular procedure reduces risk or contributes to the organization's exposure. The proposed method was developed out of the review of work documents and the governing procedures performed in the wake of the Columbia accident by NASA and the Space Shuttle prime contractor, United Space Alliance, LLC. A technique was needed to understand the rules, or procedural controls, in place at the time in the context of how important the role of each rule was. The proposed method assesses procedural risks, the residual risk associated with a hazard after a procedure's influence is accounted for, by considering each clause of a procedure as a unique procedural control that may be beneficial or harmful. For procedural risks with consequences severe enough to threaten the survival of the organization, the method measures the characteristics of each risk on a scale that is an alternative to the traditional consequence/likelihood couple. The dual benefits of the substitute scales are that they eliminate both the need to quantify a relationship between different consequence types and the need for the extensive history a probabilistic risk assessment would require. Control Value is used as an analog for the consequence, where the value of a rule is based on how well the control reduces the severity of the consequence when operating successfully. This value is composed of two parts: the inevitability of the consequence in the absence of the control, and the opportunity to intervene before the consequence is realized. High value controls will be ones where there is minimal need for intervention but maximum opportunity to actively prevent the outcome. Failure Likelihood is used as the substitute for the conventional likelihood of the outcome. For procedural controls, a failure is considered to be any non-malicious violation of the rule, whether intended or not. The model used for describing the Failure Likelihood considers how well a task was established by evaluating that task on five components. The components selected to define a well established task are: that it be defined, assigned to someone capable, that they be trained appropriately, that the actions be organized to enable proper completion and that some form of independent monitoring be performed. Validation of the method was based on the information provided by a group of experts in Space Shuttle ground processing when they were presented with 5 scenarios that identified a clause from a procedure. For each scenario, they recorded their perception of how important the associated rule was and how likely it was to fail. They then rated the components of Control Value and Failure Likelihood for all the scenarios. The order in which each reviewer ranked the scenarios Control Value and Failure Likelihood was compared to the order in which they ranked the scenarios for each of the associated components; inevitability and opportunity for Control Value and definition, assignment, training, organization and monitoring for Failure Likelihood. This order comparison showed how the components contributed to a relative relationship to the substitute risk element. With the relationship established for Space Shuttle ground processing, this method can be used to gauge if the introduction or removal of a particular rule will increase or decrease the .risk associated with the hazard it is intended to control.

Praino, Gregory T.↗

Analysis of Phoenix Anomalies and IV and V Findings Applied to the GRAIL Mission

Analysis of patterns in IV&V findings and their correlation with post-launch anomalies allowed GRAIL to make more efficient use of IV&V services . Fewer issues. . Higher fix rate. . Better communication. . Increased volume of potential issues vetted, at lower cost. . Hard to make predictions of post-launch performance based on IV&V findings . Phoenix made sound fix/use as-is decisions . Things that were fixed eliminated some problems, but hard to quantify. . Broad predictive success in one area, but inverse relationship in others.

Gravity Recovery and Interior Laboratory (GRAIL)↗

Image Quality Indicator for Infrared Inspections

The quality of images generated during an infrared thermal inspection depends on many system variables, settings, and parameters to include the focal length setting of the IR camera lens. If any relevant parameter is incorrect or sub-optimal, the resulting IR images will usually exhibit inherent unsharpness and lack of resolution. Traditional reference standards and image quality indicators (IQIs) are made of representative hardware samples and contain representative flaws of concern. These standards are used to verify that representative flaws can be detected with the current IR system settings. However, these traditional standards do not enable the operator to quantify the quality limitations of the resulting images, i.e. determine the inherent maximum image sensitivity and image resolution. As a result, the operator does not have the ability to optimize the IR inspection system prior to data acquisition. The innovative IQI described here eliminates this limitation and enables the operator to objectively quantify and optimize the relevant variables of the IR inspection system, resulting in enhanced image quality with consistency and repeatability in the inspection application. The IR IQI consists of various copper foil features of known sizes that are printed on a dielectric non-conductive board. The significant difference in thermal conductivity between the two materials ensures that each appears with a distinct grayscale or brightness in the resulting IR image. Therefore, the IR image of the IQI exhibits high contrast between the copper features and the underlying dielectric board, which is required to detect the edges of the various copper features. The copper features consist of individual elements of various shapes and sizes, or of element-pairs of known shapes and sizes and with known spacing between the elements creating the pair. For example, filled copper circles with various diameters can be used as individual elements to quantify the image sensitivity limit. Copper line-pairs of various sizes where the line width is equivalent to the spacing between the lines can be used as element-pairs to quantify the image resolution limit.

Burke, Eric↗

Controlled retroreflection - A technique for understanding and eliminating parasitic lasing

Parasitic lasing is examined with an emphasis on understanding and quantifying its effect on high-gain laser systems. Parasitic lasing is unwanted stimulated emission commonly found in high-gain optical systems. A general technique was developed that carefully retroreflects light back into the optical system, thereby creating an externally induced oscillator. Discrepancies between experimental data and threshold calculations for the externally induced oscillator are direct evidence of optical misalignment or of component performance problems. Any changes in the optical system can be directly measured as a change in threshold for the externally induced oscillator. This technique also enables one to align the system for maximum parasitic suppression with the system fully operational. Experimental data illustrating the utility of this technique are presented.

Storm, Mark E.↗

Effects of Yarn Crimping on Braided Composite Design Allowables

Braided composite materials are currently being evaluated for wing skin stiffeners on commercial aircraft. These carbon-fiber/epoxy materials allow for low-cost manufacturing while maintaining high strength-to-weight and stiffness-to-weight ratios. The proposed braid architecture consists of axial carbon fiber yarns and braider carbon fiber yarns making 60 deg to 70 deg angles with respect to the axial yarns. These 2-D triaxial braids are produced as long, continuous tubes, which are flattened, cut, and stacked to produce the desired part thickness and shape. When infiltrated with epoxy resin and cured under a compaction pressure, the fiber yarns become crimped, allowing for higher fiber packing. Although high fiber packing is desirable, yarn crimping (especially in the axial fiberyarns) is undesirable. Significant axial yarn crimp angles (greater than 10 deg) have been measured in braided composites. Comparable levels of crimping have been found to produce significant compressive strength reductions in laminated composites consisting of planar fiber sheets. Thus, axial yarn crimping is suspected of producing significant reductions in compressive strength allowables for braided composites. The objective of this research is to quantify the reduction in compressive strength as a function of axial yarn crimp severity. Since crimp severity can be reduced by lowering the compaction pressure during curing, the resulting compressive strengths may be used to determine optimum processing conditions. A 'cure-on-the-loom' manufacturing process was developed to produce braided composites with controlled levels of crimping. This method allowed for controlled levels of tension to be placed on the axial yarns and maintained during the curing process. With increasing tension, the crimp severity in the axial yarns was reduced. Thus, varying crimp severities were produced ranging from conventional levels (greater than 10 deg) to virtually straight axial yarns. Test results indicate that a 30% increase in compressive strength is obtainable by eliminating axial yarn crimping. Further compression testing is underway to quantify the relationship between crimp severity and compressive strength. Additional testing is planned to investigate the effect of crimping on the open-hole compressive strength, often considered a more significant design allowable.

Adams, Dan↗

Electrostatics of Granular Material (EGM): Space Station Experiment

Aggregates were observed to form very suddenly in a lab-contained dust cloud, transforming (within seconds) an opaque monodispersed cloud into a clear volume containing rapidly-settling, long hair-like aggregates. The implications of such a "phase change" led to a series of experiments progressing from the lab, to KC-135, followed by micro-g flights on USML-1 and USML-2, and now EGM slated for Space Station. We attribute the sudden "collapse" of a cloud to the effect of dipoles. This has significant ramifications for all types of cloud systems, and additionally implicates dipoles in the processes of cohesion and adhesion of granular matter. Notably, there is the inference that like-charged grains need not necessarily repel if they are close enough together: attraction or repulsion depends on intergranular distance (the dipole being more powerful at short range), and the D/M ratio for each grain, where D is the dipole moment and M is the net charge. We discovered that these ideas about dipoles, the likely pervasiveness of them in granular material, the significance of the D/M ratio, and the idea of mixed charges on individual grains resulting from tribological processes --are not universally recognized in electrostatics, granular material studies, and aerosol science, despite some early seminal work in the literature, and despite commercial applications of dipoles in such modern uses as "Krazy Glue", housecleaning dust cloths, and photocopying. The overarching goal of EGM is to empirically prove that (triboelectrically) charged dielectric grains of material have dipole moments that provide an "always attractive" intergranular force as a result of both positive and negative charges residing on the surfaces of individual grains. Microgravity is required for this experiment because sand grains can be suspended as a cloud for protracted periods, the grains are free to rotate to express their electrostatic character, and Coulombic forces are unmasked. Suspended grains will be "interrogated" by applied electrical fields. In one module, grains will be immersed in an inhomogeneous electric field and allowed to be attracted towards or repelled from the central electrode of the module: part of the grain's speed will be a function of its net charge (monopole), part will be a function of the dipole. Observed grain position vs. time will provide a curve that can be deconvolved into the dipole and monopole forces responsible, since both have distinctive radial dependencies. In a second approach, the inhomogeneous field will be alternated at low frequency (e.g., every 5-10 seconds) so that the grains are alternately attracted and repelled from the center of the field. The resulting "zigzag" grain motion will gradually drift inwards, then suddenly change to a unidirectional inward path when a critical radial distance is encountered (a sort of "Coulombic event horizon") at which the dipole strength supersedes the monopole strength --thus proving the presence of a dipole, while also quantifying the D/M ratio. In a second module, an homogeneous electric field eliminates dipole effects (both Coulombic and induced) to provide calibration of the monopole and to more readily evaluate net charge statistical variance. In both modules, the e-fields will be exponentially step-ramped in voltage during the experiment, so that the field "nominalizes" grain speed while spreading the response time --effectively forcing each grain to "wait its turn" to be measured. In addition to rigorously quantifying M, D, and the D/M ratio for many hundreds of grains, the experiment will also observe gross electrometric and RF discharge phenomena associated with grain activity. The parameter space will encompass grain charging levels (via intentional triboelectrification), grain size, cloud density, and material type. Results will prove or disprove the dipole hypothesis. In either case, light will be shed on the role of electrostatic forces in governing granular systems. Knowledge so gained can be applied to natural clouds such as protostellar and protoplanetary dust and debris systems, planetary rings, planetary dust palls and aerosols created by volcanic, impact, aeolian, firestorm, or nuclear winter processes. The data are also directly applicable to adhesion, cohesion, transport, dispersion, and collection of granular materials in industrial, agricultural, pharmaceutical applications, and in fields as diverse as dust contamination of space suits on Mars and crop spraying on Earth.

Marshall, J.↗

Development of Biocompatibility Procedures for Assessment of Plant Growth in Ground Test Hardware for the EMCS

The European Modular Cultivation System (EMCS) is an European Space Agency-developed facility designed to support plant research in microgravity on the IS NASA is responsible for providing US specific hardware to use within the EMCS. In preparation for flight, research will be developed and tested at Ames Research Center in the EMCS ground test hardware, the Experiment Reference Module (ERM) In order to determine the acceptability of the ERM for such purposes, biocompatibility tests will be performed to determine that the hardware functions as intended and successfully supports the' growth of plants. In this report, we describe the development of procedures and the collection of baseline data against which to compare ERM function, e.g. biocompatibility testing. A simple and robust system was developed to grow whole Arabidopsis thaliana plants within the confined volumes characteristic of spaceflight hardware. Our system for growing plants eliminated the necessity of a water/nutrient delivery system and allowed for quantifiable assessment of individual plants, as well as entire population dynamics. To insure uniform germination, seeds were started in small straw segments and transplanted into modified scintillation vials. Seedlings were selected prior to transplantation to decrease genetic variability. Plants were grown for a total of 24 days in standard laboratory plant growth chambers under controlled conditions. Sequential digital still images were taken on a daily basis. Analysis of these images allowed for the quantification of even minute environmental effect, on growth dynamics whole plants. The data collected provide reliable growth curves against which to compare plants grown in the ERM.

Bowman, R. N.↗

Excessive Subsidence of the Southeast Atlantic Biomass Burning Aerosol Plume in the NASA Goddard Earth Observing System (GEOS) Model

Global models struggle to accurately represent the meteorological environment over the Southeast Atlantic Ocean, as evidenced by the poor representation of persistent marine stratocumulus decks off the west coast of southern Africa. This complex regime also experiences significant seasonal biomass burning aerosol plumes that are transported from southern Africa over the Atlantic Ocean, which gradually descend via large scale subsidence and interact radiatively and microphysically with the cloudy environment of the region. In comparisons to space borne lidar and aircraft observations we find that the NASA Goddard Earth Observing System (GEOS) model’s MERRA-2 aerosol and meteorology reanalysis shows that the aerosol plume descends too rapidly due to exaggerated large-scale downward vertical motion. This complicates the evaluation of aerosol properties utilizing aircraft observations collected throughout the ORACLES campaign as well as the model’s representation of the heating rate profiles due to the aerosol itself and its radiative interaction with the semi-permanent cloud deck typically located lower in altitude than the smoke. Two types of modeling experiments using GEOS will be presented to diagnose deficiencies in the model related to the excessive subsidence. Ensembles of free-running model simulations with and without radiatively active biomass burning aerosol will be used to quantify the impact of smoke on the atmospheric circulation. It will be demonstrated that heating within the aerosol layer results in self lofting through a reduction of the subsidence but did not alter the vertical placement or speed of the African Easterly jet. The amount of aerosol absorption required to eliminate the bias in the height of the aerosol plume through self-lofting will then be quantified. Finally, a second type of modeling experiment will be discussed in which the meteorology is constrained to observations. This will allow for biases in the height of the aerosol plume due to the general circulation model to be distinguished from biases that may be induced through the data assimilation process.

Allison Collow↗

Single Transducer Ultrasonic Imaging Method that Eliminates the Effect of Plate Thickness Variation in the Image

This article describes a single transducer ultrasonic imaging method that eliminates the effect of plate thickness variation in the image. The method thus isolates ultrasonic variations due to material microstructure. The use of this method can result in significant cost savings because the ultrasonic image can be interpreted correctly without the need for machining to achieve precise thickness uniformity during nondestructive evaluations of material development. The method is based on measurement of ultrasonic velocity. Images obtained using the thickness-independent methodology are compared with conventional velocity and c-scan echo peak amplitude images for monolithic ceramic (silicon nitride), metal matrix composite and polymer matrix composite materials. It was found that the thickness-independent ultrasonic images reveal and quantify correctly areas of global microstructural (pore and fiber volume fraction) variation due to the elimination of thickness effects. The thickness-independent ultrasonic imaging method described in this article is currently being commercialized under a cooperative agreement between NASA Lewis Research Center and Sonix, Inc.

Roth, Don J.↗

Global Digital Image Mosaics of Mars: Assessment of Geodetic Accuracy

A revised global image mosaic of Mars (MDIM 2.0) was recently completed by USGS. Comparison with high-resolution gridded Mars Orbiter Laser Altimeter (MOLA) digital image mosaics will allow us to quantify its geodetic errors; linking the next MDIM to the MOLA data will help eliminate those errors. Additional information is contained in the original extended abstract.

Kirk, R.↗

SSME HPFTP/AT Turbine Blade Platform Featherseal Damper Design

During the Space Shuttle Main Engines (SSM) HPFtP/AT development program, engine hot fire testing resulted in turbine blade fatigue cracks. The cracks were noted after only a few tests and a several hundred seconds versus the design goal of 60 tests and >30,000 seconds. Subsequent investigation attributed the distress to excessive steady and dynamic loads. To address these excessive turbine blade loads, Pratt & Whitney Liquid Space Propulsion engineers designed and developed retrofitable turbine blade to blade platform featherseal dampers. Since incorporation of these dampers, along with other turbine blade system improvements, there has been no observed SSME HPFTP/AT turbine blade fatigue cracking. The high time HPFTP/AT blade now has accumulated 32 starts and 19,200 seconds hot fire test time. Figure #1 illustrates the HPFTP/AT turbine blade platform featherseal dampers. The approached selected was to improve the turbine blade structural capability while simultaneously reducing loads. To achieve this goal, the featherseal dampers were designed to seal the blade to blade platform gap and damp the dynamic motions. Sealing improves the steady stress margins by increasing turbine efficiency and improving turbine blade attachment thermal conditioning. Load reduction was achieved through damping. Thin Haynes 188 sheet metal was selected based on its material properties (hydrogen resistance, elongation, tensile strengths, etc.). The 36,000 rpm wheel speed of the rotor result in a normal load of 120#/blade. The featherseals then act as micro-slip dampers during actual SSME operation. After initial design and analysis (prior to full engine testing), the featherseal dampers were tested in P&W's spin rig facility in West Palm Beach, Florida. Both dynamic strain gages and turbine blade tip displacement measurements were utilized to quantify the featherseal damper effectiveness. Full speed (36,000 rpm), room temperature rig testing verified the elimination of fundamental mode (i.e, modes 1 & 2) resonant response. The reduction in turbine blade dynamic response is shown for a typical turbine blade. This paper discusses the design and verification of these dampers. The numerous benefits associated with this design concept warrants consideration in existing and future turbomachinery applications.

Montgomery, S. K.↗

Serendipitous Detections of XTE J1906+09 with the Rossi X-ray Timing Explorer

In 1996 during Rossi X-ray Timing Explorer (RXTE) observations of SCR 1900+14, the 89-second X-ray pulsar XTE J1906+09 was discovered. As a result of monitoring campaigns of SGR 1900+14, XTE J1906+09 was also monitored regularly in 1996 September, 1998 May-June, 1998 August-1999 July, and 2000 March-2001 January. A frequency grid search of these observations resulted in detections of only the two previously reported outbursts in 1996 September and 1998 August-September. The non-detection of XTE J1906+09 in most observations indicates that it is a transient X-ray pulsar and therefore likely has a Be star companion, Pulse timing analysis of the second outburst revealed a sinusoidal signature in the pulse frequencies that is likely produced by periastron passage in a long period, eccentric, orbit. During the second outburst, the pulse shape changed with increasing intensity, Low intensity pulse profiles from the second outburst are consistent with profiles from the fainter first outburst. Energy dependent pulse shape variations were seen in both outbursts. Pulse phase spectroscopy was used to quantify these variations. The phase averaged spectrum, using the pulse minimum spectrum as the background spectrum to eliminate effects from SGR 1900+14 and the galactic ridge, was well fitted by an absorbed power law with a high energy cutoff with column density N(sub H) = (6 +/- 1) x 10(exp 22) cm(sup -2), photon index = 1.01 +/- 0.08, cutoff energy E(sub cut) = 11 +/- 1 keV, and folding energy E(sub fold) = 19 +/- 4 keV.

Wilson, Colleen A.↗