Hamiltonian formalism and the Garrett-Munk spectrum of internal waves in the ocean

Wave turbulence formalism for long internal waves in a stratified fluid is developed, based on a natural Hamiltonian description. A kinetic equation appropriate for the description of spectral energy transfer is derived, and its self-similar stationary solution corresponding to a direct cascade of energy toward the short scales is found. This solution is very close to the high wavenumber limit of the Garrett-Munk spectrum of long internal waves in the ocean. In fact, a small modification of the Garrett-Munk formalism includes a spectrum consistent with the one predicted by wave turbulence.Comment: 4 pages latex fil

A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software

Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. Many different safety analysis techniques have been developed to identify hazards of systems. FTA and FMEA are most commonly used by safety analysts. Recently, STPA has been proposed with the goal to better cope with complex systems including software. Objective: This research aimed at comparing quantitatively these three safety analysis techniques with regard to their effectiveness, applicability, understandability, ease of use and efficiency in identifying software safety requirements at the system level. Method: We conducted a controlled experiment with 21 master and bachelor students applying these three techniques to three safety-critical systems: train door control, anti-lock braking and traffic collision and avoidance. Results: The results showed that there is no statistically significant difference between these techniques in terms of applicability, understandability and ease of use, but a significant difference in terms of effectiveness and efficiency is obtained. Conclusion: We conclude that STPA seems to be an effective method to identify software safety requirements at the system level. In particular, STPA addresses more different software safety requirements than the traditional techniques FTA and FMEA, but STPA needs more time to carry out by safety analysts with little or no prior experience.Comment: 10 pages, 1 figure in Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering (EASE '15). ACM, 201

New Modeling of the Lensing Galaxy and Cluster of Q0957+561: Implications for the Global Value of the Hubble Constant

The gravitational lens 0957+561 is modeled utilizing recent observations of the galaxy and the cluster as well as previous VLBI radio data which have been re-analyzed recently. The galaxy is modeled by a power-law elliptical mass density with a small core while the cluster is modeled by a non-singular power-law sphere as indicated by recent observations. Using all of the current available data, the best-fit model has a reduced chi-squared of approximately 6 where the chi-squared value is dominated by a small portion of the observational constraints used; this value of the reduced chi-squared is similar to that of the recent FGSE best-fit model by Barkana et al. However, the derived value of the Hubble constant is significantly different from the value derived from the FGSE model. We find that the value of the Hubble constant is given by H_0 = 69 +18/-12 (1-K) and 74 +18/-17 (1-K) km/s/Mpc with and without a constraint on the cluster's mass, respectively, where K is the convergence of the cluster at the position of the galaxy and the range for each value is defined by Delta chi-squared = reduced chi-squared. Presently, the best achievable fit for this system is not as good as for PG 1115+080, which also has recently been used to constrain the Hubble constant, and the degeneracy is large. Possibilities for improving the fit and reducing the degeneracy are discussed.Comment: 22 pages in aaspp style including 6 tables and 5 figures, ApJ in press (Nov. 1st issue

Analysis of Negative Revisions to Natural Gas Reserves in Texas

Early problems in overestimating effective porosity in some deep Delaware Basin carbonate reservoirs in the Permian Basin, particularly in District 8, resulted in noticeable negative revisions once these issues were resolved. However, the net negative volume of revisions for the Permian Basin (Districts 8, SA, and parts of 7B and 7C) was nearly an order of magnitude less than that for the Gulf Coast Basin. The largest negative revisions of total natural gas reserves were concentrated in the Gulf Coast within Texas Railroad Commission Districts 2, 3, and 4. District 4, with the largest volume of negative revisions, accounted for 56 percent of all negative revisions in Texas for the period 1966-1979. The total for the three districts equaled that of the whole state for the same period. Negative revisions of non-associated gas reserves in Districts 2, 3, and 4 accounted for more than two-thirds of the total gas negative revisions for the entire state from 1966 through 1979. Large negative revisions were mainly due to a combination of interrelated factors. Among these, the original overestimation of natural gas reserves in the Texas Gulf Coast, fueled by optimism from market-related incentives, was significant. These estimates underwent insufficient critical review and reassessment, as supplies greatly exceeded demand. Continued high Reserves to Production (R/P) ratios into the 1960s further delayed reassessment. Technical variables such as water saturation, reservoir heterogeneity, and recovery factors, as well as non-technical variables including economic climate and regulatory controls, were analyzed. Concern should be raised regarding the quality of reserve estimates declared during times of excess supply, as these reserves would not have undergone the test of extended maximum demand. However, there have been more frequent reviews of actual recoverable reserves over the last five years. Continued careful review of technical factors and awareness of the impacts of economic and regulatory environment changes suggest that extensive negative revisions over the next 10 to 20 years can be avoided.Bureau of Economic Geolog

First e-VLBI observations of GRS 1915+105

We present results from the first successful open call e-VLBI science run, observing the X-ray binary GRS 1915+105. e-VLBI science allows the rapid production of VLBI radio maps, within hours of an observation rather than weeks, facilitating a decision for follow-up observations. A total of 6 telescopes observing at 5 GHz across the European VLBI Network (EVN) were correlated in real time at the Joint Institute for VLBI in Europe (JIVE). Constant data rates of 128 Mbps were transferred from each telescope, giving 4 TB of raw sampled data over the 12 hours of the whole experiment. Throughout this, GRS 1915+105 was observed for a total of 5.5 hours, producing 2.8 GB of visibilities of correlated data. A weak flare occurred during our observations, and we detected a slightly resolved component of 2.7 x 1.2 milliarcsecond with a position angle of 140 (+/-2) degrees. The peak brightness was 10.2 mJy per beam, with a total integrated radio flux of 11.1 mJy.Comment: Accepted for publication in MNRAS 4 pages, 3 figure