Advanced Computer Program Models : A Talking Textbook Based on Three Languages

The purpose of this dissertation was to develop a learning instrument, to be used by programmers preparing for the Data Processing Management Association Test as a self study book, or by college business programming and computer science students who have completed a course in data processing and a course in programming a higher level language. The mathematical ability requirement was minimized by developing the algorithms in parallel with the programs. The learner should experience _emphasis in the following .areas: l. The type of activities required to pass the DPMA test (the programming part) 2. Data Structures 3. Fortran (at the level of the DPMA test) I 4. RPG (at the level of the DPMA test) 5. Flow chart reading and writing Fortran and RPG (Report Program Generator) languages were used, since their proficiency is required for the DPMA test; however a subset of IBM Basic Assembler language was used, because the author believed that a person who is more than superficially interested in computers should demonstrate a proficiency with a machine language. An important part of this method of presentation are the cassette recordings which allow the learner to progress outside the classroom. The recordings plus the hard copy of the actual programs, diminished in size, give the learner material which he can move to any location and study without the presence of the instructor

Rehearsal: A Configuration Verification Tool for Puppet

Large-scale data centers and cloud computing have turned system configuration into a challenging problem. Several widely-publicized outages have been blamed not on software bugs, but on configuration bugs. To cope, thousands of organizations use system configuration languages to manage their computing infrastructure. Of these, Puppet is the most widely used with thousands of paying customers and many more open-source users. The heart of Puppet is a domain-specific language that describes the state of a system. Puppet already performs some basic static checks, but they only prevent a narrow range of errors. Furthermore, testing is ineffective because many errors are only triggered under specific machine states that are difficult to predict and reproduce. With several examples, we show that a key problem with Puppet is that configurations can be non-deterministic. This paper presents Rehearsal, a verification tool for Puppet configurations. Rehearsal implements a sound, complete, and scalable determinacy analysis for Puppet. To develop it, we (1) present a formal semantics for Puppet, (2) use several analyses to shrink our models to a tractable size, and (3) frame determinism-checking as decidable formulas for an SMT solver. Rehearsal then leverages the determinacy analysis to check other important properties, such as idempotency. Finally, we apply Rehearsal to several real-world Puppet configurations.Comment: In proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 201

Evaluation of Sandwich Structure Bonding In Out-of-Autoclave Processing

The out-of-autoclave-vacuum-bag-only (OOA-VBO) process is low in capital expenditures compared to the traditional autoclave, however, the material challenges for OOA-VBO workable material systems are high. Presently there are few such aerospace grade prepreg materials available commercially. In this study, we evaluated processing and properties of honeycomb sandwich structure (HC/SS) panels fabricated by co-curing composite face sheet with adhesives by the OOA-VBO process in an oven. The prepreg materials were IM7/MTM 45-1 and T40-800B/5320. Adhesives studied were AF-555M, XMTA-241/PM15, FM-309-1M and FM-300K. Aluminum H/C cores with and without perforations were included. It was found that adhesives in IM7/MTM 45-1/AF-555M, T40-800B/5320/FM 309-1M and T40-800B/5320/FM-300K panels all foamed but yielded high flatwise tensile (FWT) strength values above 8,275 kPA (1,200 psi). IM7/MTM 45-1/XMTA-241/PM15 did not foam, yet yielded a low FWT strength. SEM photomicrographs revealed that the origin of this low strength was poor adhesion in the interfaces between the adhesive and face sheet composite due to poor wetting associated with the high initial viscosity of the XMTA-241/PM15 adhesive

Visiting Urban Green Space and Orientation to Nature Is Associated with Better Wellbeing during COVID-19 : International Journal of Environmental Research and Public Health

The COVID-19 pandemic has severely challenged mental health and wellbeing. However, research has consistently reinforced the value of spending time in green space for better health and wellbeing outcomes. Factors such as an individual’s nature orientation, used to describe one’s affinity to nature, may influence an individual’s green space visitation behaviour, and thus influence the wellbeing benefits gained. An online survey in Brisbane and Sydney, Australia (n = 2084), deployed during the COVID-19 pandemic (April 2021), explores if nature experiences and nature orientation are positively associated with personal wellbeing and if increased amounts of nature experiences are associated with improvement in wellbeing in the first year of the COVID-19 pandemic. We found that both yard and public green space visitation, as well as nature orientation scores, were correlated with high personal wellbeing scores, and individuals who spent more time in green space compared to the previous year also experienced a positive change in their health and wellbeing. Consistently, people with stronger nature orientations are also more likely to experience positive change. We also found that age was positively correlated to a perceived improvement in wellbeing over the year, and income was negatively correlated with a decreased change in wellbeing over the year, supporting other COVID-19 research that has shown that the effects of COVID-19 lifestyle changes were structurally unequal, with financially more established individuals experiencing better wellbeing. Such results highlight that spending time in nature and having high nature orientation are important for gaining those important health and wellbeing benefits and may provide a buffer for wellbeing during stressful periods of life that go beyond sociodemographic factors.Peer reviewe

Ariel - Volume 10 Number 3

Executive Editors Madalyn Schaefgen David Reich Business Manager David Reich News Editors Medical College Edward Zurad CAHS John Guardiani World Mark Zwanger Features Editors Meg Trexler Jim O\u27Brien Editorials Editor Jeffrey Banyas Photography and Sports Editor Stuart Singer Commons Editor Brenda Peterso

Rate of telomere shortening and cardiovascular damage: a longitudinal study in the 1946 British Birth Cohort.

AIM: Cross-sectional studies reported associations between short leucocyte telomere length (LTL) and measures of vascular and cardiac damage. However, the contribution of LTL dynamics to the age-related process of cardiovascular (CV) remodelling remains unknown. In this study, we explored whether the rate of LTL shortening can predict CV phenotypes over 10-year follow-up and the influence of established CV risk factors on this relationship. METHODS AND RESULTS: All the participants from the MRC National Survey of Health and Development (NSHD) with measures of LTL and traditional CV risk factors at 53 and 60-64 years and common carotid intima-media thickness (cIMT), cardiac mass and left ventricular function at 60-64 years were included. LTL was measured by real-time polymerase chain reaction and available at both time points in 1033 individuals. While LTL at 53 years was not linked with any CV phenotype at 60-64 years, a negative association was found between LTL and cIMT at 60-64 years (β = -0.017, P = 0.015). However, the strongest association was found between rate of telomere shortening between 53 and 60-64 years and values of cIMT at 60-64 years (β = -0.020, P = 0.006). This association was not affected by adjustment for traditional CV risk factors. Cardiac measurements were not associated with cross-sectional or longitudinal measures of LTL. CONCLUSION: These findings suggest that the rate of progression of cellular ageing in late midlife (reflected by the rate of LTL attrition) relates to vascular damage, independently from contribution of CV risk factor exposure

Miniature exoplanet radial velocity array I: design, commissioning, and early photometric results

The MINiature Exoplanet Radial Velocity Array (MINERVA) is a US-based observational facility dedicated to the discovery and characterization of exoplanets around a nearby sample of bright stars. MINERVA employs a robotic array of four 0.7 m telescopes outfitted for both high-resolution spec- troscopy and photometry, and is designed for completely autonomous operation. The primary science program is a dedicated radial velocity survey and the secondary science objective is to obtain high precision transit light curves. The modular design of the facility and the flexibility of our hardware allows for both science programs to be pursued simultaneously, while the robotic control software provides a robust and efficient means to carry out nightly observations. In this article, we describe the design of MINERVA including major hardware components, software, and science goals. The telescopes and photometry cameras are characterized at our test facility on the Caltech campus in Pasadena, CA, and their on-sky performance is validated. New observations from our test facility demonstrate sub-mmag photometric precision of one of our radial velocity survey targets, and we present new transit observations and fits of WASP-52b—a known hot-Jupiter with an inflated radius and misaligned orbit. The process of relocating the MINERVA hardware to its final destination at the Fred Lawrence Whipple Observatory in southern Arizona has begun, and science operations are expected to commence within 2015

Observations of a noctilucent cloud above Logan, Utah (41.7oN, 111.8oW) in 1995

A Rayleigh-scatter lidar has been operated at the Atmospheric Lidar Observatory (ALO) on the Utah State University (USU) campus (41.7°N, 111.8°W) since August 1993. During the morning of 22 June 1995, lidar returns from a noctilucent cloud (NLC) were observed for approximately 1 hr, well away from the twilight periods when NLCs are visible. This detection of an NLC at this latitude shows that the first reported sighting, in 1999 (Wickwar et al., 2002), was not a unique occurrence. This 1995 observation differs from the 1999 one in that temperatures could be deduced. Near the 83-km NLC altitude the temperatures were found to be up to ∼23 K cooler than the 11-year June climatology for ALO. This analysis shows that these cool temperatures arose, not because the whole profile was cooler, but because of a major temperature oscillation or wave with a 22-km vertical wavelength and a ∼0.9 km/hr downward phase speed. This large-amplitude wave has many of the characteristics of the diurnal tide. However, the amplitude would have to be enhanced considerably. These lidar observations were supplemented by OH rotational temperature observations from approximately 87 km. These NLC observations equatorward of 50° have been suggested to be significant harbingers of global change. However, if that were the case, the mechanism is more complicated than a simple overall cooling or an increase in water vapor. Accordingly, we propose enhanced generation of gravity waves that would interact with the diurnal tide to produce a large-amplitude wave, the cold phase of which would give rise to low enough temperatures to produce the NLC. The gravity wave source might be orographic in the Mountain West or convective far to the east or south