349 research outputs found

    Enhanced International Space Station Ku-Band Telemetry Service

    Get PDF
    The International Space Station (ISS) is in an operational configuration. To fully utilize the ISS and take advantage of the modern protocols and updated Ku-band access, the Huntsville Operations Support Center (HOSC) has designed an approach to extend the Kuband forward link access for payload investigators to their on-orbit payloads. This dramatically increases the ground to ISS communications for those users. This access also enables the ISS flight controllers operating in the Payload Operations and Integration Center to have more direct control over the systems they are responsible for managing and operating. To extend the Ku-band forward link to the payload user community the development of a new command server is necessary. The HOSC subsystems were updated to process the Internet Protocol Encapsulated packets, enable users to use the service based on their approved services, and perform network address translation to insure that the packets are forwarded from the user to the correct payload repeating that process in reverse from ISS to the payload user. This paper presents the architecture, implementation, and lessons learned. This will include the integration of COTS hardware and software as well as how the device is incorporated into the operational mission of the ISS. Thus, this paper also discusses how this technology can be applicable to payload users of the ISS

    Development and Validity of a Workplace Health Promotion Best Practices Assessment

    Full text link
    Objective: To explore the factor structure of the HERO Health and Well-being Best Practices Scorecard in Collaboration with Mercer (HERO Scorecard) to develop a reduced version and examine the reliability and validity of that version. Methods: A reduced version of the HERO Scorecard was developed through formal statistical analyses on data collected from 845 organizations that completed the original HERO Scorecard. Results: The final factors in the reduced Scorecard represented content pertaining to organizational and leadership support, program comprehensiveness, program integration, and incentives. All four implemented practices were found to have a strong, statistically significant effect on perceived effectiveness. Organizational and leadership support had the strongest effect (β = 0.56), followed by incentives (β = 0.23). Conclusion: The condensed version of the HERO Scorecard has the potential to be a promising tool for future research on the extent to which employers are adopting best practices in their health and well-being (HWB) initiatives

    Workplace Well-Being Factors That Predict Employee Participation, Health and Medical Cost Impact, and Perceived Support

    Full text link
    Purpose: This study tested relationships between health and well-being best practices and 3 types of outcomes. Design: A cross-sectional design used data from the HERO Scorecard Benchmark Database. Setting: Data were voluntarily provided by employers who submitted web-based survey responses. Sample: Analyses were limited to 812 organizations that completed the HERO Scorecard between January 12, 2015 and October 2, 2017. Measures: Independent variables included organizational and leadership support, program comprehensiveness, program integration, and incentives. Dependent variables included participation rates, health and medical cost impact, and perceptions of organizational support. Analysis: Three structural equation models were developed to investigate the relationships among study variables. Results: Model sample size varied based on organizationally reported outcomes. All models fit the data well (comparative fit index \u3e 0.96). Organizational and leadership support was the strongest predictor (P \u3c .05) of participation (n ¼ 276 organizations), impact (n ¼ 160 organizations), and perceived organizational support (n ¼ 143 organizations). Incentives predicted participation in health assessment and biometric screening (P \u3c .05). Program comprehensiveness and program integration were not significant predictors (P \u3e .05) in any of the models. Conclusion: Organizational and leadership support practices are essential to produce participation, health and medical cost impact, and perceptions of organizational support. While incentives influence participation, they are likely insufficient to yield downstream outcomes. The overall study design limits the ability to make causal inferences from the data

    The state of the Martian climate

    Get PDF
    60°N was +2.0°C, relative to the 1981–2010 average value (Fig. 5.1). This marks a new high for the record. The average annual surface air temperature (SAT) anomaly for 2016 for land stations north of starting in 1900, and is a significant increase over the previous highest value of +1.2°C, which was observed in 2007, 2011, and 2015. Average global annual temperatures also showed record values in 2015 and 2016. Currently, the Arctic is warming at more than twice the rate of lower latitudes

    Bindings as bounded natural functors

    Get PDF
    We present a general framework for specifying and reasoning about syntax with bindings. Abstract binder types are modeled using a universe of functors on sets, subject to a number of operations that can be used to construct complex binding patterns and binding-aware datatypes, including non-well-founded and infinitely branching types, in a modular fashion. Despite not committing to any syntactic format, the framework is “concrete” enough to provide definitions of the fundamental operators on terms (free variables, alpha-equivalence, and capture-avoiding substitution) and reasoning and definition principles. This work is compatible with classical higher-order logic and has been formalized in the proof assistant Isabelle/HOL
    corecore