Physical Sciences and Mathematics Commons^™

A Formal Architectural Specification Of The Automatic Validation Of The Everglades National Park Hydrology System, William S. Caldwell Ii

FIU Electronic Theses and Dissertations

This thesis is focused on creating a formal architectural specification of a software system. I have used the computer system at the Everglades National Park (ENP) to conduct a case study. The formal method used is called Z ("zeta"). The case study used was performed on some of the software on the ENP computing system. The software is the Hydrology System and consists of a relational database called Data For Ever and several subsystems that support it. The Data For Ever system is a relational database that stores hydrology data from the Everglades. The supporting software tools are the programs …

A Master-Slave Architecture For Parallel Speaker Recognition, Sunil Kumar Godavarthi

FIU Electronic Theses and Dissertations

Speaker recognition is one of the popular research interests in speech processing. A speaker recognition system receives the speech signal (data) and determines who the speaker is from a known set of speakers. This process involves the task of matching the input speech signal to the models for all the speakers enrolled in the system. Important factors that determine the success of these systems are response time and accuracy.

The objective of my thesis is to optimize response time by dividing the task of recognition into a number of sub tasks and to execute these individual tasks on load- balanced …

Management, Retrieval, And Visualization Of Spatial Data From Airborne Light Detection And Ranging System (Lidar) Survey, Zheng Cui

FIU Electronic Theses and Dissertations

The primary purpose of this research was to develop new methodologies to process and analyze large amount of topographic data from airborne LIDAR (light detection and ranging) survey.

This research developed a suite of algorithms to resample dense clouds of point data from LIDAR survey, cut the large data set into smaller tiles, and filtered data to remove points from non-ground surface features such as vegetations, buildings, and vehicles. These algorithms were implemented on the PC platform using C++. The test results showed that the developed application software package based on these algorithms worked well. This application software package provided …