Computer Engineering Commons^™

Influence Of Task-Role Mental Models On Human Interpretation Of Robot Motion Behavior, Scott Ososky

Electronic Theses and Dissertations

The transition in robotics from tools to teammates has begun. However, the benefit autonomous robots provide will be diminished if human teammates misinterpret robot behaviors. Applying mental model theory as the organizing framework for human understanding of robots, the current empirical study examined the influence of task-role mental models of robots on the interpretation of robot motion behaviors, and the resulting impact on subjective ratings of robots. Observers (N = 120) were exposed to robot behaviors that were either congruent or incongruent with their task-role mental model, by experimental manipulation of preparatory robot task-role information to influence mental models (i.e., …

The Course Development For Microcomputer Systems Technology: Preliminary Study, Yu Wang, Alex Wong, Aparicio Carranza

Publications and Research

The course of Microcomputer Systems Technology has been one of the core courses in the Computer Engineering Technology curriculum (Bachelor of Technology in CET) at the New York City College of Technology of the City University of New York. The Intel microprocessor in PC based computer was the chosen hardware in this course. The assembly and C++ languages were crucial tools in the study of microprocessor organization. We currently focused mainly on the topic of PC computer parallel interface technology. However, we did not pay particular attention to the integration of current programmable peripheral components, such as USB (universal serial …

Modeling Learner Mood In Realtime Through Biosensors For Intelligent Tutoring Improvements, Keith Brawner

Electronic Theses and Dissertations

Computer-based instructors, just like their human counterparts, should monitor the emotional and cognitive states of their students in order to adapt instructional technique. Doing so requires a model of student state to be available at run time, but this has historically been difficult. Because people are different, generalized models have not been able to be validated. As a person’s cognitive and affective state vary over time of day and seasonally, individualized models have had differing difficulties. The simultaneous creation and execution of an individualized model, in real time, represents the last option for modeling such cognitive and affective states. This …

Life Long Learning In Sparse Learning Environments, John Reeder

Electronic Theses and Dissertations

Life long learning is a machine learning technique that deals with learning sequential tasks over time. It seeks to transfer knowledge from previous learning tasks to new learning tasks in order to increase generalization performance and learning speed. Real-time learning environments in which many agents are participating may provide learning opportunities but they are spread out in time and space outside of the geographical scope of a single learning agent. This research seeks to provide an algorithm and framework for life long learning among a network of agents in a sparse real-time learning environment. This work will utilize the robust …

Mission Aware Energy Saving Strategies For Army Ground Vehicles, Macam Dattathreya

Wayne State University Dissertations

Fuel energy is a basic necessity for this planet and the modern technology to perform many activities on earth. On the other hand, quadrupled automotive vehicle usage by the commercial industry and military has increased fuel consumption. Military readiness of Army ground vehicles is very important for a country to protect its people and resources. Fuel energy is a major requirement for Army ground vehicles. According to a report, a department of defense has spent nearly $13.6 billion on fuel and electricity to conduct ground missions. On the contrary, energy availability on this plant is slowly decreasing. Therefore, saving energy …

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 …

Geospatial Virtual Heritage: A Gesture-Based 3d Gis To Engage The Public With Ancient Maya Archaeology, Heather Richards-Rissetto, Jim Robertsson, Jennifer Von Schwerin, Giorgio Agugario, Fabio Remondino, Gabrio Girardi

Department of Anthropology: Faculty Publications

This paper presents our research to develop a gesture-based 3D GIS system to engage the public in cultural heritage. It compares two types of interaction—device-based vs. natural interaction— and summarizes the beta-testing results of a 3D GIS tool for archaeology, called QueryArch3D, in which participants used device-based interaction (i.e. mouse and keyboard). It follows with a description of the gesture-based system—that we developed in response to these beta-tests. The system uses QueryArch3D and Microsoft’s Kinect to enable people use body movements (in lieu of keyboard or mouse) to navigate a virtual reality landscape, query 3D objects, and call up photos, …

Substantive Collaboration: Are We Ready To Lead?, Mark Askren

Information Technology Services: Publications

Although MOOCs have received the most attention in higher education this year, another issue is affecting colleges and universities and the IT community on a much broader scale: the perception that the higher education business model is “broken.” This isn’t an IT problem by definition, but IT leaders have not contributed effectively to a solution. At least not yet. So what can we, as IT leaders, do individually and collectively to change the outcome? The answer is clear. We have to collaborate. Substantially. And in ways that are far-reaching and very challenging. We have to change our core processes and …

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 …

Accelerated Data Delivery Architecture, Michael L. Grecol

College of Graduate Studies: Theses & Dissertations

This paper introduces the Accelerated Data Delivery Architecture (ADDA). ADDA establishes a framework to distribute transactional data and control consistency to achieve fast access to data, distributed scalability and non-blocking concurrency control by using a clean declarative interface. It is designed to be used with web-based business applications. This framework uses a combination of traditional Relational Database Management System (RDBMS) combined with a distributed Not Only SQL (NoSQL) database and a browser-based database. It uses a single physical and conceptual database schema designed for a standard RDBMS driven application. The design allows the architect to assign consistency levels to entities …

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 …

Approximate Sub-Graph Isomorphism For Watermarking Finite State Machine Hardware, Richard William Piper Meana

USF Tampa Graduate Theses and Dissertations

We present a method of mitigating theft of sequential circuit Intellectual Property hardware designs through means of watermarking. Hardware watermarking can be performed by selectively embedding a watermark in the state encoding of the Finite State Machine. This form of watermarking can be achieved by matching a directed graph representation of the watermark with a sub-graph in state transition graph representation of the FSM. We experiment with three approaches: a brute force method that provides a proof of concept, a greedy algorithm that provides excellent runtime with a drawback of sub-optimal results, and finally a simulated annealing method that provides …

A Distributed Local-Leg Feedback Algorithm For Robust Walking On Uneven Terrain, Mayur Ramakant Palankar

USF Tampa Graduate Theses and Dissertations

Legged animals can traverse significantly more of the Earth's land mass than man-made wheeled and tracked vehicles~\cite{Anonymous67}. Their impressive mobility is largely due to multiple dexterous legs and the robust algorithms that coordinate and control them. A legged animal such as a squirrel can exhibit multiple locomotion modes such as walking, running and jumping and also multiple gaits or leg phase timings within each mode. A robot that could mimic this level of robust locomotion would be highly useful for planetary exploration, military reconnaissance, and time-critical search and rescue in cluttered or collapsed buildings.

A number of biological studies on …

A Novel Method For Watermarking Sequential Circuits, Matthew Lewandowski

USF Tampa Graduate Theses and Dissertations

We present an Intellectual Property (IP) protection technique for sequential circuits driven by embedding a decomposed signature into a Finite State Machine (FSM) through the manipulation of the arbitrary state encoding of the unprotected FSM. This technique is composed of three steps: (a) transforming the signature into a watermark graph, (b) embedding watermark graphs into the original FSM's State Transition Graph (STG) and (c) generating models for verification and extraction. In the watermark construction process watermark graphs are generated from signatures. The proposed methods for watermark construction are: (1) BSD, (2) FSD, and (3) HSD. The HSD method is shown …

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.

A Case Study Towards Verification Of The Utility Of Analytical Models In Selecting Checkpoint Intervals, Michael Joseph Harney

Open Access Theses & Dissertations

As high performance computing (HPC) systems grow larger, with increasing numbers of components, failures become more common. Codes that utilize large numbers of nodes and run for long periods of time must take such failures into account and adopt fault tolerance mechanisms to avoid loss of computation and, thus, system utilization. One of those mechanisms is checkpoint/restart. Although analytical models exist to guide users in the selection of an appropriate checkpoint interval, these models are based on assumptions that may not always be true. This thesis examines some of these assumptions, in particular, the consistency of parameters like Mean Time …

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 …

A New Technique For Rare-Event Simulation Based On Partition Of The Region, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi

Turkish Journal of Electrical Engineering and Computer Sciences

Rare events are an important limitation of discrete-event simulation in some areas of applications. The existing rare-event simulation (RES) techniques, such as importance sampling (IS), splitting, and RESTART, have been used for RES so far. However, these techniques not only have some limitations, but also are not general or easy to use. In this paper, the partition of the region (PoR) method is used as a variance reduction technique in a new RES technique for usage with a wide range of modeling and simulation languages. Three variants of the proposed technique will be introduced: simple PoR, recursive PoR, and advanced …

Model Of A Photovoltaic Panel Emulator In Matlab-Simulink, Hayretti̇n Can

Turkish Journal of Electrical Engineering and Computer Sciences

Being able to behave electrically similar to photovoltaic (PV) panels, PV emulator systems make it possible to perform different PV system tests under various operation conditions. In this paper, a model of a PV panel emulator is presented using the Power System Blockset under MATLAB-Simulink. The simulation of the emulator system is developed for testing a controller prior to a real-time implementation. The model can handle the dependence of all of the parameters in the model with respect to solar radiation and temperature. The simulation results show that the output characteristics of the simulator have good agreement with those of …

Control, Design, And Implementation Of A Low-Cost Ultracapacitor Test System, Hasan Hüseyi̇n Eroğlu, Ahmet Masum Hava

Turkish Journal of Electrical Engineering and Computer Sciences

This paper reviews the ultracapacitor (UC) test procedures, establishes simple and economical power electronic conversion system-based UC test equipment, and experimentally evaluates the performance of a UC module. The power converter hardware structure and control algorithms of the designed system are discussed in detail. The high bandwidth and high accuracy current programming capability of the converter for the purpose of charging and discharging the UC, as required during testing, is illustrated via the experimental results. The UC equivalent circuit parameters are extracted. Successful constant current and constant power charging/discharging operating performances are demonstrated. The results of this study help with …

An Event-Driven Wsn Mac Protocol Design Based On Active Node And Dynamic Time Slot Allocation, Nükhet Sazak, İsmai̇l Ertürk, Etem Köklükaya, Murat Çakiroğlu

Turkish Journal of Electrical Engineering and Computer Sciences

The unique features of wireless sensor networks (WSNs) make them suitable for a wide range of applications in many different areas. However, with many of the protocols and algorithms used in traditional wireless networks, it is usually neither feasible nor possible to apply them directly to WSNs due to the strict resource constraints of tiny sensor nodes. Moreover, application-specific approaches for communication protocols are usually imposed since WSN applications have distinct requirements. In this study, event-driven WSN applications, where a number of sensor nodes are randomly and densely deployed in remote and difficult to reach locations, are targeted. In such …

Role Of Energy Management In Hybrid Renewable Energy Systems: Case Study-Based Analysis Considering Varying Seasonal Conditions, Recep Yumurtaci

Turkish Journal of Electrical Engineering and Computer Sciences

The recent popularity of alternative energy technologies is mainly promoted by the increasing awareness of environmental concerns as well as the economic impacts of the depleting fossil fuel reserves. Among several alternative technologies, wind- and solar-based energy have been given specific importance with government-based support for providing a cost-effective structure to realize better penetration of such environmentally friendly sources in the energy market. Even these sources are advantageous over the conventional means of energy production from many aspects, a main drawback being the total dependence on the meteorological conditions (wind speed, solar radiation, temperature, etc.) of the wind and solar …