Physical Sciences and Mathematics Commons^™

Design And Verification Environment For High-Performance Video-Based Embedded Systems, Michael Mefenza Nentedem

Graduate Theses and Dissertations

In this dissertation, a method and a tool to enable design and verification of computation demanding embedded vision-based systems is presented. Starting with an executable specification in OpenCV, we provide subsequent refinements and verification down to a system-on-chip prototype into an FPGA-Based smart camera. At each level of abstraction, properties of image processing applications are used along with structure composition to provide a generic architecture that can be automatically verified and mapped to the lower abstraction level. The result is a framework that encapsulates the computer vision library OpenCV at the highest level, integrates Accelera's System-C/TLM with UVM and QEMU-OS …

Effective Auto Encoder For Unsupervised Sparse Representation, Faria Mahnaz

Wayne State University Theses

High dimensionality and the sheer size of unlabeled data available today demand

new development in unsupervised learning of sparse representation. Despite of recent

advances in representation learning, most of the current methods are limited when

dealing with large scale unlabeled data. In this study, we propose a new unsupervised

method that is able to learn sparse representation from unlabeled data efficiently. We

derive a closed-form solution based on the sequential minimal optimization (SMO)

for training an auto encoder-decoder module, which efficiently extracts sparse and

compact features from any data set with various size. The inference process in the

proposed learning …

The Impact Of Increased Optimization Problem Dimensionality On Cultural Algorithm Performance, Yang Yang

Wayne State University Theses

ABSTRACT

The Impact of Increased Optimization Problem Dimensionality on

Cultural Algorithm Performance

by

Yang Yang

August 2015

Advisor: Dr. Robert Reynolds

Major: Computer Science

Degree: Master of Science

In this thesis, we investigate the performance of Cultural Algorithms when dealing with the increasing dimensionality of optimization problems. The research is based on previous cultural algorithm approaches with the Cultural Algorithms Toolkit, CAT 2.0, which supports a variety of co-evolutionary features at both the knowledge and population levels. In this project, the system was applied to the solution of 60 randomly generated problems that ranged from 2-dimensional to 5-dimensional problem spaces. …

Contributions To The Solution Of Large Nonlinear Systems Via Model-Order Reduction And Interval Constraint Solving Techniques, Leobardo Valera

Open Access Theses & Dissertations

Many engineering problems boil down to solving partial differential equations (PDEs) that describe real-life phenomena. Nevertheless, efficiently and reliably solving such problems constitutes a major challenge in computational sciences and in engineering in general.

PDE-based systems can reach sizes so large after they are discretized. The large size in these problems generate several issues, among them we can mention: large space of storing, computing time, and the most important, lost of accuracy. A popular approach to solving such problems is assume that the PDE's solution is in a subspace, and the solution is sought there. This assumption and later searching …