基于时序逻辑的复杂环境下无人机运动规划算法

本文主要考虑基于时序逻辑的无人机运动规划问题。一般地，解决该问题的算法包括两个阶段:上层综合阶段生成一条可行的离散规划;低级综合阶段结合离散任务规划设计无人机的控制输入。但是当第一阶段失败时，即线性时序逻辑(LTL)任务在当前环境中无法实现时，我们希望系统能够进行一定的调整。本文提出了一种任务重规划算法，在深入理解模型检查原理的基础上，利用初始任务自动机生成一个松弛乘积自动机，进而获取有效的离散任务规划;同时设计一个自动机的权重函数，确保该规划在最小程度上违背初始任务所提出的约束。本文提出的重规划算法解决了时序逻辑在复杂环境中无法实现的难题，扩大了时序逻辑在无人机运动规划中的应用范围，同时增加了系统的鲁棒性。     

Design of Embryo-electronic Systems Capable of Self-diagnosing and Self-healing and Configuration Control

As aerospace vehicles travel in a hellish environment, the reliability of the measuring and controlling systems has played a critical role in the credibility of a whole airborne system. Embryo-electronic system is a bionic hardware capable of self-diag- nosing and self-healing. This article presents a new approach to design embryo-electronic systems and introduces their bionic principles, system structures and fault-tolerant mechanism. As the current methods cannot meet the requirements for large-scale embryo-electronic systems, this article advances a new shift-register-based configuration memory of embryonic system to solve the problem by using the inter-cell communication to reduce the gene storage capacity of a single cell. The article designs an overall structure of the shift-register-based configuration memories of the embryonic system and connects them into a chain structure. The article also designs an inner circuit of the cell, the control of shift-register-based configuration memory and the way of runtime dynamic configuration. The simulation of field programmable gate array (FPGA) evidences the realizability of the proposed design. Compared to the SRAM-based one, this memory can save 90% of the area when constructing embryonic systems larger than 128 × 128 under the same condition.     

用模糊聚类算法快速定位小卫星在轨运行故障

针对小卫星在轨系统复杂，监测点众多以及测量信息固有的不确定性等特点，采用一种 化的模糊Ｃ均值聚类算法快速定位在轨运行故障，并以哈尔滨工业大学卫星工程技术研究所研制的立体测绘微小卫星为背景以达到实际应用的目的。     

Integrating BDS and GPS for precise relative orbit determination of LEO formation flying

Low-Earth-Orbit(LEO) formation-flying satellites have been widely applied in many kinds of space geodesy. Precise Relative Orbit Determination(PROD) is an essential prerequisite for the LEO formation-flying satellites to complete their mission in space. The contribution of the BeiDou Navigation Satellite System(BDS) to the accuracy and reliability of PROD of LEO formation-flying satellites based on a Global Positioning System(GPS) is studied using a simulation method. Firstly, when BDS is added to GPS, the mean number of visible satellites increases from9.71 to 21.58. Secondly, the results show that the 3-Dimensional(3 D) accuracy of PROD, based on BDS-only, GPS-only and BDS + GPS, is 0.74 mm, 0.66 mm and 0.52 mm, respectively. When BDS co-works with GPS, the accuracy increases by 29.73%. Geostationary-Earth-Orbit(GEO) satellites and Inclined Geosynchronous-Orbit(IGSO) satellites are only distributed over the Asia-Pacific region; however, they could provide a global improvement to PROD. The difference in PROD results between the Asia-Pacific region and the non-Asia-Pacific region is not apparent. Furthermore, the value of the Ambiguity Dilution Of Precision(ADOP), based on BDS + GPS, decreases by 7.50% and 8.26%, respectively, compared with BDS-only and GPS-only. Finally, if the relative position between satellites is only a few kilometres, the effect of ephemeris errors on PROD could be ignored. However, for a several-hundred-kilometre separation of the LEO satellites, the SingleDifference(SD) ephemeris errors of GEO satellites would be on the order of centimetres. The experimental results show that when IGSO satellites and Medium-Earth-Orbit(MEO) satellites co-work with GEO satellites, the accuracy decreases by 17.02%.     

Swarm – An Earth Observation Mission investigating Geospace

The Swarm mission was selected as the 5th mission in ESA’s Earth Explorer Programme in 2004. This mission aims at measuring the Earth’s magnetic field with unprecedented accuracy. This will be done by a constellation of three satellites, where two will fly at lower altitude, measuring the gradient of the magnetic field, and one satellite will fly at higher altitude. The measured magnetic field is the sum of many contributions including both magnetic fields and currents in the Earth’s interior and electrical currents in Geospace. In order to separate all these sources electric field and plasma measurements will also be made to complement the primary magnetic field measurements. Together these will allow the deduction of information on a series of solid earth processes responsible for the creation of the fields measured. The completeness of the measurements on each satellite and the constellation aspect, however, implies simultaneous observations of a unique set of important electrodynamical parameters crucial for the understanding of the physical processes in Geospace, which are an important part of the objectives of the International Living With a Star Programme, ILWS. In this paper an overview of the Swarm science objectives, the mission concept, the scientific instrumentation, and the expected contribution to the ILWS programme will be summarized.     

Analysis on coverage ability of BeiDou navigation satellite system for manned spacecraft

To investigate the service ability of the BeiDou Navigation Satellite System (BDS) for manned spacecraft, both the current regional and the future-planned global constellations of BDS are introduced and simulated. The orbital parameters of the International Space Station and China׳s Tiangong-1 spacelab are used to create the simulation scenario and evaluate the performance of the BDS constellations. The number of visible satellites and the position dilution (PDOP) of precision at the spacecraft-based receiver are evaluated. Simulation and analysis show quantitative results on the coverage ability and time percentages of both the current BDS regional and future global constellations for manned-space orbits which can be a guideline to the applications and mission design of BDS receivers on manned spacecraft.     

Satellite range scheduling with the priority constraint: An improved genetic algorithm using a station ID encoding method

Satellite range scheduling with the priority constraint is one of the most important problems in the field of satellite operation.This paper proposes a station coding based genetic algorithm to solve this problem,which adopts a new chromosome encoding method that arranges tasks according to the ground station ID.The new encoding method contributes to reducing the complexity in conflict checking and resolving,and helps to improve the ability to find optimal resolutions.Three different selection operators are designed to match the new encoding strategy,namely random selection,greedy selection,and roulette selection.To demonstrate the benefits of the improved genetic algorithm,a basic genetic algorithm is designed in which two cross operators are presented,a single-point crossover and a multi-point crossover.For the purpose of algorithm test and analysis,a problem-generating program is designed,which can simulate problems by modeling features encountered in real-world problems.Based on the problem generator,computational results and analysis are made and illustrated for the scheduling of multiple ground stations.     

Validation of GOME (ERS-2) NO2 vertical column data with ground-based measurements at Issyk-Kul (Kyrgyzstan)

Here we present the results of comparison between operational NO₂ vertical column data by Global Ozone Monitoring Experiment (GOME) onboard ERS-2 satellite and ground-based measurements at Issyk-Kul station in Kyrgyzstan, northern Tien Shan. The data of GOME, taken for the period of 1996–2002, was found to be reasonably close to the results of ground-based sunrise measurements. The latter were adjusted to the time of GOME overpass nearby noon, providing direct comparison between satellite and ground-based data. According to the results, there is 0.6 × 10¹⁵ mol/cm² (18%) overestimation of NO₂ vertical column by GOME, compared to our ground-based data.     

Feasibility study of LEO,GEO and Molniya orbit based satellite solar power station for some identified sites in India

The analysis of satellite solar power station (SSPS) is carried out for some specified locations (Delhi, Mumbai, Kolkata and Bengaluru) in India and consequently the performance of the system is evaluated for geostationary earth orbit (GEO) based SSPS, low earth orbit (LEO) based SSPS and Molniya (quasi geostationary) orbit based SSPS for sites located at different latitudes. The analysis of power; received energy over a year and weight of the rectenna array for the same beam intensity showed varied results for Molniya orbit based SSPS, LEO based SSPS and GEO based SSPS. The power delivered by the LEO SSPS was highest which indicated that this SSPS may be efficient for the short term power requirement. However, it is observed from the results of the energy received over a year that the GEO based system is suitable for base load power plant as it is capable of delivering constant energy through out a year. Further, the weight of the rectenna and hence the space required for ground station for same power output is smallest for Molniya orbit based system for a range of rectenna array radius considered. It is thus envisaged that the Molniya orbit based system would be a better choice for commercial use of SSPS. These findings may help for judicious selection of satellite orbit and ground station location for placing the satellite for SSPS for various applications.     

基于灰色聚类理论的工业航空区域化分布研究

通用航空在服务于国民经济发展方面具有重要的战略意义,而为工业生产建设提供航空飞行服务的工业航空作业是通用航空的重要组成部分,其作用尤为突出.结合中国不同地区自身的地理环境、经济发展等差异,研究各地区对工业航空的需求分布,可为国家制定相关政策、引导市场发展提供了借鉴依据.由于中国长期以来对通用航空缺乏有效监测,各类统计信息不完善,本文基于灰色星座聚类理论,从理论上探讨各地区对工业航空作业的主导需求,具有重要意义.