35 resultados para GIBBS FORMALISM
Resumo:
Work-related falls continues to be one of the leading causes of fatalities in the Australian construction industry, and the failure to use fall protection equipment, such as fall-arrest harnesses and arresting devices, has been found to be a contributing factor. In an attempt to gain an understanding of the issues surrounding the use of fallarrest harness systems by construction workers a study involving semi-structured interviews of 15 male construction workers was carried out at three construction sites. The majority of interviewees commented that there was discomfort in wearing a fall-arrest harness; that there were a number of problems when anchored via an arresting device; and that using a fall-arrest system reduced productivity. Most of the interviewees considered that they needed safety precautions against falls, and they expressed the view that workers’ attitudes towards safety depended critically upon their supervisors’ attitude towards safety. It was also found that workers were not trained in rescue procedures. Interviewees expressed concern that retrieval of a suspended worker may not be carried out in time to prevent the onset of suspension trauma. A number of issues were identified which require further research, such as, investigation into suspension trauma, harness and arresting device design, training provided to workers, and the provision for rescues.
Resumo:
The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine. (C) 2002 Elsevier Science B.V. All rights reserved.
Resumo:
This paper describes a process-based metapopulation dynamics and phenology model of prickly acacia, Acacia nilotica, an invasive alien species in Australia. The model, SPAnDX, describes the interactions between riparian and upland sub-populations of A. nilotica within livestock paddocks, including the effects of extrinsic factors such as temperature, soil moisture availability and atmospheric concentrations of carbon dioxide. The model includes the effects of management events such as changing the livestock species or stocking rate, applying fire, and herbicide application. The predicted population behaviour of A. nilotica was sensitive to climate. Using 35 years daily weather datasets for five representative sites spanning the range of conditions that A. nilotica is found in Australia, the model predicted biomass levels that closely accord with expected values at each site. SPAnDX can be used as a decision-support tool in integrated weed management, and to explore the sensitivity of cultural management practices to climate change throughout the range of A. nilotica. The cohort-based DYMEX modelling package used to build and run SPAnDX provided several advantages over more traditional population modelling approaches (e.g. an appropriate specific formalism (discrete time, cohort-based, process-oriented), user-friendly graphical environment, extensible library of reusable components, and useful and flexible input/output support framework). (C) 2003 Published by Elsevier Science B.V.