A formal architectural specification of the automatic validation of the Everglades National Park hydrology system

This thesis is focused on creating a formal architectural specification of a software system. I have used the computer system at the Everglades National Park (ENP) to conduct a case study. The formal method used is called Z ( zeta ). The case study used was performed on some of the software on the ENP computing system. The software is the Hydrology System and consists of a relational database called Data For Ever and several subsystems that support it. The Data For Ever system is a relational database that stores hydrology data from the Everglades. The supporting software tools are the programs and files that manipulate this hydrology data. The hydrology data were collected from the Everglades swamp. The data collected are water level, water salinity, water temperature, etc. The data were then checked and stored in the Data For Ever database. The system is up and running and in use every day (that is 365/366 days a year) of the year. I added some software tools to it. There was little or no change to the existing database, however the database was redefined in Z specifications. This process is called Reverse Engineering. New modules to test and manipulate the data were defined. At present the data are not being tested or verified automatically as they are being collected from the field. The new modules test and/or verify the incoming data to examine the quality of them. The data are tested to see if they are within preset limits. If they are not, a possible error is recorded. These errors are presented during the daily report that is already in use

Kepler Mission Stellar and Instrument Noise Properties

Kepler Mission results are rapidly contributing to fundamentally new discoveries in both the exoplanet and asteroseismology fields. The data returned from Kepler are unique in terms of the number of stars observed, precision of photometry for time series observations, and the temporal extent of high duty cycle observations. As the first mission to provide extensive time series measurements on thousands of stars over months to years at a level hitherto possible only for the Sun, the results from Kepler will vastly increase our knowledge of stellar variability for quiet solar-type stars. Here we report on the stellar noise inferred on the timescale of a few hours of most interest for detection of exoplanets via transits. By design the data from moderately bright Kepler stars are expected to have roughly comparable levels of noise intrinsic to the stars and arising from a combination of fundamental limitations such as Poisson statistics and any instrument noise. The noise levels attained by Kepler on-orbit exceed by some 50% the target levels for solar-type, quiet stars. We provide a decomposition of observed noise for an ensemble of 12th magnitude stars arising from fundamental terms (Poisson and readout noise), added noise due to the instrument and that intrinsic to the stars. The largest factor in the modestly higher than anticipated noise follows from intrinsic stellar noise. We show that using stellar parameters from galactic stellar synthesis models, and projections to stellar rotation, activity and hence noise levels reproduces the primary intrinsic stellar noise features.Comment: Accepted by ApJ; 26 pages, 20 figure

The Effects of a Korean Ginseng, GINST15, on Hypo-Pituitary-Adrenal and Oxidative Activity Induced by Intense Work Stress

The effect of GINST15, an enzyme fermented ginseng supplement, on hormonal and inflammatory responses to physical stress in humans is unknown. The purpose of this investigation was to examine the constitutive and stress-induced effects of GINST15 supplement on hypo-pituitary-adrenal (HPA) and antioxidant activity in addition to muscle damage. Ten women (age: 38.7 ± 7.8 years; height: 163.81 ± 4.4 cm; body mass 76.0 ± 11.6 kg) and nine men (age: 41.2. ± 9.7 years; height: 177.4 ± 5.3 cm; body mass: 88.5 ± 5.0 kg) participated in a double-blinded, placebo-controlled, counterbalanced within-group study. Participants completed three 14-day treatment cycles with different doses (high: 960 mg; low: 160 mg; placebo: 0 mg) separated by a 1-week washout period. At the end of treatment, physical stress was imposed with intense resistance exercise work stress. Participants provided blood at rest and various time points after exercise (immediately [IP], 30 min [30], 60 min [60], 24 h [+24HR]). Cortisol (CORT), superoxide dismutase (SOD), total glutathione, nonspecific antioxidant activity, total antioxidant power (TAP), and creatine kinase were measured. GINST15 supplementation produced stress-inducible dose-dependent reductions in circulating cortisol and increased enzymatic and nonspecific antioxidant activity. Twenty-four hours after intense exercise, a high dose GINST15, a bioactive ginsenoside metabolite, significantly reduces muscle damage and HPA responses to physical stress in humans; these effects may result from increased antioxidant expression

The Effects of a Korean Ginseng, GINST15, on Perceptual Effort, Psychomotor Performance, and Physical Performance in Men and Women

The purpose of this double-blind, placebo-controlled investigation was to examine the effects of a Korean Ginseng (GINST15) on measures of perception and physical performance following an acute bout of resistance exercise. Ten women (age: 38.7 ± 7.8 years; height: 1.64 ± 0.05 m; body mass: 76.0 ± 11.6 kg) and nine men (age: 41.2. ± 9.7 years; height: 1.77 ± 0.05 m; body mass: 88.5 ± 5.0 kg) completed the investigation. Participants were randomized to a three-cycle testing scheme consisting of high dose ginseng (HIGH: 960 mg/day), low dose ginseng (LOW: 160 mg/day) and placebo (PBO: 0 mg/day). After 14 days of supplementation participants returned to the laboratory for an acute resistance exercise trial (5 sets of 12 repetitions of the leg press at 70% of one-repetition-maximum [1RM]). Ratings of perceived exertion (RPE) were assessed after each set. Muscle pain/soreness was assessed before exercise and 24 hours post exercise. Psychomotor performance and peak power were measured before exercise, immediately post exercise and 24 hours after exercise. Each treatment cycle was separated by a minimum one-week washout period. HIGH significantly reduced perceived exertion during exercise. HIGH and LOW significantly reduced change in muscle soreness at 24 hours post exercise. Analysis of peak power demonstrated the presence of responders (n = 13) and non-responders (n = 6). Responders showed a significant effect of HIGH GINST15 on maintenance of neuromuscular function. The appearance of responders and non-responders, could explain the mixed literature base on the ergogenic properties of ginseng

Changes of Hydration Measures in Elite National Collegiate Athletic Association Division I Wrestlers

Purpose: To evaluate the changes in the state of hydration in elite National Collegiate Athletic Association (NCAA) Division I college wrestlers during and after a season. Methods: Ohio State University wrestling team members (N = 6; mean [SD] age = 19.6 [1.1] y; height = 171.6 [2.9] cm; body mass = 69.5 [8.1] kg) gave informed consent to participate in the investigation with measurements (ie, body mass, urine-specific gravity [USG; 2 methods], Visual Analog Scale thirst scale, plasma osmolality) obtained during and after the season. Results: Measurements for USG, regardless of methods, were not significantly different between visits, but plasma osmolality was significantly (P = .001) higher at the beginning of the season—295.5 (4.9) mOsm·kg−1 compared with 279.6 (6.1) mOsm·kg−1 after the season. No changes in thirst ratings were observed, and the 2 measures of USG were highly correlated (r \u3e .9, P = .000) at each time point, but USG and plasma osmolality were not related. Conclusions: A paradox in the clinical interpretation of euhydration in the beginning of the season was observed with the USG, indicating that the wrestlers were properly hydrated, while the plasma osmolality showed they were not. Thus, the tracking of hydration status during the season is a concern when using only NCAA policies and procedures. The wrestlers did return to normal euhydration levels after the season on both biomarkers, which is remarkable, as previous studies have indicated that this may not happen because of the reregulation of the osmol-regulatory center in the brain

The Hubble Constant from Observations of the Brightest Red Giant Stars in a Virgo-Cluster Galaxy

The Virgo and Fornax clusters of galaxies play central roles in determining the Hubble constant H_0. A powerful and direct way of establishing distances for elliptical galaxies is to use the luminosities of the brightest red-giant stars (the TRGB luminosity, at M_I = -4.2). Here we report the direct observation of the TRGB stars in a dwarf elliptical galaxy in the Virgo cluster. We find its distance to be 15.7 +- 1.5 Megaparsecs, from which we estimate a Hubble constant of H_0 = 77 +- 8 km/s/Mpc. Under the assumption of a low-density Universe with the simplest cosmology, the age of the Universe is no more than 12-13 billion years.Comment: 12 pages, LaTeX, with 2 postscript figures; in press for Nature, July 199

Resistance Training and Milk-Substitution Enhance Body Composition and Bone Health in Adolescent Girls

Background: Increased soft-drink consumption has contributed to poor calcium intake with 90% of adolescent girls consuming less than the RDA for calcium. Purpose/objectives: The purpose of this investigation was to determine the independent and additive effects of two interventions (milk and resistance training) on nutrient adequacy, body composition, and bone health in adolescent girls. Methods: The experimental design consisted of four experimental groups of adolescent girls 14–17 years of age: (1) Milk + resistance training [MRT]; n = 15; (2) Resistance training only [RT]; n = 15; (3) Milk only [M] n = 20; (4) Control [C] n = 16. A few significant differences were observed at baseline between the groups for subject characteristics. Testing was performed pre and post-12 week training period for all groups. Milk was provided (3, 8 oz servings) for both the MRT and the M groups. The MRT group and the RT groups performed a supervised periodized resistance training program consisting of supervised one-hour exercise sessions 3 d/wk (M, W, F) for 12 wk. Baseline dietary data was collected utilizing the NUT-P-FFQ and/or a 120 item FFQ developed by the Fred Hutchinson Cancer Research Center (Seattle, Washington). Body composition was measured in the morning after an overnight fast using dual-energy X-ray absorptiometry (DXA) with a total body scanner (ProdigyTM, Lunar Corporation, Madison, WI). A whole body scan for bone density and lumbar spine scans were performed on all subjects. Maximal strength of the upper and lower body was assessed via a one-repetition maximum (1-RM) squat and bench press exercise protocols. Significance was set at P ≤ 0.05. Results: Significant differences in nutrient intakes between groups generally reflected the nutrient composition of milk with greater intakes of protein and improved nutrient adequacy for several B vitamins, vitamin A, vitamin D, calcium, magnesium, phosphorus, potassium, and zinc. Mean calcium intake was 758 and 1581 mg/d, in the non-milk and milk groups, respectively, with 100% of girls in the milk groups consuming \u3e RDA of 1300 mg/d. There were no effects of milk on body composition or muscle performance, but resistance training had a main effect and significantly increased body mass, lean body mass, muscle strength, and muscle endurance. There was a main effect of milk and resistance training on several measures of bone mineral density (BMD). Changes in whole body BMD in the M, RT, MRT, and CON were 0.45, 0.52, 1.32, and −0.19%, respectively (P \u3c 0.01). Conclusions: Over the course of 12 weeks the effects of 1300 mg/d of calcium in the form of fluid milk combined with a heavy resistance training program resulted in the additive effects of greater nutrient adequacy and BMD in adolescent girls. While further studies are needed, combining increased milk consumption with resistance training appears to optimize bone health in adolescent girls

Systematic and statistical uncertainty evaluation of the HfF+^+ electron electric dipole moment experiment

We have completed a new precision measurement of the electron's electric dipole moment using trapped HfF$^+$ in rotating bias fields. We report on the accuracy evaluation of this measurement, describing the mechanisms behind our systematic shifts. Our systematic uncertainty is reduced by a factor of 30 compared to the first generation of this measurement. Our combined statistical and systematic accuracy is improved by a factor of 2 relative to any previous measurement