CN104679945B - System comprehensive estimation method based on colored Petri network - Google Patents
System comprehensive estimation method based on colored Petri network Download PDFInfo
- Publication number
- CN104679945B CN104679945B CN201510051688.0A CN201510051688A CN104679945B CN 104679945 B CN104679945 B CN 104679945B CN 201510051688 A CN201510051688 A CN 201510051688A CN 104679945 B CN104679945 B CN 104679945B
- Authority
- CN
- China
- Prior art keywords
- msub
- mrow
- tokken
- place
- value
- 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
Links
- 238000000034 method Methods 0.000 title claims abstract description 29
- 238000013461 design Methods 0.000 claims abstract description 19
- 230000000875 corresponding effect Effects 0.000 claims description 27
- 230000007704 transition Effects 0.000 claims description 24
- 239000003086 colorant Substances 0.000 claims description 11
- 238000012360 testing method Methods 0.000 claims description 8
- 238000012545 processing Methods 0.000 claims description 6
- 238000004364 calculation method Methods 0.000 claims description 3
- 238000002955 isolation Methods 0.000 claims description 3
- 238000005259 measurement Methods 0.000 claims description 3
- 238000012795 verification Methods 0.000 claims description 3
- 230000015572 biosynthetic process Effects 0.000 abstract description 12
- 238000003786 synthesis reaction Methods 0.000 abstract description 12
- 230000008569 process Effects 0.000 abstract description 2
- 125000004122 cyclic group Chemical group 0.000 abstract 1
- 238000012913 prioritisation Methods 0.000 description 4
- 238000004458 analytical method Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 238000011156 evaluation Methods 0.000 description 3
- 238000012854 evaluation process Methods 0.000 description 3
- 230000010354 integration Effects 0.000 description 3
- 238000011161 development Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 230000007246 mechanism Effects 0.000 description 2
- 206010068052 Mosaicism Diseases 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000004927 fusion Effects 0.000 description 1
- 210000003765 sex chromosome Anatomy 0.000 description 1
- 230000001360 synchronised effect Effects 0.000 description 1
- 230000001960 triggered effect Effects 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention discloses a kind of system comprehensive estimation method based on colored Petri network, carry out still suffering from " two skins " phenomenon between four property when four property are assessed for complication system, first define a kind of new comprehensive assessment system, establish four property integrated synthesis assessment models of the system, secondly, using the powerful descriptive power of colored Petri network, four character states of complication system are divided into three classes:Availability(Reliability, maintainability), testability and security, while giving this three classes state to be dyed, the Tokken that availability is represented in Petri network is defined as yellow;The Tokken for representing security is defined as blueness;The Tokken for representing testability is defined as purple, finally, and the comprehensive assessment for completing complication system using four property integrated synthesis assessment models of foundation and four property colored Petri networks works, while the present invention is the cyclic process of design and assessment.System comprehensive estimation method proposed by the present invention based on colored Petri network effectively solves " isolating " problem of current four property.
Description
Technical field
The present invention relates to the property integrated synthesis appraisal procedure of the four of Complex System in Development Testing Program field, more particularly to a kind of base
In the system comprehensive estimation method of colored Petri network.
Background technology
With the continuous progress of science and technology, the continuous fusion between each subject, especially in computerized information, intelligent control
With the field such as equipment manufacturing, a large amount of multi-functional complication systems are formd.Meanwhile, with emerging in multitude for complication system, for
The reliability of complication system, maintainability, the comprehensive assessment problem of testability and security are also following, i.e., how to allow system
The combination properties such as reliability, maintainability, testability and security are very high, then need to understand four character state feelings of complication system constantly
Condition, is adjusted to the design parameter of system, and then generates the problem of four property integrated synthesis are assessed.It is domestic for multiple at present
The problem of miscellaneous property of system four is assessed, also only rests on the assessment of single attribute, it is impossible to the synthetic relationship set up between four property and comprehensive
Set between matched moulds type, it is impossible to the design between the property of choosing comprehensively four, i.e., four property still in " isolating " state and four property with product
There is " two skins " phenomenon in meter.However, four good character states are to ensure that complication system is more efficient, more economical work premise,
Therefore, it is necessary to which solving the property of current design four " isolates " problem, four property integrated synthesis models of complication system are set up, are realized complicated
Four property integrated synthesis Parallel Designs of system are with assessing.
Petri net model method is as a kind of mathematics and the descriptive analysis instrument of figure, and it is directly perceived, vivid to have the advantages that,
Situations such as can be very good to describe common synchronous, concurrent, distribution, conflict and resource-sharing in complication system, use extensively
In fields such as various flexible manufacturing systems.Petri network has just occurred in that a lot of other type Petri networks since the generation, such as random
Petri network, Time Petri Nets and colored Petri network etc., wherein colored Petri network can be to the development stages of complication system
Task is classified and dyed, and has powerful descriptive power to complication system.Due to four character states of complication system be not with
Time change, therefore dynamically represent using visual modeling tool colored Petri network the restructural characteristic of complication system,
And then integrated synthesis assessment is carried out to its four characters state.
For Complex System Reliability, maintainability, testability and safety evaluation exist can not choosing comprehensively, Wu Fayi
" isolating " problem of body comprehensive assessment, the present invention is classified and dyed to four property of complication system using colored Petri network,
Four property design parameters are carried out choosing comprehensively by the synthetic relationship and collective model set up between each attribute, are finally completed whole
The four property Parallel Designs and evaluation process of complication system, i.e. design-assessment-adjusted design-cyclic process reevaluated.This
The property integrated synthesis of complication system four appraisal procedure based on colored Petri network that invention is proposed can effectively solve current product
Four property " isolating " and " two skins " problem in design, set up four property integrated synthesis models of complication system, and system is understood in real time
Four residing character states of system, complete to carry out whole system choosing comprehensively design and the work assessed, improve system evaluation
Accuracy and real-time.
The content of the invention
The technical problems to be solved by the invention are to be directed to defect involved in background technology there is provided one kind based on coloured
The system comprehensive estimation method of Petri network, with solve in the prior art complication system can not choosing comprehensively, can not set up four property it
Between synthetic relationship and collective model and then the problem of be difficult to comprehensive assessment and Parallel Design.
The present invention uses following technical scheme to solve above-mentioned technical problem:
System comprehensive estimation method based on colored Petri network, comprises the following steps:
Step 1), it is reliability, maintainability, testability and safety information by the corresponding four property information of each part in system
It is input in Petri network database, is given to the Tokken in corresponding component place, and its color is set to black;
The Tokken includes numerical value, time and attribute, wherein, numerical value is four property parameter values of the part, and the time is part
The Stage Value of residing life cycle, attribute is safety label;
Step 2), the initial marking of whole Petri network is set;
Step 3), initial trigger place is set, its dynamic Tokken accordingly is assigned, and set input, output and trigger
Condition;
The dynamic Tokken is used to collect processing Tokken information and transmitted to next place, includes time parameter sum
Group, wherein, time parameter is the Stage Value of life cycle residing for part, and array is used for four property for storing the Tokken for collecting processing
Value;
Step 4), the initial transition of triggering;
Step 5), availability, loss probability and the testability value of computing system, return to final result of calculation to most respectively
Dynamic Tokken in latter place;
Step 6), the dynamic Tokken in last place produces three kinds of colors and moves Tokken:For the yellow of availability
Dynamic Tokken, the blueness for security move Tokken and the purple for testability moves Tokken, and pass to corresponding next stage
Place;
Three kinds of colors move availability, loss probability and the test that Tokken carries corresponding return value, i.e. system respectively
Property value;
Step 7), judge whether availability, loss probability and the testability value of system meet each set in advance respectively
Three kinds of colors, if all met, are moved Tokken and are delivered separately to corresponding next place, perform step 8 by threshold range);
Otherwise the desired value for being unsatisfactory for threshold range set in advance is ranked up, distinguished according to the ranking results of output
The design parameter of corresponding component is adjusted, step 1 is re-executed);
Step 8), calculate the Feasible degree of whole system;
Step 9), judge the Feasible degree V of systems(t) whether it is more than lowest possible degree threshold value set in advance, if it is,
Turn to and perform step 12), otherwise continue executing with step 10);
Step 10), red early warning is sent, and output result is ranked up to the index of four property;
Step 11), the availability and security of system are compared, and the property of performance relative mistake is ranked up,
And the design parameter of each part corresponding properties is adjusted according to ranking results, re-execute step 1);
Step 12), the Feasible degree of output system and corresponding four property desired value.
It is used as system comprehensive estimation method further prioritization scheme of the present invention based on colored Petri network, the step
5) comprising the following steps that for system availability is calculated in:
Step 5.A1), judge whether current transition meet trigger condition, step 5.A2 is continued executing with if met), it is no
Then, computing system availability is terminated;
Step 5.A2), the dynamic Tokken of initial place is delivered to next place, and will be held in the palm in next place by transition triggering
The availability parameters value for agreeing to carry is put into the array of dynamic Tokken;
Step 5.A3), whether be last part place, if it is, available in Tokken array to moving if judging current place
Property parameter value calculated according to the model of foundation, current will calculate obtained by system availability value Vs(t) current place is assigned
Dynamic Tokken, then perform step 5.A4), otherwise re-execute step 5.A1);
Step 5.A4), return can use angle value Vs(t)。
It is used as system comprehensive estimation method further prioritization scheme of the present invention based on colored Petri network, the step
5) comprising the following steps that for system loss probability is calculated in:
Step 5.B1), judge whether current transition meet trigger condition, if it is, continuing executing with step 5.B2), otherwise
Terminate computing system loss probability;
Step 5.B2), the property value according to entrained by Tokken in current place judges whether the place is security-related
Serious part place, if it is, performing step 5.B3), otherwise, the value for keeping current dynamic Tokken to carry is constant, turns to and performs
Step 5.B5);
Step 5.B3), judge whether current transition meet trigger condition, step 5.B4 is continued executing with if met), it is no
Then, computing system loss probability is terminated;
Step 5.B4), the dynamic Tokken of initial place is delivered to next place, and will be held in the palm in next place by transition triggering
The loss probability value for agreeing to carry is put into the array of current dynamic Tokken, is then passed to next place;
Step 5.B5), whether be part last place, if it is, being pressed to the value in security array if judging current place
Security model according to foundation is just calculated, by the system loss probable value S obtained by current calculatesAssign the dynamic support of current place
Agree, then perform step 5.B6), otherwise, turn to step 5.B2);
Step 5.B6), return to the system loss probability S that the dynamic Tokken of current place is carrieds。
It is used as system comprehensive estimation method further prioritization scheme of the present invention based on colored Petri network, the step
5) comprising the following steps that for system testing value is calculated in:
Step 5.C1), judge whether current transition meet trigger condition, step 3.C2 is continued executing with if met), it is no
Then, computing system testability value is terminated;
Step 5.C2), the dynamic Tokken of initial place is delivered to next place, and will be held in the palm in next place by transition triggering
The testability parameter value for agreeing to carry is put into the array of dynamic Tokken;
Step 5.C3), whether be final part place, if it is, being pressed to the value in testability array if judging current place
Calculated according to the model of foundation, by the system testing value obtained by current calculateAssign the dynamic Tokken of current place and then hold
Row step 5.C4), otherwise, turn to step 5.C1);
Step 5.C4), the testability value of return system
It is used as system comprehensive estimation method further prioritization scheme of the present invention based on colored Petri network, the step
8) detailed step is as follows:
Step 8.1), according to the Feasible degree that all parts are calculated with drag:
Vi(t)=Ai(∞)·FDRi·FIRi·(1-FARi)·(1-Si)
In formula, Vi(t) it is Feasible degree of i-th of part in moment t, Ai(∞) is the Steady temperature field of part, SiFor portion
The loss probability of part;FDRi、FIRi、FARiRespectively the verification and measurement ratio of part, isolation rate and
False alarm rate;
Step 8.2), according to the Feasible degree that whole system is calculated with drag:
In formula, Vs(t) it is availability of the system in moment t;N is the number of system unit;A(∞)sFor the feasible of system
Degree;MTBFsFor the MTBF of system;MTTRsFor the MTTR of system;Join for the testability of system
Number;SsFor the loss probability of system;A0It is the minimum requirements of system availability;It is the minimum requirements of testability value;S0It is loss
The maximum requirement of probability;J is the number of security-related serious part.
The Feasible degree model of foundation is applicable the systems such as common series and parallel, other connection and voting, in the application model,
The concrete structure type according to complication system is needed, by the usability model in model, testability model and security model
Embodied, with the system for being applicable different structure.
The present invention uses above technical scheme compared with prior art, with following technique effect:
1. the present invention combines reliability, maintainability, testability, four attribute such as security, the integration of four property is established
Collective model, the model can carry out choosing comprehensively analysis to four property of complication system and integrated synthesis is assessed, and understands in real time
The state of system, efficiently solves " isolating " problem in current product design between four property and eliminates four property and product design
Between " two skins " phenomenon;
2. the present invention is using the powerful descriptive power of colored Petri network, by four sex chromosome mosaicisms respectively with the Tokken of three kinds of colors
To represent, problem is become apparent from, modeling is more prone to, carry out integrated synthesis and assess more convenient;
3. the four property integrated synthesis appraisal procedures that the present invention is provided, the efficiency and system for improving whole system assessment is whole
The accuracy of body state;
4. the system that modeling procedure and appraisal procedure proposed by the invention is not only applicable to different structure, this method is same
Multiple attributes can be extended to, therefore this method has good applicability and expansion.
Brief description of the drawings
Fig. 1 is the schematic flow sheet of the present invention;
Fig. 2 is the layer of structure and functional hierarchy corresponding relation of certain function system;
Fig. 3 is the task model block diagram of certain function system;
Fig. 4 is the Petri net model of certain function system.
Embodiment
Technical scheme is described in further detail below in conjunction with the accompanying drawings:
As shown in figure 1, the invention discloses a kind of system comprehensive estimation method based on colored Petri network, including it is as follows
Step:
Step 1), it is reliability, maintainability, testability and safety information by the corresponding four property information of each part in system
It is input in Petri network database, is given to the Tokken in corresponding component place, and its color is set to black;
The Tokken includes numerical value, time and attribute, wherein, numerical value is four property parameter values of the part, and the time is part
The Stage Value of residing life cycle, attribute is safety label;
Step 2), the initial marking of whole Petri network is set;
Step 3), initial trigger place is set, its dynamic Tokken accordingly is assigned, and set input, output and trigger
Condition;
The dynamic Tokken is used to collect processing Tokken information and transmitted to next place, includes time parameter sum
Group, wherein, time parameter is the Stage Value of life cycle residing for part, and array is used for four property for storing the Tokken for collecting processing
Value;
Step 4), the initial transition of triggering;
Step 5), availability, loss probability and the testability value of computing system, return to final result of calculation to most respectively
Dynamic Tokken in latter place;
Step 6), the dynamic Tokken in last place produces three kinds of colors and moves Tokken:For the yellow of availability
Dynamic Tokken, the blueness for security move Tokken and the purple for testability moves Tokken, and pass to corresponding next stage
Place;
Three kinds of colors move availability, loss probability and the test that Tokken carries corresponding return value, i.e. system respectively
Property value;
Step 7), judge whether availability, loss probability and the testability value of system meet each set in advance respectively
Three kinds of colors, if all met, are moved Tokken and are delivered separately to corresponding next place, perform step 8 by threshold range);
Otherwise the desired value for being unsatisfactory for threshold range set in advance is ranked up, distinguished according to the ranking results of output
The design parameter of corresponding component is adjusted, step 1 is re-executed);
Step 8), calculate the Feasible degree of whole system;
Step 9), judge the Feasible degree V of systems(t) whether it is more than lowest possible degree threshold value set in advance, if it is,
Turn to and perform step 12), otherwise continue executing with step 10);
Step 10), red early warning is sent, and output result is ranked up to the index of four property;
Step 11), the availability and security of system are compared, and the property of performance relative mistake is ranked up,
And the design parameter of each part corresponding properties is adjusted according to ranking results, re-execute step 1);
Step 12), the Feasible degree of output system and corresponding four property desired value.
The step 5) in calculate system availability and comprise the following steps that:
Step 5.A1), judge whether current transition meet trigger condition, step 5.A2 is continued executing with if met), it is no
Then, computing system availability is terminated;
Step 5.A2), the dynamic Tokken of initial place is delivered to next place, and will be held in the palm in next place by transition triggering
The availability parameters value for agreeing to carry is put into the array of dynamic Tokken;
Step 5.A3), whether be last part place, if it is, available in Tokken array to moving if judging current place
Property parameter value calculated according to the model of foundation, current will calculate obtained by system availability value Vs(t) current place is assigned
Dynamic Tokken, then perform step 5.A4), otherwise re-execute step 5.A1);
Step 5.A4), return can use angle value Vs(t)。
The step 5) in calculate system loss probability and comprise the following steps that:
Step 5.B1), judge whether current transition meet trigger condition, if it is, continuing executing with step 5.B2), otherwise
Terminate computing system loss probability;
Step 5.B2), the property value according to entrained by Tokken in current place judges whether the place is security-related
Serious part place, if it is, performing step 5.B3), otherwise, the value for keeping current dynamic Tokken to carry is constant, turns to and performs
Step 5.B5);
Step 5.B3), judge whether current transition meet trigger condition, step 5.B4 is continued executing with if met), it is no
Then, computing system loss probability is terminated;
Step 5.B4), the dynamic Tokken of initial place is delivered to next place, and will be held in the palm in next place by transition triggering
The loss probability value for agreeing to carry is put into the array of current dynamic Tokken, is then passed to next place;
Step 5.B5), whether be part last place, if it is, being pressed to the value in security array if judging current place
Security model according to foundation is just calculated, by the system loss probable value S obtained by current calculatesAssign the dynamic support of current place
Agree, then perform step 5.B6), otherwise, turn to step 5.B2);
Step 5.B6), return to the system loss probability S that the dynamic Tokken of current place is carrieds。
The step 5) in calculate system testing value and comprise the following steps that:
Step 5.C1), judge whether current transition meet trigger condition, step 3.C2 is continued executing with if met), it is no
Then, computing system testability value is terminated;
Step 5.C2), the dynamic Tokken of initial place is delivered to next place, and will be held in the palm in next place by transition triggering
The testability parameter value for agreeing to carry is put into the array of dynamic Tokken;
Step 5.C3), whether be final part place, if it is, being pressed to the value in testability array if judging current place
Calculated according to the model of foundation, by the system testing value obtained by current calculateAssign the dynamic Tokken of current place and then hold
Row step 5.C4), otherwise, turn to step 5.C1);
Step 5.C4), the testability value of return system
The step 8) detailed step it is as follows:
Step 8.1), according to the Feasible degree that all parts are calculated with drag:
Vi(t)=Ai(∞)·FDRi·FIRi·(1-FARi)·(1-Si)
In formula, Vi(t) it is Feasible degree of i-th of part in moment t, Ai(∞) is the Steady temperature field of part, SiFor portion
The loss probability of part;FDRi、FIRi、FARiRespectively the verification and measurement ratio of part, isolation rate and
False alarm rate;
Step 8.2), according to the Feasible degree that whole system is calculated with drag:
In formula, Vs(t) it is availability of the system in moment t;N is the number of system unit;A(∞)sFor the feasible of system
Degree;MTBFsFor the MTBF of system;MTTRsFor the MTTR of system;Join for the testability of system
Number;SsFor the loss probability of system;A0It is the minimum requirements of system availability;It is the minimum requirements of testability value;S0It is loss
The maximum requirement of probability;J is the number of security-related serious part.
Below by taking certain function system as an example:
Certain function system is by suction mechanism decelerator, motor A components, air-breathing door shaft structure, air-breathing crust component, suction
Pneumatic module, exhaust gear decelerator, motor B components, exhaust valve door shaft structure, exhaust valve crust component, gas deflation assembly etc.
Ten parts are constituted.The layer of structure of the function system is with functional hierarchy corresponding relation as shown in Fig. 2 analysis can obtain whole function series
The task model block diagram of system is as shown in Figure 3.
Assuming that the availability lowest threshold requirement distributed in advance in the R&D contract of the function system is 0.90, testability value
Lowest threshold requirement is 0.83, and the lowest threshold requirement of loss probability is 0.08, and Feasible degree minimum requirements is 0.65.In addition, certain
Four property essential informations of one moment each part are as shown in table 1.
The property essential information of table 1 four
Based on JAVA platforms, according to step 1)~step 3), four property information in table 1 are input in Petri databases,
It is modeled with PIPE towards the function system, then the Petri net model of the function system is as shown in Figure 4.
P0 is initial place in Fig. 4, and 10 parts of the place P1~P10 respectively with system are corresponding, and place P11~P32 is
Four property integration evaluation process, wherein place P23 represents the assessment result of availability, you can by property and maintainability comprehensive assessment,
Place P32 represents testability assessment result, and P27 represents safety evaluation result, and P29 represents the comprehensive assessment of four property integration,
That is the assessment result of feasibility.During comprehensive assessment, P10 needs to assign the result of availability, testability and security not respectively
With " the dynamic Tokken " of color, and it is delivered separately to place P13, P12, P11.Availability place P13 obtain yellow move Tokken when,
Need to assess whether availability reaches requirement, require to continue Tokken passing to place P18 if met, otherwise will produce red
Color moves Tokken along place P19 to P23.Testability place P12 and security place P11 situation are similar with place P13 situation.
The determination strategy of the figure is:
1) in place P29, P23, P27 and P32, if having in only place P29 a green move Tokken when, represent this
When the function system four property indexs all meet the requirements, the property index of function system four and overall target --- Feasible degree compares
It is good.
2) in place P29, P23, P27 and P32, when such as place P23 has Tokken, it is divided to two classes
A classes:There is a red Tokken in P23 places, represent the availability not up to minimum requirements of the function system;
B classes:There are a red Tokken and a yellow Tokken in P23 places, the availability for representing the function system reaches
It is required that, but cause Feasible degree to be not up to requirement because the value of availability is relatively relatively low.Place P27 situation is similar with P23.
When having a red Tokken in place P32, the testability index for representing the function system is not up to requirement.
By the emulation of Petri network, by step 5) availability of the function system, loss probability and testability value are calculated,
Then the availability of the function system is:
The testability value of systemFor:
The loss probability of system is:
Place P13, P12 and P11 will occur yellow, purple and the dynamic Tokken of blueness respectively in Fig. 4, by step 6) and step
7) judgement understands that availability, loss probability and the testability value of system all meet the requirements, then the dynamic Tokken of three kinds of colors will divide
Supplementary biography passs place P18, P15 and P17, then by step 8) calculate the Feasible degree of the function system, i.e.,
The Feasible degree of system is:
By step 9) know that the Feasible degree of the function system meets the threshold requirement of system, now place P29 will appear from green
Dynamic Tokken, then directly to step 12), Feasible degree now and each four property desired value are exported, whole evaluation process is completed.
If the minimum requirements of the availability of the function system is 0.95, know that the availability of now system is undesirable,
Then by step 6) and step 7) know, now place P16 will appear from red Tokken, and be triggered along path P 16-P19-P23, final storehouse
Occur red Tokken in institute P23, represent now system availability and be unsatisfactory for requiring, and export ranking results and be:
P8<P3<P10<P6<P1<P5<P9<P4<P7<P2。
It can learn that the available angle value for the part that place P8, P3 and P10 are represented is relatively low from ranking results, i.e. exhaust valve door
The availability of axis mechanism, air-breathing door door shaft structure and gas deflation assembly is relatively low, so when being designed to the function system, can
The preferential equipment low to these availabilities is improved design or changed, and by step 7) turn to step 1) emulate again, directly
Whole four property index system all meets requirement.This method can quickly improve the overall four property performances of the function system and feasible
Degree, has good practicality and accuracy in real work.
Claims (5)
1. the system comprehensive estimation method based on colored Petri network, it is characterised in that comprise the following steps:
Step 1), it is that reliability, maintainability, testability and safety information are inputted by the corresponding four property information of each part in system
Into Petri network database, the Tokken in corresponding component place is given to, and its color is set to black;
The Tokken includes numerical value, time and attribute, wherein, numerical value is four property parameter values of the part, and the time is residing for part
The Stage Value of life cycle, attribute is safety label;
Step 2), the initial marking of whole Petri network is set;
Step 3), initial trigger place is set, its dynamic Tokken accordingly is assigned, and set input, output and trigger condition;
The dynamic Tokken is used to collecting processing Tokken information and to be transmitted to next place, comprising time parameter and array, its
In, time parameter is the Stage Value of life cycle residing for part, and array is used for the four property values for storing the Tokken for collecting processing;
Step 4), the initial transition of triggering;
Step 5), availability, loss probability and the testability value of computing system, return to final result of calculation and arrive last respectively
Dynamic Tokken in individual place;
Step 6), the dynamic Tokken in last place produces three kinds of colors and moves Tokken:Yellow for availability moves support
Agree, the dynamic Tokken of blueness for security and the purple for testability move Tokken, and pass to corresponding next stage place;
Three kinds of colors move availability, loss probability and the testability value that Tokken carries corresponding return value, i.e. system respectively;
Step 7), judge whether availability, loss probability and the testability value of system meet respective threshold value set in advance respectively
Three kinds of colors, if all met, are moved Tokken and are delivered separately to corresponding next place, perform step 8 by scope);
Otherwise the desired value for being unsatisfactory for threshold range set in advance is ranked up, adjusted respectively according to the ranking results of output
The design parameter of corresponding component, re-executes step 1);
Step 8), calculate the Feasible degree of whole system;
Step 9), judge the Feasible degree V of systems(t) whether it is more than lowest possible degree threshold value set in advance, is held if it is, turning to
Row step 12), otherwise continue executing with step 10);
Step 10), red early warning is sent, and output result is ranked up to the index of four property;
Step 11), the availability and security of system are compared, and the property of performance relative mistake is ranked up, and root
The design parameter of each part corresponding properties is adjusted according to ranking results, step 1 is re-executed);
Step 12), the Feasible degree of output system and corresponding four property desired value.
2. the system comprehensive estimation method according to claim 1 based on colored Petri network, it is characterised in that the step
It is rapid 5) in calculate system availability and comprise the following steps that:
Step 5.A1), judge whether current transition meet trigger condition, step 5.A2 is continued executing with if met), otherwise, knot
Beam computing system availability;
Step 5.A2), the dynamic Tokken of initial place is delivered to next place, and Tokken in next place is taken by transition triggering
The availability parameters value of band is put into the array of dynamic Tokken;
Step 5.A3), whether be last part place, if it is, joining to the availability moved in Tokken array if judging current place
Numerical value is calculated according to the model of foundation, by the system availability value V obtained by current calculates(t) the dynamic of current place is assigned
Tokken, then performs step 5.A4), otherwise re-execute step 5.A1);
Step 5.A4), return can use angle value Vs(t)。
3. the system comprehensive estimation method according to claim 1 based on colored Petri network, it is characterised in that the step
It is rapid 5) in calculate system loss probability and comprise the following steps that:
Step 5.B1), judge whether current transition meet trigger condition, if it is, continuing executing with step 5.B2), otherwise terminate
Computing system loss probability;
Step 5.B2), the property value according to entrained by Tokken in current place judges whether the place is security-related tight
Heavy parts place, if it is, performing step 5.B3), otherwise, the value for keeping current dynamic Tokken to carry is constant, turns to and performs step
5.B5);
Step 5.B3), judge whether current transition meet trigger condition, step 5.B4 is continued executing with if met), otherwise, knot
Beam computing system loss probability;
Step 5.B4), the dynamic Tokken of initial place is delivered to next place, and Tokken in next place is taken by transition triggering
The loss probability value of band is put into the array of current dynamic Tokken, is then passed to next place;
Step 5.B5), whether be part last place, if it is, to the value in security array according to building if judging current place
Vertical security model is just calculated, by the system loss probable value S obtained by current calculatesThe dynamic Tokken of current place is assigned,
Then step 5.B6 is performed), otherwise, turn to step 5.B2);
Step 5.B6), return to the system loss probability S that the dynamic Tokken of current place is carrieds。
4. the system comprehensive estimation method according to claim 1 based on colored Petri network, it is characterised in that the step
It is rapid 5) in calculate system testing value and comprise the following steps that:
Step 5.C1), judge whether current transition meet trigger condition, step 3.C2 is continued executing with if met), otherwise, knot
Beam computing system testability value;
Step 5.C2), the dynamic Tokken of initial place is delivered to next place, and Tokken in next place is taken by transition triggering
The testability parameter value of band is put into the array of dynamic Tokken;
Step 5.C3), whether be final part place, if it is, to the value in testability array according to building if judging current place
Vertical model is calculated, by the system testing value obtained by current calculateAssign the dynamic Tokken of current place and then perform step
Rapid 5.C4), otherwise, turn to step 5.C1);
Step 5.C4), the testability value of return system
5. the system comprehensive estimation method according to claim 1 based on colored Petri network, it is characterised in that the step
Rapid detailed step 8) is as follows:
Step 8.1), according to the Feasible degree that all parts are calculated with drag:
<mrow>
<msub>
<mi>V</mi>
<mi>i</mi>
</msub>
<mrow>
<mo>(</mo>
<mi>t</mi>
<mo>)</mo>
</mrow>
<mo>=</mo>
<msub>
<mi>A</mi>
<mi>i</mi>
</msub>
<mrow>
<mo>(</mo>
<mi>&infin;</mi>
<mo>)</mo>
</mrow>
<mo>&CenterDot;</mo>
<mover>
<msub>
<mi>T</mi>
<mi>i</mi>
</msub>
<mo>~</mo>
</mover>
<mo>&CenterDot;</mo>
<mrow>
<mo>(</mo>
<mn>1</mn>
<mo>-</mo>
<msub>
<mi>S</mi>
<mi>i</mi>
</msub>
<mo>)</mo>
</mrow>
</mrow>
Vi(t)=Ai(∞)·FDRi·FIRi·(1-FARi)·(1-Si)
In formula, Vi(t) it is Feasible degree of i-th of part in moment t, Ai(∞) is the Steady temperature field of part, SiFor part
Loss probability;FDRi、FIRi、FARiThe respectively verification and measurement ratio of part, isolation rate and false-alarm
Rate;
Step 8.2), according to the Feasible degree that whole system is calculated with drag:
<mfenced open = "{" close = "">
<mtable>
<mtr>
<mtd>
<mrow>
<msub>
<mi>V</mi>
<mi>s</mi>
</msub>
<mrow>
<mo>(</mo>
<mi>t</mi>
<mo>)</mo>
</mrow>
<mo>=</mo>
<mi>A</mi>
<msub>
<mrow>
<mo>(</mo>
<mi>&infin;</mi>
<mo>)</mo>
</mrow>
<mi>s</mi>
</msub>
<mo>&CenterDot;</mo>
<mover>
<msub>
<mi>T</mi>
<mi>s</mi>
</msub>
<mo>~</mo>
</mover>
<mo>&CenterDot;</mo>
<mrow>
<mo>(</mo>
<mn>1</mn>
<mo>-</mo>
<msub>
<mi>S</mi>
<mi>s</mi>
</msub>
<mo>)</mo>
</mrow>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<mrow>
<mi>A</mi>
<msub>
<mrow>
<mo>(</mo>
<mi>&infin;</mi>
<mo>)</mo>
</mrow>
<mi>s</mi>
</msub>
<mo>></mo>
<msub>
<mi>A</mi>
<mn>0</mn>
</msub>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<mrow>
<mover>
<msub>
<mi>T</mi>
<mi>s</mi>
</msub>
<mo>~</mo>
</mover>
<mo>></mo>
<mover>
<msub>
<mi>T</mi>
<mn>0</mn>
</msub>
<mo>~</mo>
</mover>
</mrow>
</mtd>
</mtr>
<mtr>
<mtd>
<mrow>
<msub>
<mi>S</mi>
<mi>s</mi>
</msub>
<mo><</mo>
<msub>
<mi>S</mi>
<mn>0</mn>
</msub>
</mrow>
</mtd>
</mtr>
</mtable>
</mfenced>
<mrow>
<mi>A</mi>
<msub>
<mrow>
<mo>(</mo>
<mi>&infin;</mi>
<mo>)</mo>
</mrow>
<mi>s</mi>
</msub>
<mo>=</mo>
<mfrac>
<mrow>
<msub>
<mi>MTBF</mi>
<mi>s</mi>
</msub>
</mrow>
<mrow>
<msub>
<mi>MTBF</mi>
<mi>s</mi>
</msub>
<mo>+</mo>
<msub>
<mi>MTTR</mi>
<mi>s</mi>
</msub>
</mrow>
</mfrac>
</mrow>
2
<mrow>
<mover>
<msub>
<mi>T</mi>
<mi>s</mi>
</msub>
<mo>~</mo>
</mover>
<mo>=</mo>
<mfrac>
<mn>1</mn>
<mi>n</mi>
</mfrac>
<munderover>
<mo>&Sigma;</mo>
<mrow>
<mi>i</mi>
<mo>=</mo>
<mn>1</mn>
</mrow>
<mi>n</mi>
</munderover>
<mover>
<msub>
<mi>T</mi>
<mi>i</mi>
</msub>
<mo>~</mo>
</mover>
</mrow>
<mrow>
<msub>
<mi>S</mi>
<mi>s</mi>
</msub>
<mo>=</mo>
<mn>1</mn>
<mo>-</mo>
<munder>
<mo>&Pi;</mo>
<mrow>
<mi>i</mi>
<mo>=</mo>
<mi>j</mi>
</mrow>
</munder>
<mrow>
<mo>(</mo>
<mn>1</mn>
<mo>-</mo>
<msub>
<mi>S</mi>
<mi>i</mi>
</msub>
<mo>)</mo>
</mrow>
</mrow>
In formula, Vs(t) it is availability of the system in moment t;N is the number of system unit;A(∞)sFor the Feasible degree of system;
MTBFsFor the MTBF of system;MTTRsFor the MTTR of system;For the testability parameter of system;
SsFor the loss probability of system;A0It is the minimum requirements of system availability;It is the minimum requirements of testability value;S0It is that loss is general
The maximum requirement of rate;J is the number of security-related serious part.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510051688.0A CN104679945B (en) | 2015-01-30 | 2015-01-30 | System comprehensive estimation method based on colored Petri network |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510051688.0A CN104679945B (en) | 2015-01-30 | 2015-01-30 | System comprehensive estimation method based on colored Petri network |
Publications (2)
Publication Number | Publication Date |
---|---|
CN104679945A CN104679945A (en) | 2015-06-03 |
CN104679945B true CN104679945B (en) | 2017-10-31 |
Family
ID=53314984
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510051688.0A Active CN104679945B (en) | 2015-01-30 | 2015-01-30 | System comprehensive estimation method based on colored Petri network |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN104679945B (en) |
Families Citing this family (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105160126B (en) * | 2015-09-25 | 2018-07-03 | 西安航空制动科技有限公司 | A kind of modeling method of airplane brake system mean repair time |
CN105488537B (en) * | 2015-12-11 | 2019-01-18 | 中国航空工业集团公司西安飞机设计研究所 | A kind of unit failure attribute characterization method based on Petri network |
CN105700384A (en) * | 2016-03-14 | 2016-06-22 | 东北大学 | Method of building wastewater pollutant discharge Petri net simulation model |
CN110597194B (en) * | 2019-08-18 | 2022-10-04 | 西安电子科技大学 | Cooperative activity construction method of large-scale flexibly-driven automatic manufacturing system |
CN111401680B (en) * | 2020-02-06 | 2024-01-30 | 西安电子科技大学 | Collaborative activity construction method for automatic manufacturing system with complex process subnetwork |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101477588A (en) * | 2009-01-13 | 2009-07-08 | 中国人民解放军国防科学技术大学 | Simulation method for equipment maintenance and guarantee based on Petri network model |
CN101901186A (en) * | 2010-07-08 | 2010-12-01 | 西北工业大学 | Embedded system reliability analysis and evaluation method |
CN102916929A (en) * | 2011-08-01 | 2013-02-06 | 杭州信雅达数码科技有限公司 | Trust evaluating method based on fuzzy Petri net |
-
2015
- 2015-01-30 CN CN201510051688.0A patent/CN104679945B/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101477588A (en) * | 2009-01-13 | 2009-07-08 | 中国人民解放军国防科学技术大学 | Simulation method for equipment maintenance and guarantee based on Petri network model |
CN101901186A (en) * | 2010-07-08 | 2010-12-01 | 西北工业大学 | Embedded system reliability analysis and evaluation method |
CN102916929A (en) * | 2011-08-01 | 2013-02-06 | 杭州信雅达数码科技有限公司 | Trust evaluating method based on fuzzy Petri net |
Non-Patent Citations (5)
Title |
---|
Fabio Balduzzi等.Combining fault detection and process optimization in manufacturing systems using First-Order Hybrid Petri Nets.《IEEE International Conference on Robotics and Automation》.2001, * |
基于petri网化简方法的工作流模型验证;李建强等;《信息与控制》;20011231;第30卷(第6期);第492-497页 * |
基于有色 Petri 网的电力系统故障诊断模型研究;曾庆锋等;《电力系统保护与控制》;20100716;第38卷(第14期);第5-11页 * |
基于着色随机时间Petri网的维修性建模方法堆;陆中等;《机械工程学报》;20110531;第47卷(第10期);第185-191页 * |
飞机四性指标论证仿真;孙晓艳等;《可靠性与环境适应性理论研究》;20070831;第25卷(第4期);第11-14页 * |
Also Published As
Publication number | Publication date |
---|---|
CN104679945A (en) | 2015-06-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104679945B (en) | System comprehensive estimation method based on colored Petri network | |
CN103810328B (en) | Transformer maintenance decision method based on hybrid model | |
CN103676881B (en) | A kind of dynamic bottleneck analytical method of semiconductor production line | |
CN104318482A (en) | Comprehensive assessment system and method of smart distribution network | |
CN106250631B (en) | It is a kind of based on failure-test correlation matrix method for diagnosing faults | |
CN102799531B (en) | A kind of method for testing software based on analytic hierarchy process | |
CN102360333B (en) | The component software reliability analysis method of troubleshooting process is considered based on HISQM queuing model | |
CN107632590A (en) | A kind of bottom event sort method based on priority | |
CN103149840B (en) | Semanteme service combination method based on dynamic planning | |
CN106407586B (en) | A kind of Flight Vehicle Structure function integration design platform system based on uncertain optimization | |
CN107656152A (en) | One kind is based on GA SVM BP Diagnosis Method of Transformer Faults | |
CN105117847A (en) | Method for evaluating transformer failure importance | |
CN106067032A (en) | Evaluation methodology for the sensor system of selection of data exception monitoring | |
CN107025169A (en) | A kind of software error layering diagnostic method based on Bayesian Network Inference | |
CN108564279A (en) | It is a kind of to consider the production line craft station people recognized because of Complexity Measurement method | |
CN105868115A (en) | Building method and system for software test model of software intensive system | |
CN106021724A (en) | Energy efficiency evaluation method of machine tool product manufacturing system based on AHM and entropy method | |
CN111190759A (en) | Hybrid diagnosis strategy generation method based on function and fault mode | |
CN110705080A (en) | Precise assembling method and device for digital twin model | |
CN103196691B (en) | Method for establishing relevance fault testing matrix based on main diagonal element domination fuzzy relation matrix | |
CN103761581A (en) | Method for civil aircraft flight deck human-computer interface comprehensive evaluation | |
CN103076556B (en) | Method for selecting function-maintenance testing points of avionic assembly | |
CN105203327A (en) | Gas channel measurement parameter selecting method applied to engine gas channel analysis | |
CN106886620A (en) | Spacecraft-testing resource optimization configuration method | |
CN106292289B (en) | The mixing elite Stochastic search optimization method of process industry control loop object |
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 |