Effects of upholstery materials on the burning behavior of real‐scale residential upholstered furniture mock‐ups

Fire spread and growth on real‐scale four cushion mock‐ups of residential upholstered furniture (RUF) were investigated with the goal of identifying whether changes in five classes of materials (barrier, flexible polyurethane foam, polyester fiber wrap, upholstery fabric, and sewing thread), referred to as factors, resulted in statistically significant changes in burning behavior. A fractional factorial experimental design plus practical considerations yielded a test matrix with 20 material combinations. Experiments were repeated a minimum of two times. Measurements included fire spread rates derived from video recordings and heat release rates (HRRs). A total of 13 experimental parameters (3 based on the videos and 10 on the HRR results), referred to as responses, characterized the measurements. Statistical analyses based on Main Effects Plots (main effects) and Block Plots (main effects and factor interactions) were used. The results showed that three of the factors resulted in statistically significant effects on varying numbers of the 13 responses. The Barrier and Fabric factors had the strongest main effects with roughly comparable magnitudes. Foam was statistically significant for fewer of the responses and its overall strength was weaker than for Barrier and Fabric. No statistically significant main effects were identified for Wrap or Thread. Multiple two‐term interactions between factors were identified as being statistically significant. The Barrier*Fabric interaction resulted in the highest number of and strongest statistically significant effects. The existence of two‐term interactions means that it will be necessary to consider their effects in approaches designed to predict the burning behavior of RUF.     

Evaluating the Use of Daily Care Notes Software for Older People with Dementia

There has been little research to investigate the impact of software to support the care for older people with dementia care. This article reports the evaluation of software adapted to support one key person-centered task for the care of older residents with dementia – recording and sharing daily care notes. The evaluation on the dementia wing of 1 residential home for over 6 months revealed that use of the software on mobile devices carried by the carers increased the number and volume of daily care notes recorded, but only for the types of content that were already being recorded by carers. Carers reported more advantages that resulted from daily care notes once in digital form than from the documenting task, as well as barriers to the use of mobile digital software to record daily care notes.     

Solution for M/G/1 queues

M/G/1 type queueing systems are frequently found in the performance evaluation of communication systems. The authors develop a new solution method for these queues: their results are an alternative to both standard forms of exact analysis, and to diffusion approximations, while offering comparable computational complexity to the latter     

Buffering packetised data: an examination of the crossover effect

Buffer analysis has traditionally relied heavily on the use of traffic models with short range (exponentially decaying) autocorrelation, e.g. Poisson and Markov modulated Poisson processes. Recent literature has suggested the presence of traffic with slowly (hyperbolically) decaying autocorrelation functions; these sources collectively and individually seem to be exhibiting the phenomenon of long range dependence (LRD). Furthermore, it has been claimed that this sort of traffic may exhibit behaviour, when buffered, that is advantageous in that a smaller buffer may be required than would be the case with non-LRD traffic. This phenomenon has been named the crossover effect, and the authors quantify its relevance to ATM networking, using simulation studies of a homogenous mix of chaotic sources. These show that there is a crossover effect, but the key finding is that this effect is much nearer to a buffer length of zero than was predicted by previous theoretical studies, actually occurring at a value so low that it has no practical significance     

A New Approach to Abstract Syntax with Variable Binding

The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular, there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly close to informal practice in computer science. Received October 2000 / Accepted in revised form April 2001     

Effects of Al:Si and (Al + Na):Si ratios on the properties of the international simple glass,part II: Structure

High-alumina containing high-level waste (HLW) will be vitrified at the Waste Treatment Plant at the Hanford Site. The resulting glasses, high in alumina, will have distinct composition-structure-property (C-S-P) relationships compared to previously studied HLW glasses. These C-S-P relationships determine the processability and product durability of glasses and therefore must be understood. The main purpose of this study is to understand the detailed structural changes caused by Al:Si and (Al + Na):Si substitutions in a simplified nuclear waste model glass (ISG, international simple glass) by combining experimental structural characterizations and molecular dynamics (MD) simulations. The structures of these two series of glasses were characterized by neutron total scattering and ²⁷Al, ²³Na, ²⁹Si, and ¹¹B solid-state nuclear magnetic resonance (NMR) spectroscopy. Additionally, MD simulations were used to generate atomistic structural models of the borosilicate glasses and simulation results were validated by the experimental structural data. Short-range (eg, bond distance, coordination number, etc) and medium-range (eg, oxygen speciation, network connectivity, polyhedral linkages) structural features of the borosilicate glasses were systematically investigated as a function of the degree of substitution. The results show that bond distance and coordination number of the cation-oxygen pairs are relatively insensitive to Al:Si and (Al + Na):Si substitutions with the exception of the B-O pair. Additionally, the Al:Si substitution results in an increase in tri-bridging oxygen species, whereas (Al + Na):Si substitution creates nonbridging oxygen species. Charge compensator preferences were found for Si-[NBO] (Na⁺), ^[3]B-[NBO] (Na⁺), ^[4]B (mostly Ca²⁺), ^[4]Al (nearly equally split Na⁺ and Ca²⁺), and ^[6]Zr (mostly Ca²⁺). The network former-BO-network former linkages preferences were also tabulated; Si-O-Al and Al-O-Al were preferred at the expense of lower Si-O-^[3]B and ^[3]B-O-^[3]B linkages. These results provide insights on the structural origins of property changes such as glass-transition temperature caused by the substitutions, providing a basis for future improvements of theoretical and computer simulation models.     

Evidence for internal phosphorus loading,hypoxia and effects on phytoplankton in partially polymictic Lake Simcoe,Ontario

Hypoxia and cyanobacterial blooms were extensive in Lake Simcoe during the 1980s and are still a problem to a lesser degree despite extensive nutrient load reduction from the catchment basin. The continuing signs of productivity indicate a potential internal phosphorus (P) source. Internal P load, as a redox-dependent release from bottom sediments, is hard to determine in a large, relatively shallow and partially unstratified lake such as Lake Simcoe. Of the lake's three major basins, only Kempenfelt Bay stratifies long enough to develop hypoxia in the stagnant summer hypolimnion. The following indications of sediment P release are available from historic data: 1) hypolimnetic hypoxia still occurs in Kempenfelt Bay although the hypoxic factor (number of days that an area equal to the bay's surface area is overlain by water of ≤ 2 mg/L dissolved oxygen, DO) has decreased substantially and significantly from 15.8 d/yr (1980–1994) to 4.0 d/yr (1995–2011); 2) hypoxic factors for other lake sections and at different DO levels also indicate widespread hypoxia; 3) concentrations of redox dependent metals, Fe and Mn, increase with depth; and 4) euphotic zone P and chlorophyll concentrations increase and water clarity decreases during fall turnover. Cyanobacterial blooms appear to occur in response to internal load as supported by occasional cyanobacteria counts. These indicators provide evidence that internal loading is likely occurring and affecting the water quality in Lake Simcoe. We expect that further monitoring, specific for internal load, will corroborate these results.     

Encoding Abstract Syntax Without Fresh Names

This paper introduces a variant of nominal abstract syntax in which bindable names are represented by normal meta-variables as opposed to a separate class of globally fresh names. Distinct meta-variables can be instantiated with the same concrete name, which we call aliasing. The possible aliasing patterns are controlled by explicit constraints on the distinctness (freshness) of names. This approach has already been used in the nominal meta-programming language ??ML. We recap that language and develop a theory of contextual equivalence for it. The central result of the paper is that abstract syntax trees (ASTs) involving binders can be encoded into ??ML in such a way that ??-equivalence of ASTs corresponds with contextual equivalence of their encodings. This is novel because the encoding does not rely on the existence of globally fresh names and fresh name generation, which are fundamental to the correctness of the pre-existing encoding of abstract syntax into FreshML.