Computer Engineering Commons^™

Metadata And Buckets In The Smart Object, Dumb Archive (Soda) Model, Michael L. Nelson, Kurt Maly, Delwin R. Croom Jr., Steven W. Robbins

Computer Science Faculty Publications

We present the Smart Object, Dumb Archive (SODA) model for digital libraries (DLs), and discuss the role of metadata in SODA. The premise of the SODA model is to "push down" many of the functionalities generally associated with archives into the data objects themselves. Thus the data objects become "smarter", and the archives "dumber". In the SODA model, archives become primarily set managers, and the objects themselves negotiate and handle presentation, enforce terms and conditions, and perform data content management. Buckets are our implementation of smart objects, and da is our reference implementation for dumb archives. We also present our …

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.

A Book Management System Elibrary, Shanpeng Song

Theses Digitization Project

"eLibrary" is a book management software application that runs on Microsoft Windows platforms. The software incorporates a Windows Explorer like interface and XML/XSL to display book details. The purpose of this project is to build a full-featured, commerical-quality software package to help people manage their books (either printed or electronic). The goal is for eLibrary to be a complete solution for people who wish to build their own personal electronic library catalog.

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 …

Infrastructure For Performance Tuning Mpi Applications, Kathryn Marie Mohror

Dissertations and Theses

Clusters of workstations are becoming increasingly popular as a low-budget alternative for supercomputing power. In these systems,message-passing is often used to allow the separate nodes to act as a single computing machine. Programmers of such systems face a daunting challenge in understanding the performance bottlenecks of their applications. This is largely due to the vast amount of performance data that is collected, and the time and expertise necessary to use traditional parallel performance tools to analyze that data.

The goal of this project is to increase the level of performance tool support for message-passing application programmers on clusters of workstations. …

Using Web Services To Integrate Heterogeneous Simulations In A Grid Environment, J. Mark Pullen, Ryan Brunton, Don Brutzman, David Drake, Michael Hieb, Katherine L. Morse, Andreas Tolk

Computational Modeling & Simulation Engineering Faculty Publications

The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software across a wide variety of networked platforms. This approach supports a rapid integration cycle and shows promise for ultimately supporting automatic composability of services using discovery via registries. This paper presents a rationale for extending Web services to distributed simulation environments, including the High Level Architecture (HLA), together with a description and examples of the integration methodology used to develop significant prototype implementations. A logical next step is combining the power of Grid computing with Web services to facilitate rapid …

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 …

Real-Time Classification Algorithm For Recognition Of Machine Operating Modes By Use Of Self-Organizing Maps, Gancho Vachkov, Yuhiko Kiyota, Koji Komatsu, Satoshi Fujii

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper a new algorithm for classification and real-time recognition of different a-priorily assumed operating modes for construction machines is proposed. This algorithm utilizes the effectiveness of the Self-Organizing Maps (SOM) for creating the so called Separation Models, that are able to distinguish each operating mode separately. After training, these models are used in a real-time procedure, which calculates at each sampling time the minimal Euclidean distances from the current data point to a certain node of each SOM. Then the separation model (represented by a respective SOM) that has the least minimal distance to this data point defines …

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 …

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 …

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 …

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 …

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 …

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.

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- …

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 …

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

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 …

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, …

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

Extracting User Intent In Mixed Initiative Teleoperator Control, Andrew H. Fagg, Michael Rosenstein, Robert Platt Jr., Roderic Grupen

Roderic Grupen

User fatigue is common with robot teleoperation interfaces. Mixed initiative control approaches attempt to reduce this fatigue by allowing control responsibility to be shared between the user and an intelligent control system. A critical challenge is how the user can communicate her intentions to the control system in an intuitive manner as possible. In the context of control of a humanoid robot, we propose an interface that uses the movement currently commanded by the user to assess the intended outcome. Specifically, given the observation of the motion of the teleoperated robot for a given period of time, we would like …