Engineering Commons^™

Light Aircraft Management System, Evan Karjalainen

Theses : Honours

This report details methods to construct a flight data logging system that can be used to manage student flight and aircraft maintenance records. These methods utilise GPS, embedded processors and associated software to depict the occurrence of landings, "Touch and Goes" and record aircraft total flight time. By manipulating these methods it was possible to produce a usable data-logging unit which facilitated the automation of flight maneuver recording. This datatogging unit was constructed from embedded components and interfaced with a user defined database. Perusal of the details within should provide the reader with a clear understanding of the tasks involved …

Search For Charged Higgs Bosons In E+E- Collisions At √S = 181-184 Gev, Barate, R.; Et Al., M. Thulasidas

Research Collection School Of Computing and Information Systems

No abstract provided.

Multiple Stochastic Learning Automata For Vehicle Path Control In An Automated Highway System, Cem Unsal, Pushkin Kachroo, John S. Bay

Electrical & Computer Engineering Faculty Research

This paper suggests an intelligent controller for an automated vehicle planning its own trajectory based on sensor and communication data. The intelligent controller is designed using the learning stochastic automata theory. Using the data received from on-board sensors, two automata (one for lateral actions, one for longitudinal actions) can learn the best possible action to avoid collisions. The system has the advantage of being able to work in unmodeled stochastic environments, unlike adaptive control methods or expert systems. Simulations for simultaneous lateral and longitudinal control of a vehicle provide encouraging results

Exclusive Disjunctions In Indefinite And Maybe Information In Relational Databases, Taflan İ. Gündem

Turkish Journal of Electrical Engineering and Computer Sciences

Incorporating indefinite information into databases has been studied extensively. In this paper, we propose a structure called an E-table to represent maybe information and inclusive and exclusive disjunctions. We define the type of redundancies in E-tables and show how to eliminate them. Also we present an extended relational algebra to operate on E-tables. In this paper we expand the concepts and operations defined by Lin and Sunderraman [1] in order to accommodate exclusive disjunctions in relational databases.

Nonlinear Constrained Optimizer And Parallel Processing For Golden Block Line Search, Duc T. Nguyen, Wilson H. Tang, Yeou K. Tung, Hakizumwami B. Runesha

Civil & Environmental Engineering Faculty Publications

Generalized exponential penalty functions are constructed for the multiplier methods in solving nonlinear programming problems. The non-smooth extreme constraint Gext is replaced by a single smooth constraint Gs by using the generalized exponential function (base a>1). The well-known K.S. function is found to be a special case of our proposed formulation. Parallel processing for Golden block line search algorithm is then summarized, which can also be integrated into our formulation. Both small and large-scale nonlinear programming problems (up to 2000 variables and 2000 nonlinear constraints) have been solved to validate the proposed algorithms.

(Ω, Ξ)-Logic: On The Algebraic Extension Of Coalgebraic Specifications, Rolf Hennicker, Alexander Kurz

Engineering Faculty Articles and Research

We present an extension of standard coalgebraic specification techniques for statebased systems which allows us to integrate constants and n-ary operations in a smooth way and, moreover, leads to a simplification of the coalgebraic structure of the models of a specification. The framework of (Ω,Ξ)-logic can be considered as the result of a translation of concepts of observational logic (cf. [9]) into the coalgebraic world. As a particular outcome we obtain the notion of an (Ω, Ξ)- structure and a sound and complete proof system for (first-order) observational properties of specifications.

Compute As Fast As The Engineers Can Think! Utrafast Computing Team Final Report, Robert T. Biedron, P. Mehrotra, Michael L. Nelson, M. L. Preston, J. J. Rehder, J. L. Rogersm, D. H. Rudy, J. Sobieski, O. O. Storaasli

Computer Science Faculty Publications

This report documents findings and recommendations by the Ultrafast Computing Team (UCT). In the period 10-12/98, UCT reviewed design case scenarios for a supersonic transport and a reusable launch vehicle to derive computing requirements necessary for support of a design process with efficiency so radically improved that human thought rather than the computer paces the process. Assessment of the present computing capability against the above requirements indicated a need for further improvement in computing speed by several orders of magnitude to reduce time to solution from tens of hours to seconds in major applications. Evaluation of the trends in computer …

Developing Database Applications By Using Software Components, Nusret Conk

College of Graduate Studies: Theses & Dissertations (1964–2006)

Today, the software application development process is more assembly work than a "build from scratch" approach. By placing pre-existing software components together, it is possible to create a complete application. Such components provide interfaces so that programs use them for their intended purposes. The objective of this thesis is to illustrate how software components work together to make a complete application. To illustrate the ideas and the components, this project presents a three-tiered web database application. This application, as a whole, is made up of the client side web browser, a database and the actual application programs which are Java …

Revenue Equivalence Of Leveled Commitment Contracts, Tuomas Sandholm, Yunhong Zhou

All Computer Science and Engineering Research

In automated negotiation systems consisting of self-interested agents, contracts have traditionally been binding. Leveled commitment contracts - i.e. contracts where each party can decommit by paying a predetermined penalty - were recently shown to improve expected social welfare even if agents decommit insincerely in Nash equilibrium. Such contracts differ based on whether agents have to declare their decommitting decisions sequentially or simultaneously, and whether or not agents have to pay the penalties if both decommit. For a given contract, these protocols lead to different decommitting thresholds and probabilities. However, this paper shows that, surprisingly, each protocol leads to the same …

Bargaining With Deadlines, Tuomas Sandholm, Nir Vulkan

All Computer Science and Engineering Research

This paper analyzes automated distributive negotiation where agents have firm deadlines that are private information. The agents are allowed to make and accept offers in any order in continuous time. We show that the only sequential equilibrum outcome is the one where the agents wait until the first deadline, at which point that agent concedes everything to the other. This holds for pure and mixed strategies. So, interestingly, rational agents can never agree to a nontrivial split because offers signal enough weakness of bargaining power (early deadline) so that the recipient should never accept. Similarly, the offerer knows that it …

Pattern Matching Techniques And Their Applications To Computational Molecular Biology - A Review, Eric C. Rouchka

All Computer Science and Engineering Research

Pattern matching techniques have been useful in solving many problems associated with computer science, including data compression (Chrochemore and Lecroq, 1996), data encryption (RSA Laboratories, 1993), and computer vision (Grimson and Huttenlocher, 1990). In recent years, developments in molecular biology have led to large scale sequencing of genomic DNA. Since this data is being produced in such rapid fasion, tools to analyze DNA segments are desired. The goal here is to discuss various techniques and tools for solving various pattern matching questions in computational biology, including optimal sequence alignment, multiple sequence alignment, and buidling models to describe sequence families using …

The Design And Performance Of A Pluggable Protocols Framework For Object Request Broker Middleware, Fred Kuhns, Carlos O'Ryan, Douglas C. Schmidt, Jeff Parsons

All Computer Science and Engineering Research

To be an effective platform for performance-sensitive real-time and embedded applications, off-the-shelf OO middleware like CORBA, DCOM, and Java RMI must preserve communication-layer quality of service (QoS) properties to applications end-to-end. However, conventional OO middleware interoperability protocols, such as CORBA's GIOP/IIOP or DCOM's MS-RPC, are not well suited for applications that cannot tolerate the message footprint size, latency, and jitter associated with general-purpose messaging and transport protocols. It is essential, therefore, to develop standard plugable protocols frameworks that allow custom messaging and transport protocols to be configured flexibly and used transparently by applications. This paper provides three contributions to research …

A Rapid Development Of Dependable Applications In Ad Hoc Mobility, Amy L. Murphy

All Computer Science and Engineering Research

Advances in wireless communication and network computing technologies make possible new kinds of applications involving transient interactions among physical components that move across a wide range of spaces, from the confines of a room to the airspace across an ocean, and require no fixed networking infrastructure to communicate with one another. Such components may come together to form ad hoc networks for the purpose of exchanging information or in order to engage in cooperative task-oriented behaviors. Ad hoc networks are assembled, reshaped and taken apart as components move in and out of communication range; all interactions are transient; computations become …

Optimal Flow Aggregation, Subhash Suri, Tuomas Sandholm, Priyank Warkhede

All Computer Science and Engineering Research

Current IP routers are stateless: they forward individual packets based on the destination address contained in the packet header, but maintain no information about the application or flow to which a packet belongs. This stateless service model works well for best effort datagram delivery, but is grossly inadequate for applications that require quality of service guarantees, such as audio, video, or IP telephony. Maintaining state for each flow is expensive because the number of concurrent flows at a router can be in the hundreds of thousands. Thus, stateful solutions such as Intserv (integrated services) have not been adopted for their …

Commbench - A Telecommunications Benchmark For Network Processors, Tilman Wolf, Mark Franklin

All Computer Science and Engineering Research

This paper presents a benchmark, CommBench, for use in evaluating and designing telecommunications network processors. The benchmark applications focus on small, computationally intense program kernels typical of the network processor environment. The benchmark is composed of eight programs, four of them oriented towards packet header processing and four oriented towards data stream procesing. The benchmark is defined and various characteristics of the benchmark are presented. These include instruction frequencies, computational complexity, and cache performance. These measured characteristics are compared to the SPEC benchmark which has traditionally been used in evaluating workstation processors. Three examples are presented indicating how CommBench can …

Tracking Mobile Units For Dependable Message Delivery, Amy L. Murphy, Gruia-Catalin Roman, George Varghese

All Computer Science and Engineering Research

As computing components get smaller and people become accustomed to having computational power at their disposal at any time, mobile computing is developing as an important research area. One of the fundamental problems in mobility is maintaining connectivity through message passing as the user moves through the network. An approach to this is to have a single home node constantly track the current location of the mobile unit and forward messages to this location. One problem with this approach is that during the update to the home agent after movement, messages are often dropped, especially in the case of frequent …

Mössbauer Effect Determination Of Relative Recoilless Fractions For Iron Oxides, Sei J. Oh, Desmond C. Cook

Physics Faculty Publications

The relative recoilless fraction (F-value) of each of six iron oxides, defined as the ratio of the recoil-free fractions of two different materials, was experimentally determined relative to hematite at 300 K and 77 K by Mössbauer spectroscopy. Using the relative recoil-free fractions compared to that of hematite, the relative recoilless fractions between all pairs of the seven iron oxides were determined. The F-values can allow conversion of Mössbauer subspectral areas to the relative atomic, molecular, or weight fractions of each iron oxide present in a mixed oxide phase sample.

Efficient Dynamic Unstructured Methods And Applications For Transonic Flows And Hypersonic Stage Separation, Xiaobing Luo

Mechanical & Aerospace Engineering Theses & Dissertations

Relative-moving boundary problems have a wide variety of applications. They appear in staging during a launch process, store separation from a military aircraft, rotor-stator interaction in turbomachinery, and dynamic aeroelasticity.

The dynamic unstructured technology (DUT) is potentially a strong approach to simulate unsteady flows around relative-moving bodies, by solving time-dependent governing equations. The dual-time stepping scheme is implemented to improve its efficiency while not compromising the accuracy of solutions. The validation of the implicit scheme is performed on a pitching NACA0012 airfoil and a rectangular wing with low reduced frequencies in transonic flows. All the matured accelerating techniques, including the …

Turbulent Burning Model For Premixed Gaseous Mixtures, E Mushi

Tanzania Journal of Engineering and Technology (TJET)

A turbulent burning model for premixed gaseous mixtures has been successfully developed. The model assumes instant burning of vortex Tubes of the order of Kolmogorov scale followed by burning of larger eddies of the order of Taylor micro scale. These eddies burn ar a rate dependent On the stretch rate. The influence of turbulence on the burning rate is introduced in the form of probability density function which gives the probability that a given mixture under turbulence will undergo burning rather than being quenched. The model has been validated againsi experiments involving turbulent explosions in a fan stirred bomb. Model …

Estimating The Usle - Soil Erodibility Factor In Developing Tropical Countries:A Case Study In Tanzania, Metthew Mulengeral

Tanzania Journal of Engineering and Technology (TJET)

Developing countries in the tropics are facing more soil erosion problems than the developed temperate countries. These developing countries have no accurate locally applicable equation(s) for predicting soil erosion or for planning and implementation of soil conservation measures. Furthermore, These countries do not have the necessary resources to develop the soil loss prediction equation(s). Existing empirical equations like the Universal Soil Loss Equation (USLE) if modified to suit tropical conditions can be useful a tool in soil erosion control in the region for a foreseeable future. In this paper equations'for estimating the soil erodibility factor in the USLE for tropical …

Extracting Consistent Weight Ratio Matrices From Inconsistent Judgement Matrices., Christian Alphonce

Tanzania Journal of Engineering and Technology (TJET)

The Analy,'ic Hierarchy Process (AHP) developed by Saaty Inore (han a decade ago has been widely applied in diverse decision making problenls ranging from socio-economic planning to engineering designs. One of the basic steps of this popular decision support tool is concerned with estimating a ratio scale of a set of entities from their inconsistent pairwise comparison judgement matrix. A number of estimation procedures for this purpose have been proposed. These include Saaty's eigenvector meihod, various geometric means methods, and methods using logarithmic least squares, least squares. and means Transformanons, amongst O,'hers. One Thing conunon to all these Inethods is …

A Comparison Of Three Numerical Methods Of Solutions Of Equations Describing Unsteady Gas Flow At Pipe Boundaries In Reciprocating Compressor Systems, M Mkumbwa

Tanzania Journal of Engineering and Technology (TJET)

A number of finite difference schemes are available to study pressure fluctuation effects in unsteady pipe flows. This paper presents a comparison Of the predictions made by three such schemes of unsteadyjlow effects in a number of reciprocating compressor pipe-work systems. The finite difference schemes considered were;- a first order scheme known as the method Of characteristics, two second order schemes which were the Leapfrog method and MacCormacVs method. A reciprocating compressor simulation computer program was coupled with equations describing the cylinder thermodynamic processes with the pipe flow equations for steady non-homentropicflow. The comparison presented takes into account both the …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 14, Number 9, December 1998, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Three-Dimensional Calculation Of Contaminant Transport In Groundwater At A Dover Afb Site, Tariq O. Hashim

Theses and Dissertations

Macroscale rate-limited sorption modeling was tested using a production transport code, the GMS/FEMWATER ground-water modeling package. The code (Version 1.1 of FEMWATER. dated 1 August 1995) was applied to a 3D conceptual model developed from a field site at Dover AFB, DE. A simulation was performed of a 200 hour contaminant injection pulse followed by clean water flushing. A moment analysis performed on the resulting breakthrough curve validated code self-consistency. Another injection pulse simulation showed that retardation temporally delays the breakthrough peak. Transport simulations of pulsed clean water pumping of the test cell with a prescribed initial contaminant distribution demonstrated …

Development Of An Operations Research Software Package For Army Divisions, Blane C. Wilson

Theses and Dissertations

There exists great potential for applying operations research techniques to solve specific problems in the areas of operations, installation support, and training at the Army division level. Because of the operational tempo of today's active-duty and reserve component units, command must focus on accomplishing the daily missions. Also, due their limited knowledge of the field, planners may not be aware of how operations research can be used to enhance planning and operations. Time, training funds, resources, safety, personnel, and equipment are all critical factors in this process. Operations research techniques could be used to improve division-level operations by saving time, …

The Effect Of Suspended Particles On The Corrosion Resistance Of Electrodeposited Zinc Powders, Qing-Wen Li, Qing Yang, Xi Xia

Journal of Electrochemistry

Zinc powders were electrodeposited from ZnCl₂ baths with containing suspension of unsoluble particles such as graphite, PbO₂, SnO₂, TiO₂, SiO₂ etc.. The structure, morphology and corrosion behavior of zinc powder were analyzed. SEM results showed that the dendritic growth of zinc can be inhibited by applying the suspension method. Suspension of PbO₂, SnO₂, TiO₂, SiO₂ and In₂O₃ could greatly improve the corrosion protection of zinc powder in 5 mol/L KOH. In addition, fractal theory is employed to further explain the results

Oxygen Evolution Behavour On Ni Electrode In Koh Solution, Xiao-Yan Cao, Hua-Tang Yuan, Zuo-Xiang Zhou, Yun-Shi Zhang

Journal of Electrochemistry

The steady-state polarization curves of oxygen evolution were measured at temperatures between 22～70 ℃ on Ni electrode in 30 wt.% KOH solution by galvanostat methode. The exchange current densities, Tafel slopes and transfer coefficients were studied. It was found that 40 ℃ is a special temperature, near which the kinetic parameters change abrupdy. The Tafel slopes for oxygen evolution reactions at higher overpotentials change from more than 120 mV to about 70 mV when the temperature raises to 40～70 ℃ from 22～35 ℃. Simultaneously, the heat of activation is changes from 79.88 kJ/mol to 55.32 kJ/mol. Moreover, the -(η/Τ) i …

Study On Ni-Co-S-Mo Alloys New Cathode Material For Aquous Electrolysis, Yuan-Shou Xie, Quan-Feng Liu

Journal of Electrochemistry

The parameters of electrodeposion of Ni-Co-S-Mo alloy were studied. The experimental results indicate that the electrodeposition alloy shows high catalytic activity for hydrogen evolution reaction, as well as better mechanical strength and higher chemical stability. The mechanism of catalytic hydrogen evolution reaction on this type of alloy electrode was also investigated by means of polarization curve and cyclic voltametry.

The Latest World Wide Progress In Solid Oxide Fuel Cell, Yi Jiang

Journal of Electrochemistry

Solid oxide fuel cell (SOFC) is a novel, green electricity generation technology, which has been showing rapid development since 1980's. In light of its high efficiency, environmental friendly, fuel adaptability and long term stability, the Research, Development and Demonstration (RD&D) of this hype of full cell have been emphasized in a large number of developed countries. Based on the information communicated at the latest symposium on SOFC held last year in Aachen (Germany) and the knowledge gained through years of research in this field, a comprehensive review on the latest development of the tubular, this planar SOFC as well as …

A Preliminary Study Of The Synthesis Of Tin-Based Amorphous Material And Its Behavior On Lithium Intercalation, Li Liu, Han-Xi Yang, Ju-Tang Sun, Xing-Ping Ai

Journal of Electrochemistry

An amorphous lithium inserting anode material based on Tin oxide glass was synthesized by salification in solution and its properties on lithium intercalation was investigated by X ray diffraction (XRD), microelectrode voltammetry and charge discharge measurements. The results have shown that this kind of material has considerable electrochemical reversibility toward lithium intercalation deintercalation. The available discharge capacity of the material reaches 430 mAh/g with charge-discharge efficiency over 90%, showing a great potential for practical use.