Agent architecture for simulating pedestrians in the built environment

The paper discusses an agent architecture for investigating visualized simulated pedestrian activity and behavior affecting pedestrian flows within the built environment. The approach will lead to a system that may serve as a decision support tool in the design process for predicting the likely impact of design parameters on pedestrian flows. UML diagrams are used to communicate about the interpretation of the agent architecture

Small Resolution Proofs for QBF using Dependency Treewidth

In spite of the close connection between the evaluation of quantified Boolean formulas (QBF) and propositional satisfiability (SAT), tools and techniques which exploit structural properties of SAT instances are known to fail for QBF. This is especially true for the structural parameter treewidth, which has allowed the design of successful algorithms for SAT but cannot be straightforwardly applied to QBF since it does not take into account the interdependencies between quantified variables. In this work we introduce and develop dependency treewidth, a new structural parameter based on treewidth which allows the efficient solution of QBF instances. Dependency treewidth pushes the frontiers of tractability for QBF by overcoming the limitations of previously introduced variants of treewidth for QBF. We augment our results by developing algorithms for computing the decompositions that are required to use the parameter

Proceedings, MSVSCC 2017

Proceedings of the 11th Annual Modeling, Simulation & Visualization Student Capstone Conference held on April 20, 2017 at VMASC in Suffolk, Virginia. 211 pp

Pervasive computing reference architecture from a software engineering perspective (PervCompRA-SE)

Pervasive computing (PervComp) is one of the most challenging research topics nowadays. Its complexity exceeds the outdated main frame and client-server computation models. Its systems are highly volatile, mobile, and resource-limited ones that stream a lot of data from different sensors. In spite of these challenges, it entails, by default, a lengthy list of desired quality features like context sensitivity, adaptable behavior, concurrency, service omnipresence, and invisibility. Fortunately, the device manufacturers improved the enabling technology, such as sensors, network bandwidth, and batteries to pave the road for pervasive systems with high capabilities. On the other hand, this domain area has gained an enormous amount of attention from researchers ever since it was first introduced in the early 90s of the last century. Yet, they are still classified as visionary systems that are expected to be woven into people’s daily lives. At present, PervComp systems still have no unified architecture, have limited scope of context-sensitivity and adaptability, and many essential quality features are insufficiently addressed in PervComp architectures. The reference architecture (RA) that we called (PervCompRA-SE) in this research, provides solutions for these problems by providing a comprehensive and innovative pair of business and technical architectural reference models. Both models were based on deep analytical activities and were evaluated using different qualitative and quantitative methods. In this thesis we surveyed a wide range of research projects in PervComp in various subdomain areas to specify our methodological approach and identify the quality features in the PervComp domain that are most commonly found in these areas. It presented a novice approach that utilizes theories from sociology, psychology, and process engineering. The thesis analyzed the business and architectural problems in two separate chapters covering the business reference architecture (BRA) and the technical reference architecture (TRA). The solutions for these problems were introduced also in the BRA and TRA chapters. We devised an associated comprehensive ontology with semantic meanings and measurement scales. Both the BRA and TRA were validated throughout the course of research work and evaluated as whole using traceability, benchmark, survey, and simulation methods. The thesis introduces a new reference architecture in the PervComp domain which was developed using a novel requirements engineering method. It also introduces a novel statistical method for tradeoff analysis and conflict resolution between the requirements. The adaptation of the activity theory, human perception theory and process re-engineering methods to develop the BRA and the TRA proved to be very successful. Our approach to reuse the ontological dictionary to monitor the system performance was also innovative. Finally, the thesis evaluation methods represent a role model for researchers on how to use both qualitative and quantitative methods to evaluate a reference architecture. Our results show that the requirements engineering process along with the trade-off analysis were very important to deliver the PervCompRA-SE. We discovered that the invisibility feature, which was one of the envisioned quality features for the PervComp, is demolished and that the qualitative evaluation methods were just as important as the quantitative evaluation methods in order to recognize the overall quality of the RA by machines as well as by human beings

Using decomposition-parameters for QBF: Mind the prefix!

Similar to the satisfiability (SAT) problem, which can be seen to be the archetypical problem for NP, the quantified Boolean formula problem (QBF) is the archetypical problem for PSPACE. Recently, Atserias and Oliva (2014) showed that, unlike for SAT, many of the well-known decompositional parameters (such as treewidth and pathwidth) do not allow efficient algorithms for QBF. The main reason for this seems to be the lack of awareness of these parameters towards the dependencies between variables of a QBF formula. In this paper we extend the ordinary pathwidth to the QBF-setting by introducing prefix pathwidth, which takes into account the dependencies between variables in a QBF, and show that it leads to an efficient algorithm for QBF. We hope that our approach will help to initiate the study of novel tailor-made decompositional parameters for QBF and thereby help to lift the success of these decompositional parameters from SAT to QBF

THREE ESSAYS ON OFFSHORING DECISION-MAKING

This thesis studies biases in offshoring decisions and proposes a tool to improve understanding of the value of lead-time. Recent research results show local responsive production reduces mismatch between supply and demand, but this aspect of the cost is often overlooked in offshoring decisions, leading to suboptimal decisions. The tradeoff between lower unit costs and mismatch cost under demand uncertainty as lead-time increases, and the benefits of a local portfolio of products with different demand volatility, make the offshoring decision complex and the optimal solution sometimes counterintuitive. Building on behavioral research, I designed software-based laboratory trials to explore patterns of decisions in an offshoring problem, and a simulation-game to help teach and communicate research insights. In the first paper, I find that participants facing an offshoring problem fail to apply the economically optimal strategy. In the second paper, I find that non-economic factors like peer influence play a role in offshoring decisions. These trials are exploratory in nature and do not provide generalizable results, rather, they are a step towards a better understanding of the fundamental research questions and the conception of experiments. In the third paper, I describe the development and use of a simulation-game to help students, managers and policy makers understand the value of lead-time and volatility portfolio through an active learning approach. My work contributes to the understanding of the impact of bounded rationality in offshoring decisions and proposes a teaching method adapted to the challenges posed by the concepts involved

Using Diffusion of Innovations to Explore Digital Gaming in Undergraduate Library Instruction

Digital games and simulations are receiving considerable notice within the Library and Information Science (LIS) community. This study adds to the depth of knowledge in this area by providing research on the likelihood a hypothetical digital game delivery method for library instruction achieves sufficient adoption to justify its development. Furthermore, this knowledge will assist decision making processes for individuals debating the current or potential role of digital gaming at their institutions. In this mixed methods study, over 300 undergraduates were surveyed about their technology preferences, including digital gaming, for delivery of two forms of academic library instruction. The two forms of library instruction were (a) providing users with spatial information on physical library layout, and (b) educating users on information literacy topics and skills. Observational data was collected during the survey sessions, occurring at face-to-face library instruction sessions. Self-selected survey participants were also interviewed to further probe their survey responses. Rogers' Diffusion of Innovations was the theoretical foundation to this research. The primary innovation of study was the digital game delivery method. Detailed analysis of the survey-based data set included three nonparametric scaling methods: 1) rank-sum scaling; 2) circular triad analysis; and 3) multidimensional preference mapping. Content analysis of the observations and semi-structured interviews also occurred. Major outcomes were 1) the digital game delivery method achieved mediocre preference across both questions; 2) the audiovisual delivery method received the highest overall preference ranking; and 3) overall preference for the audio-only delivery method was remarkably low. The most important theme across the observational data was the participants' waning attention during the face-to-face library instruction sessions. The most important outcome from the semi-structured interviews was interviewees' stated appreciation for useful technologies. Over 95% of participants were so-called digital natives, that is, born post-1980. Rogers' assertion that age plays a minor role in predicting technology adoption appears warranted, since the more innovative digital game delivery method achieved mediocre overall preference

Methods and Systems for Fault Diagnosis in Nuclear Power Plants

This research mainly deals with fault diagnosis in nuclear power plants (NPP), based on a framework that integrates contributions from fault scope identification, optimal sensor placement, sensor validation, equipment condition monitoring, and diagnostic reasoning based on pattern analysis. The research has a particular focus on applications where data collected from the existing SCADA (supervisory, control, and data acquisition) system is not sufficient for the fault diagnosis system. Specifically, the following methods and systems are developed. A sensor placement model is developed to guide optimal placement of sensors in NPPs. The model includes 1) a method to extract a quantitative fault-sensor incidence matrix for a system; 2) a fault diagnosability criterion based on the degree of singularities of the incidence matrix; and 3) procedures to place additional sensors to meet the diagnosability criterion. Usefulness of the proposed method is demonstrated on a nuclear power plant process control test facility (NPCTF). Experimental results show that three pairs of undiagnosable faults can be effectively distinguished with three additional sensors selected by the proposed model. A wireless sensor network (WSN) is designed and a prototype is implemented on the NPCTF. WSN is an effective tool to collect data for fault diagnosis, especially for systems where additional measurements are needed. The WSN has distributed data processing and information fusion for fault diagnosis. Experimental results on the NPCTF show that the WSN system can be used to diagnose all six fault scenarios considered for the system. A fault diagnosis method based on semi-supervised pattern classification is developed which requires significantly fewer training data than is typically required in existing fault diagnosis models. It is a promising tool for applications in NPPs, where it is usually difficult to obtain training data under fault conditions for a conventional fault diagnosis model. The proposed method has successfully diagnosed nine types of faults physically simulated on the NPCTF. For equipment condition monitoring, a modified S-transform (MST) algorithm is developed by using shaping functions, particularly sigmoid functions, to modify the window width of the existing standard S-transform. The MST can achieve superior time-frequency resolution for applications that involves non-stationary multi-modal signals, where classical methods may fail. Effectiveness of the proposed algorithm is demonstrated using a vibration test system as well as applications to detect a collapsed pipe support in the NPCTF. The experimental results show that by observing changes in time-frequency characteristics of vibration signals, one can effectively detect faults occurred in components of an industrial system. To ensure that a fault diagnosis system does not suffer from erroneous data, a fault detection and isolation (FDI) method based on kernel principal component analysis (KPCA) is extended for sensor validations, where sensor faults are detected and isolated from the reconstruction errors of a KPCA model. The method is validated using measurement data from a physical NPP. The NPCTF is designed and constructed in this research for experimental validations of fault diagnosis methods and systems. Faults can be physically simulated on the NPCTF. In addition, the NPCTF is designed to support systems based on different instrumentation and control technologies such as WSN and distributed control systems. The NPCTF has been successfully utilized to validate the algorithms and WSN system developed in this research. In a real world application, it is seldom the case that one single fault diagnostic scheme can meet all the requirements of a fault diagnostic system in a nuclear power. In fact, the values and performance of the diagnosis system can potentially be enhanced if some of the methods developed in this thesis can be integrated into a suite of diagnostic tools. In such an integrated system, WSN nodes can be used to collect additional data deemed necessary by sensor placement models. These data can be integrated with those from existing SCADA systems for more comprehensive fault diagnosis. An online performance monitoring system monitors the conditions of the equipment and provides key information for the tasks of condition-based maintenance. When a fault is detected, the measured data are subsequently acquired and analyzed by pattern classification models to identify the nature of the fault. By analyzing the symptoms of the fault, root causes of the fault can eventually be identified