Spatial Vagueness and Second-Order

This paper presents a geometric characterization of geographic objects with vague boundaries. Since the framework is based on ordering geometry and does not rely on numerical concepts, it can be applied to qualitative spatial reasoning. The characterization describes vague regions and gradual transitions between two vague regions. This approach takes into account that the region of all points that definitely belong to an object is also vague, called higher-order vagueness. Higher-order vagueness is usually neglected by theories modeling spatial vagueness. The approach distinguishes firstand second-order vague regions and characterizes the gradual transitions of second-order vague regions. These gradual transitions allow transitions within transitions. In general, it is not possible to reduce higher-order vagueness to first-order vagueness. Using a spatial ordering structure the article shows when second-order vagueness is useful and examines the relationship between first- and second-order vagueness. An example shows how second-order vagueness can be used to represent geographic objects.     

子母弹内弹道理论计算模型

基于一种子母弹燃气抛放子弹装置，根据流体动力学和火药理论，尤其是借鉴了流体动力学的喷管理论，从实际情况出发，考虑了燃烧室内压强和推动子弹运动的压强之间的区别，提出了一种新的计算子母弹道的方法，建立了具体的理论计算模型，并根据算例，与火炮内弹道学理论模型进行比较，说明了该模型的特点和长处。     

一种新的基于粗集的辐射源信号识别模型

粗糙集理论作为一种新的处理含糊和不确定性问题的数学工具,已成为国际学术界的一个前沿的研究领域。在深入研究粗糙集理论的基础上,将其引入辐射源识别问题中,给出了一种基于粗糙集的辐射源信号识别模型。同时给出了一种不依赖先验知识确定辐射源识别权值的新方法,并提出了一种新的分类规则。最后,进行了计算机仿真实验,并与经典的模糊模式识别及统计模式识别方法进行了比较,实验结果证明了该方法的优势和有效性。     

Defining life

Any definition is intricately connected to a theory that gives it meaning. Accordingly, this article discusses various definitions of life held in the astrobiology community by considering their connected "theories of life." These include certain "list" definitions and a popular definition that holds that life is a "self-sustaining chemical system capable of Darwinian evolution." We then act as "anthropologists," studying what scientists do to determine which definition-theories of life they constructively hold as they design missions to seek non-terran life. We also look at how constructive beliefs about biosignatures change as observational data accumulate. And we consider how a definition centered on Darwinian evolution might itself be forced to change as supra-Darwinian species emerge, including in our descendents, and consider the chances of our encountering supra-Darwinian species in our exploration of the Cosmos. Last, we ask what chemical structures might support Darwinian evolution universally; these structures might be universal biosignatures.     

Information theory,animal communication,and the search for extraterrestrial intelligence

We present ongoing research in the application of information theory to animal communication systems with the goal of developing additional detectors and estimators for possible extraterrestrial intelligent signals. Regardless of the species, for intelligence (i.e., complex knowledge) to be transmitted certain rules of information theory must still be obeyed. We demonstrate some preliminary results of applying information theory to socially complex marine mammal species (bottlenose dolphins and humpback whales) as well as arboreal squirrel monkeys, because they almost exclusively rely on vocal signals for their communications, producing signals which can be readily characterized by signal analysis. Metrics such as Zipf's Law and higher-order information-entropic structure are emerging as indicators of the communicative complexity characteristic of an “intelligent message” content within these animals’ signals, perhaps not surprising given these species’ social complexity. In addition to human languages, for comparison we also apply these metrics to pulsar signals—perhaps (arguably) the most “organized” of stellar systems—as an example of astrophysical systems that would have to be distinguished from an extraterrestrial intelligence message by such information theoretic filters. We also look at a message transmitted from Earth (Arecibo Observatory) that contains a lot of meaning but little information in the mathematical sense we define it here. We conclude that the study of non-human communication systems on our own planet can make a valuable contribution to the detection of extraterrestrial intelligence by providing quantitative general measures of communicative complexity. Studying the complex communication systems of other intelligent species on our own planet may also be one of the best ways to deprovincialize our thinking about extraterrestrial communication systems in general.     

内圣外王

内圣是人格主体在德、能、学三个基本方面的自我修养,其至高境界是"极高明而道中庸";外王则是指卓越的"治平"社会功德。内圣是外王的前提和基础,外王是内圣的实践归宿和社会价值体现。内圣外王具有道德的、政治的和学术的三重理想人格涵义。内圣外王人格论的思想理论基础是传统的民本思想、"人贵论"和"人性论"。     

Structural control interaction for an LSS attitude control system using thrusters and reaction wheels

This work provides some important information about control structure interaction (CSI) for a large space structure (LSS) attitude control subsystem (ACS) comprised of thrusters and reaction wheels. The LSS physical model is assumed as a rigid long tubular beam as the main bus with two attached long flexible solar panels. Two thrusters (one at each tip of the LSS) are used for large amplitude maneuvers and the reaction wheels for fine control. Lagrange's formulations for generalized and quasi-coordinates were used to derive the equations of motion. The gravity gradient, the solar pressure and the drag were included in the mathematical model as external perturbations. The assumed modes discretization method has been used to model the solar array elastic displacements so as to obtain a set of ordinary differential equations to describe the LSS motion. Different control strategies were implemented to analyze the CSI for two configurations, fine and coarse control. The MatLab/Simulink platform has been used for the computational simulations. The results are in agreement with the CSI theory in that thruster firings excite the solar panel vibrations and that the elastic vibration is an important issue to be taken into account for LSS ACS performance evaluation for both fine and coarse control. In spite of the CSI the maneuver objectives have been accomplished with results that meet the mission criteria.     

Towards an EU industrial policy for the space sector – Lessons from Galileo

The rise of the EU as an actor in the European and world space theatres, in its various roles as initiator, owner and operator of large-scale programmes such as Galileo and GMES, has raised a number of questions with regard to industrial policy. Based on the experiences from the Galileo programme's procurement round in the Full Operational Capability (FOC) phase and on the present discussions on space industrial policy within the EU, this paper argues that, whereas the EU's political ambitions in space have been discussed and become reasonably well defined, the specific policy tools and legal instruments to put them into practice are far from complete. First, an unequivocal industrial policy for the space sector needs to be defined that reconciles the Union's political ambitions with the economic specificities of the space sector. At present, this is a work in progress, with opinions diverging between member states. Second, both logically and temporally, these policy decisions need to be translated into legal instruments that allow their implementation. This implies the development of made-to-measure funding instruments and procurement rules. We conclude by emphasising the need for a sector-specific industrial policy as an integral part of the EU's space policy.     

Expert Algorithmic and Imagistic Problem Solving Strategies in Advanced Chemistry

Abstract

Visualization and imagistic reasoning appear central to expert practice in science; however, expert use of these strategies on authentic tasks has not been examined in detail. This study documents how science experts use both algorithms and imagistic reasoning to solve problems. Using protocol analysis, we report expert chemists' preferential use of algorithms for solving spatial problems and imagistic reasoning for deducing spatial transformations. We observed experts employ algorithms to solve the majority of spatial tasks while reserving imagistic strategies to solve a class of tasks that required translating between representations. Strategy used varied widely among experts and tasks.     

Analysis of heterogeneous recombination of oxygen atoms on aluminum oxide by methods of quantum mechanics and classical dynamics

To analyze the catalytic properties of heat shield materials of space vehicles, the cluster models of the adsorption of oxygen atoms on aluminum oxide are constructed and the corresponding potential energy surface is calculated on the basis of the density functional theory. Quantum-mechanical calculations showed that it is necessary to take into account the relaxation of the surface monolayers. Using this surface in molecular dynamics, calculations made it possible to obtain the probabilities of the heterogeneous recombination of oxygen atoms on the α-Al₂O₃ surface, which are in good agreement with experimental data. The calculations performed substantially decrease the amount of experimental investigations necessary reliably to describe the heterogeneous catalysis on promising reusable heat shield coatings for analyzing heat transfer during spacecraft entry into the atmosphere.     

Evolution and History in a new “Mathematical SETI” model

In a recent paper (Maccone, 2011 [15]) and in a recent book (Maccone, 2012 [17]), this author proposed a new mathematical model capable of merging SETI and Darwinian Evolution into a single mathematical scheme. This model is based on exponentials and lognormal probability distributions, called “b-lognormals” if they start at any positive time b (“birth”) larger than zero. Indeed:

• 1.Darwinian evolution theory may be regarded as a part of SETI theory in that the factor f_l in the Drake equation represents the fraction of planets suitable for life on which life actually arose, as it happened on Earth.
• 2.In 2008 (Maccone, 2008 [9]) this author firstly provided a statistical generalization of the Drake equation where the number N of communicating ET civilizations in the Galaxy was shown to follow the lognormal probability distribution. This fact is a consequence of the Central Limit Theorem (CLT) of Statistics, stating that the product of a number of independent random variables whose probability densities are unknown and independent of each other approached the lognormal distribution if the number of factors is increased at will, i.e. it approaches infinity.
• 3.Also, in Maccone (2011 [15]), it was shown that the exponential growth of the number of species typical of Darwinian Evolution may be regarded as the geometric locus of the peaks of a one-parameter family of b-lognormal distributions constrained between the time axis and the exponential growth curve. This was a brand-new result. And one more new and far-reaching idea was to define Darwinian Evolution as a particular realization of a stochastic process called Geometric Brownian Motion (GBM) having the above exponential as its own mean value curve.
• 4.The b-lognormals may be also be interpreted as the lifespan of any living being, let it be a cell, or an animal, a plant, a human, or even the historic lifetime of any civilization. In Maccone, (2012 [17, Chapters 6, 7, 8 and 11]), as well as in the present paper, we give important exact equations yielding the b-lognormal when its birth time, senility-time (descending inflexion point) and death time (where the tangent at senility intercepts the time axis) are known. These also are brand-new results. In particular, the σ=1 b-lognormals are shown to be related to the golden ratio, so famous in the arts and in architecture, and these special b-lognormals we call “golden b-lognormals”.
• 5.Applying this new mathematical apparatus to Human History leads to the discovery of the exponential trend of progress between Ancient Greece and the current USA Empire as the envelope of the b-lognormals of all Western Civilizations over a period of 2500 years.
• 6.We then invoke Shannon's Information Theory. The entropy of the obtained b-lognormals turns out to be the index of “development level” reached by each historic civilization. As a consequence, we get a numerical estimate of the entropy difference (i.e. the difference in the evolution levels) between any two civilizations. In particular, this was the case when Spaniards first met with Aztecs in 1519, and we find the relevant entropy difference between Spaniards an Aztecs to be 3.84 bits/individual over a period of about 50 centuries of technological difference. In a similar calculation, the entropy difference between the first living organism on Earth (RNA?) and Humans turns out to equal 25.57 bits/individual over a period of 3.5 billion years of Darwinian Evolution.
• 7.Finally, we extrapolate our exponentials into the future, which is of course arbitrary, but is the best Humans can do before they get in touch with any alien civilization. The results are appalling: the entropy difference between aliens 1 million years more advanced than Humans is of the order of 1000 bits/individual, while 10,000 bits/individual would be requested to any Civilization wishing to colonize the whole Galaxy (Fermi Paradox).
• 8.In conclusion, we have derived a mathematical model capable of estimating how much more advanced than humans an alien civilization will be when SETI succeeds.

     

Tractable Fragments of Fuzzy Qualitative Algebra

Abstract

In this paper we study the computational complexity of Fuzzy Qualitative Temporal Algebra (QA ^fuz ), a framework that combines qualitative temporal constraints between points and intervals, and allows modelling vagueness and uncertainty. Its tractable fragments can be identified by generalizing the results obtained for crisp Constraint Satisfaction Problems (CSPs) to fuzzy CSPs (FCSPs); to do this, we apply a general methodology based on the notion of α-cut. In particular, the results concerning the tractability of Qualitative Algebra QA, obtained in a recent study by different authors, can be extended to identify the tractable algebras of the fuzzy Qualitative Algebra QA ^fuz in such a way that the obtained set is maximal, namely any maximal tractable fuzzy algebra belongs to this set.     

Station keeping of a solar sail around a Halo orbit

Solar sails are a concept of spacecraft propulsion that takes advantage of solar radiation pressure to propel a spacecraft. Although the thrust provided by a solar sail is small it is constant and unlimited. This offers the chance to deal with novel mission concept. In this work we want to discuss the controllability of a spacecraft around a Halo orbit by means of a solar sail. We will describe the natural dynamics for a solar sail around a Halo orbit. By natural dynamics we mean the behaviour of the trajectory of a solar sail when no control on the sail orientation is applied. We will then discuss how a sequence of changes on the sail orientation will affects the sail's trajectory, and we will use this information to derive efficient station keeping strategies. Finally we will check the robustness of these strategies including different sources of errors in our simulations.     

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.     

Evolution of Rotational Motion of a Symmetrical Satellite with Viscoelastic Rods

We study the motion of a symmetrical satellite with a pair of flexible viscoelastic rods in a central Newtonian gravitational field. A restricted problem formulation is considered, when the satellite's center of mass moves along a fixed circular orbit. A small parameter is introduced which is inversely proportional to the stiffness of flexible elements. Another small parameter is equal to the ratio of the squared orbital angular velocity and the squared magnitude of the initial angular velocity of the satellite. In order to describe the satellite rotational motion relative to the center of mass, we use the canonical Andoyer variables. In the undisturbed formulation of the problem, i.e., at = 0 and = 0, these variables are the action–angle variables. Equations describing the evolution of motion are derived by an asymptotic method which combines the method of separating motions for systems with an infinite number of degrees of freedom and the Krylov–Bogolyubov method for systems with fast and slow variables. The manifolds of stationary motions are found, and their stability is investigated on the basis of equations in variations. Phase portraits are constructed which describe the rotational motion of a satellite at the stage of slow dissipative evolution.     

Editorial: Cognitive Semantics and Spatio-Temporal Ontologies

How do people describe the location of a target object to another? This task requires a reference object or frame and terms of reference. Traditional linguistic analyses have loosely organized perspectives around people, objects, or environments as reference objects, using reference terms based on a viewpoint or the intrinsic sides of an object, such as left, right, front, and back or based on the environment, such as north, south, east, and west. In actual communication, social, spatial, and cognitive factors may also affect perspective choice. We examine those factors by varying the spatial information (landmarks and cardinal directions), the communication task (relative cognitive burden to speakers and addressees), and the culture of participants (American and Japanese). Speakers used addressees' perspectives more when addressees had the greater cognitive burden. They also used landmarks and cardinal directions when they were available, especially to avoid difficult discriminations like left/right. Some cases appearing to be perspective taking can be interpreted as using a person as a landmark. Finally, terms like near indicating close proximity were preferred to far and to terms requiring projection of directions. Globally, perspective choices of American and Japanese samples were strikingly similar; that is, Japanese did not select addressees' perspectives more than Americans. The traditional linguistic analyses need to be enhanced to account for effects of cognitive, situational, and social factors.     

Characterization of Lithium-Polymer batteries for CubeSat applications

With the development of several key technologies, nanosatellites are emerging as important vehicles for carrying out technology demonstrations and space science research. Nanosatellites are attractive for several reasons, the most important being that they do not involve the prohibitive costs of a conventional satellite launch. One key enabling technology is in the area of battery technology. In this paper, we focus on the characterization of battery technologies suitable for nanosatellites.Several battery chemistries are examined in order to find a type suitable for typical nanosatellite missions. As a baseline mission, we examine York University's 1U CubeSat mission for its power budget and power requirements. Several types of commercially available batteries are examined for their applicability to CubeSat missions. We also describe the procedures and results from a series of environmental tests for a set of Lithium Polymer batteries from two manufacturers.     

Terahertz circular dichroism spectroscopy: a potential approach to the in situ detection of life's metabolic and genetic machinery

We propose a terahertz (far-infrared) circular dichroism-based life-detection technology that may provide a universal and unequivocal spectroscopic signature of living systems regardless of their genesis. We argue that, irrespective of the specifics of their chemistry, all life forms will employ well-structured, chiral, stereochemically pure macromolecules (>500 atoms) as the catalysts with which they perform their metabolic and replicative functions. We also argue that nearly all such macromolecules will absorb strongly at terahertz frequencies and exhibit significant circular dichroism, and that this circular dichroism unambiguously distinguishes biological from abiological materials. Lastly, we describe several approaches to the fabrication of a terahertz circular dichroism spectrometer and provide preliminary experimental indications of their feasibility. Because terahertz circular dichroism signals arise from the molecular machinery necessary to carry out life's metabolic and genetic processes, this life-detection method differs fundamentally from more well-established approaches based on the detection of isotopic fractionation, "signature" carbon compounds, disequilibria, or other by-products of metabolism. Moreover, terahertz circular dichroism spectroscopy detects this machinery in a manner that makes few, if any, assumptions as to its chemical nature or the processes that it performs.