CN108363379A - A kind of method for diagnosing faults based on satellite hot control system - Google Patents
A kind of method for diagnosing faults based on satellite hot control system Download PDFInfo
- Publication number
- CN108363379A CN108363379A CN201810064522.6A CN201810064522A CN108363379A CN 108363379 A CN108363379 A CN 108363379A CN 201810064522 A CN201810064522 A CN 201810064522A CN 108363379 A CN108363379 A CN 108363379A
- Authority
- CN
- China
- Prior art keywords
- control system
- hot control
- observation
- optimal
- model
- 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.)
- Granted
Links
- 238000000034 method Methods 0.000 title claims abstract description 56
- 238000003745 diagnosis Methods 0.000 claims abstract description 27
- 230000006870 function Effects 0.000 claims description 7
- 238000011156 evaluation Methods 0.000 claims description 4
- 238000012546 transfer Methods 0.000 claims description 4
- 230000007704 transition Effects 0.000 claims description 3
- 230000015556 catabolic process Effects 0.000 claims description 2
- 239000000284 extract Substances 0.000 claims description 2
- 230000008901 benefit Effects 0.000 description 2
- 230000008859 change Effects 0.000 description 2
- 238000009795 derivation Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000007689 inspection Methods 0.000 description 2
- 238000012423 maintenance Methods 0.000 description 2
- 238000013473 artificial intelligence Methods 0.000 description 1
- 230000005611 electricity Effects 0.000 description 1
- 230000036541 health Effects 0.000 description 1
- 238000010438 heat treatment Methods 0.000 description 1
- 238000013178 mathematical model Methods 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 230000032258 transport Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
- G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model
Landscapes
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
The present invention provides a kind of method for diagnosing faults based on satellite hot control system, and its step are as follows:Step 1: being modeled to satellite hot control system based on first order logic;Step 2: analytic modell analytical model file and observation file, obtain model data and observation data;Step 3: being made inferences to model using ATMS methods, all conflict sets are obtained;Step 4: searching for conflict set using first step A* searching methods, obtain optimal touching collection;Step 5: touching collection using the search of second step A* searching methods is optimal, best candidate solution is obtained;Step 6: carrying out consistency check to best candidate solution using ATMS;By above step, the range of A* search can be reduced, and then improve the diagnosis efficiency to satellite hot control system, reduce Diagnostic Time.
Description
Technical field
The present invention provides a kind of method for diagnosing faults, more particularly to a kind of fault diagnosis side based on satellite hot control system
Method belongs to the fault diagnosis field based on model.
Background technology
Increasingly increase with increasingly complicated and to human lives the influence of space mission, the reliability and safety of spacecraft
Property seems particularly important.But since the complexity of space environment and the limitation of spacecraft-testing, spacecraft break down
Probability also greatly increasing, in order to meet growing Space Vehicle Health demand, the method for diagnosing faults based on model is answered
It transports and gives birth to.
Fault diagnosis based on model can generally be divided into two major classes:One is the method based on control theory, core
Thought is that residual error is generated based on the analytical mathematical models of system, is then based on certain criterion or threshold value and determines to the residual error
Plan;Another then be the method based on artificial intelligence, i.e. the fault diagnosis based on First Law, wherein reasoning and search is two
Key technology.Wherein reasoning generates conflict set for binding model description and observation, and searches for and then searched out according to conflict set
Then most probable candidate solution judges whether candidate solution is a diagnosis solution.Common inference method have LTMS (logic-based
TMS Truth Maintenance System) and ATMS (based on the assumption that TMS Truth Maintenance System) and its modified.For search, the plan of LTMS and ATMS
Slightly different, the common searching methods of LTMS are searched for for A* (A stars), and the searching method of traditional ATMS has HS trees, HST trees
Deng.
For weak model i.e. only there are one the model system of normal mode and a fault mode, above searching method is all
Good result can be obtained, but for possessing the i.e. strong model of complication system of multiple normal modes or multiple fault modes,
Diagnosis efficiency and precision will not ensure that.
A kind of method for diagnosing faults based on satellite hot control system that this patent is proposed is to be directed to defending as strong model
Star heat control system improves its diagnosis efficiency by using ATMS inference methods and two step A* searching methods.
Invention content
Goal of the invention
The object of the present invention is to provide a kind of method for diagnosing faults based on satellite hot control system, it for have it is multiple just
Normal or fault mode satellite hot control system can reduce the range of A* search, and then improve fault diagnosis efficiency.
Technical solution
A kind of method for diagnosing faults based on satellite hot control system of the present invention, its step are as follows:
Step 1: being modeled to satellite hot control system based on first order logic;
Step 2: analytic modell analytical model file and observation file, obtain model data and observation data;
Step 3: being made inferences to model using ATMS methods, all conflict sets are obtained;
Step 4: searching for conflict set using first step A* searching methods, obtain optimal touching collection;
Step 5: touching collection using the search of second step A* searching methods is optimal, best candidate solution is obtained;
Step 6: carrying out consistency check to best candidate solution using ATMS;
By above step, the range of A* search can be reduced, and then improve the diagnosis efficiency to satellite hot control system, drop
Low Diagnostic Time.
Wherein, " being modeled to satellite hot control system based on first order logic " described in " step 1 ", way is as follows:Wherein
" first order logic " is also known as first-order predicate logic, refers to the predicate logic for including only individual predicate and individual quantifier, for studying
The proposition that is made of individual, function and relationship in mathematics and the more complicated proposition and these propositions being made of these propositions it
Between derivation relationship pass through each element of analysis system behavior pattern and pattern between probability transfer relationship and element with
Logical transition relationship between element obtains system model file, is write further according to observation based on first order logic to system modelling
Go out and observe file, finally the pattern of element is initialized, be generally initialized to normal mode, indicates to assume that the element is
Normally.
" being modeled to satellite hot control system based on first order logic " described in " step 1 ", way is as follows:Wherein " one
Rank logic " is also known as first-order predicate logic, refers to the predicate logic for including only individual predicate and individual quantifier, for studying mathematics
In between the proposition that is made of individual, function and relationship and the more complicated proposition and these propositions being made of these propositions
Derivation relationship;Pass through probability transfer relationship between the behavior pattern and pattern of each element of analysis system and element and member
Logical transition relationship between part obtains system model file, is write out further according to observation based on first order logic to system modelling
File is observed, finally the pattern of element is initialized, is generally initialized to normal mode, indicates to assume that the element is just
Normal.
Wherein, described in " step 2 " " analytic modell analytical model file and observation file, obtain model data and observation number
According to ", way is as follows:Since the language and format of model file in step 1 and observation file are artificial and can not be by computer
Identification, so needing exist for parsing two files, extracting data information therein and being translated into computer capacity knowledge
Other data structure.
Wherein, " model being made inferences using ATMS methods, obtain all conflict sets " described in " step 3 ",
Way is as follows:Wherein " conflict set " refers to a set of pieces inconsistent with observation, it is possible to which the element of failure combines;Pass through profit
The model data of step 2 and observation data are made inferences with ATMS methods, all conflict sets of model can be directly obtained.
Wherein, " searching for conflict set using first step A* searching methods, obtain optimal touching collection " described in " step 4 ",
Way is as follows:Wherein " touch collection " and refer to that intersect with all conflict sets be not empty set, indicate to meet all conflict sets can
The element combination of energy failure;It, can using A* searching methods search conflict set using the probability of element normal mode as evaluation function
Obtain it is optimal touch collection, if probability is bigger, likelihood of failure is lower.
Wherein, " touching collection using the search of second step A* searching methods is optimal, obtaining best candidate described in " step 5 "
Solution ", way is as follows:Wherein " candidate solution " is possible diagnosis solution, it has explicitly pointed out the possible fault mode of element;With element
The probability of fault mode finds out best candidate solution as evaluation function, using A* methods according to the optimal collection that touches in step 4.
Wherein, " carrying out consistency check to best candidate solution using ATMS " described in " step 6 ", way is as follows:
Consistency check is carried out to best candidate solution using ATMS, if upchecking, which is exactly a diagnosis solution, if
Inspection does not pass through, then return to step five searches for next best candidate solution, if it is optimal in step 5 that best candidate solution, which is empty,
It is not diagnosis solution to touch all candidate solutions of collection, then return to step four search for it is next it is optimal touch collection, repeatedly above step until
Find diagnosis solution.
Invention advantage
It is an advantage of the invention that by combining ATMS reasonings and two step A* searching methods, the range of A* search can be reduced,
The diagnosis efficiency to satellite hot control system is improved, Diagnostic Time is reduced.
Description of the drawings
The model of certain element circuit in Fig. 1 satellite hot control systems.
Fig. 2 the method for the invention flow charts.
Specific implementation mode
Method objective for implementation is certain element circuit in satellite hot control system, as shown in Figure 1.
The present invention is a kind of method for diagnosing faults based on satellite hot control system, and as shown in Figure 2, its step are as follows:Step
One, first order logic is based on to model satellite hot control system;
Step 2: analytic modell analytical model file and observation file, obtain model data and observation data;
Step 3: being made inferences to model using ATMS methods, all conflict sets are obtained;
Step 4: searching for conflict set using first step A* searching methods, obtain optimal touching collection;
Step 5: touching collection using the search of second step A* searching methods is optimal, best candidate solution is obtained;
Step 6: carrying out consistency check to best candidate solution using ATMS.
Wherein, the way of step 1 is as follows:
Include three kinds of components in Fig. 1:Switch, heater and ammeter.Wherein switch S is the master switch of circuit, often
A heater hiWith a switch SiOne branch of built-up circuit, electric current then table monitoring circuit curent change.
Switch has Three models, is normal, stuck on, stuck off modes respectively.When switch is in normal
When pattern, if instruction is on, output is same with the input phase, if instruction is off, no output;When in stuck on patterns
When, no matter instruct, output is same with the input phase;When in stuck off modes, no output.There are four types of patterns for heater tool, divide
It is not normal, broken, less power, over power patterns.When heater is in normal patterns, if instruction is
On, heater can discharge heat and output normal current, if instruction is off, empty calory release and no current exports.Work as heating
When device is in broken patterns, the release of heater empty calory and no current output.When heater is in less power patterns,
If instruction is on, heater can discharge a small amount of heat and output normal current, if instruction is off, empty calory release and without electricity
Stream output.When heater is in over power patterns, if instruction is on, heater can discharge excessive heat and output is normal
Electric current goes heat release and no current exports if instruction is off.
Ammeter has both of which:Normal, fault.Under normal patterns, the normal display circuit of ammeter is always electric
Otherwise stream shows that electric current is 0.
All elements of initial time are set all in normal patterns, and the probability P that each fault mode occursiFor
0.01, and the probability of normal mode is then 1- Σ Pi。
Logic transfer relationship in analysis chart 1 between the element behavior and element of model, is write out in the form of first order logic
Model file, and it is as follows that observation is arranged:
Time=1
In=true
Cs=true
Cs1=true
Cs2=true
Cs3=true
Cs4=true
T1=tvar.norm
T2=tvar.norm
T3=tvar.norm
T4=tvar.norm
C=current.four
Time=2
In=true
Cs=true
Cs1=true
Cs2=true
Cs3=true
Cs4=true
T1=tvar.over
T2=tvar.less
T3=tvar.less
T4=tvar.none
C=current.three
Time=1 indicates that the model observation of initial time, time=2 indicate the model observation at next moment.”
In " indicates input, and " cS, cs1, cs2, cs3, cs4 " indicate the instruction of 5 switches respectively, and " t1, t2, t3, t4 " indicate 4 respectively
The heat of a heater release, " c " indicates the value of ammeter.Observation is caused to change it can thus be seen that failure has occurred in system
Become.
Wherein, the way of step 2 is as follows:
Since the language and format of model file in step 1 and observation file can not be identified by computer, so needing here
Two files are parsed, extract data information therein and be translated into the data structure of computer capacity identification.
Wherein, the way of step 3 is as follows:
The model file in step 2 is made inferences with observation file using ATMS methods, if Lothrus apterus set, table
Show that system is normal, diagnosis terminates;Otherwise all conflict sets are recorded.Observation in model and step 1 based on Fig. 1, is rushed
Prominent collection is as follows:
{h2.mode@normal}
{S.mode@normal S4.mode@normal h4.mode@normal}
{h1.mode@normal}
{h3.mode@normal}
4 conflict sets are wherein contained, each conflict set is indicated with { }, represents the element combination of possible breakdown.Wherein,
The way of step 4 is as follows:
Using all conflict sets in first step A* searching methods search step three, find it is optimal touch collection, it is as follows:
{S.mode@normal h1.mode@normal h2.mode@normal h3.mode@normal } it represents most probable failure
Element combines, and is element S, h respectively1, h2, h3Combination.
Wherein, the way of step 5 is as follows:
Collection is touched using optimal in second step A* searching methods search step four, finds most may be used where element in step 4
The pattern of energy, it is as follows to obtain best candidate solution:
{S.mode@stuck_off h1.mode@broken h2.mode@broken h3.mode@broken}。
Wherein, the way of step 6 is as follows:
Consistency check is carried out to the best candidate solution in step 5, if being generated without new conflict set, it is logical to represent inspection
It crosses, and the candidate solution is a diagnosis solution, otherwise examines failure, then return to step five searches for next best candidate solution, if
Best candidate solution is sky, i.e., it is neither diagnosis solution to touch all best candidate solutions that collection searches out by optimal in step 5, then returns
Return that step 4 search is next optimal to touch collection.Above step is repeated until finding out diagnosis solution.
Finally obtained diagnosis solution is:
{S4.mode@stuck_off h1.mode@over_power h2.mode@less_power h3.mode@less_
Power }, indicate s4In stuck_off failures, h1In over_power failures, h2In less_power failures, h3Place
In less_power failures.
By above step, it can realize the fault diagnosis to satellite hot control system, and reduce search range, improve
Diagnosis efficiency.
Claims (7)
1. a kind of method for diagnosing faults based on satellite hot control system, it is characterised in that:Its step are as follows:
Step 1: being modeled to satellite hot control system based on first order logic;
Step 2: analytic modell analytical model file and observation file, obtain model data and observation data;
Step 3: being made inferences to model using ATMS methods, all conflict sets are obtained;
Step 4: searching for conflict set using first step A* searching methods, obtain optimal touching collection;
Step 5: touching collection using the search of second step A* searching methods is optimal, best candidate solution is obtained;
Step 6: carrying out consistency check to best candidate solution using ATMS;
By above step, the range of A* search can be reduced, and then improve the diagnosis efficiency to satellite hot control system, reduction is examined
The disconnected time.
2. a kind of method for diagnosing faults based on satellite hot control system according to claim 1, it is characterised in that:
" being modeled to satellite hot control system based on first order logic " described in " step 1 ", way is as follows:Wherein " single order is patrolled
Volume " be also known as first-order predicate logic, refer to the only predicate logic comprising individual predicate and individual quantifier, for study in mathematics by
Reasoning between proposition that individual, function and relationship are constituted and the more complicated proposition and these propositions being made of these propositions
Relationship;By probability transfer relationship between the behavior pattern and pattern of each element of analysis system and element and element it
Between logical transition relationship, based on first order logic to system modelling, obtain system model file, observation write out further according to observation
File finally initializes the pattern of element, is generally initialized to normal mode, indicates to assume that the element is normal
's.
3. a kind of method for diagnosing faults based on satellite hot control system according to claim 1, it is characterised in that:
" analytic modell analytical model file and observation file, obtain model data and observation data " described in " step 2 ", way
It is as follows:Since the language and format of model file in step 1 and observation file are artificial and can not be identified by computer, institute
To need exist for parsing two files, extracts data information therein and be translated into the data of computer capacity identification
Structure.
4. a kind of method for diagnosing faults based on satellite hot control system according to claim 1, it is characterised in that:
" being made inferences to model using ATMS methods, obtain all conflict sets " described in " step 3 ", way is such as
Under:Wherein " conflict set " refers to a set of pieces inconsistent with observation, it is possible to which the element of failure combines;By using ATMS
Method makes inferences the model data and observation data of step 2, can directly obtain all conflict sets of model.
5. a kind of method for diagnosing faults based on satellite hot control system according to claim 1, it is characterised in that:
" searching for conflict set using first step A* searching methods, obtain optimal touching collection " described in " step 4 ", way is such as
Under:It refers to intersecting with all conflict sets not for empty set wherein " to touch collection ", indicates the possible breakdown that can meet all conflict sets
Element combination;Using the probability of element normal mode as evaluation function, obtained using A* searching methods search conflict set optimal
Touch collection, if probability is bigger, likelihood of failure is lower.
6. a kind of method for diagnosing faults based on satellite hot control system according to claim 1, it is characterised in that:
" touching collection using the search of second step A* searching methods is optimal, obtain best candidate solution " described in " step 5 ", does
Method is as follows:Wherein " candidate solution " is possible diagnosis solution, it has explicitly pointed out the possible fault mode of element;With element fault mould
The probability of formula finds out best candidate solution as evaluation function, using A* methods according to the optimal collection that touches in step 4.
7. a kind of method for diagnosing faults based on satellite hot control system according to claim 1, it is characterised in that:
" carrying out consistency check to best candidate solution using ATMS " described in " step 6 ", way is as follows:It utilizes
ATMS carries out consistency check to best candidate solution, if upchecking, which is exactly a diagnosis solution, if examining
Do not pass through, then return to step five searches for next best candidate solution, if it is that optimal in step 5 touches collection that best candidate solution, which is empty,
All candidate solutions be not diagnosis solution, then return to step four search for it is next it is optimal touch collection, repeatedly above step is until finding
Diagnosis solution.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810064522.6A CN108363379B (en) | 2018-01-23 | 2018-01-23 | Fault diagnosis method based on satellite thermal control system |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201810064522.6A CN108363379B (en) | 2018-01-23 | 2018-01-23 | Fault diagnosis method based on satellite thermal control system |
Publications (2)
Publication Number | Publication Date |
---|---|
CN108363379A true CN108363379A (en) | 2018-08-03 |
CN108363379B CN108363379B (en) | 2020-09-08 |
Family
ID=63006854
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201810064522.6A Expired - Fee Related CN108363379B (en) | 2018-01-23 | 2018-01-23 | Fault diagnosis method based on satellite thermal control system |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN108363379B (en) |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101907868A (en) * | 2010-08-05 | 2010-12-08 | 暨南大学珠海学院 | Intelligent trouble diagnosis method for tractive power supply system and system thereof |
CN201740542U (en) * | 2010-06-03 | 2011-02-09 | 长春奥普光电技术股份有限公司 | Encoder fault automatic diagnosis device |
KR20150059420A (en) * | 2013-11-22 | 2015-06-01 | 에스케이플래닛 주식회사 | Route guidance service system, method and apparatus for fault diagonosis of gps in the system |
CN105716621A (en) * | 2016-04-08 | 2016-06-29 | 京信通信系统(广州)有限公司 | Method for determining target escape path and network equipment |
CN105843240A (en) * | 2016-04-08 | 2016-08-10 | 北京航空航天大学 | Spacecraft attitude integral sliding mode fault tolerance control method taking consideration of performer fault |
-
2018
- 2018-01-23 CN CN201810064522.6A patent/CN108363379B/en not_active Expired - Fee Related
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN201740542U (en) * | 2010-06-03 | 2011-02-09 | 长春奥普光电技术股份有限公司 | Encoder fault automatic diagnosis device |
CN101907868A (en) * | 2010-08-05 | 2010-12-08 | 暨南大学珠海学院 | Intelligent trouble diagnosis method for tractive power supply system and system thereof |
KR20150059420A (en) * | 2013-11-22 | 2015-06-01 | 에스케이플래닛 주식회사 | Route guidance service system, method and apparatus for fault diagonosis of gps in the system |
CN105716621A (en) * | 2016-04-08 | 2016-06-29 | 京信通信系统(广州)有限公司 | Method for determining target escape path and network equipment |
CN105843240A (en) * | 2016-04-08 | 2016-08-10 | 北京航空航天大学 | Spacecraft attitude integral sliding mode fault tolerance control method taking consideration of performer fault |
Non-Patent Citations (3)
Title |
---|
王肖: "基于模型的候选故障诊断求解方法及诊断空间单调性研究", 《中国优秀硕士学位论文全文数据库 信息科技辑》 * |
蔡莉莎: "基于模型诊断的电路故障诊断系统的应用研究", 《中国优秀硕士学位论文全文数据库 信息科技辑》 * |
邵继业: "基于模型的故障诊断方法研究及在航天中的应用", 《中国博士学位论文全文数据库 工程科技II辑》 * |
Also Published As
Publication number | Publication date |
---|---|
CN108363379B (en) | 2020-09-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Izza et al. | On explaining random forests with SAT | |
Jiménez-Ruiz et al. | Logmap: Logic-based and scalable ontology matching | |
Vinson et al. | Semantic feature production norms for a large set of objects and events | |
Thomas | Mining software repositories using topic models | |
Lu et al. | Collaborative graph learning with auxiliary text for temporal event prediction in healthcare | |
CN105678107B (en) | Structural knowledge finds method and apparatus after a kind of electronic health record | |
Feldman et al. | Model-based diagnostic decision-support system for satellites | |
Jian et al. | An end-to-end algorithm for solving circuit problems | |
US20180336494A1 (en) | Translating sensor input into expertise | |
Rizzo et al. | ICD code retrieval: Novel approach for assisted disease classification | |
Chen et al. | Knowledge graphs meet multi-modal learning: A comprehensive survey | |
CN109087688A (en) | Patient information acquisition method, device, computer equipment and storage medium | |
Tsvigun et al. | Towards computationally feasible deep active learning | |
Li et al. | A bibliometric analysis on model-based systems engineering | |
Aspillaga et al. | Inspecting the concept knowledge graph encoded by modern language models | |
Costa et al. | NewsMeSH: A new classifier designed to annotate health news with MeSH headings | |
CN108363379A (en) | A kind of method for diagnosing faults based on satellite hot control system | |
Yıldız et al. | An integrated approach to automatic synonym detection in Turkish corpus | |
Mamoutova et al. | Ontological approach to automated analysis of enterprise data storage systems log files | |
Hu et al. | A classification model of power operation inspection defect texts based on graph convolutional network | |
Lv et al. | Temporal-enhanced Cross-modality Fusion Network for Video Sentence Grounding | |
de Araujo et al. | Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach | |
Müller | Medical (visual) information retrieval | |
Meng et al. | Fault knowledge graph construction and platform development for aircraft PHM | |
Liu et al. | Causal intervention for abstractive related work generation |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right |
Effective date of registration: 20210924 Address after: D2201, 22 / F, block D, Zhizhen building, No. 7, Zhichun Road, Haidian District, Beijing 100088 Patentee after: BEIJING HANGTIANHUA TECHNOLOGY Co.,Ltd. Address before: 100191 No. 37, Haidian District, Beijing, Xueyuan Road Patentee before: BEIHANG University |
|
TR01 | Transfer of patent right | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20200908 |
|
CF01 | Termination of patent right due to non-payment of annual fee |