Physical Sciences and Mathematics Commons^™

The Application Of A Multimedia System To The Tourist Guide Of The Miami International Airport, Ying-Yuang Chen

FIU Electronic Theses and Dissertations

This project is to present a multimedia system designed for Miami International Airport as a tourist guide for passengers and to demonstrate the functionalities and facilities of the airport.

The project is based on an inexpensive integrated and comprehensive multimedia environment. The major components of the environment consist of (1) a low cost PC 386/486 with only ISA bus and IDE hard drive, (2) a high quality and high performance add-on real-time video/audio codec board (30/25 fps for NTSC/PAL video and synchronized audio sampled at 22KHz), (3) software packages including interactive utility programs to record, playback and edit real-time video/audio …

Semantic Geographic Information System, Elma L. Alvarez

FIU Electronic Theses and Dissertations

This thesis research describes the design and implementation of a Semantic Geographic Information System (GIS) and the creation of its spatial database. The database schema is designed and created, and all textual and spatial data are loaded into the database with the help of the Semantic DBMS's Binary Database Interface currently being developed at the FIU's High Performance Database Research Center (HPDRC). A friendly graphical user interface is created together with the other main system's areas: displaying process, data animation, and data retrieval. All these components are tightly integrated to form a novel and practical semantic GIS that has facilitated …

Automating Transformational Design For Distributed Programs, Champak Das

FIU Electronic Theses and Dissertations

We address the problem of designing concurrent, reactive, nonterminating programs. Our approach to developing concurrent programs involves the use of correctness-preserving transformations to realize each step of program development. The transformations we have designed automatically guarantee the preservation of the deadlock freedom property, and hence deadlock freedom does not have to be manually verified after each development step. Since our transformations are syntactic, they are easily mechanizable as well. This makes syntactic transformations particularly appealing for the development of large, complex, and correct distributed systems, where a manual approach would be prohibitively expensive. In this work we present a set …