The objective of this research is to develop innovative techniques for modeling and control of network congestion. Most existing network controls have discontinuous actions, but such discontinuity in control actions is commonly omitted in analytical models, and instead continuous models were widely adopted in the literature. This approximation works well under certain conditions, but it does cause significant discrepancy in creating robust, responsive control solutions for congestion management. In this dissertation, I investigated three major topics. I proposed a generic discontinuous congestion control model and its design methodology to guarantee asymptotic stability and eliminate traffic oscillation, based on the sliding mode control (SMC) theory. My scheme shows that discontinuity plays a crucial role in optimization of the I-D based congestion control algorithms. When properly modeled, the simple I-D control laws can be made highly robust to parameter and model uncertainties. I discussed applicability of this model to some existing flow or congestion control schemes, e.g. XON/XOFF, rate and window based AIMD, RED, etc. It can also be effectively applied to design of detection and defense of distributed denial of service (DDoS) attacks. DDoS management can be considered a special case of the flow control problem. Based on my generic discontinuous congestion control model, I developed a backward-propagation feedback control strategy for DDoS detection and defense. It not only prevents DDoS attacks but also provides smooth traffic and bounded queue size. Another application of the congestion control algorithms is design of private group communication networks. I proposed a new technique for protection of group communications by concealment of sender-recipient pairs. The basic approach is to fragment and disperse encrypted messages into packets to be transported along different paths, so that the adversary cannot efficiently determine the source/recipient of a message without correct ordering of all packets. Packet flows among nodes are made balanced, to eliminate traffic patterns related to group activities. I proposed a sliding window-based flow control scheme to control transmission of payload and dummy packets. My algorithms allow flexible tradeoff between traffic concealment and performance requirement.

The contents of this work investigate the capability of integrating the PT in applications by invoking the ratio of the throughput power to volume represented by the term: power density. The fundamentals of the PT are introduced in chapter two. In chapter three, the fundamental limitations of the PT's capability of transferring power to the load are studied. There are three major limitations: temperature rise due to losses during operation, electromechanical limits of material, and interactions with output rectifier. The analysis and estimation are then verified by experiments and calculations implemented on three different PT samples fabricated from three different manufacturers. The subject of chapter four is the behavior of the PT's power amplifier. This chapter concentrates on two main amplifier topologies, optimized based on the simplicity of structure and minimization of components (passive and active): class D and class E amplifiers. The operational characteristics of these amplifiers with the PT are then comparison. Methods to track the optimum frequency and discontinuous working mode of the PT are proposed as the approaches to improve the energy transfer of the PT. In chapter five, prototypes of four devices using a PT are developed and introduced as illustrations of the integration of PTs into practical applications: an igniter for high intensity discharge (HID) lamps, high DC voltage power supplies, and electronic ballasts for LEDs, and stand-alone ionizers for food sterilizers. Some concluding statements and ideas for future works are located in the last chapter - chapter six.

Waves and circulation processes interact in daily wind and tide driven flows as well as in more extreme events such as hurricanes. Currents and water levels affect wave propagation and the location of wave-breaking zones, while wave forces induce setup and currents. Despite this interaction, waves and circulation processes are modeled separately using different approaches. Circulation processes are represented by the shallow water equations, which conserve mass and momentum. This approach for wind-generated waves is impractical for large geographic scales due to the fine resolution that would be required. Therefore, wind-waves are instead represented in a spectral sense, governed by the action balance equation, which propagates action density through both geographic and spectral space. Even though wind-waves and circulation are modeled separately, it is important to account for their interactions by coupling their respective models. In this dissertation we use discontinuous-Galerkin (DG) methods to couple spectral wave and circulation models to model wave-current interactions. We first develop, implement, verify and validate a DG spectral wave model, which allows for the implementation of unstructured meshes in geographic space and the utility of adaptive, higher-order approximations in both geographic and spectral space. We then couple the DG spectral wave model to an existing DG circulation model, which is run on the same geographic mesh and allows for higher order information to be passed between the two models. We verify and validate coupled wave/circulation model as well as analyzing the error of the coupled wave/circulation model. / text

Storm surge, the pileup of seawater occurring as a result of high surface stresses and strong currents generated by extreme storm events such as hurricanes, is known to cause greater loss of life than these storms' associated winds. For example, inland flooding from the storm surge along the Gulf Coast during Hurricane Katrina killed hundreds of people. Previous storms produced even larger death tolls. Simultaneously, dune, barrier island, and channel erosion taking place during a hurricane leads to the removal of major flow controls, which significantly affects inland inundation. Also, excessive sea bed scouring around pilings can compromise the structural integrity of bridges, levees, piers, and buildings. Modeling these processes requires tightly coupling a bed morphology equation to the shallow water equations (SWE). Discontinuous Galerkin finite element methods (DGFEMs) are a natural choice for modeling this coupled system, given the need to solve these problems on large, complicated, unstructured computational meshes, as well as the desire to implement hp-adaptivity for capturing the dynamic features of the solution. Comprehensive modeling of these processes in the coastal zone presents several challenges and open questions. Most existing hydrodynamic models use a fixed-bed approach; the bottom is not allowed to evolve in response to the fluid motion. With respect to movable-bed models, there is no single, generally accepted mathematical model in use. Numerical challenges include coupling models of processes that exhibit disparate time scales during fair weather, but possibly similar time scales during intense storms. The main goals of this dissertation include implementing a robust, efficient, tightly-coupled morphological model using the local discontinuous Galerkin (LDG) method within the existing Advanced Circulation (ADCIRC) modeling framework, performing systematic code and model verification (using test cases with known solutions, proven convergence rates, or well-documented physical behavior), analyzing the stability and accuracy of the implemented numerical scheme by way of a priori error estimates, and ultimately laying some of the necessary groundwork needed to simultaneously model storm surges and bed morphodynamics during extreme storm events. / text

No description available.

A software program was written that implements a finite element analysis (FEA) solution as the basis of an optimization function used for guiding the inverse design problem of aligning fibres, minimizing displacements in a fibre-reinforced polymer composite part in response to a given loading condition, for various part geometries. The FEA solution makes use of the superlinear RGNTet4 element, which includes 3 displacement and 3 rotational degrees of freedom at 4 nodes. Convergence testing verified the accuracy of the solver versus symbolic results for simple cases. Multivariate optimization over fibre orientations and volume fractions was carried out for a simple test case using the NLOpt nonlinear optimization library. Both derivative-free and gradient-based algorithms were tested. Low-Storage Broyden-Fletcher-Goldfarb-Shannon was the most effective algorithm. Four more complex cases were examined, and by varying fibre orientations, reductions of 48%, 66%, 58% and 32% were achieved in displacements at the loaded nodes.

The Distinct Element Method (DEM) and Discontinuous Deformation Analysis (DDA) are the two most commonly used discrete element methods in rock mechanics. Discrete element approaches are computationally expensive as they involve the interaction of multiple discrete bodies with continuously changing contacts. Therefore, it is very important to ensure that the method selected for the analysis is computationally efficient. In this research, a general assessment of DDA and DEM is performed from a computational efficiency perspective, and relevant enhancements to DDA are developed. The computational speed of DDA is observed to be considerably slower than DEM. In order to identify reasons affecting the computational efficiency of DDA, fundamental aspects of DDA and DEM are compared which suggests that they mainly differ in the contact mechanics, and the time integration scheme used. An in-depth evaluation of these aspects revealed that the openclose iterative procedure used in DDA which exhibits highly nonlinear behavior is one of the main reasons causing DDA to slow down. In order to improve the computational efficiency of DDA, an alternative approach based on a more realistic rock joint behavior is developed in this research. In this approach, contacts are assumed to be deformable, i.e., interpenetrations of the blocks in contact are permitted. This eliminated the computationally expensive open-close iterative procedure adopted in DDA-Shi and enhanced its speed up to four times. In order to consider deformability of the blocks in DDA, several approaches are reported. The hybrid DDA-FEM approach is one of them, although this approach captures the block deformability quite effectively, it becomes computationally expensive for large-scale problems. An alternative simplified uncoupled DDA-FEM approach is developed in this research. The main idea of this approach is to model rigid body movement and the block internal deformation separately. Efficiency and simplicity of this approach lie in keeping the DDA and the FEM algorithms separate and solving FEM equations individually for each block. Based on a number of numerical examples presented in this dissertation, it is concluded that from a computational efficiency standpoint, the implicit solution scheme may not be appropriate for discrete element modelling. Although for quasi-static problems where inertia effects are insignificant, implicit schemes have been successfully used for linear analyses, they do not prove to be advantageous for contact-type problems even in quasi-static mode due to the highly nonlinear behavior of contacts.

No description available.

No description available.

Resumo: Neste trabalho introduzimos uma classe de sistemas dinâmicos descontínuos com espaço tempo contínuo e analisamos Teoremas que asseguram condições suficientes para a estabilidade de Lyapunov utilizando funções de Lyapunov. Além disso, consideramos também Teoremas de Recíproca, que sob algumas condições garantem uma determinada necessidade para esses Teoremas de estabilidade de Lyapunov. / Abstract: In this work we introduce a class of discontinuous dynamical systems with time space continuous and we analyze Theorems that ensure sufficient conditions for the Lyapunov stability using Lyapunov functions. Moreover, we also consider Converse Theorems, which under some conditions guarantee a determined necessity for those Theorems of Lyapunov stability. / Orientador: Geraldo Nunes Silva / Coorientador: Luis Antônio Fernandes de Oliveira / Banca: Luis Antônio Barrera San Martin / Banca: Adalberto Spezamiglio / Mestre