27,230 research outputs found
The Joint Airport Weather Studies (JAWS) project
A block diagram of the joint airport weather studies program is presented. Background leading to the development of the program is reviewed. Basic studies, aircraft performance, and detection and warning techniques used to develop fine scale structure of thunderstorm dynamics and kinematics in the vicinity of a major airport; effect of thunderstorm low level wind shear on aircraft performance; and development of real time testing of flow level wind shear detection and warning techniques and displays are described
A study of the reactions of third grade pupils to the various types of children's literature that were available during three specific periods: 1900-1920; 1920-1940; 1940-1953
Thesis (Ed.M.)--Boston Universit
Elementary particles, holography and the BMS group
In the context of asymptotically flat space-times, it has been suggested to
label elementary particles as unitary irreducible representations of the BMS
group. We analyse this idea in the spirit of the holographic principle
advocating the use of this definition.Comment: 5 pages, revtex Several comments added, enhanced bibliograph
A mathematical morphology approach for a qualitative exploration of drought events in space and time
Drought events occur worldwide and possibly incur severe consequences. Trying to understand and characterize drought events is of considerable importance in order to improve the preparedness for coping with future events. In this paper, we present a methodology that allows for the delineation of drought events by exploiting their spatiotemporal nature. To that end, we apply operators borrowed from mathematical morphology to represent drought events as connected components in space and time. As an illustration, we identify drought events on the basis of a 35-year data set of daily soil moisture values covering mainland Australia. We then extract characteristics reflecting the affected area, duration and intensity from the proposed representation of a drought event in order to illustrate the impact of tuning parameters in the methodology presented. Yet, this paper we refrain from comparing with other drought delineation methods
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
Circumscription is a representative example of a nonmonotonic reasoning
inference technique. Circumscription has often been studied for first order
theories, but its propositional version has also been the subject of extensive
research, having been shown equivalent to extended closed world assumption
(ECWA). Moreover, entailment in propositional circumscription is a well-known
example of a decision problem in the second level of the polynomial hierarchy.
This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for
entailment in propositional circumscription that explores the relationship of
propositional circumscription to minimal models. The new algorithm is inspired
by ideas commonly used in SAT-based model checking, namely counterexample
guided abstraction refinement. In addition, the new algorithm is refined to
compute the theory closure for generalized close world assumption (GCWA).
Experimental results show that the new algorithm can solve problem instances
that other solutions are unable to solve
Recommended from our members
Bearing damage characteristics of fibre-reinforced countersunk composite bolted joints subjected to quasi-static shear loading
This paper studies the progression of damage in carbon fibre-reinforced polymer (CFRP) countersunk composite bolted joints (CBJs) with neat-fit clearance, subjected to quasi-static loading. Damage mechanisms, comprising of fibre buckling and breakage, matrix damage, shear damage and inter-laminar delamination within the CFRP composite parts of the joints have been studied. Load-displacement curves, X-ray and optical microscopic images in single- and three-bolt CBJs were used to investigate damage and deformation characteristics. The observations were then employed to further investigate the type of failure and the extent of damage. The evolution of damage within the composite parts was correlated to the failure characteristics of the joints: It was found that the type and extension of damage is strongly correlated with the ultimate failure load point of the joint in single-bolt CBJs. A combined inter/intra-laminar damage consisting of fibre cluster breakage, extensive fibre buckling, debonding and delamination was observed at the ultimate failure load. This study was then extended to three-bolt CBJ where damage surrounding each bolt and its corresponding failure load was strongly correlated: The final study showed that the ultimate failure point in single-bolt CBJ and the first-bolt-failure point in three-bolt CBJ correspond to the composite plies undergoing intra-laminar damage with the size reaching to the edge of the countersunk head. This damage developed extensively through the thickness of the composite parts underneath the countersink, and in the direction opposite to the loading direction. Outside the countersunk head, debonding and delamination were found to be the dominant damage driving mechanisms. Finally, a new design rule has been proposed to predict the response of multi-bolt joints (damage area and failure load) by using the response in single-bolt CBJ as an initial baseline
- …