CN104978467B - A kind of multidisciplinary design optimization subject decoupling method - Google Patents

A kind of multidisciplinary design optimization subject decoupling method Download PDF

Info

Publication number
CN104978467B
CN104978467B CN201510437444.6A CN201510437444A CN104978467B CN 104978467 B CN104978467 B CN 104978467B CN 201510437444 A CN201510437444 A CN 201510437444A CN 104978467 B CN104978467 B CN 104978467B
Authority
CN
China
Prior art keywords
component
multidisciplinary
vertex
list
strong
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.)
Expired - Fee Related
Application number
CN201510437444.6A
Other languages
Chinese (zh)
Other versions
CN104978467A (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.)
Huazhong University of Science and Technology
Original Assignee
Huazhong University of Science and Technology
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 Huazhong University of Science and Technology filed Critical Huazhong University of Science and Technology
Priority to CN201510437444.6A priority Critical patent/CN104978467B/en
Publication of CN104978467A publication Critical patent/CN104978467A/en
Application granted granted Critical
Publication of CN104978467B publication Critical patent/CN104978467B/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Landscapes

  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

The invention discloses a kind of multidisciplinary design optimization subject decoupling method, this method to carry out system balancing analysis in multidisciplinary coupling model for there are the coupled relation that mutual variable relies between subject component, using the system coupling ring that there is positive connection and feedback link at the same time as a disposed of in its entirety, so that master mould is changed into the oriented graph data structure for having ring, initial value is set to feedback variable, solve the nonlinear equation corresponding to graph data structure, the new value of feedback variable is set according to feedback variable result of calculation and the difference of initial value, and then interative computation is until convergence.By the present invention, the operational efficiency of multidisciplinary design optimization flow is improved, improves the engineering practicability of multidisciplinary design optimization, it is easier to obtain the optimized parameter of product design.

Description

A kind of multidisciplinary design optimization subject decoupling method
Technical field
The invention belongs to product design to optimize field, more particularly, to a kind of multidisciplinary design optimization subject decoupling side Method.
Background technology
Modern Large tool is mostly highly complex big system, and product design is related to including structure, pneumatic, optics, heat , electromagnetism, control, cost and some for subject specific to product object, so modern complex large-sized mechanical design Typically one combines multiple subjects or a variety of scientific and technical system engineerings.Such as Flight Vehicle Design just needs to consider at the same time The subject such as structure, pneumatic, stealthy, flight, electromagnetism.
Traditional Series design method ignores interdisciplinary interaction, can not only for the purpose of a certain subject is optimal Achieve the purpose that global optimization, and its design cycle is long, of high cost.Multidisciplinary optimization is that processing complication system is excellent The effective tool of change problem.By multidisciplinary design optimization model, Process integration and design optimization are built by computer technology Environment, all kinds of analysis softwares of coordinated drive and correlation computations instrument, reach the multidisciplinary design optimization of product, it has also become multidisciplinary The concrete form that design optimization is realized.
However, when specifically establishing Optimized model, since design variable is more in the design optimization problem of complication system, subject Between relation is complicated and subject between close coupling state is presented, modeling and Optimization Solution to complication system bring difficulty.It is existing There is multidisciplinary design optimization, the definition of subject coupling can not be carried out in process modeling environment, to the subject component of coupling It can not realize efficient decoupling computation.Therefore, realize that subject coupling definition becomes and be badly in need of solution in existing multidisciplinary design optimization software Certainly the problem of.
A subject or a analysis software are represented with a component, variable between component in multidisciplinary design optimization model Transmission then represented with connecting.Since object to be dealt with is mostly complication system, the variable transferring between component often includes There is the feedback link opposite with positive connection direction of transfer.Feedback link is prevalent in multidisciplinary design optimization model, is allowed Overall system architecture becomes increasingly complex, becomes increasingly difficult system modelling and analysis and solution process, seriously hinders more The specific implementation of section's design optimization.
When there is the correlated variables of coupling between subject component A and B, there is the transmission of variable from subject component A to B, The order for solving component is just difficult to judge.Traditional method is first to calculate one of component A, and handling result is brought into another Component B, then the handling result of component B is brought into component A and is calculated, then reruned according to such step.But this " dragsaw " phenomenon necessarily occurs in solution procedure, causes to calculate and does not restrain.If subject quantity is more, treatment effeciency is extremely Lowly.
Therefore, existing business multidisciplinary design optimization, positive transmission is only handled when building network analysis flow Variable, is then generally disregarded for feedback variable;When needing to do necessary processing in a few cases, then need to be directed to specific production Product design treatment method, so needs to do deep understanding for specific product, processing procedure easily malfunctions and inefficiency. Moreover, when Optimizing Flow is complicated, feedback link is more, the solution speed of flow can be seriously affected by making to handle ring structure in this way Degree and precision.Therefore, how to carry out decoupling the problem become in multidisciplinary design optimization for coupling ring.
The content of the invention
For the disadvantages described above or Improvement requirement of the prior art, the present invention provides a kind of multidisciplinary design optimization subject solution Coupling method, its object is to which multidisciplinary coupling model is converted into graph data structure, greatly strong unicom in graph data structure Corresponding strong unicom component is schemed as a disposed of in its entirety, thus solves coupled problem processing difficulty in multidisciplinary design optimization Technical problem.
To achieve the above object, a kind of one side according to the invention, there is provided multidisciplinary design optimization subject decoupling Method, comprises the following steps:
The first step:Establish multidisciplinary coupling model
According to the requirement of product design, multidisciplinary coupling model is established, then according to the transitive relation of variable in model, is built Connection in formwork erection type between component;I.e. if the output variable of component A is the input variable of component B, component A is established to group The connection of part B;
Second step:Create graph data structure
All component in multidisciplinary coupling model is converted into vertex, while according to the direction connected between component, All connections between component are converted to directed edge;All vertex and directed edge collectively form graph data structure;
3rd step:Create chained list
All greatly strong unicom subgraphs are identified in the graph data structure established;It is right to all greatly strong unicom subgraph institutes The strong unicom component answered, and the component being not belonging to corresponding to the single vertex of greatly strong unicom subgraph all create corresponding chain Table;The chained list of corresponding strong unicom component, then store all component of the strong unicom component, the corresponding list for being not belonging to strong unicom component The chained list on a vertex, then store the component of the vertex correspondence;Dependence is only existed between all chained lists, there is no coupling pass System, that is, only exist positive connection, there is no feedback link;
4th step:The sequence of chained list
Dependence according to chained list is ranked up all chained lists created in the 3rd step, i.e., according to the side of forward direction connection To sequence, and establish double linked list and all chained lists are sequentially preserved according to this;
5th step:Handle multidisciplinary coupling model
The assignment of design variable is provided, it is right successively since first chained list according to the linked list order established in the 4th step Chained list is handled, until last chained list is disposed;
In processing procedure, when the component count of current storage of linked list is 1, then direct computing current component, obtains processing knot Fruit, component count then carry out the computing of strong unicom component when being more than 1;
6th step:Whether verification processing result meets design requirement
Whether verification processing result meets the design object and constraints of product, meets then multidisciplinary design optimization knot Beam, otherwise returns to the 5th step;
The calculating process of strong unicom component is as follows described in 5th step:
(1) feedback link is removed
All system coupling rings are identified in the corresponding greatly strong unicom subgraph of current chained list, and coupling ring is torn Split, remove the directed edge that feedback link is all corresponded in all system coupling rings, very big strong unicom subgraph is changed into oriented Acyclic figure, strong unicom component at this time only has positive connection, without feedback link;
(2) sort to component
According to the direction of positive connection between component in current strong unicom component, sort to component, and it is suitable according to the component The corresponding vertex order of sequence is numbered original system coupling ring in directed acyclic graph;
(3) nonlinear equation is constructed
According to the function of new component priority order and component in itself, construction and above-mentioned strong unicom component are corresponding non-linear Equation;
(4) nonlinear equation iterative solution
It is corresponding to directed edge in original system coupling ring according to the numbering of the obtained system coupling ring of step (2) Component pointed by feedback link assigns initial input value, and the nonlinear equation established based on step (3) is iterated and asked Solution, until nonlinear equation is restrained, obtains handling result.
Preferably, the specific method of second step is as follows:The component list is established, stores all groups of multidisciplinary coupling model Part, while establish connection list, connection between storage assembly and the module information connected;Traverse component list, obtains All component simultaneously generates the vertex corresponding to each component, while travels through connection list, obtains all connections and the group connected The information of part, according to the direction of connection, generates a directed edge, to connect the vertex corresponding to each component;All vertex and have Graph data structure is collectively formed to side.
Preferably, the step of operation of strong unicom component (4) be specially:
S1:According to the numbering of the obtained system coupling ring of step (2), to the corresponding feedback of directed edge in system coupling ring The pointed all component of connection assigns initial input value, substitutes into the nonlinear equation that step (3) obtains and is solved, is The output valve of the pointed all component of the corresponding positive connection of directed edge in system coupling ring;
S2:Above-mentioned input value and output valve are carried out using the instrument that iterates to calculate (such as Minpack iterates to calculate kit) Whether calculating is handled, and judge that current iteration calculates and restrain, i.e., whether input value is approximately equal to output valve;If current iteration calculates Convergence, then calculate and terminate, obtain handling result;If do not restrained, the input value reset using iterative calculation instrument is returned Return S1 and carry out next round calculating.
By the contemplated above technical scheme of the present invention compared with prior art, since multidisciplinary coupling model being converted For graph data structure, the directed cyclic graph in graph data structure is converted into directed acyclic graph, in multidisciplinary coupling model Strong unicom component is handled, so as to solve the problems, such as that subject coupled problem treatment effeciency is low in multidisciplinary design optimization.
Brief description of the drawings
Fig. 1 is multidisciplinary design optimization subject decoupling method flow chart of the present invention;
Fig. 2 is the schematic diagram of multidisciplinary coupling model processing in multidisciplinary design optimization subject decoupling method of the present invention;
Fig. 3 is positive connection and feedback link schematic diagram in embodiment 1;
Fig. 4 is graph data structure schematic diagram in embodiment 1;
Fig. 5 is strong unicom component identification schematic diagram in embodiment 1;
Fig. 6 is that 1 double center chain of embodiment represents to be intended to;
Fig. 7 is system coupling ring schematic diagram in embodiment 1;
Fig. 8 is directed acyclic graph schematic diagram in embodiment 1.
Embodiment
In order to make the purpose , technical scheme and advantage of the present invention be clearer, with reference to the accompanying drawings and embodiments, it is right The present invention is further elaborated.It should be appreciated that the specific embodiments described herein are merely illustrative of the present invention, and It is not used in the restriction present invention.As long as in addition, technical characteristic involved in each embodiment of invention described below Not forming conflict each other can be mutually combined.
Embodiment 1
The first step:Required according to product design, establish multidisciplinary coupling model, which is made of 4 subjects, it is learned Section's expression formula is defined as follows:
Subject 1:y1=x2
Subject 2:
Subject 3:
Subject 4:y4=y3
Wherein, Y={ y1,y2,y3It is coupling variable;X={ x1,x2,x3It is design variable.
Second step:Above-mentioned all subjects are loaded into expression formula component respectively, and carry out variable mappings, are established between component Positive connection and feedback link;
3rd step:The component list is established, the corresponding component 1-4 of subject 1-4 are stored in the component list;Establish at the same time List is connected, by positive connection all between subject and feedback link deposit connection list, the connection stored includes learning The output variable y of section 11To the input variable y of subject 21Corresponding positive connection, the output variable y of subject 22To subject 3 Input variable y2Corresponding positive connection, the output variable y of subject 33To the input variable y of subject 23Corresponding feedback connects Connect, and the output variable y of subject 33To the input variable y of subject 43Corresponding positive connection, as shown in figure 3, wherein solid line Represent positive connection, dotted line represents feedback link;
4th step:Traverse component list, obtains the corresponding component of each subject, and generates corresponding vertex, and subject 1 is right Answer vertex 1,2 corresponding vertex 2 of subject, 3 corresponding vertex 3 of subject, 4 corresponding vertex 4 of subject;Connection list is traveled through at the same time, obtains institute Some connections generate corresponding directed edge, and the directed edge generated has the positive directed edge on connection vertex 1 to vertex 2, even The positive directed edge on vertex 2 to vertex 3 is connect, connects the directed edge of the negative sense on vertex 3 to vertex 2, connects vertex 3 to vertex 4 Positive directed edge;As vertex 1 to the vertex 4 corresponding to each subject, and corresponding to all positive connections and feedback link Directed edge construct the graph data structure for corresponding to computation model jointly, as shown in Figure 4;
5th step:Strong unicom component is identified in the graph data structure that the 4th step is established, the strong continune component identified As shown in Figure 5;Component 1 corresponding to vertex 1 is stored in chained list 1, by corresponding to the vertex 2 and vertex 3 in strong unicom component Component 2 and component 3 are stored in chained list 2, the component 4 corresponding to vertex 4 are stored in chained list 3, as shown in Figure 6;Between chained list only at this time There are dependence, that is, only exists positive connection, there is no feedback link;
6th step:Dependence order according to chained list is ranked up chained list, and establishes double linked list and preserve the according to the sequence All chained lists established in five steps;
7th step:The assignment of given design variable, i.e. x1=1, x2=1, x3=1, according to the chain list sorting in the 4th step according to Secondary acquisition chained list;
(1) chained list 1 is obtained, the component count that chained list 1 stores is 1, illustrates no strong unicom component;Then it is directed to current chained list The component 1 of storage carries out computing, obtains output valve y1=x2=1;
(2) chained list 2 is obtained, component 2 and component 3 are obtained from chained list 2, since number of components is not 1, illustrates there is strong unicom Component;The identifying system coupling ring in the very big strong unicom subgraph corresponding to chained list 2, a system is have identified for the chained list Coupling ring, including vertex 2, the positive directed edge on vertex 2 to vertex 3, vertex 3, vertex 3 to vertex 2 negative sense directed edge, As shown in Figure 7;
(3) the system coupling ring in step (2) is torn, removes the directed edge corresponding to feedback link, i.e. vertex 3 To the directed edge of the negative sense on vertex 2, by the corresponding greatly strong unicom subgraph transformation of the strong continune component identified in step (2) For directed acyclic graph, the directed acyclic graph generated is as shown in Figure 8;
(4) directed acyclic graph generated in search step (3), only exists the positive side on vertex 2 to vertex 3 at this time, There is no reverse side;Resequence according to the component corresponding to the direction opposite vertexes on positive side, obtaining new component priority order is Vertex 2 to vertex 3, and system coupling ring is numbered sequentially in directed acyclic graph according to this, that is, record vertex 2 and vertex System coupling ring where 3 is the 1st system coupling ring;
(5) according to the numbering of system coupling ring in step (4), recognize the 1st system coupling ring and contain vertex 2 and vertex 3, since the direction on the side between vertex 2 and vertex 3 is to be directed toward vertex 3 from vertex 2 at this time, therefore it may determine that the side on the side of negative sense To being to be directed toward vertex 2 from vertex 3, therefore the input variable that iteration is used is determined as y '3With the former input y of substitution3And it is directed toward vertex 2 Corresponding component 2;
(6) construct as follows with the strong corresponding nonlinear equation of unicom component:
Wherein, y1With y '3It is the input variable of component 2, y1Value be equal to component 1 result of calculation, y2It is the defeated of component 2 Go out variable, y3It is the output variable of component 3;
(7) to the y ' in step (6)3Initial input value is assigned, in y '3Pass through first time equation solution when=1, for y1 =1, x1=1, x3=1, obtain y3=3.67;
(8) using Minpack iterative calculation kits, according to by y '3=1 and y3=3.67 are calculated y '3New tax Value;And return to step (7), by y '3New assignment substitutes into nonlinear equation and carries out new solution;
(9) repeat step (7) (8), until nonlinear equation is restrained, i.e. y3≈y′3, obtain the knot of the solution of current chained list Fruit is y3=3.51;
8th step:Chained list 3 is obtained, component 4 is obtained from chained list 3, due to there was only a component, illustrates no strong unicom point Amount, then carry out the computing of component 4, obtain output valve y4=y3=3.51;
9th step:All chained lists are disposed in double linked list, and the processing of multidisciplinary coupling model terminates;
Tenth step:The output valve of each component obtained to handling the model, i.e.,:y1=1,y4=y3=3.51 are verified, it was demonstrated that meet design object and the constraint of product Condition, multidisciplinary optimization flow terminate.
As it will be easily appreciated by one skilled in the art that the foregoing is merely illustrative of the preferred embodiments of the present invention, not to The limitation present invention, all any modification, equivalent and improvement made within the spirit and principles of the invention etc., should all include Within protection scope of the present invention.

Claims (3)

1. a kind of multidisciplinary design optimization subject decoupling method, it is characterised in that comprise the following steps:
The first step:According to the requirement of product design, multidisciplinary coupling model is established, is then closed according to the transmission of variable in model System, establishes the connection between component in model;
Second step:All component in multidisciplinary coupling model is converted into vertex, while according to the direction connected between component, All connections between component are converted to directed edge;All vertex and directed edge collectively form graph data structure;
3rd step:Greatly strong unicom subgraph is identified in the graph data structure established;To corresponding to very big strong unicom subgraph Strong unicom component, and the component being not belonging to corresponding to the single vertex of greatly strong unicom subgraph all create corresponding chained list, point Other all component to strong unicom component and it is not belonging to the single component of strong continune component and stores;
4th step:Dependence according to chained list is ranked up chained list;
5th step:The assignment of design variable is provided, according to the linked list order established in the 4th step, since first chained list successively Chained list is handled, until last chained list is disposed;
In processing procedure, when the component count of current storage of linked list is 1, then direct computing current component, obtains handling result, group Number of packages amount then carries out the computing of strong unicom component when being more than 1;
6th step:Whether verification processing result meets the design object and constraints of product, meets then multidisciplinary design optimization Terminate, otherwise return to the 5th step;
The calculating process of strong unicom component is as follows described in 5th step:
(1) all system coupling rings are identified in the corresponding greatly strong unicom subgraph of current chained list, and is connected using feedback is removed The mode of connecing is torn, and very big strong unicom subgraph is changed into directed acyclic graph;
(2) according to the closure between the component of current storage of linked list, sort to component, and to original in directed acyclic graph System coupling ring be numbered;
(3) according to component priority order, construction and the corresponding nonlinear equation of above-mentioned strong unicom component;
(4) it is corresponding to directed edge in original system coupling ring anti-according to the numbering of the obtained system coupling ring of step (2) The pointed all component of feedback connection assigns initial input value, and the nonlinear equation established based on step (3) is iterated Solve, until nonlinear equation is restrained, obtain handling result.
2. multidisciplinary design optimization subject decoupling method as claimed in claim 1, it is characterised in that the specific method of second step It is as follows:Establish the component list, store all component in multidisciplinary coupling model, while establish connection list, storage assembly it Between connection and the module information that is connected;Traverse component list, obtains all component and generates the top corresponding to each component Point, while connection list is traveled through, the information of all connections and the component connected is obtained, according to the direction of connection, generation one Bar directed edge, to connect the vertex corresponding to each component;All vertex and directed edge collectively form graph data structure.
3. multidisciplinary design optimization subject decoupling method as claimed in claim 1, it is characterised in that the computing of strong unicom component The step of (4) be specially:
S1:According to the numbering of the obtained system coupling ring of step (2), to the corresponding feedback link of directed edge in system coupling ring Pointed all component assigns input value, substitutes into the nonlinear equation that step (3) obtains and is solved, obtains system coupling ring The output valve of the pointed all component of the corresponding positive connection of middle directed edge;
S2:Whether more above-mentioned input value and output valve simultaneously judge that current iteration calculates and restrain, and calculate and terminate if convergence, obtain Handling result;Otherwise reset input value and return to S1.
CN201510437444.6A 2015-07-23 2015-07-23 A kind of multidisciplinary design optimization subject decoupling method Expired - Fee Related CN104978467B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201510437444.6A CN104978467B (en) 2015-07-23 2015-07-23 A kind of multidisciplinary design optimization subject decoupling method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201510437444.6A CN104978467B (en) 2015-07-23 2015-07-23 A kind of multidisciplinary design optimization subject decoupling method

Publications (2)

Publication Number Publication Date
CN104978467A CN104978467A (en) 2015-10-14
CN104978467B true CN104978467B (en) 2018-04-20

Family

ID=54274970

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201510437444.6A Expired - Fee Related CN104978467B (en) 2015-07-23 2015-07-23 A kind of multidisciplinary design optimization subject decoupling method

Country Status (1)

Country Link
CN (1) CN104978467B (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108647720A (en) * 2018-05-10 2018-10-12 上海扩博智能技术有限公司 Iterative cycles recognition methods, system, equipment and the storage medium of commodity image

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101916458A (en) * 2010-09-10 2010-12-15 湖南大学 Multi-scale estimation predication method of geographic model
CN103500250A (en) * 2013-09-26 2014-01-08 浙江大学 Automatic layout method for digraph created GMF graph editor

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8239404B2 (en) * 2010-06-10 2012-08-07 Microsoft Corporation Identifying entries and exits of strongly connected components

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101916458A (en) * 2010-09-10 2010-12-15 湖南大学 Multi-scale estimation predication method of geographic model
CN103500250A (en) * 2013-09-26 2014-01-08 浙江大学 Automatic layout method for digraph created GMF graph editor

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
多领域物理系统混合建模平台开发;吴义忠 等;《计算机辅助设计与图形学学报》;20060131;第18卷(第1期);第120-124页 *

Also Published As

Publication number Publication date
CN104978467A (en) 2015-10-14

Similar Documents

Publication Publication Date Title
Zhao et al. Adaptive backstepping sliding mode control for leader–follower multi-agent systems
Ulusoy et al. Optimal multi-robot path planning with temporal logic constraints
Ezpeleta et al. Automatic synthesis of colored Petri nets for the control of FMS
CN101753369A (en) Method and device for detecting firewall rule conflict
CN104915717A (en) Data processing method, knowledge base reasoning method and related device
Arenas et al. Exchanging description logic knowledge bases
CN111445186B (en) Petri network theory-based vehicle path optimization method with time window
CN102420771A (en) Method for increasing concurrent transmission control protocol (TCP) connection speed in high-speed network environment
CN104978467B (en) A kind of multidisciplinary design optimization subject decoupling method
Ren et al. Cbss: A new approach for multiagent combinatorial path finding
CN105745878B (en) Net control device, network control method and storage medium
Rosen Asymptotic theory for successive sampling with varying probabilities without replacement, II
Gora et al. Investigating performance of neural networks and gradient boosting models approximating microscopic traffic simulations in traffic optimization tasks
Lindroth et al. Pure categorical optimization: a global descent approach
Kuželka et al. Hifi: Tractable propositionalization through hierarchical feature construction
CN110175197B (en) Ontology construction method and system based on semantic Internet of things
Qu et al. Finite‐time parameter identification of fractional‐order uncertain coupling recurrent neural networks based on synchronization
CN106383863A (en) Isomorphic sub-graph query optimization method
Chandru et al. Qualitative theorem proving in linear constraints
CN108804273A (en) A kind of method that the logic of modality is converted into state transition system
Anders et al. Comparative design-choice analysis of color refinement algorithms beyond the worst case
CN108875208A (en) Multi-body Satellite dynamic system calculation method and system based on set membership iteration
CN103152201B (en) Verifying method of logic function block topology correctness in ForCES (forwarding and control element separation) system
CN107515824A (en) A kind of construction system Symbolic Model Checking method based on variable partitions
Li et al. Interface generation technology based on Concur Task Tree

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
CF01 Termination of patent right due to non-payment of annual fee
CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20180420

Termination date: 20190723