Adding value and meaning to coheating tests

Purpose: The coheating test is the standard method of measuring the heat loss coefficient of a building, but to be useful the test requires careful and thoughtful execution. Testing should take place in the context of additional investigations in order to achieve a good understanding of the building and a qualitative and (if possible) quantitative understanding of the reasons for any performance shortfall. The paper aims to discuss these issues. Design/methodology/approach: Leeds Metropolitan University has more than 20 years of experience in coheating testing. This experience is drawn upon to discuss practical factors which can affect the outcome, together with supporting tests and investigations which are often necessary in order to fully understand the results. Findings: If testing is approached using coheating as part of a suite of investigations, a much deeper understanding of the test building results. In some cases it is possible to identify and quantify the contributions of different factors which result in an overall performance shortfall. Practical implications: Although it is not practicable to use a fully investigative approach for large scale routine quality assurance, it is extremely useful for purposes such as validating other testing procedures, in-depth study of prototypes or detailed investigations where problems are known to exist. Social implications: Successful building performance testing is a vital tool to achieve energy saving targets. Originality/value: The approach discussed clarifies some of the technical pitfalls which may be encountered in the execution of coheating tests and points to ways in which the maximum value can be extracted from the test period, leading to a meaningful analysis of the building's overall thermal performance

Overcoming Language Dichotomies: Toward Effective Program Comprehension for Mobile App Development

Mobile devices and platforms have become an established target for modern software developers due to performant hardware and a large and growing user base numbering in the billions. Despite their popularity, the software development process for mobile apps comes with a set of unique, domain-specific challenges rooted in program comprehension. Many of these challenges stem from developer difficulties in reasoning about different representations of a program, a phenomenon we define as a "language dichotomy". In this paper, we reflect upon the various language dichotomies that contribute to open problems in program comprehension and development for mobile apps. Furthermore, to help guide the research community towards effective solutions for these problems, we provide a roadmap of directions for future work.Comment: Invited Keynote Paper for the 26th IEEE/ACM International Conference on Program Comprehension (ICPC'18

Knowledge management: Using a knowledge requirements framework to enhance UK health sector supply chains

The gaps of mismatch both knowledge and understanding of beneficiaries and solution providers at the initial stage of developing projects have led to the failures of many projects including supply chains (SC) and related information technology systems (ITS) projects (Lyytinen and Hirschheim, 1987) . The aims of this paper are first, to address theoretical framework by bridging the gaps of different types of knowledge. Second, to establishing business requirements and the flow of information in supply chains between beneficiaries and solution providers in the long and complicated supply chains of the UK’s Health Sector. On the basis of brief introduction to knowledge, knowledge management and supply chain, the paper presents a practical framework that has been developed through critical and relevant literatures in the above three subject areas. Techniques and Tools stem from both management science and information systems were used to provide a possible solution for the problem in bridging the gaps of mismatch knowledge and understanding at the initial stage of identifying requirements in projects through knowledge sharing and transfer

Evaluating the impact of an enhanced energy performance standard on load-bearing masonry domestic construction: Understanding the gap between designed and real performance: lessons from Stamford Brook.

This report is aimed at those with interests in the procurement, design and construction of new dwellings both now and in the coming years as the Government’s increasingly stringent targets for low and zero carbon housing approach. It conveys the results of a research project, carried out between 2001 and 2008, that was designed to evaluate the extent to which low carbon housing standards can be achieved in the context of a large commercial housing development. The research was led by Leeds Metropolitan University in collaboration with University College London and was based on the Stamford Brook development in Altrincham, Cheshire. The project partners were the National Trust, Redrow and Taylor Wimpey and some 60 percent of the planned 700 dwelling development has been completed up to June 2008. As the UK house building industry and its suppliers grapple with the challenges of achieving zero carbon housing by 2016, the lessons arising from this project are timely and of considerable value. Stamford Brook has demonstrated that designing masonry dwellings to achieve an enhanced energy standard is feasible and that a number of innovative approaches, particularly in the area of airtightness, can be successful. The dwellings, as built, exceed the Building Regulations requirements in force at the time but tests on the completed dwellings and longer term monitoring of performance has shown that, overall, energy consumption and carbon emissions, under standard occupancy, are around 20 to 25 percent higher than design predictions. In the case of heat loss, the discrepancy can be much higher. The report contains much evidence of considerable potential but points out that realising the design potential requires a fundamental reappraisal of processes within the industry from design and construction to the relationship with its supply chain and the development of the workforce. The researchers conclude that, even when builders try hard, current mainstream technical and organisational practices together with industry cultures present barriers to consistent delivery of low and zero carbon performance. They suggest that the underlying reasons for this are deeply embedded at all levels of the house building industry. They point out also that without fundamental change in processes and cultures, technological innovations, whether they be based on traditional construction or modern methods are unlikely to reach their full potential. The report sets out a series of wide ranging implications for new housing in the UK, which are given in Chapter 14 and concludes by firmly declaring that cooperation between government, developers, supply chains, educators and researchers will be crucial to improvement. The recommendations in this report are already being put into practice by the researchers at Leeds Metropolitan University and University College London in their teaching and in further research projects. The implications of the work have been discussed across the industry at a series of workshops undertaken in 2008 as part of the LowCarb4Real project (see http://www.leedsmet.ac.uk/as/cebe/projects/lowcarb4real/index.htm). In addition, the learning is having an impact on the work of the developers (Redrow and Taylor Wimpey) who, with remarkable foresight and enthusiasm, hosted the project. This report seeks to make the findings more widely available and is offered for consideration by everyone who has a part to play in making low and zero carbon housing a reality

Bridging the gap: a novel approach to mathematics support

The ever growing gap between secondary and university level mathematics is now becoming a major concern to higher education institutions. The increase in diversity of students’ background in mathematics, from students who have studied the more traditional A-level programmes to students with BTEC or international qualifications and part-time students who have been out of education for long periods, means that they are often unprepared for the marked shift in levels and catering for all abilities is difficult in the normal lecture, tutorial format. Lack of sufficient mathematical knowledge not only affects students’ success on courses but also leads to disengagement and thus a high drop-out rate in the first 2 years of study. Many universities now offer a maths support service in an attempt to overcome this but their success is varied. This paper presents a novel approach to maths support designed and adopted by the University of Lincoln, School of Engineering, to bridge this transition gap for students, offer continued support through assessment for learning (AFL) and Individual Learning Plans (ILP’s) and ultimately increase student success, engagement and retention. The paper then extends this proven approach and discusses proposed enhancements through the use of on-line diagnostic testing and implementation of a ‘student expert’ system to harness mathematical knowledge held by those gifted and talented students often overlooked by higher education institutions and to promote peer-to-peer mentoring. The paper shows that with the current support system in place, there is a marked increase in student retention, compared with national benchmark data, and an increase in student engagement and success measured through student feedback and presented retention data

Bridging the Gap Between Requirements and Model Analysis : Evaluation on Ten Cyber-Physical Challenge Problems

Formal verfication and simulation are powerful tools to validate requirements against complex systems. [Problem] Requirements are developed in early stages of the software lifecycle and are typically written in ambiguous natural language. There is a gap between such requirements and formal notations that can be used by verification tools, and lack of support for proper association of requirements with software artifacts for verification. [Principal idea] We propose to write requirements in an intuitive, structured natural language with formal semantics, and to support formalization and model/code verification as a smooth, well-integrated process. [Contribution] We have developed an end-to-end, open source requirements analysis framework that checks Simulink models against requirements written in structured natural language. Our framework is built in the Formal Requirements Elicitation Tool (fret); we use fret's requirements language named fretish, and formalization of fretish requirements in temporal logics. Our proposed framework contributes the following features: 1) automatic extraction of Simulink model information and association of fretish requirements with target model signals and components; 2) translation of temporal logic formulas into synchronous dataflow cocospec specifications as well as Simulink monitors, to be used by verification tools; we establish correctness of our translation through extensive automated testing; 3) interpretation of counterexamples produced by verification tools back at requirements level. These features support a tight integration and feedback loop between high level requirements and their analysis. We demonstrate our approach on a major case study: the Ten Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems

Investigation of organic adhesives for hybrid microcircuits

The properties of organic adhesives were investigated to acquire information for a guideline document regarding the selection of adhesives for use in high reliability hybrid microcircuits. Specifically, investigations were made of (1) alternate methods for determining the outgassing of cured adhesives, (2) effects of long term aging at 150 C on the electrical properties of conductive adhesives, (3) effects of shelf life age on adhesive characteristics, (4) bond strengths of electrically conductive adhesives on thick film gold metallization, (5) a copper filled adhesive, (6) effects of products outgassed from cured adhesives on device electrical parameters, (7) metal migration from electrically conductive adhesives, and (8) ionic content of electrically insulative adhesives. The tests performed during these investigations are described, and the results obtained are discussed

Mind the Gap: Another look at the problem of the semantic gap in image retrieval

This paper attempts to review and characterise the problem of the semantic gap in image retrieval and the attempts being made to bridge it. In particular, we draw from our own experience in user queries, automatic annotation and ontological techniques. The first section of the paper describes a characterisation of the semantic gap as a hierarchy between the raw media and full semantic understanding of the media's content. The second section discusses real users' queries with respect to the semantic gap. The final sections of the paper describe our own experience in attempting to bridge the semantic gap. In particular we discuss our work on auto-annotation and semantic-space models of image retrieval in order to bridge the gap from the bottom up, and the use of ontologies, which capture more semantics than keyword object labels alone, as a technique for bridging the gap from the top down