Engineering Commons^™

Simple Analytic Performance Models For Streaming Data Applications Deployed On Diverse Architectures, Jonathan C. Beard, Roger D. Chamberlain, Mark A. Franklin

All Computer Science and Engineering Research

Modern hardware is inherently heterogeneous. With heterogeneity comes multiple abstraction layers that hide underlying complex systems. While hidden, this complexity makes quantitative performance modeling a difficult task. Designers of high-performance streaming applications for heterogeneous systems must contend with unpredictable and often non-generalizable models to predict performance of a particular application and hardware mapping. This paper outlines a computationally simple approach that can be used to model the overall throughput and buffering needs of a streaming application on heterogeneous hardware. The model presented is based upon a hybrid maximum flow and decomposed discrete queueing model. The utility of the model is …

Kernel Density Metric Learning, Yujie He, Wenlin Chen, Yixin Chen

All Computer Science and Engineering Research

This paper introduces a supervised metric learning algorithm, called kernel density metric learning (KDML), which is easy to use and provides nonlinear, probability-based distance measures. KDML constructs a direct nonlinear mapping from the original input space into a feature space based on kernel density estimation. The nonlinear mapping in KDML embodies established distance measures between probability density functions, and leads to correct classification on datasets for which linear metric learning methods would fail. Existing metric learning algorithms, such as large margin nearest neighbors (LMNN), can then be applied to the KDML features to learn a Mahalanobis distance. We also propose …

Self-Adapting Mac Layer For Wireless Sensor Networks, Mo Sha, Meng Xu, Chenyang Lu, Linh T.X. Phan, Tae-Suk Kim, Taerim Park

All Computer Science and Engineering Research

The integration of wireless sensors with mobile phones is gaining momentum as an enabling platform for numerous emerging applications. These mobile systems face dynamic environments where both application requirements and ambient wireless conditions change frequently. Despite the existence of many MAC protocols however, none can provide optimal performance along multiple dimensions, in particular when the conditions are frequently changing. Instead of pursuing a one-MAC-fit all approach we present a Self-Adapting MAC Layer (SAML) comprising (1) a Reconfigurable MAC Architecture (RMA) that can switch to different MAC protocols at run time and (2) a learning-based MAC Selection Engine that selects the …

An Exploration Of Social Media Use Among Multiply Minoritized Lgbtq Youth, Alfie Leanna Lucero

Open Access Theses & Dissertations

This study responds to a need for research in a fast-growing and significant area of study, that of exploring, understanding, and documenting the numerous ways that multiply marginalized LGBTQ youth between the ages of 14 and 17 use social media. The primary research question examined whether social media provide safe spaces for multiply minoritized LGBTQ youth to express and explore issues of sexuality and gender. In addition, the study explores and categorizes multiple ways that the participants interact with social media and makes comparisons to prior work with more general populations. The study provides descriptions of the participants in terms …

Nominal Regular Expressions For Languages Over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques – as those popular in process calculi – we extend classical regular expressions with names (to model computational resources) and suitable operators (for allocation, deallocation, scoping of, and freshness conditions on resources). We discuss classes of such nominal regular expressions, show how such expressions have natural interpretations in terms of languages over infinite alphabets, and give Kleene theorems to characterise their formal languages in terms of nominal automata.

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 …

Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we …

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 …

A P2p Computing System For Overlay Networks, Grzegorz Chmaj, Krzysztof Walkowiak

Electrical & Computer Engineering Faculty Research

A distributed computing system is able to perform data computation and distribution of results at the same time. The input task is divided into blocks, which are then sent to system participants that offer their resources in order to perform calculations. Next, a partial result is sent back by the participants to the task manager (usually one central node). In the case when system participants want to get the final result, the central node may become overloaded, especially if many nodes request the result at the same time. In this paper we propose a novel distributed computation system, which does …

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, …

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 …

Opf-Based Reactive Power Planning And Voltage Stability Limit Improvement Under Single Line Outage Contingency Condition Through Evolutionary Algorithms, Sakthivel Padaiyatchi, Mary Daniel

Turkish Journal of Electrical Engineering and Computer Sciences

Reactive power planning is vital for maintaining the voltage stability of power systems and evolutionary algorithms are highly useful for achieving this task. This paper compares the effectiveness of the differential evolution (DE) and evolutionary programming (EP) algorithms in optimizing the reactive power planning of power systems under line outage contingency conditions. DE is efficient in exploration through the search space of the problem, while EP is simple and easy to implement. The low cost but fast response thyristor-controlled series capacitor (TCSC) flexible alternating current transmission system (FACTS) device is incorporated to control the power flows. The optimal settings of …

Statistical And Visual Analysis Of Spatio-Temporal Dynamics Of Dengue Fever Epidemic, Amana Arshad

Open Access Theses

Public health-care data possess spatio-temporal features and it evolves with time. For example, patient count visiting an ER in a hospital evolves with time. Clustering of such input data patterns into different groups over a certain temporal duration is useful for the purpose of health-care surveillance purpose. The objective of this study is to visualize and analyze these data patterns to get an insight into data characteristics for the purpose of the health-surveillance and to correlate these findings with the possible reasons for epidemic spread. The dynamics of this spatio-temporal pattern analysis is useful for epidemic spread surveillance in large …

Adaptive Nonlinear Control For Autonomous Ground Vehicles, William Spencer Black

Open Access Theses

We present the background and motivation for ground vehicle autonomy, and focus on uses for space-exploration. Using a simple design example of an autonomous ground vehicle we derive the equations of motion. After providing the mathematical background for nonlinear systems and control we present two common methods for exactly linearizing nonlinear systems, feedback linearization and backstepping. We use these in combination with three adaptive control methods: model reference adaptive control, adaptive sliding mode control, and extremum-seeking model reference adaptive control. We show the performances of each combination through several simulation results. We then consider disturbances in the system, and design …

Combining Multiple, Inexpensive Gps Receivers To Increase Accuracy And Reliability, Daniel Kenneth Schrader

Open Access Theses

GPS is a technology that allows for accurate tracking of various parameters, namely speed and location. Many modern systems and tools require a rapidly-refreshing report of their speed and/or location, but the GPS technology available to most users may not be accurate enough for some applications. Methods currently

exist to improve GPS accuracy, but many or all of these methods are expensive, difficult, or simply not available without special technology and permission.

The research presented in this thesis describes an attempt to improve the accuracy and/or reliability of GPS, without using any expensive or restricted methods. The ability for any …

Interactive Multivariate Data Exploration For Risk-Based Decision Making, Silvia Oliveros Torres

Open Access Theses

Risk-based decision making is a data-driven process used to gather data about outcomes, analyze different scenarios, and deliver informed decisions to mitigate risk.

An interactive visual analytics system can help derive insights from large amounts of data and facilitate the risk management process thereby providing a suitable solution to examine different decision factors. This work introduces two separate systems that

incorporate visual analytics techniques to help the users in the tasks of identifying patterns, finding correlations, designing mitigation strategies, and assisting in the long term planning and assessment process. The first system looks at the National Health

and Nutrition Examination …

Analysis Of An Actuated Two Segment Leg Model Of Locomotion, Nikhil Vinayak Rao

Open Access Theses

Research studies on dynamic models of legged locomotion have generally focused on telescoping-type leg models. Such telescoping spring loaded inverted pendulum (SLIP) models have been able to accurately predict observed center of mass (CoM) trajectories. There have been comparatively fewer studies on dynamics of locomotion

with segmented legs. Some earlier studies on the dynamics due to leg segmentation appear straightforward. For example, a simple model with the only joint moment being due to a passive springy knee has been shown to behave similarly to a telescoping spring-mass model. However, in real-life animal locomotion, there are multiple joint-moments acting at the …

Learning With An Insufficient Supply Of Data Via Knowledge Transfer And Sharing, Samir Al-Stouhi

Wayne State University Dissertations

As machine learning methods extend to more complex and diverse set of problems, situations arise where the complexity and availability of data presents a situation where the information source is not "adequate" to generate a representative hypothesis. Learning from multiple sources of data is a promising research direction as researchers leverage ever more diverse sources of information. Since data is not readily available, knowledge has to be transferred from other sources and new methods (both supervised and un-supervised) have to be developed to selectively share and transfer knowledge. In this dissertation, we present both supervised and un-supervised techniques to tackle …

Optimized Features Selection For Gender Classification Using Optimization Algorithms, Sajid Ali Khan, Muhammad Nazir, Naveed Riaz

Turkish Journal of Electrical Engineering and Computer Sciences

Optimized feature selection is an important task in gender classification. The optimized features not only reduce the dimensions, but also reduce the error rate. In this paper, we have proposed a technique for the extraction of facial features using both appearance-based and geometric-based feature extraction methods. The extracted features are then optimized using particle swarm optimization (PSO) and the bee algorithm. The geometric-based features are optimized by PSO with ensemble classifier optimization by the genetic algorithm. Using this approach, we have obtained promising results in terms of the classification error rate and computation time minimization. Moreover, our optimized feature-based method …