Quantifying stresses and support requirements in the undercut and production level drifts of block and panel caving mines

A numerical modelling strategy has been developed in order to quantify the magnitude of induced stresses at the boundaries of production level and undercut level drifts for various in situ stress environments and undercut scenarios. The results of the stress modelling were in line with qualitative experiential guidelines and a limited number of induced stress measurements documented from caving sites. A number of stress charts were developed which quantify the maximum boundary stresses in drift roofs for varying in situ stress regimes, depths and undercut scenarios. This enabled many of the experiential guidelines to be quantified and bounded. A limited number of case histories of support and support performance in cave mine drifts were compared to support recommendations using the NGI classification system, The stress charts were used to estimate the Stress Reduction Factor for this system. The back-analyses suggested that the NGI classification system might be able to give preliminary estimates of support requirements in caving mines with modifications relating to rock bolt length and the support of production level intersections. (C) 2002 Elsevier Science Ltd. All rights reserved.

Reliability factors in business software: volatility, requirements and end-users

Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.

Habitat requirements for the conservation of arboreal marsupials in dry sclerophyll forests of Southeast Queensland, Australia

The habitat requirements of arboreal marsupials were investigated in the dry sclerophyll forests of southeast Queensland, Australia. Species richness and abundance of arboreal marsupials was correlated to the proportion of total stand basal area occupied by lemon-scented gum (Corymbia citriodora), the height of the tallest trees, and density of hollow-bearing trees. The first two factors suggested that the most productive forests were also the most suitable habitats for arboreal marsupials. Importantly, the number of hollow-bearing trees was a significant factor in determining species richness and abundance of arboreal marsupials in this study, with the maximum number of species reached at sites containing greater than or equal to4 hollow-bearing trees/ha, and maximum abundance occurring at sites with :6 hollow-bearingtrees/ha. The proportion of C. citriodora was significant for the presence of the common brushtail possum (Trichosurus vulpecula), greater glider (Petauroides volans), and the yellow-bellied glider (Petaurus australis), while understory Acacia sp. density was important for the presence of the sugar glider (Petaurus breviceps). The yellow-bellied glider was also affected by two other variables: the density of hollow-bearing trees >50 cm diameter at breast height (dbh), and the time since the last logging. Current Codes of Practice regulating the density of hollow-bearing trees and silvicultural practices in state-owned timber production forests appear to provide adequate protection for arboreal marsupials, but the recently introduced increase in timber extraction rates within state forests may be detrimental to the animals. Also, protective prescriptions do not apply to the privately owned and leasehold estates, which contain the majority of the dry sclerophyll forests in southeast Queensland.

Differential requirements for COPI coats in formation of replication complexes among three genera of Picornaviridae

Picornavirus RNA replication requires the formation of replication complexes (RCs). consisting of virus-induced vesicles associated with viral nonstructural proteins and RNA. Brefeldin A (BFA) has been shown to strongly inhibit RNA replication of poliovirus but not of encephalomyocarditis virus (EMCV). Here, we demonstrate that the replication of parechovirus 1 (ParV1) is partly resistant to BFA, whereas echovirus 11 (EV11) replication is strongly inhibited. Since BFA inhibits COPI-dependent steps in endoplasmic reticulum (ER)-Golgi transport, we tested a hypothesis that different picornaviruses may have differential requirements for COPI in the formation of their RCs. Using immunofluorescence and cryo-immunoelectron microscopy we examined the association of a COPI component, beta-COP, with the RCs of EMCV, ParV1, and EV11 EMCV RCs did not contain beta-COP. In contrast, beta-COP appeared to be specifically distributed to the RCs of EV11 In ParV1-infected cells beta-COP was largely dispersed throughout the cytoplasm, with some being present in the RCs. These results suggest that there are differences in the involvement of COPI in the formation of the RCs of various picornaviruses, corresponding to their differential sensitivity to BFA. EMCV RCs are likely to be formed immediately after vesicle budding from the ER, prior to COPI association with membranes. ParV1 RCs are formed from COPI-containing membranes but COPI is unlikely to be directly involved in their formation, whereas formation of EV11 RCs appears to be dependent on COPI association with membranes.

High dependency units: Issues to consider in their planning

This review discusses the issues to be considered in establishing new or extending existing high dependency unit (HDU) services. A defined high dependency service becomes cost-effective when patient care requires more than one nurse for three patients. Professional guidelines for HDUs vary and there are no national accreditation criteria. Casemix and service delivery specifications for the HDU need to be defined and agreed upon within the institution. Establishing a new HDU service requires changes to care delivery. Many potential HDU patients are currently managed in general wards or in the intensive care unit. The service should be discussed widely and marketed within the institution, and the development of defined working relationships with the ICU and primary care teams oil the wards is mandatory.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Vitamin C: Effects of exercise and requirements with training

Ascorbic acid or vitamin C is involved in a number of biochemical pathways that are important to exercise metabolism and the health of exercising individuals. This review reports the results of studies investigating the requirement for vitamin C with exercise on the basis of dietary vitamin C intakes, the response to supplementation and alterations in plasma, serum, and leukocyte ascorbic acid concentration following both acute exercise and regular training. The possible physiological significance of changes in ascorbic acid with exercise is also addressed. Exercise generally causes a transient increase in circulating ascorbic acid in the hours following exercise, but a decline below pre-exercise levels occurs in the days after prolonged exercise. These changes could be associated with increased exercise-induced oxidative stress. On the basis of alterations in the concentration of ascorbic acid within the blood, it remains unclear if regular exercise increases the metabolism of vitamin C. However, the similar dietary intakes and responses to supplementation between athletes and nonathletes suggest that regular exercise does not increase the requirement for vitamin C in athletes. Two novel hypotheses are put forward to explain recent findings of attenuated levels of cortisol postexercise following supplementation with high doses of vitamin C.

Prototyping Behavioural Specifications in the.NET framework

Over the last decade, software architecture emerged as a critical design step in Software Engineering. This encompassed a shift from traditional programming towards the deployment and assembly of independent components. The specification of the overall system structure, on the one hand, and of the interactions patterns between its components, on the other, became a major concern for the working developer. Although a number of formalisms to express behaviour and supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from behavioural specifications written in Ccs, the corresponding architectural skeletons in the Microsoft .Net framework in the form of executable C] code. Such prototyping process is automated by means of a specific tool developed in Haskell

Preliminary Overview over Requirements Regarding Tools and Methods Derived from LUDA Cases

LUDA is a research project of Key Action 4 "City of Tomorrow & Cultural Heritage" of the programme "Energy, Environment and Sustainable Development" within the Fifth Framework Programme of the European Commission

MDAI: Model based Design in Automobile Industry

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. This approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

Normalização de equipamento médico, requisitos técnicos e metrológicos

Os hospitais necessitam de desenvolver programas de gestão de equipamentos médicos, onde contenha informação pertinente e uma metodologia de planeamento eficaz, para a aquisição do equipamento médico novo, assim como otimizar o controlo metrológico destes equipamentos. Para tal foi fornecida informação sobre os aspetos mais relevantes a ter em conta na compra do equipamento médico, como as especificações e funcionalidades necessárias, normas a que o equipamento deve obedecer, garantias, manutenção e calibração/verificação quando aplicável. A escolha dos equipamentos médicos incidiu sobre os esfigmomanómetros e os monitores de sinais vitais. Estudou-se o funcionamento destes equipamentos e prosseguiu-se depois para a realização de entrevistas aos seus utilizadores, com o intuito de perceber a satisfação, os critérios e as necessidades relativas aos equipamentos existentes na ULSM. Em seguida foram realizadas as fichas de normalização onde se definiram as características físicas, fisiológicas e tecnológicas associadas a ambos os tipos de dispositivos médicos. Posteriormente estudaram-se as normas com as quais os equipamentos devem estar em conformidade para garantir o bom funcionamento. Por fim pesquisou-se quais os requisitos metrológicos, técnicos e os procedimentos de verificação a que os equipamentos devem obedecer. Este documento irá servir como suporte para a aquisição e controlo dos equipamentos médicos aqui estudados, melhorando a sua gestão, manutenção e controlo metrológico.