Computer Engineering Commons^™

Pandora’S Email Box? An Exploratory Study Of Web-Based Email Forgery Detection And Validation., Richard Boddington, Grant Boxall, Jeremy Ardley

Journal of Digital Forensics, Security and Law

Web based email systems may be a source of pristine digital evidence because of the perceived difficulty of client tampering with messages stored inside the email account. We demonstrate that such assumption is wrong in the case of Windows Live Hotmail®1 . Windows Live Mail®1 synchronises message on client-side computers with the Hotmail® server, benefiting users wishing to synchronise their email accounts and personal devices. However, this synchronisation opens an exploit for wrongdoers to tamper with existing email messages and attachments as well as facilitating the insertion of fabricated messages. The exploit process enables persistent storage of tampered and fabricated …

Toward Alignment Between Communities Of Practice And Knowledge-Based Decision Support, Jason Nichols, David Biros, Mark Weiser

Journal of Digital Forensics, Security and Law

The National Repository of Digital Forensics Information (NRDFI) is a knowledge repository for law enforcement digital forensics investigators (LEDFI). Over six years, the NRDFI has undertaken significant design revisions in order to more closely align the architecture of the system with theory addressing motivation to share knowledge and communication within ego-centric groups and communities of practice. These revisions have been met with minimal change in usage patterns by LEDFI community members, calling into question the applicability of relevant theory when the domain for knowledge sharing activities expands beyond the confines of an individual organization to a community of practice. When …

Implementing The Automated Phases Of The Partially-Automated Digital Triage Process Model, Gary Cantrell, David A. Dampier

Journal of Digital Forensics, Security and Law

Digital triage is a pre-digital-forensic phase that sometimes takes place as a way of gathering quick intelligence. Although effort has been undertaken to model the digital forensics process, little has been done to-date to model digital triage. This work discusses the further development of a model that attempts to address digital triage, the Partially-automated Crime Specific Digital Triage Process model. The model itself will be presented along with a description of how its automated functionality was implemented to facilitate model testing.

Table Of Contents

Journal of Digital Forensics, Security and Law

No abstract provided.

Digital Evidence Education In Schools Of Law, Aaron Alva, Barbara Endicott-Popovsky

Journal of Digital Forensics, Security and Law

An examination of State of Connecticut v. Julie Amero provides insight into how a general lack of understanding of digital evidence can cause an innocent defendant to be wrongfully convicted. By contrast, the 101-page opinion in Lorraine v. Markel American Insurance Co. provides legal precedence and a detailed consideration for the admission of digital evidence. An analysis of both cases leads the authors to recommend additions to Law School curricula designed to raise the awareness of the legal community to ensure such travesties of justice, as in the Amero case, don’t occur in the future. Work underway at the University …

Human Action Recognition By Principal Component Analysis Of Motion Curves, Daniel Stephen Chivers

Browse all Theses and Dissertations

Human action recognition is used to automatically detect and recognize actions per- formed by humans in a video. Applications include visual surveillance, human-computer interaction, and robot intelligence, to name a few. An example of a surveillance application is a system that monitors a large public area, such as an airport, for suspicious activity. In human-machine interaction, computers may be controlled by simple human actions. For example, the motion of an arm may instruct the computer to rotate a 3-D model that is being displayed. Human action recognition is also an important capability of intelligent robots that interact with humans.

General …

Querying And Managing Opm-Compliant Scientific Workflow Provenance, Chunhyeok Lim

Wayne State University Dissertations

Provenance, the metadata that records the derivation history of scientific results, is important in scientific workflows to interpret, validate, and analyze the result of scientific computing. Recently,

to promote and facilitate interoperability among heterogeneous provenance systems, the Open Provenance Model (OPM) has been proposed and has played an important role in the community.

In this dissertation, to efficiently query and manage OPM-compliant provenance, we first propose a provenance collection framework that collects both prospective provenance, which captures

an abstract workflow specification as a recipe for future data derivation and retrospective provenance, which captures past workflow execution and data derivation information. …

Rethinking The Design And Implementation Of The I/O Software Stack For High-Performance Computing, Xuechen Zhang

Wayne State University Dissertations

Current I/O stack for high-performance computing is composed of multiple software layers in order to hide users from complexity of I/O performance optimization. However, the design and implementation of a specific layer is usually carried out separately with limited consideration of its impact on other layers, which could result in suboptimal I/O performance because data access locality is weakened, if not lost, on hard disk, a widely used storage medium in high-end storage systems.

In this dissertation, we experimentally demonstrated such issues in four different layers, including operating system process management layer and MPI-IO middleware layer on compute server side, …

Behavioral Signature-Based Framework For Identifying Unsatisfiable Variable Mappings Between Digital Designs, Vaibhav Uday Tendulkar

Browse all Theses and Dissertations

Throughout its design process (from specification to implementation) a digital circuit goes through a variety of structural changes. These changes are introduced primarily due to the use of automated tools in the design process. Checking whether the Boolean functions representing the two designs are equivalent is thus necessary to verify if a design implementation adheres to its specification. Combinational Equivalence Checking (CEC) - a process of determining whether two combinational design functions are equiv-alent, has been one of the most researched Boolean matching problems. The well-known CEC techniques that have been proposed adopt some kind of a formal approach such …

Linked Open Data Alignment & Querying, Prateek Jain

Browse all Theses and Dissertations

The recent emergence of the "Linked Data" approach for publishing data represents a major step forward in realizing the original vision of a web that can "understand and satisfy the requests of people and machines to use the web content" i.e. the Semantic Web. This new approach has resulted in the Linked Open Data (LOD) Cloud, which includes more than 295 large datasets contributed by experts belonging to diverse communities such as geography, entertainment, and life sciences. However, the current interlinks between datasets in the LOD Cloud, as we will illustrate,are too shallow to realize much of the benefits promised. …

Knowledge Acquisition In A System, Christopher J. Thomas

Browse all Theses and Dissertations

I present a method for growing the amount of knowledge available on the Web using a hermeneutic method that involves background knowledge, Information Extraction techniques and validation through discourse and use of the extracted information.

I present the metaphor of the "Circle of Knowledge on the Web". In this context, knowledge acquisition on the web is seen as analogous to the way scientific disciplines gradually increase the knowledge available in their field.

Here, formal models of interest domains are created automatically or manually and then validated by implicit and explicit validation methods before the statements in the created models can …

Abstraction Driven Application And Data Portability In Cloud Computing, Ajith Harshana Ranabahu

Browse all Theses and Dissertations

Cloud computing has changed the way organizations create, manage, and evolve their applications. While many organizations are eager to use the cloud, tempted by substantial cost savings and convenience, the implications of using clouds are still not well understood. One of the major concerns in cloud adoption is the vendor lock-in of applications, caused by the heterogeneity of the numerous cloud service offerings. Vendor locked applications are difficult, if not impossible to port from one cloud system to another, forcing cloud service consumers to use undesired or suboptimal solutions. This dissertation investigates a complete and comprehensive solution to address the …

Winding Resistance And Winding Power Loss Of High-Frequency Power Inductors, Rafal P. Wojda

Browse all Theses and Dissertations

The scope of this research is concentrated on analytical winding size optimization (thickness or diameter) of high-frequency power inductors wound with foil, solid-round wire, multi-strand wire, and litz-wire conductors.

The first part of this research concerns analytical optimization of the winding size (thickness or diameter) for the inductors conducting a sinusoidal current. Estimation of winding resistance in individual inductor layers made of foil, taking into account the skin and proximity effects is performed. Approximated equations for the winding power loss in each layer are given and the optimal values of foil thickness for each layer are derived.

A low- and …

Optimization Of Spectrum Allocation In Cognitive Radio And Dynamic Spectrum Access Networks, Tao Zhang

Browse all Theses and Dissertations

Spectrum has become a treasured commodity. However, many licensed frequency bands exclusively assigned to the primary license holders (also called primary users) remain relatively unused or under-utilized for most of the time. Allowing other users (also called secondary users) without a license to operate in these bands with no interference becomes a promising way to satisfy the fast growing needs for frequency spectrum resources. A cognitive radio adapts to the environment it operates in by sensing the spectrum and quickly decides on appropriate frequency bands and transmission parameters to use in order to achieve certain performance goals. One of the …

Sensing Through The Continent: Towards Monitoring Migratory Birds Using Cellular Sensor Networks, David Anthony, William P. Bennett, Mehmet C. Vuran, Matthew B. Dwyer, Sebastian Elbaum, Anne Lacy, Mike Engels, Walter Wehtje

School of Computing: Conference and Workshop Papers

This paper presents CraneTracker, a novel sensor platform for monitoring migratory birds. The platform is designed to monitor Whooping Cranes, an endangered species that conducts an annual migration of 4, 000 km between southern Texas and north-central Canada. CraneTracker includes a rich set of sensors, a multi-modal radio, and power control circuitry for sustainable, continental-scale information delivery during migration. The need for large-scale connectivity motivates the use of cellular technology in low-cost sensor platforms augmented by a low-power transceiver for ad-hoc connectivity. This platform leads to a new class of cellular sensor networks (CSNs) for time-critical and mobile sensing applications. …

Preface: Trends In Natural And Machine Intelligence, Jonathan H. Chan, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Trends in natural and machine intelligence are increasingly reflecting a convergence in these two well-established fields of study. The Third International Neural Network Society Winter Conference (INNS-WC 2012) was held in Bangkok, Thailand, on October 3-5, 2012. INNS-WC2012, with an aim to bring together scientists, practitioners, and students worldwide, to discuss the past, present, and future challenges and trends in the area of natural and machine intelligence. This event has been a bi-annual conference of the International Neural Network Society (INNS) to provide a forum for international researchers to exchange latest ideas and advances on neural networks and related discipline.

Ttradeoff Tables For Compression Functions: How To Invert Hash Values Radeoff Tables For Compression Functions: How To Invert Hash Values, Orhun Kara, Adem Atalay

Turkish Journal of Electrical Engineering and Computer Sciences

Hash functions are one of the ubiquitous cryptographic functions used widely for various applications such as digital signatures, data integrity, authentication protocols, MAC algorithms, RNGs, etc. Hash functions are supposed to be one-way, i.e., preimage resistant. One interesting property of hash functions is that they process arbitrary-length messages into fixed-length outputs. In general, this can be achieved mostly by applying compression functions onto the message blocks of fixed length, recursively. The length of the message is incorporated as padding in the last block prior to the hash, a procedure called the Merkle-Damgard strengthening. In this paper, we introduce a new …

A Robust Adaptive Fuzzy Control Of A Unified Power Flow Controller, Sebaa Morsli, Allaoui Tayeb, Denai Mouloud, Chaker Abdelkader

Turkish Journal of Electrical Engineering and Computer Sciences

This paper investigates the control of a unified power flow controller (UPFC) to improve the stability of a power system, hence providing security under increased power flow conditions. The proposed control methods include a direct proportional and integral (PI) controller and an adaptive fuzzy logic controller (AFLC). The performances of these controllers were evaluated under different operating conditions of the power system and the results demonstrated that PI and AFLC are very effective in improving the transient power system stability and very robust against variable transmission line parameters.

Mathematical Modeling And Vertical Flight Control Of A Tilt-Wing Uav, Kaan Taha Öner, Ertuğrul Çeti̇nsoy, Efe Sirimoğlu, Cevdet Hançer, Mustafa Ünel, Mahmut Faruk Akşi̇t, Kayhan Gülez, İlyas Kandemi̇r

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents a mathematical model and vertical flight control algorithms for a new tilt-wing unmanned aerial vehicle (UAV). The vehicle is capable of vertical take-off and landing (VTOL). Due to its tilt-wing structure, it can also fly horizontally. The mathematical model of the vehicle is obtained using Newton-Euler formulation. A gravity compensated PID controller is designed for altitude control, and three PID controllers are designed for attitude stabilization of the vehicle. Performances of these controllers are found to be quite satisfactory as demonstrated by indoor and outdoor flight experiments.

Artificial Bee Colony Algorithm For Dynamic Deployment Of Wireless Sensor Networks, Celal Öztürk, Dervi̇ş Karaboğa, Beyza Görkemli̇

Turkish Journal of Electrical Engineering and Computer Sciences

As the usage and development of wireless sensor networks increases, problems related to these networks are being discovered. Dynamic deployment is one of the main issues that directly affect the performance of wireless sensor networks. In this paper, an artificial bee colony algorithm is applied to the dynamic deployment of mobile sensor networks to gain better performance by trying to increase the coverage area of the network. The good performance of the algorithm shows that it can be utilized in the dynamic deployment of wireless sensor networks.

Reduction Of Torque Ripple In Dtc For Induction Motor Using Input-Output Feedback Linearization, Sebti Belkacem, Farid Naceri, Rachid Abdessemed

Turkish Journal of Electrical Engineering and Computer Sciences

Direct torque control (DTC) is known to produce fast responses and robust control in AC adjustable-speed drives. However, in the steady-state operation, notable torque, flux, and current pulsations occur. In this paper, nonlinear DTC of induction motor drives is presented based on a space vector pulse-width modulation scheme combined with the input-output feedback linearization technique. The variation of stator and rotor resistance due to changes in temperature or frequency deteriorates the performance of the DTC controller by introducing errors in the estimated flux linkage and the electromagnetic torque. This approach will not be suitable for high power drives such as …

Performance Comparison Of New Nonparametric Independent Component Analysis Algorithm For Different Entropic Indexes, Yusuf Sevi̇m, Ayten Atasoy

Turkish Journal of Electrical Engineering and Computer Sciences

Most independent component analysis (ICA) algorithms use mutual information (MI) measures based on Shannon entropy as a cost function, but Shannon entropy is not the only measure in the literature. In this paper, instead of Shannon entropy, Tsallis entropy is used and a novel ICA algorithm, which uses kernel density estimation (KDE) for estimation of source distributions, is proposed. KDE is directly evaluated from the original data samples, so it solves the important problem in ICA: how to choose nonlinear functions as the probability density function (pdf) estimation of the sources.

A Simulator Based On An Energy-Efficient Gpr Algorithm Modified For The Scanning Of All Types Of Regions, Levent Seyfi̇, Ercan Yaldiz

Turkish Journal of Electrical Engineering and Computer Sciences

An improved simulator is presented for the simulation of an energy-efficient ground-penetrating radar (GPR) using the 2D finite-difference time-domain method in the MATLAB environment. This simulator is novel in that it improves on previous work that did not involve scanning a buried object or the intermittent sublayer beneath the ground using an energy-efficient algorithm. The present simulator examines the scanned region and automatically chooses either a common algorithm or an energy-efficient algorithm, depending on the region. The simulator provides the possibility of using an energy-efficient GPR without the need for the operator to determine the suitability of the scanned region. …

Design, Implementation, And Performance Analysis Of The Worldfip/Atm Local Bridge, Tuncay Aydoğan, İbrahi̇m Özçeli̇k, Aki̇f Kutlu, Hüseyi̇n Eki̇z

Turkish Journal of Electrical Engineering and Computer Sciences

World factory instrumentation protocol (WorldFIP) is a fieldbus network protocol that provides a link between level zero (sensors/actuators) and level one (field controllers such as programmable logic controllers, etc.) in industrial automation systems. Accessing and connecting the WorldFIP remotely is important for monitoring, maintaining, and controlling devices in a factory in which asynchronous transfer mode (ATM) is used as a backbone network. In this study, a transparent WorldFIP/ATM bridge was designed and implemented in order to access devices on WorldFIP via an ATM network. This designed bridge may also provide control of the devices over wide area networks. The bridge's …

Effects Of Routing Algorithms On Novel Throughput Improvement Of Mobile Ad Hoc Networks, Barbaros Preveze, Aysel Şafak

Turkish Journal of Electrical Engineering and Computer Sciences

A cognitive method called most congested access first (MCAF), minimizing the packet loss ratio and improving the throughput of a multihop mobile WiMAX network, is proposed. MCAF combines both the time division multiple access and the orthogonal frequency division multiple access methods. MCAF additionally uses spectral aid and buffer management methods, which are proposed in this paper, to manage both spectrum access and packets in the buffers. By using these novel methods, real-time video and voice packet transmission is achieved, data packet loss rate is minimized, and the system throughput per node is improved. Effects of fastest path and ant …

Simulated Annealing Algorithm-Based Elman Network For Dynamic System Identification, Adem Kalinli

Turkish Journal of Electrical Engineering and Computer Sciences

One of the well-known recurrent neural networks is the Elman network. Recently, it has been used in applications of system identification. The network has feedforward and feedback connections. It can be trained essentially as a feedforward network by means of the basic backpropagation algorithm, but its feedback connections have to be kept constant. For training success, it is important to select the correct values for the feedback connections. However, finding these values manually can be a lengthy trial-and-error process. This paper investigates the use of the simulated annealing (SA) algorithm to obtain the weight values of both the feedforward and …

A New Formulation Method For Solving Kinematic Problems Of Multiarm Robot Systems Using Quaternion Algebra In The Screw Theory Framework, Emre Sariyildiz, Hakan Temeltaş

Turkish Journal of Electrical Engineering and Computer Sciences

We present a new formulation method to solve the kinematic problem of multiarm robot systems. Our major aims were to formulize the kinematic problem in a compact closed form and avoid singularity problems in the inverse kinematic solution. The new formulation method is based on screw theory and quaternion algebra. Screw theory is an effective way to establish a global description of a rigid body and avoids singularities due to the use of the local coordinates. The dual quaternion, the most compact and efficient dual operator to express screw displacement, was used as a screw motion operator to obtain the …

Noncausal Forward/Backward Two-Pass Iir Digital Filters In Real Time, Adnane Mouffak, Belbachir Mohamed Faouzi

Turkish Journal of Electrical Engineering and Computer Sciences

A novel method for implementing noncausal forward/backward 2-pass recursive digital filters in real time is presented. It is based on a segment-wise block processing scheme without overlapping. Factors that degrade the linearity of the overall system's transfer function are discussed. An analytical condition that corrects the system's linearity is elaborated upon using the state variable approach. A recursive algorithm is developed to compute an implementable condition for real-time filtering. A single first in, first out queue memory is introduced to ensure an organized and continuous data stream into the proposed system. This technique allows real-time, sample-by-sample filtering, and it yields …

A Hybrid Approach For Power Quality Monitoring, Okan Özgönenel, Ümi̇t Kemaletti̇n Terzi̇, Abdesh Khan

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents a novel hybrid approach for detection of power quality (PQ) disturbances. The proposed hybrid algorithm is based on applications of principle component analysis, discrete wavelet transform, and fast Fourier transform on voltage and current waveforms. The proposed PQ monitoring (PQM) software uses 3-phase voltage and current signals in order to detect possible power disturbances such as voltage sag, flicker, harmonics, transients, DC component, and electromagnetic interference. The test results demonstrate the potential of the proposed hybrid technique for PQM andPQ assessment.

Vibration Analysis Of Base Structure On Sins Using Pzt Actuators, Bin Zheng, Jianfeng Yang

Turkish Journal of Electrical Engineering and Computer Sciences

A steel plate bonded with lead zirconate titanate (PZT) actuators was studied on the basis of finite element methods (FEMs). The damping amplitudes of this plate bonded with PZT actuators were obtained at different locations and under different control conditions by analyzing the distribution of the PZT plate's strain tensor in the first 4 modes. Furthermore, to reduce the unwanted disturbance and mitigate the errors from sensors, a base structure of the missile's strapdown inertial navigation system (SINS) is also proposed. The results show that the vibration control can be enhanced by increasing the number of the PZT actuators bonded. …