Digital Commons Network^™

Orthogonal Spreading Sequences Constructed Using Hall’S Difference Set, Jennifer Seberry, Le Chung Tran, Yejing Wang, Beata J. Wysocki, Tadeusz Wysocki, Ying Zhao

Department of Electrical and Computer Engineering: Faculty Publications (to 2015)

In the paper we propose a new set of orthogonal spreading sequences based on the Hadamard matrix of order 32 constructed using the Hall difference set. The proposed sequences are characterised by low peaks in the aperiodic cross-correlation functions and have also good aperiodic auto-correlation properties.

A Predictive Sensor Network Using Ant System, Rajani Muraleedharan, Lisa Ann Osadciw

Electrical Engineering and Computer Science - All Scholarship

The need for a robust predictive sensor communication network inspired this research. There are many critical issues in a communication network with different data rate requirements, limited power and bandwidth. Energy consumption is one of the key issues in a sensor network as energy dissipation occurs during routing, communication and monitoring of the environment. This paper covers the routing of a sensor communication network by applying an evolutionary algorithm- the ant system. The issues considered include optimal energy, data fusion from different sensor types and predicting changes in environment with respect to time.

A Mobile Robotic Computing Platform For Three-Dimensional Indoor Mappi, Kenneth Mccoig

Electronic Theses and Dissertations

There are several industries exploring solutions to quickly and accurately digitize unexplored indoor environments, into useable three-dimensional databases. Unfortunately, there are inherent challenges to the indoor mapping process such as, scanning limitations and environment complexity, which require a specific application of tools to map an environment precisely with low cost and high speed. This thesis successfully demonstrates the design and implementation of a low cost mobile robotic computing platform with laser scanner, for quickly mapping with high resolution, urban and/or indoor environments using a gyro-enhanced orientation sensor and selectable levels of detail. In addition, a low cost alternative solution to …

Preface, Thomas Hildebrandt, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

The Frequency Distribution Of Quantization Error In Digitizers For Coherent Sampling, Sol Neeman Ph.D.

Engineering Studies Faculty Publications and Creative Works

In this paper the frequency distribution of quantization error in coherent sampling of digitizers will be investigated. As the distribution of the quantization error affects the values of THD and SNR, it is relevant for a correct interpretation of THD and SNR of sine waves in coherent sampling. The distribution of the quantization error will be analyzed as a function of N, total number of samples and M, number of cycles in the sample set and it will be proved that for certain cases, the quantization error falls on odd harmonics only of the frequency of the sampled sine wave.

Creating A Video Device Application, Kevin Septor

Honors Theses

A video device, such as a webcam, has the capability to be used in many ways, including recording video and behaving like a security camera. A TV tuner card can also record video, and in addition be used for watching television. However, the video hardware and device driver the operating system uses to access it are only capable of delivering raw frames of video. A user space application is necessary for exploiting the capabilities of such a device beyond reading sequential frames of video. This research explores the desiderata in a powerful video device application, and introduces a program that …

A Fast And Simple Algorithm For Computing M-Shortest Paths In State Graph, M. Sherwood, Laxmi P. Gewali, Henry Selvaraj, Venkatesan Muthukumar

Electrical & Computer Engineering Faculty Research

We consider the problem of computing m shortest paths between a source node s and a target node t in a stage graph. Polynomial time algorithms known to solve this problem use complicated data structures. This paper proposes a very simple algorithm for computing all m shortest paths in a stage graph efficiently. The proposed algorithm does not use any complicated data structure and can be implemented in a straightforward way by using only array data structure. This problem appears as a sub-problem for planning risk reduced multiple k-legged trajectories for aerial vehicles.

Design And Evaluation Of Processes For Fuel Fabrication, Georg F. Mauer

Fuels Campaign (TRP)

The goal of this research project is to provide technical support to process designers working on the development of the fuel cycles for transmutation applications. Detailed process models are developed to better define the impact of fuel choice on the transmuter fuel cycle, including relative process losses, waste generation, and plant capital cost. These process models provide insight regarding required plant size and number of plants needed to mesh with the fuel recycling line. They also determine requirements for automation.

Manufacturing models for large-scale production in a hot cell environment are also developed. Combined, these two models allow the assessment …

Neural Analysis Of Top Shielded Multilayered Coplanar Waveguides, Mustafa Türkmen, Celal Yildiz, Şeref Sağiroğlu

Turkish Journal of Electrical Engineering and Computer Sciences

Artificial neural networks (ANNs) have been promising tools for many applications. In recent years, a computer-aided design approach based on (ANNs) has been introduced to microwave modelling, simulation and optimization. In this work, the characteristic parameters of top shielded multilayered coplanar waveguides (CPWs) have been determined with the use of ANN models. These neural models were trained with Levenberg-Marquardt, resilient propagation, Bayesian regulation, quasi-Newton, and backpropagation learning algorithms. Better performance and learning speed with a simpler structure were achieved from these models. The results have shown that the estimated characteristic parameters are in very good agreement with the computed results …

Mining Classification Rules By Using Genetic Algorithms With Non-Random Initial Population And Uniform Operator, Korkut Koray Gündoğan, Bi̇lal Alataş, Ali̇ Karci

Turkish Journal of Electrical Engineering and Computer Sciences

Classification is a supervised learning method that induces a classification model from a database and is one of the most commonly applied data mining task. The frequently employed techniques are decision tree or neural network-based classification algorithms. This work presents an efficient genetic algorithm (GA) for classification rule mining technique that discovers comprehensible IF-THEN rules using a generalized uniform population method and a uniform operator inspired from the uniform population method. Initial population is generated by methodically eliminating the randomness by generalized uniform population method. In the subsequence generations, genetic diversity is ensured and premature convergence is prevented by the …

A Simple And Global Optimization Algorithm For Engineering Problems: Differential Evolution Algorithm, Dervi̇ş Karaboğa, Selçuk Ökdem

Turkish Journal of Electrical Engineering and Computer Sciences

Differential Evolution (DE) algorithm is a new heuristic approach mainly having three advantages; finding the true global minimum regardless of the initial parameter values, fast convergence, and using few control parameters. DE algorithm is a population based algorithm like genetic algorithms using similar operators; crossover, mutation and selection. In this work, we have compared the performance of DE algorithm to that of some other well known versions of genetic algorithms: PGA, Grefensstette, Eshelman. In simulation studies, De Jong's test functions have been used. From the simulation results, it was observed that the convergence speed of DE is significantly better than …

The 7 C'S For Creating Living Software: A Research Perspective For Quality-Oriented Software Engineering, Mehmet Akşi̇t

Turkish Journal of Electrical Engineering and Computer Sciences

This article proposes the 7 C's for realizing quality-oriented software engineering practices. All the desired qualities of this approach are expressed in short by the term living software. The 7 C's are: Concern-oriented processes, Canonical models, Composable models, Certifiable models, Constructible models, Closure property of models and Controllable models. Each C is explained by the help of a set of definitions, a short overview of the background work and the problems that software engineers may experience in realizing the corresponding C. Further, throughout the article, a software development example is presented for illustrating the realization of the 7 C's. Finally, …

A Platform For Software Engineering Course Projects, Bi̇rol Aygün

Turkish Journal of Electrical Engineering and Computer Sciences

The importance of projects in software engineering courses is well known. Both synthetic and real-life projects have various advantages and disadvantages. Our aim was to create a framework where students can develop projects which reflect some of the complexities of real-life, involving many concurrent, interacting, asynchronous processes, each in a different stage of development, with wide temporal differences among them - some occurring within millisconds of each other and others executing sporadically over much longer periods. In this project, which was carried out in different arrangements in several software engineering courses in three universities, the students developed both the sub- …

A Pattern Based Approach To Web Design Formalization, Ahmet Sikici, Yasemi̇n Topaloğlu

Turkish Journal of Electrical Engineering and Computer Sciences

World Wide Web is a global information network that affects many fields of our lives. The distributed, interlinked, visual and heterogeneous structure of the web makes it an irregular development environment. In this paper we propose a pattern based approach for increasing the effectiveness of development for the Web environment. This approach is based on the representation of the core meaning of each design as a set of patterns and requires the formulation of abstract solutions in a mathematical precision. This way not only reusable design experience will be codified unambiguously, but a smooth transition between the design and implementation …

An Agile Information Systems Development Method In Use, Mehmet Nafi̇z Aydin, Frank Harmsen, Kees Van Slooten, Robert Stegwee

Turkish Journal of Electrical Engineering and Computer Sciences

Recently, agile information systems development methods, agile methods in short, have got considerable attention from practitioners. One of the reasons seems that agile methods, to some degree, can be adaptable to different project situations. However, little empirical research has been conducted on this subject. The major goal of this research is to identify which aspects of agile methods are perceived as most critical and difficult to realize and how such aspects are adapted in practice. To reach this goal we studied the working practices concerning the adaptation of an agile method in the IT department of one of the leading …

A Robustness Analysis Of Game-Theoretic Cdma Power Control, Xingzhe Fan, Murat Arcak, John T. Wen

Turkish Journal of Electrical Engineering and Computer Sciences

This paper studies robustness of a gradient-type CDMA uplink power control algorithm with respect to disturbances and time-delays. This problem is of practical importance because unmodeled secondary interference effects from neighboring cells play the role of disturbances, and propagation delays are ubiquitous in wireless data networks. We first show L_p-stability, for p \in [1,\infity], with respect to additive disturbances. We pursue L_{\infity}-stability within the input-to-state stability (ISS) framework of Sontag [7], which makes explicit the vanishing effect of the initial conditions. Next, using the ISS property and a loop transformation, we prove that global asymptotic stability is preserved for sufficiently …

Global Stability Analysis Of An End-To-End Congestion Control Scheme For General Topology Networks With Delay, Tansu Alpcan, Tamer Başar

Turkish Journal of Electrical Engineering and Computer Sciences

We analyze the stability properties of an end-to-end congestion control scheme under fixed heterogeneous delays, and for general network topologies. The scheme analyzed is based on the congestion control game of [1], with the starting point being the unique Nash equilibrium of that game. We prove global stability of this solution (and hence of the congestion control algorithm) under a mild symmetricity condition. We further demonstrate the stability of the algorithm numerically for various delays, user numbers, and topologies

Flow Controller Design And Performance Analysis For Self-Similar Network Traffic, Peng Yan

Turkish Journal of Electrical Engineering and Computer Sciences

Recent studies of high-resolution traffic measurement discovered the self-similarity in both LAN and WAN traffic. In this paper, we introduce a two-degree of freedom rate based flow controller, which includes a robust H^{\infity} control block and an LMMSE based capacity predictor. The former part can guarantee the robust stability against time-varying time delay uncertainties and the latter improves the transient response by predicting the self-similar cross-traffic. Implementation issues are discussed and performance analysis is provided to validate our design. We also investigate the prediction and control in larger time scale which is more applicable for the real network environment

Optimum And Suboptimum Blind Channel And Symbol Estimation For Siso Channels, T. Engi̇n Tuncer

Turkish Journal of Electrical Engineering and Computer Sciences

We present three methods for blind channel and symbol identification from a single or multi-block observation. These methods are deterministic approaches suitable for the identification of quickly changing wireless channels. The first method uses the finite alphabet property and it has good performance even for noisy observations. It requires only a single data frame, which is a unique feature of the method. This method can also be used to identify the channel order. For multi-block observations, we present the maximal ratio combining cross relation (MRCCR) method. It is an optimum approach in terms of instantaneous SNR and is based on …

Graduate Certificate In Information Security 2004, Nova Southeastern University

College of Engineering and Computing Course Catalogs

No abstract provided.

Attack-Resistant Location Estimation In Wireless Sensor Networks, Dongdang Liu, Peng Ning, An Liu, Cliff Wang, Wenliang Kevin Du

Electrical Engineering and Computer Science - All Scholarship

Many sensor network applications require sensors’ locations to function correctly. Despite the recent advances, location discovery for sensor networks in hostile environments has been mostly overlooked. Most of the existing localization protocols for sensor networks are vulnerable in hostile environments. The security of location discovery can certainly be enhanced by authentication. However, the possible node compromises and the fact that location determination uses certain physical features (e.g., received signal strength) of radio signals make authentication not as effective as in traditional security applications. This paper presents two methods to tolerate malicious attacks against range-based location discovery in sensor networks. The …

Making Svg A Web Service In A Message-Based Mvc Architecture, Xiaohong Qiu, Shrideep Pallickara, Ahmet Uyar

Electrical Engineering and Computer Science - All Scholarship

We reformulate Scalable Vector Graphics browser in a Web Service architecture separating the rendering from the W3C DOM processing of events. We describe this in a message-based Model-View-Controller (M-MVC) architecture and implement it with a powerful publish-subscribe messaging infrastructure. A Web Services oriented architecture with services loosely coupled by the exchange of messages is becoming an increasingly important feature in the deployment of Internet applications. The broad applicability of this approach includes enterprise software, e-Learning, e-Science and e-Business. Our work provides a general framework for integrating Desktop and Web Service applications. We summarize the performance results from detailed tests of …

Cs 302-01: Client Server Databases, Karen Meyer

Computer Science & Engineering Syllabi

No abstract provided.

Cs/Mth 317/517: Numerical Methods For Digital Computers - Ii, Ronald F. Taylor

Computer Science & Engineering Syllabi

Continuation of CS/MTH/316/516. Introduction to numerical methods used in the sciences. Methods for solving matrix eigenvalue problems, initial value and boundary value problem for ordinary differential equations (ODEs). Study of standard types of partial differential equations (PDEs) with applications. Solution techniques for systems of nonlinear equations. Discussion of sources of errors in numerical methods. Special topics and applications presented as schedule permits. 4 credit hours. Prerequisites: CS 316, MTH 233, 253, or 355. Programming course prerequisites: EGR 153 or CEG 220 or CS 241.

An Information System For Streamlining Software Development Process, Serkan Nalbant

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper an information system to be employed by software development organizations is proposed, which automates software development process. The proposed system aims to lower cost, improve schedule performance and enhance quality of the software projects by the means of automation and unifying of operational information. The characteristics of the proposed system are described. Furthermore, its use is illustrated via the explanation of an exemplary software system called PACE that serves as an information system for planning, controlling, measuring and improving software development process and projects. The relationship of PACE with Software Capability Maturity Model (CMM) is also provided.

Algebraic Semantics For Coalgebraic Logics, Clemens Kupke, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and expressiveness of coalgebraic logics from the perspective of duality theory. That is, given a logic L for coalgebras of an endofunctor T, we construct an endofunctor L such that L-algebras provide a sound and complete (algebraic) semantics of the logic. We show that if L is dual to T, then soundness and completeness of the algebraic semantics immediately yield the …

Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

In this paper we construct a setting in which the question of when a logic supports a classical modal expansion can be made precise. Given a fully selfextensional logic S, we find sufficient conditions under which the Vietoris endofunctor V on S-referential algebras can be defined and we propose to define the modal expansions of S as the logic that arises from the V-coalgebras. As an example, we also show how the Vietoris endofunctor on referential algebras extends the Vietoris endofunctor on Stone spaces. From another point of view, we examine when a category of ‘spaces’ (X,A), ie sets X …

Data Transmission Scheduling For Distributed Simulation Using Packet A, Juan Vargas-Morales

Electronic Theses and Dissertations

Communication bandwidth and latency reduction techniques are developed for Distributed Interactive Simulation (DIS) protocols. Using logs from vignettes simulated by the OneSAF Testbed Baseline (OTB), a discrete event simulator based on the OMNeT++ modeling environment is developed to analyze the Protocol Data Unit (PDU) traffic over a wireless flying Local Area Network (LAN). Alternative PDU bundling and compression techniques are studied under various metrics including slack time, travel time, queue length, and collision rate. Based on these results, Packet Alloying, a technique for the optimized bundling of packets, is proposed and evaluated. Packet Alloying becomes more active when it is …

A New Look At The Multiclass Network Equilibrium Problem, Patrice Marcotte, Laura Wynter

Research Collection School Of Computing and Information Systems

The multiclass network equilibrium problem is expressed in general as a nonmonotone, asymmetric, variational inequality problem. We show that in spite of the nonmonotonicity of the cost operator, the problem may actually satisfy a weaker property, induced by the hierarchical nature of the travel cost interactions. This property allows a natural decomposition approach, not otherwise available, that admits provably convergent algorithms. We present one such algorithm, easily implementable using a solver for the single-class network equilibrium problem, together with a convergence proof.

An Implicit Surface Modeling Technique Based On A Modular Neural Network Architecture, Manuel Carcenac

Turkish Journal of Electrical Engineering and Computer Sciences

Independently from artificial intelligence applications, an artificial neural network can be viewed as a powerful tool for function reconstruction. Previous papers used this property to model an implicit surface out of some control points by reconstructing its underlying scalar field. Such an approach requests the neural network to memorize the control points, which has turned problematic for complex surfaces. In our paper, we show that this problem can be efficiently tackled by adapting the architecture of the neural network to the features compounding the surface: by learning first these features independently and then blending them gradually together, our modular architecture …