ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Other Sources  (3,422)
  • SOLAR PHYSICS  (1,724)
  • COMPUTER PROGRAMMING AND SOFTWARE  (1,698)
  • 1995-1999  (293)
  • 1985-1989  (3,129)
  • 1955-1959
Collection
  • Other Sources  (3,422)
Source
Years
Year
  • 1
    Publication Date: 2011-08-24
    Description: We have studied the magnetic structure in AR 7150 (S09E06) observed on 29 April 1992 by the Soft X-Ray Telescope (SXT) on Yohkoh. The observed X-ray images are compared with force-free magnetic fields with different values of alpha, extrapolated from the Marshall Space Flight Center (MSFC) photospheric magnetogram observed at the same time. The results show that the magnetic field of the active region is not potential. Different groups of loops are characterized by different values of alpha. Bright loops correlation between the brightness of individual loops with the amount of twist. Further investigation of the magnetic state of the loop structure requires accurate nonlinear force-free calculations.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 4-5; p. (4/5)205-(4/5)208
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2011-08-24
    Description: After its fly-by of the planet Jupiter in February 1992, the Ulysses spacecraft is now in a highly inclined heliocentric orbit that will bring it above the south polar regions of the Sun in September 1994. The high-latitude phenomena observed to date have been strongly influenced by the near-minimum solar activity conditions encountered during this phase of the mission. In late April 1993, when Ulysses was at approximately 29 deg S heliographic latitude, the recurrent high speed solar wind stream that had been observed at the location of the spacecraft for 11 consecutive solar rotation underwent a dramatic change. The wind speed in the valleys between successive peaks increased in a single step from approximately 420 km/s to aopproximately 560 km/s. This change in solar wind flow was accompanied by the disappearance at the spacecraft of the magnetic sector structure that had been observed until then. Both these finding are consistent with Ulysses having climbed beyond the latitude of the coronal streamer belt in which is embedded the heliospheric current sheet (HCS). In its subsequent poleward journey, no further evidence for an encounter with the HCS has been seen at Ulysses. Other phenomena observed include the evolution with latitude of corotating interaction region (CIRs) and their influence on the acceleration of energetic particles, and the characteristics of the solar wind flows emanating from the south polar coronal hole. In this paper, we present details of the above observations. Finally, while the polar passes of the prime mission will take place near solar minimum, an extended mission will bring Ulysses back over the poles near the maximum of the next cycle. A summary of scientific goals for Ulysses at solar maximum is given.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 4-5; p. (4/5)293-(4/5)302
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2019-07-13
    Description: Extensive hard X-ray (HXR)/gamma-ray (GR) observations of solar flares, performed during solar cycles 21 and 22 have led to important new discoveries. These data, combined with observations obtained in other parts of the electromagnetic spectrum (soft X-ray, Hard X-ray, optical, and radio) largley contributed to get a better understanding and to develop new ideas on particle acceleration and transport during solar flares. This review presents new observational facts relevant to hard X-ray/gamma-ray producing flares. Among these are the frequent presence of sub-second time structure in the hard X-ray emission, the variability in hard X-ray and radio spatial distributions during a flare and from flare to flare, the evidence for strong gamma-ray line emission from the Corona and the existence of extended phases of the gamma-ray emission lasting for several hours after the flare onset. This ensemble of observations indicates that particle acceleration takes place at different sites in a complex and dynamic magnetic field environment.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 5-Apr; p. (4/5)71-(4/5)80
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2019-07-13
    Description: A flood of new observations of the solar corona have been made with high spatial resolution, good temporal coverage and resolution, and large linear dynamic range by the Soft X-ray Telescope (SXT) on Yohkoh. These data are changing our fundamental understanding of how solar magnetic fields emerge, interact, and dissipate. This paper reviews some of the results from Yohkoh in the context of earlier results from the Solar Maximum Mission (SMM) and in comjunction with ground-based optical and radio observations.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 5-Apr; p. (4/5)179-(4/5)188
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Publication Date: 2019-07-13
    Description: We have studied the relation between flux emergence and flare activity in the active region NOAA 7260, using images from the Soft X-ray Telescope (SXT) aboard the Yohkoh spacecraft and other supporting ground-based data. It is found that microflares start around the time of flux emergence as recorded in white-light data, which generally precedes a major flare by several hours. We interpret the microflares as due to fast reconnection that takes place intermittently in the slow reconnection stage while more energy is accumulated in preparation for a larger flare.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 5-Apr; p. (4/5)201-(4/5)204
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2019-08-27
    Description: The paper lists US solar missions, both those planned and funded by NASA alone as well as those carried out in collaboration with other space agencies. Soe of the missions are now in operation, the others are either planned and approved or under active discussion. The paper also describes the principal scientific objects of the missions and gives some orbital characteristics.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 4-5; p. (4/5)363-(4/5)368
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2019-08-28
    Description: Interplanetary scintillation (IPS) measurements of the 'disturbance factor' g, obtained with the Cambridge (UK) array can be used to explore the heliospheric density structure. We have used these data to construct synoptic (Carrington) maps, representing the large-scale enhancements of the g-factor in the inner heliosphere. These maps emphasize the stable corotating, rather than the transient heliospheric density enhancements. We have compared these maps with Carrington maps of Fe XIV observations National Solar Observatory ((NSO), Sacramento Peak) and maps based on Yohkoh Soft X-Ray Telescope (SXT) X-ray observations. Our results indicate that the regions of enhanced g tend to map to active regions rather than the current sheet. The implication is that act ve regions are the dominant source of the small-scale (approximately equal 200 km) density variations present in the quiet solar wind.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 5-Apr; p. (4/5)311-(4/5)314
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2019-08-28
    Description: The large-scale structure of the solar corona is investigated using synoptic maps produced from Fe XIV (530.3 nm), Fe X (637.4 nm) and Ca XV (569.4 nm) data obtained at National Solar Observatory (NSO/SP), Yohkoh/Soft X-ray Telescope (SXT) X-ray data and Wilcox Solar Observatory (WSO) 'source surface' maps. We find that the Fe XIV data are an excellent proxy for spatially-average Yohkoh/SXT data. Isolated emission features and large-scale structures are nearly identical in SXT and Fe XIV maps. In addition, coronal holes and other low-emission regions are very similar. Synoptic temperature maps, calculated from the Fe X/Fe XIV ratio, show a tendency for the highest temperatures to occur where the large-scale magnetic fields change polarity at high latitudes, while lower-latitude features, including active regions, have lower apparent tempertures. Regions of enhanced temperature generally follow the helisopheric current sheet (HCS) as defined by the WSO maps. Further, emission in Ca XV (formed at T is approximately equal to 3 MK), generally occurs only over low-latitude regions that are bright in both FE X (T approximately equal to 1 MK) and Fe XIV (T approximately equal to 2 MK). Thus, there is evidence for low (approximately equal to 1 MK), moderate (approximately equal to 2 MK) and high (approximately 3 MK) temperatures in close proximity in the low corona.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 5-Apr; p. (4/5)235-(4/5)238
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2019-08-28
    Description: Coronal mass ejections (CME's) are thought to result from the loss of stability within a magnetically confined coronal structure leading to its radial expansion into interplanetary space. As the CME expands into the corona current sheets will form between the expanding CME and surrounding field lines in the ambient wind. This configuration may lead to reconnection between the CME and adjacemt field lines. Such reconnection may produce double ion beams as has been observed in the terrrestrial magnetosphere. We examine all 24 distinct signatures of CME's observed by Ulysses during the in-ecliptic portion of the mission. In 5 of these 24 cases the ion spectra were not clear and thus the presence of double ion beams could not be determined. In 13 of the remaining 19 CME's double ion beams were found on the leading and/or trailing edge of the CME but not in the interior of the CME. In 3 of the CME's double ion beams were found throughout the CME while in the remaining 3 CME's double ion beams were not present near or just inside of the CME. In contrast in a control sample of 19 randomly chosen intervals, double ion beams were present at the leading and/or trailing edges of the random intervals in only 3 of the 19 cases. There appears to be no correlation between probability of occurrence of double ion beams and a magnetic cloud or non-cloud configuration of the CME and no correlation between the presence of the double ion beams at the edges of the CME and the CME being a fast or slow CME.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 4-5; p. (4/5)303-(4/5)306
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Publication Date: 2019-08-27
    Description: Imaging observations of solar flare hard X-ray sources with the Hard X-ray Telescope (HXT) aboard the Yohkoh satellite have revealed that hard X-ray emissions (greater than 30 ke V) originate most frequently from double sources. The double sources are located on both sides of the magnetic neutral line, suggesting that the bulk of hard X-rays is emitted from footpoints of flaring magnetic loops. We also found that hard X-rays from the double sources are emitted simultaneously within a fraction of second and that the weaker source tends to be located in the stronger magnetic field region, showing a softer spectrum. Physcial implications on the observed characteristics of the hard X-ray double sources are discussed.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 17; 4-5; p. (4/5)67-(4/5)70
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Publication Date: 2011-08-24
    Description: The scaling properties of a time series of Doppler images obtained in good visibility conditions are studied. A 28 cm vacuum telescope and a vacuum spectroheliograph in video spectra-spectroheliograph mode, are used. Sixty line-of-sight Doppler images of an area of the quiet sun are investigated. They were taken at 60 sec intervals over a one hour span and have a 2 arcsec resolution. After the removal of the five-minute oscillations, the time-spatial spectrum is calculated. To study the turbulence of photospheric flows, two scaling parameters in the spectra, are estimated: the exponent of the spatial part of the power spectrum, and the exponent governing the scaling of time correlations. The implied diffusive behavior is discussed. This includes the estimation of a diffusion coefficient and the type of diffusion involved.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 249-252
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Publication Date: 2011-08-24
    Description: The nonlocal non-diffusive transport of passive scalars in turbulent magnetohydrodynamic (MHD) convection is investigated using transilient matrices. These matrices describe the probability that a tracer particle beginning at one position in a flow will be advected to another position after some time. A method for the calculation of these matrices from simulation data which involves following the trajectories of passive tracer particles and calculating their transport statistics, is presented. The method is applied to study the transport in several simulations of turbulent, rotating, three dimensional compressible, penetrative MDH convection. Transport coefficients and other diagnostics are used to quantify the transport, which is found to resemble advection more closely than diffusion. Some of the results are found to have direct relevance to other physical problems, such as the light element depletion in sun-type stars. The large kurtosis found for downward moving particles at the base of the convection zone implies several extreme events.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 253-258
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Publication Date: 2011-08-24
    Description: Long uninterrupted sequences of solar magnetograms from the global oscillations network group (GONG) network and from the solar and heliospheric observatory (SOHO) satellite will provide the opportunity to study the proper motions of magnetic features. The possible use of multiscale regularization, a scale-recursive estimation technique which begins with a prior model of how state variables and their statistical properties propagate over scale. Short magnetogram sequences are analyzed with the multiscale regularization algorithm as applied to optical flow. This algorithm is found to be efficient, provides results for all the spatial scales spanned by the data and provides error estimates for the solutions. It is found that the algorithm is less sensitive to evolutionary changes than correlation tracking.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 227-232
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Publication Date: 2011-08-24
    Description: Ulysses has collected data between 1 and 5 AU during, and just following solar maximum, when the heliospheric current sheet (HCS) can be thought of as reaching its maximum tilt and being subject to the maximum amount of turbulence in the solar wind. The Ulysses solar wind plasma instrument measures the vector velocity and can be used to estimate the flow speed and direction in turbulent 'eddies' in the solar wind that are a fraction of an astronomical unit in size and last (have either a turnover or dynamical interaction time of) several hours to more than a day. Here, in a simple exercise, these solar wind eddies at the HCS are characterized using Ulysses data. This character is then used to define a model flow field with eddies that is imposed on an ideal HCS to estimate how the HCS will be deformed by the flow. This model inherently results in the complexity of the HCS increasing with heliocentric distance, but the result is a measure of the degree to which the observed change in complexity is a measure of the importance of solar wind flows in deforming the HCS. By comparison with randomly selected intervals not located on the HCS, it appears that eddies on the HCS are similar to those elsewhere at this time during the solar cycle, as is the resultant deformation of the interplanetary magnetic field (IMF). The IMF deformation is analogous to what is often termed the 'random walk' of interplanetary magnetic field lines.
    Keywords: SOLAR PHYSICS
    Type: Journal of Geophysical Research (ISSN 0148-0227); 100; A7; p. 12,261-12,273
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Publication Date: 2011-08-24
    Description: Several physical and observational effects contribute to the significant imbalances of magnetic flux that are often observed in active regions. We consider an effect not previously treated: the influence of electric currents in the photosphere. Electric currents can cause a line-of-sight flux imbalance because of the directionality of the magnetic field they produce. Currents associated with magnetic flux tubes produce larger imbalances than do smoothly-varying distributions of flux and current. We estimate the magnitude of this effect for current densities, total currents, and magnetic geometry consistent with observations. The expected imbalances lie approximately in the range 0-15%, depending on the character of the current-carying fields and the angle from which they are viewed. Observationally, current-induced flux imbalances could be indicated by a statistical dependence of the imbalance on angular distance from disk center. A general study of magnetic flux balance in active regions is needed to determine the relative importance of other- probably larger- effects such as dilute flux (too weak to measure or rendered invisible by radiative transfer effects), merging with weak background fields, and long-range connections between active regions.
    Keywords: SOLAR PHYSICS
    Type: Solar Physics (ISSN 0038-0938); 157; 1-2; p. 185-197
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2011-08-24
    Description: A semianalytic method is derived for dealing simultaneously with large numbers of linear stellar oscillation modes trapped in a cavity (a shell) of fluid which is rotating and convecting. A simple generalization of mixing-length theory shows how convection is modulated by weak rotational effects and by the horizontal wind fields of linear r-mode oscillations. The modulated convection is then used to compute the energy lost to turbulent viscosity by a family of nondegenerate oscillations. Viscosity terms of fourth degree in the wind shear can be included if they are a perturbation affecting only a small portion of the r-mode. Viscous energy loss strenghthens convection in a narrow layer near the base of the H and He ionization zone. In the Sun, this layer is about 7 Mm thick and centered at 0.932 of a solar radius where convection cells have a typical size of about 20 Mm and a lifetime of 0.3 Ms, both similar to what is observed in supergranules. If the rms velocity of r-modes at the surface exceeds 5 m/s, then energy is deposited inside the Sun at a sufficient rate to power the supergranulation and impose on it a weak latitude dependence.
    Keywords: SOLAR PHYSICS
    Type: Astrophysical Journal, Part 1 (ISSN 0004-637X); 443; 1; p. 423-433
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Publication Date: 2011-08-24
    Description: We present observational evidence that eruptions of quiescent filaments and associated coronal mass ejections (CMEs) occur as a consequence of the destabilization of large-scale coronal arcades due to interactions between these structures and new and growing active regions. Both statistical and case studies have been carried out. In a case study of a 'bulge' observed by the High-Altitude Observatory Solar Maximum Mission coronagraph, the high-resolution magnetograms from the Big Bear Solar Observatory show newly emerging and rapidly changing flux in the magnetic fields that apparently underlie the bugle. For other case studies and in the statistical work the eruption of major quiescent filaments was taken as a proxy for CME eruption. We have found that two thirds of the quiescent-filament-associated CMEs occurred after substantial amounts of new magnetic flux emerged in the vicinity of the filament. In addition, in a study of all major quiescent filaments and active regions appearing in a 2-month period we found that 17 of the 22 filaments that were associated with new active regions erupted and 26 of the 31 filaments that were not associated with new flux did not erupt. In all cases in which the new flux was oriented favorably for reconnection with the preexisting large-scale coronal arcades; the filament was observed to erupt. The appearance of the new flux in the form of new active regions begins a few days before the eruption and typically is still occurring at the time of the eruption. A CME initiation scenario taking account of these observational results is proposed.
    Keywords: SOLAR PHYSICS
    Type: Journal of Geophysical Research (ISSN 0148-0227); 100; A3; p. 3355-3367
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Publication Date: 2011-08-24
    Description: Total solar irradiance measurements from the 1984-1993 Earth Radiation Budget Satellite (ERBS) active cavity radiometer and 1978-1993 Nimbus 7 transfer cavity radiometer spacecraft experiments are analyzed to detect the presence of 11-, 22-, and 80-year irradiance variability components. The analyses confirmed the existence of a significant 11-year irradiance variability component, associated with solar magnetic activity and the sunspot cycle. The analyses also suggest the presence of a 22- or 80-year variability component. The earlier Nimbus 7 and Solar Maximum Mission (SMM) spacecraft irradiance measurements decreased approximately 1.2 and 1.3 W/sq m, respectively, between 1980 and 1986. The Nimbus 7 values increased 1.2 W/sq m between 1986 and 1989. The ERBS irradiance measurements increased 1.3 W/sq m during 1986-1989, and then decreased 0.4 W/sq m (at an annual rate of 0.14 W/sq. m/yr) during 1990-1993. Considering the correlations between ERBS, Nimbus 7, and SMM irradiance trends and solar magnetic activity, the total solar irradiance should decrease to minimum levels by 1997 as solar activity decreases to minimum levels, and then increase to maximum levels by the year 2000 as solar activity rises. The ERBS measurements yielded 165.4 +/- 0.7 W/sq m as the mean irradiance value with measurement accuracies and precisions of 0.2% and 0.02%, respectively. The ERBS mean irradiance value is within 0.2% of the 1367.4, 1365.9, and 1366.9 W/sq m mean values for the SMM, Upper Atmosphere Research Satellite (UARS), and Space Shuttle Atmospheric Laboratory for Applications and Science (ATLAS 1) Solar Constant (SOLCON) active cavity radiometer spacecraft experiments, respectively. The Nimbus 7 measurements yielded 1372.1 W/sq m as the mean value with a measurement accuracy of 0.5%. Empirical irradiance model fits, based upon 10.7 -cm solar radio flux (F10) and photometric sunspot index (PSI), were used to assess the quality of the ERBS, Numbus 7, SMM, and the UARS irradiance data sets and to identify irradiance variability trends which may be caused by drifts or shifts in the spacecraft sensor responses. Comparisons among the fits and measured irradiances indicate that the Nimbus 7 radiometer response shifted by a total of 0.8 W/sq m between September 1989 and April 1990 and that the ERBS and UARS radiometers each drifted approximately 0.5 W/sq m during the first 5 months in orbit.
    Keywords: SOLAR PHYSICS
    Type: Journal of Geophysical Research (ISSN 0148-0227); 100; A2; p. 1667-1675
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Publication Date: 2011-08-24
    Description: Compressible MHD simulations in one dimension with three-dimensional vectors are used to investigate a number of processes relevant to problems in interplanetary physics. The simulations indicate that a large-amplitude nonequilibrium (e.g., linearly polarized) Alfvenic wave, which always starts with small relative fluctuations in the magnitude B of the magnetic field, typically evolves to flatten the magnetic profile in most regions. Under a wide variety of conditions B and the density rho become anticorrelated on average. If the mean magnetic field is allowed to decrease in time, the point where the transverse magnetic fluctuation amplitude delta B(sub T) is greater than the mean field B(sub 0) is not special, and large values of delta B(sub T)/B(sub 0) do not cause the compressive thermal energy to increase remarkably or the wave energy to dissipate at an unusually high rate. Nor does the 'backscatter' of the waves that occurs when the sound speed is less than the Alfven speed result, in itself, in substantial energy dissipation, but rather primarily in a phase change between the magnetic and velocity fields. For isolated wave packets the backscatter does not occur for any of the parameters examined; an initial radiation of acoustic waves away from the packet establishes a stable traveling structure. Thus these simulations, although greatly idealized compared to reality, suggest a picture in which the interplanetary fluctuations should have small deltaB and increasingly quasi-pressure balanced compressive fluctuations, as observed, and in which the dissipation and 'saturation' at delta B(sub T)/B(sub 0) approximately = 1 required by some theories of wave acceleration of the solar wind do not occur. The simulations also provide simple ways to understand the processes of nonlinear steepening and backscattering of Alfven waves and demonstrate the existence of previously unreported types of quasi-steady MHD states.
    Keywords: SOLAR PHYSICS
    Type: Journal of Geophysical Research (ISSN 0148-0227); 100; A3; p. 3405-3415
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2011-08-24
    Description: Frequency shifts of high frequency p-modes during the solar cycle are calculated for a non-magnetic polytrope convection zone model. An isothermal chromospheric atmosphere threaded by a uniform horizontal magnetic field is correlated to this model. The relevant observations of such frequency changes are discussed. The calculated simultaneous changes in the field strength and chromospheric temperature result in the frequency shifts that are similar to those of the observations.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 69-72
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Publication Date: 2011-08-24
    Description: The specific attraction and, in large part, the significance of solar magnetograms lie in the fact that they give the most important data on the electric currents and the nonpotentiality of active regions. Using the vector magnetograms from the Marshall Space Flight Center (MSFC), we employ a unique technique in the area of data analysis for resolving the 180 deg ambiguity in order to calculate the spatial structure of the vertical electric current density. The 180 deg ambiguity is resolved by applying concepts from the nonlinear multivariable optimization theory. The technique is shown to be of particular importance in very nonpotential active regions. The characterization of the vertical electric current density for a set of vector magnetograms using this method then gives the spatial scale, locations, and magnitude of these current systems. The method, which employs an intermediate parametric function which covers the magnetogram and which defines the local `preferred' direction, minimizes a specific functional of the observed transverse magnetic field. The specific functional that is successful is the integral of the square of the vertical current density. We find that the vertical electric current densities have common characteristics for the extended bipolar (beta) (gamma) (delta)-regions studied. The largest current systems have j(sub z)'s which maximizes around 30 mA/sq m and have a linear decreasing distribution to a diameter of 30 Mn.
    Keywords: SOLAR PHYSICS
    Type: Astrophysical Journal, Part 1 (ISSN 0004-637X); 445; 2; p. 982-998
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Publication Date: 2011-08-24
    Description: Relative abundances of oxygen, neon, and magnesium have been derived for a sample of nine solar active regions, flares, and an erupting prominance by combining plots of the ion differential emission measures. The observations were photographed in the 300-600 A range by the Naval Research Laboratory (NRL) spectroheliograph on Skylab. Methods for deriving the Mg/Ne abundance ratio-which measures the separation between the low- first ionization potential (FIP) and high-FIP abundnace plateaus-have been described in previous papers. In this paper we describe the spectroscopic methods for deriving the O/Ne abundance ratio, which gives the ratio between two high-FIP elements. The plot of the O/Ne ratio versus the Mg/Ne ratio in the sample of nine Skylab events is shown. The variation in the Mg/Ne ratio by a factor of 6 is associated with a much smaller range in the O/Ne ratio. This is broadly consistent with the presence of the standard FIP pattern of abundances in the outer atmosphere of the Sun. However, a real change in the relative abundances of oxygen and neon by a factor of 1.5 cannot be excluded.
    Keywords: SOLAR PHYSICS
    Type: The Astrophysical Journal, Part 1 (ISSN 0004-637X); 442; 1; p. 446-450
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Publication Date: 2011-08-24
    Description: We use the ray description of acoustic-gravity modes to calculate time-distance diagrams for the quiet Sun and for regions in the vicinity of a sunspot with a monolithic flux-tube structure. Time-distance curves for the quiet Sun match the observations of Duvall et al. In the vicinity of a sunspot these quiet Sun curves split into a family of closely spaced curves. The structure of this bandlike feature is found to be sensitive to the sunspot model and can be a diagnostic of the subsurface geometry of the sunspot flux tube.
    Keywords: SOLAR PHYSICS
    Type: Astrophysical Journal, Part 1 (ISSN 0004-637X); 438; 1; p. 454-462
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2011-08-24
    Description: The signature of the solar cycle appears in helioseismic frequencies and splittings. It is known that the changing outer superadiabatic region of the sun is responsible for this. The deeper solar-cycle mechanism from the surface changes, and, in particular, how magnetic fields perturb the global modes, the solar irradiance and the luminosity, is discussed. The irradiance and helioseismic changes are described. The interpretation of seismic and photometric data is discussed, considering current one-dimensional models and phenomenology. It is discussed how the long term solar-cycle luminosity effect could be caused by changes occurring near the base of the convection zone (CZ). It is shown that a thin toroidal flux sheath at the top of the radiative zone changed the thermal stratification immediately below the CZ over a solar-cycle timescale in two ways: the temperature of the magnetized fluid becomes hotter than the surrounding fluid, and the temperature gradient steepens above the magnetized region. The testing of CZ dynamics and extension of numerical experiments to global scales are considered.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 1: Invited Reviews and Working Group Reports; p 145-149
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Publication Date: 2011-08-24
    Description: The chromospheric bright points are the sites where intense heating occurs in three minute period waves. The bright points are grouped into three classes depending on the amount of intensity enhancement and the pattern of their dynamical evolution. A 35-minute time series of photographic spectra in the Ca(II) H line on a quiet region ofthe center of the solar disk was used to show that the period of intensity oscillations seen at sites of the bright points is independent of their intensity enhancements. The series was also used to show that the period may not depend on the strength of the magnetic fields with which they are associated. A linear regression equation was fitted to a curve representing the variation of the period of intensity oscillations with the peak value of I(sub H2V). The correlation coefficient was found to be 0.19.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 525-527
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Publication Date: 2011-08-24
    Description: The preliminary results of the photometry of CaII K spectroheliograms are presented. From the spectrograms for 1992, plages, the magnetic network, intranetwork elements and the chromospheric background were separated using the histogram method. The intensity and area of these separated features, as well as the full disk intensity, were derived. The spatial K index was compared to the spectral CaII K index derived from line profiles. It was found that the spatial K index and intensity of plages, the network elements and the intranetwork and background regions were highly correlated with the MgII h and k c/w ratio.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 429-435
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Publication Date: 2011-08-24
    Description: The observations made in July 1994 on the impact of fragment A of the comet P/Shoemaker-Levy 9 with Jupiter are described. The instrumentation used was a magneto-optical filter, acting as a two-channel filter. The data showed a double-peak transient which occurred after the impact, and whose general properties indicated a true jovian origin. The peaks appear in absorption. A numerical simulation can explain the main characteristics of the observed signal where the two peaks have the same polarity and appear only in the channel at shorter wavelengths. The simulation carried out appeared to indicate that the observed signal could be produced by the combination of shock waves and the expanding material with a velocity of 13 +/- 8 km/s. This implies that two separate impacts may have been observed. The developed simulation can be extended to predict long term effects.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 345-350
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Publication Date: 2011-08-24
    Description: Both weak magnetic fields and latitudinally dependent acoustic perturbations remove the degeneracy of the azimuthal quantum number, m, of acoustic modes of otherwise spherically symmetrical solar model. In the case of acoustic perturbations, the degeneracy is removed because the range of latitude in which a mode propagates depends on m, and therefore modes of like principle order n and degree l sample the aspherical scalar sound speed distribution differently. In the magnetic case, the removal of the degeneracy is caused by the same geometrical effect, and is influenced by the anisotropy of the Lorentz forces. Asymptotic analysis is used to show that the frequency splittings cannot be unambiguously attributed to the direct effect of a magnetic field, and that the effect of such a field on frequency splittings can be reproduced by a perturbation to the sound speed.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 73-76
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2011-08-24
    Description: The central intensities of Na(I) D1 and D2 linear profiles at the sites of the chromospheric bright points in the interior of the supergranulation cells were derived from photographic spectra. The observation scheme sampled spectra simultaneously in seven lines at a repetition rate of 12 sec. It is shown that the Na(I) D1 and D2 lines exhibit a four minute periodicity in their intensity oscillations. It is seen that the period of intensity oscillations decreases outwardly from the photosphere to the corona. It is surmised that the spatial and temporal relationships between intensity and/or velocity in the photosphere and chromosphere may explain the physical mechanisms of the underlying oscillations.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 521-524
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Publication Date: 2011-08-24
    Description: The dependence of the brightness of chromospheric network elements on latitude was investigated for quiet solar regions. Calibrated photographic CaII K-spectroheliograms were used to compare the variation in brightness at the center of the disk with higher latitude of chromospheric network elements in a quiet region as a function of solar activity. It was found that there was no significant difference in brightness between the center of the solar disk and higher latitude. It is concluded that the brightness of the chromospheric network elements in a quiet region does not depend on the latitude, but that the variation in the intensity enhancement is related to the level of solar activity.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 437-438
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Publication Date: 2011-08-24
    Description: The preliminary analysis of a 69 day observation run taken at the JPL using the magneto-optical filter is presented. The aim is to estimate the rotational splitting of l = 1 modes. A value of Delta nu = 0.44 +/- 0.09 micro-Hz is found. In a second, more accurate analysis, it is planned to investigate the low frequency part of the power spectrum. The observational statistics are presented.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 311-313
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Publication Date: 2011-08-24
    Description: The plane-wave decomposition of the acoustic-gravity wave effects observed in the photosphere provides a computationally efficient technique that probes the structure of the upper convective zone and boundary. In this region, the flat sun approximation is considered as being reasonably accurate. A technique to be used for the systematic plane-wave analysis of Michelson Doppler imager data, as part of the solar oscillations investigation, is described. Estimates of sensitivity are presented, and the effects of using different planar mappings are discussed. The technique is compared with previous approaches to the three dimensional plane-wave problem.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 147-150
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Publication Date: 2011-08-24
    Description: It was observed that the p-mode power is substantially suppressed in magnetic regions. One possible explanation is that the upper turning point, the acoustic cut-off point of the solar p-modes is lowered in the presence of a magnetic field. A related possibility is that the attenuation length scale in the evanescent region is reduced in the presence of a magnetic field. It is likely that the observations sample a different position in the evanescent tails of the eigenfunctions in magnetic regions because of different temperature structures in these regions. A model is used to quantify the first of these effects.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 63-67
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2011-08-24
    Description: The fluctuations in magnetic field and plasma velocity in solar wind, which possess many features of fully developed magnetohydrodynamic (MHD) turbulence, are discussed. Direct spacecraft observations from 0.3 to over 20 AU, remote sensing radio scintillation observations, numerical simulations, and various models provide complementary methods that show that the fluctuations in the wind parameters undergo significant dynamical evolution independent of whatever turbulence might exist in the solar photosphere and corona. The Cluster mission, with high time resolution particle and field measurements and its variable separation strategies, should be able to provide data for answering many questions on MHD turbulence.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of the Cluster Workshops on Data Analysis Tools, and Physical Measurements and Mission-Oriented Theory; p 137-147
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Publication Date: 2011-08-24
    Description: Double ion beams are often observed in the solar wind, but little work has been done in relating these beams to structures within the solar wind. Double ion beams are observed as beams of a given ion species and charge state occurring at two different energies. We use the three-dimensional ion plasma instrument on board the Ulysses spacecraft to look for evidence of such beams associated with the heliospheric current sheet. In a subset chosen independently of plasma parameters consisting of 8 of cover 47 crossings of the current sheet made during the inecliptic phase of the Ulysses mission we find that these double ion beams are always present on either side of the current sheet. The double beams are present in both the proton and helium species. The secondary beam typically has a higher helium abundance, which suggests that these beams are formed in the helium-rich corona rather than in interplanetary space. The double beams are not present in the interior of the current sheet. Neither collisions nor effects of plasma beta can account for the disappearance of the double beams inside the current sheet in all eight cases. We postulate that these beams are formed by reconnection occurring near the Sun in the boundary region between the open field lines of the coronal holes and the closed field line region of the heliospheric current sheet. Such a scenario would be consistent with previous X ray measurements which suggect that reconnection is occurring in this region.
    Keywords: SOLAR PHYSICS
    Type: Journal of Geophysical Research (ISSN 0148-0227); 100; A5; p. 7881-7889
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Publication Date: 2011-08-24
    Description: A global resistive, two-dimensional, time-dependent magnetohydrodynamic (MHD) model is used to introduce and support the hypothesis that the quiet solar middle chromosphere is heated by resistive dissipation of large-scale electric currents which fill most of its volume. The scale height and maximum magnitude of the current density are 400 km and 31.3 m/sq m, respectively. The associated magnetic field is almost horizontal, has the same scale height as the current density, and has a maximum magnitude of 153 G. The current is carried by electrons flowing across magnetic field lines at 1 m/s. The resistivity is the electron contribution to the Pedersen resitivity for a weakly ionized, strongly magnetized, hydrogen gas. The model does not include a driving mechanism. Most of the physical quantities in the model decrease exponentially with time on a resistive timescale of 41.3 minutes. However, the initial values and spatial; dependence of these quantities are expected to be essentially the same as they would be if the correct driving mechanism were included in a more general model. The heating rate per unit mass is found to be 4.5 x 10(exp 9) ergs/g/s, independent of height and latitude. The electron density scale height is found to be 800 km. The model predicts that 90% of the thermal energy required to heat the middle chromosphere is deposited in the height range 300-760 km above the temperature minimum. It is shown to be consistent to assume that the radiation rate per unit volume is proportional to the magnetic energy density, and then it follows that the heating rate per unit volume is also proportional to the energy from the photosphere into the overlying chromosphere are briefly discussed as possible driving mechanisms for establishing and maintaining the current system. The case in which part of or all of the current is carried by protons and metal ions, and the contribution of electron-proton scattering to the current are also considered, with the conclusion that these effects do not change the qualitative prediction of the model, but probably change the quantitative predictions slightly, mainly by increasing the maximum magntiude of the current density and magnetic field to at most approximately 100 mA/m and approximately 484 G, respectively. The heating rate per unit mass, current density scale height, magnetic field scale height, temperatures, and pressures are unchanged or are only slightly changed by including these additional effects due to protons and ions.
    Keywords: SOLAR PHYSICS
    Type: Astrophysical Journal, Part 1 (ISSN 0004-637X); 443; 1; p. 450-459
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2011-08-24
    Description: A number of different solar constant observations all made from space during the ATLAS 2 mission have been gathered and compared to each other. The Sun did not have a single sunspot during several days. As eight of the radiometric channels were all within 0.1%, the mean of the observations has been used to determine a set of adjustment factors providing de facto the definition of the Space Absolute Radiometric Reference (SARR). The differential absolute radiometers of Solar Constant (SOLCON) experiment and the Solar Variability-1 (SOVA 1) experiment, as well as the SOVA 2 and Active Cavity Radiometer (ACR) radiometers that have been brought back to the Earth may, if used in the same conditions, reproduce and maintain the SARR for the future.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 16; 8; p. (8)17-(8)23
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: Automatic formal verification methods for finite-state systems, also known as model-checking, successfully reduce labor costs since they are mostly automatic. Model checkers explicitly or implicitly enumerate the reachable state space of a system, whose behavior is described implicitly, perhaps by a program or a collection of finite automata. Simple properties, such as mutual exclusion or absence of deadlock, can be checked by inspecting individual states. More complex properties, such as lack of starvation, require search for cycles in the state graph with particular properties. Specifications to be checked may consist of built-in properties, such as deadlock or 'unspecified receptions' of messages, another program or implicit description, to be compared with a simulation, bisimulation, or language inclusion relation, or an assertion in one of several temporal logics. Finite-state verification tools are beginning to have a significant impact in commercial designs. There are many success stories of verification tools finding bugs in protocols or hardware controllers. In some cases, these tools have been incorporated into design methodology. Research in finite-state verification has been advancing rapidly, and is showing no signs of slowing down. Recent results include probabilistic algorithms for verification, exploitation of symmetry and independent events, and the use symbolic representations for Boolean functions and systems of linear inequalities. One of the most exciting areas for further research is the combination of model-checking with theorem-proving methods.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 211-216
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Publication Date: 2013-08-31
    Description: The Scheme Machine is one of several design projects of the Digital Design Derivation group at Indiana University. It differs from the other projects in its focus on issues of system design and its connection to surrounding research in programming language semantics, compiler construction, and programming methodology underway at Indiana and elsewhere. The genesis of the project dates to the early 1980's, when digital design derivation research branched from the surrounding research effort in programming languages. Both branches have continued to develop in parallel, with this particular project serving as a bridge. However, by 1990 there remained little real interaction between the branches and recently we have undertaken to reintegrate them. On the software side, researchers have refined a mathematically rigorous (but not mechanized) treatment starting with the fully abstract semantic definition of Scheme and resulting in an efficient implementation consisting of a compiler and virtual machine model, the latter typically realized with a general purpose microprocessor. The derivation includes a number of sophisticated factorizations and representations and is also deep example of the underlying engineering methodology. The hardware research has created a mechanized algebra supporting the tedious and massive transformations often seen at lower levels of design. This work has progressed to the point that large scale devices, such as processors, can be derived from first-order finite state machine specifications. This is roughly where the language oriented research stops; thus, together, the two efforts establish a thread from the highest levels of abstract specification to detailed digital implementation. The Scheme Machine project challenges hardware derivation research in several ways, although the individual components of the system are of a similar scale to those we have worked with before. The machine has a custom dual-ported memory to support garbage collection. It consists of four tightly coupled processes--processor, collector, allocator, memory--with a very non-trivial synchronization relationship. Finally, there are deep issues of representation for the run-time objects of a symbolic processing language. The research centers on verification through integrated formal reasoning systems, but is also involved with modeling and prototyping environments. Since the derivation algebra is basd on an executable modeling language, there is opportunity to incorporate design animation in the design process. We are looking for ways to move smoothly and incrementally from executable specifications into hardware realization. For example, we can run the garbage collector specification, a Scheme program, directly against the physical memory prototype, and similarly, the instruction processor model against the heap implementation.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 219-224
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: One model for computing in the future is ubiquitous, embedded computational devices analogous to embedded electrical motors. Many of these computers will control physical objects and processes. Such hidden computerized environments introduce new safety and correctness concerns whose treatment go beyond present Formal Methods. In particular, one has to begin to speak about Real Space software in analogy with Real Time software. By this we mean, computerized systems which have to meet requirements expressed in the real geometry of space. How to translate such requirements into ordinary software specifications and how to carry out proofs is a major challenge. In this talk we propose a research program based on the use of no-standard analysis. Much detail remains to be carried out. The purpose of the talk is to inform the Formal Methods community that Non-Standard Analysis provides a possible avenue to attack which we believe will be fruitful.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 183-189
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: We are engaged in a research program in safety-critical computing that is based on two case studies. We use these case studies to provide application-specific details of the various research issues, and as targets for evaluation of research ideas. The first case study is the Magnetic Stereotaxis System (MSS), an investigational device for performing human neurosurgery being developed in a joint effort between the Department of Physics at the University of Virginia and the Department of Neurosurgery at the University of Iowa. The system operates by manipulating a small permanent magnet (known as a 'seed') within the brain using an externally applied magnetic field. By varying the magnitude and gradient of the external magnetic field, the seed can be moved along a non-linear path and positioned at a site requiring therapy, e.g., a tumor. The magnetic field required for movement through brain tissue is extremely high, and is generated by a set of six superconducting magnets located in a housing surrounding the patient's head. The system uses two X-ray cameras positioned at right angles to detect in real time the locations of the seed and of X-ray opaque markers affixed to the patient's skull. the X-ray images are used to locate the objects of interest in a canonical frame of reference. the second case study is the University of Virginia Research Nuclear Reactor (UVAR). It is a 2 MW thermal, concrete-walled pool reactor. The system operates using 20 to 25 plate-type fuel assemblies placed on a rectangular grid plate. There are three scramable safety rods, and one non-scramable regulating rod that can be put in automatic mode. It was originally constructed in 1959 as a 1 MW system, and it was upgraded to 2 MW in 1973. Though only a research reactor rather than a power reactor, the issues raised are significant and can be related to the problems faced by full-scale reactor systems.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 173-181
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: The high reliability requirements for airborne systems requires fault-tolerant architectures to address failures in the presence of physical faults, and the elimination of design flaws during the specification and validation phase of the design cycle. Although much progress has been made in developing methods to address physical faults, design flaws remain a serious problem. Formal methods provides a mathematical basis for removing design flaws from digital systems. DRS (Derivational Reasoning System) is a formal design tool based on advanced research in mathematical modeling and formal synthesis. The system implements a basic design algebra for synthesizing digital circuit descriptions from high level functional specifications. DRS incorporates an executable specification language, a set of correctness preserving transformations, verification interface, and a logic synthesis interface, making it a powerful tool for realizing hardware from abstract specifications. DRS integrates recent advances in transformational reasoning, automated theorem proving and high-level CAD synthesis systems in order to provide enhanced reliability in designs with reduced time and cost.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 157-163
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Publication Date: 2013-08-31
    Description: The main goal of the project was two-fold: First, to investigate the feasibility of formally specifying and verifying a complex commercial microprocessor that was not expressly designed for formal verification. Second, to explore effective ways to transfer the technology to an industrial setting. The choice of the AAMP5 satisfied the first goal since the AAMP5 was not designed for formal verification, but to provide a more than threefold performance improvement while remaining object-code-compatible with the earlier AAMP2, which is used in numerous avionics applications, including the Boeing 737, 747, 757, and 767. To satisfy the technology transfer objective, we had to develop a suitable verification methodology and a formal infrastructure to make the technology usable by practicing engineers. This infrastructure includes techniques for decomposing the microcompressor verification problem into a st of verification conditions that the engineers can formulate and strategies to automate the proof of the verification conditions. The development of the infrastructure was one of the key accomplishments of the project. Most of the infrastructure and methodology are general enough to be reused for other microprocessors, certainly in the verification of another member of the AAMP family. This methodology was used to formally specify the entire microarchitecture and more than half of the instruction set and to verify a core set of eleven AAMP5 instructions representative of several instruction classes. However, the methodology and the formal machinery developed are adequate to cover most of the remaining AAMP5 instructions. Although PVS was the vehicle of the experiment, the methodology is applicable to other sufficiently powerful theorem provers.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop 141-147 (SEE N96-10026 01-59); NASA. Langley Resear
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: A formal program verification is a (mathematical) proof that a program executed according to its intended model meets some specification. This proves that the algorithm defined by the program is correct in the precise technical sense of being consistent with a particular specification. A program correct in this sense is free from a large and important class of errors, even though its behavior may still produce unintended results--either because the implementation of the programming language itself does not match the model of execution, or because the specification does not correctly express the user's intentions. Penelope is a prototype system for interactively developing and verifying programs that are written in a rich subset of sequential Ada. Penelope can be used to develop a program and its correctness proof incrementally, and in concert with one another. Incrementality is used in a number of ways to help make verification more tractable and more productive. For example, if an already-verified program is modified, one can attempt to prove the modified version by replaying and modifying the original verification. Penelope's specification language, Larch/Ada, belongs to the family of Larch interface languages. Larch/Ada scales up properly, in the sense that it is demonstrably sound to decompose a system hierarchically and reason locally about the implementation of each piece. Penelope has been applied in various demonstration projects--for specification (guidance control, distributed operating systems), verification (of off-the-shelf code), and formal development (by non-expert as well as expert users). Some features of Penelope have been embodied in Ada Wise, a lint-like non-interactive tool that warns of the potential for certain dynamic semantic errors in Ada programs.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 129-137
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a verifiable subset that would meet the needs of safety-critical applications). The first LPT project, which ran from the fall of 1990 unti the end of 1992, produced studies of several language issues: optimization, sharing and storage, tasking and protected records, overload resolution, the floating point model, distribution, program erros, and object-oriented programming. The second LPT project, in 1994, formally modeled the dynamic semantics of a large part of the (almost) final language definition, looking especially for interactions between language features.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 119-128
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Publication Date: 2013-08-31
    Description: The Space Shuttle program is cooperating in a pilot project to apply formal methods to live requirements analysis activities. As one of the larger ongoing shuttle Change Requests (CR's), the Global Positioning System (GPS) CR involves a significant upgrade to the Shuttle's navigation capability. Shuttles are to be outfitted with GPS receivers and the primary avionics software will be enhanced to accept GPS-provided positions and integrate them into navigation calculations. Prior to implementing the CR, requirements analysts at Loral Space Information Systems, the Shuttle software contractor, must scrutinize the CR to identify and resolve any requirements issues. We describe an ongoing task of the Formal Methods Demonstration Project for Space Applications whose goal is to find an effective way to use formal methods in the GPS CR requirements analysis phase. This phase is currently under way and a small team from NASA Langley, ViGYAN Inc. and Loral is now engaged in this task. Background on the GPS CR is provided and an overview of the hardware/software architecture is presented. We outline the approach being taken to formalize the requirements, only a subset of which is being attempted. The approach features the use of the PVS specification language to model 'principal functions', which are major units of Shuttle software. Conventional state machine techniques form the basis of our approach. Given this background, we present interim results based on a snapshot of work in progress. Samples of requirements specifications rendered in PVS are offered to illustration. We walk through a specification sketch for the principal function known as GPS Receiver State processing. Results to date are summarized and feedback from Loral requirements analysts is highlighted. Preliminary data is shown comparing issues detected by the formal methods team versus those detected using existing requirements analysis methods. We conclude by discussing our plan to complete the remaining activities of this task.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 109-115
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, Third NASA Langley Formal Methods Workshop; p 59-64
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Publication Date: 2013-08-31
    Description: The National Grid Project (NGP) is a comprehensive numerical grid generation software system that is being developed at the National Science Foundation (NSF) Engineering Research Center (ERC) for Computational Field Simulation (CFS) at Mississippi State University (MSU). NGP is supported by a coalition of U.S. industries and federal laboratories. The objective of the NGP is to significantly decrease the amount of time it takes to generate a numerical grid for complex geometries and to increase the quality of these grids to enable computational field simulations for applications in industry. A geometric configuration can be discretized into grids (or meshes) that have two fundamental forms: structured and unstructured. Structured grids are formed by intersecting curvilinear coordinate lines and are composed of quadrilateral (2D) and hexahedral (3D) logically rectangular cells. The connectivity of a structured grid provides for trivial identification of neighboring points by incrementing coordinate indices. Unstructured grids are composed of cells of any shape (commonly triangles, quadrilaterals, tetrahedra and hexahedra), but do not have trivial identification of neighbors by incrementing an index. For unstructured grids, a set of points and an associated connectivity table is generated to define unstructured cell shapes and neighboring points. Hybrid grids are a combination of structured grids and unstructured grids. Chimera (overset) grids are intersecting or overlapping structured grids. The NGP system currently provides a user interface that integrates both 2D and 3D structured and unstructured grid generation, a solid modeling topology data management system, an internal Computer Aided Design (CAD) system based on Non-Uniform Rational B-Splines (NURBS), a journaling language, and a grid/solution visualization system.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 423-446
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Publication Date: 2013-08-31
    Description: An overview will be given for multiblock grid generation with automatic zoning. We shall explore the many advantages and benefits of this exciting technology and will also see how to apply it to a number of interesting cases. The technology is available in the form of a commercial code, GridPro(registered trademark)/az3000. This code takes surface geometry definitions and patterns of points as its primary input and produces high quality grids as its output. Before we embark upon our exploration, we shall first give a brief background of the environment in which this technology fits.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 143-162
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Publication Date: 2013-08-31
    Description: The facilities and services of the GEOmetry LABoratory (GEOLAB) at the NASA Langley Research Center are described. Included in this description are the laboratory functions, the surface modeling and grid generation technologies used in the laboratory, and examples of the tasks performed in the laboratory.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 69-86
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Publication Date: 2013-08-31
    Description: The design of a new parallel-processing digital simulator is described. The new simulator has been developed specifically for analysis of wind energy systems in real time. The new processor has been named: the Wind Energy System Time-domain simulator, version 3 (WEST-3). Like previous WEST versions, WEST-3 performs many computations in parallel. The modules in WEST-3 are pure digital processors, however. These digital processors can be programmed individually and operated in concert to achieve real-time simulation of wind turbine systems. Because of this programmability, WEST-3 is very much more flexible and general than its two predecessors. The design features of WEST-3 are described to show how the system produces high-speed solutions of nonlinear time-domain equations. WEST-3 has two very fast Computational Units (CU's) that use minicomputer technology plus special architectural features that make them many times faster than a microcomputer. These CU's are needed to perform the complex computations associated with the wind turbine rotor system in real time. The parallel architecture of the CU causes several tasks to be done in each cycle, including an IO operation and the combination of a multiply, add, and store. The WEST-3 simulator can be expanded at any time for additional computational power. This is possible because the CU's interfaced to each other and to other portions of the simulation using special serial buses. These buses can be 'patched' together in essentially any configuration (in a manner very similar to the programming methods used in analog computation) to balance the input/ output requirements. CU's can be added in any number to share a given computational load. This flexible bus feature is very different from many other parallel processors which usually have a throughput limit because of rigid bus architecture.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: DASCON Engineering, Collected Papers on Wind Turbine Technology; p 79-87
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Publication Date: 2013-08-31
    Description: Elliptic grid generation methods have been used for many years to smooth and improve grids generated by algebraic interpolation schemes. However, the elliptic system that must be solved is nonlinear and convergence is generally very slow for large grids. In an attempt to make elliptic methods practical for large three-dimensional grids, a two-stage implementation is developed where the overall grid point locations are set using a coarse grid generated by the elliptic system. The coarse grid is then interpolated to generate a finer grid which is smoothed using only a few iterations of the elliptic system.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 689-696
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Publication Date: 2013-08-31
    Description: A general multi-block three-dimensional volume grid generator is presented which is suitable for Multi-Disciplinary Design Optimization. The code is timely, robust, highly automated, and written in ANSI 'C' for platform independence. Algebraic techniques are used to generate and/or modify block face and volume grids to reflect geometric changes resulting from design optimization. Volume grids are generated/modified in a batch environment and controlled via an ASCII user input deck. This allows the code to be incorporated directly into the design loop. Generated volume grids are presented for a High Speed Civil Transport (HSCT) Wing/Body geometry as well a complex HSCT configuration including horizontal and vertical tails, engine nacelles and pylons, and canard surfaces.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 657-667
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Publication Date: 2013-08-31
    Description: The primary interest of the authors is in the area of grid generation, in particular, optimal domain decomposition about realistic configurations. A grid generation procedure with optimal blocking strategies has been developed to generate multi-block grids for a circular-to-rectangular transition duct. The focus of this study is the domain decomposition which optimizes solution algorithm/block compatibility based on geometrical complexities as well as the physical characteristics of flow field. The progress realized in this study is summarized in this paper.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 597-613
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: NASA-IGES Translator (NIGEStranslator) is a batch program that translates a general IGES (Initial Graphics Exchange Specification) file to a NASA-IGES-Nurbs-Only (NINO) file. IGES is the most popular geometry exchange standard among Computer Aided Geometric Design (CAD) systems. NINO format is a subset of IGES, implementing the simple and yet the most popular NURBS (Non-Uniform Rational B-Splines) representation. NIGEStranslator converts a complex IGES file to the simpler NINO file to simplify the tasks of CFD grid generation for models in CAD format. The NASA-IGES Viewer (NIGESview) is an Open-Inventor-based, highly interactive viewer/ editor for NINO files. Geometry in the IGES files can be viewed, copied, transformed, deleted, and inquired. Users can use NIGEStranslator to translate IGES files from CAD systems to NINO files. The geometry then can be examined with NIGESview. Extraneous geometries can be interactively removed, and the cleaned model can be written to an IGES file, ready to be used in grid generation.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 845-855
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Publication Date: 2013-08-31
    Description: With examples, we illustrate how implicitly specified surfaces can be used for grid generation with GridPro/az3000. The particular examples address two questions: (1) How do you model intersecting tubes with fillets? and (2) How do you generate grids inside the intersected tubes? The implication is much more general. With the results in a forthcoming paper which develops an easy-to-follow procedure for implicit surface modeling, we provide a powerful means for rapid prototyping in grid generation.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 801-819
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: A new technique for automatically combining grid blocks of a given block-structured grid into logically-rectangular clusters which are 'optimal' is presented. This technique uses the simulated annealing optimization method to reorganize the blocks into an optimum configuration, that is, one which minimizes a user-defined objective function such as the number of clusters or the differential in the sizes of all the clusters. The clusters which result from applying the technique to two different two-dimensional configurations are presented for a variety of objective function definitions. In all cases, the automatically-generated clusters are significantly better than the original clusters. While this new technique can be applied to block-structured grids generated from any source, it is particularly useful for operating on block-structured grids containing many blocks, such as those produced by the emerging automatic block-structured grid generators.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 751-762
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Publication Date: 2013-08-31
    Description: A new method for automatic multi-block grid generation is described. The method combines the Modified Advancing Front Method as a Predictor with an elliptic scheme as a corrector. It advances a collection of cells by one cell height in the outward direction using Modified Advancing Front Method, and then corrects newly-obtained cell positions by solving elliptic equations. This predictor-corrector type scheme is repeatedly applied until the field of interest is filled with hexahedral grid cells. Given the configuration surface grid, the scheme produces block layouts as well as grid cells with overall smoothness as its output. The present method saves human-time and reduces the burden on the user in generating grids for general 3-D configurations. It was used to generate multi-block grids for wings in their high-lift configuration.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 671-688
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Publication Date: 2013-08-31
    Description: Follow-on work has progressed in using Aero Grid and Paneling System (AGPS), a geometry and visualization system, as a dynamic real time geometry monitor, manipulator, and interrogator for other codes. In particular, AGPS has been successfully coupled with adaptive flow solvers which iterate, refining the grid in areas of interest, and continuing on to a solution. With the coupling to the geometry engine, the new grids represent the actual geometry much more accurately since they are derived directly from the geometry and do not use refits to the first-cut grids. Additional work has been done with design runs where the geometric shape is modified to achieve a desired result. Various constraints are used to point the solution in a reasonable direction which also more closely satisfies the desired results. Concepts and techniques are presented, as well as examples of sample case studies. Issues such as distributed operation of the cooperative codes versus running all codes locally and pre-calculation for performance are discussed. Future directions are considered which will build on these techniques in light of changing computer environments.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 637-646
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Publication Date: 2013-08-31
    Description: Hybrid tools have been developed which greatly reduce the time required to generate three-dimensional structured CFD meshes for turbomachinery blade passages. RAGGS, an existing Rockwell proprietary, general purpose mesh generation and visualization system, provides the starting point and framework for tool development. Utilities which manipulate and interface with RAGGS tools have been developed to (1) facilitate blade geometry inputs from point or CAD representations, (2) automate auxiliary surface creation, and (3) streamline and automate edge, surface, and subsequent volume mesh generation from minimal inputs. The emphasis of this approach has been to maintain all the functionality of the general purpose mesh generator while simultaneously eliminating the bulk of the repetitive and tediuos manual steps in the mesh generation process. Using this approach, mesh generation cycle times have been reduced from the order of days down to the order of hours.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 647-655
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Publication Date: 2013-08-31
    Description: An elliptic grid generation method is presented which generates excellent boundary conforming grids in domains in 2D physical space. The method is based on the composition of an algebraic and elliptic transformation. The composite mapping obeys the familiar Poisson grid generation system with control functions specified by the algebraic transformation. New expressions are given for the control functions. Grid orthogonality at the boundary is achieved by modification of the algebraic transformation. It is shown that grid generation on a minimal surface in 3D physical space is in fact equivalent to grid generation in a domain in 2D physical space. A second elliptic grid generation method is presented which generates excellent boundary conforming grids on smooth surfaces. It is assumed that the surfaces are parametrized and that the grid only depends on the shape of the surface and is independent of the parametrization. Concerning surface modeling, it is shown that bicubic Hermite interpolation is an excellent method to generate a smooth surface which is passing through a given discrete set of control points. In contrast to bicubic spline interpolation, there is extra freedom to model the tangent and twist vectors such that spurious oscillations are prevented.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 617-636
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Publication Date: 2013-08-31
    Description: This paper presents some recently added capabilities to RAGGS, Rockwell Automated Grid Generation System. Included are the trimmed surface handling and display capability and structures and unstructured grid generation on trimmed Bezier and NURBS (non-uniform rational B-spline surfaces) quilted surfaces. Samples are given to demonstrate the new capabilities.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 517-534
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Publication Date: 2013-08-31
    Description: The generation of a hybrid grid system for discretizing complex three dimensional (3D) geometries is described. The primary grid system is an unstructured Cartesian grid automatically generated using recursive cell subdivision. This grid system is sufficient for computing Euler solutions about extremely complex 3D geometries. A secondary grid system, using triangular-prismatic elements, may be added for resolving the boundary layer region of viscous flows near surfaces of solid bodies. This paper describes the grid generation processes used to generate each grid type. Several example grids are shown, demonstrating the ability of the method to discretize complex geometries, with very little pre-processing required by the user.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 251-270
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Publication Date: 2013-08-31
    Description: A new blocking technique for complex three-dimensional configurations is described. This new technique is based upon the concept of an abstraction, or squared-up representation, of the configuration and the associated grid. By allowing the user to describe blocking requirements in natural terms (such as 'wrap a grid around this leading edge' or 'make all grid lines emanating from this wall orthogonal to it'), users can quickly generate complex grids around complex configurations, while still maintaining a high level of control where desired. An added advantage of the abstraction concept is that once a blocking is defined for a class of configurations, it can be automatically applied to other configurations of the same class, making the new technique particularly well suited for the parametric variations which typically occur during design processes. Grids have been generated for a variety of real-world, two- and three-dimensional configurations. In all cases, the time required to generate the grid, given just an electronic form of the configuration, was at most a few days. Hence with this new technique, the generation of a block-structured grid is only slightly more expensive than the generation of an unstructured grid for the same configuration.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 123-142
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Publication Date: 2013-08-31
    Description: A very important, but often overlooked step in grid generation is acquiring a suitable geometry definition of the vehicle to be analyzed. In the past, geometry was usually obtained by generating a number of cross-sections of each component. A number of recent efforts have focussed on non-uniform rational B-spline surfaces (NURBS) to provide as single type of analytic surface to deal with inside the grid generator. This approach has required the development of tools to read other types of surfaces and convert them, either exactly or by approximation, into a NURBS surface. This paper describes a more generic parametric evaluator approach, which does not rely on a particular surface type internal to the grid generation system and is less restrictive in the number of surface types that can be represented exactly. This approach has been implemented in the McDonnell Douglas grid generation system, MACGS, and offers direct access to all types of surfaces from a Unigraphics part file.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 505-515
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: ICEM CFD is a CAD based grid generation package that supports multiblock structured, unstructured tetrahedral and unstructured hexahedral grids. Major development efforts have been spent to extend ICEM CFD's multiblock structured and hexahedral unstructured grid generation capabilities. The modules added are: a parametric grid generation module and a semi-automatic hexahedral grid generation module. A fully automatic version of the hexahedral grid generation module for around a set of predefined objects in rectilinear enclosures has been developed. These modules will be presented and the procedures used will be described, and examples will be discussed.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 477-488
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Publication Date: 2013-08-31
    Description: The authors have noticed in the recent grid generation literature an emphasis on the automation of structured grid generation. The motivation behind such work is clear; grid generation is easily the most despised task in the grid-analyze-visualize triad of computational analysis (CA). However, because grid generation is closely coupled to both the design and analysis software and because quantitative measures of grid quality are lacking, 'push button' grid generation usually results in a compromise between speed, control, and quality. Overt emphasis on automation obscures the substantive issues of providing users with flexible tools for generating and modifying high quality grids in a design environment. In support of this paper's tongue-in-cheek title, many features of the Gridgen software are described. Gridgen is by no stretch of the imagination an automatic grid generator. Despite this fact, the code does utilize many automation techniques that permit interesting regenerative features.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 463-476
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Publication Date: 2013-08-31
    Description: We generate high quality grids interactively on a computer workstation through optimization for some simple yet commonly encountered geometric shapes.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 833-843
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Publication Date: 2013-08-31
    Description: GridTool is designed around the concept that the surface grids are generated on a set of bi-linear patches. This type of grid generation is quite easy to implement, and it avoids the problems associated with complex CAD surface representations and associated surface parameterizations. However, the resulting surface grids are close to but not on the original CAD surfaces. This problem can be alleviated by projecting the resulting surface grids onto the original CAD surfaces. GridTool is designed primary for unstructured grid generation systems. Currently, GridTool supports VGRID and FELISA systems, and it can be easily extended to support other unstructured grid generation systems. The data in GridTool is stored parametrically so that once the problem is set up, one can modify the surfaces and the entire set of points, curves and patches will be updated automatically. This is very useful in a multidisciplinary design and optimization process. GridTool is written entirely in ANSI 'C', the interface is based on the FORMS library, and the graphics is based on the GL library. The code has been tested successfully on IRIS workstations running IRIX4.0 and above. The memory is allocated dynamically, therefore, memory size will depend on the complexity of geometry/grid. GridTool data structure is based on a link-list structure which allows the required memory to expand and contract dynamically according to the user's data size and action. Data structure contains several types of objects such as points, curves, patches, sources and surfaces. At any given time, there is always an active object which is drawn in magenta, or in their highlighted colors as defined by the resource file which will be discussed later.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 821-831
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    facet.materialart.
    Unknown
    In:  CASI
    Publication Date: 2013-08-31
    Description: This paper presents a highly automated hexahedral grid generator based on extensive geometrical and solid modeling operations developed in response to a vision of a designer-driven one day turnaround CFD process which implies a designer-driven one hour grid generation process.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 535-557
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Publication Date: 2013-08-31
    Description: Two different approaches to the fully automatic generation of structured multi-block grids in two dimensions are presented. The work aims to simplify the user interactivity necessary for the definition of a multiple block grid topology. The first approach is based on an advancing front method commonly used for the generation of unstructured grids. The original algorithm has been modified toward the generation of large quadrilateral elements. The second method is based on the divide-and-conquer paradigm with the global domain recursively partitioned into sub-domains. For either method each of the resulting blocks is then meshed using transfinite interpolation and elliptic smoothing. The applicability of these methods to practical problems is demonstrated for typical geometries of fluid dynamics.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 561-580
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Publication Date: 2013-08-31
    Description: The algorithms for volume grid generation using NURBS geometric representation are presented. The parameterization algorithm is enhanced to yield a desired physical distribution on the curve, surface and volume. This approach bridges the gap between CAD surface/volume definition and surface/volume grid generation. Computational examples associated with practical configurations have shown the utilization of these algorithms.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 491-503
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Publication Date: 2013-08-31
    Description: An analysis of the grid generation process from the point of view of an applied CFD engineer is given. Issues addressed include geometric modeling, structured grid generation, unstructured grid generation, hybrid grid generation and use of virtual parts libraries in large parametric analysis projects. The analysis is geared towards comparing the effective turn around time for specific grid generation and CFD projects. The conclusion was made that a single grid generation methodology is not universally suited for all CFD applications due to both limitations in grid generation and flow solver technology. A new geometric modeling and grid generation tool, CFD-GEOM, is introduced to effectively integrate the geometric modeling process to the various grid generation methodologies including structured, unstructured, and hybrid procedures. The full integration of the geometric modeling and grid generation allows implementation of extremely efficient updating procedures, a necessary requirement for large parametric analysis projects. The concept of using virtual parts libraries in conjunction with hybrid grids for large parametric analysis projects is also introduced to improve the efficiency of the applied CFD engineer.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, Surface Modeling, Grid Generation, and Related Issues in Computational Fluid Dynamic (CFD) Solutions; p 401-420
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Publication Date: 2013-08-31
    Description: As with all NASA facilities, the announcement of reduced budgets, reduced staffing, and the desire to implement smaller/quicker/cheaper missions has required the Agency's organizations to become more efficient in what they do. To accomplish these objectives, the FDD has initiated the development of the Flight Dynamics Distributed System (FDDS). The underlying philosophy of FDDS is to build an integrated system that breaks down the traditional barriers of attitude, mission planning, and navigation support software to provide a uniform approach to flight dynamics applications. Through the application of open systems concepts and state-of-the-art technologies, including object-oriented specification concepts, object-oriented software, and common user interface, communications, data management, and executive services, the FDD will reengineer most of its six million lines of code.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: Flight Mechanics(Estimation Theory Symposium 1995; p 303-304
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Publication Date: 2013-08-31
    Description: The resolution of satellite imagery is often traded-off to satisfy transmission time and bandwidth, memory, and display limitations. Although there are many ways to achieve the same reduction in resolution, algorithms vary in their ability to preserve the visual quality of the original imagery. These issues are investigated in the context of the Landsat browse system, which permits the user to preview a reduced resolution version of a Landsat image. Wavelets-based techniques for resolution reduction are proposed as alternatives to subsampling used in the current system. Experts judged imagery generated by the wavelets-based methods visually superior, confirming initial quantitative results. In particular, compared to subsampling, the wavelets-based techniques were much less likely to obscure roads, transmission lines, and other linear features present in the original image, introduce artifacts and noise, and otherwise reduce the usefulness of the image. The wavelets-based techniques afford multiple levels of resolution reduction and computational speed. This study is applicable to a wide range of reduced resolution applications in satellite imaging systems, including low resolution display, spaceborne browse, emergency image transmission, and real-time video downlinking.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center, The 1995 Goddard Conference on Space Applications of Artificial Intelligence and Emerging Information Technologies; p 163-178
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Publication Date: 2013-08-31
    Description: A hybrid genetic algorithm is used to schedule tasks for 8 satellites, which can be modelled as a robot whose task is to retrieve objects from a two dimensional field. The objective is to find a schedule that maximizes the value of objects retrieved. Typical of the real-world tasks to which this corresponds is the scheduling of ground contacts for a communications satellite. An important feature of our application is that the amount of time available for running the scheduler is not necessarily known in advance. This requires that the scheduler produce reasonably good results after a short period but that it also continue to improve its results if allowed to run for a longer period. We satisfy this requirement by developing what we call a sustainable genetic algorithm.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center, The 1995 Goddard Conference on Space Applications of Artificial Intelligence and Emerging Information Technologies; p 103-117
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Publication Date: 2013-08-31
    Description: This paper describes an algorithm for the scheduling of time-critical rendering and computation tasks on single- and multiple-processor architectures, with minimal pipelining. It was developed to manage scientific visualization scenes consisting of hundreds of objects, each of which can be computed and displayed at thousands of possible resolution levels. The algorithm generates the time-critical schedule using progressive-refinement techniques; it always returns a feasible schedule and, when allowed to run to completion, produces a near-optimal schedule which takes advantage of almost the entire multiple-processor system.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: Three-Dimensional User Interfaces for Scientific visualization; 5 p
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Publication Date: 2013-08-31
    Description: The Finite Fourier Transformation matrix (F.F.T.) plays a central role in the formulation of quantum mechanics in a finite dimensional space studied by the author over the past couple of decades. An outstanding problem which still remains open is to find a complete basis for F.F.T. In this paper we suggest a simple algorithm to find the eigenvectors of F.T.T.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center, Second International Workshop on Harmonic Oscillators; p 239-248
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Publication Date: 2013-08-29
    Description: The research during the 1993/94 academic year addressed the design of parallel algorithms for stochastic robustness synthesis (SRS). SRS uses Monte Carlo simulation to compute probabilities of system instability and other design-metric violations. The probabilities form a cost function which is used by a genetic algorithm (GA). The GA searches for the stochastic optimal controller. The existing sequential algorithm was analyzed and modified to execute in a distributed environment. For this, parallel approaches to Monte Carlo simulation and genetic algorithms were investigated. Initial empirical results are available for the KSR1.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, FAA(NASA Joint University Program for Air Transportation Research: 1993-1994; p 93-99
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Publication Date: 2013-08-29
    Description: An effective lossless compression system for grayscale images is presented using finite context variable order Markov models. A new method to accurately estimate the probability of the escape symbol is proposed. The choice of the best model order and rules for selecting context pixels are discussed. Two context precision and two symbol precision techniques to handle noisy image data with Markov models are introduced. Results indicate that finite context variable order Markov models lead to effective lossless compression systems for small and very large images. The system achieves higher compression ratios than some of the better known image compression techniques such as lossless JPEG, JBIG, or FELICS.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center, The 1995 Science Information Management and DAta Compression Workshop; p 75-89
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2013-08-29
    Description: The National Space Science Data Center's Common Data Formate (CDF) is capable of storing many types of data such as scalar data items, vectors, and multidimensional arrays of bytes, integers, or floating point values. However, regardless of the dimensionality and data type, the data break down into a sequence of bytes that can be fed into a data compression function to reduce the amount of data without losing data integrity and thus remaining fully reconstructible. Because of the diversity of data types and high performance speed requirements, a general-purpose, fast, simple data compression algorithm is required to incorporate data compression into CDF. The questions to ask are how to evaluate and compare compression algorithms, and what compression algorithm meets all requirements. The object of this paper is to address these questions and determine the most appropriate compression algorithm to use within the CDF data management package that would be applicable to other software packages with similar data compression needs.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: The 1995 Science Information Management and Data Compression Workshop; p 55-64
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2013-08-29
    Description: We are in the preliminary stages of creating an operational system for losslessly compressing packet data streams. The end goal is to reduce costs. Real world constraints include transmission in the presence of error, tradeoffs between the costs of compression and the costs of transmission and storage, and imperfect knowledge of the data streams to be transmitted. The overall method is to bring together packets of similar type, split the data into bit fields, and test a large number of compression algorithms. Preliminary results are very encouraging, typically offering compression factors substantially higher than those obtained with simpler generic byte stream compressors, such as Unix Compress and HA 0.98.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center, The 1995 Science Information Management and Data Compression Workshop; p 35-44
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Publication Date: 2013-08-29
    Description: Recently, aboard the Space Radar Laboratory (SRL), the two roles of Fourier Transforms for ocean image synthesis and surface wave analysis have been implemented with a dedicated radar processor to significantly reduce Synthetic Aperture Radar (SAR) ocean data before transmission to the ground. The object was to archive the SAR image spectrum, rather than the SAR image itself, to reduce data volume and capture the essential descriptors of the surface wave field. SAR signal data are usually sampled and coded in the time domain for transmission to the ground where Fourier Transforms are applied both to individual radar pulses and to long sequences of radar pulses to form two-dimensional images. High resolution images of the ocean often contain no striking features and subtle image modulations by wind generated surface waves are only apparent when large ocean regions are studied, with Fourier transforms, to reveal periodic patterns created by wind stress over the surface wave field. Major ocean currents and atmospheric instability in coastal environments are apparent as large scale modulations of SAR imagery. This paper explores the possibility of computing complex Fourier spectrum codes representing SAR images, transmitting the coded spectra to Earth for data archives and creating scenes of surface wave signatures and air-sea interactions via inverse Fourier transformations with ground station processors.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center, The 1995 Science Information Management and Data Compression Workshop; p 45-54
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Publication Date: 2013-08-29
    Description: In this paper, we present an image compression algorithm that is capable of significantly reducing the vast amount of information contained in multispectral images. The developed algorithm exploits the spectral and spatial correlations found in multispectral images. The scheme encodes the difference between images after contrast/brightness equalization to remove the spectral redundancy, and utilizes a two-dimensional wavelet transform to remove the spatial redundancy. the transformed images are then encoded by Hilbert-curve scanning and run-length-encoding, followed by Huffman coding. We also present the performance of the proposed algorithm with the LANDSAT MultiSpectral Scanner data. The loss of information is evaluated by PSNR (peak signal to noise ratio) and classification capability.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center, The 1995 Science Information Management and Data Compression Workshop; p 13-22
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Publication Date: 2013-08-29
    Description: In this paper, we propose a new approach, applicable to lossless compression of hyper-spectral images, that alleviates some limitations of linear prediction as applied to this problem. According to this approach, an adaptive re-ordering of the spectral components of each pixel is performed prior to prediction and encoding. This re-ordering adaptively exploits, on a pixel-by pixel basis, the presence of inter-band correlations for prediction. Furthermore, the proposed approach takes advantage of spatial correlations, and does not introduce any coding overhead to transmit the order of the spectral bands. This is accomplished by using the assumption that two spatially adjacent pixels are expected to have similar spectral relationships. We thus have a simple technique to exploit spectral and spatial correlations in hyper-spectral data sets, leading to compression performance improvements as compared to our previously reported techniques for lossless compression. We also look at some simple error modeling techniques for further exploiting any structure that remains in the prediction residuals prior to entropy coding.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center, The 1995 Science Information Management and Data Compression Workshop; p 1-11
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Publication Date: 2013-08-29
    Description: For the simulation of flows with complex geometries, unstructured finite volume methods have proven to be very popular, and simulations of a large number of flows have been done with good results using this approach. Since most of the simulations to date were done for steady flows, it is not clear that present unstructured finite volume algorithms can accurately track the unsteady propagation of acoustic waves in a computation. Therefore, there is a need to assess the accuracy of these methods for acoustic calculations. In this paper, we perform the numerical simulation of a very small amplitude acoustic wave incident on the non-uniform steady flow in a quasi- 1 D convergent-divergent nozzle using an unstructured finite volume algorithm with piece-wise linear, least square reconstruction, Roe flux difference splitting, and second-order MacCormack time marching. First, the spatial accuracy of the algorithm is evaluated for the steady flow by running the simulation with a sequence of successively finer meshes. Then the unsteady numerical solution with the acoustic perturbation is presented.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Langley Research Center, ICASE(LaRC Workshop on Benchmark Problems in Computational Aeroacoustics (CAA) p 267-272 (SEE N95-30133 10-71); NASA. Langley Resear
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2013-08-29
    Description: From 1981 to 1988 the KAO was used to measure the 30 to 670 micron continuum radiation from the Sun. The most significant result was te measurement of the limb brightness and extent during two total solar eclipses. The results clearly indicate a solar limb at 50 to 670 microns which is extended beyond that expected for an atmosphere in hydrostatic equilibrium. Unique measurements of far infrared solar oscillations and brightness of active regions were also carried out. A complete set of references is included.
    Keywords: SOLAR PHYSICS
    Type: Astronomical Society of the Pacific, Airborne Astronomy Symposium on the Galactic Ecosystem: From Gas to Stars to Dust, Volume 73; p 329-332
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Publication Date: 2019-04-02
    Description: Since its launch in October 1990, Ulysses has provided good quality magnetic field data, practically covering the whole time interval until now. We have studied the very long time scale evolution of the interplanetary magnetic field, in particlular, we have search for recurrent disturbances in the magnetic field. The magnetic field vectors have been mapped back to the Sun along Parker spirals, in order to determine the Heliographic longitude of the source regions in the corona. It was found that the position of many high field sources drifts systematically relative to the corona assumed to rotate with the equatorial rotation period of the Sun. The results are compared to similar observations on the eastward drift of magnetic sectors observed after about June 1992. Changes associated with both the declining phase of the solar cycle and the latitudinal excursion of Ulysses are also discussed.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 16; 9; p. (9)339
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Publication Date: 2019-03-30
    Description: The conference discussed the heliosphere during the declining solar cycle. Topics covered included: manifestations of solar activity, the solar wind, ion pick-up and anomalous cosmic rays, the interplanetary magnetic field, cosmic ray modulation, co-rotating interaction regions, and the heliosphere boundary, as well as several related topics.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1777); 16; 9
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Publication Date: 2019-01-25
    Description: The fact that Deterministic Design Method no longer satisfies most design needs calls for methods that will cope with the high trend in technology. The advance in computer technology has reduced the rigors that normally accompany many design analysis methods that account for uncertainties in design parameters. Probabilistic Design Methodology (PDM) is beginning to make impact in engineering design. This method is gaining more recognition in industries than in educational institutions. Some of the reasons for the limited use of the PDM at the moment are that many are unaware of its potentials, and most of the software developed for PDM are very recent. The central goal of the PDM project at Tennessee State University is to introduce engineering students to this method. The students participating in the project learn about PDM and the computer codes that are available to the design engineer. The software being used for this project is NESSUS (Numerical Evaluation of Stochastic Structures Under Stress) developed under NASA probabilistic structural analysis program. NESSUS has three different modules which make it a very comprehensive computer code for PDM. Since this method is new to the students, its introduction into the engineering curriculum is to be in stages. These range from the introduction of PDM and its software to the applications. While this program is being developed for its eventual inclusion into the engineering curriculum, some graduate and undergraduate students are already carrying out some projects using this method. As the students are increasing their understanding on PDM, they are at the same time applying it to some common design problems. The areas this method is being applied at the moment include, Design of Gears (spur and worm); Design of Brakes; Design of Heat Exchangers Design of Helical Springs; and Design of Shock Absorbers. Some of the current results of these projects are presented.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Lewis Research Center, HBCUs Research Conference Agenda and Abstracts; p 37
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Publication Date: 2019-04-02
    Description: Two intense heliospheric 2-3 kHz radio emission events have been observed by Voyagers 1 and 2, the first in 1983-84 and the second in 1992-93. These radio emission events occurred about 400 days after large Forbush decreases in mid-1982 and mid-1991. Since Forbush decreases are indicative of a strong interplanetary shock propagating outward through the heliosphere, this temporal relationship provides strong evidence that the radio emissions are triggered by the interaction of a shock with one of the outer boundaries of the heliosphere. From the travel time and the known speed of the shock, the distance to the interaction region can be estimated and is well beyond 100 AU. At this great distance the plasma frequency at the terminal shock (100 to 200 Hz) is believed to be too small to explain the observed emission frequencies, which extend up to 3.6 kHz. For this reason, we have proposed that the interaction takes place at or near the heliopause, where remote sensing measurements show that the plasma frequency is in a suitable range (approximately 3 kHz) for explaining the radio emission. From the travel time and shock propagation speed, the radial distance to the heliopause has been calculated for various candidate solar events. After taking into account the likely deceleration of the shock, the heliopause is estimated to be in the range from about 110 to 160 AU.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 16; 9; p. (9)279-(9)290
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2019-04-02
    Description: Milestones on our road to understanding the heliosphere between 1950 and 1988 are recalled. Among these are early studies of solar energetic particles suggesting a heliospheric boundary at 5 AU, the discovery of the solar wind and the sectored nature of the interplanetary magnetic field. Recent results, particularly from the Ulysses spacecraft, confirm the arrival of neutrals from interstellar space, the pick-up of singly charged ions by the solar wind and the acceleration of these ions to become anomalous cosmic rays. Two distinct solar wind regimes have been discovered. At low heliolatitudes a highly variable solar wind blows at an average speed around 450 km/s, while at high latitudes a relatively smooth 750 km/s flow is observed. No indicators of a dipole-like magnetic field have been seen by Ulysses in solar polar latitudes. The cosmic radiation increase with latitude is much smaller than predicted. The status of and plans for the Voyager 1 and 2, Pioneer 10 and 11, and Ulysses spacecraft are outlined.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 16; 9; p. (9)5-(9)23
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Publication Date: 2019-04-02
    Description: The radio receiver of the URAP (Unified Radio and Plasma Wave) experiment on Ulysses has recorded a heliospheric activity particularly intense between late May and early June 1991. Many solar radio emissions of types III and II were observed together with interplanetary (IP) shocks. In the same time, the radio spectrograph ARTEMIS at Nancay (France) observed several intense type II bursts. We investigate the association and/or interaction of these radio emissions, which are remotely observed, with some IP shocks detected in situ, in the context of a Coronal Mass Ejection (CME) induced scenario.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 16; 9; p. (9)345
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Publication Date: 2019-04-02
    Description: A detailed analysis of small period (15-900 sec) magnetohydrodynamic (MHD) turbulences of the interplanetary magnetic field (IMF) has been made using Pioneer-11 high time resolution data (0.75 sec) inside a Corotating Interaction Region (CIR) at a heliocentric distance of 2.5 AU in 1973. The methods used are the hodogram analysis, the minimum variance matrix analysis and the cohenrence analysis. The minimum variance analysis gives evidence of linear polarized wave modes. Coherence analysis has shown that the field fluctuations are dominated by the magnetosonic fast modes with periods 15 sec to 15 min. However, it is also shown that some small amplitude Alfven waves are present in the trailing edge of this region with characteristic periods (15-200 sec). The observed wave modes are locally generated and possibly attributed to the scattering of Alfven waves energy into random magnetosonic waves.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 16; 9; p. (9)171-(9)174
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Publication Date: 2019-04-02
    Description: Correlations between interplanetary magnetic fields (IMFs) at 0.72 AU and 1.0 AU have been examined using data sets obtained from the Pioneer Venus orbiter and Earth-orbiting spacecraft. While the two-sector structures are evident in long-term variations at these two heliocentric distances, the corresponding auto-correlation coefficients are consistently smaller at 1.0 AU than at 0.72 AU. This suggests that the IMF structures become less persistent at 1.0 AU due to the effects of changing solar wind dynamics between the Venus and Earth orbits. Short-term variations exhibit generally poor correlations between IMFs near Venus and those near Earth, though good correlations are sometimes obtained for well-defined structures when the Sun, Venus, and Earth are closely aligned. The rather poor correlations in the background streams indicate that the IMFs are still changing between the Venus and Earth orbits under the strong influence of solar wind dynamics.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 16; 9; p. (9)111-(9)114
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Publication Date: 2019-04-02
    Description: The Fe K-alpha and K-beta X-ray lines (wavelengths 1.94 and 1.76 A) in the solar X-ray spectrum are formed by fluoroescence of photospheric iron atoms, and the ratio of the intensity of either to the He-like iron (Fe XXV) resonance line at 1.85 A is a function of the photospheric-to-coronal abundance of iron. The temperature dependence of this ratio is weak as long as the flare temperature T(sub e) greater than or approximately equal to 15 x 10(exp 6)K. Comparison of the theoretical value of this intensity ratio with observations from crystal spectrometers on Yohkoh, Solar Maximum Mission (SMM) and P78-1 are consistent with the photospheric abundance of Fe being equal to the coronal.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 15; 7; p. (7)33-(7)36
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    facet.materialart.
    Unknown
    In:  Other Sources
    Publication Date: 2019-04-02
    Description: Solar energetic particles (SEPs) provide a measurement of coronal element abundances that is highly independent of the ionization states and temperature of the ions in the source plasma. The most complete measurements come from large 'gradual' events where ambient coronal plasma is swept up by the expanding shock wave from a coronal mass ejection. Particles from 'impulsive' flares have a pattern of acceleration-induced enhancements superimposed on the coronal abundances. Particles accelerated from high-speed solar wind streams at corotating shocks show a different abundance pattern corresponding to material from coronal holes. Large variations in He/O in coronal material are seen for both gradual and impulsive-flare events but other abundance ratios, such as Mg/Ne, are remarkably constant. SEP measurements now include hundreds of events spanning 15 years of high-quality measurement.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 15; 7; p. (7)41-(7)51
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Publication Date: 2019-04-02
    Description: A survey of the Pioneer Venus Orbiter (PVO) magnetometer and plasma data from 1979-1980, shows that the occurrence frequency of interplanetary shocks, coronal mass ejections (CMEs) and stream interactions observed at 0.7 AU exhibits a solar cycle variation. As previously found at 1 AU, the observed number of both interplanetary shocks and CMEs peaks during solar maximum (approximately 16 and approximately 27 per year, respectively) and reaches a low during solar minimum (approximately 0 and approximately 7 per year, respectively), in phase with the variation in smoothed sunspot number. The number of stream interactions observed varies in the opposite manner, having a minimum during solar maximum (approximately 15 per year) and a maximum during solar minimum (approximately 34 per year). The percentage of CMEs and stream interactions producing interplanetary shocks also varies during the solar-cycle and exhibits interesting behavior during the declining phase. While the number of CMEs observed during this phase is decreasing, the percentage of CMEs producing interplanetary shocks reaches a maximum. Also, while the number of stream interactions observed is increasing, but has not reached maximum during the declining phase, the percentage of stream interactions producing interplanety shocks is at a maximum.
    Keywords: SOLAR PHYSICS
    Type: Advances in Space Research (ISSN 0273-1177); 16; 9; p. (9)353
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Publication Date: 2019-06-28
    Description: In relation to the understanding of the structure and dynamics of the solar atmosphere which requires realistic coronal magnetic field models, a horizontal current-current sheet (HCCS) coronal model was developed. The model includes large-scale, low altitude, horizontal currents and the effect of thin current sheets in the streamer belt of the field above cusp-type neutral points. The effect of the streamer current sheet on the field below the cusp points is accounted for. In order to suggest what can be anticipated from Michelson Doppler imager (MDI) photospheric magnetic field data calculations of the coronal magnetic field using low spatial resolution data, are presented, and results from the calculations of solar eclipses are compared with solar eclipse images.
    Keywords: SOLAR PHYSICS
    Type: NASA-CR-200367 , NAS 1.26:200367 , ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 509-514
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Publication Date: 2019-06-28
    Description: The dynamics of compressible convection within a curved local segment of a rotating spherical shell are considered in relation to the turbulent redistribution of angular momentum within the solar convection zone. Current supercomputers permit fully turbulent flows to be considered within the restricted geometry of local area models. By considering motions in a curvilinear geometry in which the Coriolos parameters vary with latitude, Rossby waves which couple with the turbulent convection are thought of as being possible. Simulations of rotating convection are presented in such a curved local segment of a spherical shell using a newly developed, sixth-order accurate code based on compact finite differences.
    Keywords: SOLAR PHYSICS
    Type: ESA, Proceedings of 4th SOHO on Helioseismology. Volume 2: Posters; p 245-248
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...