Engineering topics
Publications and source records attributed to Cheng, B..
The measurement of global sea surface height made by the TOPEX/POSEIDON satellite has provided the first synoptic view of large-scale oceanic variability at the intraseasonal scales from weeks to months.
Wind taken from the National Aeronautics and Space Administration (NASA) scatterometer (NSCAT) is compared with the operational analysis from European Center for Medium-Rnage Forecast (ECMWF) for the entire duration (about 9 months) of the NSCAT mission.
For a wide range of nonlinear wave processes - from capillary to planetary waves - theory predicts the existence of Kolmogorov-type spectral cascades of energy and other conserved quantities occuring via nonlinear resonant wave-wave interactions. So far, observations of wave turbulence (WT) have been limited to small-scale processes such as surface gravity and capillary-gravity waves.
Higher order statistics, especially 2nd order statistics, have been used to study ocean processes for many years in the past, and occupy an appreciable part of the research literature on physical oceanography. They in turn form part of a much larger field of study in statistical fluid mechanics.
This paper describes the application of formal methods and object-oriented modeling to reverse engineering, in which formal specifications are developed for existing, or legacy, code. In this project, several layers of formal specifications were constructed for a portion of the NASA Space Shuttle Digital Auto Pilot (DAP), a software module that is used to control the position of the spacecraft through appropriate jet firings.