Gpu Based Processing For Airborne Detection,
2010
Missouri University of Science and Technology
Gpu Based Processing For Airborne Detection, Dheeraj Singiresu
Masters Theses
"Onboard real-time processing is highly desirable in airborne detection applications. As the data processing involved here is computationally expensive, typically high power multi-rack system is required to achieve real-time detection. Use of such hardware is often not feasible in an airborne application due to space, power and weight constraints. In this thesis, different computing architectures suitable for real-time onboard processing are compared in terms of computation speed, watts/GFLOPS, and weight/GFLOPS. A brief description of the modem GPU architecture and the current GPGPU technology is provided. GPU implementations of some computationally expensive image processing applications such as band-to-band registration for Multi …
On Coalgebras Over Algebras,
2010
University Politehnica of Bucharest
On Coalgebras Over Algebras, Adriana Balan, Alexander Kurz
Engineering Faculty Articles and Research
We extend Barr’s well-known characterization of the final coalgebra of a Set-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a Set-monad M for functors arising as liftings. As an application we introduce the notion of commuting pair of endofunctors with respect to the monad M and show that under reasonable assumptions, the final coalgebra of one of the endofunctors involved can be obtained as the free algebra generated by the initial algebra of the other endofunctor.
Families Of Symmetries As Efficient Models Of Resource Binding,
2010
Institute for Logic, Language and Computation - Amsterdam
Families Of Symmetries As Efficient Models Of Resource Binding, Vincenzo Ciancia, Alexander Kurz, Ugo Montanari
Engineering Faculty Articles and Research
Calculi that feature resource-allocating constructs (e.g. the pi-calculus or the fusion calculus) require special kinds of models. The best-known ones are presheaves and nominal sets. But named sets have the advantage of being finite in a wide range of cases where the other two are infinite. The three models are equivalent. Finiteness of named sets is strictly related to the notion of finite support in nominal sets and the corresponding presheaves. We show that named sets are generalisd by the categorical model of families, that is, free coproduct completions, indexed by symmetries, and explain how locality of interfaces gives good …
On Universal Algebra Over Nominal Sets,
2010
Chapman University
On Universal Algebra Over Nominal Sets, Alexander Kurz, Daniela Petrişan
Engineering Faculty Articles and Research
We investigate universal algebra over the category Nom of nominal sets. Using the fact that Nom is a full re ective subcategory of a monadic category, we obtain an HSP-like theorem for algebras over nominal sets. We isolate a `uniform' fragment of our equational logic, which corresponds to the nominal logics present in the literature. We give semantically invariant translations of theories for nominal algebra and NEL into `uniform' theories and systematically prove HSP theorems for models of these theories.
Algebraic Theories Over Nominal Sets,
2010
Chapman University
Algebraic Theories Over Nominal Sets, Alexander Kurz, Daniela Petrişan, Jiří Velebil
Engineering Faculty Articles and Research
We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to introduce new notions of finitary based monads and uniform monads. In a second part we spell out these notions in the language of universal algebra, show how to recover the logics of Gabbay-Mathijssen and Clouston-Pitts, and apply classical results from universal algebra.
An Approach Based On Particle Swarm Computation To Study The Nanoscale Dg Mosfet-Based Circuits,
2010
TÜBİTAK
An Approach Based On Particle Swarm Computation To Study The Nanoscale Dg Mosfet-Based Circuits, Fayacl Djeffal, Toufik Bendib, Redha Benzid, Abdelhamid Benhaya
Turkish Journal of Electrical Engineering and Computer Sciences
The analytical modeling of nanoscale Double-Gate MOSFETs (DG) requires generally several necessary simplifying assumptions to lead to compact expressions of current-voltage characteristics for nanoscale CMOS circuits design. Further, progress in the development, design and optimization of nanoscale devices necessarily require new theory and modeling tools in order to improve the accuracy and the computational time of circuits' simulators. In this paper, we propose a new particle swarm strategy to study the nanoscale CMOS circuits. The latter is based on the 2-D numerical Non-Equilibrium Green's Function (NEGF) simulation and a new extended long channel DG MOSFET compact model. Good agreement between …
Transmitter Optimization In Multiuser Wireless Systems With Quality Of Service Constraints,
2010
Old Dominion University
Transmitter Optimization In Multiuser Wireless Systems With Quality Of Service Constraints, Danda B. Rawat
Electrical & Computer Engineering Theses & Dissertations
In this dissertation, transmitter adaptation for optimal resource allocation in wireless communication systems are investigated. First, a multiple access channel model is considered where many transmitters communicate with a single receiver. This scenario is a basic component of a. wireless network in which multiple users simultaneously access the resources of a wireless service provider. Adaptive algorithms for transmitter optimization to meet Quality-of-Service (QoS) requirements in a distributed manner are studied. Second, an interference channel model is considered where multiple interfering transmitter-receiver pairs co-exist such that a given transmitter communicates with its intended receiver in the presence of interference from other …
State Variable Distributed-Parameter Representation Of Transmission Line For Transient Simulations,
2010
TÜBİTAK
State Variable Distributed-Parameter Representation Of Transmission Line For Transient Simulations, Mehmet Sali̇h Mami̇ş, Asim Kaygusuz, Muhammet Köksal
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, a distributed-parameter state variable approach is used to calculate transients on transmission lines based on the concept of travelling waves. The method of characteristics for lossless line is used and the state equations are derived for the system. These equations are converted to a set of difference equations using the trapezoidal rule of integration and solved in time domain using LU decomposition. Single- and multi-phase transmission lines with various linear and non-linear terminations are considered in the illustrative examples. State-space modeling of transposed lines using modal decomposition is introduced and the effects caused by lumped parameter approximation …
Effect Of Transformer On Stochastic Estimation Of Voltage Sag Due To Faults In The Power System: A Pscad/Emtdc Simulation,
2010
TÜBİTAK
Effect Of Transformer On Stochastic Estimation Of Voltage Sag Due To Faults In The Power System: A Pscad/Emtdc Simulation, Nita R. Patne, K. L. Thakre
Turkish Journal of Electrical Engineering and Computer Sciences
Voltage sags in the electric power system are mostly due to faults in the power system. Voltage sag is characterized by its magnitude (the retained voltage), phase-angle jump, unbalance in the sag in the three phases, and duration. Type of transformers in the electrical system is the important parameter influencing the characteristic of sag at the node where sensitive loads are connected. For sensitive loads it is necessary to estimate how many times in a year the voltage at their terminal will experience sag to avoid tripping of operation. In this paper the effect of transformer on stochastic estimation of …
Improved Analytical Modulation Transfer Function For Image Intensified Charge Coupled Devices*,
2010
TÜBİTAK
Improved Analytical Modulation Transfer Function For Image Intensified Charge Coupled Devices*, Nebi̇ Gül, Murat Efe
Turkish Journal of Electrical Engineering and Computer Sciences
The basic problem of simulation and modeling of Image Intensified Charge Coupled Device (ICCD) is the difference between the analytical Modulation Transfer Function (MTF) formulation used in the model and the experimentally obtained MTF. An investigation into the MTF of ICCD sub-components reveal that the MTF of the Image Intensifier Tube (IIT) is the main factor in this deviation. In this study, a regulation factor for the MTF of 3^{rd} generation IITs has been developed. A commonly used MTF formulation for IITs has been modified to include a regulation factor which has helped produce more precise MTF values for the …
Determination Of Autoregressive Model Orders For Seizure Detection,
2010
TÜBİTAK
Determination Of Autoregressive Model Orders For Seizure Detection, Serap Aydin
Turkish Journal of Electrical Engineering and Computer Sciences
In the present study, a step-wise least square estimation algorithm (SLSA), implemented in a Matlab package called as ARfit, has been newly applied to clinical data for estimation of the accurate Auto-Regressive (AR) model orders of both normal and ictal EEG series where the power spectral density (PSD) estimations are provided by the Burg Method. The ARfit module is found to be usefull in comparison to a large variety of traditional methods such as Forward Prediction Error (FPE), Akaike's Information Criteria (AIC), Minimum Description Lenght (MDL), and Criterion of Autoregressive Transfer function (CAT) for EEG discrimination. According to tests, the …
Comparison Of Daubechies Wavelets For Hurst Parameter Estimation,
2010
TÜBİTAK
Comparison Of Daubechies Wavelets For Hurst Parameter Estimation, Cebrai̇l Çi̇ftli̇kli̇, Ali̇ Gezer
Turkish Journal of Electrical Engineering and Computer Sciences
Time scale dependence on the working nature of wavelet analysis makes it a valuable tool for Hurst parameter estimation. Similar to other wavelet-based signal processing applications, the selection of a particular wavelet type and vanishing moment in wavelet based Hurst estimation is a challenging problem. In this paper, we investigate the best Daubechies wavelet in wavelet based Hurst estimation for an exact self similar process, fractional Gaussian noise and how Daubechies vanishing moment affects the Hurst estimation accuracy. Daubechies wavelets are preferred in analysis because increasing vanishing moment does not cause excessive increase of time support of Daubechies wavelets. Thus, …
A New Chaotic Attractor From General Lorenz System Family And Its Electronic Experimental Implementation,
2010
TÜBİTAK
A New Chaotic Attractor From General Lorenz System Family And Its Electronic Experimental Implementation, İhsan Pehli̇van, Yilmaz Uyaroğlu
Turkish Journal of Electrical Engineering and Computer Sciences
This article introduces a novel three-dimensional continuous autonomous chaotic system with six terms and two quadratic nonlinearities. The new system contains two variational parameters and exhibits Lorenz-like attractors in numerical simulations and experimental measurements. The basic dynamical properties of the new system are analyzed by means of equilibrium points, eigenvalue structures, and Lyapunov exponents. The new system examined in Matlab-Simulink^{\textregistered} and Orcad-PSpice^{\textregistered}. An electronic circuit realization of the proposed system is presented using analog electronic elements such as capacitors, resistors, operational amplifiers and multipliers. The behaviour of the realized system is evaluated with computer simulations.
Stochastic Stability Of The Discrete-Time Constrained Extended Kalman Filter,
2010
TÜBİTAK
Stochastic Stability Of The Discrete-Time Constrained Extended Kalman Filter, Levent Özbek, Esi̇n Köksal Babacan, Murat Efe
Turkish Journal of Electrical Engineering and Computer Sciences
In this paper, stability of the projection-based constrained discrete-time extended Kalman filter (EKF) as applied to nonlinear systems in a stochastic framework has been studied. It has been shown that like the unconstrained EKF, the estimation error of the EKF with known constraints on the states remains bounded when the initial error and noise terms are small, and the solution of the Riccati difference equation remains positive definite and bounded. Stability results are verified and performance of the constrained EKF is demonstrated through simulations on a nonlinear engineering example.
Oceanography Radar System Wera: Features, Accuracy, Reliability And Limitations,
2010
TÜBİTAK
Oceanography Radar System Wera: Features, Accuracy, Reliability And Limitations, Thomas Helzel, Matthias Kniephoff, Leif Petersen
Turkish Journal of Electrical Engineering and Computer Sciences
The WERA system (WavE RAdar) is a shore based remote sensing system to monitor ocean surface currents, waves and wind direction. This long range, high resolution monitoring system based on short radio wave radar technology. The vertical polarised electromagnetic wave is coupled to the conductive ocean surface and follows the curvature of the earth. This over the horizon oceanography radar can pick up back-scattered signals from the rough ocean surface (Bragg effect) from ranges of up to 200 km. The physical background, technical concept and environmental boundary conditions are explained. Results for various installations from all over the world demonstrates …
Securing Fuzzy Vault Schemes Through Biometric Hashing,
2010
TÜBİTAK
Securing Fuzzy Vault Schemes Through Biometric Hashing, Cengi̇z Örenci̇k, Thomas Brochmann Pedersen, Erkay Savaş, Mehmet Keski̇nöz
Turkish Journal of Electrical Engineering and Computer Sciences
The fuzzy vault scheme is a well-known technique to mitigate privacy, security, and usability related problems in biometric identification applications. The basic idea is to hide biometric data along with secret information amongst randomly selected chaff points during the enrollment process. Only the owner of the biometric data who presents correct biometrics can recover the secret and identify himself. Recent research, however, has shown that the scheme is vulnerable to certain types of attacks. The recently proposed ``correlation attack'', that allows linking two vaults of the same biometric, pose serious privacy risks that have not been sufficiently addressed. The primary …
A Novel Method For Lung Segmentation On Chest Ct Images: Complex-Valued Artificial Neural Network With Complex Wavelet Transform, Murat Ceylan, Yüksel Özbay, Osman Nuri̇ Uçan, Erkan Yildirim
Turkish Journal of Electrical Engineering and Computer Sciences
Image segmentation is an important step in many computer vision algorithms. The objective of segmentation is to obtained an optimal region of convergences (ROC). Error in this stage will impact all higher level activities. This paper focuses on a new efficient method denoted as Complex-Valued Artificial Neural Network with Complex Wavelet Transform (CWT-CVANN) for the segmentation of lung region on chest CT images. In this combined architecture is composed of two cascade stages: feature extraction with various levels of complex wavelet transform and segmentation with complex-valued artificial neural network. Here, 32 CT images of 6 female and 26 male patients …
Adaptive Neuro-Fuzzy Inference System To Improve The Power Quality Of Variable-Speed Wind Power Generation System,
2010
TÜBİTAK
Adaptive Neuro-Fuzzy Inference System To Improve The Power Quality Of Variable-Speed Wind Power Generation System, Yüksel Oğuz, Kami̇l Ri̇fat İrfan Güney
Turkish Journal of Electrical Engineering and Computer Sciences
In this study, an adaptive neuro-fuzzy inference system is designed for output voltage and frequency control of a variable-speed wind power generation system. Variable-speed wind power generation systems (VSWPGS) provide the opportunity to capture more power than fixed speed turbines. On the other hand, the variable-speed wind turbine output can be variable voltage and variable frequency for fluctuating wind speeds. The quality of output power can be improved if adequate controls are incorporated in the system. To bring the output voltage and frequency of system by means of control of blade pitch angle of wind turbine to a desirable value, …
Programmable Design And Implementation Of A Chaotic System Utilizing Multiple Nonlinear Functions,
2010
TÜBİTAK
Programmable Design And Implementation Of A Chaotic System Utilizing Multiple Nonlinear Functions, Recai̇ Kiliç, Fatma Yildirim Dalkiran
Turkish Journal of Electrical Engineering and Computer Sciences
In addition to exhibiting a rich variety of bifurcation and chaos via tuning parameters, a chaotic system introduced by Sprott can be modeled and realized with a fixed main system block and many different changeable nonlinear function blocks such as piecewise-linear function, cubic function and other trigonometric functions. This system is very suitable for implementing a programmable chaos generator according to its changeable nonlinearity. This paper presents a FPAA (Field Programmable Analog Array)-based programmable implementation of this system. Nonlinear function blocks used in this chaotic system are modeled with FPAA programming and a model is rapidly changed for realizing other …
Fault Detection And Identification For Voltage Sag State Estimation In Power Systems,
2010
TÜBİTAK
Fault Detection And Identification For Voltage Sag State Estimation In Power Systems, Jamal Beiza, Seyed Hossein Hosseinian, Behrooz Vahidi
Turkish Journal of Electrical Engineering and Computer Sciences
This paper presents a novel approach for fault detection and identification in order to estimate voltage sag during a fault. One of the best approaches for voltage sag estimation is instantaneous voltage estimation. The approach uses traditional state estimation where redundant measurements are available. The proposed method is used to estimate voltage sag performance during a fault. At the fault duration, the grid topology is changed. In such a case the measurement matrix must be re-determined at the fault duration. The proposed approach is an efficient method for fault detection and identification which is based on residual analysis and topology …
