Typing logic contents using Lingua Cosmica

This paper informs how elements of constructive type theory can be used effectively for clarifying textual messages meant for communication with ETI. Within the setting of a suitable environment consisting of declared terms, it is shown how logical contents of texts can be modelled and codified.     

Exploring Regional Variation in Spatial Language Using Spatially Stratified Web-Sampled Route Direction Documents

Spatial language, such as route directions, can be analyzed to shed light on how humans communicate and conceptualize spatial knowledge. This article details a computational linguistic approach using route directions to study regional variations in spatial language. We developed a web-sourcing approach to collect human-generated route direction documents on a geographical scale. Specifically, we built the Spatially strAtified Route Direction (SARD) Corpus through automated scraping, classifying, and georeferencing of route directions. Based on semantic categories of cardinal and relative direction terms, the analysis of the SARD Corpus reveals significant differences and patterns on both national (United States, United Kingdom, and Australia) and regional (contiguous U.S. states) levels. Combining computational linguistics and georeferencing approaches offers the potential for extending classic spatial linguistic studies.     

Origin of Sunspots

Sunspots, seen as cool regions on the surface of the Sun, are a thermal phenomenon. Sunspots are always associated with bipolar magnetic loops that break through the solar surface. Thus to explain the origin of sunspots we have to understand how the magnetic field originates inside the Sun and emerges at its surface. The field predicted by mean-field dynamo theories is too weak by itself to emerge at the surface of the Sun. However, because of the turbulent character of solar convection the fields generated by dynamo are intermittent – i.e., concentrated into ropes or sheets with large spaces in between. The intermittent fields are sufficiently strong to be able to emerge at the solar surface, in spite of the fact that their mean (average) value is weak. It is suggested here that magnetic fields emerge at the solar surface at those random times and places when the total magnetic field (mean field plus fluctuations) exceeds the threshold for buoyancy. The clustering of coherently emerged loops results in the formation of a sunspot. A non-axisymmetric enhancement of the underlying magnetic field causes in the clustering of sunspots forming sunspot groups, clusters of activity and active longitudes. The mean field, which is not directly observable, is also important, being responsible for the ensemble regularities of sunspots, such as Hale's law of sunspot polarities and the 11-year periodicity.     

2D and 3D MHD simulations of disk accretion by rotating magnetized stars: Search for variability

We performed 2D and full 3D magnetohydrodynamic simulations of disk accretion to a rotating star with an aligned or misaligned dipole magnetic field. We investigated the rotational equilibrium state and derived from simulations the ratio between two main frequencies: the spin frequency of the star and the orbital frequency at the inner radius of the disk. In 3D simulations we observed different features related to the non-axisymmetry of the magnetospheric flow. These features may be responsible for high-frequency quasi-periodic oscillations (QPOs). Variability at much lower frequencies may be connected with restructuring of the magnetic flux threading the inner regions of the disk. Such variability is specifically strong at the propeller stage of evolution.     

Modelling and design of wing tip devices at various flight conditions using a databased aerodynamic prediction tool

A design study of wing tip devices at high and low speeds is described. The basis of the design study is an equivalent drag approach containing both aerodynamic drag gain and structural weight penalty. A comprehensive parameter study is carried out using a rapid aerodynamic prediction tool named Lift and Drag Component Analysis (LIDCA). Adding to an available lifting-line method a databased module for airfoil data is employed that uses results of two-dimensional flow simulations by multidimensional interpolation. Detailed validation studies of the method at high lift and high speed have demonstrated good accuracy. RANS computations of the selected wing tip designs confirm the predicted benefits at cruise condition. The results of the most effective wing tip designs are analysed at both flight conditions. Finally, options for improving the performance at take-off are suggested.     

Influence of the Interplanetary Magnetic Field on the Solar Wind Flow about Planetary Obstacles

The main effects caused by the interplanetary magnetic field (IMF) are analyzed in cases of supersonic solar wind flow around magnetized planets (like Earth) and nonmagnetized (like Venus) planets. The IMF has a relatively weak strength in the solar wind but it is enhanced considerably in the so-called plasma depletion layer or magnetic barrier in the vicinity of the streamlined obstacle (magnetopause of a magnetized planet, or ionopause of a nonmagnetized planet). For magnetized planets, the magnetic barrier is a source of free magnetic energy for magnetic reconnection in cases of large magnetic shear at the magnetopause. For nonmagnetized planets, mass loading of the ionospheric particles is very important. The new created ions are accelerated by the electric field related to the IMF, and thus they gain energy from the solar wind plasma. These ions form the boundary layer within the magnetic barrier. This mass loading process affects considerably the profiles of the magnetic field and plasma parameters in the flow region.     

ASAR imaging for coastal upwelling in the Baltic Sea

Analysis of Envisat Advanced Synthetic Aperture Radar (ASAR) and Aqua/Terra Moderate Imaging Spectrometer (MODIS) infrared (IR) imagery of coastal upwelling in the southeastern Baltic Sea is presented. It is found that upwelling features are well distinct in the SAR images, and the leading imaging mechanism appears to be the change of the marine atmospheric boundary layer (MABL) stratification over the sea surface temperature (SST) front. This finding is supported by model calculations of the MABL transformation supplemented with the SAR backscatter calculations based on the CMOD4 model. In addition an empirical dependence of the SAR contrasts over the upwelling region on the wind speed and the SST drop is suggested. Finally, surface slicks accumulated in the sea surface current convergence zones generate additional distinct features in SAR imagery. This effect is interpreted within the framework of the coastal current circulation model based on analysis of the SST snapshot.     

Scattering-Center Theory and Radar Glint Analysis

The balance-point model for tracking radars has been extended by using the geometrical theory of diffraction to evaluate the magnitudes and phases of the fields received from the scattering centers on a target. Determinate, rather than statistically averaged, expressions for balance-point location are obtained. The glint model is illustrated for a right-circular cylinder.     

Special issue introduction: Approaching spatial uncertainty visualization to support reasoning and decision making

While research on uncertainty and decision-making has a long history across several disciplines, recent technological developments compel researchers to rethink how to best address and advance the understanding of how humans reason and make decisions under spatial uncertainty. This introduction presents a visual summary graphic to provide an overview of each article in this special issue. Upon viewing these visual summaries, the reader will find that each of these articles covers different topics in the uncertainty visualization domain, offering complementary research in this field. Extending this body of research and finding new ways to explore how these visualizations may help or hinder the analytical and reasoning process of humans continues to be a necessary step towards designing more effective uncertainty visualizations to support reasoning and decision-making.     

Probing Solar Subsurface Magnetic Fields

Helioseismology uses solar p-mode oscillations to probe the structure of the solar interior. The modifications of p-mode properties due to the presence of solar magnetic fields provide information on the magnetic fields in the solar interior. Here we review some of results in helioseismology on the magnetic fields in the solar convection zone. We will also discuss a recent result on the magnetic fields at the base of the convection zone. This revised version was published online in August 2006 with corrections to the Cover Date.