Web-based report generators, data visualization, and Web-to-database connectivity

Because some Web users will be able to design a template to visualize information from scratch, while other users need to automatically visualize information by changing some parameters, providing different levels of customization of the information is a desirable goal. Our system allows the automatic generation of visualizations given the semantics of the data, and the static or pre-specified visualization by creating an interface language. We address information visualization taking into consideration the Web, where the presentation of the retrieved information is a challenge. ^ We provide a model to narrow the gap between the user's way of expressing queries and database manipulation languages (SQL) without changing the system itself thus improving the query specification process. We develop a Web interface model that is integrated with the HTML language to create a powerful language that facilitates the construction of Web-based database reports. ^ As opposed to other papers, this model offers a new way of exploring databases focusing on providing Web connectivity to databases with minimal or no result buffering, formatting, or extra programming. We describe how to easily connect the database to the Web. In addition, we offer an enhanced way on viewing and exploring the contents of a database, allowing users to customize their views depending on the contents and the structure of the data. Current database front-ends typically attempt to display the database objects in a flat view making it difficult for users to grasp the contents and the structure of their result. Our model narrows the gap between databases and the Web. ^ The overall objective of this research is to construct a model that accesses different databases easily across the net and generates SQL, forms, and reports across all platforms without requiring the developer to code a complex application. This increases the speed of development. In addition, using only the Web browsers, the end-user can retrieve data from databases remotely to make necessary modifications and manipulations of data using the Web formatted forms and reports, independent of the platform, without having to open different applications, or learn to use anything but their Web browser. We introduce a strategic method to generate and construct SQL queries, enabling inexperienced users that are not well exposed to the SQL world to build syntactically and semantically a valid SQL query and to understand the retrieved data. The generated SQL query will be validated against the database schema to ensure harmless and efficient SQL execution. (Abstract shortened by UMI.)^

Arctic ecosystem responses to changes in water availability and warming: Short and long-term responses

Arctic soils store close to 14% of the global soil carbon. Most of arctic carbon is stored below ground in the permafrost. With climate warming the decomposition of the soil carbon could represent a significant positive feedback to global greenhouse warming. Recent evidence has shown that the temperature of the Arctic is already increasing, and this change is associated mostly with anthropogenic activities. Warmer soils will contribute to permafrost degradation and accelerate organic matter decay and thus increase the flux of carbon dioxide and methane into the atmosphere. Temperature and water availability are also important drivers of ecosystem performance, but effects can be complex and in opposition. Temperature and moisture changes can affect ecosystem respiration (ER) and gross primary productivity (GPP) independently; an increase in the net ecosystem exchange can be a result of either a decrease in ER or an increase in GPP. Therefore, understanding the effects of changes in ecosystem water and temperature on the carbon flux components becomes key to predicting the responses of the Arctic to climate change. The overall goal of this work was to determine the response of arctic systems to simulated climate change scenarios with simultaneous changes in temperature and moisture. A temperature and hydrological manipulation in a naturally-drained lakebed was used to assess the short-term effect of changes in water and temperature on the carbon cycle. Also, as part of International Tundra Experiment Network (ITEX), I determined the long-term effect of warming on the carbon cycle in a natural hydrological gradient established in the mid 90's. I found that the carbon balance is highly sensitive to short-term changes in water table and warming. However, over longer time periods, hydrological and temperature changed soil biophysical properties, nutrient cycles, and other ecosystem structural and functional components that down regulated GPP and ER, especially in wet areas.

Formal modeling and analysis techniques for high level Petri nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

Formal Modeling and Analysis Techniques for High Level Petri Nets

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. There are two issues in using HLPNs - modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.

Civilizing the tropics: The highlanders' failed attempt to transform the Colombian Amazon, 1850--1930

The subject of this dissertation is the nature of the environmental transformations, both symbolic and physical, that took place in Colombia between 1850 and 1930. This period begins with the attempt by the Colombian elite to leave behind colonial ties, overcome economic disorganization, and link Colombia to the international market. These efforts were part of a general project to “civilize” this tropical country. The period closes with the transition toward an industrialization and urbanization process led by the Colombian state during the 1930s. ^ Frequently, environmental studies as an academic field are dominated by biological concerns. However, most environmental thinking accepts their interdisciplinary nature. Under this framework not only spatial but also symbolic concerns are key elements in understanding environmental transformations. ^ This study finds that despite several attempts to transform the Colombian landscape physically, most of the substantive changes were localized and circumscribed to the Andean region. Other changes were mainly symbolic. This dissertation thus uses the Amazon as one of several regions that did not experience significant changes in the forest canopy. While highlanders originally dreamed of the Amazon as an untapped El Dorado, their failed attempts to exploit the region caused them to imagine it as a nightmarish “green hell”. ^ This dissertation concentrates on three pairs of concepts: tropicality/civilization, landscape/territory, and symbolic/material changes. It presents both a general vision of Colombia and case studies of three regions: Cundinamarca, and Cauca Valley are used to compare with the Amazon region that is developed at length. Whereas mainstream Colombian histories have either fixated on the Andean highlands or, in a relegated second place, on the Caribbean region, this dissertation attempts to significantly contribute to the historiography of Colombia by focusing on the largely neglected Amazonian region. ^ To understand imageries about Colombia's landscape, the dissertation relies on travel writings, chorographic descriptions and maps. It also makes uses legal documents and other published primary sources, including literary pieces and memoirs. ^

Short and long hydroperiod Everglades periphyton mats: Community characterization and experimental hydroperiod manipulation

Hydroperiod, or the distribution, duration and timing of flooding affects both plant and animal distributions. The Florida Everglades is currently undergoing restoration that will result in altered hydroperiods. This study was conducted in Everglades National Park to document the variability in periphyton community structure and function between long and short hydroperiod Everglades marshes. Periphyton is an important primary producer and important food resource in the Everglades. Periphyton is also involved in marl soil formation and nutrient cycling. Although periphyton is an important component of the Everglades landscape, little is known about periphyton structural-functional variation between hydroperiods. ^ For this study diatoms, as well as fresh algae slides of diatoms, cyanobacteria and green algae were identified and enumerated. Short verse long hydroperiod soil and water column nutrients were compared. Short and long hydroperiod algal periphyton mat productivity rates were compared using BOD incubations. Experimental manipulations were performed to determine the effects of desiccation duration and rewetting on periphyton productivity, community structure, and nutrient flux. ^ Variation in periphyton community structure was significantly greater between hydroperiods than within hydroperiods. Short and long hydroperiod periphyton mats have the same algal species, it is the distribution and abundance that varies between hydroperiods. Long hydroperiod mats have greater diatom abundance while short hydroperiod mats have greater relative filamentous cyanobacterial abundance. ^ Long hydroperiod mats had greater net primary production (npp) than short hydroperiod mats. Short hydroperiod mats respond to rewetting more rapidly than do long hydroperiod mats. Dry short hydroperiod mats became net primary producers within 24 hours of rehydration. Increasing desiccation duration led to greater cyanobacterial abundance in long hydroperiod mats and decreased diatom abundance in both long and short hydroperiod mats. ^

The effects of manipulation of sedimentary iron and organic matter on sediment biogeochemistry and seagrasses in a subtropical carbonate environment

The microbial metabolism of organic matter (OM) in seagrass beds can create sulfidic conditions detrimental to seagrass growth; iron (Fe) potentially has ameliorating effects through titration of the sulfides and the precipitation of iron-sulfide minerals into the sediment. In this study, the biogeochemical effects of Fe availability and its interplay with sulfur and OM on sulfide toxicity, phosphorous (P) availability, seagrass growth and community structure were tested. The availability of Fe and OM was manipulated in a 2 × 2 factorial experiment arranged in a Latin square, with four replicates per treatment. The treatments included the addition of Fe, the addition of OM, the addition of both Fe and OM as well as no addition. The experiment was conducted in an oligotrophic, iron-deficient seagrass bed. Fe had an 84.5% retention efficiency in the sediments with the concentration of Fe increasing in the seagrass leaves over the course of the experiment. Porewater chemistry was significantly altered with a dramatic decrease in sulfide levels in Fe addition plots while sulfide levels increased in the OM addition treatments. Phosphorus increased in seagrass leaves collected in the Fe addition plots. Decreased sulfide stress was evidenced by heavier δ34S in leaves and rhizomes from plots to which Fe was added. The OM addition negatively affected seagrass growth but increased P availability; the reduced sulfide stress in Fe added plots resulted in elevated productivity. Fe availability may be an important determinant of the impact that OM has on seagrass vitality in carbonate sediments vegetated with seagrasses.

Nutrient cycling in Alaskan tundra in response to experimental manipulation of growing season length and soil temperature : a climate change scenario

Climate change in the Arctic is predicted to increase plant productivity through decomposition-related enhanced nutrient availability. However, the extent of the increase will depend on whether the increased nutrient availability can be sustained. To address this uncertainty, I assessed the response of plant tissue nutrients, litter decomposition rates, and soil nutrient availability to experimental climate warming manipulations, extended growing season and soil warming, over a 7 year period. Overall, the most consistent effect was the year-to-year variability in measured parameters, probably a result of large differences in weather and time of snowmelt. The results of this study emphasize that although plants of arctic environments are specifically adapted to low nutrient availability, they also posses a suite of traits that help to reduce nutrient losses such as slow growth, low tissue concentrations, and low tissue turnover that result in subtle responses to environmental changes.

Acoustic Manipulation and Alignment of Particles for Applications in Separation, Micro-Templating, and Device Fabrication

This dissertation studies the manipulation of particles using acoustic stimulation for applications in microfluidics and templating of devices. The term particle is used here to denote any solid, liquid or gaseous material that has properties, which are distinct from the fluid in which it is suspended. Manipulation means to take over the movements of the particles and to position them in specified locations. Using devices, microfabricated out of silicon, the behavior of particles under the acoustic stimulation was studied with the main purpose of aligning the particles at either low-pressure zones, known as the nodes or high-pressure zones, known as anti-nodes. By aligning particles at the nodes in a flow system, these particles can be focused at the center or walls of a microchannel in order to ultimately separate them. These separations are of high scientific importance, especially in the biomedical domain, since acoustopheresis provides a unique approach to separate based on density and compressibility, unparalleled by other techniques. The study of controlling and aligning the particles in various geometries and configurations was successfully achieved by controlling the acoustic waves. Apart from their use in flow systems, a stationary suspended-particle device was developed to provide controllable light transmittance based on acoustic stimuli. Using a glass compartment and a carbon-particle suspension in an organic solvent, the device responded to acoustic stimulation by aligning the particles. The alignment of light-absorbing carbon particles afforded an increase in visible light transmittance as high as 84.5%, and it was controlled by adjusting the frequency and amplitude of the acoustic wave. The device also demonstrated alignment memory rendering it energy-efficient. A similar device for suspended-particles in a monomer enabled the development of electrically conductive films. These films were based on networks of conductive particles. Elastomers doped with conductive metal particles were rendered surface conductive at particle loadings as low as 1% by weight using acoustic focusing. The resulting films were flexible and had transparencies exceeding 80% in the visible spectrum (400-800 nm) These films had electrical bulk conductivities exceeding 50 S/cm.

Waveguide microgripper for identification, sensing and manipulation

A Waveguide Microgripper utilizes flexible optical waveguides as gripping arms, which provide the physical means for grasping a microobject, while simultaneously enabling light to be delivered and collected. This unique capability allows extensive optical characterization of the structure being held such as transmission, reflection or fluorescence. One of the simplest capabilities of the waveguide microgripper is to be able to detect the presence of a microobject between the microgripper facets by monitoring the transmitted intensity of light coupled through the facets. The intensity of coupled light is expected to drop when there is an object obstructing the path of light. The optical sensing and characterization function of the microgripper is a strong function of the optical power incident on the structure of interest. Hence it is important to understand the factors affecting the power distribution across the facet. The microgripper is also capable of detecting the fluorescence. This capability of microgripper is expected to have applications in medical, bio-medical and related fields.

Acoustic manipulation and alignment of particles for applications in separation, micro-templating and device fabrication

This dissertation studies the manipulation of particles using acoustic stimulation for applications in microfluidics and templating of devices. The term particle is used here to denote any solid, liquid or gaseous material that has properties, which are distinct from the fluid in which it is suspended. Manipulation means to take over the movements of the particles and to position them in specified locations. ^ Using devices, microfabricated out of silicon, the behavior of particles under the acoustic stimulation was studied with the main purpose of aligning the particles at either low-pressure zones, known as the nodes or high-pressure zones, known as anti-nodes. By aligning particles at the nodes in a flow system, these particles can be focused at the center or walls of a microchannel in order to ultimately separate them. These separations are of high scientific importance, especially in the biomedical domain, since acoustopheresis provides a unique approach to separate based on density and compressibility, unparalleled by other techniques. The study of controlling and aligning the particles in various geometries and configurations was successfully achieved by controlling the acoustic waves. ^ Apart from their use in flow systems, a stationary suspended-particle device was developed to provide controllable light transmittance based on acoustic stimuli. Using a glass compartment and a carbon-particle suspension in an organic solvent, the device responded to acoustic stimulation by aligning the particles. The alignment of light-absorbing carbon particles afforded an increase in visible light transmittance as high as 84.5%, and it was controlled by adjusting the frequency and amplitude of the acoustic wave. The device also demonstrated alignment memory rendering it energy-efficient. A similar device for suspended-particles in a monomer enabled the development of electrically conductive films. These films were based on networks of conductive particles. Elastomers doped with conductive metal particles were rendered surface conductive at particle loadings as low as 1% by weight using acoustic focusing. The resulting films were flexible and had transparencies exceeding 80% in the visible spectrum (400-800 nm) These films had electrical bulk conductivities exceeding 50 S/cm. ^