Engineering Commons^™

Knowledge Representation In The Big Data Age, Pascal Hitzler

Computer Science and Engineering Faculty Publications

No abstract provided.

Advanced Optimization Techniques For Monte Carlo Simulation On Graphics Processing Units, Eyad Hailat

Wayne State University Dissertations

The objective of this work is to design and implement a self-adaptive parallel GPU optimized Monte Carlo algorithm for the simulation of adsorption in porous materials. We focus on Nvidia's GPUs and CUDA's Fermi architecture specifically. The resulting package supports the different ensemble methods for the Monte Carlo simulation, which will allow for the simulation of multi-component adsorption in porous solids. Such an algorithm will have broad applications to the development of novel porous materials for the sequestration of CO2 and the filtration of toxic industrial chemicals.

The primary objective of this work is the release of a massively parallel …

Comparison Of Models For Mixture Transport Properties For Numerical Simulations Of Ablative Heat-Shields, Hicham Alkandry, Iain D. Boyd, Alexandre Martin

Mechanical Engineering Faculty Publications

The goal of this study is to evaluate the effects of different models for calculating the mixture transport properties on flowfield predictions of ablative heat-shields. The Stardust sample return capsule at four different trajectory conditions is used as a test case for this study. In the first part of the study, the results predicted using Wilke's mixing rule with species viscosities calculated using Blottner's curve fits and species thermal conductivities determined using Eucken's relation are compared to the results obtained using Gupta's mixing rule with collision cross-section (CCS) data. The Wilke/Blottner/Eucken model overpredicts the heat transfer to the surface relative …

Modeling Of Chemical Nonequilibrium Effects In A Charring Ablator, Alexandre Martin

Mechanical Engineering Faculty Publications

Charring ablators remain the premium choice for space exploration missions that involve atmospheric re-entry. These type of ablative material are composed of a carbon matrix, usually made of fibers, which is then impregnated with a resin. During re-entry, the high heat flux produced by convective heating causes the material to chemically react. First, the resin pyrolyzes, and is vaporized into a gas that travels through the material, and is eventually ejected at the surface. Since the composition of the gas at the surface greatly affects the heat flux, and therefore the surface temperature, it is thus important to be able …

Special Issue On Medical Simulation, Michel Audette, Hanif M. Ladak

Computational Modeling & Simulation Engineering Faculty Publications

We would like to welcome you to this Special Issue on Medical Simulation, the first of its kind not only for SIMULATION: Transactions of The Society for Modeling and Simulation International, but for any technical journal. Our respective backgrounds are an indication of the technical and clinical breadth of medical simulation, as we approach the subject as primarily medical image analysis and biomechanics experts respectively, each with a variety of clinical interests spanning virtual reality (VR)–based neuro-, orthopedic and ear-nose-and-throat surgery. Moreover, we believe that the breadth of the papers that comprise this issue reflects an even broader perspective. After …

Multiple Bounding Boxes Algorithm In Collision Detection And Its Performances In Sequential Vs Cuda Parallel Processing, Min Qi

Electronic Theses and Dissertations

The traditional method for detecting collisions in a 2D computer game uses a axisaligned bounding box around each sprite, and checks to determine if the bounding boxes overlap periodically. Using this single bounding box method may result in a large amount of pixel intersection tests, since a sprite may be composed of areas where the pixels are empty and the intersecting bounding box test results in false positives.

Our algorithm analysis shows that the optimal two or three bounding boxes is the best partition we can get for a reasonable time complexity. The results further show significantly diminishing returns for …

Reducing Communication Delay Variability For A Group Of Robots, Goncalo Martins

Electronic Theses and Dissertations

A novel architecture is presented for reducing communication delay variability for a group of robots. This architecture relies on using three components: a microprocessor architecture that allows deterministic real-time tasks; an event-based communication protocol in which nodes transmit in a TDMA fashion, without the need of global clock synchronization techniques; and a novel communication scheme that enables deterministic communications by allowing senders to transmit without regard for the state of the medium or coordination with other senders, and receivers can tease apart messages sent simultaneously with a high probability of success. This approach compared to others, allows simultaneous communications without …

A Resolution Procedure For Description Logics With Nominal Schemas, Cong Wang, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We present a polynomial resolution-based decision procedure for the recently introduced description logic ELHOV_n(⊓), which features nominal schemas as new language construct. Our algorithm is based on ordered resolution and positive superposition, together with a lifting lemma. In contrast to previous work on resolution for description logics, we have to overcome the fact that ELHOV_n(⊓) does not allow for a normalization resulting in clauses of globally limited size.

Designing A Framework For Exchanging Partial Sets Of Bim Information On A Cloud-Based Service, Alan Redmond

Doctoral

The rationale behind this research study was based on the recognised difficulty of exchanging data at element or object level due to the inefficiencies of compatible hardware and software. Interoperability depicts the need to pass data between applications, allowing multiple types of experts and applications to contribute to the work at hand. The only way that software file exchanges between two applications can produce consistent data and change management results for large projects is through a building model repository. The overall aim of this thesis was to design and develop an integrated process that would advance key decisions at an …

Dependence On Cyberscribes - Issues In E-Security, Thomas R. Mclean, Alexander B. Mclean

Journal of Business & Technology Law

No abstract provided.

Bridging The Gap Between Fun And Fitness: Instructional Techniques And Real-World Applications For Full-Body Dance Games, Emiko Charbonneau

Electronic Theses and Dissertations

Full-body controlled games offer the opportunity for not only entertainment, but education and exercise as well. Refined gameplay mechanics and content can boost intrinsic motivation and keep people playing over a long period of time, which is desirable for individuals who struggle with maintaining a regular exercise program. Within this gameplay genre, dance rhythm games have proven to be popular with game console owners. Yet, while other types of games utilize story mechanics that keep players engaged for dozens of hours, motion-controlled dance games are just beginning to incorporate these elements. In addition, this control scheme is still young, only …

Nonlinear Granger Causality And Its Application In Decoding Of Human Reaching Intentions, Mengting Liu

Doctoral Dissertations

Multi-electrode recording is a key technology that allows the brain mechanisms of decision making, cognition, and their breakdown in diseases to be studied from a network perspective. As the hypotheses concerning the role of neural interactions in cognitive paradigms become increasingly more elaborate, the ability to evaluate the direction of neural interactions in neural networks holds the key to distinguishing their functional significance.

Granger Causality (GC) is used to detect the directional influence of signals between multiple locations. To extract the nonlinear directional flow, GC was completed through a nonlinear predictive approach using radial basis functions (RBF). Furthermore, to obtain …

Using Architecture Models To Design Adaptive Socio-Technical Systems, Holly A. H. Handley

Engineering Management & Systems Engineering Faculty Publications

An architecture framework is used to capture the overall design and structure of a complex system. The Human Viewpoint was developed to augment existing architectural frameworks with additional information relevant to the human component in the system. The Human View models collect and organize social parameters in order to understand the way that humans interact with other elements of the system; the Human View models define the socio-technological boundaries of the system. Analyses performed with the architectural data provide information regarding the congruence, or fit of the human and the system. For example, different key thread analyses identify problematic paths …

Computational Methods For Comparative Non-Coding Rna Analysis: From Structural Motif Identification To Genome-Wide Functional Classification, Cuncong Zhong

Electronic Theses and Dissertations

Recent advances in biological research point out that many ribonucleic acids (RNAs) are transcribed from the genome to perform a variety of cellular functions, rather than merely acting as information carriers for protein synthesis. These RNAs are usually referred to as the non-coding RNAs (ncRNAs). The versatile regulation mechanisms and functionalities of the ncRNAs contribute to the amazing complexity of the biological system. The ncRNAs perform their biological functions by folding into specific structures. In this case, the comparative study of the ncRNA structures is key to the inference of their molecular and cellular functions. We are especially interested in …

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

A Simple Experiment With Microsoft Office 2010 And Windows 7 Utilizing Digital Forensic Methodology, Gregory H. Carlton

Journal of Digital Forensics, Security and Law

Digital forensic examiners are tasked with retrieving data from digital storage devices, and frequently these examiners are expected to explain the circumstances that led to the data being in its current state. Through written reports or verbal, expert testimony delivered in court, digital forensic examiners are expected to describe whether data have been altered, and if so, then to what extent have data been altered. Addressing these expectations results from opinions digital forensic examiners reach concerning their understanding of electronic storage and retrieval methods. The credibility of these opinions evolves from the scientific basis from which they are drawn using …

The Advanced Data Acquisition Model (Adam): A Process Model For Digital Forensic Practice, Richard Adams, Val Hobbs, Graham Mann

Journal of Digital Forensics, Security and Law

As with other types of evidence, the courts make no presumption that digital evidence is reliable without some evidence of empirical testing in relation to the theories and techniques associated with its production. The issue of reliability means that courts pay close attention to the manner in which electronic evidence has been obtained and in particular the process in which the data is captured and stored. Previous process models have tended to focus on one particular area of digital forensic practice, such as law enforcement, and have not incorporated a formal description. We contend that this approach has prevented the …

Argumentation Theory In Health Care, Luca Longo, Bridget Kane, Lucy Hederman

Books/Book Chapters

Argumentation theory (AT) has been gaining momentum in the health care arena thanks to its intuitive and modular way of aggregating clinical evidence and taking rational decisions. The basic principles of argumentation theory are described and demonstrated in the breast cancer recurrence problem. It is shown how to represent available clinical evidence in arguments, how to define defeat relations among them and how to create a formal argumentation framework. Argumentation semantics are then applied over the built framework to compute arguments justification status. It is demonstrated how this process can enhance the clinician decision-making process. A encouraging predictive capacity is …

Using Power-Law Properties Of Social Groups For Cloud Defense And Community Detection, Justin L. Rice

Doctoral Dissertations

The power-law distribution can be used to describe various aspects of social group behavior. For mussels, sociobiological research has shown that the Lévy walk best describes their self-organizing movement strategy. A mussel's step length is drawn from a power-law distribution, and its direction is drawn from a uniform distribution. In the area of social networks, theories such as preferential attachment seek to explain why the degree distribution tends to be scale-free. The aim of this dissertation is to glean insight from these works to help solve problems in two domains: cloud computing systems and community detection.

Privacy and security are …

Consequence Based Procedure For Description Logics With Self Restriction, Cong Wang, Pascal Hitzler

Computer Science and Engineering Faculty Publications

We present a consequence based classification procedure for the description logics with self restriction constructor. Due to the difficulty of constructing a concept inclusion model for self restriction, we use a different proof by showing that all the completion rules can simulate all the corresponding ordered resolution inferences.

Scene Understanding For Real Time Processing Of Queries Over Big Data Streaming Video, Alexander Aved

Electronic Theses and Dissertations

With heightened security concerns across the globe and the increasing need to monitor, preserve and protect infrastructure and public spaces to ensure proper operation, quality assurance and safety, numerous video cameras have been deployed. Accordingly, they also need to be monitored effectively and efficiently. However, relying on human operators to constantly monitor all the video streams is not scalable or cost effective. Humans can become subjective, fatigued, even exhibit bias and it is difficult to maintain high levels of vigilance when capturing, searching and recognizing events that occur infrequently or in isolation. These limitations are addressed in the Live Video …

A Method For Ontology-Based Semantic Relatedness Measurement, Görkem Gi̇ray, Murat Osman Ünalir

Turkish Journal of Electrical Engineering and Computer Sciences

There are many methods having different approaches for assessing similarity and relatedness and they are used in many application areas, including web service discovery, invocation and composition, word sense disambiguation, information retrieval, ontology alignment and merging, document clustering, and short answer grading. These methods can be categorized as path-based, information content-based, feature-based, geometric model-based, and hybrid approaches. These approaches use resources such as concept hierarchy, conceptual graph, and corpus for computing similarity and relatedness. With the rise of the semantic web, ontologies have attracted the attention of several researchers. Ontologies represented in the Web Ontology Language (OWL) are also valuable …

Algorithms And Data Structures For Efficient Timing Analysis Of Asynchronous Real-Time Systems, Yingying Zhang

USF Tampa Graduate Theses and Dissertations

This thesis presents a framework to verify asynchronous real-time systems based on model checking. These systems are modeled by using a common modeling formalism named Labeled Petri-nets(LPNs).

In order to verify the real-time systems algorithmically, the zone-based timing analysis method is used for LPNs. It searches the state space with timing information (represented by zones). When there is a high degree of concurrency in the model, firing concurrent enabled transitions in different order may result in different zones, and these zones may be combined without affecting the verification result. Since the zone-based method could not deal with this problem efficiently, …

Relation Lifting, With An Application To The Many-Valued Cover Modality, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jirí Velebil

Engineering Faculty Articles and Research

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations are generalisations of the “classical” results known for set functors: the first characterisation generalises the existence of a distributive law over the genuine powerset monad, the second generalises preservation of weak pullbacks.

The results presented in this paper …

Nominal Coalgebraic Data Types With Applications To Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, Fer-Jan De Vries

Engineering Faculty Articles and Research

We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.

Nominal Computation Theory (Dagstuhl Seminar 13422), Mikołaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 13422 “Nominal Computation Theory”. The underlying theme of the seminar was nominal sets (also known as sets with atoms or Fraenkel-Mostowski sets) and they role and applications in three distinct research areas: automata over infinite alphabets, program semantics using nominal sets and nominal calculi of concurrent processes.

Estimation Of Fuel Cost Curve Parameters For Thermal Power Plants Using The Abc Algorithm, Yusuf Sönmez

Turkish Journal of Electrical Engineering and Computer Sciences

The solution accuracy of economic dispatch problems is associated with the accuracy of the fuel cost curve parameters. Therefore, updating of these parameters is a very important issue to further improve the final accuracy of economic dispatch problems. Estimating the parameters of the fuel cost curve may be the best solution for this issue. This paper presents an application of the artificial bee colony (ABC) algorithm to estimate the fuel cost curve parameters of thermal power plants. In the estimation problem, 1st-, 2nd-, and 3rd-order fuel cost functions are used, and the estimation problem is formulated as an optimization one. …

Preserving Location Privacy For A Group Of Users, Maede Ashouri-Talouki, Ahmad Baraani Dastjerdi, Ali̇ Aydin Selçuk

Turkish Journal of Electrical Engineering and Computer Sciences

Location privacy is an interesting problem that has been receiving considerable attention. This problem has been widely discussed from the individual point of view; however, there exist only a few works that support location privacy for a group of users. In this paper we consider the problem of supporting location privacy for a group of users during the use of location-based services (LBSs). We assume a group of users who want to benefit from a LBS and find the nearest meeting place that minimizes their aggregate distance. Each user in this scenario wants to protect his or her location from …

Swarm Optimization Tuned Mamdani Fuzzy Controller For Diabetes Delayed Model, Mohammad Hassan Khooban, Davood Nazari Maryam Abadi, Alireza Alfi, Mehdi Siahi

Turkish Journal of Electrical Engineering and Computer Sciences

Diabetes is a chronic disease in which there are high levels of sugar in the blood. Insulin is a hormone that regulates the blood glucose level in the body. Diabetes mellitus can be caused by too little insulin, a resistance to insulin, or both. Although research activities on controlling blood glucose have been attempted to lower the blood glucose level in the quickest possible time, there are some shortages in the amount of the insulin injection. In this paper, a complete model of the glucose--insulin regulation system, which is a nonlinear delay differential model, is used. The purpose of this …

Orthogonal Array Based Performance Improvement In The Gravitational Search Algorithm, Ökkeş Tolga Altinöz, Asim Egemen Yilmaz, Gerhard Wilhelm Weber

Turkish Journal of Electrical Engineering and Computer Sciences

The gravitational search algorithm (GSA) is a novel heuristic method inspired by Newton's gravity and velocity equations. In addition, it is a population-based algorithm, in which each member (called an agent) in the population has a mass, velocity, and acceleration. Beginning with the first population state, agents influence each other via mass and velocity relations. This mutual effect causes agents to reach the optimum. Hence, the performance of the GSA to attain the optimum is related to the initial population formation, like other population-based algorithms. In this study, the orthogonal array (OA) concept is applied and injected to the GSA …