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.     

Precise coseismic displacements from the GPS variometric approach using different precise products: Application to the 2008 MW 7.9 Wenchuan earthquake

The Global Positioning System (GPS) variometric approach has emerged as an attractive alternative to traditional well-developed positioning techniques including relative positioning and precise point positioning. Previous studies have demonstrated the capability of the variometric approach to retrieve coseismic displacements at centimeter-level precision, in a real-time manner using only readily available broadcast ephemeris. This study presents the first results comparing the performance of the variometric approach by using a variety of precise satellite orbit and clock products. Totally six kinds of products are included in our evaluation, namely the broadcast, IGS (International GNSS Service) ultra-rapid (predicted), ultra-rapid (observed), rapid, final (30-s clock) and CODE (Center for Orbit Determination in Europe) final (5-s clock) products. Static and dynamic experiments are conducted using 1-Hz GPS data covering a relatively large area in China during the 2008 Wenchuan M_W 7.9 earthquake. After removing the linear trend, the displacements using broadcast, ultra-rapid (predicted), ultra-rapid (observed) and rapid products reach nearly equivalent precisions at centimeter level. By using final and CODE final products, the precision of displacements can be significantly improved from 1.9–2.0 cm to 0.4–0.7 cm horizontally, and from 6.0–6.2 cm to 1.0–1.7 cm vertically for the dynamic experiments. The displacements using the CODE final products achieve the best precision, improved by more than 40% compared to those using the IGS final products. With the availability of IGS high-rate real-time precise products, this approach is promising to capture coseismic displacements more precisely in real time, which is crucial for earthquake and tsunami early warning.     

月面无人自主采样返回任务动力下降点确定及验证

动力下降点确定是实施月面软着陆的重要环节，是多系统间复杂迭代的过程，涉及轨道设计、制导律设计、着陆目标的采样区确定、着陆及起飞安全分析。其设计结果直接影响了最终着陆点的位置和着陆过程的着陆安全，也间接影响采样安全和采样工程目标的实现结果。针对嫦娥五号在实施月面软着陆前确定动力下降点的任务需求，提出了通过多次轨道控制与最优标称制导轨迹搜索联合控制策略的动力下降点确定方法。首先，根据月面无人自主采样返回任务设计总结了动力下降点确定原理和约束条件；然后，详细论述了月面无人自主采样返回任务软着陆过程动力下降点确定方法；最后，通过嫦娥五号在着陆前主要的几次轨控实施结果分析了其对动力下降点的影响，同时综合了着陆区地形分析及着陆、起飞安全性分析，对动力下降点进行确定并根据最终在轨飞行结果进行验证。验证结果表明，基于“逐次逼近寻优方法”的月面软着陆环节动力下降点的确定方法有效，可以为后续地外天体软着陆等任务提供参考和借鉴。     

一种基于数字采样技术的电压波动测量系统CSCD

本文针对电能质量计量校准领域中电压波动参数的测量问题进行研究,通过比较现有电压波动信号的检测方法,结合数学模型分析,提出一种基于Agilent 3458A采样器的电压波动信号交流采样均方根值检测法。并搭建电压波动信号测量系统,通过实验,实现了测量电压波动频率范围可覆盖0.008Hz^40Hz,波动值范围为0.1%~30%。     

A novel signal processing approach for LEO space debris based on a fence-type space surveillance radar system

The increase in space debris can seriously threaten regular activities in the Low Earth Orbit (LEO) environment. Therefore, it is necessary to develop robust, efficient and reliable techniques to understand the potential motions of the LEO debris. In this paper, we propose a novel signal processing approach to detect and estimate the motions of LEO space debris that is based on a fence-type space surveillance radar system. Because of the sparse distribution of the orbiting debris through the fence in our observations, we formulate the signal detection and the motion parameter estimation as a sparse signal reconstruction problem with respect to an over-complete dictionary. Moreover, we propose a new scheme to reduce the size of the original over-complete dictionary without the loss of the important information. This new scheme is based on a careful analysis of the relations between the acceleration and the directions of arrival for the corresponding LEO space debris. Our simulation results show that the proposed approach can achieve extremely good performance in terms of the accuracy for detection and estimation. Furthermore, our simulation results demonstrate the robustness of the approach in scenarios with a low Signal-to-Noise Ratio (SNR) and the super-resolution properties. We hope our signal processing approach can stimulate further work on monitoring LEO space debris.     

NONLINEAR PREDICTIVE CONTROL FOR TERRAIN FOLLOWING

ＮＯＮＬＩＮＥＡＲＰＲＥＤＩＣＴＩＶＥＣＯＮＴＲＯＬＦＯＲＴＥＲＲＡＩＮＦＯＬＬＯＷＩＮＧＣｕｉＨｕｔａｏ（崔祜涛），ＧｅｎｇＹｕｎｈａｉ（耿云海），ＹａｎｇＤｉ（杨涤）（ＨａｒｂｉｎＩｎｓｔｉｔｕｔｅｏｆＴｅｃｈｎｏｌｏｇｙ，Ｐ．Ｏ．Ｂｏｘ１３７，...     

Period selection for integrated controller tasks in cyber-physical systems

Performance optimization of cyber-physical systems(CPS)calls for co-design strategies that handle the issues in both computing domain and physical domain.Periods of controller tasks integrated into a uniprocessor system are related to both control performance and real-time schedulability analysis simultaneously.System performance improvement can be achieved by optimizing the periods of controller tasks.This paper extends an existing model to select task periods in real-time for CPS with fixed priority controller tasks scheduled by rate-monotonic algorithm.When all the tasks can be integrated,the analytic solution of the problem is derived by using the method of Lagrange multipliers and gradient descent method is evaluated to be suitable online.To further deal with the condition that the system is overloaded,an integrated method is proposed to select periods of tasks online by selecting a subset of tasks first and then optimizing the periods for them.Experimental results demonstrate that our method yields near-optimal result with a short running time.     

Robustness of multiple-limb manipulation systems

Ｄｕｒｉｎｇｒｅｃｅｎｔｙｅａｒｓ，ｃｏｎｓｉｄｅｒａｂｌｅｒｅｓｅａｒｃｈｅｆｏｒｔｈａｓｂｅｅｎｄｅｖｏｔｅｄｔｏｔｈｅｓｔｕｄｙｏｆｔｈｅｍｕｌｔｉ－ｐｌｅ－ｌｉｍｂｍａｎｉｐｕｌａｔｉｏｎｓｙｓｔｅｍｓｗｉｔｈｔｈｅａｂｉｌｉｔｙｔｏｕｓｅａ...     

CFDP协议中延迟NAK文件传输时间分析与仿真

未来的深空通信需要一个鲁棒的、有效与可靠的文件传输协议,在研究CCSDS提出的CFDP协议基础上,针对延迟NAK模式提出了一种新的分析方法。在保证吞吐量的前提下,对ARQ定时器优化设置,导出了平均文件传输时间的理论表达式。在单跳直连链路中,对不同条件下的平均文件传输时间进行了仿真与数值分析。仿真结果表明平均文件传输时间与PDU错误概率、PDU数目及单向传播时间等有密切关系。随机仿真与理论分析具有很好的一致性。