Computer Sciences Commons^™

Ceg 461/661-01: Object-Oriented Programming And Design, Thomas C. Hartrum

Computer Science & Engineering Syllabi

Study of object-oriented design and programming. Programming topics emphasize the core concepts of encapsulation, inheritance, polymorphism, and dynamic binding. Additional topics include class organization, software maintenance, and design of reusable components. There is a project to be implemented in a modem object-oriented language such as Java or C++.

Cs 790-01: Introduction To Parallel Algorithms, Natsuhiko Futamura

Computer Science & Engineering Syllabi

Low-cost parallel computers such as PC clusters are becoming available, and many previously unsolvable problems can be solved using such computers. However, designing algorithms that perform well on parallel computers is often challenging. The focus of this course is on learning how to design algorithms for parallel computers and how to evaluate them.

Ceg 416-01: Matrix Computations, Ronald F. Taylor

Computer Science & Engineering Syllabi

This course is a survey of numerical methods in linear algebra for application to problems in engineering and the sciences. Emphasis is on using modem software tools on high performance computing systems. This course covers the mathematics of linear equations, eigenvalue problems, singular value decomposition, and least squares. Material covered will be relevant to applications areas such as structural analysis, heat transfer, neural networks, mechanical vibrations, and image processing in biomedical engineering. A familiarity with MATLAB is useful, and the ability to program in languages such as CIC++ or Fortran is very important. A basic knowledge of matrix algebra is …

Cs 240-01: Computer Science I, L. Jane Lin

Computer Science & Engineering Syllabi

No abstract provided.

Resource-Constraint And Scalable Data Distribution Management For High Level Architecture, Pankaj Gupta

Electronic Theses and Dissertations

In this dissertation, we present an efficient algorithm, called P-Pruning algorithm, for data distribution management problem in High Level Architecture. High Level Architecture (HLA) presents a framework for modeling and simulation within the Department of Defense (DoD) and forms the basis of IEEE 1516 standard. The goal of this architecture is to interoperate multiple simulations and facilitate the reuse of simulation components. Data Distribution Management (DDM) is one of the six components in HLA that is responsible for limiting and controlling the data exchanged in a simulation and reducing the processing requirements of federates. DDM is also an important problem …

Developing Strand Space Based Models And Proving The Correctness Of The Ieee 802.11i Authentication Protocol With Restricted Sec, Zeeshan Furqan

Electronic Theses and Dissertations

The security objectives enforce the security policy, which defines what is to be protected in a network environment. The violation of these security objectives induces security threats. We introduce an explicit notion of security objectives for a security protocol. This notion should precede the formal verification process. In the absence of such a notion, the security protocol may be proven correct despite the fact that it is not equipped to defend against all potential threats. In order to establish the correctness of security objectives, we present a formal model that provides basis for the formal verification of security protocols. We …

Augmentation In Visual Reality (Avr), Yunjun Zhang

Electronic Theses and Dissertations

Human eyes, as the organs for sensing light and processing visual information, enable us to see the real world. Though invaluable, they give us no way to "edit" the received visual stream or to "switch" to a different channel. The invention of motion pictures and computer technologies in the last century enables us to add an extra layer of modifications between the real world and our eyes. There are two major approaches to modifications that we consider here, offline augmentation and online augmentation. The movie industry has pushed offline augmentation to an extreme level; audiences can experience visual surprises that …

Bluetooth-Base Worm Modeling And Simulation, Haiou Xiang

Electronic Theses and Dissertations

Bluetooth is one of the most popular technologies in the world in the new century. Meanwhile it attracts attackers to develop new worm and malicious code attacking Bluetooth wireless network. So far the growth of mobile malicious code is very fast and they have become a great potential threat to our society. In this thesis, we study Bluetooth worm in Mobile Wireless Network. Firstly we investigate the Bluetooth technology and several previously appeared Bluetooth worms, e.g. "Caribe","Comwar", and we find the infection cycle of a Bluetooth worm. Next, we develop a new simulator, Bluetooth Worm simulator (BTWS), which simulates Bluetooth …

Graph Theoretic Modeling: Case Studies In Redundant Arrays Of Independent Disks And Network Defense, Sanjeeb Nanda

Electronic Theses and Dissertations

Graph theoretic modeling has served as an invaluable tool for solving a variety of problems since its introduction in Euler's paper on the Bridges of Königsberg in 1736 . Two amongst them of contemporary interest are the modeling of Redundant Arrays of Inexpensive Disks (RAID), and the identification of network attacks. While the former is vital to the protection and uninterrupted availability of data, the latter is crucial to the integrity of systems comprising networks. Both are of practical importance due to the continuing growth of data and its demand at increasing numbers of geographically distributed locations through the use …

Extending Distributed Temporal Protocol Logic To A Proof Based Framework For Authentication Protocols, Shahabuddin Muhammad

Electronic Theses and Dissertations

Running critical applications, such as e-commerce, in a distributed environment requires assurance of the identities of the participants communicating with each other. Providing such assurance in a distributed environment is a difficult task. The goal of a security protocol is to overcome the vulnerabilities of a distributed environment by providing a secure way to disseminate critical information into the network. However, designing a security protocol is itself an error-prone process. In addition to employing an authentication protocol, one also needs to make sure that the protocol successfully achieves its authentication goals. The Distributed Temporal Protocol Logic (DTPL) provides a language …

Mac Layer And Routing Protocols For Wireless Ad Hoc Networks With Asymmetric Links And Performance Evaluation Studies, Guoqiang Wang

Electronic Theses and Dissertations

In a heterogeneous mobile ad hoc network (MANET), assorted devices with different computation and communication capabilities co-exist. In this thesis, we consider the case when the nodes of a MANET have various degrees of mobility and range, and the communication links are asymmetric. Many routing protocols for ad hoc networks routinely assume that all communication links are symmetric, if node A can hear node B and node B can also hear node A. Most current MAC layer protocols are unable to exploit the asymmetric links present in a network, thus leading to an inefficient overall bandwidth utilization, or, in the …

Multi-View Geometric Constraints For Human Action Recognition And Tracking, Alexei Gritai

Electronic Theses and Dissertations

Human actions are the essence of a human life and a natural product of the human mind. Analysis of human activities by a machine has attracted the attention of many researchers. This analysis is very important in a variety of domains including surveillance, video retrieval, human-computer interaction, athlete performance investigation, etc. This dissertation makes three major contributions to automatic analysis of human actions. First, we conjecture that the relationship between body joints of two actors in the same posture can be described by a 3D rigid transformation. This transformation simultaneously captures different poses and various sizes and proportions. As a …

A Critical Review On Electromagnetic Precursors And Earthquake Prediction, Levent Sevgi̇

Turkish Journal of Electrical Engineering and Computer Sciences

Seismo-electromagnetic precursory-based earthquake prediction studies are criticized in terms of their scientific content, problem complexity, signal excitation and propagation, causal relations with earthquakes, and public awareness and expectations. One aim is to trigger a new debate on this hot topic in the Electromagnetic Society.

A Variable Gain Pi Controller Used For Speed Control Of A Direct Torque Neuro Fuzzy Controlled Induction Machine Drive, A. Miloudi, Eid A. Al-Radadi, Azeddine Draou

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents an original variable gain PI (VGPI) controller for speed control of a direct torque neuro fuzzy controlled (DTNFC) induction motor drive. First, a VGPI speed controller is designed to replace the classical PI controller in a conventional direct torque controlled induction motor drive. Its simulated performances are then compared to those of a classical PI controller. Then, a direct torque neuro fuzzy control (DTNFC) for a voltage source PWM inverter fed induction motor drive is presented. This control scheme uses the stator flux amplitude and the electromagnetic torque errors through an adaptive NF inference system (ANFIS) to …

New Method For Investigation Of Dynamic Parameters Of Thermoelectric Modules, Raşi̇t Ahiska

Turkish Journal of Electrical Engineering and Computer Sciences

Precise calculation of parameters of thermoelectric modules and thermoelectric devices under operating conditions by present methods is very difficult. In this study, a new method is developed to calculate all parameters of thermoelectric modules. This new method makes it possible to determine the dynamic parameters of a real thermoelectric module operated under different working regimes. Measurement of thermoemf created by an operating module is the basis of this new method. An unloaded thermoelectric module, whose dynamic output parameters are necessary in the design of a medical helmet for the cooling of brain, has been investigated using this new method. A …

Data Mining And Costas Arrays, Konstantinos Drakakis

Turkish Journal of Electrical Engineering and Computer Sciences

Costas arrays are used in RADAR (and SONAR) engineering to represent frequency-hopping patterns that optimize the RADAR's performance. In this work, using all available Costas arrays up to and including order 26, as well as data mining techniques, we investigate how the Costas property and the balance of signs in the difference triangle of a permutation are related. Our conclusion is that there is sufficient evidence to believe that the mechanism responsible for the formation of Costas arrays changes from low to high orders.

Offline Signature Verification Using Graph Matching, Ibrahim S. I. Abuhaiba

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, we present a simple and effective signature verification method that depends only on the raw binary pixel intensities and avoids using complex sets of features. The method looks at the signature verification problem as a graph matching problem. The method is tested using genuine and forgery signatures produced by five subjects. An equal error rate of 26.7% and 5.6% was achieved for skilled and random forgeries, respectively. A positive property of our algorithm is that the false acceptance rate of random forgeries vanishes at the point of equal false rejection and skilled forgery false acceptance rates. Keeping …

Umts-Hsdpa In High Altitude Platforms (Haps) Communications, Bazil Taha Ahmed, Miguel Calvo Ramon, Leandro De Haro-Ariet

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, the performance of HAPs (High Altitudes Platforms) UMTS HSDPA (High Speed Downlink Packet Access) is studied for different HAPs height h, different cells radius R and two directions (0° and 30°) within the cell. The network under study is assumed to have 61 ground cells. It is noticed that, for urban zone users, the effective range is lower than the effective range for users in rural zones for a given modulation scheme. Also it is noticed that in rural zone, the HSDPA can support higher modulation schemes. It is noticed that, when 80% of the base station …

A Review Of Studies In Swarm Robotics, Levent Bayindir, Erol Şahi̇n

Turkish Journal of Electrical Engineering and Computer Sciences

Swarm robotics is a new approach to the coordination of large numbers of relatively simple robots. The approach takes its inspiration from the system-level functioning of social insects which demonstrate three desired characteristics for multi-robot systems: robustness, flexibility and scalability. In this paper we have presented a preliminary taxonomy for swarm robotics and classified existing studies into this taxonomy after investigating the existing surveys related to swarm robotics literature. Our parent taxonomic units are modeling, behavior design, communication, analytical studies and problems. We are classifying existing studies into these main axes. Since existing reviews do not have enough number of …

Aggregation, Foraging, And Formation Control Of Swarms With Non-Holonomic Agents Using Potential Functions And Sliding Mode Techniques, Veysel Gazi̇, Bariş Fi̇dan, Y. Si̇nan Hanay, İlter Köksal

Turkish Journal of Electrical Engineering and Computer Sciences

In this article we consider the aggregation, foraging, and formation control of swarms whose agents are moving in 2-dimensions with non-holonomic unicycle agent dynamics. We approach these problems using artificial potentials and sliding mode control. The main contribution is extension of the recent results (mainly for aggregation) in the literature based on a similar approach for simple integrator agent dynamics models to a significantly more realistic and more difficult setting with non-holonomic unicycle agent dynamics models. In particular, we design continuous-time control schemes via a constructive analysis based on artificial potential functions and sliding mode control techniques. The effectiveness of …

Using Angle Of Arrival (Bearing) Information For Localization In Robot Networks, Tolga Eren

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, we consider using angle of arrival information (bearing) for localization in robot networks. The essential property we require in this paper is that a node can infer heading information from its neighbors. We address the uniqueness of network localization solutions by the theory of globally rigid graphs. We show that while the parallel rigidity problem for formations with bearings is isomorphic to the distance case, the global rigidity of the formation is simpler (in fact identical to the simpler rigidity case) for a network with bearings, compared to formations with distances. We provide the conditions of localization …

Aggregation In Swarm Robotic Systems: Evolution And Probabilistic Control, Onur Soysal, Erki̇n Bahçeci̇, Erol Şahi̇n

Turkish Journal of Electrical Engineering and Computer Sciences

In this study we investigate two approachees for aggregation behavior in swarm robotics systems: Evolutionary methods and probabilistic control. In first part, aggregation behavior is chosen as a case, where performance and scalability of aggregation behaviors of perceptron controllers that are evolved for a simulated swarm robotic system are systematically studied with different parameter settings. Using a cluster of computers to run simulations in parallel, four experiments are conducted varying some of the parameters. Rules of thumb are derived, which can be of guidance to the use of evolutionary methods to generate other swarm robotic behaviors as well. In the …

Swarm Robot Systems Based On The Evolution Of Personality Traits, Sidney Nascimento Givigi Jr.

Turkish Journal of Electrical Engineering and Computer Sciences

Game theory may be very useful in modeling and analyzing swarms of robots. Using game theory in conjunction with traits of personalities, we achieve intelligent swarm robots. Traits of personality are characteristics of each robot that define the robots' behaviours. The environment is represented as a game and due to the evolution of the traits through a learning process, we show how the robots may react intelligently to changes in the environment. A proof of convergence for the proposed algorithm is offered. The process of selection of traits is discussed and the potential of the modeling is demonstrated in several …

Design And Implementation Of An Ad-Hoc Routing Protocol For Mobile Robots, Carlos Agüero, Jose M. Canas, Miguel Ortu˜No, Vicente Matellan

Turkish Journal of Electrical Engineering and Computer Sciences

Mobile robots need to be able to communicate among themselves, as well as with hosts participating in the task that they are all involved in. Wired networks are obviously not suitable for mobile robots. Current wireless networks based on a fixed infrastructure (GSM, WiFi, etc.) to route packets may not be suitable because this infrastructure does not cover every place and the requirements of its resources. The best choice for mobile robots are Ad-Hoc networks, which are wireless and do not need a fixed infrastructure. This article describes PERA, a complete communications library including link, net, and transport layers for …

Optimal Location For Shunt Connected Facts Devices In A Series Compensated Long Transmission Line, P.R. Sharma, Ashok Kumar, Narender Kumar

Turkish Journal of Electrical Engineering and Computer Sciences

Shunt FACTS devices are used for controlling transmission voltage, power flow, reducing reactive losses, and damping of power system oscillations for high power transfer levels. In this paper the optimal location of a shunt FACT device is investigated for an actual line model of a transmission line having series compensation at the center. Effect of change in degree of series compensation on the optimal location of the shunt FACTS device to get the highest possible benefit is studied. It is found that the optimal location of the shunt FACTS device varies with the change in the level of series compensation …

A New Relaying Algorithm To Detect Loss Of Excitation Of Synchronous Generators, Ömer Usta, M. H. Musa, M. Bayrak, M.A. Redfern

Turkish Journal of Electrical Engineering and Computer Sciences

A new digital relaying algorithm is introduced for the protection of synchronous generators against loss of excitation conditions. The new algorithm is based on measuring of the 3-phase reactive power output of the machines, and monitors the direction and magnitude of leading reactive power at the generator terminal. The protection algorithm is designed such that it can provide reliable protection against loss of field conditions and remains stable during recoverable power system swing conditions. While the new relay produces a trip signal for partial loss of field conditions causing the machine to lose its stability, it remains stable for the …

A Sensitive Ann Based Differential Relay For Transformer Protection With Security Against Ct Saturation And Tap Changer Operation, Hassan Khorashadi Zadeh, Zuyi Li

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents an artificial neural network (ANN) based scheme for fault identification in power transformer protection. The proposed scheme is featured by the application of ANN to identifying system patterns, the unique choice of harmonics of positive sequence differential currents as ANN inputs, the effective handling of current transformer (CT) saturation with an ANN based approach, and the consideration of tap changer position for correcting secondary CT current. Performance of the proposed scheme is studied for a wide variety of operating conditions using data generated from simulation. The results indicate that the proposed scheme provides a fast and sensitive …

Study Of The Warranty Cost Model For Software Reliability With An Imperfect Debugging Phenomenon, D.R. Prince Williams

Turkish Journal of Electrical Engineering and Computer Sciences

Software reliability is one of the most important characteristics of software quality. Its measurement and management technologies employed during the software life-cycle are essential for producing and maintaining quality/reliable software systems. Herein, we discuss a modified approach to calculating the delivery cost of a software product, when warranty is to be provided, with an imperfect debugging phenomenon. Unlike existing cost models, here the strategy was to consider maintenance support given to the customer with an imperfect debugging phenomenon. The optimal release time can be calculated for various reliability levels by minimizing the cost. The delivery cost, reliability of the software …

A Grounded Theory Approach To Identifying And Measuring Forensic Data Acquisition Tasks, Gregory H. Carlton

Journal of Digital Forensics, Security and Law

As a relatively new field of study, little empirical research has been conducted pertaining to computer forensics. This lack of empirical research contributes to problems for practitioners and academics alike.

For the community of practitioners, problems arise from the dilemma of applying scientific methods to legal matters based on anecdotal training methods, and the academic community is hampered by a lack of theory in this evolving field. A research study utilizing a multi-method approach to identify and measure tasks practitioners perform during forensic data acquisitions and lay a foundation for academic theory development was conducted in 2006 in conjunction with …

Information Governance: A Model For Security In Medical Practice, Patricia A. Williams

Journal of Digital Forensics, Security and Law

Information governance is becoming an important aspect of organisational accountability. In consideration that information is an integral asset of most organisations, the protection of this asset will increasingly rely on organisational capabilities in security. In the medical arena this information is primarily sensitive patient-based information. Previous research has shown that application of security measures is a low priority for primary care medical practice and that awareness of the risks are seriously underestimated. Consequently, information security governance will be a key issue for medical practice in the future. Information security governance is a relatively new term and there is little existing …