Engineering Commons^™

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 …

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 …

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 …

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 …

Preface, Thomas Hildebrandt, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

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 …

Resource Harvesting Within The Oai-Pmh Framework, Herbert Van De Sompel, Michael L. Nelson, Carl Lagoze, Simeon Warner

Computer Science Faculty Publications

Motivated by preservation and resource discovery, we examine how digital resources, and not just metadata about resources, can be harvested using the Open Archives Initiative Protocol for Metadata Harvesting (OAI-PMH). We review and critique existing techniques for identifying and gathering digital resources using metadata harvested through the OAI-PMH. We introduce an alternative solution that builds on the introduction of complex object formats that provide a more accurate way to describe digital resources. We argue that the use of complex object formats as OAI-PMH metadata formats results in a reliable and attractive approach for incremental harvesting of resources using the OAI-PMH.

Development Of A Low Jitter Multiplying Delay Locked Loop, Ian Kennedy

Theses

The clock generator is a critical component in high-speed wireline communication systems. The clocks in these systems mark time at precise regular intervals. Any deviation of the clock edges from these ideal time points is called jitter and it degrades the overall integrity of the communication system. This thesis looks at both phase locked loops (PLLs) and delay locked loops (DLLs) and their ability to provide these precise clocks. Expressions for the thermal noise-induced jitter in both the PLL and DLL are compared. From this, the DLL is shown to possess the potential for better jitter performance. However, to realise …

A Sip Based Multimedia Messaging Service, Donna Griffin

Theses

The Session Initiation Protocol (SIP) is the protocol of choice for establishing multimedia sessions in Universal Mobile Telecommunications System (UMTS) networks as stated by 3GPP. SIP is a protocol that will merge together the cellular and Internet worlds and is also scalable, highly available and extensible. It enables mobile carriers to extend operations, administration, maintenance and provisioning (OAMP) in one application to all applications. In addition, while SIP permits presence. Instant Messaging, File Sharing etc., its ultimate value lies in seamlessly aggregating these applications in more powerful offerings, such as Multimedia Messaging, Push to Talk and Voice over IP.

Multimedia …

Performance Estimation Of A Sip Based Push-To-Talk Service For 3g Wireless Networks, Eoin O'Regan

Theses

Push To Talk (PTT) services have been in existence for several decades providing dispatch services via two-way radio such as walkie-talkies. For a number of years now PTT services have been available for use over mobile phone networks. These mobile PTT services have occupied a niche market with business users and have been provided on proprietary networks that do not enable roaming.

Over the past year there has been an explosion of interest in the concept of PTT provided over mobile networks using Internet Protocol (IP) technology. This service uses cellular access and radio resources more efficiently than circuit-switched cellular …

A Service-Based Architecture For Learning Management Systems Which Supports Personalisation And Collaboration, Markus Schmid

Theses

This work develops a service-based architecture for an extensible and customisable learning management system (LMS) runtime environment. The architecture mainly defines interfaces for the interaction of functional system components represented by loosely coupled distributed services. Services that represent functional components of the distributed LMS are called e-leaming services. In addition, underlying infrastructure services provide supportive functionality such as service-lookup within an institution. Users access the system using an LMS portal component that acts as a front-end for the LMS services.

While existing e-leaming environments provide a relatively good coverage of most of the functional requirements defined in this work, they …

Effect Of Stochastic Dead Space On Noise In Avalanche Photodiodes, Oh-Hyun Kwon, Majeed M. Hayat, Joe C. Campbell, Bahaa E.A. Saleh, Malvin Carl Teich

Electrical and Computer Engineering Faculty Research and Publications

A stochastic dead-space model for impact ionization is developed and used to study the effect of the soft nature of the ionization capability of carriers on the excess noise factor of avalanche photodiodes. The proposed model is based on the rationale that the gradual, or soft, transition in the probability density function (PDF) for the distance from birth to impact ionization can be viewed as that resulting from uncertainty in the dead space itself. The resulting soft PDF, which is parameterized by a tunable softness parameter, is used to establish the limitations of the existing hard-threshold ionization models in ultrathin …

Optimized Breakdown Probabilities In Al/Sub 0.6/Ga/Sub 0.4/As-Gaas Heterojunction Avalanche Photodiodes, Oh-Hyun Kwon, Majeed M. Hayat, Joe C. Campbell, Bahaa E.A. Saleh, Malvin Carl Teich

Electrical and Computer Engineering Faculty Research and Publications

Recently, it has been shown that the noise characteristics of heterojunction Al/sub 0.6/Ga/sub 0.4/As-GaAs avalanche photodiodes (APDs) can be optimized by proper selection of the width of the Al/sub 0.6/Ga/sub 0.4/As layer. Similar trends have also been shown theoretically for the bandwidth characteristics. The resulting noise reduction and potential bandwidth enhancement have been attributed to the fact that the high bandgap Al/sub 0.6/Ga/sub 0.4/As layer serves to energize the injected electrons, thereby minimizing their first dead space in the GaAs layer. We show theoretically that the same optimized structures yield optimal breakdown-probability characteristics when the APD is operated in Geiger …

Pperfgrid: A Grid Services-Based Tool For The Exchange Of Heterogeneous Parallel Performance Data, John Jared Hoffman

Dissertations and Theses

This thesis details the approach taken in developing PPerfGrid. Section 2 discusses other research related to this project. Section 3 provides general background on the technologies utilized in PPerfGrid, focusing on the components that make up the Grid services architecture. Section 4 provides a description of the architecture of PPerfGrid. Section 5 details the implementation of PPerfGrid. Section 6 presents tests designed to measure the overhead and scalability of the PPerfGrid application. Section 7 suggests future work, and Section 8 concludes the thesis.

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

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 …

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 …

Spatiotemporal Databases: Models For Attracting Students To Research, Ágnes Bércesné Novák, Peter Revesz, Zsolt Tuza

School of Computing: Conference and Workshop Papers

In higher education professors often make much effort to introduce their students to research. Unfortunately, the present standard database systems curriculum is composed of well-settled subjects that do not lead to research. The challenge is to bring the research frontier closer to students at beginner level. In this paper we describe how it can be done in the area of spatiotemporal databases. We propose a new database systems curriculum and illustrate its benefits by mentioning several highly succsesful student projects in some recent experimental introductory database systems courses that followed the new curriculum.

An Iterative Beam Search Algorithm For Degenerate Primer Selection, Richard Souvenir

All Computer Science and Engineering Research

Single Nucleotide Polymorphism (SNP) Genotyping is an important molecular genetics process in the early stages of producing results that will be useful in the medical field. Due to inherent complexities in DNA manipulation and analysis, many different methods have been proposed for a standard assay. One of the proposed techniques for performing SNP Genotyping requires amplifying regions of DNA surrounding a large number of SNP loci. In order to automate a portion of this particular method, it is necessary to select a set of primers for the experiment. Selecting these primers can be formulated as the Multiple Degenerate Primer Design …

Resource Configuration And Network Design In Extensible Networks, Sumi Y. Choi

All Computer Science and Engineering Research

The goal of packet-switched networks has conventionally been delivering data to users. This concept is changing rapidly as current technologies make it possible to build network processing engines that apply intermediary services to data traffic. This trend introduces an extensive range of ways to develop and operate applications by allowing processing services customized for applications' needs at intermediate network users, as it can relieve individuals from the need to acquire, install, and maintain software in end systems to perform required functions. As such network services become more widely used, it will become increasingly important for service providers to have effective …

Efficient Customizable Middleware, Ravi Pratap Maddimsetty

All Computer Science and Engineering Research

The rather large feature set of current Distributed Object Computing (DOC) middleware can be a liability for certain applications which have a need for only a certain subset of these features but have to suffer performance degradation and code bloat due to all the present features. To address this concern, a unique approach to building fully customizable middleware was undertaken in FACET, a CORBA event channel written using AspectJ. FACET consists of a small, essential core that represents the basic structure and functionality of an event channel into which additional features are woven using aspects so that the resulting event …