Computer Sciences Commons^™

The Development Of Computer Forensic Legal System In China, Yonghao Mai, K. P. Chow, Rongsheng Xu, Gang Zhou, Fei Xu, Jun Zhang

Annual ADFSL Conference on Digital Forensics, Security and Law

The computer forensic discipline was established around 2000 in China, which was further developed along with Chinese judicial appraisal system in 2005. The new criminal and civil procedure laws of the People’s Republic of China was enacted on 1 Jan 2013. The new laws specified electronic data is legal evidence and has great impact on the current practice on handling electronic evidence. This paper introduces the electronic data and electronic evidence examination procedure in mainland China, the general concept of computer forensic legal system, the management of computer judicial experts, the management of computer judicial expertise institutions.

Keywords: China legal …

Modeling A Sensor To Improve Its Efficacy, Nabin K. Malakar, Daniil Gladkov, Kevin H. Knuth

Physics Faculty Scholarship

Robots rely on sensors to provide them with information about their surroundings. However, high-quality sensors can be extremely expensive and cost-prohibitive. Thus many robotic systems must make due with lower-quality sensors. Here we demonstrate via a case study how modeling a sensor can improve its efficacy when employed within a Bayesian inferential framework. As a test bed we employ a robotic arm that is designed to autonomously take its own measurements using an inexpensive LEGO light sensor to estimate the position and radius of a white circle on a black field. The light sensor integrates the light arriving from a …

Localization Of Rfid Tags Using Stochastic Tunneling, M. R. Basheer, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

This paper presents a novel localization scheme in the 3D wireless domain that employs cross correlation in backscattered signal power from a cluster of radio frequency identification (RFID) tags to estimate their location. Spatially co-located RFID tags, energized by a common tag reader, exhibit correlation in their received signal strength indicator (RSSI) values. Hence, for a cluster of RFID tags, the posterior distribution of their unknown radial separation is derived as a function of the measured RSSI correlations between them. The global maxima of this posterior distribution represent the actual radial separation between the RFID tags. The radial separations are …

Modeling And Architectural Simulations Of The Statistical Static Timing Analysis Of The Variation Sources For Vlsi Circuits, Abu M. Baker

College of Engineering: Graduate Celebration Programs

As CMOS technology scales down, process variation introduces significant uncertainty in power and performance to VLSI circuits and significantly affects their reliability. Although Static-Timing Analysis (STA) remains an excellent tool, current trends in process scaling have imposed significant difficulties to STA. As one of the promising solutions, Statistical static timing analysis (SSTA) has become the frontier research topic in recent years in combating such variation effects. This poster will be focusing on two aspects of SSTA and its applications in VLSI designs: (1) Statistical timing modeling and analysis; and (2) Architectural implementations of the atomic operations (max and add) using …

Vulnerability Analysis Of A Smart Grid With Monitoring And Control System, Maggie Xiaoyan Cheng, Mariesa Crow, Robert F. Erbacher

Computer Science Faculty Research & Creative Works

Large scale power outage is typically the consequence of cascading failures propagated through a power system. To mitigate failure propagation, wide area monitoring and control system is introduced. However, as the physical system is tightly coupled with the cyber system, new threats are introduced due to possible cyber-attacks and failures of the communication system. This paper presents a new framework for vulnerability analysis. Under this framework, we can identify the vulnerable components and the critical components of a cyber physical system. Distinct from previous work, our model considers the interaction between the different components of the cyber physical system and …

Enabling An Integrated Rate-Temporal Learning Scheme On Memristor, Wei He, Kejie Huang, Ning Ning, Kiruthika Ramanathan, Guoqi Li, Yu Jiang, Jiayin Sze, Luping Shi, Rong Zhao, Jing Pei

Research Collection School Of Computing and Information Systems

Learning scheme is the key to the utilization of spike-based computation and the emulation of neural/synaptic behaviors toward realization of cognition. The biological observations reveal an integrated spike time- and spike rate-dependent plasticity as a function of presynaptic firing frequency. However, this integrated rate-temporal learning scheme has not been realized on any nano devices. In this paper, such scheme is successfully demonstrated on a memristor. Great robustness against the spiking rate fluctuation is achieved by waveform engineering with the aid of good analog properties exhibited by the iron oxide-based memristor. The spike-time-dependence plasticity (STDP) occurs at moderate presynaptic firing frequencies …

Neural Network-Based Optimal Adaptive Output Feedback Control Of A Helicopter Uav, David Nodland, Hassan Zargarzadeh, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

Helicopter unmanned aerial vehicles (UAVs) are widely used for both military and civilian operations. Because the helicopter UAVs are underactuated nonlinear mechanical systems, high-performance controller design for them presents a challenge. This paper introduces an optimal controller design via an output feedback for trajectory tracking of a helicopter UAV, using a neural network (NN). The output-feedback control system utilizes the backstepping methodology, employing kinematic and dynamic controllers and an NN observer. The online approximator-based dynamic controller learns the infinite-horizon Hamilton-Jacobi-Bellman equation in continuous time and calculates the corresponding optimal control input by minimizing a cost function, forward-in-time, without using the …

Impact Of Primary User Activity On The Performance Of Energy-Based Spectrum Sensing In Cognitive Radio Systems, Sara L. Macdonald

Electrical & Computer Engineering Theses & Dissertations

Increasing numbers of wireless devices and mobile data requirements have led to a spectrum shortage. However spectrum utilization percentages are often low due to the current static spectrum allocation process where primary users (PUs) are given exclusive use to spectrum. Several mechanisms to increase spectrum utilization have been proposed including opportunistic spectrum access (OSA). Cognitive Radio (CR) is an emerging concept in wireless communication systems that aims to enable OSA in licensed frequencies by secondary users (SUs). CR systems are expected to sense the spectrum in order to determine if the PU is transmitting. Therefore OSA performance relies on the …

Study Of Spatiotemporal Signatures Between Objects To Improve Video Segmentation In Complex Environments, Adam Robert Reckley

Electrical & Computer Engineering Theses & Dissertations

Background subtraction is often considered to be a required stage of any video surveillance system being used to detect objects in a single frame and/or track objects across multiple frames in a video sequence. Most current state-of-the-art techniques for object detection and tracking utilize some form of background subtraction that involves developing a model of the background at a pixel, region or frame level and designating any elements that deviate from the background model as foreground. Most existing approaches are capable of segmenting a number of distinct components, but are unable to distinguish between the desired object of interest and …

Simulation And Detection Of Unintended Electromagnetic Emissions From Super-Regenerative Receivers, Jake Hertenstein, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

A novel method for detecting the presence of the unintended electromagnetic emissions (UEE) from radio receivers is examined without a priori data or training. As an extension of previous research, the behavior of the super-regenerative receiver (SRR) is modeled and simulated with fractional Brownian noise to verify the detection model. This model shows that the presence of noise in the feedback circuit of the SRR is responsible for the characteristic frequency distribution of the receiver's UEE. A second-order self-similarity model is used to estimate the Hurst parameter as a detection threshold for the presence of long-range dependent noise that is …

Stochastic Modeling And Time-To-Event Analysis Of Voip Traffic, Imad Al Ajarmeh

College of Computing and Digital Media Dissertations

Voice over IP (VoIP) systems are gaining increased popularity due to the cost effectiveness, ease of management, and enhanced features and capabilities. Both enterprises and carriers are deploying VoIP systems to replace their TDM-based legacy voice networks. However, the lack of engineering models for VoIP systems has been realized by many researchers, especially for large-scale networks. The purpose of traffic engineering is to minimize call blocking probability and maximize resource utilization. The current traffic engineering models are inherited from the legacy PSTN world, and these models fall short from capturing the characteristics of new traffic patterns. The objective of this …

Joint Angle Tracking With Inertial Sensors, Mahmoud Ahmed El-Gohary

Dissertations and Theses

The need to characterize normal and pathological human movement has consistently driven researchers to develop new tracking devices and to improve movement analysis systems. Movement has traditionally been captured by either optical, magnetic, mechanical, structured light, or acoustic systems. All of these systems have inherent limitations. Optical systems are costly, require fixed cameras in a controlled environment, and suffer from problems of occlusion. Similarly, acoustic and structured light systems suffer from the occlusion problem. Magnetic and radio frequency systems suffer from electromagnetic disturbances, noise and multipath problems. Mechanical systems have physical constraints that limit the natural body movement. Recently, the …

Just-In-Time Power Gating Of Gasp Circuits, Prachi Gulab Padwal

Dissertations and Theses

In modern integrated circuits, one way to reduce power consumption is to turn off power to parts of the circuit when those are idle. This method is called power gating. This thesis presents a state-preserving technique to achieve power savings in GasP family of asynchronous circuits by turning off the power when the circuit is idle. The power control logic turns on the power in anticipation of the receiving data. The power control logic turns off the power when the stage is idle either because it is empty or because the pipeline is clogged. The low logical effort of GasP …

Online Optimal Control Of Nonaffine Nonlinear Discrete-Time Systems Without Using Value And Policy Iterations, Hassan Zargarzadeh, Qinmin Yang, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

Online optimal control of nonlinear discrete-time systems in a forward-in-time manner is a challenging problem due to a lack of closed-form solution to the Hamilton- Bellman-Jacobi (HJB) equation. Traditionally, value and policy iteration-based approximate optimal control schemes are developed in the literature by assuming that a significant number of iterations can be performed within a sampling interval which is not practical. By contrast, this book chapter introduces a novel online time-based optimal framework for nonlinear discrete-time systems by using both: (a) reinforcement learning and (b) online neural network approximation-based forward-in-time dynamic programming without using iterative methodology. The overall stability proof …

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 …

Neural Network-Based Optimal Control Of Mobile Robot Formations With Reduced Information Exchange, Travis Dierks, Bryan Brenner, S. Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

A novel formation control scheme for mobile robots is introduced in the context of leader-follower framework with reduced communication exchange. The dynamical controller inputs for the robots are approximated from nonlinear optimal control techniques in order to track the designed control velocities generated by the kinematic controller. The proposed nonlinear optimal control technique, referred to as adaptive dynamic programming, uses neural networks (NNs) to solve the optimal formation control problem in discrete time in the presence of unknown internal dynamics and a known control coefficient matrix. A modification to the follower's kinematic controller is used to allow the desired formation …

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 New Tool For Qt Interval Analysis During Sleep In Healthy And Obstructive Sleep Apnea Subjects: A Study On Women, Kemal Ali̇can Kaya, Bülent Yilmaz

Turkish Journal of Electrical Engineering and Computer Sciences

By monitoring the Q wave/T wave (QT) interval computed from electrocardiography (ECG) signals during sleep, it is possible to create a link between the ventricular repolarization and sleep stages. In this study, we aimed to find a robust and simple approach to automatically determine the fiducials on each 30-s sleep epoch, such as the Q, R, and T-end points, on long sleep ECG recordings in order to statistically analyze the effect of obstructive sleep apnea (OSA) and sleep stages on QT intervals. This is a retrospective study in which the ECG data extracted from the polysomnography recordings of 7 healthy …

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 …