19 resultados para mixed verification methods

em Aston University Research Archive


Relevância:

80.00% 80.00%

Publicador:

Resumo:

World and UK energy resources and use are reviewed and the role of energy conservation in energy policy identified. In considering various energy conservation measures, a distinction is made between energy intensive and non-intensive industries and also between direct and indirect uses of energy. Particular attention is given to the non-intensive user of energy. Energy use on one such industrial site has been studied to determine the most effective energy saving measures in the short term. Here it is estimated that over 65% of energy is consumed for indirect purposes, mainly for heating and lighting buildings. Emphasis is placed on energy auditing techniques and those energy saving measures requiring greater technical, economic and organisational resources to secure their implementation. Energy auditing techniques include the use of aerial thermography and snow formation surveys to detect heat losses. Qualitative and quantitative interpretations are carried out, but restricted mainly to evaluating building roof heat losses. From the energy auditing exercise, it is confirmed that the intermittent heating of buildings is the largest and most cost effective fuel saving measure. This was implemented on the site and a heat monitoring programme established to verify results. Industrial combined heat and power generation is investigated. A proposal for the site demonstrates that there are several obstacles to its successful implementation. By adopting an alternative financial rationale, a way of overcoming these obstacles is suggested. A useful by-product of the study is the classification of industrial sites according to the nature of industrial energy demand patterns. Finally, energy saving measures implemented on the site are quantlfied using comparative verification methods. Overall fuel savings of 13% are indicated. Cumulative savings in heating fuel amount to 26% over four years although heated area increased by approximately 25%.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Background: The prevalence of hearing loss is considerably higher in individuals in residential care than in people within the community-dwelling population, and yet hearing aids and hearing services are relatively underused. Care staff have a key role in supporting access to services. Objectives: This study identifies staff perspectives on hearing loss and their views about potential hearing service improvements. Study design: A four-stage mixed methods study was used, made up of qualitative interviews, observation, a survey and a stakeholder involvement meeting. Results: The qualitative stages indicated that staff were concerned about their levels of interaction with residents. Staff considered maximizing communication as part of their professional role. The quantitative survey indicated that these views were widely held by staff, and the stakeholder stage identified the need for social support and dedicated staff training opportunities. Conclusion: Care home staff regard communication as a shared issue. Future interventions could enhance access to hearing services and provide care home staff with training in hearing loss and hearing aid management. © 2013 Informa Healthcare.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Purpose The purpose of this paper is to identify some of the dilemmas involved in the debate on the how, when and why of mixed methods research. Design/methodology/approach The authors' starting point is formed by developments in the philosophy of science literature, and recent publications on mixed methods research outside of the management accounting domain. Findings Contrary to recent claims made in the management accounting literature, the authors assert that uncovering points of disagreement between methods may be as far as researchers can go by combining them. Being reflexive can help to provide a deeper understanding of the research process and the researcher's role in this process. Research limitations/implications The paper should extend the debate among management accounting researchers about mixed methods research. One of the lessons drawn is that researchers are actively immersed in the research process and cannot purge their own interests and views. Accepting this lesson casts doubt on what the act of research may imply and achieve. Practical implications The paper shows that combinations of research methods should not be made based on a "whatever works" attitude, since this approach ultimately is still infused with ontological and epistemological considerations that researchers have, and should try to explicate. Originality/value The value of this paper lies in the provision of philosophical underpinnings that have not been widely considered in the management accounting literature on mixed methods to date. © 2011 Emerald Group Publishing Limited. All rights reserved.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Non-attendance at paediatric outpatient appointments results in delayed diagnosis and treatment, putting children at risk of avoidable ill health, and incurring considerable health service costs. Links between missed appointments and clinical, socio-demographic, and access-related factors have been indicated, but parental cognitions associated with non-attendance have yet to be investigated. The aims of this project were to evaluate the effectiveness and theoretical bases of existing interventions designed to reduce non-attendance; to consider the ways in which missed appointments are managed by healthcare providers; to explore parents’ beliefs and experiences of attending and missing appointments; and to investigate the factors underlying these beliefs. A systematic literature review focusing on non-attendance interventions was conducted Within a mixed methods framework, interviews were conducted with healthcare professionals, subsequent interviews were conducted with parents who had attended or missed a General Paediatric outpatient appointment, and a cross-sectional questionnaire study of parents’ beliefs was implemented. The systematic review revealed that text message appointment reminders are effective at reducing non-attendance rates, but that no interventions have thus far been developed using theories of behaviour. Healthcare professionals recognised both barriers and parents’ beliefs as influences on attendance, but also believed there were ‘types’ of families who miss appointments. Healthcare professionals disagreed somewhat about how non-attendance should best be managed. The parent interview study found six themes. The findings reflect parents’ perceptions about the importance of attending and of their ability to attend. The results of the questionnaire study corroborate this structure of beliefs as the analysis produced two factors, the perceived ‘worth’ of attending and anticipated ‘worry’ when attending. This thesis demonstrates an original approach to investigating non-attendance at children’s outpatient appointments, using mixed methods and adopting a psychological rather than service-use perspective. The findings contribute to Health Psychology theory and offer recommendations for healthcare providers.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Defining 'effectiveness' in the context of community mental health teams (CMHTs) has become increasingly difficult under the current pattern of provision required in National Health Service mental health services in England. The aim of this study was to establish the characteristics of multi-professional team working effectiveness in adult CMHTs to develop a new measure of CMHT effectiveness. The study was conducted between May and November 2010 and comprised two stages. Stage 1 used a formative evaluative approach based on the Productivity Measurement and Enhancement System to develop the scale with multiple stakeholder groups over a series of qualitative workshops held in various locations across England. Stage 2 analysed responses from a cross-sectional survey of 1500 members in 135 CMHTs from 11 Mental Health Trusts in England to determine the scale's psychometric properties. Based on an analysis of its structural validity and reliability, the resultant 20-item scale demonstrated good psychometric properties and captured one overall latent factor of CMHT effectiveness comprising seven dimensions: improved service user well-being, creative problem-solving, continuous care, inter-team working, respect between professionals, engagement with carers and therapeutic relationships with service users. The scale will be of significant value to CMHTs and healthcare commissioners both nationally and internationally for monitoring, evaluating and improving team functioning in practice.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

On behalf of my coauthors, Dr Michael Larkin and Professor Paul Flowers, and I would like to thank Dr Pierre Pluye for his letter in response to our article.1 Dr Pluye supported our argument that a broader evidence base is needed in evidence-based healthcare. He provided the readers of this journal with important additional information which updates them on the progress in the area of mixed studies reviews and further detail about the Mixed Methods Appraisal Tool (MMAT).2 Since writing our …

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This chapter explores ways in which rigorous mathematical techniques, termed formal methods, can be employed to improve the predictability and dependability of autonomic computing. Model checking, formal specification, and quantitative verification are presented in the contexts of conflict detection in autonomic computing policies, and of implementation of goal and utility-function policies in autonomic IT systems, respectively. Each of these techniques is illustrated using a detailed case study, and analysed to establish its merits and limitations. The analysis is then used as a basis for discussing the challenges and opportunities of this endeavour to transition the development of autonomic IT systems from the current practice of using ad-hoc methods and heuristic towards a more principled approach. © 2012, IGI Global.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The use of digital communication systems is increasing very rapidly. This is due to lower system implementation cost compared to analogue transmission and at the same time, the ease with which several types of data sources (data, digitised speech and video, etc.) can be mixed. The emergence of packet broadcast techniques as an efficient type of multiplexing, especially with the use of contention random multiple access protocols, has led to a wide-spread application of these distributed access protocols in local area networks (LANs) and a further extension of them to radio and mobile radio communication applications. In this research, a proposal for a modified version of the distributed access contention protocol which uses the packet broadcast switching technique has been achieved. The carrier sense multiple access with collision avoidance (CSMA/CA) is found to be the most appropriate protocol which has the ability to satisfy equally the operational requirements for local area networks as well as for radio and mobile radio applications. The suggested version of the protocol is designed in a way in which all desirable features of its precedents is maintained. However, all the shortcomings are eliminated and additional features have been added to strengthen its ability to work with radio and mobile radio channels. Operational performance evaluation of the protocol has been carried out for the two types of non-persistent and slotted non-persistent, through mathematical and simulation modelling of the protocol. The results obtained from the two modelling procedures validate the accuracy of both methods, which compares favourably with its precedent protocol CSMA/CD (with collision detection). A further extension of the protocol operation has been suggested to operate with multichannel systems. Two multichannel systems based on the CSMA/CA protocol for medium access are therefore proposed. These are; the dynamic multichannel system, which is based on two types of channel selection, the random choice (RC) and the idle choice (IC), and the sequential multichannel system. The latter has been proposed in order to supress the effect of the hidden terminal, which always represents a major problem with the usage of the contention random multiple access protocols with radio and mobile radio channels. Verification of their operation performance evaluation has been carried out using mathematical modelling for the dynamic system. However, simulation modelling has been chosen for the sequential system. Both systems are found to improve system operation and fault tolerance when compared to single channel operation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

There is an increasing emphasis on the use of software to control safety critical plants for a wide area of applications. The importance of ensuring the correct operation of such potentially hazardous systems points to an emphasis on the verification of the system relative to a suitably secure specification. However, the process of verification is often made more complex by the concurrency and real-time considerations which are inherent in many applications. A response to this is the use of formal methods for the specification and verification of safety critical control systems. These provide a mathematical representation of a system which permits reasoning about its properties. This thesis investigates the use of the formal method Communicating Sequential Processes (CSP) for the verification of a safety critical control application. CSP is a discrete event based process algebra which has a compositional axiomatic semantics that supports verification by formal proof. The application is an industrial case study which concerns the concurrent control of a real-time high speed mechanism. It is seen from the case study that the axiomatic verification method employed is complex. It requires the user to have a relatively comprehensive understanding of the nature of the proof system and the application. By making a series of observations the thesis notes that CSP possesses the scope to support a more procedural approach to verification in the form of testing. This thesis investigates the technique of testing and proposes the method of Ideal Test Sets. By exploiting the underlying structure of the CSP semantic model it is shown that for certain processes and specifications the obligation of verification can be reduced to that of testing the specification over a finite subset of the behaviours of the process.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The adsorption and diffusion of mixed hydrocarbon components in silicalite have been studied using molecular dynamic simulation methods. We have investigated the effect of molecular loadings and temperature on the diffusional behavior of both pure and mixed alkane components. For binary mixtures with components of similar sizes, molecular diffusional behavior in the channels was noticed to be reversed as loading is increased. This behavior was noticeably absent for components of different sizes in the mixture. Methane molecules in the methane/propane mixture have the highest diffusion coefficients across the entire loading range. Binary mixtures containing ethane molecules prove more difficult to separate compared to other binary components. In the ternary mixture, however, ethane molecules diffuse much faster at 400 K in the channel with a tendency to separate out quickly from other components. © 2005 Elsevier Inc. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper advances a philosophically informed rationale for the broader, reflexive and practical application of arts-based methods to benefit research, practice and pedagogy. It addresses the complexity and diversity of learning and knowing, foregrounding a cohabitative position and recognition of a plurality of research approaches, tailored and responsive to context. Appreciation of art and aesthetic experience is situated in the everyday, underpinned by multi-layered exemplars of pragmatic visual-arts narrative inquiry undertaken in the third, creative and communications sectors. Discussion considers semi-guided use of arts-based methods as a conduit for topic engagement, reflection and intersubjective agreement; alongside observation and interpretation of organically employed approaches used by participants within daily norms. Techniques span handcrafted (drawing), digital (photography), hybrid (cartooning), performance dimensions (improvised installations) and music (metaphor and structure). The process of creation, the artefact/outcome produced and experiences of consummation are all significant, with specific reflexivity impacts. Exploring methodology and epistemology, both the "doing" and its interpretation are explicated to inform method selection, replication, utility, evaluation and development of cross-media skills literacy. Approaches are found engaging, accessible and empowering, with nuanced capabilities to alter relationships with phenomena, experiences and people. By building a discursive space that reduces barriers; emancipation, interaction, polyphony, letting-go and the progressive unfolding of thoughts are supported, benefiting ways of knowing, narrative (re)construction, sensory perception and capacities to act. This can also present underexplored researcher risks in respect to emotion work, self-disclosure, identity and agenda. The paper therefore elucidates complex, intricate relationships between form and content, the represented and the representation or performance, researcher and participant, and the self and other. This benefits understanding of phenomena including personal experience, sensitive issues, empowerment, identity, transition and liminality. Observations are relevant to qualitative and mixed methods researchers and a multidisciplinary audience, with explicit identification of challenges, opportunities and implications.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Reliability modelling and verification is indispensable in modern manufacturing, especially for product development risk reduction. Based on the discussion of the deficiencies of traditional reliability modelling methods for process reliability, a novel modelling method is presented herein that draws upon a knowledge network of process scenarios based on the analytic network process (ANP). An integration framework of manufacturing process reliability and product quality is presented together with a product development and reliability verification process. According to the roles of key characteristics (KCs) in manufacturing processes, KCs are organised into four clusters, that is, product KCs, material KCs, operation KCs and equipment KCs, which represent the process knowledge network of manufacturing processes. A mathematical model and algorithm is developed for calculating the reliability requirements of KCs with respect to different manufacturing process scenarios. A case study on valve-sleeve component manufacturing is provided as an application example of the new reliability modelling and verification procedure. This methodology is applied in the valve-sleeve component manufacturing processes to manage and deploy production resources.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper describes work carried out to develop methods of verifying that machine tools are capable of machining parts to within specification, immediately before carrying out critical material removal operations, and with negligible impact on process times. A review of machine tool calibration and verification technologies identified that current techniques were not suitable due to requirements for significant time and skilled human intervention. A 'solution toolkit' is presented consisting of a selection circular tests and artefact probing which are able to rapidly verify the kinematic errors and in some cases also dynamic errors for different types of machine tool, as well as supplementary methods for tool and spindle error detection. A novel artefact probing process is introduced which simplifies data processing so that the process can be readily automated using only the native machine tool controller. Laboratory testing and industrial case studies are described which demonstrate the effectiveness of this approach.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Design verification in the digital domain, using model-based principles, is a key research objective to address the industrial requirement for reduced physical testing and prototyping. For complex assemblies, the verification of design and the associated production methods is currently fragmented, prolonged and sub-optimal, as it uses digital and physical verification stages that are deployed in a sequential manner using multiple systems. This paper describes a novel, hybrid design verification methodology that integrates model-based variability analysis with measurement data of assemblies, in order to reduce simulation uncertainty and allow early design verification from the perspective of satisfying key assembly criteria.