Large-size message construction for ETI,Logical existence expressed in Lingua Cosmica

The concept of logical existence is embedded in Lingua Cosmica, a formal linguistic system intended for use in interstellar communication between intelligent species in the Galaxy.     

Space,Language and Ontology: A Response to Davis

Abstract

Ernest Davis' article “Qualititative Spatial Reasoning in Interpreting Text and Narrative” discusses challenges that the interpretation of natural language appears to raise for the formalization of commonsense spatial reasoning. Davis finds these to be of “surprising logical complexity,” but also “erratic” in that they do not show a logical structuring of the problem space that could guide productive research. In this response I argue that much of the apparent lack of structure Davis laments is due to the very style of formal modeling he pursues. By augmenting logical considerations with substantial input from other disciplines and by adopting a heterogeneous and modular approach to formalization, I suggest that the problem space is by no means as ill-structured as Davis presents it.     

Verb Semantics Affects the Interpretation of Spatial Prepositions

Abstract

Spatial prepositions, more specifically projective prepositions, such as in front of or behind can be interpreted in different ways. Their interpretation depends on the spatial perspective taken as the basis for determining the reference frame's orientation. In 3 series of placement experiments with German speakers, we examined whether the interpretation of projective prepositions in a motion context is affected by the verb used in a spatial instruction. Results suggest that verb semantics is a factor accounting for previously observed seemingly social-situational differences in the interpretation of projective prepositions. Specifically, the findings indicate that, relative to a car as reference object, the semantic aspect of motion interruption associated with some verbs leads to a higher proportion of deictic interpretations determined by the direction from which one is approaching the car. This verb effect on the interpretation of spatial prepositions can be explained by an activation of the temporal dimension through stop-implying verbs, which is integrated into the spatial situation model of the perceived dynamic scene making the deictic frame of reference more compatible. The experimental evidence also shows that verb semantics can account for previously unexplained cross-linguistic differences, and is related to patterns concerning the prepositional inventory of languages.     

Experiments to Examine the Situated Nature of Geoscientific Concepts

ABSTRACT

Ontologies are being developed in many geoscientific domains. They are typically populated with two types of concepts: upper-level concepts that apply across many or all domains, and domain concepts that apply only within a specific domain. Previous work has refined this distinction by identifying a particular type of domain concept, called a situated concept, which is dependent on specific processes (natural, social, scientific, or possibly machine) for its meaning and is instantiated amongst entities within a specific geographical and historical context. In this paper we present new support for situated geoscientific concepts, building on our previous research that argues for the importance of situations in the development and use of concepts related to geoscientific field mapping. The new results are obtained by using statistical techniques to further analyze three geologists' field data over time, to better test the hypothesis that the concepts developed by the geologists to classify objects on the map are in fact situated. The field data are compared to each other, and to the concepts developed by the team. Differences found between and within individuals' data for three map concepts provide strong support for the idea that the concepts are variably influenced by data, theory, and natural and human situations. From this increased corroboration of situated concepts we suggest two implications for domain ontologies: (1) a delineation between situated domain concepts and non-situated domain concepts; and (2) recognition that representation of reliable meaning involves the capture of historical and geographical context for situated concepts.     

Geometric structures of frames of reference and natural language semantics

This article aims at formal specifications of reference systems in spatial cognition. It concentrates on two roles of reference systems connected to spatial language: reference systems resolving ambiguities and reference systems forming a basis for the classification of linguistic terms. Although coordinate systems are often seen as candidates for the geometric structure of reference systems, it is shown here that they do not appear in the explanations that go into the details. An analysis of the German terms vor, hinter, rechts and links (in front of, in back of, right, left) presents an alternative model for the geometric structure of spatial reference systems.     

Periodic solutions in three-dimensional restricted three-body problem: 2. Loss of symmetry at the 1:1 resonance

Within the framework of the circular restricted three-body problem a family of inverse periodic orbits around the two attracting bodies (the Egorov’s family) and families generated by it at the 1:1, 2:1, and 3:1 resonances for three-dimensional orbits in the Sun-Earth and Earth-Moon systems are considered. Their relationship with families generated by orbits around the libration points L ₁, L ₂ and L ₃ is investigated. One of the families contains periodic solutions that seem promising as possible orbits for the space radio telescope of the Millimetron project.     

Variable Granularity in Route Directions

Abstract

This paper addresses changes of spatial granularity in route directions in relation to information needs in multimodal traveling. We outline a model of variability in granularity and apply this model to empirical data. Results reveal that linguistic route directions produced by humans as well as automatically generated web-based services provide the most crucial route elements in hierarchically structured ways that reflect the salient structure imposed by multimodal traveling. However, although the web-based information is impressively comprehensive, human route directions exhibit more flexibility regarding switches of place-related granularity, and they provide more detailed information at complex locations or decision points.     

统一建模语言UML及其应用

UML是面向对象的统一建模语言，是面向对象领域的重要成果。它的内容包括UML语义和UML表示法两个部分。本文简要介绍了UML语义，表示法的内容，并总结了它在某些重要领域的应用。     

Ray Based Diffraction Tomography of the Ionosphere and Laboratory Inhomogeneous Plasma

A new procedure for restoration of the plasma inhomogeneities with improved resolution is suggested. The procedure deals with the double weighted Fourier transform (DWFT) of the observed wavefield in coordinates of both receivers = (x, y) and sources ₀ = (x ₀, y ₀) [1]. Phase increments between the sources and receivers, being found from DWFT representation, can be used for extracting information on small perturbations of the dielectric constant ~(, z) in a way similar to traditional radio tomography. The resulting resolution of the method is close to the diffraction limit = h/D in the horizontal direction and z = (h/D)² in the vertical direction, where h is the height of inhomogeneities and D is the length of the ground-based receiving system.     

Buoyancy effects on smoldering combustion

A theoretical and experimental study is carried out to determine the effect of buoyancy on the rate of spread of a cocurrent smolder reaction through a porous combustible material. Since buoyant forces are proportional to the product g(_gi − _g), they can be controlled experimentally by varying either the gravitational acceleration, g, or the density difference, _gi − _g. The latter approach was followed in the present work. Measurements are performed of the smolder spread rate through porous α-cellulose (0.83 void fraction) as a function of the ambient air pressure. The experiments are carried out in a pressure vessel for ambient pressures ranging from 0.5 to 1.2 atm. The rate of spread was obtained from the temperature histories of thermocouples placed at fixed intervals along the fuel centerline. The smolder velocity was found to increase as the ambient pressure was increased. Extinction was found to occur when the buoyancy forces could not overcome the drag forces, indicating that at least for the present experimental conditions transport by diffusion cannot, by itself, support the spread of a smolder reaction. This conclusion is particularly important for outer space conditions where gravity and consequently buoyancy could be negligible. In the analysis, which assumes one-dimensional processes, the transport equations are solved to give the smolder spread rate as a function of the inlet oxygen mass flux. This mass flux is then estimated by balancing buoyancy and drag forces. Assuming that the smolder chemical reaction is only weakly dependent on pressure, the analysis finally predicts a smolder velocity dependence of the form v Y_oig²_gi Pa², i.e. is proportional to the ambient pressure squared. Good qualitative agreement is found between the theoretical predictions and the experimental results.     

Relationship between ionospheric electric fields and magnetic activity indices

The relations between electric fields in the daytime and nighttime sectors of the polar ionosphere and magnetic activity indices of auroral region (AL) and northern polar cap (PCN) are studied. It is found that the above relations do exist and are described by: a) equations U _pc⁽¹⁾ (kV) = 27.62 + 21.43PCN with a correlation coefficient R = 0.87 and U _pc⁽¹⁾ (kV) = 4.06 + 49.21PCN - 6.24 PCN² between the difference in the electric potentials across the polar cap in the daytime sector U _pc⁽¹⁾ and PCN and b) regression equation U _pc⁽²⁾ (kV) = 23.33 + 0.08|AL| with R = 0.86 between the difference in the electric potentials across the polar cap in the nighttime sector U _pc⁽²⁾ and |AL|. It is shown that: a) it is possible to use the AL and PCN indices for real-time diagnostics of instantaneous values of the electric fields in the daytime and nighttime sectors of the polar ionosphere in the process of a substorm development; b) at the expansion phase of a substorm, due to calibration of PCN values by the values of the solar wind electric field E _sw, the PCN index does not feel the contribution of the western electrojet and, accordingly, the contribution of the nighttime ionospheric electric field U _pc⁽²⁾, governed by the reconnection in the magnetospheric tail.     

Spatio-Temporal Ontologies and Attention

ABSTRACT

This paper presents a new proposal for the design of spatio-temporal ontologies which has its origin in cognitively motivated spatial semantics. It is shown that selective attention not only plays a central role in the characterization of spatial relations but that the representation of attentional aspects also leads to the possibility of defining an ontological upper structure which systematically covers both the spatial and the temporal domain.     

Shadow play

ABSTRACT

Despite its visibility but in spite of its lack of materiality (or perhaps because of it), shadow has been a rich source of metaphor, both verbal and visual. Figurative extensions to the visual realms have been less explored; here, we present and analyze some figurative uses of shadow in a sample of visual jokes, cartoons, photographs, and paintings for insights into the nuanced senses of the concept. The visual domains allow for rich expressions of meaning not easily expressed in words.     

超临界压力下航空煤油RP-3在水平细圆管内对流换热特性实验研究

为探究超临界压力下碳氢燃料在水平管内的对流换热规律,文章针对超临界条件下航空煤油RP-3在水平细圆管内的对流换热,分析了热流密度、进口雷诺数及浮升力对对流换热的影响。研究表明:沿流动方向,管内表面传热系数随热流密度的增大先减小后增大;在低进口温度及低进口雷诺数情况下,管内换热均出现先恶化后强化的现象,而随着进口温度和雷诺数的增加,此现象消失;浮升力对换热的影响随热流密度的增加而增加;浮升力对下表面换热的加强使得入口效应的影响在下表面先于上表面结束;受浮升力影响,上下壁最大温差可达50 K;质量流速的增加会抑制浮升力对换热的影响;准则数Grq/Grth可以很好地反映浮升力的变化趋势。以上研究结果可为采用碳氢燃料作冷却介质的各类飞行器主动热防护技术方案提供技术支撑。     

Modelling Dynamic Spatial Systems in the Situation Calculus

Abstract

We propose and systematically formalise a dynamical spatial systems approach for the modelling of changing spatial environments. The formalisation adheres to the semantics of the situation calculus and includes a systematic account of key aspects that are necessary to realize a domain-independent qualitative spatial theory that may be utilised across diverse application domains. The spatial theory is primarily derivable from the all-pervasive generic notion of “qualitative spatial calculi” that are representative of differing aspects of space. In addition, the theory also includes aspects, both ontological and phenomenal in nature, that are considered inherent in dynamic spatial systems. Foundational to the formalisation is a causal theory that adheres to the representational and computational semantics of the situation calculus. This foundational theory provides the necessary (general) mechanism required to represent and reason about changing spatial environments and also includes an account of the key fundamental epistemological issues concerning the frame and the ramification problems that arise whilst modelling change within such domains. The main advantage of the proposed approach is that based on the structure and semantics of the proposed framework, fundamental reasoning tasks such as projection and explanation directly follow. Within the specialised spatial reasoning domain, these translate to spatial planning/re-configuration, causal explanation and spatial simulation. Our approach is based on the hypothesis that alternate formalisations of existing qualitative spatial calculi using high-level tools such as the situation calculus are essential for their utilisation in diverse application domains such as intelligent systems, cognitive robotics and event-based GIS.