Spatial and Temporal Dynamics of Larval Atlantic Menhaden on the East Coast of the United States

Atlantic Menhaden Brevoortia tyrannus is a commercially and ecologically important forage fish abundant on the Atlantic Coast of the United States. We conducted spatial and temporal analyses of larval Atlantic Menhaden using data collected from two large-scale ichthyoplankton programs during 1977-1987 and 1999-2013 to construct indices of larval abundance and survival over time, evaluate how environmental factors affect early life survival, and examine how larvae are distributed in space to gain knowledge on spawning and larval dispersal. Over time, we found larval abundance to increase, while early life survival declined. Coastal temperature, wind speed, and Atlantic Multidecadal Oscillation were found to potentially explain some of this decline in survival. Over both periods, we found evidence spawning predominantly occurs near shore, from New York to North Carolina, increasing in intensity southwards. While the general spatial patterns were consistent, we observed some localized variation and overall expansion of occupied area by larvae.

Motion Planning and Controls with Safety and Temporal Constraints

Motion planning, or trajectory planning, commonly refers to a process of converting high-level task specifications into low-level control commands that can be executed on the system of interest. For different applications, the system will be different. It can be an autonomous vehicle, an Unmanned Aerial Vehicle(UAV), a humanoid robot, or an industrial robotic arm. As human machine interaction is essential in many of these systems, safety is fundamental and crucial. Many of the applications also involve performing a task in an optimal manner within a given time constraint. Therefore, in this thesis, we focus on two aspects of the motion planning problem. One is the verification and synthesis of the safe controls for autonomous ground and air vehicles in collision avoidance scenarios. The other part focuses on the high-level planning for the autonomous vehicles with the timed temporal constraints. In the first aspect of our work, we first propose a verification method to prove the safety and robustness of a path planner and the path following controls based on reachable sets. We demonstrate the method on quadrotor and automobile applications. Secondly, we propose a reachable set based collision avoidance algorithm for UAVs. Instead of the traditional approaches of collision avoidance between trajectories, we propose a collision avoidance scheme based on reachable sets and tubes. We then formulate the problem as a convex optimization problem seeking control set design for the aircraft to avoid collision. We apply our approach to collision avoidance scenarios of quadrotors and fixed-wing aircraft. In the second aspect of our work, we address the high level planning problems with timed temporal logic constraints. Firstly, we present an optimization based method for path planning of a mobile robot subject to timed temporal constraints, in a dynamic environment. Temporal logic (TL) can address very complex task specifications such as safety, coverage, motion sequencing etc. We use metric temporal logic (MTL) to encode the task specifications with timing constraints. We then translate the MTL formulae into mixed integer linear constraints and solve the associated optimization problem using a mixed integer linear program solver. We have applied our approach on several case studies in complex dynamical environments subjected to timed temporal specifications. Secondly, we also present a timed automaton based method for planning under the given timed temporal logic specifications. We use metric interval temporal logic (MITL), a member of the MTL family, to represent the task specification, and provide a constructive way to generate a timed automaton and methods to look for accepting runs on the automaton to find an optimal motion (or path) sequence for the robot to complete the task.

Gospel Music Training, Performance Practice and Its Impact on Leadership Development and Performed Nationalism in a Collegiate Military Choir

Since America’s beginnings as a British colony, its musical standards have adhered to those of Western Europe. For this reason, musical forms native to America like Black folk spirituals and Gospel music have historically been marginalized in favor of music in the Western classical tradition. Today, a bias towards music of the Western classical tradition exists in those American universities that grant music degrees. While this bias is understandable, inclusion of Gospel music history and performance practice would result in a more complete understanding of American music and its impact on American nationalism. The United States Naval Academy is one of the few American universities that have consistently elevated the performance of Gospel music to the level of Western Classical music within its institutional culture. The motivations for writing this document are to provide a brief history of Gospel music in the United States and of choral music at the Naval Academy. These historical accounts serve as lenses though which the intersection of Gospel music performance practice and leadership development at the United States Naval Academy may be observed. During the last two decades of the twentieth century, Gospel music intersected American military culture at the U.S. Naval Academy. After a few student-led attempts in the 1970s, a Gospel Choir was formed in 1986 but by 1990, it had become an official part of the Music Department. Ultimately, it received institutional support and today, the Gospel Choir is one of three touring choirs authorized to represent the Academy in an official capacity. This document discusses the promotion of Gospel music by the Naval Academy in its efforts to diversify Academy culture and ultimately, Naval and Marine Corps leadership. Finally, this dissertation examines the addition of performed cultural expression (Gospel music) in light of a shift in American nationalism and discusses its impact on Naval Academy culture.

Self-Organizing Map Neural Architectures Based on Limit Cycle Attractors

Recent efforts to develop large-scale neural architectures have paid relatively little attention to the use of self-organizing maps (SOMs). Part of the reason is that most conventional SOMs use a static encoding representation: Each input is typically represented by the fixed activation of a single node in the map layer. This not only carries information in an inefficient and unreliable way that impedes building robust multi-SOM neural architectures, but it is also inconsistent with rhythmic oscillations in biological neural networks. Here I develop and study an alternative encoding scheme that instead uses limit cycle attractors of multi-focal activity patterns to represent input patterns/sequences. Such a fundamental change in representation raises several questions: Can this be done effectively and reliably? If so, will map formation still occur? What properties would limit cycle SOMs exhibit? Could multiple such SOMs interact effectively? Could robust architectures based on such SOMs be built for practical applications? The principal results of examining these questions are as follows. First, conditions are established for limit cycle attractors to emerge in a SOM through self-organization when encoding both static and temporal sequence inputs. It is found that under appropriate conditions a set of learned limit cycles are stable, unique, and preserve input relationships. In spite of the continually changing activity in a limit cycle SOM, map formation continues to occur reliably. Next, associations between limit cycles in different SOMs are learned. It is shown that limit cycles in one SOM can be successfully retrieved by another SOM’s limit cycle activity. Control timings can be set quite arbitrarily during both training and activation. Importantly, the learned associations generalize to new inputs that have never been seen during training. Finally, a complete neural architecture based on multiple limit cycle SOMs is presented for robotic arm control. This architecture combines open-loop and closed-loop methods to achieve high accuracy and fast movements through smooth trajectories. The architecture is robust in that disrupting or damaging the system in a variety of ways does not completely destroy the system. I conclude that limit cycle SOMs have great potentials for use in constructing robust neural architectures.