Unlock instant, AI-driven research and patent intelligence for your innovation.

Mars rover dormancy awakening function verification method based on FSM

A functional verification, Mars rover technology, applied in instruments, electrical testing/monitoring, control/regulation systems, etc., can solve problems such as the inability to meet the requirements of complex spacecraft test coverage for test design, to improve test design efficiency, High-complexity, low-impact effects

Active Publication Date: 2022-01-07
BEIJING INST OF SPACECRAFT SYST ENG
View PDF9 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This status quo can no longer meet the requirements of complex spacecraft test coverage for test design, and it is urgent to find a test verification method that supports the autonomous functions of the probe, especially the sleep and wake-up function.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Mars rover dormancy awakening function verification method based on FSM
  • Mars rover dormancy awakening function verification method based on FSM

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0055] Taking the Tianwen-1 Mars rover's autonomous sleep and wake-up function as an example, the method of the present invention will be described in detail.

[0056] Specific steps are as follows:

[0057] 1) Establish a state set: According to the description of the Tianwen-1 rover's autonomous sleep and wake-up function in the design report, and the principle of process monitoring, select the normal working mode, normal working mode, minimum working mode, sleep mode, and wake-up mode5 The five states constitute the state set during the sleep and wake-up process of the Mars rover on orbit, and the five states have corresponding telemetry parameters corresponding to them. Among them, the normal working mode, the minimum working mode, and the wake-up mode are uniquely defined by the telemetry parameters of the "periodic task template identification"; the normal working mode is defined by the telemetry parameters of the "mission command movement identification", and it is cons...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention relates to a Mars rover dormancy awakening function verification method based on an FSM. The Mars rover dormancy awakening function verification method comprises the following steps: (1) establishing a state set; (2) establishing an input set; (3) establishing an output set; (4) drawing a finite state machine (FSM) state transition diagram of the Mars rover dormancy awakening process; and (5) traversing the state transition diagram of the finite-state machine according to a logic and condition coverage algorithm to generate a test case set, and traversing each case in the test case set to realize Mars rover system-level dormancy awakening function verification. The situation that the autonomous function of the current complex spacecraft is mainly developed according to test experience is changed. A top-down analysis thought is provided for verification of the autonomous function of the Mars rover, especially the dormancy awakening function, so that a test designer can complete test design and verification work of the autonomous dormancy awakening process of the spacecraft according to the method.

Description

technical field [0001] The invention belongs to the field of spacecraft system-level test design and verification, and relates to an FSM-based method for verifying the sleep and wake-up function of a Mars rover. Background technique [0002] The one-way delay from Mars to the Earth is about 20 minutes, and the one-way delay from the Moon to the Earth is about 1 second. Compared with lunar exploration, Mars exploration missions require longer flight times and greater signal delays. This requires the Mars rover to have stronger autonomous functions and be able to complete the relevant actions required for the exploration mission without human intervention. Similar to Earth, Mars has seasonal changes and climate changes, which have an impact on the power generation of the Mars rover's solar cells, and have great uncertainties. Since our country's Mars rover does not use nuclear sources, it cannot be guaranteed that the solar cells will not generate insufficient power to suppo...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G05B23/02
CPCG05B23/0243G05B2219/24065Y02D10/00
Inventor 富小薇韩小军杨东刘一鸣高芫赫权爽周士民傅晓晶赵阳李达刘加明杨硕任亮应鹏何永丛
Owner BEIJING INST OF SPACECRAFT SYST ENG