CN105334756B - A kind of agility satellite task interpretation closed-loop simulation verification system and method - Google Patents

A kind of agility satellite task interpretation closed-loop simulation verification system and method Download PDF

Info

Publication number
CN105334756B
CN105334756B CN201510725510.XA CN201510725510A CN105334756B CN 105334756 B CN105334756 B CN 105334756B CN 201510725510 A CN201510725510 A CN 201510725510A CN 105334756 B CN105334756 B CN 105334756B
Authority
CN
China
Prior art keywords
task
data
verification
data block
block
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201510725510.XA
Other languages
Chinese (zh)
Other versions
CN105334756A (en
Inventor
曾鸿
何铭俊
姜鼎
姚慧
王瑾琦
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Aerospace Dongfanghong Satellite Co Ltd
Original Assignee
Aerospace Dongfanghong Satellite Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Aerospace Dongfanghong Satellite Co Ltd filed Critical Aerospace Dongfanghong Satellite Co Ltd
Priority to CN201510725510.XA priority Critical patent/CN105334756B/en
Publication of CN105334756A publication Critical patent/CN105334756A/en
Application granted granted Critical
Publication of CN105334756B publication Critical patent/CN105334756B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G05CONTROLLING; REGULATING
    • G05BCONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00Programme-control systems
    • G05B19/02Programme-control systems electric
    • G05B19/04Programme control other than numerical control, i.e. in sequence controllers or logic controllers

Landscapes

  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Radio Relay Systems (AREA)

Abstract

A kind of agility satellite task interpretation closed-loop simulation verification system and method, effectively increases the efficiency of the key links such as verification emulation, the modification inverting of quick satellite task planning at present, can ensure the correct implementation of quick satellite task planning.Utilize the quick satellite task interpretation closed-loop simulation verification system and method for the present invention, first, emulate Star Service host task interpretation function, substitute traditional Star Service test envelope, task block is interpreted as the instruction set that Star Service host can perform, and instruction name is intuitively shown in a manner of tabular, the information such as parameter and execution time, automatic interpretation task block interpretation result simultaneously exports exception information, avoid noting satellite in wrong task block secondly, it can be by the system to task parameter in the block, task block setting is modified, it regenerates task block and analysis is iterated to it to ensure correctness, the risk that manual layout task block is avoided to bring, improve the efficiency and reliability of task block generation.Finally, the interpretation result of the correct task block ultimately generated is compared with the action sequence that task grouping generates, it may be verified that the correctness and reasonability of mission planning.

Description

A kind of agility satellite task interpretation closed-loop simulation verification system and method
Technical field
The present invention relates to a kind of quick satellite task interpretation closed-loop simulation verification system and methods.
Background technology
With space picture all trades and professions apply gradually deeply, requirement of the user to image data information is increasingly It is high, it is necessary to more rapidly, flexible image generation pattern, this not only has huge commercial application value, also with important army Thing application value, therefore raising attitude maneuver ability has become a development trend of earth observation satellite, and quick satellite is just It is generated to adapt to this demand.Agile satellite attitude maneuvers ability is significantly larger than traditional earth observation satellite, not only It can be imaged by side-sway automotive, moreover it is possible to by the motor-driven imaging of pitching, by this wide range of rapid attitude maneuver ability, can realize Quick response and multi-modal imaging function to observed object, however, the application of rapid attitude maneuver imaging satellite faces task Large number of, imaging pattern is complicated, the various difficulty of command sequence, and the mission planning pattern that tradition simplifies obviously does not apply to, because This, mission planning technology becomes the bottleneck and key technology of development rapid attitude maneuver imaging satellite.It is limited to spaceborne calculating The limited reason of the resources such as the computing capability of machine can not also really realize autonomous mission planning on star at present, and ground-based mission is planned System obtains Preliminary Applications because possessing plurality of advantages, and quick satellite is exactly to employ ground-based mission planning system.In reality In, designer is needed according to specific tasks, and the reasonable of satellite task and action is realized by ground-based mission planning system It arranges, ground-based mission planning system firstly generates action sequence on the star after planning, then according to action sequence, with task data Data block on the star of note is treated in the form generation of block.Spaceborne computer is by performing comprising time and action, task parameters on star Etc. data block on the star of forms, be finally completed the imaging of target.But how to verify ground-based mission planning system, how to ensure quick The correct implementation of prompt satellite task planning, there is presently no complete set method for reference.
The content of the invention
The technology of the present invention solves the problems, such as:Overcome the deficiencies of the prior art and provide a kind of quick satellite task interpretation closed loop Simulation checking system and method can effectively solve the keys such as verification emulation, the modification inverting of quick satellite task planning at present Link can ensure the correct implementation of quick satellite task planning.
The present invention technical solution be:A kind of agility satellite task interpretation closed-loop simulation verification system, feature exist In including:Centralized control unit, star cope plate definition unit, Verification rule definition unit, data format definition unit lead to With Logical processing unit, data reception processing unit, task data block emulation parsing data outputting unit and mission planning modification Inverting data outputting unit;
Star cope plate definition unit controlled on quick Satellite with respect to the definition of program control command template for center single Metacall;
Verification rule definition unit, defines the Verification rule of task data block, and Verification rule includes appearance The motor-driven data block proof rule of state, number posting lotus processing batch instruction Verification rule, are called for centralized control unit;
Data format definition unit defines the data format of task data block, is called for centralized control unit;
Generic logic processing unit, the conventional data logical process of unit in completion system, for unit tune With;Generic logic processing includes:Conversion process, UTC, Beijing time and Green's prestige are unified into line character to incoming task data block Control the conversion of time, data format processing;
Data reception processing unit pre-processes the task data block of reception, and by pretreated data send to Centralized control unit;
Centralized control unit carries out logical process to task data block, if logical process is problematic, will be alarmed simultaneously Mark processing;Logical process includes:Non- hexadecimal character processing, the processing of data space, data block length verification processing, data Block dominates head verification, data CRC check, data field format verification;After logical process, data format definition unit is called, The data format of task data block is verified, while the check results of data format are subjected to output and are shown, convenient for design Personnel check;In checking procedure, once mistake occurs in processing data format, centralized control unit will carry out false alarm and mark Knowledge is handled;After data block format verification, the Verification rule for the task data block that call parameters proof rule definition unit defines Then, to data format check by task data block in the parameter information that includes verify, if there is exception, center control Unit processed will carry out false alarm and identify processing;For Verification rule by rear, centralized control unit carries out task data block Dissection process is emulated, opposite program control command template and data on the quick Satellite that calling star cope plate definition unit defines at this time The data format for the task data block that form definition unit defines carries out task data block emulation dissection process, passes through task afterwards Result after dissection process is carried out report output by data block emulation parsing output unit;Meanwhile centralized control unit is called and appointed Business planning modification inverting data outputting unit, final task data block is exported again;It is treated in centralized control unit Cheng Zhong, while generic logic processing unit is called to carry out conventional data logical process;
Task block emulation parsing output unit, the statement form after output parsing;
Inverting data outputting unit is changed in mission planning, carries out mission planning under operation, regenerates times changed Business data block carries out amended task data block to verify and emulate again dissection process.
In the star cope plate definition unit, on quick Satellite with respect to program control command template definition field and structure Including:Coded instructions, instruction name, perform the time, mark, segment identification, instruction performs required time, whether with parameter instruction, Time for each instruction Δ T, parameter length;The time is wherein performed since relative time T0, coded instructions refer to that Star Service instructs generation Number, the instruction name corresponding to instruction name, that is, Star Service coded instructions, mark and segment identification are mainly used for distinguishing different sections of instructions, Identical execution will be carried out by task on star or not perform processing by belonging to the instruction of like-identified or segment identification, and instruction is performed and taken Between define instruction and perform required decimal system duration, if this instruction is variable order, whether band ginseng instruction items are 1, be otherwise 0, time for each instruction whether need consider Δ T, depending on the instruction in instruction template segment mark whether intersegmental After parameter;If variable order, variable element length value will be provided, is two byte lengths, otherwise will be defined as 0.
In the Verification rule definition unit, attitude maneuver data block proof rule is 32 bytes, defines spy Code, valid data are levied, number is defined and passes antenna number, earth station's number;It supports individually to extract parameter in task data block simultaneously In detail parsing, 32 byte attitude maneuver data blocks are parsed item by item, including parsing condition code code word, valid data code word, Number passes antenna number code word, earth station's number code word;Reversed systematic function is supported, by feature code value, the modification of valid data parameter Afterwards, 32 byte attitude maneuver data blocks are regenerated.
The centralized control unit introduces Iterator Design Pattern when carrying out parameter rule verification to task data block, by repeatedly For device pattern, the dynamic change adjustment that parameter rule defines can be realized.When carrying out specific parameter rule verification, call first Iterator obtains all parameter rule definition units defined at present, these regular definition units may include attitude maneuver number It is defined according to rule, number passes parameter rule definition, load parameter rule definition.After obtaining strictly all rules definition unit, according to specific Regular definition unit, by calling unified interface method, parameter rule authentication unit can carry out specific parameter rule Verification operation, so as to fulfill dynamic authentication parameter rule process.
The data format that the data format definition unit defines task data block includes:Task build, Meta task number, Meta task number, the Meta task time started, task attribute, the Meta task duration, comprising template number, template number, template Start relative time, each section of template performs mark, section interval time, template parameter length and parameter information field.
The centralized control unit introduces Iterator Design Pattern when carrying out data format verification to task data block, by repeatedly For device pattern, the dynamic change adjustment of data format definition can be realized.When carrying out specific data format verification, call first Iterator obtains all data format definition units defined at present, and centralized control unit is according to specific data format definition Unit, by calling unified interface method, data format authentication unit carries out specific data format verification operation, so as to real The process of existing dynamic authentication data format.
Inverting data outputting unit is changed in the mission planning, is carried out mission planning under operation, can be regenerated and repair The task data block corrected one's mistakes carries out amended task data block to verify and emulate again dissection process.
Statement form after the task block emulation parsing output unit output includes:Command sequence and form inverting sequence Row, wherein command sequence includes:UTC values when the satellite and the rocket separate, task block codewords, Meta task number, the Meta task number finally handled, The Meta task time started finally handled, the Meta task attribute finally handled, are finally located the Meta task duration finally handled The template number that the Meta task of reason includes, instruction name, order parameter, instruction start to perform Beijing time, and instruction starts to perform Greenwich Mean Time, instruction starts to perform UTC time, during attitude control star;Form inversion sequence includes:Data content, code word are said It is bright, instruction block number, Meta task number, template number, other information or error message
A kind of agility satellite task interpretation closed-loop simulation verification method, step are as follows:
(1) configuration task information carries out task data block before task interpretation emulation, it is necessary to carry out mission bit stream to match somebody with somebody It puts, different task types, the different mission bit stream of flexible customization, these mission bit streams include:Star cope plate defines, and parameter is tested Card rule definition, data format definition;
(2) task data block is noted in verification, format verification is carried out to task data block, including data length verification, data Head verification, check code word verification, Meta task number conflict verification, the verification of Meta task time verifying, task attribute, template parameter are tested Card, template attributes verification, the verification of attitude maneuver data format;Meanwhile simulate on-board processing unit to it is upper note task data block into Nine serious mistake mode treatment of row, including being 1. more than maximum allowable Meta task quantity;2. it is included inside the task data block of upper note Meta task be more than maximum allowable number;3. the template of certain Meta task has been more than maximum number of byte;4. multiple Meta tasks do not have It is ranked sequentially according to time order and function;5. template is not ranked sequentially according to time order and function;6. the end time of previous Meta task It is bigger than the end time of the latter Meta task;7. it is more than insertion position at the beginning of the last one Meta task of insertion data block Initial time;8. the end time of the last one Meta task of insertion data block is more than the end time of insertion position;9. other are wrong By mistake;If it is completely correct that task data block is noted in verification, enter step (3);If verification is not by according to authentication failed Type is prompted, and jumps to step (4);
(3) task simulation parses, and first, takes up an official post to the task data block of ground task grouping generation into planet and is engaged in imitating True solution is analysed, and according to task data block format, task data block is finally parsed into command sequence, automatic interpretation task block interpretation knot Fruit simultaneously exports exception information, avoids noting satellite in wrong task block secondly, by task data block into row format inverting, inverting into The format information that quick satellite system can identify, while by the interpretation result of the task data block ultimately generated and mission planning The action sequence of system generation is compared, the correctness and reasonability of validation task planning;Finally, it is right according to Meta task number In the block batch of instruction of task data and attitude maneuver data block carry out detailed interpretation processing, further micronization processes result;Task After emulation parsing, enter step (5);If satellite system design teacher generates analysis result objection, it is necessary to change task Data block then enters step (4);
(4) mission planning modification inverting once ground-based mission planning system generation task data block is wrong, can pass through people Machine interactive interface modifies to task wrong parameter in the block, regenerate task block and task block is iterated analysis with Ensure correctness, the risk that manual layout task block is avoided to bring improves efficiency and reliability that task block generates;If modification It completes, enters step at this time (1);
(5) if task interpretation closed-loop simulation is correct, this task data block will be submitted to ground control station, and upper note is to defending Star carries out specific tasks execution, terminates;If satellite system design teacher, which goes out current task query, to be needed to change, enter step (4).
The present invention has the following advantages compared with prior art:
(1) Star Service emulates.There is presently no ready-made technologies to be referred to, and more common way is to carry out Star Service test Bed test simulation.But Star Service test envelope verifies limitation to mission planning data block format, can only carry out part verification, one Denier verification is not by that can not carry out task modification inverting.In addition, Star Service test envelope can not cover third-party authentication object, than Can not such as verify the motor-driven data block of attitude control, can not proof load processing batch instruction etc., while Star Service test envelope will to application environment Ask comparison high, it is necessary to specific equipment.And the present invention can not only cover all format verifications, and simulation solution can be carried out Analysis, covers third-party authentication object, and the command sequence that generation satellite system design teacher can be visually seen does not pass through for verification Or the place of designer's requirement is not met, mission planning modification inverting can be carried out.Simultaneously with this method, for machine ring Border requirement can be carried out whenever and wherever possible than relatively low, can effectively solve verification emulation, the modification of quick satellite task planning at present The key links such as inverting can ensure the correct implementation of quick satellite task planning.
(2) closed loop feedback.The present invention is an iterative process, by task data block by task block verification, task After block emulation parsing, mission planning modification inverting, the task data block of ground-based mission planning system output is regenerated.It can lead to Cross the present invention to task parameter in the block, system setting modify, regenerate task block and it be iterated analysis with Ensure its correctness, the risk that manual layout task block is avoided to bring improves efficiency and reliability that task block generates.This is repaiied Change, inverting, interpretation process can constantly be repeated, method is flexible.
(3) precise alignment.Compared with traditional simulation system, the present invention can not only carry out emulation interpretation processing, Er Qieneng Command sequence, the form inversion sequence that enough generation designer can be visually seen, facilitate mission planning designer intuitively to be changed.Together When the interpretation result of the correct task block ultimately generated is compared with the action sequence that task grouping generates, it may be verified that The correctness and reasonability of mission planning.
(4) the anti-solution of finger is criticized.Using the present invention, can with logarithm posting lotus processing batch instruction parameter, attitude maneuver data block into Row interpretation in detail in real time, it is more directly perceived to the interpretation of data block correctness;Support automatically generates number biography, load processing batch instruction ginseng It is more precisely convenient to regenerate task data block for number, attitude maneuver data block.
(5) application is flexible.With the present invention, flexible configuration can be carried out.Invention introduces the iteration in design pattern Device pattern, can be different by configuring with the different parameter rule definition of dynamically adapting and data format definition, different models Parameter rule defines and data format definition, it is possible to adapt to the needs of different task type.Meanwhile different model can be directed to Or task type customizes different templates, realizes being adjusted flexibly for task type, adapts to more model needs.
(6) it the present invention provides a total solution, can be realized, be greatly reduced manually by software programming The workload of verification reduces the workload of the intermediate links such as verification, emulation, planning modification, improves work efficiency.
Description of the drawings
The task that Fig. 1 is the present invention interprets closed-loop simulation authentication function iteration diagram;
The task that Fig. 2 is the present invention interprets closed-loop simulation authentication module structure chart;
Fig. 3 be present invention introduces Iterator Design Pattern class figure;
The parameter rule dynamic authentication that Fig. 4 is the present invention realizes flow chart;
The data format dynamic authentication that Fig. 5 is the present invention realizes flow chart;
The centralized control unit that Fig. 6 is the present invention handles task data block emulation parsing flow chart;
The task interpretation closed-loop simulation verification that Fig. 7 is the present invention uses flow chart of steps.
Specific embodiment
It is as shown in Figure 1 function iteration diagram of the present invention, major function includes three broad aspects:Upper note task block emulation parsing, Inverting function is changed in upper note task block verification and mission planning.
Upper note task block emulation parsing major function is into planet to the task data block of ground task grouping generation Task data block according to upper note data block format, is finally parsed into command sequence and instruction starts to hold by upper task simulation solution analysis Row time, wherein command sequence include instruction name and order parameter, and instruction Starting Executing Time includes Beijing time, Ge Linwei When controlling time, UTC time and attitude control star.Meanwhile system by upper note task data block into row format inverting, inverting is into onboard system The format information that can be identified, form inverting mainly includes format content, format content corresponds to code word on star, format content is said Bright, format order block number, form Meta task number, template number and other information or error message etc..
Upper note task block verification major function is to before upper note task block emulation parsing, task is carried out to upper note data block Block verifies, noted in main verification the number that task data block format, upper note task attitude maneuver data block, upper note task include pass and Load command parameter information.Meanwhile system can simulate on-board processing unit and upper note task block is carried out at nine serious mistake patterns Reason, including being 1. more than maximum allowable Meta task quantity;2. the Meta task quantity included inside the task block of upper note has been more than most It is big to allow number;3. the template of certain task has been more than maximum number of byte;4. multiple Meta tasks are not arranged according to time order and function order Row;5. template is not ranked sequentially according to time order and function;6. the end time of previous Meta task is than the end of latter task Time is big;7. it is more than the initial time of insertion position at the beginning of the last one Meta task of insertion data block;8. it is inserted into data The end time of the last one Meta task of block is more than the end time of insertion position;9. other mistakes.For verify not by , alert process is in different colors identified error items processing by system simultaneously, convenient for designer to abnormal task number It is quickly positioned according to block.
Mission planning modification inverting function mainly modifies to mission planning content, and generates task data again Block.Once ground-based mission planning system generation task data block is wrong, designer can be repaiied for mission planning data Change operation, and generate task data block using this instrument again, into planet on note or planned with ground-based mission and be in data block The task data block regenerated of uniting is compared, and confirms the correctness of ground-based mission planning system generation data block.
As shown in Figure 1, task interpretation closed-loop simulation verification system three zones, by what is generated with ground-based mission planning system Task data block forms iterative function namely uses this instrument, task data block can be verified by upper note task block, After upper note task block emulation parsing, mission planning modification inverting, the number of tasks of ground-based mission planning system output is regenerated According to block.
Module is implemented in task interpretation closed-loop simulation verification mainly to be included:Centralized control unit, star cope plate definition unit, ginseng Number proof rule definition unit, data format definition unit, generic logic processing unit, data reception processing unit, task block Emulation parsing data outputting unit and mission planning modification inverting data outputting unit.System module structure chart is illustrated in fig. 2 shown below.
Star cope plate definition unit is substantially carried out on quick Satellite with respect to the definition of program control command template.Quick satellite exists The rail operation phase to improve satellite controllability and flexibility, uses the operation control of load and task data block is noted on ground Form, Star Service host calls template to be interpreted the operation control mode of generation instruction automatically on star.Star cope plate definition unit The primary fields and structure of definition include:Needed for coded instructions, instruction name, execution time, mark, segment identification, instruction perform Time, whether band parameter instruction, time for each instruction Δ T, parameter length.The time is wherein performed since relative time T0, is referred to Code name is made to refer to Star Service coded instructions, the instruction name corresponding to instruction name, that is, Star Service coded instructions, mark and segment identification master It is used to distinguish different sections of instructions, identical execution will be carried out by task on star or not hold by belonging to the instruction of like-identified or segment identification Row processing, instruction performs the instruction of required time main definitions and performs required decimal system duration, if this instruction is can Become instruction, then whether band ginseng instruction items are 1, are otherwise 0, whether time for each instruction needs to consider Δ T, depending on the instruction exists Whether segment mark is after section spacing parameter in instruction template.If variable order, variable element length value will be provided, is usually Two byte lengths, otherwise will be defined as 0.
Task attitude maneuver data block is noted on parameter rule definition unit main definitions, the number posting lotus that upper note task includes Processing batch instruction parameter rule defines information.For example in upper note task attitude maneuver 32 bytes of data block, certain byte defines Condition code, valid data, certain byte defines number and passes antenna numbers, earth station's number etc., and by defining this information, system is by root Parameter information verification is carried out to upper note task data block according to respective rule, once not being inconsistent with the rule of definition, system will be reported Alert prompting.Simultaneity factor supports that parameter in task block is individually extracted to and carried out detailed parsing function, such as by 32 byte posture machines Dynamic data block is parsed item by item, condition code code word, valid data code word, and number passes antenna number code word etc..Meanwhile system is also propped up Reversed systematic function is held, after such as the parameters such as feature code value, valid data are changed, regenerates 32 byte attitude maneuver data Block.
Different satellite models, may be different for the definition of parameter rule, and for quick satellite, there is also differences Stage changes for the definition of parameter rule, and system needs to adapt to such variation without big change, this is just needed Introduce a kind of Iterator Design Pattern (ITERATOR).Iterator Design Pattern is provided a method in one aggregate objects of sequential access Each element, and the internal representation of the object need not be exposed.As shown in Fig. 3 of the present invention, Iterator defines iterator Access and travel through the interface of element;ConcreteIterator realizes specific iterator;Aggregate defines container, Create the interface of corresponding iterator objects;ConcreteAggregate is specific container, realizes and creates corresponding iterator Interface, the operation return to an appropriate example of ConcreteIterator;Client is caller, the iteration of all establishments Device pattern is used for caller.
By Iterator Design Pattern, the dynamic change adjustment that parameter rule defines can be realized.As shown in Fig. 4 of the present invention, When carrying out specific parameter rule verification, system calls iterator first, and it is single to obtain all parameter rules definition defined at present Member, these regular definition units may include the definition of attitude maneuver data rule, number passes parameter rule definition, load parameter rule Definition and other rules units to be defined.After obtaining strictly all rules definition unit, according to specific regular definition unit, pass through tune With unified interface method, parameter rule authentication unit carries out specific parameter rule verification operation, so as to fulfill dynamic authentication Parameter rule process.
The required format information of task data block, typical data format are noted on data format definition unit main definitions Information include task block head, Meta task number, Meta task number, the Meta task time started, task attribute, the Meta task duration, Comprising template number, template number, template start relative time, each section of template and perform mark, section interval time, template parameter Length and parameter information field.
As shown in Fig. 5 of the present invention, the verification for data format definition unit, using Iterator Design Pattern, so as to adapt to The variation adjustment of data format definition unit.When carrying out specific data format verification, system calls iterator first, obtains mesh All data format definition units of preceding definition, it is single that these data format definition units may include the definition of task block header format Member, Meta task number format definition unit, Meta task form definition unit and other format units to be defined.Obtain all numbers After form definition unit, according to specific data format definition unit, by calling unified interface method, data format is tested It demonstrate,proves unit and carries out specific data format verification operation, so as to fulfill the process of dynamic authentication data format.
The main task of data reception processing unit is the input of task data block and interrelated logic processing, is whole system Data input module.
Generic logic processing unit mainly completes the processing of system logic unit, so that system is called, such as to defeated Enter data block and unify conversion process, the Logical processing units such as UTC, Beijing time and the conversion of Greenwich Mean Time into line character.
Task block emulation parsing output unit, the statement form after output parsing, statement form include:Command sequence and lattice Formula inversion sequence.Wherein command sequence includes:UTC values when the satellite and the rocket separate, task block codewords, Meta task number are finally handled Meta task number, the Meta task time started finally handled, the Meta task attribute (hexadecimal) finally handled, the member finally handled Job duration, template number that the Meta task finally handled includes, instruction name, order parameter, instruction start to hold Row Beijing time, when instruction starts execution Greenwich Mean Time, instruction starts to perform UTC time, attitude control star;Form inversion sequence Including:Data content, code word, explanation, instruction block number, Meta task number, template number, other information or error message.
Inverting data outputting unit is changed in mission planning, carries out mission planning under operation, regenerates times changed Business data block can re-start amended task data block verification and emulation dissection process
Centralized control unit is system essential core module, is responsible for calling each system module.For typical number of tasks It is as shown in Figure 6 according to block emulation process of analysis:System first carries out the task data block received by data reception processing unit Logical process, if logical process is problematic, system will be alarmed and identify processing, as contained non-hexadecimal in data block Character etc..After Logical processing unit, task data block format verification is carried out, while format check result is subjected to output and is shown Show, checked convenient for designer.In checking procedure, once included inside processing format mistake, such as the task block of upper note Task has been more than 13 etc., and system will alarm and identify processing.Data block format verification after, system by format check by The parameter information included in data block is verified, and if there is exception, such as variable element totally 5, parameter information only has 4 It will be alarmed Deng, system and identify processing.All by rear, system will carry out task data block emulation dissection process, simultaneously Result after dissection process is carried out report output by calling task block emulation parsing output unit.At system alarm and mark The place of reason, satellite system design teacher can carry out mission planning modification according to type of alarm, and modification is completed, and can carry out task It plans under operation, regenerates the mission planning data block changed, amended mission planning data block is carried out again Verification and emulation dissection process, so as to complete quick satellite task interpretation closed loop flow.
As shown in Fig. 7 of the present invention, a kind of agility satellite task interpretation closed-loop simulation verification method, in actual use process In use step it is as follows:
(1) configuration task information carries out task data block before task interpretation emulation, it is necessary to carry out mission bit stream to match somebody with somebody It puts, different task types, the different mission bit stream of flexible customization, these mission bit streams include:Star cope plate defines, and parameter is tested Card rule definition, data format definition;
(2) task data block is noted in verification, format verification is carried out to task data block, including data length verification, data Head verification, check code word verification, Meta task number conflict verification, the verification of Meta task time verifying, task attribute, template parameter are tested Card, template attributes verification, the verification of attitude maneuver data format;Meanwhile simulate on-board processing unit to it is upper note task data block into Nine serious mistake mode treatment of row, including being 1. more than maximum allowable Meta task quantity;2. it is included inside the task data block of upper note Meta task be more than maximum allowable number;3. the template of certain Meta task has been more than maximum number of byte;4. multiple Meta tasks do not have It is ranked sequentially according to time order and function;5. template is not ranked sequentially according to time order and function;6. the end time of previous Meta task It is bigger than the end time of the latter Meta task;7. it is more than insertion position at the beginning of the last one Meta task of insertion data block Initial time;8. the end time of the last one Meta task of insertion data block is more than the end time of insertion position;9. other are wrong By mistake;If it is completely correct that task data block is noted in verification, enter step (3);If verification is not by according to authentication failed Type is prompted, and jumps to step (4);
(3) task simulation parses, and first, takes up an official post to the task data block of ground task grouping generation into planet and is engaged in imitating True solution is analysed, and according to task data block format, task data block is finally parsed into command sequence, automatic interpretation task block interpretation knot Fruit simultaneously exports exception information, avoids noting satellite in wrong task block secondly, by task data block into row format inverting, inverting into The format information that quick satellite system can identify, while by the interpretation result of the task data block ultimately generated and mission planning The action sequence of system generation is compared, the correctness and reasonability of validation task planning;Finally, it is right according to Meta task number In the block batch of instruction of task data and attitude maneuver data block carry out detailed interpretation processing, further micronization processes result;Task After emulation parsing, enter step (5);If satellite system design teacher generates analysis result objection, it is necessary to change task Data block then enters step (4);
(4) mission planning modification inverting once ground-based mission planning system generation task data block is wrong, can pass through people Machine interactive interface modifies to task wrong parameter in the block, regenerate task block and task block is iterated analysis with Ensure correctness, the risk that manual layout task block is avoided to bring improves efficiency and reliability that task block generates;If modification It completes, enters step at this time (1);
(5) if task interpretation closed-loop simulation is correct, this task data block will be submitted to ground control station, and upper note is to defending Star carries out specific tasks execution, terminates;If satellite system design teacher, which goes out current task query, to be needed to change, enter step (4).

Claims (8)

1. a kind of agility satellite task interpretation closed-loop simulation verification system, it is characterised in that including:Centralized control unit, star upper mold Plate definition unit, Verification rule definition unit, data format definition unit, generic logic processing unit, at data receiver Manage unit, task data block emulation parsing data outputting unit and mission planning modification inverting data outputting unit;
Star cope plate definition unit is carried out with respect to the definition of program control command template on quick Satellite, for centralized control unit tune With;
Verification rule definition unit, defines the Verification rule of task data block, and Verification rule includes posture machine Dynamic data block proof rule, number posting lotus processing batch instruction Verification rule, are called for centralized control unit;
Data format definition unit defines the data format of task data block, is called for centralized control unit;Generic logic processing Unit, the conventional data logical process of unit in completion system, so that unit calls;Generic logic processing includes: Conversion process, UTC, Beijing time and the conversion of Greenwich Mean Time, data lattice are unified into line character to incoming task data block Formula processing;
Data reception processing unit pre-processes the task data block of reception, and pretreated data is sent to center Control unit;
Centralized control unit carries out logical process to task data block, if logical process is problematic, will be alarmed and identified Processing;Logical process includes:Non- hexadecimal character processing, the processing of data space, data block length verification processing, data block master Top guide verification, data CRC check, data field format verification;After logical process, data format definition unit is called, to appointing The data format of business data block is verified, while the check results of data format are carried out output and are shown, convenient for designer Verification;In checking procedure, once mistake occurs in processing data format, centralized control unit will be carried out at false alarm and mark Reason;After data block format verification, the Verification rule for the task data block that call parameters proof rule definition unit defines is right The parameter information included in the task data block that data format verification passes through is verified, and if there is exception, center control is single Member will carry out false alarm and identify processing;For Verification rule by rear, centralized control unit carries out task data block emulation Dissection process calls opposite program control command template and data format on the quick Satellite that defines of star cope plate definition unit at this time The data format for the task data block that definition unit defines carries out task data block emulation dissection process, passes through task data afterwards Result after dissection process is carried out report output by block emulation parsing output unit;Meanwhile centralized control unit calling task is advised Modification inverting data outputting unit is drawn, final task data block is exported again;In centralized control unit processing procedure, Generic logic processing unit is called to carry out conventional data logical process simultaneously;
Task block emulation parsing output unit, the statement form after output parsing;
Inverting data outputting unit is changed in mission planning, is carried out mission planning under operation, is regenerated the number of tasks changed According to block, amended task data block is carried out to verify and emulate again dissection process.
2. agility satellite task interpretation closed-loop simulation verification system according to claim 1, it is characterised in that:On the star In template definition unit, on quick Satellite with respect to program control command template definition field and structure include:Coded instructions refer to Make title, perform the time, mark, segment identification, instruction performs required time, whether with parameter instruction, time for each instruction Δ T, Parameter length;The time is wherein performed since relative time T0, coded instructions refer to Star Service coded instructions, instruction name, that is, Star Service Instruction name corresponding to coded instructions, mark and segment identification are mainly used for distinguishing different sections of instructions, belong to like-identified or section The instruction of mark will be carried out identical execution by task on star or not perform processing, and instruction defines instruction and performs the time required to performing Required decimal system duration, if this instruction is variable order, whether band ginseng instruction items are 1, are otherwise 0, instruction is held The row time whether need consider Δ T, depending on the instruction in instruction template segment mark whether after section spacing parameter;If Variable order will provide variable element length value, is two byte lengths, otherwise will be defined as 0.
3. agility satellite task interpretation closed-loop simulation verification system according to claim 1, it is characterised in that:The parameter In proof rule definition unit, attitude maneuver data block proof rule is 32 bytes, defines condition code, valid data, fixed The several biography antenna numbers of justice, earth station's number;It supports individually to extract parameter in task data block and parse in detail, by 32 bytes Attitude maneuver data block is parsed item by item, and including parsing condition code code word, valid data code word, number passes antenna number code word, Earth station's number code word;It supports reversed systematic function, by feature code value, after the modification of valid data parameter, regenerates 32 bytes Attitude maneuver data block.
4. agility satellite task interpretation closed-loop simulation verification system according to claim 1, it is characterised in that:The center Control unit introduces Iterator Design Pattern when carrying out parameter rule verification to task data block, by Iterator Design Pattern, realizes ginseng The dynamic change adjustment of number rule definition, when carrying out specific parameter rule verification, calls iterator first, obtains definition at present All parameter rule definition units, these regular definition units include attitude maneuver data rule and define, number biography parameter rules Definition, load parameter rule definition after obtaining strictly all rules definition unit, according to specific regular definition unit, pass through calling Unified interface method, parameter rule authentication unit can carry out specific parameter rule verification operation, so as to fulfill dynamically testing Demonstrate,prove parameter rule process.
5. agility satellite task interpretation closed-loop simulation verification system according to claim 1, it is characterised in that:The data The data format that form definition unit defines task data block includes:Task build, Meta task number, Meta task number, Meta task Time started, task attribute, the Meta task duration, comprising template number, template number, template start relative time, mould Each section of plate performs mark, section interval time, template parameter length and parameter information field.
6. agility satellite task interpretation closed-loop simulation verification system according to claim 1, it is characterised in that:The center Control unit introduces Iterator Design Pattern when carrying out data format verification to task data block, passes through Iterator Design Pattern, Ke Yishi The dynamic change adjustment of existing data format definition, when carrying out specific data format verification, calls iterator first, obtains current All data format definition units of definition, centralized control unit are united according to specific data format definition unit by calling One interface method, data format authentication unit carries out specific data format verification operation, so as to fulfill dynamic authentication data The process of form.
7. agility satellite task interpretation closed-loop simulation verification system according to claim 1, it is characterised in that:The task Statement form after block emulation parsing output unit output includes:Command sequence and form inversion sequence, wherein command sequence bag It includes:UTC values when the satellite and the rocket separate, task block codewords, Meta task number, the Meta task number finally handled, the Meta task finally handled Time started, the Meta task attribute finally handled, the Meta task duration finally handled, what the Meta task finally handled included Template number, instruction name, order parameter, instruction start to perform Beijing time, and instruction starts to perform Greenwich Mean Time, instruction Start to perform UTC time, during attitude control star;Form inversion sequence includes:Data content, code word illustrate, instruction block number, Meta task Number, template number, other information or error message.
8. a kind of agility satellite task interpretation closed-loop simulation verification method, it is characterised in that step is as follows:
(1) configuration task information is carried out task data block before task interpretation emulates, it is necessary to carry out mission bit stream configuration, no Same task type, the different mission bit stream of flexible customization, these mission bit streams include:Star cope plate defines, Verification rule It then defines, data format definition;
(2) task data block is noted in verification, format verification is carried out to task data block, is tested including data length verification, data head Card, check code word verification, Meta task number conflict verification, the verification of Meta task time verifying, task attribute, template parameter verification, mould The verification of plate attribute, the verification of attitude maneuver data format;Meanwhile it simulates on-board processing unit and nine is carried out greatly to upper note task data block Error pattern processing, including being 1. more than maximum allowable Meta task quantity;2. the member included inside the task data block of upper note is appointed Business has been more than maximum allowable number;3. the template of certain Meta task has been more than maximum number of byte;4. multiple Meta tasks not according to when Between sequencing arrange;5. template is not ranked sequentially according to time order and function;6. the end time of previous Meta task is than latter The end time of a Meta task is big;7. be more than the starting of insertion position at the beginning of the last one Meta task of insertion data block Between;8. the end time of the last one Meta task of insertion data block is more than the end time of insertion position;9. other mistakes;If It is completely correct that task data block is noted in verification, then is entered step (3);If verification not by, according to authentication failed type into Row prompting, jumps to step (4);
(3) task simulation parse, first, to ground task grouping generation task data block into planet take up an official post business simulation solution Analysis, according to task data block format, is finally parsed into command sequence, automatic interpretation task block interpretation result is simultaneously by task data block Exception information is exported, avoids noting satellite in wrong task block, secondly, by task data block into row format inverting, inverting Cheng Min The format information that prompt satellite system can identify, while by the interpretation result of the task data block ultimately generated and mission planning system The action sequence of system generation is compared, the correctness and reasonability of validation task planning;Finally, according to Meta task number, to appointing In the block batch of instruction of data of being engaged in and attitude maneuver data block carry out detailed interpretation processing, further micronization processes result;Task is imitated After true solution is analysed, enter step (5);If satellite system design teacher generates analysis result objection, it is necessary to change number of tasks According to block, then enter step (4);
(4) mission planning modification inverting once ground-based mission planning system generation task data block is wrong, can pass through man-machine friendship It modifies to task wrong parameter in the block, regenerate task block and analysis is iterated to task block to ensure in mutual interface Correctness, the risk that manual layout task block is avoided to bring improve efficiency and reliability that task block generates;If it changes Into entering step at this time (1);
(5) if task interpretation closed-loop simulation is correct, this task data block will be submitted to ground control station, upper note to satellite into Row specific tasks perform, and terminate;If satellite system design teacher, which goes out current task query, to be needed to change, enter step (4).
CN201510725510.XA 2015-10-30 2015-10-30 A kind of agility satellite task interpretation closed-loop simulation verification system and method Active CN105334756B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201510725510.XA CN105334756B (en) 2015-10-30 2015-10-30 A kind of agility satellite task interpretation closed-loop simulation verification system and method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201510725510.XA CN105334756B (en) 2015-10-30 2015-10-30 A kind of agility satellite task interpretation closed-loop simulation verification system and method

Publications (2)

Publication Number Publication Date
CN105334756A CN105334756A (en) 2016-02-17
CN105334756B true CN105334756B (en) 2018-05-22

Family

ID=55285368

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201510725510.XA Active CN105334756B (en) 2015-10-30 2015-10-30 A kind of agility satellite task interpretation closed-loop simulation verification system and method

Country Status (1)

Country Link
CN (1) CN105334756B (en)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN107590046B (en) * 2017-09-05 2021-02-09 北京空间飞行器总体设计部 Remote sensing satellite load task instruction verification method and system
CN111830861B (en) * 2020-05-29 2022-03-04 北京空间飞行器总体设计部 Deduction method and system for spacecraft task planning
CN111858780B (en) * 2020-06-28 2024-04-09 深圳航天东方红海特卫星有限公司 Satellite flight control system and method based on database management system
CN113204394B (en) * 2021-04-29 2022-06-07 北京微纳星空科技有限公司 Processing method, device and equipment of on-satellite program control data and storage medium

Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101093387A (en) * 2006-06-23 2007-12-26 航天东方红卫星有限公司 Ground simulation test system and test method for controlling satellite attitude based on network on satellites
CN101158875A (en) * 2007-11-16 2008-04-09 航天东方红卫星有限公司 Satellite automatization test platform and test method
CN101729563A (en) * 2009-11-13 2010-06-09 航天东方红卫星有限公司 Distributed test control system suitable for small satellite
CN102479085A (en) * 2010-11-30 2012-05-30 中国人民解放军国防科学技术大学 Agile satellite task planning method
EP2610636A1 (en) * 2011-12-29 2013-07-03 Windward Ltd. Providing near real-time maritime insight from satellite imagery and extrinsic data
CN104102216A (en) * 2014-05-26 2014-10-15 航天东方红卫星有限公司 Small satellite control system simulation and test integration system based on process and method thereof
CN104462188A (en) * 2014-10-23 2015-03-25 北京空间飞行器总体设计部 Spacecraft intelligent task planning test method and system

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20060015299A1 (en) * 2004-06-14 2006-01-19 Mcdermott Scott A Network architecture and protocol for spacecraft systems
US7856294B2 (en) * 2007-12-14 2010-12-21 Sra International, Inc. Intelligent system and method for spacecraft autonomous operations

Patent Citations (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101093387A (en) * 2006-06-23 2007-12-26 航天东方红卫星有限公司 Ground simulation test system and test method for controlling satellite attitude based on network on satellites
CN101158875A (en) * 2007-11-16 2008-04-09 航天东方红卫星有限公司 Satellite automatization test platform and test method
CN101729563A (en) * 2009-11-13 2010-06-09 航天东方红卫星有限公司 Distributed test control system suitable for small satellite
CN102479085A (en) * 2010-11-30 2012-05-30 中国人民解放军国防科学技术大学 Agile satellite task planning method
EP2610636A1 (en) * 2011-12-29 2013-07-03 Windward Ltd. Providing near real-time maritime insight from satellite imagery and extrinsic data
CN104102216A (en) * 2014-05-26 2014-10-15 航天东方红卫星有限公司 Small satellite control system simulation and test integration system based on process and method thereof
CN104462188A (en) * 2014-10-23 2015-03-25 北京空间飞行器总体设计部 Spacecraft intelligent task planning test method and system

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
The significant role of simulation in satellite development and verification;R Hendricks,J Eickhoff;《Aerospace Science & Technology》;20050331;第9卷(第3期);第8653-8658页 *
基于故障诊断的小卫星平台仿真测试与验证系统设计方法研究;王志勇,杨海龙,冯孝辉;《第三十二届中国控制会议论文集》;20130728;第273-283页 *

Also Published As

Publication number Publication date
CN105334756A (en) 2016-02-17

Similar Documents

Publication Publication Date Title
CN105334756B (en) A kind of agility satellite task interpretation closed-loop simulation verification system and method
CN104391934B (en) Data verification method and device
CN102289375B (en) Code generating method and system
CN1703703B (en) Device and method for checking railway logical software engines for commanding plants, particularly station plants
CN105512030B (en) A kind of method that lifting satellite test efficiency is intelligently constructed based on satellite command code word
CN103345446B (en) A kind of automated testing method being applicable to remote control series products
CN108959068A (en) Software interface test method, equipment and storage medium
CN106873972A (en) Electric Power Network Planning emulation platform computing module cut-in method and system based on plug-in unit
CN104536997B (en) Batch data processing method and processing device for client end interface
CN109740222A (en) A kind of test device and system for grid motor connectionization scene
CN107590046A (en) A kind of remote sensing satellite load task command verification method and system
US5325534A (en) Interactive source-code software production method modeling a complex set of functional modules
CN107741904A (en) Test machine method of automatic configuration, device, equipment and storage medium
CA2450340C (en) Method of producing a software product
CN111722842A (en) Pipeline arranging method and device, electronic equipment and storage medium
CN109240908A (en) Abnormality test use-case template establishment method and device
CN103530209A (en) Automated testing method for code keyboard
CN110244688A (en) Meter bus panel automatic generation method and its system based on LabVIEW
CN105429809A (en) Router configuration system and router configuration method
CN106919374A (en) A kind of scenario generation method and device
CN109542398A (en) A kind of operation system generation method, device and computer readable storage medium
CN104813248B (en) For the system for the safety relay for providing individual cultivation
CN108920846A (en) A kind of risk coupling analytical method of high-speed rail train control system complexity operation scene
KR20180034356A (en) Game system and method of implementing artificial intelligence of game character by user setting
CN110018835A (en) YANG model configuration data processing method and device, terminal device and storage medium

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant