Naval Postgraduate School

About: Naval Postgraduate School is a education organization based out in Monterey, California, United States. It is known for research contribution in the topics: Tropical cyclone & Boundary layer. The organization has 5246 authors who have published 11614 publications receiving 298300 citations. The organization is also known as: NPS & U.S. Naval Postgraduate School.

The Future of Arctic Sea Ice

Abstract: Arctic sea ice is a key indicator of the state of global climate because of both its sensitivity to warming and its role in amplifying climate change. Accelerated melting of the perennial sea ice cover has occurred since the late 1990s, which is important to the pan-Arctic region, through effects on atmospheric and oceanic circulations, the Greenland ice sheet, snow cover, permafrost, and vegetation. Such changes could have significant ramifications for global sea level, the ocean thermohaline circulation, native coastal communities, and commercial activities, as well as effects on the global surface energy and moisture budgets, atmospheric and oceanic circulations, and geosphere-biosphere feedbacks. However, a system-level understanding of critical Arctic processes and feedbacks is still lacking. To better understand the past and present states and estimate future trajectories of Arctic sea ice and climate, we argue that it is critical to advance hierarchical regional climate modeling and coordinate it with the design of an integrated Arctic observing system to constrain models.

Advances in Pseudospectral Methods for Optimal Control

Abstract: Recently, the Legendre pseudospectral (PS) method migrated from theory to ∞ight application onboard the International Space Station for performing a flnite-horizon, zeropropellant maneuver. A small technical modiflcation to the Legendre PS method is necessary to manage the limiting conditions at inflnity for inflnite-horizon optimal control problems. Motivated by these technicalities, the concept of primal-dual weighted interpolation, introduced earlier by the authors, is used to articulate a unifled theory for all PS methods for optimal control. This theory illuminates the previously hidden fact of the unit weight function implicit in the the Legendre PS method based on Legendre-Gauss-Lobatto points. The unifled framework also reveals why this Legendre PS method is the most appropriate method for solving flnite-horizon optimal control problems with arbitrary boundary conditions. This conclusion is borne by a proper deflnition of orthogonality needed to generate convergent approximations in Hilbert spaces. Special boundary conditions are needed to ensure the convergence of the Legendre PS method based on the Legendre-Gauss-Radau (LGR) and the Legendre-Gauss (LG) points. These facts are illustrated by simple examples and counter examples which reveal when and why PS methods based on LGR and LG points fail. A new kind of consistency in the primal-dual weight functions allows us to generate dual maps (such as Hamiltonians, adjoints etc) without resorting to solving di‐cult two-point boundary-value problems. These concepts are encapsulated in a unifled Covector Mapping Theorem.

The use of self checks and voting in software error detection: an empirical study

Abstract: The results of an empirical study of software error detection using self checks and N-version voting are presented. Working independently, each of 24 programmers first prepared a set of self checks using just the requirements specification of an aerospace application, and then each added self checks to an existing implementation of that specification. The modified programs were executed to measure the error-detection performance of the checks and to compare this with error detection using simple voting among multiple versions. The analysis of the checks revealed that there are great differences in the ability of individual programmers to design effective checks. It was found that some checks that might have been effective failed to detect an error because they were badly placed, and there were numerous instances of checks signaling nonexistent errors. In general, specification-based checks alone were not as effective as specification-based checks combined with code-based checks. Self checks made it possible to identify faults that had not been detected previously by voting 28 versions of the program over a million randomly generated inputs. This appeared to result from the fact that the self checks could examine the internal state of the executing program, whereas voting examines only final results of computations. If internal states had to be identical in N-version voting systems, then there would be no reason to write multiple versions. >

Active spacecraft potential control for Cluster - implementation and first results

Abstract: Electrostatic charging of a spacecraft modifies the distribution of electrons and ions before the particles enter the sensors mounted on the spacecraft body. The floating potential of magnetospheric satellites in sunlight very often reaches several tens of volts, making measurements of the cold (several eV) component of the ambient ions impossi- ble. The plasma electron data become contaminated by large fluxes of photoelectrons attracted back into the sensors. The Cluster spacecraft are equipped with emitters of the liquid metal ion source type, producing indium ions at 5 to 9 keV energy at currents of some tens of microampere. This current shifts the equilibrium potential of the spacecraft to moderately positive values. The design and principles of the operation of the instrument for active spacecraft poten- tial control (ASPOC) are presented in detail. Experience with spacecraft potential control from the commissioning phase and the first two months of the op- erational phase are now available. The instrument is oper- ated with constant ion current for most of the time, but tests have been carried out with varying currents and a "feedback" mode with the instrument EFW, which measures the space- craft potential . That has been reduced to values according to expectations. In addition, the low energy electron measure- ments show substantially reduced fluxes of photoelectrons as expected. The flux decrease in photoelectrons returning to the spacecraft, however, occurs at the expense of an en-