Search NASA⌕ Search

SEARCH · Search NASA

Results for “cycling protocols”

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

Exploiting Aerobic Fitness To Reduce Risk Of Hypobaric Decompression Sickness

Decompression sickness (DCS) is multivariable. But we hypothesize an aerobically fit person is less likely to experience hypobaric DCS than an unfit person given that fitness is exploited as part of the denitrogenation (prebreathe, PB) process prior to an altitude exposure. Aerobic fitness is peak oxygen uptake (VO2pk, ml/kg/min). METHODS: Treadmill or cycle protocols were used over 15 years to determine VO2pks. We evaluated dichotomous DCS outcome and venous gas emboli (VGE) outcome detected in the pulmonary artery with Doppler ultrasound associated with VO2pk for two classes of experiments: 1) those with no PB or PB under resting conditions prior to ascent in an altitude chamber, and 2) PB that included exercise for some part of the PB. There were 165 exposures (mean VO2pk 40.5 +/- 7.6 SD) with 25 cases of DCS in the first protocol class and 172 exposures (mean VO2pk 41.4 +/- 7.2 SD) with 25 cases of DCS in the second. Similar incidence of the DCS (15.2% vs. 14.5%) and VGE (45.5% vs. 44.8%) between the two classes indicates that decompression stress was similar. The strength of association between outcome and VO2pk was evaluated using univariate logistic regression. RESULTS: An inverse relationship between the DCS outcome and VO2pk was evident, but the relationship was strongest when exercise was done as part of the PB (exercise PB, coef. = -0.058, p = 0.07; rest or no PB, coef. = -0.005, p = 0.86). There was no relationship between VGE outcome and VO2pk (exercise PB, coef. = -0.003, p = 0.89; rest or no PB, coef. = 0.014, p = 0.50). CONCLUSIONS: A significant change in probability of DCS was associated with fitness only when exercise was included in the denitrogenation process. We believe a fit person that exercises during PB efficiently eliminates dissolved nitrogen from tissues.

Conkin, Johnny↗
NASA NTRS2007

Exploiting Aerobic Fitness to Reduce Risk of Hypobaric Decompression Sickness

Decompression sickness (DCS) is multivariable. But we hypothesize an aerobically fit person is less likely to experience hypobaric DCS than an unfit person given that fitness is exploited as part of the denitrogenation (prebreathe, PB) process prior to an altitude exposure. Aerobic fitness is peak oxygen uptake (VO2pk, ml/kg/min). Treadmill or cycle protocols were used over 15 years to determine VO2pks. We evaluated dichotomous DCS outcome and venous gas emboli (VGE) outcome detected in the pulmonary artery with Doppler ultrasound associated with VO2pk for two classes of experiments: 1) those with no PB or PB under resting conditions prior to ascent in an altitude chamber, and 2) PB that included exercise for some part of the PB. There were 165 exposures (mean VO2pk 40.5 plus or minus 7.6 SD) with 25 cases of DCS in the first protocol class and 172 exposures (mean VO2pk 41.4 plus or minus 7.2 SD) with 25 cases of DCS in the second. Similar incidence of the DCS (15.2% vs. 14.5%) and VGE (45.5% vs. 44.8%) between the two classes indicates that decompression stress was similar. The strength of association between outcome and VO2pk was evaluated using univariate logistic regression. An inverse relationship between the DCS outcome and VO2pk was evident, but the relationship was strongest when exercise was done as part of the PB (exercise PB, coef. = -0.058, p = 0.07; rest or no PB, coef. = -0.005, p = 0.86). There was no relationship between VGE outcome and VO2pk (exercise PB, coef. = -0.003, p = 0.89; rest or no PB, coef. = 0.014, p = 0.50). A significant change in probability of DCS was associated with fitness only when exercise was included in the denitrogenation process. We believe a fit person that exercises during PB efficiently eliminates dissolved nitrogen from tissues.

Conkin, J.↗
NASA NTRS2018

Computer Controlled Solid State Lighting Assembly to Emulate Diurnal Cycle and Improve Circadian Rhythm Control

A light system can simultaneously emulate more than one different diurnal cycle to individually improve circadian rhythm control for more than one observer by having each light fixture autonomously self-controlled. Each light fixture is mountable in respective locations to individually treat respective observers. Each light fixture includes one or more light elements mounted to a housing and are controllable to emit a selected light intensity at a selected light temperature. A micro controller is contained in the housing and includes memory containing instructions for one or more automatic diurnal cycle protocols. The micro controller is in communication with the memory and the one or more light elements to execute the instructions to configure the light fixture to vary the light intensity and the light temperature of the emitted light.

Holbert, Eirik↗
NASA NTRS2004

Heat Production During Countermeasure Exercises Planned for the International Space Station

This investigation's purpose was to determine the amount of heat produced when performing aerobic and resistance exercises planned as part of the exercise countermeasures prescription for the ISS. These data will be used to determine thermal control requirements of the Node 1 and other modules where exercise hardware might reside. To determine heat production during resistive exercise, 6 subjects using the iRED performed 5 resistance exercises which form the core exercises of the current ISS resistive exercise countermeasures. Each exerciser performed a warm-up set at 50% effort, then 3 sets of increasing resistance. We measured oxygen consumption and work during each exercise. Heat loss was calculated as the difference between the gross energy expenditure (minus resting metabolism) and the work performed. To determine heat production during aerobic exercise, 14 subjects performed an interval, cycle exercise protocol and 7 subjects performed a continuous, treadmill protocol. Each 30-min. exercise is similar to exercises planned for ISS. Oxygen consumption monitored continuously during the exercises was used to calculate the gross energy expenditure. For cycle exercise, work performed was calculated based on the ergometer's resistance setting and pedaling frequency. For treadmill, total work was estimated by assuming 25% work efficiency and subtracting the calculated heat production and resting metabolic rate from the gross energy expenditure. This heat production needs to be considered when determining the location of exercise hardware on ISS and designing environmental control systems. These values reflect only the human subject s produced heat; heat produced by the exercise hardware also will contribute to the heat load.

Rapley, Michael G.↗
NASA NTRS2023

Female Astronauts Exhibit Greater Reductions in Aerobic Peak Power Following Long-Duration Space Flight than Males

BACKGROUND: Long-duration exposure to microgravity during space flight causes cardiovascular deconditioning, ultimately reducing aerobic fitness. While sex-based differences play an integral role in health on Earth, there is a paucity of data to inform space flight-induced health and performance implications for female astronauts, which may be critical to ensure health, safety, and mission success. Therefore, this retrospective investigation characterized aerobic capacity in female and male astronauts to inform whether sex differences exist from pre to postflight. METHODS: A NASA historical database (n=47 crew; 11 female, 36 male) of International Space Station (ISS) crewmembers was used to characterize sex differences in aerobic capacity changes from pre to postflight to update the NASA Aerobic and Muscle Risk Evidence Report. Aerobic capacity (VO2pk; ml/kg/min) and peak power (W) were assessed using a graded cycling exercise protocol that included a 3-min warmup at 50 W, with stepwise increases in resistance (25 W/min) until volitional fatigue. Group differences in baseline demographics and the percent change in aerobic capacity from preflight (~90 days before launch) to postflight (~3 days after return) were compared using independent t-tests. Significance was set at P<0.05 (Mean ±SD). RESULTS: At preflight, females were younger (44.5±6.6 vs 48.6±5.6 yrs; p=0.041), weighed less (68.8±10.0 vs 81.0±8.8 kg; p< 0.001), with lower VO2pk (32.8±5.9 vs 37.8±6.0 ml/kg/min; p=0.021) and aerobic peak power (229±42 vs 299±52 W; p< 0.001) than males, but had similar heart rate at VO2pk (176.0±7.3 vs 173.0±10.8 beats/min; p=0.406). ISS flight durations (F: 205.0±58.3 vs M: 176.0±40.5 days; p=0.061) and reductions in VO2pk from pre to postflight were comparable between sexes (F: -11.8±10.7%; M: -8.8%±7.9%; p=0.32). However, females had a greater reduction in aerobic peak power than males (−13.3%±8.9% vs −4.9%±8.8%; p < 0.01). CONCLUSIONS: These data indicate that some indicators of fitness (i.e., aerobic peak power) are more impacted in female astronauts compared to males after long-duration space flight missions. Future investigations with larger sample sizes are necessary to identify the physiological basis of sex-based differences and develop effective countermeasure approaches for both sexes.

Nicole C Strock↗
NASA NTRS2014

Cure Cycle Design Methodology for Fabricating Reactive Resin Matrix Fiber Reinforced Composites: A Protocol for Producing Void-free Quality Laminates

For the fabrication of resin matrix fiber reinforced composite laminates, a workable cure cycle (i.e., temperature and pressure profiles as a function of processing time) is needed and is critical for achieving void-free laminate consolidation. Design of such a cure cycle is not trivial, especially when dealing with reactive matrix resins. An empirical "trial and error" approach has been used as common practice in the composite industry. Such an approach is not only costly, but also ineffective at establishing the optimal processing conditions for a specific resin/fiber composite system. In this report, a rational "processing science" based approach is established, and a universal cure cycle design protocol is proposed. Following this protocol, a workable and optimal cure cycle can be readily and rationally designed for most reactive resin systems in a cost effective way. This design protocol has been validated through experimental studies of several reactive polyimide composites for a wide spectrum of usage that has been documented in the previous publications.

Hou, Tan-Hung↗
NASA NTRS2016

Ambulation During Periods of Supersaturation Increase Decompression Stress in Spacewalk Simulations

Musculoskeletal activity accelerates inert gas elimination during oxygen breathing prior to decompression (prebreathe), but may also promote bubble formation (nucleation) and increase the risk of decompression sickness (DCS). The timing, pattern and intensity of musculoskeletal activity and the level of tissue supersaturation are likely critical to the net effect. Understanding the relationships is important to evaluate exercise prebreathe protocols and quantify decompression risk in gravity and microgravity environments. The NASA Prebreathe Reduction Program (PRP) combined oxygen prebreathe and exercise preceding a low pressure (4.3 psia; altitude equivalent of 30,300 ft [9,235 m]) simulation exposure of non-ambulatory subjects (a microgravity analog) to produce two protocols now used by astronauts preparing for extravehicular activity. One protocol included both upright cycling and non-cycling exercise (CEVIS: 'cycle ergometer vibration isolation system') and one protocol relied on non-cycling exercise only (ISLE: 'in-suit light exercise'). CEVIS trial data serve as control data for the current study to investigate the influence of ambulation exercise in 1G environments on bubble formation and the subsequent risk of DCS.

Pollock, N. W.↗
NASA NTRS1987

Cycle time properties of the FDDI Token Ring Protocol

The FDDI Token Ring Protocol controls communication over fiber optic rings with transmission rates in the range of 100 megabits per second. It is intended to give guaranteed response to time-critical messages by using a 'timed token' protocol, in which noncritical messages may be transmitted only if recent movement of the token among stations has been sufficiently fast relative to a 'target' token rotation line (TTRT). In this paper, two important properties of the protocol are proved. The first is that the average token cycle time is bounded above by the TTRT, and the second is that the maximum token cycle time is at most twice the TTRT. Each property is treated first under the assumption that all overheads are negligible, and second with certain sources of overhead taken into account explicitly. It is found that the proposed standard protocol can be improved for situations of practical interest by a slight modification.

Sevcik, Kenneth C.↗
NASA NTRS2010

Decline in Aerobic Fitness After Long-Term Stays on the International Space Station

U.S. and non-Russian International Partner astronauts who participate in long-term International Space Station (ISS) expeditions perform submaximal cycle exercise tests before, during, and after space flight. The heart rate (HR) and oxygen uptake (VO2) responses to exercise are used to estimate peak VO2 (EVO2pk). Purpose: To determine if the following factors are associated with the preflight-to-post flight change in EVO2pk: gender, age, body weight (BW), number of aerobic exercise sessions/wk- during flight, length of flight, EVO2pk measured before and late during the flight, ISS Expedition number and time between landing and the first post flight test. Methods: Records of 37 ISS astronauts (30 male, BW=81.6 plus or minus 8.6 kg; 7 female BW=66.1 plus or minus 4.9 kg [mean plus or minus SD]), age 46 plus or minus 4 years, were retrospectively examined. Peak HR and VO2 were measured approximately 9 months before flight to establish the test protocol. The submaximal cycle test consisted of three 5-minute stages designed to elicit 25, 50, and 75% of VO2pk. EVO2pk was calculated using linear least-squares extrapolation of average HR and VO2 during the last minute of each stage to predict VO2 at maximal HR. VO2 was not measured during flight and was assumed to not be different from preflight. Testing was performed 45 days before launch, late during flight, and during the week after landing. A random-intercept multivariate model was used to determine which characteristics significantly contributed to post flight EVO2pk. Results: In-flight aerobic exercise averaged 5.4 plus or minus 1.2 sessions/wk. ISS flight duration averaged 163 plus or minus 39 d. Mean EVO2pk values were 3.41 plus or minus 0.64 L (raised dot) per minute before flight, 3.09 plus or minus 0.57 L (raised dot) per minute late in flight, and 3.02 plus or minus 0.65 L (raised dot) per minute after flight. Late- and after-flight values were lower (p less than 0.05) than preflight values and did not differ from each other. Time between landing and post flight testing was 4.5 plus or minus 1.6 days. The only factor significantly associated with the post flight EVO2pk value was the late-flight EVO2pk score. Conclusion: Testing performed late during a mission provides a prediction of EVO2pk after landing. This approach may be implemented during longer missions.

Lynn, Peggy A.↗
NASA NTRS2003

A Simplified Test for Blanching Susceptibility of Copper Alloys

GRCop-84 (Cu-8Cr-4Nb) is a dispersion-strengthened alloy developed for space-launch rocket engine applications, as a liner for the combustion chamber and nozzle ramp. Its main advantage over rival alloys, particularly NARloy-Z (Cu-Ag-Zr), the current liner alloy, is in high temperature mechanical properties. Further validation required that the two alloys be compared with respect to service performance and durability. This has been done, under conditions resembling those expected in reusable launch engine applications. GRCop-84 was found to have a superior resistance to static and cyclic oxidation up to approx. 700 C. In order to improve its performance above 700 C, Cu-Cr coatings have also been developed and evaluated. The major oxidative issue with Cu alloys is blanching, a mode of degradation induced by oxidation-reduction fluctuations in hydrogen-fueled engines. That fluctuation cannot be addressed with conventional static or cyclic oxidation testing. Hence, a further evaluation of the alloy substrates and Cu-Cr coating material necessitated our devising a test protocol that involves oxidaton-reduction cycles. This paper describes the test protocols used and the results obtained.

Thomas-Ogbuji, Linus U.↗
NASA NTRS2013

VEG-01: Veggie Hardware Verification Testing

The Veggie plant/vegetable production system is scheduled to fly on ISS at the end of2013. Since much of the technology associated with Veggie has not been previously tested in microgravity, a hardware validation flight was initiated. This test will allow data to be collected about Veggie hardware functionality on ISS, allow crew interactions to be vetted for future improvements, validate the ability of the hardware to grow and sustain plants, and collect data that will be helpful to future Veggie investigators as they develop their payloads. Additionally, food safety data on the lettuce plants grown will be collected to help support the development of a pathway for the crew to safely consume produce grown on orbit. Significant background research has been performed on the Veggie plant growth system, with early tests focusing on the development of the rooting pillow concept, and the selection of fertilizer, rooting medium and plant species. More recent testing has been conducted to integrate the pillow concept into the Veggie hardware and to ensure that adequate water is provided throughout the growth cycle. Seed sanitation protocols have been established for flight, and hardware sanitation between experiments has been studied. Methods for shipping and storage of rooting pillows and the development of crew procedures and crew training videos for plant activities on-orbit have been established. Science verification testing was conducted and lettuce plants were successfully grown in prototype Veggie hardware, microbial samples were taken, plant were harvested, frozen, stored and later analyzed for microbial growth, nutrients, and A TP levels. An additional verification test, prior to the final payload verification testing, is desired to demonstrate similar growth in the flight hardware and also to test a second set of pillows containing zinnia seeds. Issues with root mat water supply are being resolved, with final testing and flight scheduled for later in 2013.

Massa, Gioia↗
NASA NTRS1998

Ultrasonic Attenuation Results of Thermoplastic Resin Composites Undergoing Thermal and Fatigue Loading

As part of an effort to obtain the required information about new composites for aviation use, materials and NDE researchers at NASA are jointly performing mechanical and NDE measurements on new composite materials. The materials testing laboratory at NASA is equipped with environmental chambers mounted on load frames that can expose composite materials to thermal and loading cycles representative of flight protocols. Applying both temperature and load simultaneously will help to highlight temperature and load interactions during the aging of these composite materials. This report highlights our initial ultrasonic attenuation results from thermoplastic composite samples that have undergone over 4000 flight cycles to date. Ultrasonic attenuation measurements are a standard method used to assess the effects of material degradation. Recently, researchers have shown that they could obtain adequate contrast in the evaluation of thermal degradation in thermoplastic composites by using frequencies of ultrasound on the order of 24 MHz. In this study, we address the relationship of attenuation measured at lower frequencies in thermoplastic composites undergoing both thermal and mechanical loading. We also compare these thermoplastic results with some data from thermoset composites undergoing similar protocols. The composite s attenuation is reported as the slope of attenuation with respect to frequency, defined as b = Da(f)/Df. The slope of attenuation is an attractive parameter since it is quantitative, yet does not require interface corrections like conventional quantitative attenuation measurements. This latter feature is a consequence of the assumption that interface correction terms are frequency independent. Uncertainty in those correction terms can compromise the value of conventional quantitative attenuation data. Furthermore, the slope of the attenuation more directly utilizes the bandwidth information and in addition, the bandwidth can be adjusted in the post processing stage to compensate for the loss of dynamic range of the signal as the composites age.

Madaras, Eric I.↗
NASA NTRS1998

Exercise Countermeasures Demonstration Project During the Lunar-Mars Life Support Test Project Phase 2A

This demonstration project assessed the crew members' compliance to a portion of the exercise countermeasures planned for use onboard the International Space Station (ISS) and the outcomes of their performing these countermeasures. Although these countermeasures have been used separately in other projects and investigations, this was the first time they'd been used together for an extended period (60 days) in an investigation of this nature. Crew members exercised every day for six days, alternating every other day between aerobic and resistive exercise, and rested on the seventh day. On the aerobic exercise days, subjects exercised on an electronically braked cycle ergometer using a protocol that has been previously shown to maintain aerobic capacity in subjects exposed to a space flight analogue. On the resistive exercise days, crew members performed five major multijoint resistive exercises in a concentric mode, targeting those muscle groups and bones we believe are most severely affected by space flight. The subjects favorably tolerated both exercise protocols, with a 98% compliance to aerobic exercise prescription and a 91% adherence to the resistive exercise protocol. After 60 days, the crew members improved their peak aerobic capacity by an average 7%, and strength gains were noted in all subjects. These results suggest that these exercise protocols can be performed during ISS, lunar, and Mars missions, although we anticipate more frequent bouts with both protocols for long-duration spaceflight. Future projects should investigate the impact of increased exercise duration and frequency on subject compliance, and the efficacy of such exercise prescriptions.

Lee, Stuart M. C.↗
NASA NTRS1997

Ultrasonic Studies of Composites Undergoing Thermal and Fatigue Loading

New composite materials possess attractive properties for use in advanced aircraft. A necessary requirement for their introduction into aeronautic use is an accurate understanding of their long term aging processes so that proper design criteria can be established. In order to understand those properties, these composites must be exposed to thermal and load cycles that are characteristic of flight conditions. Additionally, airline companies will require nondestructive evaluation (NDE) methods that can be used in the field to assess the condition of these new materials as they age. As part of an effort to obtain the required information about new composites for aviation use, we are performing ultrasonic measurements both in the NDE laboratory and in the materials testing laboratory at NASA. The materials testing laboratory is equipped with environmental chambers mounted on load frames so that composite samples can be exposed to thermal and loading cycles representative of flight protocols. Applying both temperature and load simultaneously will help to highlight temperature and load interactions during the aging of these composite materials. This study reports on our initial ultrasonic attenuation results from thermoset and thermoplastic composite samples. Ultrasonic attenuation measurements have been used reliably to assess the effects of material degradation. For example, recently, researchers have shown that by using frequencies of ultrasound on the order of 24 MHz, they could obtain adequate contrast in the evaluation of thermal degradation in these composites. This paper will present data that shows results at a lower frequency range. In addition, we report results on the frequency dependence of attenuation as the slope of attenuation with respect to frequency, beta = delta alpha (f) / delta f. The slope of attenuation is an attractive parameter since it is quantitative, yet does not require interface corrections like conventional quantitative attenuation measurements. This is a consequence of the assumption that interface correction terms are frequently independent. Uncertainty in those corrections terms compromises the value of conventional quantitative attenuation data.

Madaras, Eric I.↗
NASA NTRS1995

SeaWiFS technical report series. Volume 25: Ocean optics protocols for SeaWiFS validation, revision 1

This report presents protocols for measuring optical properties, and other environmental variables, to validate the radiometric performance of the Sea-viewing Wide Field-of-view Sensor (SeaWiFS), and to develop and validate bio-optical algorithms for use with SeaWiFS data. The protocols are intended to establish foundations for a measurement strategy to verify the challenging SeaWiFS uncertainty goals of 5 percent in water-leaving radiances and 35 percent in chlorophyll alpha concentration. The protocols first specify the variables which must be measured, and briefly review the rationale for measuring each variable. Subsequent chapters cover detailed protocols for instrument performance specifications, characterizing and calibrating instruments, methods of making measurements in the field, and methods of data analysis. These protocols were developed at a workshop sponsored by the SeaWiFS Project Office (SPO) and held at the Naval Postgraduate School in Monterey, California (9-12 April 1991). This report began as the proceedings of the workshop, as interpreted and expanded by the authors and reviewed by workshop participants and other members of the bio-optical research community. The protocols are an evolving prescription to allow the research community to approach the unprecedented measurement uncertainties implied by the SeaWiFS goals; research and development are needed to improve the state-of-the-art in specific areas. These protocols should be periodically revised to reflect technical advances during the SeaWiFS Project cycle. The present edition (Revision 1) incorporates new protocols in several areas, including expanded protocol descriptions for Case-2 waters and other improvements, as contributed by several members of the SeaWiFS Science Team.

Hooker, Stanford B.↗
NASA NTRS2000

Inflight Exercise Regimen for the 2-Hour Prebreathe Protocol

A 10 min aerobic prebreathe exercise up to 75% V-O2(sub max) on a dual-cycle ergometer, included in the 2-hour prebreathe protocol, has been shown to dramatically reduce the incidence of decompression sickness (DCS) at altitude. In-flight only leg ergometry will be available. A balanced exercise was developed using surgical tubing with the ergometer on-orbit. We hypothesize that a 75% V02max workload, individually prescribed, would be achieved using a target heart rate to regulate the intensity of the arm exercise. VO2, heart rate (HR) / ECG, V-CO2 /V-O2, V(sub E), and V(sub T), and rate of perceived exertion (Borg scale) were measured in eleven healthy subjects who passed a US Air Force Class III Physical examination. A V-O2 peak test was performed to assess the sub-maximal exercise prescription. Two series of sub-maximal tests were performed: (1) leg ergometer/hand ergometer and (2) leg ergometer/surgical tubes. We found no significant differences (P > 0.05) in comparing the means for V-O2 and HR between the predicted and measured values during the final 4 minute-stage at "75% V-O2 workload" or between the two types of sub-maximal tests. The prescribed prebreathe sub-maximal exercise performed with flight certified surgical tubes was achieved using the target HR.

Foster, Philip P.↗
NASA NTRS1999

Contractile function is unaltered in diaphragm from mice lacking calcium release channel isoform 3

Skeletal muscle expresses at least two isoforms of the calcium release channel in the sarcoplasmic reticulum (RyR1 and RyR3). Whereas the function of RyR1 is well defined, the physiological significance of RyR3 is unclear. Some authors have suggested that RyR3 participates in excitation-contraction coupling and that RyR3 may specifically confer resistance to fatigue. To test this hypothesis, we measured contractile function of diaphragm strips from adult RyR3-deficient mice (exon 2-targeted mutation) and their heterozygous and wild-type littermates. In unfatigued diaphragm, there were no differences in isometric contractile properties (twitch characteristics, force-frequency relationships, maximal force) among the three groups. Our fatigue protocol (30 Hz, 0.25 duty cycle, 37 degrees C) depressed force to 25% of the initial force; however, lack of RyR3 did not accelerate the decline in force production. The force-frequency relationship was shifted to higher frequencies and was depressed in fatigued diaphragm; lack of RyR3 did not exaggerate these changes. We therefore provide evidence that RyR3 deficiency does not alter contractile function of adult muscle before, during, or after fatigue.

Non-NASA Center↗
NASA NTRS1992

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

In this paper we present a formal model of asynchronous communication as a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into the signal stream consumed by an independently clocked processor. This transformation 'blurs' edges and 'dilates' time due to differences in the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on asynchronous communications at ISO protocol level 1 (physical level). We develop part of the reusable formal theory that permits the convenient application of the model. We use the theory to show that a biphase mark protocol can be used to send messages of arbitrary length between two asynchronous processors. We study two versions of the protocol, a conventional one which uses cells of size 32 cycles and an unconventional one which uses cells of size 18. We conjecture that the protocol can be proved to work under our model for smaller cell sizes and more divergent clock rates but the proofs would be harder.

Moore, J. Strother↗