Combined remote-sensing,model, and in situ measurements of sea surface temperature as an aid to recreational navigation: crossing the Gulf Stream

Combined in situ, model, and satellite remote-sensing observations are used to determine the location of the Gulf Stream as an aid to safe navigation for small recreational vessels.

A field study was executed from Hamilton, Bermuda, to Virginia Beach, USA, over a period of 5 days, from 30 June 2010 to 4 July 2010 to test the feasibility of using remote-sensing products as an aid to cross the Gulf Stream from the point of view of a small, slow-moving (?6 knots, 3 m s^?1) sailboat. The in situ data collected were compared to NASA Moderate Resolution Imaging Spectroradiometer (MODIS) and Tropical Rainfall Measuring Mission (TRMM) Microwave Imager (TMI) remote-sensing data, to the Global High Resolution Sea Surface Temperature (GHRSST) microwave and infrared blended data set, to the National Oceanic and Atmospheric Administration Real-Time Ocean Forecast System (NOAARTOFS) ocean model, and to selected NOAA buoy and ship measurements.

A spatio-temporal analysis was performed by comparing the in situ measurements with observations retrieved at the same time and location in each of the data sets. The least error (correlation coefficient r?=?0.94) was obtained using MODIS data, and the largest error (r?=?0.78) was obtained using the RTOFS model data. Overall, most observations agree with the general spatio-temporal trend of the in situ data, with 95% of the errors within ±1°C and 98% of the errors within ±2°C.

The study shows that MODIS data are particularly suited to identification of the location of the Gulf Stream, which can be used by small vessels to optimize the crossing route and to minimize the risks associated with the passage.     

Geschichtliche Entwicklung und aktuelle Praxis der Probebelastung — Teil 2: Entwicklung von Normen und heutige Anwendung

Im Zuge des massenhaften Einsatzes von Probebelastungen im 19. und zu Beginn des 20. Jahrhunderts zeigte sich die Notwendigkeit, deren Planung, Durchführung und Auswertung durch allgemeine Richtlinien und Normen zu stützen. Im Beitrag wird das Ringen um erste zaghafte Festlegungen beschrieben, die im Laufe der Jahre immer konkreter zu einer verwendbaren Handlungsgrundlage ausgearbeitet wurden. Unter Kritikern blieb jedoch immer die Frage über die Sicherheit und vor allem die Aussagekraft von Belastungsversuchen auf der Grundlage der verwendeten Bewertungskriterien offen. Mit der Weiterentwicklung der Berechnungsverfahren auch durch den Einsatz von Computertechnik wurden Probebelastungen von Neubauten ab den 1970‐er Jahren entbehrlich. Für auffällig gewordene bestehende Tragwerke stellt die Probebelastung jedoch auch heute noch eine — und manchmal die einzige — Methode zum Nachweis einer ausreichenden Tragfähigkeit dar. Die hierfür angewendete moderne Belastungs‐ und Messtechnologie bietet jedoch im Unterschied zur traditionellen Vorgehensweise ein hohes Maß an Sicherheit und Informationsgewinn. Historical Development and current practise of load tests in situ — Part 2: Development of standards and current practise. Because of the large demand and use of load testing in the 19th and at the beginning of the 20th century, there was the necessity to standardise the planning, execution and analysis in general guidelines and codes. This article describes the struggling and first tentative specification, which were more and more specified to an useful basis in the following years. The used criterions for the assessment have often been a reason for critics on the value and the safety of loading tests. The further development of calculation methods especially the computer technology made the load testing of new structures superfluous in the 1970s. But for existing structures loading tests are today often a — and sometimes the only — method to proof a sufficient load bearing capacity. The today used modern loading‐ and measuring technology provides, in contrast to the traditional method, a high degree of safety and structural information.     

Trends in ecstasy use in the United States from 1995 to 2001: Comparison with marijuana users and association with other drug use.

This study aims to estimate changes in the prevalence of ecstasy use over time, analyze the overlap of ecstasy use and other drug use, and compare other drug use in ecstasy versus marijuana users. The authors hypothesized that ecstasy users early in the "epidemic" would be polydrug users and that associations between ecstasy and other drug use would diminish as the prevalence of ecstasy use increased. Data were drawn from public use data files from the 1995, 1997, 1999, and 2001 National Household Survey on Drug Abuse. Ecstasy use increased in the U.S. population and the prevalence was greater in younger age groups. Ecstasy users were likely to use a variety of other drugs; however, association of ecstasy use with other drug use was strongest early in the "epidemic," diminishing as the number of new users increased. Later, more drug-naive adolescents and young adults began experimenting with ecstasy. These results can orient prevention strategies that target ecstasy users. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A logic of argumentation for specification and verification of abstract argumentation frameworks

In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung??s abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like ??if the argument to increase taxes is accepted, then the argument to increase services must be accepted too,?? we can either verify an extension of acceptable arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification. We introduce the logic of argumentation verification to specify such requirements, and we represent the three verification problems of argumentation as model checking and theorem proving properties of the logic. Moreover, we recast the logic of argumentation verification in a modal framework, in order to express multiple extensions, and properties like transitivity and reflexivity of the attack relation. Finally, we introduce a logic of meta-argumentation where abstract argumentation is used to reason about abstract argumentation itself. We define the logic of meta-argumentation using the fibring methodology in such a way to represent attack relations not only among arguments but also among attacks. We show how to use this logic to verify the requirements of argumentation frameworks where higher-order attacks are allowed [A preliminary version of the logic of argumentation compliance was called the logic of abstract argumentation?(2005).]     

Online Adaptive Approximate Optimal Tracking Control with Simplified Dual Approximation Structure for Continuous-time Unknown Nonlinear Systems

This paper proposes an online adaptive approximate solution for the infinite-horizon optimal tracking control problem of continuous-time nonlinear systems with unknown dynamics. The requirement of the complete knowledge of system dynamics is avoided by employing an adaptive identifier in conjunction with a novel adaptive law, such that the estimated identifier weights converge to a small neighborhood of their ideal values. An adaptive steady-state controller is developed to maintain the desired tracking performance at the steady-state, and an adaptive optimal controller is designed to stabilize the tracking error dynamics in an optimal manner. For this purpose, a critic neural network (NN) is utilized to approximate the optimal value function of the Hamilton-Jacobi-Bellman (HJB) equation, which is used in the construction of the optimal controller. The learning of two NNs, i.e., the identifier NN and the critic NN, is continuous and simultaneous by means of a novel adaptive law design methodology based on the parameter estimation error. Stability of the whole system consisting of the identifier NN, the critic NN and the optimal tracking control is guaranteed using Lyapunov theory; convergence to a near-optimal control law is proved. Simulation results exemplify the effectiveness of the proposed method.      

Computational models of myocardial endomysial collagen arrangement

Collagen extracellular matrix is one of the factors related to high passive stiffness of cardiac muscle. However, the architecture and the mechanical aspects of the cardiac collagen matrix are not completely known. In particular, endomysial collagen contribution to the passive mechanics of cardiac muscle as well as its micro anatomical arrangement is still a matter of debate. In order to investigate mechanical and structural properties of endomysial collagen, we consider two alternative computational models of some specific aspects of the cardiac muscle. These two models represent two different views of endomysial collagen distribution: (1) the traditional view and (2) a new view suggested by the data obtained from scanning electron microscopy (SEM) in NaOH macerated samples (a method for isolating collagen from the other tissue). We model the myocardial tissue as a net of spring elements representing the cardiomyocytes together with the endomysial collagen distribution. Each element is a viscous elastic spring, characterized by an elastic and a viscous constant. We connect these springs to imitate the interconnections between collagen fibers. Then we apply to the net of springs some external forces of suitable magnitude and direction, obtaining an extension of the net itself. In our setting, the ratio forces magnitude /net extension is intended to model the stress /strain ratio of a microscopical portion of the myocardial tissue. To solve the problem of the correct identification of the values of the different parameters involved, we use an artificial neural network approach. In particular, we use this technique to learn, given a distribution of external forces, the elastic constants of the springs needed to obtain a desired extension as an equilibrium position. Our experimental findings show that, in the model of collagen distribution structured according to the new view, a given stress /strain ratio (of the net of springs, in the sense specified above) is obtained with much smaller (w.r.t. the other model, corresponding to the traditional view) elasticity constants of the springs. This seems to indicate that by an appropriate structure, a given stiffness of the myocardial tissue can be obtained with endomysial collagen fibers of much smaller size.     

Threshold lowering in GaN micropillar lasers by means of spatiallyselective optical pumping

A new optical pumping method is demonstrated for creating a population inversion in GaN micropillar cavities with circular symmetry. This approach employs an axicon lens to produce a ring-shaped optical beam and provides for independent control of ring thickness and diameter. By bringing the pump beam into coincidence with whispering gallery modes confined near the outer rim of the cavity, we achieve a significant reduction in the threshold pump intensity for room-temperature operation of GaN micropillar lasers     

Sexual variables and shock-elicited aggression.

Investigated the relationship between sex and the amount of shock-elicited aggression (SEA) in 4 experiments. Results show that (a) Sprague-Dawley males (n = 48) had higher SEA frequencies than females (n = 48), but this difference was not statistically significant; (b) Long-Evans males (n = 32) exhibited higher SEA frequencies than females (n = 32); (c) sham-operated Sprague-Dawley males (n = 35) showed higher SEA frequencies than castrated males (n = 35) but this difference was diminished by testosterone replacement in the castrated group; and (d) SEA was unrelated to free-field or stabilometer activity measurement (n = 40 male Sprague-Dawley rats). Considerable aggression occurred in all Ss, suggesting that although sexual variables affect SEA, they do not play as important a role as in other kinds of aggression. (28 ref.) (PsycINFO Database Record (c) 2010 APA, all rights reserved)