3D TerraFly: Quality of service management for online interactive 3D geographic information system

3D geographic information system (GIS) is data and computation intensive in nature. Internet users are usually equipped with low-end personal computers and network connections of limited bandwidth. Data reduction and performance optimization techniques are of critical importance in quality of service (QoS) management for online 3D GIS. In this research, QoS management issues regarding distributed 3D GIS presentation were studied to develop 3D TerraFly, an interactive 3D GIS that supports high quality online terrain visualization and navigation. ^ To tackle the QoS management challenges, multi-resolution rendering model, adaptive level of detail (LOD) control and mesh simplification algorithms were proposed to effectively reduce the terrain model complexity. The rendering model is adaptively decomposed into sub-regions of up-to-three detail levels according to viewing distance and other dynamic quality measurements. The mesh simplification algorithm was designed as a hybrid algorithm that combines edge straightening and quad-tree compression to reduce the mesh complexity by removing geometrically redundant vertices. The main advantage of this mesh simplification algorithm is that grid mesh can be directly processed in parallel without triangulation overhead. Algorithms facilitating remote accessing and distributed processing of volumetric GIS data, such as data replication, directory service, request scheduling, predictive data retrieving and caching were also proposed. ^ A prototype of the proposed 3D TerraFly implemented in this research demonstrates the effectiveness of our proposed QoS management framework in handling interactive online 3D GIS. The system implementation details and future directions of this research are also addressed in this thesis. ^

Practical secure information flow in programming languages

If we classify variables in a program into various security levels, then a secure information flow analysis aims to verify statically that information in a program can flow only in ways consistent with the specified security levels. One well-studied approach is to formulate the rules of the secure information flow analysis as a type system. A major trend of recent research focuses on how to accommodate various sophisticated modern language features. However, this approach often leads to overly complicated and restrictive type systems, making them unfit for practical use. Also, problems essential to practical use, such as type inference and error reporting, have received little attention. This dissertation identified and solved major theoretical and practical hurdles to the application of secure information flow. ^ We adopted a minimalist approach to designing our language to ensure a simple lenient type system. We started out with a small simple imperative language and only added features that we deemed most important for practical use. One language feature we addressed is arrays. Due to the various leaking channels associated with array operations, arrays have received complicated and restrictive typing rules in other secure languages. We presented a novel approach for lenient array operations, which lead to simple and lenient typing of arrays. ^ Type inference is necessary because usually a user is only concerned with the security types for input/output variables of a program and would like to have all types for auxiliary variables inferred automatically. We presented a type inference algorithm B and proved its soundness and completeness. Moreover, algorithm B stays close to the program and the type system and therefore facilitates informative error reporting that is generated in a cascading fashion. Algorithm B and error reporting have been implemented and tested. ^ Lastly, we presented a novel framework for developing applications that ensure user information privacy. In this framework, core computations are defined as code modules that involve input/output data from multiple parties. Incrementally, secure flow policies are refined based on feedback from the type checking/inference. Core computations only interact with code modules from involved parties through well-defined interfaces. All code modules are digitally signed to ensure their authenticity and integrity. ^

Signal processing and information fusing algorithms for the synthesis of an alternative electromyogram/eye gaze tracking computer cursor control system

This research pursued the conceptualization and real-time verification of a system that allows a computer user to control the cursor of a computer interface without using his/her hands. The target user groups for this system are individuals who are unable to use their hands due to spinal dysfunction or other afflictions, and individuals who must use their hands for higher priority tasks while still requiring interaction with a computer. ^ The system receives two forms of input from the user: Electromyogram (EMG) signals from muscles in the face and point-of-gaze coordinates produced by an Eye Gaze Tracking (EGT) system. In order to produce reliable cursor control from the two forms of user input, the development of this EMG/EGT system addressed three key requirements: an algorithm was created to accurately translate EMG signals due to facial movements into cursor actions, a separate algorithm was created that recognized an eye gaze fixation and provided an estimate of the associated eye gaze position, and an information fusion protocol was devised to efficiently integrate the outputs of these algorithms. ^ Experiments were conducted to compare the performance of EMG/EGT cursor control to EGT-only control and mouse control. These experiments took the form of two different types of point-and-click trials. The data produced by these experiments were evaluated using statistical analysis, Fitts' Law analysis and target re-entry (TRE) analysis. ^ The experimental results revealed that though EMG/EGT control was slower than EGT-only and mouse control, it provided effective hands-free control of the cursor without a spatial accuracy limitation, and it also facilitated a reliable click operation. This combination of qualities is not possessed by either EGT-only or mouse control, making EMG/EGT cursor control a unique and practical alternative for a user's cursor control needs. ^

Motion correction algorithm of lung tumors for respiratory gated PET images

Respiratory gating in lung PET imaging to compensate for respiratory motion artifacts is a current research issue with broad potential impact on quantitation, diagnosis and clinical management of lung tumors. However, PET images collected at discrete bins can be significantly affected by noise as there are lower activity counts in each gated bin unless the total PET acquisition time is prolonged, so that gating methods should be combined with imaging-based motion correction and registration methods. The aim of this study was to develop and validate a fast and practical solution to the problem of respiratory motion for the detection and accurate quantitation of lung tumors in PET images. This included: (1) developing a computer-assisted algorithm for PET/CT images that automatically segments lung regions in CT images, identifies and localizes lung tumors of PET images; (2) developing and comparing different registration algorithms which processes all the information within the entire respiratory cycle and integrate all the tumor in different gated bins into a single reference bin. Four registration/integration algorithms: Centroid Based, Intensity Based, Rigid Body and Optical Flow registration were compared as well as two registration schemes: Direct Scheme and Successive Scheme. Validation was demonstrated by conducting experiments with the computerized 4D NCAT phantom and with a dynamic lung-chest phantom imaged using a GE PET/CT System. Iterations were conducted on different size simulated tumors and different noise levels. Static tumors without respiratory motion were used as gold standard; quantitative results were compared with respect to tumor activity concentration, cross-correlation coefficient, relative noise level and computation time. Comparing the results of the tumors before and after correction, the tumor activity values and tumor volumes were closer to the static tumors (gold standard). Higher correlation values and lower noise were also achieved after applying the correction algorithms. With this method the compromise between short PET scan time and reduced image noise can be achieved, while quantification and clinical analysis become fast and precise.

Seed dispersal and reproduction patterns among Everglades plants

In this study three aspects of sexual reproduction in Everglades plants were examined to more clearly understand seed dispersal and the allocation of resources to sexual reproduction—spatial dispersal process, temporal dispersal of seeds (seedbank), and germination patterns in the dominant species, sawgrass (Cladium jamaicense). Community assembly rules for fruit dispersal were deduced by analysis of functional traits associated with this process. Seedbank ecology was investigated by monitoring emergence of germinants from sawgrass soil samples held under varying water depths to determine the fate of dispersed seeds. Fine-scale study of sawgrass fruits yielded information on contributions to variation in sexually produced propagules in this species, which primarily reproduces vegetatively. It was hypothesized that Everglades plants possess a set of functional traits that enhance diaspore dispersal. To test this, 14 traits were evaluated among 51 species by factor analysis. The factorial plot of this analysis generated groups of related traits, with four suites of traits forming dispersal syndromes. Hydrochory traits were categorized by buoyancy and appendages enhancing buoyancy. Anemochory traits were categorized by diaspore size and appendages enhancing air movement. Epizoochory traits were categorized by diaspore size, buoyancy, and appendages allowing for attachment. Endozoochory traits were categorized by diaspore size, buoyancy, and appendages aiding diaspore presentation. These patterns/trends of functional trait organization also represent dispersal community assembly rules. Seeds dispersed by hydrochory were hypothesized to be caught most often in the edge of the north side of sawgrass patches. Patterns of germination and dispersal mode of all hydrochorous macrophytes with propagules in the seedbank were elucidated by germination analysis from 90 soil samples collected from 10 sawgrass patches. Mean site seed density was 486 seeds/m2 from 13 species. Most seeds collected at the north side of patches and significantly in the outer one meter of the patch edge (p = 0.013). Sawgrass seed germination was hypothesized to vary by site, among individual plants, and within different locations of a plant’s infructescence. An analysis of sawgrass fruits with nested ANOVAs found that collection site and interaction of site x individual plant significantly affect germination ability, seed viability, and fruit size (p ≤ 0.050). Fruit location within a plant’s infructescence did not significantly affect germination. As for allocation of resources to sexual reproduction, only 17.9% of sawgrass seeds germinated and only 4.8% of ungerminated seeds with fleshy endosperm were presumed viable, but dormant. Collectively, only 22% of all sawgrass seeds produced were viable.

Mitigating congestion by integrating time forecasting and realtime information aggregation in cellular networks

An iterative travel time forecasting scheme, named the Advanced Multilane Prediction based Real-time Fastest Path (AMPRFP) algorithm, is presented in this dissertation. This scheme is derived from the conventional kernel estimator based prediction model by the association of real-time nonlinear impacts that caused by neighboring arcs’ traffic patterns with the historical traffic behaviors. The AMPRFP algorithm is evaluated by prediction of the travel time of congested arcs in the urban area of Jacksonville City. Experiment results illustrate that the proposed scheme is able to significantly reduce both the relative mean error (RME) and the root-mean-squared error (RMSE) of the predicted travel time. To obtain high quality real-time traffic information, which is essential to the performance of the AMPRFP algorithm, a data clean scheme enhanced empirical learning (DCSEEL) algorithm is also introduced. This novel method investigates the correlation between distance and direction in the geometrical map, which is not considered in existing fingerprint localization methods. Specifically, empirical learning methods are applied to minimize the error that exists in the estimated distance. A direction filter is developed to clean joints that have negative influence to the localization accuracy. Synthetic experiments in urban, suburban and rural environments are designed to evaluate the performance of DCSEEL algorithm in determining the cellular probe’s position. The results show that the cellular probe’s localization accuracy can be notably improved by the DCSEEL algorithm. Additionally, a new fast correlation technique for overcoming the time efficiency problem of the existing correlation algorithm based floating car data (FCD) technique is developed. The matching process is transformed into a 1-dimensional (1-D) curve matching problem and the Fast Normalized Cross-Correlation (FNCC) algorithm is introduced to supersede the Pearson product Moment Correlation Co-efficient (PMCC) algorithm in order to achieve the real-time requirement of the FCD method. The fast correlation technique shows a significant improvement in reducing the computational cost without affecting the accuracy of the matching process.

A large-scale dynamic vector and raster data visualization geographic information system based on parallel map tiling

With the exponential increasing demands and uses of GIS data visualization system, such as urban planning, environment and climate change monitoring, weather simulation, hydrographic gauge and so forth, the geospatial vector and raster data visualization research, application and technology has become prevalent. However, we observe that current web GIS techniques are merely suitable for static vector and raster data where no dynamic overlaying layers. While it is desirable to enable visual explorations of large-scale dynamic vector and raster geospatial data in a web environment, improving the performance between backend datasets and the vector and raster applications remains a challenging technical issue. This dissertation is to implement these challenging and unimplemented areas: how to provide a large-scale dynamic vector and raster data visualization service with dynamic overlaying layers accessible from various client devices through a standard web browser, and how to make the large-scale dynamic vector and raster data visualization service as rapid as the static one. To accomplish these, a large-scale dynamic vector and raster data visualization geographic information system based on parallel map tiling and a comprehensive performance improvement solution are proposed, designed and implemented. They include: the quadtree-based indexing and parallel map tiling, the Legend String, the vector data visualization with dynamic layers overlaying, the vector data time series visualization, the algorithm of vector data rendering, the algorithm of raster data re-projection, the algorithm for elimination of superfluous level of detail, the algorithm for vector data gridding and re-grouping and the cluster servers side vector and raster data caching.

Enhanced skip -list search algorithm in 3-layer mediator framework

The Three-Layer distributed mediation architecture, designed by Secure System Architecture laboratory, employed a layered framework of presence, integration, and homogenization mediators. The architecture does not have any central component that may affect the system reliability. A distributed search technique was adapted in the system to increase its reliability. An Enhanced Chord-like algorithm (E-Chord) was designed and deployed in the integration layer. The E-Chord is a skip-list algorithm based on Distributed Hash Table (DHT) which is a distributed but structured architecture. DHT is distributed in the sense that no central unit is required to maintain indexes, and it is structured in the sense that indexes are distributed over the nodes in a systematic manner. Each node maintains three kind of routing information: a frequency list, a successor/predecessor list, and a finger table. None of the nodes in the system maintains all indexes, and each node knows about some other nodes in the system. These nodes, also called composer mediators, were connected in a P2P fashion. ^ A special composer mediator called a global mediator initiates the keyword-based matching decomposition of the request using the E-Chord. It generates an Integrated Data Structure Graph (IDSG) on the fly, creates association and dependency relations between nodes in the IDSG, and then generates a Global IDSG (GIDSG). The GIDSG graph is a plan which guides the global mediator how to integrate data. It is also used to stream data from the mediators in the homogenization layer which connected to the data sources. The connectors start sending the data to the global mediator just after the global mediator creates the GIDSG and just before the global mediator sends the answer to the presence mediator. Using the E-Chord and GIDSG made the mediation system more scalable than using a central global schema repository since all the composers in the integration layer are capable of handling and routing requests. Also, when a composer fails, it would only minimally affect the entire mediation system. ^

Information Discovery on Electronic Health Records Using Authority Flow Techniques

Background As the use of electronic health records (EHRs) becomes more widespread, so does the need to search and provide effective information discovery within them. Querying by keyword has emerged as one of the most effective paradigms for searching. Most work in this area is based on traditional Information Retrieval (IR) techniques, where each document is compared individually against the query. We compare the effectiveness of two fundamentally different techniques for keyword search of EHRs. Methods We built two ranking systems. The traditional BM25 system exploits the EHRs' content without regard to association among entities within. The Clinical ObjectRank (CO) system exploits the entities' associations in EHRs using an authority-flow algorithm to discover the most relevant entities. BM25 and CO were deployed on an EHR dataset of the cardiovascular division of Miami Children's Hospital. Using sequences of keywords as queries, sensitivity and specificity were measured by two physicians for a set of 11 queries related to congenital cardiac disease. Results Our pilot evaluation showed that CO outperforms BM25 in terms of sensitivity (65% vs. 38%) by 71% on average, while maintaining the specificity (64% vs. 61%). The evaluation was done by two physicians. Conclusions Authority-flow techniques can greatly improve the detection of relevant information in EHRs and hence deserve further study.

Frugivory and Seed Dispersal by Crocodilians: An Overlooked Form of Saurochory?

Saurochory (seed dispersal by reptiles) among crocodilians has largely been ignored, probably because these reptiles are generally assumed to be obligate carnivores incapable of digesting vegetable proteins and polysaccharides. Herein we review the literature on crocodilian diet, foraging ecology, digestive physiology and movement patterns, and provide additional empirical data from recent dietary studies of Alligator mississippiensis. We found evidence of frugivory in 13 of 18 (72.2%) species for which dietary information was available, indicating this behavior is widespread among the Crocodylia. Thirty-four families and 46 genera of plants were consumed by crocodilians. Fruit types consumed by crocodilians varied widely; over half (52.1%) were fleshy fruits. Some fruits are consumed as gastroliths or ingested incidental to prey capture; however, there is little doubt that on occasion, fruit is deliberately consumed, often in large quantities. Sensory cues involved in crocodilian frugivory are poorly understood, although airborne and waterborne cues as well as surface disturbances seem important. Crocodilians likely accrue nutritional benefits from frugivory and there are no a priori reasons to assume otherwise. Ingested seeds are regurgitated, retained in the stomach for indefinite and often lengthy periods, or passed through the digestive tract and excreted in feces. Chemical and mechanical scarification of seeds probably occurs in the stomach, but what effects these processes have on seed viability remain unknown. Because crocodilians have large territories and undertake lengthy movements, seeds are likely transported well beyond the parent plant before being voided. Little is known about the ultimate fate of seeds ingested by crocodilians; however, deposition sites could prove suitable for seed germination. Although there is no evidence for a crocodilian-specific dispersal syndrome similar to that described for other reptiles, our review strongly suggests that crocodilians function as effective agents of seed dispersal. Crocodilian saurochory offers a fertile ground for future research.

Motion Correction Algorithm of Lung Tumors for Respiratory Gated PET Images

Respiratory gating in lung PET imaging to compensate for respiratory motion artifacts is a current research issue with broad potential impact on quantitation, diagnosis and clinical management of lung tumors. However, PET images collected at discrete bins can be significantly affected by noise as there are lower activity counts in each gated bin unless the total PET acquisition time is prolonged, so that gating methods should be combined with imaging-based motion correction and registration methods. The aim of this study was to develop and validate a fast and practical solution to the problem of respiratory motion for the detection and accurate quantitation of lung tumors in PET images. This included: (1) developing a computer-assisted algorithm for PET/CT images that automatically segments lung regions in CT images, identifies and localizes lung tumors of PET images; (2) developing and comparing different registration algorithms which processes all the information within the entire respiratory cycle and integrate all the tumor in different gated bins into a single reference bin. Four registration/integration algorithms: Centroid Based, Intensity Based, Rigid Body and Optical Flow registration were compared as well as two registration schemes: Direct Scheme and Successive Scheme. Validation was demonstrated by conducting experiments with the computerized 4D NCAT phantom and with a dynamic lung-chest phantom imaged using a GE PET/CT System. Iterations were conducted on different size simulated tumors and different noise levels. Static tumors without respiratory motion were used as gold standard; quantitative results were compared with respect to tumor activity concentration, cross-correlation coefficient, relative noise level and computation time. Comparing the results of the tumors before and after correction, the tumor activity values and tumor volumes were closer to the static tumors (gold standard). Higher correlation values and lower noise were also achieved after applying the correction algorithms. With this method the compromise between short PET scan time and reduced image noise can be achieved, while quantification and clinical analysis become fast and precise.

Seed Dispersal and Reproduction Patterns Among Everglades Plants

In this study three aspects of sexual reproduction in Everglades plants were examined to more clearly understand seed dispersal and the allocation of resources to sexual reproduction— spatial dispersal process, temporal dispersal of seeds (seedbank), and germination patterns in the dominant species, sawgrass (Cladium jamaicense). Community assembly rules for fruit dispersal were deduced by analysis of functional traits associated with this process. Seedbank ecology was investigated by monitoring emergence of germinants from sawgrass soil samples held under varying water depths to determine the fate of dispersed seeds. Fine-scale study of sawgrass fruits yielded information on contributions to variation in sexually produced propagules in this species, which primarily reproduces vegetatively. It was hypothesized that Everglades plants possess a set of functional traits that enhance diaspore dispersal. To test this, 14 traits were evaluated among 51 species by factor analysis. The factorial plot of this analysis generated groups of related traits, with four suites of traits forming dispersal syndromes. Hydrochory traits were categorized by buoyancy and appendages enhancing buoyancy. Anemochory traits were categorized by diaspore size and appendages enhancing air movement. Epizoochory traits were categorized by diaspore size, buoyancy, and appendages allowing for attachment. Endozoochory traits were categorized by diaspore size, buoyancy, and appendages aiding diaspore presentation. These patterns/trends of functional trait organization also represent dispersal community assembly rules. Seeds dispersed by hydrochory were hypothesized to be caught most often in the edge of the north side of sawgrass patches. Patterns of germination and dispersal mode of all hydrochorous macrophytes with propagules in the seedbank were elucidated by germination analysis from 90 soil samples collected from 10 sawgrass patches. Mean site seed density was 486 seeds/m2 from 13 species. Most seeds collected at the north side of patches and significantly in the outer one meter of the patch edge (p = 0.013). Sawgrass seed germination was hypothesized to vary by site, among individual plants, and within different locations of a plant’s infructescence. An analysis of sawgrass fruits with nested ANOVAs found that collection site and interaction of site x individual plant significantly affect germination ability, seed viability, and fruit size (p < 0.050). Fruit location within a plant’s infructescence did not significantly affect germination. As for allocation of resources to sexual reproduction, only 17.9% of sawgrass seeds germinated and only 4.8% of ungerminated seeds with fleshy endosperm were presumed viable, but dormant. Collectively, only 22% of all sawgrass seeds produced were viable.

Design and Development of Geographical Information System (GIS) Map for Nuclear Waste Streams

A nuclear waste stream is the complete flow of waste material from origin to treatment facility to final disposal. The objective of this study was to design and develop a Geographic Information Systems (GIS) module using Google Application Programming Interface (API) for better visualization of nuclear waste streams that will identify and display various nuclear waste stream parameters. A proper display of parameters would enable managers at Department of Energy waste sites to visualize information for proper planning of waste transport. The study also developed an algorithm using quadratic Bézier curve to make the map more understandable and usable. Microsoft Visual Studio 2012 and Microsoft SQL Server 2012 were used for the implementation of the project. The study has shown that the combination of several technologies can successfully provide dynamic mapping functionality. Future work should explore various Google Maps API functionalities to further enhance the visualization of nuclear waste streams.