Reliable transmission of consultative committee for space data systems file delivery protocol in deep space communication

In consultative committee for space data systems（CCSDS） file delivery protocol（CFDP） recommendation of reliable transmission,there are no detail transmission procedure and delay calculation of prompted negative acknowledge and asynchronous negative acknowledge models.CFDP is designed to provide data and storage management,story and forward,custody transfer and reliable end-to-end delivery over deep space characterized by huge latency,intermittent link,asymmetric bandwidth and big bit error rate（BER）.Four reliable transmission models are analyzed and an expected file-delivery time is calculated with different trans-mission rates,numbers and sizes of packet data units,BERs and frequencies of external events,etc.By comparison of four CFDP models,the requirement of BER for typical missions in deep space is obtained and rules of choosing CFDP models under different uplink state informations are given,which provides references for protocol models selection,utilization and modification.

STATIONARY DISTRIBUTIONS OF INFINITE PARTICLE SYSTEMS WITH NONCOMPACT STATE SPACE.

This paper deals with the preblem of existence and uniqueness of the stationary distributions (abbr., s. d.'s) for the processes constructed in [4] .The main results are stated in § 1. For the reader's convenience we first restate the existence theorems (Theorem 1 and 2) of the processes given in [4]. Then two existence theorems (Theorem 3 and 4) and a uniqueness theorem (Theorem 5) for the s. d.'s of the processes are presented. The last result (Theorem 6), as an application of the previous ones, is about the Schlgl model which comes from nonequilibrium statisticali physics. The details of the proofs of Theorem 3—6 are given in § 2—4.

Project Systems Engineering for Developing Space Robots

Space robots possess unique distinguishing features unlike general robots on earth, due to the particular environments in space. The developing of various practical space robots promoting the improvement of space science and technology is a complex man-machine-environment engineering problem. This paper analyses from the systems engineering viewpoint the space robot system in the scope of the architecture of robotics discipline, space environment characteristics, man-machine-environment system of space robots, the general methodology of project systems engineering and the process of space robot systems engineering.

PIECEWISE SMOOTH SOLUTION OF THE FIRST ORDER SEMILINEAR HYPERBOLIC SYSTEMS IN HIGHER SPACE DIMENSION

It is important to study the propagation and interaction of progressing waves of nonlinear equations in the class of piecewise smooth function. However, there has not been many works on that in multidimensional case. In 1985, J, Rauch & M. Reed have provad the existence and uniqueness of piecewise smooth solution for

A method for calculating probability of collision between space objects

A method is developed to calculate probability of collision. Based on geometric features of space objects during the encounter, it is reasonable to separate the radial orbital motions from those in the cross section for most encounter events that occur in a near-circular orbit. Therefore, the probability of collision caused by differences in both altitude of the orbit in the radial direction and the probability of collision caused by differences in arrival time in the cross section are calculated. The net probability of collision is expressed as an explicit expression by multiplying the above two components. Numerical cases are applied to test this method by comparing the results with the general method. The results indicate that this method is valid for most encounter events that occur in near-circular orbits.

An image compression method for space multispectral time delay and integration charge coupled device camera

Multispectral time delay and integration charge coupled device （TDICCD） image compression requires a low- complexity encoder because it is usually completed on board where the energy and memory are limited. The Consultative Committee for Space Data Systems （CCSDS） has proposed an image data compression （CCSDS-IDC） algorithm which is so far most widely implemented in hardware. However, it cannot reduce spectral redundancy in mukispectral images. In this paper, we propose a low-complexity improved CCSDS-IDC （ICCSDS-IDC）-based distributed source coding （DSC） scheme for multispectral TDICCD image consisting of a few bands. Our scheme is based on an ICCSDS-IDC approach that uses a bit plane extractor to parse the differences in the original image and its wavelet transformed coefficient. The output of bit plane extractor will be encoded by a first order entropy coder. Low-density parity-check-based Slepian-Wolf （SW） coder is adopted to implement the DSC strategy. Experimental results on space multispectral TDICCD images show that the proposed scheme significantly outperforms the CCSDS-IDC-based coder in each band.

Attitude tracking control for variable structure near space vehicles based on switched nonlinear systems

An adaptive robust attitude tracking control law based on switched nonlinear systems is presented for a variable structure near space vehicle （VSNSV） in the presence of uncertainties and disturbances. The adaptive fuzzy systems are employed for approximating unknown functions in the flight dynamic model and their parameters are updated online. To improve the flight robust performance, robust controllers with adaptive gains are designed to compensate for the approximation errors and thus they have less design conservation. Moreover, a systematic procedure is developed for the synthesis of adaptive fuzzy dynamic surface control （DSC） approach. According to the common Lyapunov function theory, it is proved that all signals of the closed-loop system are uniformly ultimately bounded by the continuous controller. The simulation results demonstrate the effectiveness and robustness of the proposed control scheme.

Sensitivity analysis of an HgCdTe based photovoltaic receiver for long-wavelength free space optical communication systems

We examine theoretically the performance of an Hg0.77Cd0.23Te based p-n photodetector/HFET optical receiver due to its possible application at 10.6 μm free space optical communication system at high bit rate.A rigorous noise model of the receiver has been developed for this purpose.We calculate the total noise and sensitivity of the receiver.The front-end of the receiver exhibits a sensitivity of -45 dBm at a bit rate of 1 Gb/s and -30 dBm at a bit rate of 10 Gb/s,and the total mean-square noise curren t〈i2n〉=5×10-15 A2 at a bit rate of 1 Gb/s an d〈i2n〉 =10-12 A2 at a bit rate of 10 Gb/s,and a 3-dB bandwidth of 10 GHz.

Relativistic transformation between τ and TCB for Mars missions: Fourier analysis on its accessibility with clock offset

In the context of the fact that Einstein＇s general relativity has become an inevitable part of deep space missions, we will extend previous works on relativistic transformation between the proper time ^- of a clock onboard a spacecraft orbiting Mars and the Barycentric Coordinate Time （TCB） by taking the clock offset into ac- count and investigate its accessibility by Fourier analysis on the residuals after fitting the ^--TCB curve in terms of n-th order polynomials. We find that if the accuracy of a clock can achieve better than ~ 10-5 s or ~ 10-6 s （depending on the type of clock offset） in one year after calibration, the relativistic effects on the difference between 7- and TCB will need to be carefully considered.

Relativistic algorithm for time transfer in Mars missions under IAU Resolutions: an analytic approach

With tremendous advances in modem techniques, Einstein＇s general rela- tivity has become an inevitable part of deep space missions. We investigate the rela- tivistic algorithm for time transfer between the proper time - of the onboard clock and the Geocentric Coordinate Time, which extends some previous works by including the effects of propagation of electromagnetic signals. In order to evaluate the implicit algebraic equations and integrals in the model, we take an analytic approach to work out their approximate values. This analytic model might be used in an onboard com- puter because of its limited capability to perform calculations. Taking an orbiter like Yinghuo-1 as an example, we find that the contributions of the Sun, the ground station and the spacecraft dominate the outcomes of the relativistic corrections to the model.

Relativistic transformation between τ and TCG for Mars missions under IAU Resolutions

Considering the fact that the general theory of relativity has become an in- extricable part of deep space missions, we investigate the relativistic transformation between the proper time of an onboard clock τ and the Geocentric Coordinate Time （TCG） for Mars missions. By connecting τ with this local timescale associated with the Earth, we extend previous works which focus on the transformation between τ and the Barycentric Coordinate Time （TCB）. （TCB is the global coordinate time for the whole solar system.） For practical convenience, the relation between τ and TCG is recast to directly depend on quantities which can be read from ephemerides. We find that the difference between τ and TCG can reach the level of about 0.2 seconds in a year. To distinguish various sources in the transformation, we numerically calculate the contributions caused by the Sun, eight planets, three large asteroids and the space- craft. It is found that if the threshold of 1 microsecond is adopted, this transformation must include effects due to the Sun, Venus, the Moon, Mars, Jupiter, Saturn and the velocities of the spacecraft and Earth.

ERROR COUNTER-BASED NEGATIVE ACKNOWLEDGEMENT MODE IN CCSDS FILE DELIVERY PROTOCOL

Deep space communication has its own features such as long propagation delays,heavy noise,asymmetric link rates,and intermittent connectivity in space,therefore TCP/IP protocol cannot perform as well as it does in terrestrial communications.Accordingly,the Consultative Committee for Space Data Systems(CCSDS) developed CCSDS File Delivery Protocol(CFDP),which sets standards of efficient file delivery service capable of transferring files to and from mass memory located in the space segment.In CFDP,four optional acknowledge modes are supported to make the communication more reliable.In this paper,we gave a general introduction of typical communication process in CFDP and analysis of its four Negative Acknowledgement(NAK) modes on the respect of file delivery delay and times of retransmission.We found out that despite the shortest file delivery delay,immediate NAK mode suffers from the problem that frequent retransmission may probably lead to network congestion.Thus,we proposed a new mode,the error counter-based NAK mode.By simulation of the case focused on the link between a deep space probe on Mars and a ter-restrial station on Earth,we concluded that error counter-based NAK mode has successfully reduced the retransmission times at negligible cost of certain amount of file delivery delay.

TIME AND NORM OPTIMAL CONTROLS:A SURVEY OF RECENT RESULTS AND OPEN PROBLEMS

We present in this paper a survey of recent results on the relation between time and norm optimality for linear systems and the infinite dimensional version of Pontryagin＇s maximum principle. In particular, we discuss optimality （or nonoptimality） of singular controls satisfying the maximum principle and smoothness of the costate in function of smoothness of the target.

Relativistic time transfer for a Mars lander:from proper time to Areocentric Coordinate Time

As the first step in relativistic time transfer for a Mars lander from its proper time to the time scale at the ground station, we investigate the transformation between proper time and Areocentric Coordinate Time （TCA） in the framework of IAU Resolutions. TCA is a local time scale for Mars, which is analogous to the Geocentric Coordinate Time （TCG） for Earth. This transformation contains two contributions： inter- hal and external. The internal contribution comes from the gravitational potential and the rotation of Mars. The external contribution is due to the gravitational fields of other bodies （except Mars） in the Solar System. When the （in）stability of an onboard clock is assumed to be at the level of 10-13, we find that the internal contribution is dominated by the gravitational potential of spherical Mars with necessary corrections asso- ciated with the height of the lander on the areoid, the dynamic form factor of Mars, the flattening of the areoid and the spin rate of Mars. For the external contribution, we find the gravitational effects from other bodies in the Solar System can be safely neglected in this case after calculating their maximum values.

Relativistic time transfer for a Mars lander： from Areocentric CoordinateTime to Barycentric Coordinate Time

As the second step of relativistic time transfer for a Mars lander,we investigate the transformation between Areocentric Coordinate Time（TCA）and Barycentric Coordinate Time（TCB）in the framework of IAU Resolutions.TCA is a local time scale for Mars,which is analogous to the Geocentric Coordinate Time（TCG）for Earth.This transformation has two parts:contributions associated with gravitational bodies and those depending on the position of the lander.After setting the instability of an onboard clock to 10;and considering that the uncertainty in time is about 3.2 microseconds after one Earth year,we find that the contributions of the Sun,Mars,Jupiter and Saturn in the leading term associated with these bodies can reach a level exceeding the threshold and must be taken into account.Other terms can be safely ignored in this transformation for a Mars lander.

A STATE SPACE ISOMORPHISM THEOREM F0R MINIMAL DYNAMICAL SYSTEMS

Consider a discrete time dynamical system x_(k+1)=f(x_k) on a compact metric space M, wheref: M→M is a continuous map. Let h:M→R^k be a continuous output function. Suppose that all ofthe positive orbits of f are dense and that the system is observable. We prove that any outputtrajectory of the system determines f and h and M up to a homeomorphism.If M is a compactAbelian topological group and f is an ergodic translation, then any output trajectory determinesthe system up to a translation and a group isomorphism of the group.

STABILITY OF DIFFERENCE SCHEMES FOR NONLINEAR PARABOLIC SYSTEMS WITH THREE DIMENSIONS

In this paper the existence of discrete vector solutions with bounded second order quotientsfor the difference systems of nonlinear parabolic system is established by the fixed point technique,and then the absolute and relative stability for the general difference schemes is justified in thesense of continuous dependence of the discrete vector solution of the difference schemes on thediscrete data of the original problems.

LDPC Decoder for CCSDS Code by Flipping Bits and Fetching Words

The well-known CCSDS(consultative committee for space data systems) LDPC(low density parity check) code for near-earth applications is discussed and used for a case study of Mc Eliece system. First, a data error is picked out with the CCSDS LDPC code. The problem with its generator matrix is illustrated and overcome by a shortened code with some middle code bits deleted. In correspondence, its parity check matrix is also revised with the new quasi-cyclic(QC)-LDPC code. Second, a fast decoding scheme for general QC-LDPC codes is proposed based on flipping bits and fetching words. Besides, a lightweight CCSDS LDPC code based Mc Eliece system can be set up with such codes. The repaired CCSDS LDPC code is supposed to be still useful for communications and storages, and the normalized decoding algorithm is also efficient for general QC-LDPC codes.