Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “conditional probability”

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 703 records · Page 39

Factors controlling lava dome morphology

Research suggests that variations in lava dome morphology on different planets will depend much more critically on local gravity and the style of eruption than on the magma composition, ambient temperature, or the relative roles of convective and radiative cooling. Eruption style in turn reflects differences in tectonic conditions and the ability of magma to exsolve volatiles. Observed crude correlations between silica content and calculated yield strengths for terrestrial lava flows and domes probably are do to differences in extrusion rate and volatile solubility, rather than intrinsic rheological properties. Thus, even after taking the known effect of gravity into account, observed differences in gross dome morphology on different planets cannot by themselves be directly related to composition. Additional information such as the distribution of surface textures and structures, or spectroscopic data will be needed to conclusively establish dome compositions.

Fink, Jonathan↗

A satellite data terminal for land mobile use

Telesat Mobile Incorporated (TMI) has recently introduced the Mobile Data Service (MDS) into Canada. This paper outlines the system design and some key aspects of the detailed design of the Mobile Earth Terminal (MET) developed by Canadian Aeronautics Limited (CAL) for use with the MDS. The technical requirements for the MET are outlined and the equipment architecture is described. The major design considerations for each functional module are then addressed. Environmental conditions unique to the land mobile service are highlighted, along with the measures taken to ensure satisfactory operation and survival of the MET. Finally, the probable direction of future developments is indicated.

Sutherland, Colin A.↗

Probabilistic structural analysis algorithm development for computational efficiency

The PSAM (Probabilistic Structural Analysis Methods) program is developing a probabilistic structural risk assessment capability for the SSME components. An advanced probabilistic structural analysis software system, NESSUS (Numerical Evaluation of Stochastic Structures Under Stress), is being developed as part of the PSAM effort to accurately simulate stochastic structures operating under severe random loading conditions. One of the challenges in developing the NESSUS system is the development of the probabilistic algorithms that provide both efficiency and accuracy. The main probability algorithms developed and implemented in the NESSUS system are efficient, but approximate in nature. In the last six years, the algorithms have improved very significantly.

Wu, Y.-T.↗

Atmospheric Visibility Monitoring for planetary optical communications

The Atmospheric Visibility Monitoring project endeavors to improve current atmospheric models and generate visibility statistics relevant to prospective earth-satellite optical communications systems. Three autonomous observatories are being used to measure atmospheric conditions on the basis of observed starlight; these data will yield clear-sky and transmission statistics for three sites with high clear-sky probabilities. Ground-based data will be compared with satellite imagery to determine the correlation between satellite data and ground-based observations.

Cowles, Kelly↗

The Turbulent/Non-Turbulent Interface Bounding a Far-Wake

The velocity fields of a turbulent wake behind a flat plate obtained from the direct numerical simulations of Moser et al. are used to study the structure of the flow in the intermittent zone where there are, alternately, regions of fully turbulent flow and non-turbulent velocity fluctuations either side of a thin randomly moving interface. Comparisons are made with a wake that is 'forced' by amplifying initial velocity fluctuations. There is also a random temperature field T in the flow; T varies between constant values of 0.0 and 1.0 on the sides of the wake. The value of the Reynolds number based on the centreplane mean velocity defect and halfwidth b of the wake is Re approx. = 2000. It is found that the thickness of the continuous interface is about equal to 0.07b, whereas the amplitude of fluctuations of the instantaneous interface displacement y(sub I)(t) is an order of magnitude larger, being about 0.5b. This explains why the mean statistics of vorticity in the intermittent zone can be calculated in terms of the probability distribution of y(sub I) and the instantaneous discontinuity in vorticity across the interface. When plotted as functions of y - y(sub I), the conditional mean velocity (U) and temperature (T) profiles show sharp jumps Delta(U) and Delta(T) at the interface adjacent to a thick zone where (U) and (T) vary much more slowly. Statistics for the vorticity and velocity variances, available in such detail only from DNS data, show how streamwise and spanwise components of vorticity are generated by vortex stretching in the bulges of the interface. Flow fields around the interface, analyzed in terms of the local streamline pattern, confirm previous results that the advancement of the vortical interface into the irrotational flow is driven by large-scale eddy motion. It is argued that because this is an inviscid mechanism the entrainment process is not sensitive to the value of Re, and that small-scale nibbling only plays a subsidiary role. While mean Reynolds stresses decrease gradually in the intermittent zone, conditional stresses are found to decrease sharply towards zero at the interface. Using one-point turbulence models applied to either unconditional or conditional statistics for the turbulent region and then averaged, the entrainment rate E(sub b) would, if calculated exactly, be zero. But if computed with standard computational methods, E(sub b) would be non-zero because of numerical diffusion. It is concluded that the current practice in statistical models of approximating entrainment by a diffusion process is computationally arbitrary and physically incorrect. An analysis shows how E(sub b) is related to Delta(U) and the jump in shear stress at the interface, and correspondingly to Delta(T) and the heat flux.

Bisset, David K.↗

Complexity for Survival of Living Systems

A logical connection between the survivability of living systems and the complexity of their behavior (equivalently, mental complexity) has been established. This connection is an important intermediate result of continuing research on mathematical models that could constitute a unified representation of the evolution of both living and non-living systems. Earlier results of this research were reported in several prior NASA Tech Briefs articles, the two most relevant being Characteristics of Dynamics of Intelligent Systems (NPO- 21037), NASA Tech Briefs, Vol. 26, No. 12 (December 2002), page 48; and Self-Supervised Dynamical Systems (NPO- 30634) NASA Tech Briefs, Vol. 27, No. 3 (March 2003), page 72. As used here, living systems is synonymous with active systems and intelligent systems. The quoted terms can signify artificial agents (e.g., suitably programmed computers) or natural biological systems ranging from single-cell organisms at one extreme to the whole of human society at the other extreme. One of the requirements that must be satisfied in mathematical modeling of living systems is reconciliation of evolution of life with the second law of thermodynamics. In the approach followed in this research, this reconciliation is effected by means of a model, inspired partly by quantum mechanics, in which the quantum potential is replaced with an information potential. The model captures the most fundamental property of life - the ability to evolve from disorder to order without any external interference. The model incorporates the equations of classical dynamics, including Newton s equations of motion and equations for random components caused by uncertainties in initial conditions and by Langevin forces. The equations of classical dynamics are coupled with corresponding Liouville or Fokker-Planck equations that describe the evolutions of probability densities that represent the uncertainties. The coupling is effected by fictitious information-based forces that are gradients of the information potential, which, in turn, is a function of the probability densities. The probability densities are associated with mental images both self-image and nonself images (images of external objects that can include other agents). The evolution of the probability densities represents mental dynamics. Then the interaction between the physical and metal aspects of behavior is implemented by feedback from mental to motor dynamics, as represented by the aforementioned fictitious forces. The interaction of a system with its self and nonself images affords unlimited capacity for increase of complexity. There is a biological basis for this model of mental dynamics in the discovery of mirror neurons that learn by imitation. The levels of complexity attained by use of this model match those observed in living systems. To establish a mechanism for increasing the complexity of dynamics of an active system, the model enables exploitation of a chain of reflections exemplified by questions of the form, "What do you think that I think that you think...?" Mathematically, each level of reflection is represented in the form of an attractor performing the corresponding level of abstraction with more details removed from higher levels. The model can be used to describe the behaviors, not only of biological systems, but also of ecological, social, and economics ones.

Zak, Michail↗

Evaluation of Elements used for Manufacturing of NanoLam Metallized Polymer Film Capacitors

Metallized polymer film capacitors (MPFC) manufactured by NanoLam technology have a better volumetric efficiency and performance that may exceed the reliability of conventional MPFCs typically used in power and high voltage systems that require high insulation resistance and low power losses. These capacitors can be also an effective replacement for electrolytic and stacked ceramic capacitors currently used in space applications looking to save significant volume and mass. This report evaluates the effects of environmental conditions including radiation and storage at room and high temperatures on the characteristics of NanoLam elements used in the production of MPFCs. Assessments of the reliability acceleration factors and predictions for the useful life are made based on highly accelerated life tests (HALT) using distributions of times to parametric failures at different stress conditions. It has been shown that even a relatively small amount of moisture absorbed at room environments in the dielectric layers may substantially change the probability of failure. In the presence of moisture, degradation processes that started after voltage application continue with time during storage.

Metallized polymer film capacitors (MPFC)↗

Analysis of Rapidly Developing Low Cloud Ceilings in a Stable Environment

This report describes the work done by the Applied Meteorology Unit (AMU) in developing a database of days that experienced rapid (< 90 minutes) low cloud formation in a stable atmosphere, resulting in ceilings at the Shuttle Landing Facility (TTS) that violated Space Shuttle Flight Rules (FR). The meteorological conditions favoring the rapid formation of low ceilings include the presence of any inversion below 8000 ft, high relative humidity beneath the inversion, and a clockwise turning of the winds from the surface to the middle troposphere (approx. 15000 ft). The AMU compared and contrasted the atmospheric and thermodynamic conditions between days with rapid low ceiling formation and days with low ceiling resulting from other mechanism. The AMU found that the vertical wind profile is the probable discerning factor between the rapidly-forming ceiling days and other low ceiling days at TTS. Most rapidly-developing low ceiling days had a clockwise turning of the winds with height, whereas other low ceiling days typically had a counter-clockwise turning of the winds with height or negligible vertical wind shear. Forecasters at the Space Meteorology Group (SMG) issue 30 to 90 minute forecasts for low cloud ceilings at TTS to support Space Shuttle landings. Mission verification statistics have shown ceilings to be the number one forecast challenge. More specifically, forecasters at SMG are concerned with any rapidly developing clouds ceilings below 8000 ft in a stable, capped thermodynamic environment, Therefore, the AMU was tasked to examine archived events of rapid stable cloud formation resulting in ceilings below 8000 ft, and document the atmospheric regimes favoring this type of cloud development. The AMU examined the cool season months of November to March during the years of 1993-2003 for days that had low-level inversions and rapid, stable low cloud formation that resulted in ceilings violating the Space Shuttle FR. The AMU wrote and modified existing code to identify inversions from the morning Cape Canaveral, FL rawinsonde (XMR) during the cool season and output pertinent sounding information. They parsed all days with cloud ceilings below 8000 ft at TTS, forming a database of possible rapidly-developing low ceiling events. Days with precipitation or noticeable fog bum-off situations were excluded from the database. Only the daytime hours were examined for possible ceiling development events since low clouds are easier to diagnose with visible satellite imagery. Follow-on work would expand the database to include nighttime cases, using a special enhancement of the infrared imagery for identifying areas of low clouds. The report presents two sample cases of rapidly-developing low cloud ceilings. These cases depict the representative meteorological and thermodynamic characteristics of such events. The cases also illustrate how quickly the cloud decks can develop, sometimes forming in 30 minutes or less. The report also summarizes the composite meteorological conditions for 20 event days with rapid low cloud ceiling formation and 48 non-events days consisting of advection or widespread low cloud ceilings. The meteorological conditions were quite similar for both the event and non-event days, since both types of days experienced low cloud ceilings. Both types of days had a relatively moist environment beneath the inversion based below 8000 ft. In the 20 events identified, de onset of low ceilings occurred between 1200-1800 UTC in every instance. The distinguishing factor between the event and non-event days appears to be the vertical wind profile in the XMR sounding. Eighty-five percent of the event days had a clockwise turning of the winds with height in the lower to middle troposphere whereas 83% of the non-events had a counter-clockwise turning of the winds with height or negligible vertical wind shear. A clockwise turning of the winds with height indicates a warm advection regime, which supports large-scale rising motn and possible cloud formation. Meanwhile, a counter-clockwise turning of the winds with height indicates cold advection or sinking motion in a post-cold frontal environment.

Wheeler, Mark M.↗

Low Emissions RQL Flametube Combustor Component Test Results

This report describes and summarizes elements of the High Speed Research (HSR) Low Emissions Rich burn/Quick mix/Lean burn (RQL) flame tube combustor test program. This test program was performed at NASA Glenn Research Center circa 1992. The overall objective of this test program was to demonstrate and evaluate the capability of the RQL combustor concept for High Speed Civil Transport (HSCT) applications with the goal of achieving NOx emission index levels of 5 g/kg-fuel at representative HSCT supersonic cruise conditions. The specific objectives of the tests reported herein were to investigate component performance of the RQL combustor concept for use in the evolution of ultra-low NOx combustor design tools. Test results indicated that the RQL combustor emissions and performance at simulated supersonic cruise conditions were predominantly sensitive to the quick mixer subcomponent performance and not sensitive to fuel injector performance. Test results also indicated the mixing section configuration employing a single row of circular holes was the lowest NOx mixer tested probably due to the initial fast mixing characteristics of this mixing section. However, other quick mix orifice configurations such as the slanted slot mixer produced substantially lower levels of carbon monoxide emissions most likely due to the enhanced circumferential dispersion of the air addition. Test results also suggested that an optimum momentum-flux ratio exists for a given quick mix configuration. This would cause undesirable jet under- or over-penetration for test conditions with momentum-flux ratios below or above the optimum value. Tests conducted to assess the effect of quick mix flow area indicated that reduction in the quick mix flow area produced lower NOx emissions at reduced residence time, but this had no effect on NOx emissions measured at similar residence time for the configurations tested.

Holdeman, James D.↗

Pharmacokinetics of Acetaminophen in Hind Limbs Unloaded Mice: A Model System Simulating the Effects of Low Gravity on Astronauts in Space

The pharmacokinetics (PK) of medications administered to astronauts could be altered by the conditions in Space. Low gravity and free floating (and associated hemodynamic changes) could affect the absorption, distribution, metabolism and excretion of the drugs. Knowledge of these alterations is essential for adjusting the dosage and the regimen of drug administration in astronauts. Acquiring of such knowledge has inherent difficulties due to limited opportunities for experimenting in Space. One of the approaches is to use model systems that simulate some of the Space conditions on Earth. In this study we used hind limbs unloaded mice (HLU) to investigate the possible changes in PK of acetaminophen, a widely used analgesic with high probability of use by astronauts. The HLU is recognized as an appropriate model for simulating the effects of low gravity on hemodynamic parameters. Mice were tail suspended (n = 24) for 24-96 hours prior to introduction of acetaminophen (150 - 300 mg/kg). The drug (in aqueous solution containing 10% ethyl alcohol by volume) was given orally by a gavage procedure and after the administration of acetaminophen mice were additionally suspended for 30 min, 1 and 2 hours. Control mice (n = 24) received the same dose of acetaminophen and were kept freely all the time. Blood specimens were obtained either from retroorbital venous sinuses or from heart. Acetaminophen concentration was measured in plasma by the fluorescent polarization immunoassay and the AxSYM analyzer (Abbott Laboratories). In control mice peak acetaminophen concentration was achieved at 30 min. By 1 hour the concentration decreased to less than 50% of the peak level and at 2 hours the drug was almost undetectable in the serum. HLU for 24 hours significantly altered the acetaminophen pharmacokinetic: at 30 min the acetaminophen concentrations were significantly (both statistically and medically significant) lower than in control mice. The concentrations also reduced less significantly after 1 and 2 hours. At 2 hours approximately 20% of the drug still remained in the circulation. After 96 hrs of HLU the changes in acetaminophen PK were less prominent. These data indicate that short term HLU causes significant changes in acetaminophen PK most likely associated with HUL-related hemodynamic changes. However, after 96 hour these changes diminished. This suggests hemodynamic adaptation to the HUL conditions that possibly occurs also in real space conditions.

Peterson, Amanda↗

Fossil Microorganisms and Formation of Early Precambrian Weathering Profiles

Weathering crusts are the only reliable evidences of the existence of continental conditions. Often they are the only source of information about exogenous processes and subsequently about conditions under which the development of the biosphere occurred. A complex of diverse fossil microorganisms was discovered as a result of Scanning Electron Microscope investigations. The chemical composition of the discovered fossils is identical to that of the host rocks and is represented by Si, Al, Fe, Ca and Mg. Probably, the microorganisms fixed in rocks played the role of catalyst. The decomposition of minerals comprising the rocks and their transformation into clayey (argillaceous) minerals, most likely occurred under the influence of microorganisms. And may be unique weathering crusts of Early Precambrian were formed due to interaction between specific composition of microorganism assemblage and conditions of hypergene transformations. So it is possible to speak about colonization of land by microbes already at that time and about existence of single raw from weathering crusts (Primitive soils) to real soils.

Rozanov, A. Yu↗

Interplanetary boundary layers at 1 AU

The structure and nature of discontinuities in the interplanetary magnetic field at 1 AU in the period March 18, 1971 to April 9, 1971, is determined by using high-resolution magnetic field measurements from Explorer 34. The discontinuities that were selected for this analysis occurred under a variety of interplanetary conditions at an average rate of 0.5/hr. This set does not include all discontinuities that were present, but the sample is large and it is probably representative. Both tangential and rotational discontinuities were identified, the ratio of TD's to RD's being approximately 3 to 1. Tangential discontinuities were observed every day, even among Alfvenic fluctuations. The structure of most of the boundary layers was simple and ordered, i.e., the magnetic field usually changed smoothly and monotonically from one side of the boundary layer to the other.

Burlaga, L. F.↗

Performance bounds on parallel self-initiating discrete-event

The use is considered of massively parallel architectures to execute discrete-event simulations of what is termed self-initiating models. A logical process in a self-initiating model schedules its own state re-evaluation times, independently of any other logical process, and sends its new state to other logical processes following the re-evaluation. The interest is in the effects of that communication on synchronization. The performance is considered of various synchronization protocols by deriving upper and lower bounds on optimal performance, upper bounds on Time Warp's performance, and lower bounds on the performance of a new conservative protocol. The analysis of Time Warp includes the overhead costs of state-saving and rollback. The analysis points out sufficient conditions for the conservative protocol to outperform Time Warp. The analysis also quantifies the sensitivity of performance to message fan-out, lookahead ability, and the probability distributions underlying the simulation.

Nicol, David M.↗

Stratospheric ion and aerosol chemistry and possible links with cirrus cloud microphysics - A critical assessment

Aspects of stratospheric ion chemistry and physics are assessed as they relate to aerosol formation and the transport of aerosols to upper tropospheric regions to create conditions favorable for cirrus cloud formation. It is found that ion-induced nucleation and other known phase transitions involving ions and sulfuric acid vapor are probably not efficient processes for stratospheric aerosol formation, and cannot compete with condensation of sulfuric acid on preexisting particles of volcanic or meteoritic origin which are larger than about 0.15 micron in radius. Thus, galactic cosmic rays cannot have a significant impact on stratospheric aerosol population. Changes in the stratospheric aerosol burden due to volcanos are up to two orders of magnitude larger than changes in ion densities. Thus, volcanic activity may modulate the radiative properties of cirrus clouds.

Mohnen, Volker A.↗

Angular Broadening: Effects of Nonzero, Spatially Varying Plasma Frequency Between the Source and Observer

Angular broadening of radiation due to scattering by density irregularities is usually described using geometric optics (GO) or the parabolic wave equation (PWE) with the assumptions that the radiation frequency f greatly exceeds the local plasma frequency f(sub p0) or that f(sub p0)/f is constant along the path. These assumptions are inappropriate for many solar system radio phenomena. Here the PWE and GO formalisms are extended to treat angular broadening in plasmas with nonzero, spatially varying ratios, f(sub p0)(z)/f < 1. The new PWE results show that the correlation function, scattered angular spectrum, and other quantities are modified by inclusion of a denominator factor [1 - f(sup 2, sub p0)(z prime)/f prime] inside the path integral over z prime, while the mean-square scattering angle depends on both f(sub p0)(z)/f at the observer and the foregoing factor inside the path integral. The PWE and GO predictions for are identical and involve equivalent assumptions. Previous GO and PWE results are recovered in the limits that f(sub p0)(z prime)/f is constant or zero. The new PWE and GO results will permit more accurate calculation of angular broadening for solar system and astrophysical sources. Moreover and importantly, due to the PWE and GO results for being identical, previous GO analyses of in solar system contexts are essentially correct, except for the neglect of or minor deficiencies in the treatment of nonzero, spatially varying f(sub p0)/f effects. The identical GO and PWE results for and the form of the PWE equation for the correlation function raise questions as to whether diffraction is unimportant for angular broadening (under the usual PWE conditions). Future direct comparisons of the PWE predictions with angular spectra calculated using existing GO ray-tracing codes should answer these questions. Diffraction effects are probably important when the medium and turbulence are not sufficiently homogeneous transverse to the central ray path. The implications are also discussed for studies of the 2-3.5 kHz radiation observed in the outer heliosphere.

Cairns, Iver H.↗

Integrated Orbiter/International Space Station Air Quality Analysis for Post-Mission 2A.1 Risk Mitigation

Even under the assumption that all Orbiter and ISS elements would be operating as designed, condensation control and crewmember comfort were paramount issues preceding each of the ISS Missions 2A and 2A.1. However, crewmember discomfort during Mission 2A.1, in addition to evidence provided by flight data and observations, suggested that countermeasures would be necessary for future flights where the Orbiter provides primary control. A review of Space Shuttle Program (SSP) and International Space Station Program (ISSP) assumptions and analytical methods that describe ECLS transport phenomena was accomplished in order to ensure the veracity of future analyses. Subsequently, various analyses and interpretations of Mission 2A.1 flight data provided the necessary information to help understand the probable causes of the flight environment. With cooperation between the SSP and ISSP, countermeasures were devised for Mission 2A.2 that would likely improve the delivery of conditioned air by the Orbiter to the ISS as well as within the ISS elements.

RISK MANAGEMENT↗

Probabilistic Parameter Uncertainty Analysis of Single Input Single Output Control Systems

The current standards for handling uncertainty in control systems use interval bounds for definition of the uncertain parameters. This approach gives no information about the likelihood of system performance, but simply gives the response bounds. When used in design, current methods of m-analysis and can lead to overly conservative controller design. With these methods, worst case conditions are weighted equally with the most likely conditions. This research explores a unique approach for probabilistic analysis of control systems. Current reliability methods are examined showing the strong areas of each in handling probability. A hybrid method is developed using these reliability tools for efficiently propagating probabilistic uncertainty through classical control analysis problems. The method developed is applied to classical response analysis as well as analysis methods that explore the effects of the uncertain parameters on stability and performance metrics. The benefits of using this hybrid approach for calculating the mean and variance of responses cumulative distribution functions are shown. Results of the probabilistic analysis of a missile pitch control system, and a non-collocated mass spring system, show the added information provided by this hybrid analysis.

Smith, Brett A.↗

NASA Team 2 Sea Ice Concentration Algorithm Retrieval Uncertainty

Satellite microwave radiometers are widely used to estimate sea ice cover properties (concentration, extent, and area) through the use of sea ice concentration (IC) algorithms. Rare are the algorithms providing associated IC uncertainty estimates. Algorithm uncertainty estimates are needed to assess accurately global and regional trends in IC (and thus extent and area), and to improve sea ice predictions on seasonal to interannual timescales using data assimilation approaches. This paper presents a method to provide relative IC uncertainty estimates using the enhanced NASA Team (NT2) IC algorithm. The proposed approach takes advantage of the NT2 calculations and solely relies on the brightness temperatures (TBs) used as input. NT2 IC and its associated relative uncertainty are obtained for both the Northern and Southern Hemispheres using the Advanced Microwave Scanning Radiometer for the Earth Observing System (AMSR-E) TB. NT2 IC relative uncertainties estimated on a footprint-by-footprint swath-by-swath basis were averaged daily over each 12.5-km grid cell of the polar stereographic grid. For both hemispheres and throughout the year, the NT2 relative uncertainty is less than 5%. In the Southern Hemisphere, it is low in the interior ice pack, and it increases in the marginal ice zone up to 5%. In the Northern Hemisphere, areas with high uncertainties are also found in the high IC area of the Central Arctic. Retrieval uncertainties are greater in areas corresponding to NT2 ice types associated with deep snow and new ice. Seasonal variations in uncertainty show larger values in summer as a result of melt conditions and greater atmospheric contributions. Our analysis also includes an evaluation of the NT2 algorithm sensitivity to AMSR-E sensor noise. There is a 60% probability that the IC does not change (to within the computed retrieval precision of 1%) due to sensor noise, and the cumulated probability shows that there is a 90% chance that the IC varies by less than +/-3%. We also examined the daily IC variability, which is dominated by sea ice drift and ice formation/melt. Daily IC variability is the highest, year round, in the MIZ (often up to 20%, locally 30%). The temporal and spatial distributions of the retrieval uncertainties and the daily IC variability is expected to be useful for algorithm intercomparisons, climate trend assessments, and possibly IC assimilation in models.

Sea Ice↗