Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 17 of 17

Full-Text Articles in Engineering

Fail-Safe Test Generation Of Safety Critical Systems, Salwa Elakeili Mar 2015

Fail-Safe Test Generation Of Safety Critical Systems, Salwa Elakeili

Electronic Theses and Dissertations

This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test).


Reasoning Tradeoffs In Implicit Invocation And Aspect Oriented Languages, Jose Sanchez Salazar Jan 2015

Reasoning Tradeoffs In Implicit Invocation And Aspect Oriented Languages, Jose Sanchez Salazar

Electronic Theses and Dissertations

To reason about a program means to state or conclude, by logical means, some properties the program exhibits; like its correctness according to certain expected behavior. The continuous need for more ambitious, more complex, and more dependable software systems demands for better mechanisms to modularize them and reason about their correctness. The reasoning process is affected by the design decisions made by the developer of the program and by the features supported by the programming language used. Beyond Object Orientation, Implicit Invocation and Aspect Oriented languages pose very hard reasoning challenges. Important tradeoffs must be considered while reasoning about a …


Improving Fairness, Throughput And Blocking Performance For Long Haul And Short Reach Optical Networks, Sana Tariq Jan 2015

Improving Fairness, Throughput And Blocking Performance For Long Haul And Short Reach Optical Networks, Sana Tariq

Electronic Theses and Dissertations

Innovations in optical communication are expected to transform the landscape of global communications, internet and datacenter networks. This dissertation investigates several important issues in optical communication such as fairness, throughput, blocking probability and differentiated quality of service (QoS). Novel algorithms and new approaches have been presented to improve the performance of optical circuit switching (OCS) and optical burst switching (OBS) for long haul, and datacenter networks. Extensive simulations tests have been conducted to evaluate the effectiveness of the proposed algorithms. These simulation tests were performed over a number of network topologies such as ring, mesh and U.S. Long-Haul, some high …


Computerized Evaluatution Of Microsurgery Skills Training, Payal Jotwani Jan 2015

Computerized Evaluatution Of Microsurgery Skills Training, Payal Jotwani

Electronic Theses and Dissertations

The style of imparting medical training has evolved, over the years. The traditional methods of teaching and practicing basic surgical skills under apprenticeship model, no longer occupy the first place in modern technically demanding advanced surgical disciplines like neurosurgery. Furthermore, the legal and ethical concerns for patient safety as well as cost-effectiveness have forced neurosurgeons to master the necessary microsurgical techniques to accomplish desired results. This has lead to increased emphasis on assessment of clinical and surgical techniques of the neurosurgeons. However, the subjective assessment of microsurgical techniques like micro-suturing under the apprenticeship model cannot be completely unbiased. A few …


Modeling Social Norms In Real-World Agent-Based Simulations, Rahmatollah Beheshti Jan 2015

Modeling Social Norms In Real-World Agent-Based Simulations, Rahmatollah Beheshti

Electronic Theses and Dissertations

Studying and simulating social systems including human groups and societies can be a complex problem. In order to build a model that simulates humans' actions, it is necessary to consider the major factors that affect human behavior. Norms are one of these factors: social norms are the customary rules that govern behavior in groups and societies. Norms are everywhere around us, from the way people handshake or bow to the clothes they wear. They play a large role in determining our behaviors. Studies on norms are much older than the age of computer science, since normative studies have been a …


Research On Improving Reliability, Energy Efficiency And Scalability In Distributed And Parallel File Systems, Junyao Zhang Jan 2015

Research On Improving Reliability, Energy Efficiency And Scalability In Distributed And Parallel File Systems, Junyao Zhang

Electronic Theses and Dissertations

With the increasing popularity of cloud computing and "Big data" applications, current data centers are often required to manage petabytes or exabytes of data. To store this huge amount of data, thousands or tens of thousands storage nodes are required at a single site. This imposes three major challenges for storage system designers: (1) Reliability---node failure in these datacenters is a normal occurrence rather than a rare situation. This makes data reliability a great concern. (2) Energy efficiency---a data center can consume up to 100 times more energy than a standard office building. More than 10% of this energy consumption …


An Integrated Framework For Automated Data Collection And Processing For Discrete Event Simulation Models, Carlos Rodriguez Jan 2015

An Integrated Framework For Automated Data Collection And Processing For Discrete Event Simulation Models, Carlos Rodriguez

Electronic Theses and Dissertations

Discrete Events Simulation (DES) is a powerful tool of modeling and analysis used in different disciplines. DES models require data in order to determine the different parameters that drive the simulations. The literature about DES input data management indicates that the preparation of necessary input data is often a highly manual process, which causes inefficiencies, significant time consumption and a negative user experience. The focus of this research investigation is addressing the manual data collection and processing (MDCAP) problem prevalent in DES projects. This research investigation presents an integrated framework to solve the MDCAP problem by classifying the data needed …


Testing Data Vault-Based Data Warehouse, Connard N. Williams Jan 2015

Testing Data Vault-Based Data Warehouse, Connard N. Williams

Electronic Theses and Dissertations

Data warehouse (DW) projects are undertakings that require integration of disparate sources of data, a well-defined mapping of the source data to the reconciled data, and effective Extract, Transform, and Load (ETL) processes. Owing to the complexity of data warehouse projects, great emphasis must be placed on an agile-based approach with properly developed and executed test plans throughout the various stages of designing, developing, and implementing the data warehouse to mitigate against budget overruns, missed deadlines, low customer satisfaction, and outright project failures. Yet, there are often attempts to test the data warehouse exactly like traditional back-end databases and legacy …


Modeling Crowd Mobility And Communication In Wireless Networks, Gurkan Solmaz Jan 2015

Modeling Crowd Mobility And Communication In Wireless Networks, Gurkan Solmaz

Electronic Theses and Dissertations

This dissertation presents contributions to the fields of mobility modeling, wireless sensor networks (WSNs) with mobile sinks, and opportunistic communication in theme parks. The two main directions of our contributions are human mobility models and strategies for the mobile sink positioning and communication in wireless networks. The first direction of the dissertation is related to human mobility modeling. Modeling the movement of human subjects is important to improve the performance of wireless networks with human participants and the validation of such networks through simulations. The movements in areas such as theme parks follow specific patterns that are not taken into …


Autonomous Quadcopter Videographer, Quiquia Rey Coaguila Jan 2015

Autonomous Quadcopter Videographer, Quiquia Rey Coaguila

Electronic Theses and Dissertations

In recent years, the interest in quadcopters as a robotics platform for autonomous photography has increased. This is due to their small size and mobility, which allow them to reach places that are difficult or even impossible for humans. This thesis focuses on the design of an autonomous quadcopter videographer, i.e. a quadcopter capable of capturing good footage of a specific subject. In order to obtain this footage, the system needs to choose appropriate vantage points and control the quadcopter. Skilled human videographers can easily spot good filming locations where the subject and its actions can be seen clearly in …


The Design, Implementation, And Refinement Of Wait-Free Algorithms And Containers, Steven Feldman Jan 2015

The Design, Implementation, And Refinement Of Wait-Free Algorithms And Containers, Steven Feldman

Electronic Theses and Dissertations

My research has been on the development of concurrent algorithms for shared memory systems that provide guarantees of progress. Research into such algorithms is important to developers implementing applications on mission critical and time sensitive systems. These guarantees of progress provide safety properties and freedom from many hazards, such as dead-lock, live-lock, and thread starvation. In addition to the safety concerns, the fine-grained synchronization used in implementing these algorithms promises to provide scalable performance in massively parallel systems. My research has resulted in the development of wait-free versions of the stack, hash map, ring buffer, vector, and a multi-word compare-and-swap …


Providing Context To The Clues: Recovery And Reliability Of Location Data From Android Devices, Connie Bell Jan 2015

Providing Context To The Clues: Recovery And Reliability Of Location Data From Android Devices, Connie Bell

Electronic Theses and Dissertations

Mobile device data continues to increase in significance in both civil and criminal investigations. Location data is often of particular interest. To date, research has established that the devices are location aware, incorporate a variety of resources to obtain location information, and cache the information in various ways. However, a review of the existing research suggests varying degrees of reliability of any such recovered location data. In an effort to clarify the issue, this project offers case studies of multiple Android mobile devices utilized in controlled conditions with known settings and applications in documented locations. The study uses data recovered …


Gauging Training Effectiveness Of Virtual Environment Simulation Based Applications For An Infantry Soldier Training Task, Douglas Maxwell Jan 2015

Gauging Training Effectiveness Of Virtual Environment Simulation Based Applications For An Infantry Soldier Training Task, Douglas Maxwell

Electronic Theses and Dissertations

The U.S. Army Training and Doctrine Command*s Army Learning Concept 2015 and Army Training Concept 2025 are documents that discuss the need for an adaptive soldier learning model with a flexible training delivery methodology. The U.S. Army has been investing in serious gaming technology for the past two decades as a cost effective means to teach tactics and strategy. Today, the U.S. Army is seeking to expand its application of virtual environment training to areas such as cultural awareness and human network analysis for the infantry soldier. These new expanded applications will require a higher level of non-determinant behavior inside …


Resource Management In Large-Scale Systems, Ashkan Paya Jan 2015

Resource Management In Large-Scale Systems, Ashkan Paya

Electronic Theses and Dissertations

The focus of this thesis is resource management in large-scale systems. Our primary concerns are energy management and practical principles for self-organization and self-management. The main contributions of our work are: 1. Models. We proposed several models for different aspects of resource management, e.g., energy-aware load balancing and application scaling for the cloud ecosystem, hierarchical architecture model for self-organizing and self-manageable systems and a new cloud delivery model based on auction-driven self-organization approach. 2. Algorithms. We also proposed several different algorithms for the models described above. Algorithms such as coalition formation, combinatorial auctions and clustering algorithm for scale-free organizations of …


Opportunistic Spectrum Utilization By Cognitive Radio Networks: Challenges And Solutions, Muhammad Faisal Amjad Jan 2015

Opportunistic Spectrum Utilization By Cognitive Radio Networks: Challenges And Solutions, Muhammad Faisal Amjad

Electronic Theses and Dissertations

Cognitive Radio Network (CRN) is an emerging paradigm that makes use of Dynamic Spectrum Access (DSA) to communicate opportunistically, in the un-licensed Industrial, Scientific and Medical bands or frequency bands otherwise licensed to incumbent users such as TV broadcast. Interest in the development of CRNs is because of severe under-utilization of spectrum bands by the incumbent Primary Users (PUs) that have the license to use them coupled with an ever-increasing demand for unlicensed spectrum for a variety of new mobile and wireless applications. The essence of Cognitive Radio (CR) operation is the cooperative and opportunistic utilization of licensed spectrum bands …


Modeling User Transportation Patterns Using Mobile Devices, Erfan Davami Jan 2015

Modeling User Transportation Patterns Using Mobile Devices, Erfan Davami

Electronic Theses and Dissertations

Participatory sensing frameworks use humans and their computing devices as a large mobile sensing network. Dramatic accessibility and affordability have turned mobile devices (smartphone and tablet computers) into the most popular computational machines in the world, exceeding laptops. By the end of 2013, more than 1.5 billion people on earth will have a smartphone. Increased coverage and higher speeds of cellular networks have given these devices the power to constantly stream large amounts of data. Most mobile devices are equipped with advanced sensors such as GPS, cameras, and microphones. This expansion of smartphone numbers and power has created a sensing …


Exploring 3d User Interface Technologies For Improving The Gaming Experience, Arun Kulshreshth Jan 2015

Exploring 3d User Interface Technologies For Improving The Gaming Experience, Arun Kulshreshth

Electronic Theses and Dissertations

3D user interface technologies have the potential to make games more immersive & engaging and thus potentially provide a better user experience to gamers. Although 3D user interface technologies are available for games, it is still unclear how their usage affects game play and if there are any user performance benefits. A systematic study of these technologies in game environments is required to understand how game play is affected and how we can optimize the usage in order to achieve better game play experience. This dissertation seeks to improve the gaming experience by exploring several 3DUI technologies. In this work, …