BEHAVIOR OF FIBER REINFORCED POLYMER COMPOSITE PILES WITH ELLIPTICAL CROSS SECTIONS IN INTEGRAL ABUTMENT BRIDGE FOUNDATIONS

Every year in the US and other cold-climate countries considerable amount of money is spent to restore structural damages in conventional bridges resulting from (or “caused by”) salt corrosion in bridge expansion joints. Frequent usage of deicing salt in conventional bridges with expansion joints results in corrosion and other damages to the expansion joints, steel girders, stiffeners, concrete rebar, and any structural steel members in the abutments. The best way to prevent these damages is to eliminate the expansion joints at the abutment and elsewhere and make the entire bridge abutment and deck a continuous monolithic structural system. This type of bridge is called Integral Abutment Bridge which is now widely used in the US and other cold-climate countries. In order to provide lateral flexibility, the entire abutment is constructed on piles. Piles used in integral abutments should have enough capacity in the perpendicular direction to support the vertical forces. In addition, piles should be able to withstand corrosive environments near the surface of the ground and maintain their performance during the lifespan of the bridge. Fiber Reinforced Polymer (FRP) piles are a new type of pile that can not only accommodate large displacements, but can also resist corrosion significantly better than traditional steel or concrete piles. The use of FRP piles extends the life of the pile which in turn extends the life of the bridge. This dissertation studies FRP piles with elliptical shapes. The elliptical shapes can simultaneously provide flexibility and stiffness in two perpendicular axes. The elliptical shapes can be made using the filament winding method which is a less expensive method of manufacturing compared to the pultrusion or other manufacturing methods. In this dissertation a new way is introduced to construct the desired elliptical shapes with the filament winding method. Pile specifications such as dimensions, number of layers, fiber orientation angles, material, and soil stiffness are defined as parameters and the effects of each parameter on the pile stresses and pile failure have been studied. The ANSYS software has been used to model the composite materials. More than 14,000 nonlinear finite element pile models have been created, each slightly different from the others. The outputs of analyses have been used to draw curves. Optimum values of the parameters have been defined using generated curves. The best approaches to find optimum shape, angle of fibers and types of composite material have been discussed.

Language-based Techniques for Practical and Trustworthy Secure Multi-party Computations

Secure Multi-party Computation (MPC) enables a set of parties to collaboratively compute, using cryptographic protocols, a function over their private data in a way that the participants do not see each other's data, they only see the final output. Typical MPC examples include statistical computations over joint private data, private set intersection, and auctions. While these applications are examples of monolithic MPC, richer MPC applications move between "normal" (i.e., per-party local) and "secure" (i.e., joint, multi-party secure) modes repeatedly, resulting overall in mixed-mode computations. For example, we might use MPC to implement the role of the dealer in a game of mental poker -- the game will be divided into rounds of local decision-making (e.g. bidding) and joint interaction (e.g. dealing). Mixed-mode computations are also used to improve performance over monolithic secure computations. Starting with the Fairplay project, several MPC frameworks have been proposed in the last decade to help programmers write MPC applications in a high-level language, while the toolchain manages the low-level details. However, these frameworks are either not expressive enough to allow writing mixed-mode applications or lack formal specification, and reasoning capabilities, thereby diminishing the parties' trust in such tools, and the programs written using them. Furthermore, none of the frameworks provides a verified toolchain to run the MPC programs, leaving the potential of security holes that can compromise the privacy of parties' data. This dissertation presents language-based techniques to make MPC more practical and trustworthy. First, it presents the design and implementation of a new MPC Domain Specific Language, called Wysteria, for writing rich mixed-mode MPC applications. Wysteria provides several benefits over previous languages, including a conceptual single thread of control, generic support for more than two parties, high-level abstractions for secret shares, and a fully formalized type system and operational semantics. Using Wysteria, we have implemented several MPC applications, including, for the first time, a card dealing application. The dissertation next presents Wys*, an embedding of Wysteria in F*, a full-featured verification oriented programming language. Wys* improves on Wysteria along three lines: (a) It enables programmers to formally verify the correctness and security properties of their programs. As far as we know, Wys* is the first language to provide verification capabilities for MPC programs. (b) It provides a partially verified toolchain to run MPC programs, and finally (c) It enables the MPC programs to use, with no extra effort, standard language constructs from the host language F*, thereby making it more usable and scalable. Finally, the dissertation develops static analyses that help optimize monolithic MPC programs into mixed-mode MPC programs, while providing similar privacy guarantees as the monolithic versions.

Data-Driven Wildfire Propagation Modeling with FARSITE-EnKF

The goal of this study is to provide a framework for future researchers to understand and use the FARSITE wildfire-forecasting model with data assimilation. Current wildfire models lack the ability to provide accurate prediction of fire front position faster than real-time. When FARSITE is coupled with a recursive ensemble filter, the data assimilation forecast method improves. The scope includes an explanation of the standalone FARSITE application, technical details on FARSITE integration with a parallel program coupler called OpenPALM, and a model demonstration of the FARSITE-Ensemble Kalman Filter software using the FireFlux I experiment by Craig Clements. The results show that the fire front forecast is improved with the proposed data-driven methodology than with the standalone FARSITE model.