White water lily (Nyphaea odorata)

http://digitalcommons.fiu.edu/fce_lter_photos/1276/thumbnail.jpg

A nested Petri net framework for modeling and analyzing multi-agent systems

In the past two decades, multi-agent systems (MAS) have emerged as a new paradigm for conceptualizing large and complex distributed software systems. A multi-agent system view provides a natural abstraction for both the structure and the behavior of modern-day software systems. Although there were many conceptual frameworks for using multi-agent systems, there was no well established and widely accepted method for modeling multi-agent systems. This dissertation research addressed the representation and analysis of multi-agent systems based on model-oriented formal methods. The objective was to provide a systematic approach for studying MAS at an early stage of system development to ensure the quality of design. ^ Given that there was no well-defined formal model directly supporting agent-oriented modeling, this study was centered on three main topics: (1) adapting a well-known formal model, predicate transition nets (PrT nets), to support MAS modeling; (2) formulating a modeling methodology to ease the construction of formal MAS models; and (3) developing a technique to support machine analysis of formal MAS models using model checking technology. PrT nets were extended to include the notions of dynamic structure, agent communication and coordination to support agent-oriented modeling. An aspect-oriented technique was developed to address the modularity of agent models and compositionality of incremental analysis. A set of translation rules were defined to systematically translate formal MAS models to concrete models that can be verified through the model checker SPIN (Simple Promela Interpreter). ^ This dissertation presents the framework developed for modeling and analyzing MAS, including a well-defined process model based on nested PrT nets, and a comprehensive methodology to guide the construction and analysis of formal MAS models.^

Experimental determination of effects of water depth on Nymphaea odorata growth, morphology and biomass allocation

Growth, morphology and biomass allocation in response to water depth was studied in white water lily,Nymphaea odorata Aiton. Plants were grown for 13 months in 30, 60 and 90 cm water in outdoor mesocosms in southern Florida. Water lily plant growth was distinctly seasonal with plants at all water levels producing more and larger leaves and more flowers in the warmer months. Plants in 30 cm water produced more but smaller and shorter-lived leaves than plants at 60 cm and 90 cm water levels. Although plants did not differ significantly in total biomass at harvest, plants in deeper water had significantly greater biomass allocated to leaves and roots, while plants in 30 cm water had significantly greater biomass allocated to rhizomes. Although lamina area and petiole length increased significantly with water level, lamina specific weight did not differ among water levels. Petiole specific weight increased significantly with increasing water level, implying a greater cost to tethering the larger laminae in deeper water. Lamina length and width scaled similarly at different water levels and modeled lamina area (LA) accurately (LAmodeled = 0.98LAmeasured + 3.96, R2 = 0.99). Lamina area was highly correlated with lamina weight (LW = 8.43LA − 66.78, R2 = 0.93), so simple linear measurements can predict water lily lamina area and lamina weight. These relationships were used to calculate monthly lamina surface area in the mesocosms. Plants in 30 cm water had lower total photosynthetic surface area than plants in 60 cm and 90 cm water levels throughout, and in the summer plants in 90 cm water showed a great increase in photosynthetic surface area as compared to plants in shallower water. These results support setting Everglades restoration water depth targets for sloughs at depths ≥45 cm and suggest that in the summer optimal growth for white water lilies occurs at depths ≥75 cm.

Boardwalk at SR-6

http://digitalcommons.fiu.edu/fce_lter_photos/1275/thumbnail.jpg