A Comparison of Mobile Scanning to a Total Station Survey at the I-35 and IA 92 Interchange in Warren County, Iowa, August 15, 2012

The purpose of this project was to investigate the potential for collecting and using data from mobile terrestrial laser scanning (MTLS) technology that would reduce the need for traditional survey methods for the development of highway improvement projects at the Iowa Department of Transportation (Iowa DOT). The primary interest in investigating mobile scanning technology is to minimize the exposure of field surveyors to dangerous high volume traffic situations. Issues investigated were cost, timeframe, accuracy, contracting specifications, data capture extents, data extraction capabilities and data storage issues associated with mobile scanning. The project area selected for evaluation was the I-35/IA 92 interchange in Warren County, Iowa. This project covers approximately one mile of I-35, one mile of IA 92, 4 interchange ramps, and bridges within these limits. Delivered LAS and image files for this project totaled almost 31GB. There is nearly a 6-fold increase in the size of the scan data after post-processing. Camera data, when enabled, produced approximately 900MB of imagery data per mile using a 2- camera, 5 megapixel system. A comparison was done between 1823 points on the pavement that were surveyed by Iowa DOT staff using a total station and the same points generated through the MTLS process. The data acquired through the MTLS and data processing met the Iowa DOT specifications for engineering survey. A list of benefits and challenges is included in the detailed report. With the success of this project, it is anticipate[d] that additional projects will be scanned for the Iowa DOT for use in the development of highway improvement projects

Feature-Aware Verification

A software product line is a set of software products that are distinguished in terms of features (i.e., end-user--visible units of behavior). Feature interactions ---situations in which the combination of features leads to emergent and possibly critical behavior--- are a major source of failures in software product lines. We explore how feature-aware verification can improve the automatic detection of feature interactions in software product lines. Feature-aware verification uses product-line verification techniques and supports the specification of feature properties along with the features in separate and composable units. It integrates the technique of variability encoding to verify a product line without generating and checking a possibly exponential number of feature combinations. We developed the tool suite SPLverifier for feature-aware verification, which is based on standard model-checking technology. We applied it to an e-mail system that incorporates domain knowledge of AT&T. We found that feature interactions can be detected automatically based on specifications that have only feature-local knowledge, and that variability encoding significantly improves the verification performance when proving the absence of interactions.Comment: 12 pages, 9 figures, 1 tabl

Tracing the Scenarios in Scenario-Based Product Design: a study to support scenario generation

Scenario-based design originates from the human-computer interaction and\ud software engineering disciplines, and continues to be adapted for product development. Product development differs from software development in the former’s more varied context of use, broader characteristics of users and more tangible solutions. The possible use of scenarios in product design is therefore broader and more challenging. Existing design methods that involve scenarios can be employed in many different stages of the product design process. However, there is no proficient overview that discusses a\ud scenario-based product design process in its full extent. The purposes of creating scenarios and the evolution of scenarios from their original design data are often not obvious, although the results from using scenarios are clearly visible. Therefore, this paper proposes to classify possible scenario uses with their purpose, characteristics and supporting design methods. The classification makes explicit different types of scenarios and their relation to one another. Furthermore, novel scenario uses can be referred or added to the classification to develop it in parallel with the scenario-based design\ud practice. Eventually, a scenario-based product design process could take inspiration for creating scenarios from the classification because it provides detailed characteristics of the scenario

Measuring Process Modelling Success

Process-modelling has seen widespread acceptance, par ticularly on large IT-enabled Business Process Reengineering projects. It is applied, as a process design and management technique, across all life-cycle phases of a system. While there has been much research on aspects of process-modelling, little attention has focused on post-hoc evaluation of process-modelling success. This paper addresses this gap, and presents a process-modelling success measurement (PMS) framework, which includes the dimensions: process-model quality; model use; user satisfaction; and process modelling impact. Measurement items for each dimension are also suggested

How to achieve sustainability : regulatory challenges

The importance of designing sustainable buildings is gaining greater acceptance worldwide. Evidence of this is how regulators are incorporating sustainable design principles into building regulations and requirements. The aim being to increase the number of sustainable buildings and move from a traditional voluntary compliance to one that is mandatory. However, developing regulations that actually achieve these aims can be a difficult exercise. Several countries in South East Asia, such as Singapore and Malaysia, have performance based building regulations that are supplemented by prescriptive measures for achieving the desired performance. Australia too has similar building regulations and has had energy efficiency regulations within the Building Code of Australia for over a decade. This paper explores some of the difficulties and problems that Australian regulators have experienced with the performance-based method and the prescriptive or “deemed-to-comply” method and measures that have been taken to try and overcome these problems. These experiences act as a useful guide to all regulators considering the incorporation of sustainable design measures into their countries building regulations. The paper also speculates on future environmental requirements being incorporated into regulations, including the possibility of non-residential buildings being required to meet minimum energy efficiency requirements, and the possible systems that would need to be in place before such requirements were included. Finally, the paper looks at a possible way forward using direct assessment from electronic designs and introduces several software tools that are currently being developed that move towards achieving this goal. Keywords: Sustainable buildings, Performance-based, Regulations, Energy efficiency, Assessment tools

Econometrics meets sentiment : an overview of methodology and applications

The advent of massive amounts of textual, audio, and visual data has spurred the development of econometric methodology to transform qualitative sentiment data into quantitative sentiment variables, and to use those variables in an econometric analysis of the relationships between sentiment and other variables. We survey this emerging research field and refer to it as sentometrics, which is a portmanteau of sentiment and econometrics. We provide a synthesis of the relevant methodological approaches, illustrate with empirical results, and discuss useful software

Designing low carbon buildings : a framework to reduce energy consumption and embed the use of renewables

EU policies to mitigate climate change set ambitious goals for energy and carbon reduction for the built environment. In order meet and even exceed the EU targets the UK Government's Climate Change Act 2008 sets a target to reduce greenhouse gas emissions in the UK by at least 80% from 1990 levels by 2050. To support these targets the UK government also aims to ensure that 20% of the UK's electricity is supplied from renewable sources by 2020. This article presents a design framework and a set of integrated IT tools to enable an analysis of the energy performance of building designs, including consideration of active and passive renewable energy technologies, when the opportunity to substantially improve the whole life-cycle energy performance of those designs is still open. To ensure a good fit with current architectural practices the design framework is integrated with the Royal Institute of British Architects (RIBA) key stages, which is the most widely used framework for the delivery of construction projects. The main aims of this article are to illustrate the need for new approaches to support low carbon building design that can be integrated into current architectural practice, to present the design framework developed in this research and illustrate its application in a case study

Trifocal Relative Pose from Lines at Points and its Efficient Solution

We present a new minimal problem for relative pose estimation mixing point features with lines incident at points observed in three views and its efficient homotopy continuation solver. We demonstrate the generality of the approach by analyzing and solving an additional problem with mixed point and line correspondences in three views. The minimal problems include correspondences of (i) three points and one line and (ii) three points and two lines through two of the points which is reported and analyzed here for the first time. These are difficult to solve, as they have 216 and - as shown here - 312 solutions, but cover important practical situations when line and point features appear together, e.g., in urban scenes or when observing curves. We demonstrate that even such difficult problems can be solved robustly using a suitable homotopy continuation technique and we provide an implementation optimized for minimal problems that can be integrated into engineering applications. Our simulated and real experiments demonstrate our solvers in the camera geometry computation task in structure from motion. We show that new solvers allow for reconstructing challenging scenes where the standard two-view initialization of structure from motion fails.Comment: This material is based upon work supported by the National Science Foundation under Grant No. DMS-1439786 while most authors were in residence at Brown University's Institute for Computational and Experimental Research in Mathematics -- ICERM, in Providence, R