Computer Engineering Commons^™

A Possible Way To Avoid Heat Death, Nitaya Buntao, Narunchara Katemee, Vladik Kreinovich

Departmental Technical Reports (CS)

A disturbing consequence of the traditional thermodynamics is the possibility of heat death, when the Universe arrives at the state with the largest possible value of the entropy and all the processes will stop. In this paper, we show that one possible way to avoid this consequence is to consider situations in which the entropy never attains its maximum -- and thus, the heat death state is not possible. We show that such situations can have physical sense -- e.g., they naturally appear in boostrap models.

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 …

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 …

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.

Agent Based Modeling In Computer Graphics And Games, Brian Macnamee

Books/Book Chapters

As graphics technology has improved in recent years, more and more importance has been placed on the behavior of virtual characters in applications set in virtual worlds in areas such as games, movies and simulations. The behavior of virtual characters should be believable in order to create the illusion that these virtual worlds are populated with living characters. This has led to the application of agent-based modeling to the control of these virtual characters. There are a number of advantages of using agent-based modeling techniques which include the fact that they remove the requirement for hand controlling all agents in …

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 …

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 …

Supercharged Planetlab Platform Architecture, Jonathan Turner, Patrick Crowley, John Dehart, Mart Haitjema, Fred Kuhns Kuhns, Ritun Patney, Michael Wilson, Charlie Wiseman, David Zar

All Computer Science and Engineering Research

This report describes the Supercharged Planetlab Platform (SPP), a system designed as a prototype of an internet-scale overlay hosting platform. Overlay networks have become an important vehicle for delivering Internet applications. Overlay network nodes are typically implemented using general purpose servers or clusters. The SPP offers a more integrated architecture, combining general-purpose servers with high performance Network Processor (NP) subsystems. SPP nodes have recently been deployed as part of the Global Environment for Network Innovation (GENI) and are available for use by research users.

Submodular Utility Optimization In Sensor Networks For Capacity Constraints, You Xu, Yixin Chen, Chenyang Lu, Sangeeta Bhattacharya, Abu Saifullah

All Computer Science and Engineering Research

With the fast development of wireless sensor network (WSN) technologies, WSNs have widely shifted from a specialized platform for a single application to an integrated infrastructure supporting multiple applications. It is hence a critical problem to allocate multiple applications to multiple sensors in order to maximize user utility subject to various resource constraints. The resulting constrained optimization problem is difficult since it is discrete, nonlinear, and not in closed-form. In this report, we develop an efficient optimization algorithm with rigorous approximation bounds for submodular monotonic optimization with multiple knapsack constraints. Based on a variance reduction formulation, we prove several important …

Feedback Thermal Control For Real-Time Systems, Yong Fu, Nicholas Kottenstette, Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos, Hongan Wang

All Computer Science and Engineering Research

Thermal control is crucial to real-time systems as excessive processor temperature can cause system failure or unacceptable performance degradation due to hardware throttling. Real-time systems face significant challenges in thermal management as they must avoid processor overheating while still delivering desired real-time performance. Furthermore, many real-time systems must handle a broad range of uncertainties in system and environmental conditions. To address these challenges, this paper presents Thermal Control under Utilization Bound (TCUB), a novel thermal control algorithm specifically designed for real-time systems. TCUB employs a feedback control loop that dynamically controls both processor temperature and CPU utilization through task rate …

The Design And Performance Of Cyber-Physical Middleware For Real-Time Hybrid Structural Testing, Huang-Ming Huang, Xiuyu Gao, Terry Tidewell, Christopher Gill

All Computer Science and Engineering Research

Real-time hybrid testing of civil structures, in which computational models and physical components must be integrated with high fidelity at run-time represents a grand challenge in the emerging area of cyber-physical systems. Actuator dynamics, complex interactions among computers and physical components, and computation and communication delays all must be managed carefully to achieve accurate tests. To address these challenges, we have developed a novel middleware for integrating cyber and physical components flexibly and with suitable timing behavior within a Cyber-physical Instrument for Real-time hybrid Structural Testing (CIRST). This paper makes three main contributions to the state of the art in …