Developing and applying an integrated modular design methodology within a SME

Modularity within a product can bring advantages to the design process by facilitating enhanced design reuse, reduced lead times, decreased cost and higher levels of quality. While the benefits of modularity are becoming increasingly better known, at present it is usually left to the designers themselves to introduce modularity into products. Studies into modularity have shown that byimplementing 'formal' methods, further benefits can be made in terms of time, cost, quality and performance. Current approaches that have been proposed for the formal development of modular design methodologies fail to accurately represent knowledge that is inherently produced during design projects and fail to consider design from the different viewpoints of the development process. This work, built on previous work on modularity and design for reuse, aims to develop an integrated design methodology that will optimise the modules created through the design process and allow for modularity to be 'built-in' to product development from the initial stages. The methodology andassociated tools have been developed to provide an easy-to-use approach to modularity that has support for design rationales and company knowledge that aid in effective design decision making. The methodology, named GeMoCURE, provides an integrated total solution to modular design based on reuse of proven physical and knowledge modules. Its incremental nature allows for the optimalstructure to be maintained as the design progresses. A special focus has been on the application of this approach for Small to Medium Enterprises (SMEs), which are typically challenged by a lack of design human resources and expertise

The Field Guide: Applying <i>Making it Count</i> to health promotion activity with homosexually active men

This Field Guide considers a range of methods used to carry out health promotion with homosexually active men. It is a companion document to Making it count: a collaborative planning framework to reduce the incidence of HIV infection during sex between men (Hickson et al., 2003). Like Making it count, this document will be reviewed every two to three years and accompanied by training opportunities. The authors welcome comments and suggestions on this document and its use. These can be sent to: [email protected] or [email protected]. "Briefing papers" that add to the content of this guide will be produced as part of the CHAPS sector development programme. These will be available periodically from www. chapsonline.org.uk. Making it count describes a co-ordinated national framework to reduce HIV incidence occurring as a consequence of sex between men. It is intended for workers, managers, policy makers, legislators, health professionals or anyone with an investment in reducing HIV incidence among homosexually active men. This Field Guide is written for gay men's HIV health promoters. It places the theory, goals and strategic aims contained in Making it count in the context of day-to-day health promotion activity. It was developed through a range of formal interviews and informal discussion with more than 40 managers and key workers with experience and expertise in specific areas of HIV health promotion for homosexually active men. It concentrates mainly on direct contact work (Chapters 3 to 7), but also considers other types of health promotion that benefit homosexually active men by influencing the structures they live within (Chapter 8). Section one (Chapters 1 and 2) provides an overview of Making it count and the relationship between this document and that main framework. It outlines the key strategic aims of Making it count and contextualises what follows. Section two concerns direct contact with homosexually active men. Chapters 3, 4, 5 and 6 deal with different methods of carrying out direct contact work with this population. Chapter 7 considers the different target groups within the entire population of homosexually active men. It examines how to prioritise target groups using epidemiological and needs data and how best to target different groups in various settings. Section three (Chapter 8) addresses other types of health promotion interventions that are necessary including policy, community and service interventions. These are the interventions needed in order to facilitate direct contact interventions and attend to the broader determinants of sexual health for homosexually active men. It is anticipated that some (NHS) commissioners would benefit from reading this document in order to further their understanding of the range of work that they could fund. However, this document is not an implementation plan for the NHS in relation to HIV incidence among homosexually active men. Rather, Terrence Higgins Trust are currently in discussion with the Department of Health concerning further work to support the use of Making it count as the basis for Primary Care Trusts' planning and purchasing of HIV prevention activity for homosexually active men

Credible Autocoding of Convex Optimization Algorithms

The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety critical roles. There is a considerable body of mathematical proofs on on-line optimization programs which can be leveraged to assist in the development and verification of their implementation. In this paper, we demonstrate how theoretical proofs of real-time optimization algorithms can be used to describe functional properties at the level of the code, thereby making it accessible for the formal methods community. The running example used in this paper is a generic semi-definite programming (SDP) solver. Semi-definite programs can encode a wide variety of optimization problems and can be solved in polynomial time at a given accuracy. We describe a top-to-down approach that transforms a high-level analysis of the algorithm into useful code annotations. We formulate some general remarks about how such a task can be incorporated into a convex programming autocoder. We then take a first step towards the automatic verification of the optimization program by identifying key issues to be adressed in future work

Study of Tools Interoperability

Interoperability of tools usually refers to a combination of methods and techniques that address the problem of making a collection of tools to work together. In this study we survey different notions that are used in this context: interoperability, interaction and integration. We point out relation between these notions, and how it maps to the interoperability problem. We narrow the problem area to the tools development in academia. Tools developed in such environment have a small basis for development, documentation and maintenance. We scrutinise some of the problems and potential solutions related with tools interoperability in such environment. Moreover, we look at two tools developed in the Formal Methods and Tools group1, and analyse the use of different integration techniques

Managing clinical uncertainty: an ethnographic study of the impact of critical care outreach on end‐of‐life transitions in ward‐based critically ill patients with a life‐limiting illness

© 2018 Crown copyright. Journal of Clinical Nursing © 2018 John Wiley & Sons LtdRapid response teams, such as critical care outreach teams, have prominent roles in managing end-of-life transitions in critical illness, often questioning appropriateness of treatment escalation. Clinical uncertainty presents clinicians with dilemmas in how and when to escalate or de-escalate treatment. Aims and objectives: To explore how critical care outreach team decision-making processes affect the management of transition points for critically ill, ward-based patients with a life-limiting illness. Methods: An ethnographic study across two hospitals observed transition points and decisions to de-escalate treatment, through the lens of critical care outreach. In-depth interviews were carried out to elucidate rationales for practices witnessed in observations. Detailed field notes were taken and placed in a descriptive account. Ethnographic data were analysed, categorised and organised into themes using thematic analysis. Findings: Data were collected over 74 weeks, encompassing 32 observation periods with 20 staff, totalling more than 150 hr. Ten formal staff interviews and 20 informal staff interviews were undertaken. Three main themes emerged: early decision-making and the role of critical care outreach; communicating end-of-life transitions; end-of-life care and the input of critical care outreach. Findings suggest there is a negotiation to achieve smooth transitions for individual patients, between critical care outreach, and parent or ward medical teams. This process of negotiation is subject to many factors that either hinder or facilitate timely transitions. Conclusions: Critical care outreach teams have an important role in shared decision-making. Associated emotional costs relate to conflict with parent medical teams, and working as lone practitioners. The cultural contexts in which teams work have a significant effect on their interactions and agency. Relevance to practice: There needs to be a cultural shift towards early and open discussion of treatment goals and limitations of medical treatment, particularly when facing serious illness. With training and competencies, outreach nurses are well placed to facilitate these discussions.Peer reviewe

The Elements of Influence (and a Ghost) : Julien Prévieux

''Work, management, economics, politics, control systems, state-of-the-art technologies, and the culture industry are the many “worlds” that Prix Marcel Duchamp winning artist Julien Prévieux’s activities interrogate. The methods of recording movement and gesture developed over the last century and a half led to aesthetic results that recall the formal explorations of modernist art. Playing on this resemblance, Julien Prévieux transforms these records—originally produced for the sake of productivity, profit or surveillance—into pure form. Using map-making, dance, theatre, sculpture, video, and drawing, his work appropriates the vocabulary, mechanisms, and modus operandi of the sectors by which it is informed to highlight their dogmas and excesses. In this solo exhibition presented across both galleries, Prévieux highlights each mechanism’s potential for play, creativity, productivity, and counter-productivity.'' -- Publisher's websit

Advanced Methods for Dose-Response Assessment: Bayesian Approaches—Final Report

Resources for the Future (RFF), in conjunction with the U.S. Environmental Protection Agency, the Society for Risk Analysis, and the Electric Power Research Institute, held a workshop September 18–20, 2000, at the RFF Conference Center in Washington, D.C. The intent was to discuss how Bayesian approaches could be useful in improving techniques for estimating exposure–response functions. Ten distinguished scholars from a range of fields (medical biostatistics, decision sciences, environmental engineering, and toxicology) served as faculty. Approximately 80 people attended the workshop. Bayesian methods have been applied to a variety of problems in biomedical research and environmental risk analysis, including design of clinical trials, estimation of exposures to humans and local environments, and, in a few cases, estimation of exposure–response functions. Bayesian methods offer two signal advantages: their use requires careful analysis of problem logic, which has intrinsic utility, and disparate data can be incorporated into calculations. Although application of formal Bayesian analysis can be computationally challenging, widely available computer programs now greatly reduce this burden. Participants identified several factors that may impede the dissemination of Bayesian approaches among practitioners of dose–response assessment and made some recommendations for overcoming these hurdles. EPA, other regulatory agencies that use dose–response assessment as part of their processes, and the private sector all should take steps to foster the use of Bayesian approaches. EPA and other agencies should work to persuade professional societies (for example, Society for Risk Analysis, Society of Toxicology) to seek out and recognize meritorious analyses that use Bayesian approaches. EPA and private-sector organizations should consider sponsoring research into using Bayesian approaches, demonstration analyses that use them, and using the results of this work to help educate peers in the risk analysis and toxicology professions. EPA should request all staff and contractor scientists who develop mathematical models to use Bayesian techniques to calibrate models. EPA should consider ways to inform its staff, contractors, and the research community as to the utility of Bayesian analyses. EPA should consider improving its research planning by making use of Bayesian techniques (including value-of-information analyses).Bayesian analysis, dose–response, regulation, risk assessment, arsenic

“Anyone Can Change the World”: An Ethnography of Design For Change

Design For Change (DFC), an education program that seeks to empower students to work for change in their community, has been suggested as a tool for education reform, but little formal research has been conducted on the program. This study sought to fill this gap by examining the implementation of the DFC in a Dallas elementary school. The year-long study was qualitative in nature and used ethnographic methods to gain a deep understanding of how the curriculum interacted with and influenced students. It was demonstrated that the students in the study flourished with DFC, making effective use of knowledge and skills, showing increased agency in the classroom, and coming to see themselves as valuable contributors to change in their community. These findings were analyzed using the theories of Pierre Bourdieu, and suggest that DFC not only creates change through student’s projects, but can be subversive to structures that perpetuate inequality