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.     

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数目及单向传播时间等有密切关系。随机仿真与理论分析具有很好的一致性。     

Use of human wastes oxidized to different degrees in cultivation of higher plants on the soil-like substrate intended for closed ecosystems

To close mass exchange loops in bioregenerative life support systems more efficiently, researchers of the Institute of Biophysics SB RAS (Krasnoyarsk, Russia) have developed a procedure of wet combustion of human wastes and inedible parts of plants using H₂O₂ in alternating electromagnetic field. Human wastes pretreated in this way can be used as nutrient solutions to grow plants in the phototrophic unit of the LSS. The purpose of this study was to explore the possibilities of using human wastes oxidized to different degrees to grow plants cultivated on the soil-like substrate (SLS). The treated human wastes were analyzed to test their sterility. Then we investigated the effects produced by human wastes oxidized to different degrees on growth and development of wheat plants and on the composition of microflora in the SLS. The irrigation solution contained water, substances extracted from the substrate, and certain amounts of the mineralized human wastes. The experiments showed that the human wastes oxidized using reduced amounts of 30% H₂O₂: 1 ml/g of feces and 0.25 ml/ml of urine were still sterile. The experiments with wheat plants grown on the SLS and irrigated by the solution containing treated human wastes in the amount simulating 1/6 of the daily diet of a human showed that the degree of oxidation of human wastes did not significantly affect plant productivity. On the other hand, the composition of the microbiota of irrigation solutions was affected by the oxidation level of the added metabolites. In the solutions supplemented with partially oxidized metabolites yeast-like microscopic fungi were 20 times more abundant than in the solutions containing fully oxidized metabolites. Moreover, in the solutions containing incompletely oxidized human wastes the amounts of phytopathogenic bacteria and denitrifying microorganisms were larger. Thus, insufficiently oxidized sterile human wastes added to the irrigation solutions significantly affect the composition of the microbiological component of these solutions, which can ultimately unbalance the system as a whole.     

多模切换控制方法及其在分导飞行器姿态机动控制中的应用研究

研究一类离散切换系统的鲁棒保性能状态反馈控制器设计问题。利用切换Lyapunov函数和线性矩阵不等式方法,得到了鲁棒保性能控制器存在的一个充分条件,给出了控制器的参数化表示,并将次优保性能控制器的设计问题转化为基于线性矩阵不等式约束下的凸优化问题。最后将所提理论应用于某飞行器的控制方案设计中,说明了本文所提设计方法的有效性。     

空间前方交会法及其在测试技术中的应用

分析了空间前方交会法的基本原理，建立了相关的理论模型，并在实验室的条件下严格测试了这种方法的测量精度；探讨了空间前方交会法在位置检测系统的测试过程中应用，详细地给出了测试的步骤以及测试数据的分析处理结果。