An IPC-based Prolog design pattern for integrating backward chaining inference into applications or embedded systems

Prolog is one of the most important candidates to build expert systems and AI-related programs and has potential applications in embedded systems. However, Prolog is not suitable to develop many kinds of components, such as data acquisition and task scheduling, which are also crucial. To make the best use of the advantages and bypass the disadvantages, it is attractive to integrate Prolog with programs developed by other languages. In this paper, an IPC-based method is used to integrate backward chaining inference implemented by Prolog into applications or embedded systems. A Prolog design pattern is derived from the method for reuse, whose principle and definition are provided in detail. Additionally, the design pattern is applied to a target system, which is free software, to verify its feasibility. The detailed implementation of the application is given to clarify the design pattern. The design pattern can be further applied to wide range applications and embedded systems and the method described in this paper can also be adopted for other logic programming languages.     

Solar-photon sail hovering orbits about single and binary asteroids

Solar-photon sails can be useful for missions towards and about asteroids. Indeed, for the interplanetary transfer phase, missions to asteroids often require a large variation in inclination and solar-photon sails perform very well for such high energy missions. In the same way, solar-photon sails are also expected to perform well in the phase about the asteroid. This paper studies single and binary asteroids’ hovering regions by using a sailcraft. In order to consider a sailcraft with its own mass and shape, the mutual polyhedral method (usually used to study asteroid dynamics) is used; therefore, the sailcraft is designed by means of tetrahedra. The procedure to obtain the hovering regions about a single asteroid is presented and an accurate analysis of the control variables is carried out. Moreover, control torques required to maintain hovering orbits are obtained by considering the gravitational torques acting on the sailcraft due to the asteroid. In the end, the theory for hovering orbits is extended to binary-asteroid systems and applied to the binary system 1999 KW4.     

Assessing and minimizing collisions in satellite mega-constellations

We aim to provide satellite operators and researchers with an efficient means for evaluating and mitigating collision risk during the design process of mega-constellations. We first introduce a novel algorithm for conjunction prediction that relies on large-scale numerical simulations and uses a sequence of filters to greatly reduce its computational expense. We then use this brute-force algorithm to establish baselines of endogenous (intra-constellation), or self-induced, conjunction events for the FCC-reported designs of the OneWeb LEO and SpaceX Starlink mega-constellations. We demonstrate how these deterministic results can be used to validate more computationally efficient, stochastic techniques for close-encounter prediction by adopting a new probabilistic approach from Solar-System dynamics as a simple test case. Finally, we show how our methodology can be applied during the design phase of large constellations by investigating Minimum Space Occupancy (MiSO) orbits, a generalization of classical frozen orbits that holistically account for the perturbed-Keplerian dynamics of the Earth-satellite-Moon-Sun system. The results indicate that the adoption of MiSO orbital configurations of the proposed mega-constellations can significantly reduce the risk of endogenous collisions with nearly indistinguishable adjustments to the nominal orbital elements of the constellation satellites.     

星光折射连续修正方法及制导规划

针对星光折射模型本身固有的缺点，对星光折射连续修正方法进行了研究，该方法首先探索折射星的分布规律，而后采用Unscented卡尔曼滤波算法+多星连续观测的方案实现定位。同时，对可用星与选星要素和基于突防规划的星光制导弹道设计两方面进行了研究，在星光制导制约机理研究的基础上，提出了惯性/星光制导规划方法，该方法包括导航星的优选策略、导航星优选技术和星点位置的精确计算3步。最后，介绍了星光制导系统的系统组成和功能原理。     

The X-TRACK/ALES multi-mission processing system: New advances in altimetry towards the coast

In the context of the ESA Climate Change Initiative project, a new coastal sea level altimetry product has been developed in order to support advances in coastal sea level variability studies. Measurements from Jason-1,2&3 missions have been retracked with the Adaptive Leading Edge Subwaveform (ALES) Retracker and then ingested in the X-TRACK software with the best possible set of altimetry corrections. These two coastal altimetry processing approaches, previously successfully validated and applied to coastal sea level research, are combined here for the first time in order to derive a 16-year-long (June 2002 to May 2018), high-resolution (20-Hz), along-track sea level dataset in six regions: Northeast Atlantic, Mediterranean Sea, West Africa, North Indian Ocean, Southeast Asia and Australia. The study demonstrates that this new coastal sea level product called X-TRACK/ALES is able to extend the spatial coverage of sea level altimetry data ~3.5 km in the land direction, when compared to the X-TRACK 1-Hz dataset. We also observe a large improvement in coastal sea level data availability from Jason-1 to Jason-3, with data at 3.6 km, 1.9 km and 0.9 km to the coast on average, for Jason-1, Jason-2 and Jason-3, respectively. When combining measurements from Jason-1 to Jason-3, we reach a distance of 1.2–4 km to the coast. When compared to tide gauge data, the accuracy of the new altimetry near-shore sea level estimations also improves. In terms of correlations with a large set of independent tide gauge observations selected in the six regions, we obtain an average value of 0.77. We also show that it is now possible to derive from the X-TRACK/ALES product an estimation of the ocean current variability up to 5 km to the coast. This new altimetry dataset, freely available, will provide a valuable contribution of altimetry in coastal marine research community.     

Examining LiDAR – WorldView-3 data synergy to generate a detailed stand map in a mixed forest in the north-west of Turkey

Although stand delineation approach based on aerial photographs and field survey produces high accuracy maps, it is labour-intensive and time consuming. Furthermore, conventional forest stand maps may have some uncertainties that can hardly be verified due to the experiments and skills of photo-interpreters. Therefore, researchers have been seeking more objective and cost-effective methods for forest mapping. LiDAR (Light Detection and Ranging) data have a high potential to automatically delineate forest stands. Unlike optical sensors, LiDAR height data provides information about both the horizontal and vertical structural characteristics of forest stands. However, it deprives of spectral data that may be successfully used in separating tree species. In this study, we investigate the potential of LiDAR – WorldView-3 data synergy for the automatic generation of a detailed forest stand map which can be used for a tactical forest management plan. Firstly, image segmentation was applied to LiDAR data alone and LiDAR/WorldView-3 data set in order to obtain the most suitable image objects representing forest stands. Visual inspection of the segmentation results showed that image objects based on the LiDAR/WorldView-3 data set were more compatible with the reference forest stand boundaries. After the segmentation process, the LiDAR and LiDAR/WorldView-3 data sets were independently classified using object-based classification method. We tested two levels of classification. The first was a detailed classification with 14 classes considering reference stand types. The second was the rough classification with 9 classes where some stand types were combined. The mean, standard deviation and texture features of LiDAR metrics and spectral information were used in the classification. The accuracy assessment results of LiDAR data showed that the Overall Accuracy (OA) was calculated as 0.31 and 0.43, and the Kappa Index (KIA) was calculated as 0.26 and 0.32 for the detailed and rough classifications, respectively. For the LiDAR/WorldView-3 data set, the OA values were calculated as 0.50 and 0.61, and the KIA were calculated as 0.46 and 0.55 for the detailed and rough classifications, respectively. These results showed that the forest stand map derived from the LiDAR/WorldView-3 data synergy is more compatible with the reference forest stand map. In conclusion, it can be said that the forest stand maps produced in this study may provide strategic forest planning needs, but it is not sufficient for tactical forest management plans.     

Optimal mission planning of the reconfiguration process of satellite constellations through orbital maneuvers: A novel technical framework

In this paper, a general new methodology is presented for the orbital reconfiguration of satellite constellations on the basis of Lambert targeting theorem. In view of the cost and risk reduction, it is very important to consider the problem of satellite constellation reconfiguration with the two constraints of overall mission cost minimization and the desired final configuration. Hence, the dependent non-simultaneous deployment approach is proposed to minimize overall fuel cost. Despite the fact that the satellites deploy in a non-simultaneous manner, supplementary phasing maneuvers on the target orbital pattern to achieve the desired orbital configuration are avoided. Moreover, a novel idea is presented to optimize the flight of satellites, which plays an important role in complying with the constraint of overall fuel cost minimization as much as possible. In order to achieve the global optimal solution of the satellite constellation reconfiguration problem, the efficient hybrid Particle Swarm Optimization/Genetic Algorithm (PSO/GA) technique, is implemented. Finally, to indicate the superiority of the presented method, a comparison to the simultaneous maneuver viewpoint is made on a number of representative cases. The obtained results imply significant reduction of reconfiguration costs by employing the proposed method.     

An assessment of semi-analytical models based on the absorption coefficient in retrieving the chlorophyll-a concentration from a reservoir

Monitoring chlorophyll-a (Chl-a) concentrations in inland waters is crucial for water quality management, since Chl-a is a proxy for phytoplankton biomass and, thus, for ecological health of a water environment. Chl-a concentration can be retrieved through the inherent optical properties (IOPs) of a water system, which, in turn, can be remotely sensed obtained. Quasi-analytical algorithm (QAA), originally developed for ocean waters, can also retrieve IOPs for inland waters after re-parameterizations. This study is aimed at assessing the performance of sixteen schemes composed by QAA original and re-parameterized versions followed by models that use absorption coefficients as inputs for estimating Chl-a concentration in Ibitinga reservoir, located at Tietê River cascading system, São Paulo State, Brazil. It was verified that only QAA_V5 based schemes were able to obtain reasonable estimates for image data and that by four models tested presented similar and acceptable results for QAA_V5 outputs. The best model were applied to a Ocean and Land Colour Instrument (OLCI) image. Light absorption in the reservoir showed to be dominated by colored dissolved organic matter (CDOM), and wide spatial and temporal variability of optical and water quality properties was observed.