Computer Engineering Commons^™

Towards Neural-Based Understanding Of The Cauchy Deviate Method For Processing Interval And Fuzzy Uncertainty, Vladik Kreinovich, Hung T. Nguyen

Departmental Technical Reports (CS)

One of the most efficient techniques for processing interval and fuzzy data is a Monte-Carlo type technique of Cauchy deviates that uses Cauchy distributions. This technique is mathematically valid, but somewhat counterintuitive. In this paper, following the ideas of Paul Werbos, we provide a natural neural network explanation for this technique.

Defining A Forensic Audit, G. S. Smith, D. L. Crumbley

Journal of Digital Forensics, Security and Law

Disclosures about new financial frauds and scandals are continually appearing in the press. As a consequence, the accounting profession's traditional methods of monitoring corporate financial activities are under intense scrutiny. At the same time, there is recognition that principles-based GAAP from the International Accounting Standards Board will become the recognized standard in the U.S. The authors argue that these two factors will change the practices used to fight corporate malfeasance as investigators adapt the techniques of accounting into a forensic audit engagement model.

Visualisation Of Honeypot Data Using Graphviz And Afterglow, Craig Valli

Journal of Digital Forensics, Security and Law

This research in progress paper explores the use of Graphviz and Afterglow for the analysis of data emanating from a honeypot system. Honeypot systems gather a wide range of data that is often difficult to readily search for patterns and trends using conventional log file analysis techniques. The data from the honeypots has been statically extracted and processed through Afterglow scripts to produce inputs suitable for use by the DOT graph based tools contained within Graphviz. This paper explores some of the benefits and drawbacks of currently using this type of approach.

On Unified Computational Intelligence: Neural Networks, Dynamic Programming, And Applications To Economics And Finance, John E. Seiffertt Iv

Doctoral Dissertations

"This dissertation introduces the concept of unified computational intelligence and encompasses algorithm design, applications, theoretical developments, and the identification of new frontiers for multidisciplinary research. It presents a new way to look at unified learning systems and presents a novel Adaptive Resonance Theory-based unified learning architecture. An application to robotic security and sensor fusion is given in detail.

Work on the theoretical developments of unified computational intelligence is also presented. A new theorem in the time scales calculus is proven and theorems on the Hamilton-Jacobi-Ballman equation of dynamic programming and the dynamic programming algorithm are presented, both for various general …

Low-Default Portfolio/One-Class Classification: A Literature Review, Kenneth Kennedy, Brian Mac Namee, Sarah Jane Delany

Reports

Consider a bank which wishes to decide whether a credit applicant will obtain credit or not. The bank has to assess if the applicant will be able to redeem the credit. This is done by estimating the probability that the applicant will default prior to the maturity of the credit. To estimate this probability of default it is first necessary to identify criteria which separate the "good" from the "bad" creditors, such as loan amount and age or factors concerning the income of the applicant. The question then arises of how a bank identifies a sufficient number of selective criteria …

Falconet: Force-Feedback Approach For Learning From Coaching And Observation Using Natural And Experiential Training, Gary Stein

Electronic Theses and Dissertations

Building an intelligent agent model from scratch is a difficult task. Thus, it would be preferable to have an automated process perform this task. There have been many manual and automatic techniques, however, each of these has various issues with obtaining, organizing, or making use of the data. Additionally, it can be difficult to get perfect data or, once the data is obtained, impractical to get a human subject to explain why some action was performed. Because of these problems, machine learning from observation emerged to produce agent models based on observational data. Learning from observation uses unobtrusive and purely …

Survivable Mesh-Network Design & Optimization To Support Multiple Qop Service Classes, Hoang N. Nguyen

Theses: Doctorates and Masters

Every second, vast amounts of data are transferred over communication systems around the world, and as a result, the demands on optical infrastructures are extending beyond the traditional, ring-based architecture. The range of content and services available from the Internet is increasing, and network operations are constantly under pressure to expand their optical networks in order to keep pace with the ever increasing demand for higher speed and more reliable links.

The Development Of A Prototype Robotic Platform On Which Awareness Strategies Can Be Implemented, Sean Kinsella

Theses

This thesis describes the design and development of the hardware and software for a prototype robotic platform on which awareness strategies can be developed. The mobile prototype platform designed over the course of work is capable of operating as a distributed or centralised system.

There is no singular definition of awareness for a robotic system and the development of awareness strategies is complex and requires expertise in many scientific disciplines. This paper describes the different types of awareness associated with robotic systems and the technology required to implement this awareness. A review of sensors critical to the development of awareness …

Insecurity By Obscurity: A Review Of Soho Router Literature From A Network Security Perspective, Patryk Szewczyk, Craig Valli

Journal of Digital Forensics, Security and Law

Because of prevalent threats to SoHo based ADSL Routers, many more devices are compromised. Whilst an end-user may be at fault for not applying the appropriate security mechanisms to counter these threats, vendors should equally share the blame. This paper reveals that the lack of security related content and poor overall design could impact on end-users’ interpretation and willingness to implement security controls on their ADSL router. It argues that whilst the number of threats circulating the Internet is increasing, vendors are not improving their product literature.

Supporting Protocols For Structuring And Intelligent Information Dissemination In Vehicular Ad Hoc Networks, Filip Cuckov

Electrical & Computer Engineering Theses & Dissertations

The goal of this dissertation is the presentation of supporting protocols for structuring and intelligent data dissemination in vehicular ad hoc networks (VANETs). The protocols are intended to first introduce a structure in VANETs, and thus promote the spatial reuse of network resources. Segmenting a flat VANET in multiple cluster structures allows for more efficient use of the available bandwidth, which can effectively increase the capacity of the network. The cluster structures can also improve the scalability of the underlying communication protocols. The structuring and maintenance of the network introduces additional overhead. The aim is to provide a mechanism for …

Equational Coalgebraic Logic, Alexander Kurz, Raul Leal

Engineering Faculty Articles and Research

Coalgebra develops a general theory of transition systems, parametric in a functor T; the functor T specifies the possible one-step behaviours of the system. A fundamental question in this area is how to obtain, for an arbitrary functor T, a logic for T-coalgebras. We compare two existing proposals, Moss’s coalgebraic logic and the logic of all predicate liftings, by providing one-step translations between them, extending the results in [21] by making systematic use of Stone duality. Our main contribution then is a novel coalgebraic logic, which can be seen as an equational axiomatization of Moss’s logic. The three logics are …

Health Prognisis Of Electronics Via Power Profiling, Jonathan Amilcar Cervantes

Open Access Theses & Dissertations

The objective of this research is to investigate a new approach for the early detection of latent defects in electronic devices in the field. Reliability is assessed through the non-traditional approach of recording and evaluating the power profile of electronic devices within a deterministic state of operation. Traditionally, measuring the quiescent current (Iddq) of a device has been employed in manufacturing tests to detect defective parts prior to deployment to the field. However, the monitoring of the deterministic power signature (i.e. boot up or during a self-test routine) has never been exploited to monitor the health of a device in …

Corpvis: An Online Emotional Speech Corpora Visualisation Interface, Charlie Cullen, Brian Vaughan

Conference papers

Our research in emotional speech analysis has led to the construction of several dedicated high quality, online corpora of natural emotional speech assets. The requirements for querying, retrieval and organization of assets based on both their metadata descriptors and their analysis data led to the construction of a suitable interface for data visualization and corpus management. The CorpVis interface is intended to assist collaborative work between several speech research groups working with us in this area, allowing online collaboration and distribution of assets to be performed. This paper details the current CorpVis interface into our corpora, and the work performed …

Identity Management To Support Access Control In E-Health Systems, Xu Chen, Damon Berry, William Grimson

Conference Papers

The related and often challenging topics of identity management and access control form an essential foundation for e-health infrastructure. Several approaches and supporting specifications for electronic healthcare record system (EHR-S) communication have been proposed by research projects and standards development organizations in recent years. For instance, part four of the CEN TC251 EN13606 EHRcom standard and the HL7 Role Based Access Control Draft Standard for Trial Use have helped to specify the nature of access control behaviour in relation to EHR communication within and between healthcare organisations. Access control services are a core component not only of the integrated care …

A Mobile Ecg Monitoring System With Context Collection, Jin Peng Li, Damon Berry, Richard Hayes

Conference Papers

Preventative health management represents a shift from the traditional approach of reactive treatment-based healthcare towards a proactive wellness-management approach where patients are encouraged to stay healthy with expert support when they need it, at any location and any time. This work represents a step along the road towards proactive, preventative healthcare for cardiac patients. It seeks to develop a smart mobile ECG monitoring system that requests and records context information about what is happening around the subject when an arrhythmia event occurs. Context information about the subject’s activities of daily living will, it is hoped, provide an enriched data set …

A Novel Ep Approach For Multi-Area Economic Dispatch With Multiple Fuel Options, P. S. Manoharan, P. S. Kannan, V. Ramanathan

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents a novel approach to multi-area economic dispatch problems with multiple fuel options using a hybrid evolutionary programming method. The objective is to minimize the operation cost of the entire system while satisfying the tie line constraints. In this paper, EP-LMO (Evolutionary Programming with Levenberg-Marquardt Optimization) technique is proposed to solve multi-area economic dispatch problems with multiple fuel options. The EP-LMO is developed in such a way that a simple evolutionary programming (EP) is applied as a base level search to find the direction of the optimal global region. And Levenberg-Marquardt Optimization (LMO) method is used as a …

Electronic Differential With Direct Torque Fuzzy Control For Vehicle Propulsion System, Kada Hartani, Mohamed Bourahla, Yahia Miloud, Mohamed Sekour

Turkish Journal of Electrical Engineering and Computer Sciences

We model an electronic differential that will offer the best vehicle stability on a curved road. The proposed traction system consists of two permanent magnet synchronous (PMS) machines that ensure the drive of two back-driving wheels. The contribution of each wheel to the advance of the vehicle is represented by an element conveying the accumulation of mechanical coupling. The proposed control structure is based on the direct torque fuzzy control for each wheel-motor. Different simulations have been carried out: vehicle driven ons straight road, vehicle driven on straight road with slope, and vehicle driven over a road curved left and …

Construction And Applications Of The Dirichlet-To-Neumann Operator In Transmission Line Modeling, Thomas Demeester, Daniel De Zutter

Turkish Journal of Electrical Engineering and Computer Sciences

The Dirichlet-to-Neumann (DtN) operator is a useful tool in the characterization of interconnect structures. In combination with the Method of Moments, it can be used for the calculation of the per-unit length transmission line parameters of multi-conductor interconnections, or to directly determine the internal impedance of conductors. This paper presents a new and fast calculation method for the DtN boundary operator in the important case of rectangular structures, based on the superposition of parallel-plate waveguide modes. Especially for its non-differential form, some numerical issues need to be addressed. It is further explained how the DtN operator can be determined for …

Vlsi-Cell Placement Technique For Architecture Of Field Programmable Gate Array (Fpga) Design, Avnesh Verma, Sunil Dhingra, M. K. Soni

Turkish Journal of Electrical Engineering and Computer Sciences

The Field Programmable Gate Array (FPGA) is an on field programmable device which can be designed for different applications. Various types of software are available for its synthesis. The cell placement depends upon the designing and programming languages used for FPGA. In this paper cell placement technique of FPGA architecture is analyzed for the application of Space Vector Pulse Width Modulation (SVPWM) technique used in speed control of an induction motor. The modulation pulses are produced due to the various components activated and their interconnection in Configurable Logic Blocks (CLBs). Few of its components are so analyzed to find out …

Modeling And Calculation Of Electromagnetic Field In The Surroundings Of A Large Power Transformer, Leonardo Strac, Franjo Kelemen, Damir Zarko

Turkish Journal of Electrical Engineering and Computer Sciences

The presented study compares measured and calculated electromagnetic field quantities in the surroundings of a large power transformer with the aim to avoid the necessity of measuring the field on subsequent units and use a computer model instead. The influences of various objects located in the vicinity of the transformer during measurement are also analyzed and are taken into account in a computer model.

An Investigation Into The Semantics Of English Topological Prepositions, John D. Kelleher, Colm Sloan, Brian Mac Namee

Articles

This paper describes a psycholinguistic experiment that investigates whether the applicability of the topological spatial prepositions "at", "on" or "in" to describe the spatial configuration between two objects is related to the topological relationships between objects being described

Analytical Regularization Method For Electromagnetic Wave Diffraction By Axially Symmetrical Thin Annular Strips, Fati̇h Di̇kmen, Yury Alexanderovich Tuchkin

Turkish Journal of Electrical Engineering and Computer Sciences

A new mathematically rigorous and numerically efficient method based on the combination of Orthogonal Polynomials Method, and Analytical Regularization Method, for electromagnetic wave diffraction by a model structure for various antennae such as Fresnel zone plates is proposed. It can be used as validation tool for the other (more general or less accurate) numerical methods and physical approaches. The initial boundary value problem is equivalently reduced to the infinite system of the linear algebraic equations of the second kind, i.e. to an equation of the type (I+H) x=b in the space l_2 with compact operator H. This equation can be …

Voltage Control Of Self-Excited Induction Generator Using Genetic Algorithm, Dheeraj Joshi, Kanwarjit Singh Sandhu, Mahender Kumar Soni

Turkish Journal of Electrical Engineering and Computer Sciences

Self-excited induction generators (SEIG) are found to be most suitable candidate for wind energy conversion application required at remote windy locations. Such generators are not able to maintain the terminal voltage with load as, a literature survey reveals, the voltage profile falls sharply with load. In this paper an attempt has been made to improve the voltage profile of a self-excited induction generator. A new methodology based upon Genetic Algorithm (GA) is proposed to compute the steady state performance of the model including core loss branch. Further efforts are made to control the terminal voltage under loaded conditions. Simulated results …

Electromagnetic Radiation From Multilayer Printed Circuit Boards: A 3d Fdtd-Based Virtual Emission Predictor, Gonca Çakir, Mustafa Çakir, Levent Sevgi̇

Turkish Journal of Electrical Engineering and Computer Sciences

A novel FDTD-based virtual electromagnetic compatibility tool for the prediction of electromagnetic emissions from a multilayer printed circuit board is introduced. Tests are performed with characteristic structures and sample simulation results are presented.

Augmented Lagrangian Algorithms Under Constraint Partitioning, You Xu, Yixin Chen

All Computer Science and Engineering Research

We present a novel constraint-partitioning approach for solving continuous nonlinear optimization based on augmented Lagrange method. In contrast to previous work, our approach is based on a new constraint partitioning theory and can handle global constraints. We employ a hyper-graph partitioning method to recognize the problem structure. We prove global convergence under assumptions that are much more relaxed than previous work and solve problems as large as 40,000 variables that other solvers such as IPOPT [11] cannot solve.

Geodesic Grassfire For Computing Mixed-Dimensional Skeletons, Lu Liu, Tao Ju

All Computer Science and Engineering Research

Skeleton descriptors are commonly used to represent, understand and process shapes. While existing methods produce skeletons at a fixed dimension, such as surface or curve skeletons for a 3D object, often times objects are better described using skeleton geometry at a mixture of dimensions. In this paper we present a novel algorithm for computing mixed-dimensional skeletons. Our method is guided by a continuous analogue that extends the classical grassfire erosion. This analogue allows us to identify medial geometry at multiple dimensions, and to formulate a measure that captures how well an object part is described by medial geometry at a …

The Virtual Network Scheduling Problem For Heterogeneous Network Emulation Testbeds, Charlie Wisemen, Jonathan Turner

All Computer Science and Engineering Research

Network testbeds such as Emulab and the Open Network Laboratory use virtualization to enable users to define end user virtual networks within a shared substrate. This involves mapping users' virtual network nodes onto distinct substrate components and mapping virtual network links onto substrate paths. The mappings guarantee that different users' activities can not interfere with one another. The problem of mapping virtual networks onto a shared substrate is a variant of the general graph embedding problem, long known to be NP-hard. In this paper, we focus on a more general version of the problem that supports advance scheduling of virtual …

Online Bayesian Analysis, Ruibin Xi, Yongjin Kim, Nan Lin, Yixin Chen, Gruia-Catalin Roman

All Computer Science and Engineering Research

In the last few years, there has been active research on aggregating advanced statistical measures in multidimensional data cubes from partitioned subsets of data. In this paper, we propose an online compression and aggregation scheme to support Bayesian estimations in data cubes based on the asymptotic properties of Bayesian statistics. In the proposed approach, we compress each data segment by retaining only the model parameters and a small amount of auxiliary measures. We then develop an aggregation formula that allows us to reconstruct the Bayesian estimation from partitioned segments with a small approximation error. We show that the Bayesian estimates …

Efficient Tracking Of Many Objects In Structured Environments, Nathan Jacobs, Michael Dixon, Scott Satkin, Robert Pless

All Computer Science and Engineering Research

We consider the special case of tracking objects in highly structured scenes. In the context of vehicle tracking in urban environments, we offer a fully automatic, end-to-end system that discovers and parametrizes the lanes along which vehicles drive, then uses just these pixels to simultaneously track dozens of objects. This system includes a novel active contour energy function used to parametrize the lanes of travel based only on the accumulation of spatio-temporal image derivatives, and a tracking algorithm that exploits longer temporal constraints made possible by our compact data representation; we believe both of these may be of independent interest. …

Throughput-Optimal Systolic Arrays From Recurrence Equations, Arpith C. Jacob, Jeremy D. Buhler, Roger D. Chamberlain

All Computer Science and Engineering Research

Many compute-bound software kernels have seen order-of-magnitude speedups on special-purpose accelerators built on specialized architectures such as field-programmable gate arrays (FPGAs). These architectures are particularly good at implementing dynamic programming algorithms that can be expressed as systems of recurrence equations, which in turn can be realized as systolic array designs. To efficiently find good realizations of an algorithm for a given hardware platform, we pursue software tools that can search the space of possible parallel array designs to optimize various design criteria. Most existing design tools in this area produce a design that is latency-space optimal. However, we instead wish …