Analysis and application of ERTS-1 data for regional geological mapping

Combined visual and digital techniques of analysing ERTS-1 data for geologic information have been tried on selected areas in Pennsylvania. The major physiolographic and structural provinces show up well. Supervised mapping, following the imaged expression of known geologic features on ERTS band 5 enlargements (1:250,000) of parts of eastern Pennsylvania, delimited the Diabase Sills and the Precambrian rocks of the Reading Prong with remarkable accuracy. From unsupervised mapping, transgressive linear features are apparent in unexpected density, and exhibit strong control over river valley and stream channel directions. They are unaffected by bedrock type, age, or primary structural boundaries, which suggests they are either rejuvenated basement joint directions on different scales, or they are a recently impressed structure possibly associated with a drifting North American plate. With ground mapping and underflight data, 6 scales of linear features have been recognized

Computer Aided Decision Support for Planning and Management of Research and Development

The aim of the paper is to present the Decision Support System which has been designed to support the management of research and development activities on the national level. The information processing capabilities of such system are discussed as well as possible methodological frameworks including implementation related issues for providing decision support are presented by the authors

Exhaustive testing of safety critical Java

With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Path Finder (JPF) is a specialized Java virtual machine that can systematically explore execution paths for all possible schedulings, and thus catch these errors. Unfortunately, execution-based model checkers, including JPF, cannot be easily adapted to support real-time programs. We propose a scheduling algorithm for JPF which allows testing of Safety Critical Java (SCJ) applications with periodic event handlers at SCJ levels 0 and 1 (without aperiodic event handlers). The algorithm requires that deadlines are not missed and that there is an execution time model that can give best- and worst-case execution time estimates for a given program path and specific program inputs. Our implementation, named R SJ, allows to search for scheduling dependent memory access errors, certain invalid argument errors, priority ceiling emulation protocol violations, and failed assertions in application code in SCJ programs for levels 0 and 1. It uses the execution time model of the Java Optimized Processor (JOP). We test our tool wit

Ice-Shelf Flexure and Tidal Forcing of Bindschadler Ice Stream, West Antarctica

Viscoelastic models of ice-shelf flexure and ice-stream velocity perturbations are combined into a single efficient flowline model to study tidal forcing of grounded ice. The magnitude and timing of icestream response to tidally driven changes in hydrostatic pressure and/or basal drag are found to depend significantly on bed rheology, with only a perfectly plastic bed allowing instantaneous velocity response at the grounding line. The model can reasonably reproduce GPS observations near the grounding zone of Bindschadler Ice Stream (formerly Ice Stream D) on semidiurnal time scales; however, other forcings such as tidally driven ice-shelf slope transverse to the flowline and flexurally driven till deformation must also be considered if diurnal motion is to be matche

Supraglacial forcing of subglacial drainage in the ablation zone of the Greenland ice sheet

Peer reviewedPublisher PD

Short-term variability in Greenland Ice Sheet motion forced by time-varying meltwater inputs: implications for the relationship between subglacial drainage system behavior and ice velocity.

High resolution measurements of ice motion along a -120 km transect in a land-terminating section of the GrIS reveal short-term velocity variations (<1 day), which are forced by rapid variations in meltwater input to the subglacial drainage system from the ice sheet surface. The seasonal changes in ice velocity at low elevations (<1000 m) are dominated by events lasting from 1 day to 1 week, although daily cycles are largely absent at higher elevations, reflecting different patterns of meltwater input. Using a simple model of subglacial conduit behavior we show that the seasonal record of ice velocity can be understood in terms of a time-varying water input to a channelized subglacial drainage system. Our investigation substantiates arguments that variability in the duration and rate, rather than absolute volume, of meltwater delivery to the subglacial drainage system are important controls on seasonal patterns of subglacial water pressure, and therefore ice velocity. We suggest that interpretations of hydro-dynamic behavior in land-terminating sections of the GrIS margin which rely on steady state drainage theories are unsuitable for making predictions about the effect of increased summer ablation on future rates of ice motion. © 2012. American Geophysical Union

Ice-Shelf Tidal Flexure and Subglacial Pressure Variations

We develop a model of an ice shelf-ice stream system as a viscoelastic beam partially supported by an elastic foundation. When bed rock near the grounding line acts as a fulcrum, leverage from the ice shelf dropping at low tide can cause significant (approx 1 cm) uplift in the first few kilometers of grounded ice.This uplift and the corresponding depression at high tide lead to basal pressure variations of sufficient magnitude to influence subglacial hydrology.Tidal flexure may thus affect basal lubrication, sediment flow, and till strength, all of which are significant factors in ice-stream dynamics and grounding-line stability. Under certain circumstances, our results suggest the possibility of seawater being drawn into the subglacial water system. The presence of sea water beneath grounded ice would significantly change the radar reflectivity of the grounding zone and complicate the interpretation of grounded versus floating ice based on ice-penetrating radar observations