Computer Engineering Commons^™

Modal Rules Are Co-Implications, Alexander Kurz

Engineering Faculty Articles and Research

In [13], it was shown that modal logic for coalgebras dualises—concerning definability— equational logic for algebras. This paper establishes that, similarly, modal rules dualise implications:It is shown that a class of coalgebras is definable by modal rules iff it is closed under H (images) and Σ (disjoint unions). As a corollary the expressive power of rules of infinitary modal logic on Kripke frames is characterised.

Network Simulation And Performance Evalution Of Ip Multicast Using Pim-Dm In Umjanetsim, Jui Hiangh Teoh

Student Works (2000-2009)

The demand for multicast capabilities in IP networks is growing very rapidly. New applications that take advantage of IP Multicast are being introduced constantly. Therefore, IP Multicast is regarded as one of the most important technologies in IP networks today. This dissertation focuses on the simulation and performance evaluation of IP Multicast using Protocol Independent Multicast- Dense Mode (PIM-OM) as the multicast routing protocol. The simulation is executed in a network simulator named UMJaNetSim, where custom components are built in order to simulate IP Multicast. First, the advantages and applications of IP Multicast, multicast addressing, Internet Group Management Protocol (IGMP), …

Mpls Vpn Simulation Using Mp-Ibgp, Tan Fong Ang

Student Works (2000-2009)

As Internet traffic continues to increase, companies are demanding greater speeds and better services to disseminate information to their customers, partners and employees. In order to provide reliable services and to support a variety of secure communications among a wide range of locations, Multiprotocol Label Switching Virtual Private Network (MPLS VPN) has been introduced. MPLS is an emerging technology that aims to address many of the existing issues associated with packet forwarding in today's internetworking environment. Whereas, VPN provides secure private connections through public infrastructure amongst multiple locations. MPLS­ based VPN provides isolation. security, simplified routing, easier provisioning as well …

Arc - An Oai Service Provider For Digital Library Federation, Xiaoming Liu, Kurt Maly, Mohammad Zubair, Michael L. Nelson

Computer Science Faculty Publications

The usefulness of the many on-line journals and scientific digital libraries that exist today is limited by the inability to federate these resources through a unified interface. The Open Archive Initiative (OAI) is one major effort to address technical interoperability among distributed archives. The objective of OAI is to develop a framework to facilitate the discovery of content in distributed archives. In this paper, we describe our experience and lessons learned in building Arc, the first federated searching service based on the OAI protocol. Arc harvests metadata from several OAI compliant archives, normalizes them, and stores them in a search …

Smart Objects And Open Archives, Michael L. Nelson, Kurt Maly

Computer Science Faculty Publications

Within the context of digital libraries (DLs), we are making information objects "first-class citizens". We decouple information objects from the systems used for their storage and retrieval, allowing the technology for both DLs and information content to progress independently. We believe dismantling the stovepipe of "DL-archive-content" is the first step in building richer DL experiences for users and insuring the long-term survivability of digital information. To demonstrate this partitioning between DLs, archives and information content, we introduce "buckets": aggregative, intelligent, object-oriented constructs for publishing in digital libraries. Buckets exist within the "Smart Object, Dumb Archive" (SODA) DL model, which promotes …

Buckets: Smart Objects For Digital Libraries, Michael L. Nelson

Computer Science Faculty Publications

Current discussion of digital libraries (DLs) is often dominated by the merits of the respective storage, search and retrieval functionality of archives, repositories, search engines, search interfaces and database systems. While these technologies are necessary for information management, the information content is more important than the systems used for its storage and retrieval. Digital information should have the same long-term survivability prospects as traditional hardcopy information and should be protected to the extent possible from evolving search engine technologies and vendor vagaries in database management systems. Information content and information retrieval systems should progress on independent paths and make limited …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 3, November 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 2, October 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Studies Related To The Design And Implementation Of A Magnetic Suspension And Balance System, Syed Adeel Akhtar Jafri

Electrical & Computer Engineering Theses & Dissertations

This thesis presents studies related to the magnetic suspension and balance system (MSBS) of the Princeton/ONR High Reynolds Number Testing Facility (HRTF). The main motivation for developing the MSBS is to provide interference free aero/hydrodynamic testing of submersible models, which will lead to more accurate measurements. From the controls point of view, the main specification of the MSBS is to robustly control the position of a submersible model in five degrees of freedom (DOF), including three translational as well as pitching and yawing positions. The MSBS should not only regulate the submersible model's position but should also allow for small …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 17, Number 1, September 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

A Flowchart Structure For Modification Of A Modsim Process Model, Murali K. Adatrao

Electrical & Computer Engineering Theses & Dissertations

There are many software processes and software development models that support the development of a software model prior to implementation. However, more often than not, these practices are not followed resulting in a lack of documentation of the intended functionality of the software. As a result, software often becomes a black box for later developers. Even a simple bug fix can turn into an exhaustive task for the developers, as they must attempt to infer the intended system behavior. New designers cannot make any changes to the software or extend the software behavior, as the underlying model within the software …

Aspects Of Information Flow, Andrew P. Black, Jonathan Walpole

Computer Science Faculty Publications and Presentations

Along with our colleagues at the Oregon Graduate Institute and Georgia Institute of Technology, we have recently been experimenting with real-rate systems, that is, systems that are required to move data from one place to another at defined rates, such as 30 items per second. Audio conferencing or streaming video systems are typical: they are required to deliver video or audio frames from a source (a server or file system) in one place to a sink (a display or a sound generator) in another; the frames must arrive periodically, with constrained latency and jitter. We have successfully built such systems …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 16, Number 6, June 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 16, Number 5, May 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

3d Outside Cell Interference Factor For An Air-Ground Cdma ‘Cellular’ System, David W. Matolak

Faculty Publications

We compute the outside-cell interference factor of a code-division multiple-access (CDMA) system for a three-dimensional (3-D) air-to-ground (AG) "cellular-like" network consisting of a set of uniformly distributed ground base stations and airborne mobile users. The CDMA capacity is roughly inversely proportional to the outside-cell interference factor. It is shown that for the nearly free-space propagation environment of these systems, the outside-cell interference factor can be larger than that for terrestrial propagation models (as expected) and depends approximately logarithmically upon both the cell height and cell radius.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 16, Number 4, April 2000, 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.

A Generic Object-Oriented Server Model, Brian Douglas Jones

Electrical & Computer Engineering Theses & Dissertations

The purpose of this paper is to introduce a generic, object-oriented model for the simulation of networks of queues. Generic simulation modeling provides robust ways of laying out processes in stochastic, event driven simulations. The approach taken is to define a methodology that will be implementation independent, termed the Generic Server Simulation Model (GSSM); thus, leaving the implementers to choose the best (most suited for their use) means of implementation. GSSM uses many object-oriented concepts to provide its basic structure and has in its design the ability to take advantage of these object-oriented concepts, including reuse of (existing) code. GSSM …

A Digital Pressure Sensor Data Acquisition System In A Wind Tunnel Model, John J. Novakoski

Electrical & Computer Engineering Theses & Dissertations

Pressure measurements on wind tunnel models provide an important aid to overall aerodynamic analysis and design of aircraft and vehicles. Most pressure measurements in wind tunnels are made using analog pressure sensors with interfacing electronics that connect to an external data acquisition unit. Some of desirable features of an improved pressure measurement system are that it be: 1) model embeddable, 2) inherently digital in nature, 3) intelligent, and 4) controllable by a remote computer.

An intelligent, model-embedded, eight-channel digital pressure sensor system has been developed and tested in a wind tunnel. The implemented system consists of Micro-Electro-Mechanical System (MEMS) digital …

Process Flow Optimization Studies Through Discrete Event Simulation, Milind Chokshi

Electrical & Computer Engineering Theses & Dissertations

Computer-aided simulation has begun to emerge as a powerful tool for numerical analysis of the behavior and anticipated performance of industrial systems and their optimization. Applications include materials handling, storage and controls systems, prediction of manufacturing efficiencies, and production optimization. Simulations are used to test baseline models and subsequently analyze new production concepts, operating strategies, and planned procedures prior to costly implementation.

The study of process flows in a manufacturing environment is difficult due to its inherent stochastic nature. Breakdown of the sub-systems and failures of machines is a random process and needs to be solved based on concepts of …

A Distributed Agent Architecture For A Computer Virus Immune System, Paul K. Harmer

Theses and Dissertations

Information superiority is identified as an Air Force core competency and is recognized as a key enabler for the success of future missions. Information protection and information assurance are vital components required for achieving superiority in the Infosphere, but these goals are threatened by the exponential birth rate of new computer viruses. The increased global interconnectivity that is empowering advanced information systems is also increasing the spread of malicious code and current anti-virus solutions are quickly becoming overwhelmed by the burden of capturing and classifying new viral stains. To overcome this problem, a distributed computer virus immune system (CVIS) based …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 16, Number 3, March 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Crop Updates 2000 Cereals - Part 3, Roslyn J. Jettner, Blakely Paynter, Glenn Macdonald, Pierre Fievez, Ian Foster, David Tennant, Wal Anderson, James Ridsdill-Smith, Celia Pavri, Ross Chapman, Senthold Asseng, Steve Carr, Brad Nutt, Lindrea Latham, Roger Jones, Anyou Liu, Clinton K. Revell, David Ferris, Roy Latta, Lisa-Jane Blacklow, Chris Matthews, Ted Woodburn, Paul Yeoh, Ian Rose, Anita Lyons, Simon Cook, Matthew L. Adams, Robert J. Corner

Crop Updates

This session covers eighteen papers from different authors:

BARLEY AND OAT AGRONOMY

1. Unicorn barley must meet malting specifications to be a viable option, Roslyn Jettnerand Blakely Paynter, Agriculture Western Australia

2. Optimum oat seed rates, Glenn McDonald, Agriculture Western Australia

3. Production and Quality of export Oaten Hay (1998 and 1989), Pierre Fievez, Pierre Fievez and Associates

FROST

4. Climatology of Frost in Southern Western Australia, Ian Foster, Agriculture Western Australia

5. Flowering calculator, David Tennant, Agriculture Western Australia

6. Some options for managing the risk of frost damage, Wal Anderson, Agriculture Western Australia

PASTURE

7. …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 16, Number 2, February 2000, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

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

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 16, Number 1, January 2000, 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.

Notes On Coalgebras, Cofibrations And Concurrency, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

Lime: A Middleware For Physical And Logical Mobility, Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman

All Computer Science and Engineering Research

LIME is a middleware supporting the development of applications that exhibit physical mobility of hosts, logical mobility of agents, or both. LIME adopts a coordination perspective inspired by work on the Linda model. The context for computation, represented in Linda by a globally accessible, persistent tuple space, is represented in LIME by transient sharing of the tuple spaces carried by each individual mobile unit. Linda tuple spaces are also extended with a notion of location and with the ability to react to a given state. The hypothesis underlying our work is that the resulting model provides a minimalist set of …

A Rate-Based End-To-End Multicast Congestion Control Protocol, Sherlia Shi, Marcel Waldvogel

All Computer Science and Engineering Research

Current reliable multicast protocols do not have scalable congestion control mechanisms and this deficiency leads to concerns that multicast deployment may endanger stability of the network. In this paper, we present a sender-based approach for multicast congestion control targeted towards reliable bulk data transfer. We assume that there are a few bottleneck links in a large scale multicast group at any time period and these bottlenecks persist long enough to be identified and adapted to. Our work focus on dynamically identifying the worst congested path in the multicast tree and obtaining TCP-friendly throughput on this selected path. We device novel …

On Maintaining Group Membership Data In Ad Hoc Networks, Gruia-Catalin Roman, Qingfeng Huang, Ali Hazemi

All Computer Science and Engineering Research

The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Essential to constructing a consistent view is the ability to know what hosts are within proximity of each other, i.e., form a group in support of the particular application. In this paper we propose an algorithm that allows hosts within communication range to maintain a consistent view of the group membership despite movement and frequent disconnections. The novel features of this algorithm are its reliance on location information and a conservative notion of logical connectivity that creates …

Data Archiving With The Srb*, Jinghua Zhou

All Computer Science and Engineering Research

We use the SRB (Storage Request Broker) middleware to design and implement a storage archival system which will be used to archive Neuroscience data. As part of the design process, we developed and used an experimenter's workbench to measure SRB performance. These experiments improved our understanding of both the functionality and the performance of the SRB. This technical report describes the scripts in the experimenter's workbench, the archiving scripts, and performance measurements.

The Design And Performance Of Meta-Programming Mechanisms For Object Request Broker Middleware, Nanbor Wang, Kirthika Parameswaran, Douglass Schmidt

All Computer Science and Engineering Research

Distributed object computing (DOC) middleware shields developers from many tedious and error-prone aspects of programming distribued applications. Without proper support from the middleware, however, it can be hard to evolve distributed applications after they are deployed. Therefore, DOC middleware should support meta-programming mechanisms, such as smart proxies and interceptors, that improve the adaptability of distributed applications by allowing their behavior to be modified without drastically changing existing software. This paper presents three contributions to the study of metaprogramming mechanisms for DOC middleware. First, it illustrates, compares, and contrasts several meta-programming mechanisms from an application developer's perspective. Second, it outlines the …