Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “process interactions”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,081 records · Page 60

Long-Lived In-Situ Solar System Explorer (LLISSE): Potential Contributions to the Next Decade of Solar System Exploration

Venus, while having similar size, mass, and location in the solar system to Earth, varies from Earth in many ways and holds many scientific mysteries despite many missions that have focused on it in the past. Primary differences include Venus' climate, atmosphere, and perhaps most notably the extreme surface conditions. The layers of sulfuric acid clouds and high pressure CO2 laden atmosphere make remote sensing at Venus much less effective than at other solar system bodies. In addition, surface conditions present formidable engineering challenges due to the high temperature, pressure, and reactive chemistry. To date, landed missions have not been able to last more than about 2 hours on the surface [1]. This has resulted in significant knowledge gaps about the surface conditions of this important body in the solar system. The science community has effectively no in-situ temporal data at the Venus surface. These data are critical for the development of a thorough understanding of Venus' weather and the processes by which chemical species interact with each other and are transported throughout the atmospheric column. The LLISSE platform, and its variants, are a foundation for future mission concepts based on a core set of long-lived technologies providing significant new science as well as demonstrating new technical capabilities. After completion, LLISSE has the potential to be a complimentary element to missions going to Venus and would provide unique and important science to missions whether they be orbiters or short duration landers.

Kremic, Tibor↗

Long-Lived In-Situ Solar System Explorer (LLISSE)

Venus, while having similar size, mass, and location in the solar system to Earth, varies from Earth in many ways and holds many scientific mysteries despite many missions that have focused on it in the past. Primary differences include Venus' climate, atmosphere, and perhaps most notably the extreme surface conditions. The layers of sulfuric acid clouds and high pressure CO2 laden atmosphere make remote sensing at Venus much less effective than at other solar system bodies. In addition, surface conditions present formidable engineering challenges due to the high temperature, pressure, and reactive chemistry. To date, landed missions have not been able to last more than about 2 hours on the surface [1]. This has resulted in significant knowledge gaps about the surface conditions of this important body in the solar system. The science community has effectively no in-situ temporal data at the Venus surface. These data are critical for the development of a thorough understanding of Venus' weather and the processes by which chemical species interact with each other and are transported throughout the atmospheric column. The LLISSE platform, and its variants, are a foundation for future mission concepts based on a core set of long-lived technologies providing significant new science as well as demonstrating new technical capabilities. After completion, LLISSE has the potential to be a complimentary element to missions going to Venus and would provide unique and important science to missions whether they be orbiters or short duration landers.

Kremic, Tibor↗

Compositional Realizability Checking within FRET

A set of requirements for a reactive system is realizable if, for any sequence of inputs that satisfy the assumptions on the environment, the guarantees always hold. Realizability checking is essential to ensure that an implementation can be constructed that satisfies the requirements. We propose a framework that supports users in the non-trivial task of developing realizable requirements. Our framework uses architectural information to automatically de-compose a set of requirements into subsets that can be analyzed separately, and therefore more efficiently. It then integrates existing algorithms in order to detect unrealizability, identify minimal sets of conflicting requirements, and compute counterexamples. The capability to focus on minimal conflict sets is key for localizing and correcting the sources of unrealizability. Our approach supports this process by enabling users to interactively visualize and explore the produced conflict sets and counterexamples. We have implemented our framework in the open-source Formal Requirements Elicitation Tool (FRET), and have used it on a variety of industrial-level case studies, showcasing the strengths of our approach in terms of raw performance, as well as diagnostic potential.

FRET↗

Cold Season Performance of the NU-WRF Regional Climate Model in the Great Lakes Region

As Earth’s largest collection of freshwater, the Laurentian Great Lakes have enormous ecological and socio-economic value. Their basin has become a regional hotspot of climatic and limnological change, potentially threatening its vital natural resources. Consequentially, there is a need to assess the current state of climate models regarding their performance across the Great Lakes region and develop the next generation of high-resolution regional climate models to address complex limnological processes and lake-atmosphere interactions. In response to this need, the current paper focuses on the generation and analysis of a 20-member ensemble of 3-km National Aeronautics and Space Administration (NASA)-Unified Weather Research and Forecasting (NU-WRF) simulations for the 2014-2015 cold season. The study aims to identify the model’s strengths and weaknesses; optimal configuration for the region; and the impacts of different physics parameterizations, coupling to a 1D lake model, time-variant lake-surface temperatures, and spectral nudging. Several key biases are identified in the cold-season simulations for the Great Lakes region, including an atmospheric cold bias that is amplified by coupling to a 1D lake model but diminished by applying the Community Atmosphere Model radiation scheme and Morrison microphysics scheme; an excess precipitation bias; anomalously early initiation of fall lake turnover and subsequent cold lake bias; excessive and overly persistent lake ice cover; and insufficient evaporation over Lakes Superior and Huron. The research team is currently addressing these key limitations by coupling NU-WRF to a 3D lake model in support of the next generation of regional climate models for the critical Great Lakes Basin.

Michael Notaro↗

The Influence of Sea ice on Arctic Cloud Properties: What Can We Learn by Applying a In Situ Observational Strategy to Satellite Data?

Sea ice is declining because of anthropogenic climate change. This change alters many aspects of the Arctic climate system, including the way that the surface and atmosphere interact. Atmosphere-surface coupling processes represent an important cloud feedback mechanism that can alter the Arctic surface energy budget. For the Arctic, it has been hypothesized that a reduction in sea ice cover could lead to an increase in clouds. If this process were to occur as originally hypothesized, sea ice loss in all seasons would lead to an increase in clouds. Recent observational studies find a cloud response to sea ice loss in non-summer months and no cloud response in summer months. However, previous studies rely on inter-annual variability and reanalysis to control for the influence of meteorology, reducing the confidence in the resulting conclusions. We adopt a phenomenological, event-based approach that does not need to use meteorological reanalysis. The approach analyzes cloud properties derived from CALIPSO-CloudSat over sea ice and adjacent ice-free footprints by compositing individual satellite ground tracks that cross the Arctic sea ice edge. The underlying assumption, which we verify, is that footprints that are close to each other in space and time experience similar large-scale meteorological conditions. Our results show larger cloud fraction and more cloud liquid water over ice-free than over sea ice footprints and provide additional evidence for a seasonal dependence of cloud-sea ice coupling that is in line with previous work. We find a different result where the maximum cloud property differences between sea ice and ice-free ocean occurs in spring, not fall as earlier studies suggest. We argue that these cloud differences between sea ice and ice-free ocean are primarily caused by the influence of the surface type on the thermodynamic stability of the lower troposphere and not principally from an increase in surface evaporation. In addition, we explore the sensitivity of these results to marginal ice zone width, season, Atlantic vs. Pacific sector, and the cloud property dependence on the distance from the sea ice edge. Overall, our results provide further evidence that cloud-sea ice coupling processes are not offsetting the observed surface energy budget perturbation due to sea ice loss in summer; thus, the cloud response to declining sea ice appears to contribute to amplified Arctic warming.

Patrick C Taylor↗

Assessing Progress Toward the Paris Climate Agreement From Space

Concentration monitoring with satellite observations of the “atmospheric stocks” of greenhouse gases offers ways to assess the impact of human activity, natural processes, climate variability, and their interaction beyond what is possible with emissions monitoring alone.

IPCC 2014↗

Managing the Digital Thread for Structural Applications With Fit for Purpose Materials

With the increased emphasis on reducing the cost and time to market of new materials, the need for analytical tools that enable the virtual design and optimization of materials throughout their processing - internal structure - property - performance envelope, along with the capturing and storing of the associated material and model information across its lifecycle, has become critical. This need is also fueled by the demands for higher efficiency in material testing; consistency, quality and traceability of data; product design; engineering analysis; as well as control of access to proprietary or sensitive information. Consequently, at NASA Glenn Research Center a robust information management system that manages the digital thread across the full material life (i.e., capture, analysis, maintenance, and dissemination of data) cycle directed at the design of ‘fit-for-purpose materials’ is under development. To this end the Application Table has been incorporated within NASA Glenn Research Center’s ICME Information Management framework within the ANSYS Granta MI tool. The Application Table provides a place where material and structural application information/requirements can be linked to marry the “design-the-material” (structural engineering) and the “design-with-material” (material science) paradigms and thereby enable application-driven design and optimization of materials and structures. In additional several associated toolsets, specifically: AIMAOS (Automated Information Management Across Organizations and Scales), Py MILab, and JARIMIS (Just A Rather Intelligent Material Interrogation System) are also under development to assist in the judicious automation of this process. AIMOAS offers users an interactive graphical user interface for connecting material information management systems with both commercial and in-house simulation tools at various length scales to enable such automation in the handoff across scales and maintenance of material digital twins and the digital thread. Py MILab, is an automatic framework for the capture, analysis, maintenance, and storage of material test data. Py MILab uses a modular approach for capturing raw data, analyzing the data, and storing the data in a database, interfaced by neutral file structures, to promote plug-and-play capabilities for various analysis types. Finally, JARIMIS is an expert system that integrates various materials informatics tools (e.g., MicroNet, Surrogate ML models, ANSYS Granta MI, etc.) to enable inverse design of materials and facilitate the application of machine learning (ML) and data science with human in the loop decision making to rapidly discover and optimize new materials.

Digital Transformation↗

Advances in automatic extraction of information from multispectral scanner data

The state-of-the-art of automatic multispectral scanner data analysis and interpretation is reviewed. Sources of system variability which tend to obscure the spectral characteristics of the classes under consideration are discussed, and examples of the application of spatial and temporal discrimination bases are given. Automatic processing functions, techniques and methods, and equipment are described with particular attention to those that are applicable to large land surveys using satellite data. The development and characteristics of the Multivariate Interactive Digital Analysis System (MIDAS) for processing aircraft or satellite multispectral scanning data are discussed in detail. The MIDAS system combines the parallel digital implementation capabilities of a low-cost processor with a general purpose PDP-11/45 minicomputer to provide near-real-time data processing. The preprocessing functions are user-selectable. The input subsystem accepts data stored on high density digital tape, computer compatible tape, and analog tape.

Erickson, J. D.↗

The roles of dynamical and chemical processes in determining the stratospheric concentration of ozone in one-dimensional and two-dimensional models

The two-dimensional model of Ko et al. (1985) was used to calculate the stratospheric concentrations of ozone, to determine the principal modes of balance for different stratospheric regions. The results of this analysis show that the local concentration of ozone in different regions of stratosphere is determined by balances between different mechanisms. In the upper stratosphere, the ozone concentration is dominated by photochemical processes, whereas in the mid-lower stratosphere, the bulk of ozone appears to be controlled by an interaction between the transport and the photochemical processes. The results point to the limitations of one-dimensional models, which fail to properly account for the effect of transport in the lower stratosphere.

Ko, Malcolm K. W.↗

"Coulombic Viscosity" In Granular Materials: Planetary and Astrophysical Implications

The term "Coulombic viscosity" is introduced here to define an empirically observed phenomenon from experiments conducted in both microgravity, and in ground-based 1-g conditions. In the latter case, a sand attrition device was employed to test the longevity of aeolian materials by creating two intersecting grain-circulation paths or cells that would lead to most of the grain energy being expended on grain-to-grain collisions (simulating dune systems). In the areas in the device where gravitationally-driven grain-slurries recycled the sand, the slurries moved with a boundary-layer impeded motion down the chamber walls. Excessive electrostatic charging of the grains during these experiments was prevented by the use of an a.c. corona (created by a Tesla coil) through which the grains passed on every cycle. This created both positive and negative ions which neutralized the triboelectrically-generated grain charges. When the corona was switched on, the velocity of the wall-attached slurries increased by a factor of two as approximately determined by direct observation. What appeared to be a freely-flowing slurry of grains impeded only by intergranular mechanical friction, had obviously been significantly retarded in its motion by electrostatic forces between the grains; with the charging reduced, the grains were able to move past one another without a flow "viscosity" imposed by the Coulombic intergranular forces. A similar phenomenon was observed during microgravity experiments aboard Space Shuttle in USML-1 & USML-2 spacelabs where freely-suspended clouds of sand were being investigated for their potential to for-m aggregates. In this environment, the grains were also charged electrostatically (by natural processes prior to flight), but were free from the intervention of gravity in their interactions. The grains were dispersed into dense clouds by bursts of air turbulence and allowed to form aggregates as the ballistic and turbulent motions damped out. During this very brief (30-60 sec) damping period, motion of the grains was observed to be retarded by the electrostatic interactions. The fact that the grains almost instantly formed aggregates was evidence that their ballistic motions had been constrained and redirected by the dipole-dipole interactions that led to filamentary aggregate development. Undoubtedly, the "Coulombic viscosity" of the cloud assisted in damping grain motion so rapidly. The electrostatically-induced grain-cloud viscosity or drag exerted on grain motion, is a complex function of three major parameters: charge magnitude, charge sign, and mean intergranular distance. The above experiments illustrate one particular type of granular behavior. The discussion here will therefore be restricted to drag relationships: (a) between grains that are naturally charged triboelectrically and thus exhibit dipole-dipole attractions between one another even if there are slight net charges present (which can be overwhelmed by dipole coupling at short distances), and (b) between grains that are densely spaced where the intergranular distance varies between zero and some value (usually tens or hundreds of grain diameters) that permits each grain to detect the dipole moment of another grain -- the distance is not so great that other grains appears as neutral electrical "singularities. I. Aeolian transport: During motion of grains in a saltation cloud (on Earth, Mars, or Venus), triboelectric charging must occur as a result of multiple grain contacts, and by friction with the entraining air. A situation might develop that is similar to the one described above in the attrition device: grain motion becoming significantly retarded (reduced flux) as grains find it increasingly difficult to either separate from the surface, or to pass one another without Coulombic retarding forces. A "Coulombic drag" will exist at flux initiation and increase with time to work in direct opposition to the aerodynamic drag that drives the grain motion. It is predicted that this will lead to an increase with time of both the aerodynamic and bed-dilatancy thresholds (3). Because of Paschen discharge effects in the martian atmosphere, the electrostatic charging in a saltation cloud may be partially abated, but this will lead to greater grain mobility, more charging, and thus to a charge-discharge steady state mediated by mechanical interactions. II. Dry colluvial systems: Sand avalanches on dunes, dry debris flows, talus flows, avalanches, and pyroclastic surges are examples of gravity-driven, dense granular flows where rock/grain fragmentation and grain-to-grain interactions cause triboelectrification (sometimes augmented by other electrical charging processes), and where the grain densities of the systems are such that strong dipole-dipole interactions between grains might be expected to be present. Because it is expected that the Coulombic forces between grains will cause a sluggishness or enhanced granular-flow viscosity, the motion of a grain mass will be retarded or damped so that this will assist, ultimately, in terminating the flow. The greatest Coulombic viscosity will be created in the most highly charged systems, which will also be the most energetic. Thus, grain flows have some tendency to be self-limiting by internal energy partitioning; gravitational potential is converted to Coulombic potential, which manifests itself as a drag force between the grains. III. Volcanic eruption plumes and impact ejecta curtains: The violence of these systems leads to powerful electrical charging of particulates. Lightning storms emanating from volcanic plumes are a testimony to the levels of charging. As pyroclastic grains interact forcefully and frequently within eruption plumes, it is reasonable to predict that the internal turbulent motions of the plume will be significantly damped by the Coulombic viscosity exerted by grain charges. Additional information is contained in the original.

Marshall, J. R.↗

Determination of solar flare accelerated ion angular distributions from SMM gamma ray and neutron measurements and determination of the He-3/H ratio in the solar photosphere from SMM gamma ray measurements

Comparisons of Solar Maximum Mission (SMM) observations of gamma-ray line and neutron emission with theoretical calculation of their expected production by flare accelerated ion interactions in the solar atmosphere have led to significant advances in the understanding of solar flare particle acceleration and interaction, as well as the flare process itself. These comparisons have enabled the determination of, not only the total number and energy spectrum of accelerated ions trapped at the sun, but also the ion angular distribution as they interact in the solar atmosphere. The Monte Carlo program was modified to include in the calculations of ion trajectories the effects of both mirroring in converging magnetic fields and of pitch angle scattering. Comparing the results of these calculations with the SMM observations, not only the angular distribution of the interacting ions can be determined, but also the initial angular distribution of the ions at acceleration. The reliable determination of the solar photospheric He-3 abundance is of great importance for understanding nucleosynthesis in the early universe and its implications for cosmology, as well as for the study of the evolution of the sun. It is also essential for the determinations of the spectrum and total number of flare accelerated ions from the SMM/GRS gamma-ray line measurements. Systematic Monte Carlo calculations of the time dependence were made as a function of the He-3 abundance and other variables. A new series of calculations were compared for the time-dependent flux of 2.223 MeV neutron capture line emission and the ratio of the time-integrated flux in the 2.223 MeV line to that in the 4.1 to 6.4 MeV nuclear deexcitation band.

Lingenfelter, Richard E.↗

The Effect of the Wall Contact and Post-Growth, Cool-Down on Defects in CdTe Crystals Grown By 'Contactless' PVT

To take a maximum advantage of materials processing in microgravity for understanding the effects of gravity, gravity-independent effects should be minimized. In crystal growth, the quality of the grown crystals may depend, among other factors, on their interaction with the walls of the processing container during and after growth, and on the rate of the crystal cool-down at the end of the process. To investigate the above phenomena, a series of CdTe crystal growth processes was carried out. The crystals were grown by physical vapor transport without contact with the side walls of the silica glass ampoules. To eliminate the effect of the seed quality, and to reduce the number of nuclei and related crystal grains, the Low Supersaturation Nucleation technique was applied. The source temperature was 930 C, the undercooling was a few degrees. The crystals, having the diameter of 25 mm, grew at the rate of a few mm per day. The post-growth cool-down to the room temperature was conducted at different rates, and lasted from a few minutes to four days. The crystals were characterized using chemical etching, low temperature luminescence, and Synchrotron White Beam X-ray Topography techniques. The dislocation (etch pit) density was measured and its distribution was analyzed by comparison with Poisson curves and with the Normalized Radial Distribution Correlation Function. In the regions where the crystal is in contact with silica, the materials show a considerable strain field which extends for a few mm or more from the silica-crystal interface. In the reference crystal grown with contact with the ampoule walls, and when the crystals are cooled at the highest rates, the etch pit/dislocation density is in the high 10(exp 5) per square centimeter region. Typical EPD values for lower cool-down rates are in the lower 10(exp 4) per square centimeter region. In some areas the actual dislocation density was about 10(exp 3) per square centimeter or even less. No apparent effect of the cool-down rate on polygonization was observed. Low temperature PL spectra show, that the dominant peak is (D(sup 0), h) and (A(sup 0), e) for samples with low and high dislocation densities, respectively. For low EPD crystals a peak at 1.45 eV with 21 meV phonon replicas was observed and attributed to donor-acceptor pair to neutral copper-acceptor transition. In high EPD crystals this PL structure was not observed, apparently due to the masking effect of the strong contribution from the dislocation band.

Palosz, W.↗

High-Performance Monitoring Architecture for Large-Scale Distributed Systems Using Event Filtering

Monitoring is an essential process to observe and improve the reliability and the performance of large-scale distributed (LSD) systems. In an LSD environment, a large number of events is generated by the system components during its execution or interaction with external objects (e.g. users or processes). Monitoring such events is necessary for observing the run-time behavior of LSD systems and providing status information required for debugging, tuning and managing such applications. However, correlated events are generated concurrently and could be distributed in various locations in the applications environment which complicates the management decisions process and thereby makes monitoring LSD systems an intricate task. We propose a scalable high-performance monitoring architecture for LSD systems to detect and classify interesting local and global events and disseminate the monitoring information to the corresponding end- points management applications such as debugging and reactive control tools to improve the application performance and reliability. A large volume of events may be generated due to the extensive demands of the monitoring applications and the high interaction of LSD systems. The monitoring architecture employs a high-performance event filtering mechanism to efficiently process the large volume of event traffic generated by LSD systems and minimize the intrusiveness of the monitoring process by reducing the event traffic flow in the system and distributing the monitoring computation. Our architecture also supports dynamic and flexible reconfiguration of the monitoring mechanism via its Instrumentation and subscription components. As a case study, we show how our monitoring architecture can be utilized to improve the reliability and the performance of the Interactive Remote Instruction (IRI) system which is a large-scale distributed system for collaborative distance learning. The filtering mechanism represents an Intrinsic component integrated with the monitoring architecture to reduce the volume of event traffic flow in the system, and thereby reduce the intrusiveness of the monitoring process. We are developing an event filtering architecture to efficiently process the large volume of event traffic generated by LSD systems (such as distributed interactive applications). This filtering architecture is used to monitor collaborative distance learning application for obtaining debugging and feedback information. Our architecture supports the dynamic (re)configuration and optimization of event filters in large-scale distributed systems. Our work represents a major contribution by (1) survey and evaluating existing event filtering mechanisms In supporting monitoring LSD systems and (2) devising an integrated scalable high- performance architecture of event filtering that spans several kev application domains, presenting techniques to improve the functionality, performance and scalability. This paper describes the primary characteristics and challenges of developing high-performance event filtering for monitoring LSD systems. We survey existing event filtering mechanisms and explain key characteristics for each technique. In addition, we discuss limitations with existing event filtering mechanisms and outline how our architecture will improve key aspects of event filtering.

Maly, K.↗

ISPAN (Interactive Stiffened Panel Analysis): A tool for quick concept evaluation and design trade studies

Interactive Stiffened Panel Analysis (ISPAN) modules, written in FORTRAN, were developed to provide an easy to use tool for creating finite element models of composite material stiffened panels. The modules allow the user to interactively construct, solve and post-process finite element models of four general types of structural panel configurations using only the panel dimensions and properties as input data. Linear, buckling and post-buckling solution capability is provided. This interactive input allows rapid model generation and solution by non finite element users. The results of a parametric study of a blade stiffened panel are presented to demonstrate the usefulness of the ISPAN modules. Also, a non-linear analysis of a test panel was conducted and the results compared to measured data and previous correlation analysis.

Hairr, John W.↗

An Open Computing Infrastructure that Facilitates Integrated Product and Process Development from a Decision-Based Perspective

Computer applications for design have evolved rapidly over the past several decades, and significant payoffs are being achieved by organizations through reductions in design cycle times. These applications are overwhelmed by the requirements imposed during complex, open engineering systems design. Organizations are faced with a number of different methodologies, numerous legacy disciplinary tools, and a very large amount of data. Yet they are also faced with few interdisciplinary tools for design collaboration or methods for achieving the revolutionary product designs required to maintain a competitive advantage in the future. These organizations are looking for a software infrastructure that integrates current corporate design practices with newer simulation and solution techniques. Such an infrastructure must be robust to changes in both corporate needs and enabling technologies. In addition, this infrastructure must be user-friendly, modular and scalable. This need is the motivation for the research described in this dissertation. The research is focused on the development of an open computing infrastructure that facilitates product and process design. In addition, this research explicitly deals with human interactions during design through a model that focuses on the role of a designer as that of decision-maker. The research perspective here is taken from that of design as a discipline with a focus on Decision-Based Design, Theory of Languages, Information Science, and Integration Technology. Given this background, a Model of IPPD is developed and implemented along the lines of a traditional experimental procedure: with the steps of establishing context, formalizing a theory, building an apparatus, conducting an experiment, reviewing results, and providing recommendations. Based on this Model, Design Processes and Specification can be explored in a structured and implementable architecture. An architecture for exploring design called DREAMS (Developing Robust Engineering Analysis Models and Specifications) has been developed which supports the activities of both meta-design and actual design execution. This is accomplished through a systematic process which is comprised of the stages of Formulation, Translation, and Evaluation. During this process, elements from a Design Specification are integrated into Design Processes. In addition, a software infrastructure was developed and is called IMAGE (Intelligent Multidisciplinary Aircraft Generation Environment). This represents a virtual apparatus in the Design Experiment conducted in this research. IMAGE is an innovative architecture because it explicitly supports design-related activities. This is accomplished through a GUI driven and Agent-based implementation of DREAMS. A HSCT design has been adopted from the Framework for Interdisciplinary Design Optimization (FIDO) and is implemented in IMAGE. This problem shows how Design Processes and Specification interact in a design system. In addition, the problem utilizes two different solution models concurrently: optimal and satisfying. The satisfying model allows for more design flexibility and allows a designer to maintain design freedom. As a result of following this experimental procedure, this infrastructure is an open system that it is robust to changes in both corporate needs and computer technologies. The development of this infrastructure leads to a number of significant intellectual contributions: 1) A new approach to implementing IPPD with the aid of a computer; 2) A formal Design Experiment; 3) A combined Process and Specification architecture that is language-based; 4) An infrastructure for exploring design; 5) An integration strategy for implementing computer resources; and 6) A seamless modeling language. The need for these contributions is emphasized by the demand by industry and government agencies for the development of these technologies.

Hale, Mark A.↗

System and method for deriving a process-based specification

A system and method for deriving a process-based specification for a system is disclosed. The process-based specification is mathematically inferred from a trace-based specification. The trace-based specification is derived from a non-empty set of traces or natural language scenarios. The process-based specification is mathematically equivalent to the trace-based specification. Code is generated, if applicable, from the process-based specification. A process, or phases of a process, using the features disclosed can be reversed and repeated to allow for an interactive development and modification of legacy systems. The process is applicable to any class of system, including, but not limited to, biological and physical systems, electrical and electro-mechanical systems in addition to software, hardware and hybrid hardware-software systems.

Hinchey, Michael Gerard↗

Waves In Space Plasmas (WISP)

Waves in space plasmas (WISP) utilizes powerful radio transmitters and sensitive receivers to probe the secrets of the magnetosphere, ionosphere and atmosphere. The scientific objective is to achieve a better understanding of the physical processes occurring in these regions. For example, audio frequency radio waves will be radiated from the long WISP antenna, will travel to the outer reaches of the magnetosphere, and will interact with Van Allen belt particles, releasing some of their energy which amplifies the waves. Study of this interaction will give a better understanding of a major magnetospheric process, wave-particle interactions. Radio waves from WISP at higher frequencies (AM radio and beyond) will be reflected by the ionosphere and will, for example, advance our understanding of bubbles in the equatorial ionosphere which affect satellite communications.

Taylor, W. W. L.↗

Evaluating models of climate and forest vegetation

Understanding how the biosphere may respond to increasing trace gas concentrations in the atmosphere requires models that contain vegetation responses to regional climate. Most of the processes ecologists study in forests, including trophic interactions, nutrient cycling, and disturbance regimes, and vital components of the world economy, such as forest products and agriculture, will be influenced in potentially unexpected ways by changing climate. These vegetation changes affect climate in the following ways: changing C, N, and S pools; trace gases; albedo; and water balance. The complexity of the indirect interactions among variables that depend on climate, together with the range of different space/time scales that best describe these processes, make the problems of modeling and prediction enormously difficult. These problems of predicting vegetation response to climate warming and potential ways of testing model predictions are the subjects of this chapter.

Clark, James S.↗