AutoPar: automating the parallelization of functional programs

As the pervasiveness of parallel architectures in computing increases, so does the need for efficiently implemented parallel software. However, the development of parallel software is inherently more difficult than that of sequential software and is fraught with many pitfalls, such as race conditions and locking issues, amongst others. Developers are typically more comfortable developing sequentially, yet as the limitations of single-core processor speeds are reached, they have no choice but to reach for parallel implementations to obtain the required performance increases. An obvious solution to the parallelisation problem is to allow developers to continue to develop sequentially and generate efficient parallel programs automatically from these sequential ones. There are many existing techniques which automate the parallelisation process, however these techniques place many constraints upon the programs they are applicable to. This thesis defines a fully automatic parallelisation technique which places no restriction on its input programs and is applicable to programs defined using any data-type. The technique consists of two components: the first allows a given program to be redefined in terms of well-partitioned data. The second then explicitly parallelises the resulting program using Glasgow parallel Haskell. The technique is applied to several Haskell programs, the results of which have then been benchmarked with respect to the performance of handparallelised versions of the original programs. The benchmarking process has recorded the execution time and parallel performance of each benchmark program. The evaluation of the benchmark results has allowed for the merit of the automated parallelisation technique to be shown

An evaluation of candidate oxidation resistant materials

Ground based testing of materials considered for Kapton solar array blanket protection, graphite epoxy structural member protection, and high temperature radiators was performed in an RF plasma asher. Ashing rates for Kapton were correlated with rates measured on STS-8 to determine the exposure time equivalent to one year in low Earth orbit (LEO) at a constant density space station orbital flux. Protective coatings on Kapton from Tekmat, Andus Corporation, and LeRC were evaluated in the plasma asher and mass loss rates per unit area were measured for each sample. All samples evaluated provided some protection to the underlying surface but ion beam sputter deposited samples of SiO2 and SiO2 with 8% polytetrafluoroethylene (PTFE) showed no evidence of degradation after 47 hours of exposure. Mica paint was evaluated as a protective coating for graphite epoxy structural members. Mica appears to be resistant to attack by atomic oxygen but only offers some limited protection as a paint because the paint vehicles evaluated to date were not resistant to atomic oxygen. Four materials were selected for evaluation as candidate radiator materials: stainless steel, copper, niobium-1% zirconium, and titanium-6% aluminum-4% vanadium. These materials were surface textured by various means to improve their emittance. Emittances as high as 0.93 at 2.5 microns for stainless steel and 0.89 at 2.5 microns for Nb-1 Zr were obtained from surface texturing. There were no significant changes in emittance after asher exposure

Evidence That Hepatitis C Virus Resistance to Interferon Is Mediated through Repression of the PKR Protein Kinase by the Nonstructural 5A Protein

AbstractHepatitis C virus (HCV) is the major cause of non-A non-B hepatitis and a leading cause of liver dysfunction worldwide. While the current therapy for chronic HCV infection is parenteral administration of type 1 interferon (IFN), only a fraction of HCV-infected individuals completely respond to treatment. Previous studies have correlated the IFN sensitivity of strain HCV-1b with mutations within a discrete region of the viral nonstructural 5A protein (NS5A), termed the interferon sensitivity determining region (ISDR), suggesting that NS5A may contribute to the IFN-resistant phenotype of HCV. To determine the importance of HCV NS5A and the NS5A ISDR in mediating HCV IFN resistance, we tested whether the NS5A protein could regulate the IFN-induced protein kinase, PKR, a mediator of IFN-induced antiviral resistance and a target of viral and cellular inhibitors. Using multiple approaches, including biochemical, transfection, and yeast genetics analyses, we can now report that NS5A represses PKR through a direct interaction with the protein kinase catalytic domain and that both PKR repression and interaction requires the ISDR. Thus, inactivation of PKR may be one mechanism by which HCV avoids the antiviral effects of IFN. Finally, the inhibition of the PKR protein kinase by NS5A is the first described function for this HCV protein

Casier: Structures for Composing Tangibles and Complementary Interactors for Use Across Diverse Systems

International audienceCasiers are a class of tangible interface elements that structure the physical and functional composition of tangibles and complementary interactors (e.g., buttons and sliders). Casiers allow certain subsets of interactive functionality to be accessible across diverse interactive systems (with and without graphical mediation, employing varied sensing capabilities and supporting software). We illustrate examples of casiers in use, including iterations around a custom walk-up-and-use kiosk, as well as casiers operable across com- mercial platforms of widely varying cost and capability

Evaluation of a coastal ocean circulation model for the Columbia River plume in summer 2004

Realistic hindcast of the Columbia River estuarine-plume-shelf circulation in summer 2004 using the Regional Ocean Modeling System nested within the Navy Coastal Ocean Model (NCOM) is quantitatively evaluated with an extensive set of observations. The model has about equal skill at tidal and subtidal properties. Tidal circulation and water properties are best simulated in the estuary, which is strongly forced and damped, but worst on the shelf. Subtidal currents are again best in the estuary. However, subtidal temperature and salinity are best simulated in the surface waters on the shelf, even inside the river plume. A comprehensive skill assessment method is proposed to evaluate the cross-scale modeling system with a focus on the plume. The model domain is divided into five dynamical regions: estuary, near- and far-field plume, near surface and deep layers. A skill score is obtained for each region by averaging the skills of different physical variables, and an overall skill is obtained by averaging the skills across the five regions. This weighting metric results in more skill weight per unit volume in the near surface layer where the plume is trapped and in the estuary. It is also demonstrated, through model/data comparison and skill assessment, that by nesting within NCOM, some important remote forcing, e.g., coastal trapped waves, are added to our model; on the other hand, some biases are also received. With a finer grid and more realistic forcing, our regional model improves skill over a larger-scale model in modeling the shelf-plume circulation

Physical and Thermal Properties Evaluated of Teflon FEP Retrieved From the Hubble Space Telescope During Three Servicing Missions

Mechanical properties of aluminized Teflon fluorinated ethylene propylene (FEP) thermal control materials on the Hubble Space Telescope (HST) exposed to low Earth orbit for up to 9.7 years have significantly degraded, with extensive cracking occurring on orbit. The NASA Glenn Research Center and the NASA Goddard Space Flight Center have collaborated on analyzing the physical and thermal properties of aluminized FEP (FEP-Al, DuPont) materials retrieved in December 1999 during HST's third servicing mission (SM3A). Comparisons have been made to properties of FEP-Al retrieved during the first and second HST servicing missions, SM1 and SM2, in order to determine degradation processes for FEP on HST

Better Regional Ocean Observing Through Cross-National Cooperation: A Case Study From the Northeast Pacific

The ocean knows no political borders. Ocean processes, like summertime wind-driven upwelling, stretch thousands of kilometers along the Northeast Pacific (NEP) coast. This upwelling drives marine ecosystem productivity and is modulated by weather systems and seasonal to interdecadal ocean-atmosphere variability. Major ocean currents in the NEP transport water properties such as heat, fresh water, nutrients, dissolved oxygen, pCO2, and pH close to the shore. The eastward North Pacific Current bifurcates offshore in the NEP, delivering open-ocean signals south into the California Current and north into the Gulf of Alaska. There is a large and growing number of NEP ocean observing elements operated by government agencies, Native American Tribes, First Nations groups, not-for-profit organizations, and private entities. Observing elements include moored and mobile platforms, shipboard repeat cruises, as well as land-based and estuarine stations. A wide range of multidisciplinary ocean sensors are deployed to track, for example, upwelling, downwelling, ocean productivity, harmful algal blooms, ocean acidification and hypoxia, seismic activity and tsunami wave propagation. Data delivery to shore and observatory controls are done through satellite and cell phone communication, and via seafloor cables. Remote sensing from satellites and land-based coastal radar provide broader spatial coverage, while numerical circulation and biogeochemical modeling complement ocean observing efforts. Models span from the deep ocean into the inland Salish Sea and estuaries. NEP ocean observing systems are used to understand regional processes and, together with numerical models, provide ocean forecasts. By sharing data, experiences and lessons learned, the regional ocean observatory is better than the sum of its parts