An approach for design and analysis of User-centric Communication Middleware

Today, the development of domain-specific communication applications is both time-consuming and error-prone because the low-level communication services provided by the existing systems and networks are primitive and often heterogeneous. Multimedia communication applications are typically built on top of low-level network abstractions such as TCP/UDP socket, SIP (Session Initiation Protocol) and RTP (Real-time Transport Protocol) APIs. The User-centric Communication Middleware (UCM) is proposed to encapsulate the networking complexity and heterogeneity of basic multimedia and multi-party communication for upper-layer communication applications. And UCM provides a unified user-centric communication service to diverse communication applications ranging from a simple phone call and video conferencing to specialized communication applications like disaster management and telemedicine. It makes it easier to the development of domain-specific communication applications. The UCM abstraction and API is proposed to achieve these goals. The dissertation also tries to integrate the formal method into UCM development process. The formal model is created for UCM using SAM methodology. Some design errors are found during model creation because the formal method forces to give the precise description of UCM. By using the SAM tool, formal UCM model is translated to Promela formula model. In the dissertation, some system properties are defined as temporal logic formulas. These temporal logic formulas are manually translated to promela formulas which are individually integrated with promela formula model of UCM and verified using SPIN tool. Formal analysis used here helps verify the system properties (for example multiparty multimedia protocol) and dig out the bugs of systems.

Orthogonal frequency division multiplexing based air interfaces and multiple input multiple output techniques in cooperative satellite communications for 4th generation mobile systems

Recently, wireless network technology has grown at such a pace that scientific research has become a practical reality in a very short time span. Mobile wireless communications have witnessed the adoption of several generations, each of them complementing and improving the former. One mobile system that features high data rates and open network architecture is 4G. Currently, the research community and industry, in the field of wireless networks, are working on possible choices for solutions in the 4G system. 4G is a collection of technologies and standards that will allow a range of ubiquitous computing and wireless communication architectures. The researcher considers one of the most important characteristics of future 4G mobile systems the ability to guarantee reliable communications from 100 Mbps, in high mobility links, to as high as 1 Gbps for low mobility users, in addition to high efficiency in the spectrum usage. On mobile wireless communications networks, one important factor is the coverage of large geographical areas. In 4G systems, a hybrid satellite/terrestrial network is crucial to providing users with coverage wherever needed. Subscribers thus require a reliable satellite link to access their services when they are in remote locations, where a terrestrial infrastructure is unavailable. Thus, they must rely upon satellite coverage. Good modulation and access technique are also required in order to transmit high data rates over satellite links to mobile users. This technique must adapt to the characteristics of the satellite channel and also be efficient in the use of allocated bandwidth. Satellite links are fading channels, when used by mobile users. Some measures designed to approach these fading environments make use of: (1) spatial diversity (two receive antenna configuration); (2) time diversity (channel interleaver/spreading techniques); and (3) upper layer FEC. The author proposes the use of OFDM (Orthogonal Frequency Multiple Access) for the satellite link by increasing the time diversity. This technique will allow for an increase of the data rate, as primarily required by multimedia applications, and will also optimally use the available bandwidth. In addition, this dissertation approaches the use of Cooperative Satellite Communications for hybrid satellite/terrestrial networks. By using this technique, the satellite coverage can be extended to areas where there is no direct link to the satellite. For this purpose, a good channel model is necessary.

Sediment accretion and organic carbon burial relative to sea-level rise and storm events in two mangrove forests in Everglades National Park

The goal of this investigation was to examine how sediment accretion and organic carbon (OC) burial rates in mangrove forests respond to climate change. Specifically, will the accretion rates keep pace with sea-level rise, and what is the source and fate of OC in the system? Mass accumulation, accretion and OC burial rates were determined via 210Pb dating (i.e. 100 year time scale) on sediment cores collected from two mangrove forest sites within Everglades National Park, Florida (USA). Enhanced mass accumulation, accretion and OC burial rates were found in an upper layer that corresponded to a well-documented storm surge deposit. Accretion rates were 5.9 and 6.5 mm yr− 1 within the storm deposit compared to overall rates of 2.5 and 3.6 mm yr− 1. These rates were found to be matching or exceeding average sea-level rise reported for Key West, Florida. Organic carbon burial rates were 260 and 393 g m− 2 yr− 1 within the storm deposit compared to 151 and 168 g m− 2 yr− 1 overall burial rates. The overall rates are similar to global estimates for OC burial in marine wetlands. With tropical storms being a frequent occurrence in this region the resulting storm surge deposits are an important mechanism for maintaining both overall accretion and OC burial rates. Enhanced OC burial rates within the storm deposit could be due to an increase in productivity created from higher concentrations of phosphorus within storm-delivered sediments and/or from the deposition of allochthonous OC. Climate change-amplified storms and sea-level rise could damage mangrove forests, exposing previously buried OC to oxidation and contribute to increasing atmospheric CO2 concentrations. However, the processes described here provide a mechanism whereby oxidation of OC would be limited and the overall OC reservoir maintained within the mangrove forest sediments.

Sediment Accretion and Organic Carbon Burial Relative to Sea-Level Rise and Storm Events in Two Mangrove Forests in Everglades National Park

The goal of this investigation was to examine how sediment accretion and organic carbon (OC) burial rates in mangrove forests respond to climate change. Specifically, will the accretion rates keep pace with sea-level rise, and what is the source and fate of OC in the system? Mass accumulation, accretion and OC burial rates were determined via 210Pb dating (i.e. 100 year time scale) on sediment cores collected from two mangrove forest sites within Everglades National Park, Florida (USA). Enhanced mass accumulation, accretion and OC burial rates were found in an upper layer that corresponded to a well-documented storm surge deposit. Accretion rates were 5.9 and 6.5 mm yr− 1 within the storm deposit compared to overall rates of 2.5 and 3.6 mm yr− 1. These rates were found to be matching or exceeding average sea-level rise reported for Key West, Florida. Organic carbon burial rates were 260 and 393 g m− 2 yr− 1 within the storm deposit compared to 151 and 168 g m− 2 yr− 1 overall burial rates. The overall rates are similar to global estimates for OC burial in marine wetlands. With tropical storms being a frequent occurrence in this region the resulting storm surge deposits are an important mechanism for maintaining both overall accretion and OC burial rates. Enhanced OC burial rates within the storm deposit could be due to an increase in productivity created from higher concentrations of phosphorus within storm-delivered sediments and/or from the deposition of allochthonous OC. Climate change-amplified storms and sea-level rise could damage mangrove forests, exposing previously buried OC to oxidation and contribute to increasing atmospheric CO2 concentrations. However, the processes described here provide a mechanism whereby oxidation of OC would be limited and the overall OC reservoir maintained within the mangrove forest sediments.