Autonomic and embedded wireless sensor protocols for critical infrastructures

The tragic events of September 11th ushered a new era of unprecedented challenges. Our nation has to be protected from the alarming threats of adversaries. These threats exploit the nation's critical infrastructures affecting all sectors of the economy. There is the need for pervasive monitoring and decentralized control of the nation's critical infrastructures. The communications needs of monitoring and control of critical infrastructures was traditionally catered for by wired communication systems. These technologies ensured high reliability and bandwidth but are however very expensive, inflexible and do not support mobility and pervasive monitoring. The communication protocols are Ethernet-based that used contention access protocols which results in high unsuccessful transmission and delay. An emerging class of wireless networks, named embedded wireless sensor and actuator networks has potential benefits for real-time monitoring and control of critical infrastructures. The use of embedded wireless networks for monitoring and control of critical infrastructures requires secure, reliable and timely exchange of information among controllers, distributed sensors and actuators. The exchange of information is over shared wireless media. However, wireless media is highly unpredictable due to path loss, shadow fading and ambient noise. Monitoring and control applications have stringent requirements on reliability, delay and security. The primary issue addressed in this dissertation is the impact of wireless media in harsh industrial environment on the reliable and timely delivery of critical data. In the first part of the dissertation, a combined networking and information theoretic approach was adopted to determine the transmit power required to maintain a minimum wireless channel capacity for reliable data transmission. The second part described a channel-aware scheduling scheme that ensured efficient utilization of the wireless link and guaranteed delay. Various analytical evaluations and simulations are used to evaluate and validate the feasibility of the methodologies and demonstrate that the protocols achieved reliable and real-time data delivery in wireless industrial networks.

The response to an ESL population boom in the Beaufort County, South Carolina school system: A case study

The purpose of this case study was to examine the why the English language learners (ELLs) in the Beaufort County, South Carolina school system have been so successful. This school system has recently experienced a boom in its ESL student population, and this population has performed very well on standardized tests. This study used critical theory as its theoretical framework and examined why the students have been successful rather than marginalized in Beaufort County schools. This phenomenon was investigated using semi-structured interviews with the ESOL Coordinator for Beaufort County, 4 ESL-lead teachers, and 6 mainstream teachers.^ Data were collected using semi-structured interviews with Sarah Owen, the Beaufort County ESOL, Gifted and Talented, and World Languages coordinator. Based on the results of her interview, 4 themes emerged that were used for the semi-structured interviews with ESOL and mainstream teachers. The interviews centered on the themes of ESL policy, ESL leadership, and teacher training. The ESL and mainstream teacher interviews also revealed several subthemes that included teacher attitude, why Beaufort County has been successful with the ELLs, and the teachers' recommendations for other schools systems trying to successfully accommodate a large ESL student population in mainstream classrooms. ^ The findings from the teachers' interviews revealed that additional training for the teachers without ESL experience helped them become comfortable instructing ELLs. This training should be conducted by the ESOL teachers for those without ESOL certification or endorsement. As the teachers had more training, they had better attitudes about teaching ESOL students in their classes. Finally, those who utilized the additional ESOL training and ESOL accommodations saw better student achievement in their classes.^ Based on the finding of this study, the researcher proposed a model for other school systems to follow in order to replicate the success of Beaufort County's ELLs. The implications of this study focus on other schools systems and why ELLs are not obtaining the same level of success as those in Beaufort County's schools. Finally, recommendations for further research are provided.^

The Response to an ESL Population Boom in the Beaufort County, South Carolina School System: A Case Study

The purpose of this case study was to examine the why the English language learners (ELLs) in the Beaufort County, South Carolina school system have been so successful. This school system has recently experienced a boom in its ESL student population, and this population has performed very well on standardized tests. This study used critical theory as its theoretical framework and examined why the students have been successful rather than marginalized in Beaufort County schools. This phenomenon was investigated using semi-structured interviews with the ESOL Coordinator for Beaufort County, 4 ESL-lead teachers, and 6 mainstream teachers. Data were collected using semi-structured interviews with Sarah Owen, the Beaufort County ESOL, Gifted and Talented, and World Languages coordinator. Based on the results of her interview, 4 themes emerged that were used for the semi-structured interviews with ESOL and mainstream teachers. The interviews centered on the themes of ESL policy, ESL leadership, and teacher training. The ESL and mainstream teacher interviews also revealed several subthemes that included teacher attitude, why Beaufort County has been successful with the ELLs, and the teachers’ recommendations for other schools systems trying to successfully accommodate a large ESL student population in mainstream classrooms. The findings from the teachers’ interviews revealed that additional training for the teachers without ESL experience helped them become comfortable instructing ELLs. This training should be conducted by the ESOL teachers for those without ESOL certification or endorsement. As the teachers had more training, they had better attitudes about teaching ESOL students in their classes. Finally, those who utilized the additional ESOL training and ESOL accommodations saw better student achievement in their classes. Based on the finding of this study, the researcher proposed a model for other school systems to follow in order to replicate the success of Beaufort County’s ELLs. The implications of this study focus on other schools systems and why ELLs are not obtaining the same level of success as those in Beaufort County’s schools. Finally, recommendations for further research are provided.

Deployment of a Hybrid Multicast Switch in Energy-Aware Data Center Network: A Case of Fat-Tree Topology

Recently, energy efficiency or green IT has become a hot issue for many IT infrastructures as they attempt to utilize energy-efficient strategies in their enterprise IT systems in order to minimize operational costs. Networking devices are shared resources connecting important IT infrastructures, especially in a data center network they are always operated 24/7 which consume a huge amount of energy, and it has been obviously shown that this energy consumption is largely independent of the traffic through the devices. As a result, power consumption in networking devices is becoming more and more a critical problem, which is of interest for both research community and general public. Multicast benefits group communications in saving link bandwidth and improving application throughput, both of which are important for green data center. In this paper, we study the deployment strategy of multicast switches in hybrid mode in energy-aware data center network: a case of famous fat-tree topology. The objective is to find the best location to deploy multicast switch not only to achieve optimal bandwidth utilization but also to minimize power consumption. We show that it is possible to easily achieve nearly 50% of energy consumption after applying our proposed algorithm.

Implications of a theoretical framework on stress and burnout for the development of graduate nursing education curricula

This study had two purposes: (a) to develop a theoretical framework integrating and synthesizing findings of prior research regarding stress and burnout among critical care nurses (CCRNs), and (b) to validate the theoretical framework with an empirical study to assure a theory/research based teaching-learning process for graduate courses preparing nursing clinical specialists and administrators.^ The methods used to test the theoretical framework included: (a) adopting instruments with reported validity, (b) conducting a pilot study, (c) revising instruments using results of the pilot study and following concurrence of a panel of experts, and (d) establishing correlations within predetermined parameters. The reliability of the tool was determined through the use of Cronbach's Alpha Coefficient with a resulting range from.68 to.88 for all measures.^ The findings supported all the research hypotheses. Correlations were established at r =.23 for statistically significant alphas at the.01 level and r =.16 for alphas.05. The conclusions indicated three areas of strong correlation among the theoretical variables: (a) work environment stressor antecedents and specific stressor events were correlated significantly with subjective work stress and burnout; (b) subjective work stress (perceived work related stress) was a function of the work environment stressor antecedents and specific stressor events, and (c) emotional exhaustion, the first phase of burnout, was confirmed to be related to stressor antecedents and specific stressor events. This dimension was found to be a function of the work environment stressor antecedents, modified by the individual characteristics of work and non-work related social support, non-work daily stress, and the number of hours worked per week. The implications of the study for nursing graduate curricula, nursing practice and nursing education were discussed. Recommendations for further research were enumerated. ^

A conceptual framework for understanding contemporary child slavery

This thesis developed a conceptual framework aimed at enhancing our understanding of contemporary child slavery. A new variety of slavery exists today, the result of forms of forced servitude that existed alongside slavery many centuries ago. This is tantamount to slavery. There is, however, a critical lack of awareness about important aspects of the reality of this new child slavery. The framework and definitions of slavery in usage today, though interesting and sufficient to cover historical situations, are unable to adequately describe the conditions of the child slavery. Using existing literature and research, this thesis conceptualized children's labor in a manner that allows a clearer perception of the exploitation of their labor within and beyond the household. Explanatory factors such as culture, the age of victims, the number of hours worked and the ability or not of the victim to volunteer or withdraw their participation in the specific activities were employed to determine if particular situations should be considered as child slavery, repressive child labor or merely as child work. Important distinctions were made between the use of children's mental and physical energy in defined activities. ^

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. ^

A framework for transforming, analyzing, and realizing software designs in unified modeling language

Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use graphical notations, with strong international organizational support and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design.^ In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework I proposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively. In the transformation approach, class diagrams, state machine diagrams and activity diagrams are transformed into component models, and transformation rules are extracted from interaction diagrams. By applying transformation rules to component models, a (sub)system model of one or more scenarios can be constructed. Various techniques such as model checking, Petri net analysis techniques can be adopted to check if UML designs are complete or consistent. A new component called property parser was developed and merged into the tool SAM Parser, which realize (sub)system models automatically. The property parser generates and weaves runtime monitoring code into system implementations automatically for dependability assurance. The framework in the investigation is creative and flexible since it not only can be explored to verify and validate UML designs, but also provides an approach to build models for various scenarios. As a result of my research, several kinds of previous ignored behavioral inconsistencies can be detected.^

Adaptive fault-tolerant teleoperation

While the robots gradually become a part of our daily lives, they already play vital roles in many critical operations. Some of these critical tasks include surgeries, battlefield operations, and tasks that take place in hazardous environments or distant locations such as space missions. ^ In most of these tasks, remotely controlled robots are used instead of autonomous robots. This special area of robotics is called teleoperation. Teleoperation systems must be reliable when used in critical tasks; hence, all of the subsystems must be dependable even under a subsystem or communication line failure. ^ These systems are categorized as unilateral or bilateral teleoperation. A special type of bilateral teleoperation is described as force-reflecting teleoperation, which is further investigated as limited- and unlimited-workspace teleoperation. ^ Teleoperation systems configured in this study are tested both in numerical simulations and experiments. A new method, Virtual Rapid Robot Prototyping, is introduced to create system models rapidly and accurately. This method is then extended to configure experimental setups with actual master systems working with system models of the slave robots accompanied with virtual reality screens as well as the actual slaves. Fault-tolerant design and modeling of the master and slave systems are also addressed at different levels to prevent subsystem failure. ^ Teleoperation controllers are designed to compensate for instabilities due to communication time delays. Modifications to the existing controllers are proposed to configure a controller that is reliable in communication line failures. Position/force controllers are also introduced for master and/or slave robots. Later, controller architecture changes are discussed in order to make these controllers dependable even in systems experiencing communication problems. ^ The customary and proposed controllers for teleoperation systems are tested in numerical simulations on single- and multi-DOF teleoperation systems. Experimental studies are then conducted on seven different systems that included limited- and unlimited-workspace teleoperation to verify and improve simulation studies. ^ Experiments of the proposed controllers were successful relative to the customary controllers. Overall, by employing the fault-tolerance features and the proposed controllers, a more reliable teleoperation system is possible to design and configure which allows these systems to be used in a wider range of critical missions. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

The relationship between classroom interactions and exclusionary discipline as a social practice: A critical microethnograhy

Exclusionary school discipline results in students being removed from classrooms as a consequence of their disruptive behavior and may lead to subsequent suspension and/or expulsion. Literature documents that nondominant students, particularly Black males, are disproportionately impacted by exclusionary discipline, to the point that researchers from a variety of critical perspectives consider exclusionary school discipline an oppressive educational practice and condition. Little or no research examines specific teacher-student social interactions within classrooms that influence teachers’ decisions to use or not use exclusionary discipline. Therefore, this study set forth the central research question: In relation to classroom interactions in alternative education settings, what accounts for teachers’ use or non-use of exclusionary discipline with students? A critical social practice theory of learning served as the framework for exploring this question, and a critical microethnographic methodology informed the data collection and analysis. ^ Criterion sampling was used to select four classrooms in the same alternative education school with two teachers who frequently and two who rarely used exclusionary discipline. Nine stages of data collection and reconstructive data analysis were conducted. Data collection involved video recorded classroom observations, digitally recorded interviews of teachers and students discussing selected video segments, and individual teacher interviews. Reconstructive data analysis procedures involved hermeneutic inferencing of possible underlying meanings, critical discourse analysis, interactive power analysis and role analysis, thematic analysis of the interactions in each classroom, and a final comparative analysis of the four classrooms. ^ Four predominant themes of social interaction (resistance, conformism, accommodation, and negotiation) emerged with terminology adapted from Giroux’s (2001) theory of resistance in education and Third Space theory (Gutiérrez, 2008). Four types of power (normative, coercive, interactively established contracts, and charm), based on Carspecken’s (1996) typology, were found in the interactions between teacher and students in varying degrees for different purposes. ^ This research contributes to the knowledge base on teacher-student classroom interactions, specifically in relation to exclusionary discipline. Understanding how the themes and varying power relations influence their decisions and actions may enable teachers to reduce use of exclusionary discipline and remain focused on positive teacher-student academic interactions. ^

Hydrologic measurements and implications for tree island formation within Everglades National Park

Tree islands in the Shark River Slough of the Everglades National Park (ENP), in the southern state of Florida in the United States, are part of a wetland system of densely vegetated ridges interspersed within relatively open sloughs. Human alteration of this system has had dramatic negative effects on the landscape of the region and restoration efforts will require adjusting the hydrology of the region to assure the preservation of these important ecologic features. The primary objectives of this study were to document the hydrology in the vicinity of tree islands in ENP by measuring velocities in time and space and by characterizing suspended sediments. The results of such measurements were interpreted with respect to factors that may limit tree island growth. The measurements were conducted in the vicinity of three tree islands known as Black Hammock (BH), Gumbo Limbo (GL), and an unnamed island that was named for this study as Satin Leaf (SL). Acoustical Doppler Velocity (ADV) meters were used for measuring the low velocities of the Everglades water flow. Properties of suspended sediments were characterized through measurements of particle size distribution, turbidity, concentration and particle density. Mean velocities observed at each of the tree islands varied from 0.9 to 1.4 cm/s. Slightly higher mean velocities were observed during the wet season (1.2–1.6 cm/s) versus the dry season (0.8–1.3 cm/s). Maximum velocities of more than 4 cm/s were measured in areas of Cladium jamaicense die-off and at the hardwood hammock (head) of the islands. At the island’s head, water is channelized around obstructions such as tree trunks in relatively rapid flow, which may limit the lateral extent of tree island growth. Channelization is facilitated by shade from the tree canopy, which limits the growth of underwater vegetation thereby minimizing the resistance to flow and limiting sediment deposition. Suspended sediment concentrations were low (0.5–1.5 mg/L) at all study sites and were primarily of organic origin. The mean particle size of the suspended sediments was 3 μm with a distribution that was exponential. Critical velocities needed to cause re-suspension of these particles were estimated to be above the actual velocities observed. Sediment transport within the water column appears to be at a near steady state during the conditions evaluated with low rates of sediment loss balanced by presumably the release of equivalent quantities of particles of organic origin. Existing hydrologic conditions do not appear to transport sufficient suspended sediments to result in the formation of tree islands. Of interest would be to collect hydrologic and sediment transport data during extreme hydrologic events to determine if enough sediment is transported under these conditions to promote sufficient sediment accumulations.

Across-scale patterning of plant-soil-water interactions surrounding tree islands in Southern Everglades landscapes

The freshwater Everglades is a complex system containing thousands of tree islands embedded within a marsh-grassland matrix. The tree island-marsh mosaic is shaped and maintained by hydrologic, edaphic and biological mechanisms that interact across multiple scales. Preserving tree islands requires a more integrated understanding of how scale-dependent phenomena interact in the larger freshwater system. The hierarchical patch dynamics paradigm provides a conceptual framework for exploring multi-scale interactions within complex systems. We used a three-tiered approach to examine the spatial variability and patterning of nutrients in relation to site parameters within and between two hydrologically defined Everglades landscapes: the freshwater Marl Prairie and the Ridge and Slough. Results were scale-dependent and complexly interrelated. Total carbon and nitrogen patterning were correlated with organic matter accumulation, driven by hydrologic conditions at the system scale. Total and bioavailable phosphorus were most strongly related to woody plant patterning within landscapes, and were found to be 3 to 11 times more concentrated in tree island soils compared to surrounding marshes. Below canopy resource islands in the slough were elongated in a downstream direction, indicating soil resource directional drift. Combined multi-scale results suggest that hydrology plays a significant role in landscape patterning and also the development and maintenance of tree islands. Once developed, tree islands appear to exert influence over the spatial distribution of nutrients, which can reciprocally affect other ecological processes.

A Conceptual Framework to Develop Long-Term Ecological Research and Management Objectives in the Wider Caribbean Region

The Caribbean Sea and its watersheds show signs of environmental degradation. These fragile coastal ecosystems are susceptible to environmental impacts, in part because of their oligotrophic conditions and their critical support of economic development. Tourism is one of the major sources of income in the Caribbean, making the region one of the most ecotourism dependent in the world. Yet there are few explicit, long-term, comprehensive studies describing the structure and function of Caribbean ecosystems. We propose a conceptual framework using the environmental signature hypothesis of tropical coastal settings to develop a series of research questions for the reef–sea-grass–wetland seascape. We applied this approach across 13 sites throughout the region, including ecosystems in a variety of coastal settings with different vulnerabilities to environmental impacts. This approach follows the strategy developed by the Long Term Ecological Research program of the National Science Foundation to establish ecological research questions best studied over decades and large spatial areas.

Women-led community development organizations (CDOs) in Miami-Dade County: A model of community development efforts impacting the economic security of women

Recent studies on the economic status of women in Miami-Dade County (MDC) reveal an alarming rate of economic insecurity and significant obstacles for women to achieve economic security. Consistent barriers to women's economic security affect not only the health and wellbeing of women and their families, but also economic prospects for the community. A key study reveals in Miami-Dade County, "Thirty-nine percent of single female-headed families with at least one child are living at or below the federal poverty level" and "over half of working women do not earn adequate income to cover their basic necessities" (Brion 2009, 1). Moreover, conventional measures of poverty do not adequately capture women's struggles to support themselves and their families, nor do they document the numbers of women seeking basic self-sufficiency. Even though there is lack of accurate data on women in the county, which is a critical problem, there is also a dearth of social science research on existing efforts to enhance women's economic security in Miami-Dade County. My research contributes to closing the information gap by examining the characteristics and strategies of women-led community development organizations (CDOs) in MDC, working to address women's economic insecurity. The research is informed by a framework developed by Marilyn Gittell, who pioneered an approach to study women-led CDOs in the United States. On the basis of research in nine U.S. cities, she concluded that women-led groups increased community participation and "by creating community networks and civic action, they represent a model for community development efforts" (Gittell, et al. 2000, 123). My study documents the strategies and networks of women-led CDOs in MDC that prioritize women's economic security. Their strategies are especially important during these times of economic recession and government reductions in funding towards social services. The focus of the research is women-led CDOs that work to improve social services access, economic opportunity, civic participation and capacity, and women's rights. Although many women-led CDOs prioritize building social infrastructures that promote change, inequalities in economic and political status for women without economic security remain a challenge (Young 2004). My research supports previous studies by Gittell, et al., finding that women-led CDOs in Miami-Dade County have key characteristics of a model of community development efforts that use networking and collaboration to strengthen their broad, integrated approach. The resulting community partnerships, coupled with participation by constituents in the development process, build a foundation to influence policy decisions for social change. In addition, my findings show that women-led CDOs in Miami-Dade County have a major focus on alleviating poverty and economic insecurity, particularly that of women. Finally, it was found that a majority of the five organizations network transnationally, using lessons learned to inform their work of expanding the agency of their constituents and placing the economic empowerment of women as central in the process of family and community development.