Search NASA⌕ Search

Engineering topics

Cucullu, Gordon C., III

Publications and source records attributed to Cucullu, Gordon C., III.

Results of All Polyimide, Etched Foil Heater Qualification and Failure Limit Testing

Standard FEP (Fluorinated Ethylene Propylene resin) polyimide (SFP) or Kapton film heaters—which have a long history of space flight—are output-power limited by the melting point of Teflon which is used as an adhesive and insulator between the encasing layers of Kapton. The limit is expressed as a power density or through maximum operating temperature limits. All-polyimide (AP) heaters (also known as adhesive-less heaters) do not contain FEP Teflon between the layers of Kapton so the heaters are unconstrained by the melting point of Teflon. Thus, AP heaters have a higher maximum power density and operating temperature. AP heaters have not been qualified or flown on JPL missions but could be useful in applications that require a higher power density (Watt density) than the SFP heaters can support. The purpose of this paper is to document the qualification and property testing of the AP heaters for flight purposes. JPL (Jet Propulsion Lab.) tested several varieties of all-polyimide heaters to determine their functional equivalence to the standard heater which has substantial flight heritage and to determine their maximum limits. Tests included standard in-air burn-in tests, maximum power testing, lead pull strength, process qualification verification (PQV), long duration thermal cycling, and electro-magnetic compatibility shielding properties for copper-cladded shielded heaters. The results show that the all-polyimide heater appears to be functionally equivalent to the standard heater and has a higher Watt density and maximum operating temperature limit. The tests, test articles, failure analysis of the test articles, and results are described herein. These test results indicate that the all-polyimide heater is ready for flight applications.

Cucullu, Gordon C., III↗

PRTs and Their Bonding for Long-Duration, Extreme-Temperature Environments

Research was conducted on the qualification of Honeywell platinum resistance thermometer (PRT) bonding for use in the Mars Science Laboratory (MSL). This is the first time these sensors will be used for Mars-related projects. Different types of PRTs were employed for the Mars Exploration Rover (MER) project, and several reliability issues were experienced, even for a shortduration mission like MER compared to MSL. Therefore, the development of a qualification process for the Honeywell PRT bonding was needed for the MSL project. Reliability of the PRT sensors, and their bonding processes, is a key element to understand the health of the hardware during all stages of the project, and particularly during surface operations on Mars. Three extreme temperature summer season cycles and three winter season cycles (total: 1983 thermal cycles) were completed, and no Honeywell PRT failures associated with the bonding process were found. Seventy-eight PRTs were bonded onto six different substrate materials using four different adhesives during the thermal cycling, which included a planetary protection cycle to +125 C for two hours, three protoflight/qualification cycles (-135 to 70 C), 1,384 summer cycles (-105 to 40 C), and 599 winter cycles (-130 to 15 C). There were no observed changes in PRT resistances, bonding characteristics, or damage identified from the package evaluation as a result of the qualification tests.

Ramesham, Rajeshuni↗

Model Checking Artificial Intelligence Based Planners: Even the Best Laid Plans Must Be Verified

Automated planning systems (APS) are gaining acceptance for use on NASA missions as evidenced by APS flown On missions such as Orbiter and Deep Space 1 both of which were commanded by onboard planning systems. The planning system takes high level goals and expands them onboard into a detailed of action fiat the spacecraft executes. The system must be verified to ensure that the automatically generated plans achieve the goals as expected and do not generate actions that would harm the spacecraft or mission. These systems are typically tested using empirical methods. Formal methods, such as model checking, offer exhaustive or measurable test coverage which leads to much greater confidence in correctness. This paper describes a formal method based on the SPIN model checker. This method guarantees that possible plans meet certain desirable properties. We express the input model in Promela, the language of SPIN and express the properties of desirable plans formally.

model checking↗