High-Performance Integrated Window and Façade Solutions for California

The researchers developed a new generation of high-performance façade systems and supporting design and management tools to support industry in meeting California’s greenhouse gas reduction targets, reduce energy consumption, and enable an adaptable response to minimize real-time demands on the electricity grid. The project resulted in five outcomes: (1) The research team developed an R-5, 1-inch thick, triplepane, insulating glass unit with a novel low-conductance aluminum frame. This technology can help significantly reduce residential cooling and heating loads, particularly during the evening. (2) The team developed a prototype of a windowintegrated local ventilation and energy recovery device that provides clean, dry fresh air through the façade with minimal energy requirements. (3) A daylight-redirecting louver system was prototyped to redirect sunlight 15–40 feet from the window. Simulations estimated that lighting energy use could be reduced by 35–54 percent without glare. (4) A control system incorporating physics-based equations and a mathematical solver was prototyped and field tested to demonstrate feasibility. Simulations estimated that total electricity costs could be reduced by 9-28 percent on sunny summer days through adaptive control of operable shading and daylighting components and the thermostat compared to state-of-the-art automatic façade controls in commercial building perimeter zones. (5) Supporting models and tools needed by industry for technology R&D and market transformation activities were validated. Attaining California’s clean energy goals require making a fundamental shift from today’s ad-hoc assemblages of static components to turnkey, intelligent, responsive, integrated building façade systems. These systems offered significant reductions in energy use, peak demand, and operating cost in California

Do automated digital health behaviour change interventions have a positive effect on self-efficacy? A systematic review and meta-analysis

© 2019 Taylor & Francis. This is an Accepted Manuscript of an article published by Taylor & Francis in Health Psychology Review on 20/01/2020, available online: https://doi.org/10.1080/17437199.2019.1705873.Self-efficacy is an important determinant of health behaviour. Digital interventions are a potentially acceptable and cost-effective way of delivering programmes of health behaviour change at scale. Whether behaviour change interventions work to increase self-efficacy in this context is unknown. This systematic review and meta-analysis sought to identify whether automated digital interventions are associated with positive changes in self-efficacy amongst non-clinical populations for five major health behaviours, and which BCTs are associated with that change. A systematic literature search identified 20 studies (n=5624) that assessed changes in self-efficacy and were included in a random effects meta-analysis. Interventions targeted: healthy eating (k=4), physical activity (k=9), sexual behaviour (k=3), and smoking (k=4). No interventions targeting alcohol use were identified. Overall, interventions had a small, positive effect on self-efficacy (푔 = 0.190, CI [0.078; 0.303]). The effect of interventions on self-efficacy did not differ as a function of health behaviour type (Qbetween = 7.3704 p = 0.061, df = 3). Inclusion of the BCT ‘information about social and environmental consequences’ had a small, negative effect on self-efficacy (Δ푔= - 0.297, Q=7.072, p=0.008). Whilst this review indicates that digital interventions can be used to change self-efficacy, which techniques work best in this context is not clear.Peer reviewedFinal Accepted Versio

Requirements for building information modeling based lean production management systems for construction

Smooth flow of production in construction is hampered by disparity between individual trade teams' goals and the goals of stable production flow for the project as a whole. This is exacerbated by the difficulty of visualizing the flow of work in a construction project. While the addresses some of the issues in Building information modeling provides a powerful platform for visualizing work flow in control systems that also enable pull flow and deeper collaboration between teams on and off site. The requirements for implementation of a BIM-enabled pull flow construction management software system based on the Last Planner System™, called ‘KanBIM’, have been specified, and a set of functional mock-ups of the proposed system has been implemented and evaluated in a series of three focus group workshops. The requirements cover the areas of maintenance of work flow stability, enabling negotiation and commitment between teams, lean production planning with sophisticated pull flow control, and effective communication and visualization of flow. The evaluation results show that the system holds the potential to improve work flow and reduce waste by providing both process and product visualization at the work face

Symbolic execution proofs for higher order store programs

Higher order store programs are programs which store, manipulate and invoke code at runtime. Important examples of higher order store programs include operating system kernels which dynamically load and unload kernel modules. Yet conventional Hoare logics, which provide no means of representing changes to code at runtime, are not applicable to such programs. Recently, however, new logics using nested Hoare triples have addressed this shortcoming. In this paper we describe, from top to bottom, a sound semi-automated verification system for higher order store programs. We give a programming language with higher order store features, define an assertion language with nested triples for specifying such programs, and provide reasoning rules for proving programs correct. We then present in full our algorithms for automatically constructing correctness proofs. In contrast to earlier work, the language also includes ordinary (fixed) procedures and mutable local variables, making it easy to model programs which perform dynamic loading and other higher order store operations. We give an operational semantics for programs and a step-indexed interpretation of assertions, and use these to show soundness of our reasoning rules, which include a deep frame rule which allows more modular proofs. Our automated reasoning algorithms include a scheme for separation logic based symbolic execution of programs, and automated provers for solving various kinds of entailment problems. The latter are presented in the form of sets of derived proof rules which are constrained enough to be read as a proof search algorithm

Fuzzy Logic in Clinical Practice Decision Support Systems

Computerized clinical guidelines can provide significant benefits to health outcomes and costs, however, their effective implementation presents significant problems. Vagueness and ambiguity inherent in natural (textual) clinical guidelines is not readily amenable to formulating automated alerts or advice. Fuzzy logic allows us to formalize the treatment of vagueness in a decision support architecture. This paper discusses sources of fuzziness in clinical practice guidelines. We consider how fuzzy logic can be applied and give a set of heuristics for the clinical guideline knowledge engineer for addressing uncertainty in practice guidelines. We describe the specific applicability of fuzzy logic to the decision support behavior of Care Plan On-Line, an intranet-based chronic care planning system for General Practitioners

INQUIRE: a case study in evaluating the potential of online MCQ tests in a discursive subject

There has been a wealth of investigation into the use of online multiple-choice questions as a means of summative assessment, however the research into the use of formative MCQs by the same mode of delivery still remains patchy. Similarly, research and implementation has been largely concentrated within the Sciences and Medicine rather than the more discursive subjects within the Humanities and Social Sciences. The INQUIRE (Interactive Questions Reinforcing Education) Evaluation Project was jointly conducted by two groups at the University of Oxford-the Said Business School and the Academic Computing Development Team to evaluate the use of online MCQs as a mechanism to reinforce and extend student learning. This initial study used a small set of highly focused MCQ tests that were designed to complement an introductory series of first-year undergraduate management lectures. MCQ is a simple and well-established technology, and hence the emphasis was very much on situating the tests within the student experience. The paper will cover how the online MCQs are intended to fit into the Oxford Undergraduate study agenda, and how a simple evaluation was executed and planned to investigate their usage and impact. The chosen method of evaluation was to combine focus groups with automated online methods of tracking, and the paper discusses the findings of both of these

Cognitive barriers during monitoring-based commissioning of buildings

Monitoring-based commissioning (MBCx) is a continuous building energy management process used to optimize energy performance in buildings. Although monitoring-based commissioning (MBCx) can reduce energy waste by up to 20%, many buildings still underperform due to issues such as unnoticed system faults and inefficient operational procedures. While there are technical barriers that impede the MBCx process, such as data quality, the focuses of this paper are the non-technical, behavioral and organizational, barriers that contribute to issues initiating and implementing MBCx. In particular, this paper discusses cognitive biases, which can lead to suboptimal outcomes in energy efficiency decisions, resulting in missed opportunities for energy savings. This paper provides evidence of cognitive biases in decisions during the MBCx process using qualitative data from over 40 public and private sector organizations. The results describe barriers resulting from cognitive biases, listed in descending order of occurrence, including: risk aversion, social norms, choice overload, status quo bias, information overload, professional bias, and temporal discounting. Building practitioners can use these results to better understand potential cognitive biases, in turn allowing them to establish best practices and make more informed decisions. Researchers can use these results to empirically test specific decision interventions and facilitate more energy efficient decisions