As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions ...As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions to be completed are different,consecutive and non-over-lapping,from which the turntable system can be considered to be a phased-mission system(PMS).Reliability analysis for PMS has been widely studied.However,the system mode cycle characteristic has not been taken into account before.In this paper,reliability analysis method of the satellite turntable system is proposed considering its multiple operation modes and mode cycle characteristic.Firstly,the multi-valued decision diagrams(MDD)manipulation rules between two adjacent mission cycles are proposed.On this basis,MDD models for the turntable system in different states are established and the reliability is calculated using the continuous time Markov chains(CTMC)method.Finally,the comparative study is carried out to show the effectiveness of our proposed method.展开更多
The binary decision diagrams (BDDs) can give canonical representation to Boolean functions; they have wide applications in the design and verification of digital systems. A new method based on cultural algorithms fo...The binary decision diagrams (BDDs) can give canonical representation to Boolean functions; they have wide applications in the design and verification of digital systems. A new method based on cultural algorithms for minimizing the size of BDDs is presented in this paper. First of all, the coding of an individual representing a BDDs is given, and the fitness of an individual is defined. The population is built by a set of the individuals. Second, the implementations based on cultural algorithms for the minimization of BDDs, i.e., the designs of belief space and population space, and the designs of acceptance function and influence function, are given in detail. Third, the fault detection approaches using BDDs for digital circuits are studied. A new method for the detection of crosstalk faults by using BDDs is presented. Experimental results on a number of digital circuits show that the BDDs with small number of nodes can be obtained by the method proposed in this paper, and all test vectors of a fault in digital circuits can also be produced.展开更多
With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of...With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of a single fault. A new method for the detection of multiple faults in digital circuits is presented in this paper, the method is based on binary decision diagram (BDD). First of all, the BDDs for the normal circuit and faulty circuit are built respectively. Secondly, a test BDD is obtained by the XOR operation of the BDDs corresponds to normal circuit and faulty circuit. In the test BDD, each input assignment that leads to the leaf node labeled 1 is a test vector of multiple faults. Therefore, the test set of multiple faults is generated by searching for the type of input assignments in the test BDD. Experimental results on some digital circuits show the feasibility of the approach presented in this paper.展开更多
Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because th...Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.展开更多
Fault tree analysis(FTA),as a structurally simple,visualized and scientific method,is widely used in various fields.To complete the FTA of the launching device,the binary decision diagram(BDD)method is used to obtain ...Fault tree analysis(FTA),as a structurally simple,visualized and scientific method,is widely used in various fields.To complete the FTA of the launching device,the binary decision diagram(BDD)method is used to obtain the non-intersect cut sets,the minimum cut sets and the probability importance of components.Then,the expert evaluation method is applied to solving fuzzy probability rate of bottom event with zero failure data.In this paper,the BDD and expert evaluation method are applied into FTA to analyze a launch device.展开更多
Paper considers the calculation of the values of Gibbs derivatives on finite Abelian groups. The calculation procedure is based upon the decision diagram representation of functions defined on finite Abelian groups. A...Paper considers the calculation of the values of Gibbs derivatives on finite Abelian groups. The calculation procedure is based upon the decision diagram representation of functions defined on finite Abelian groups. Approach permits processing of large functions.展开更多
The electrical system of CNC machine tool is very complex which involves many uncertain factors and dynamic stochastic characteristics when failure occurs.Therefore,the traditional system reliability analysis method,f...The electrical system of CNC machine tool is very complex which involves many uncertain factors and dynamic stochastic characteristics when failure occurs.Therefore,the traditional system reliability analysis method,fault tree analysis(FTA)method,based on static logic and static failure mechanism is no longer applicable for dynamic systems reliability analysis.Dynamic fault tree(DFT)analysis method can solve this problem effectively.In this method,DFT first should be pretreated to get a simplified fault tree(FT);then the FT was modularized to get the independent static subtrees and dynamic subtrees.Binary decision diagram(BDD)analysis method was used to analyze static subtrees,while an approximation algorithm was used to deal with dynamic subtrees.When the scale of each subtree is smaller than the system scale,the analysis efficiency can be improved significantly.At last,the usefulness of this DFT analysis method was proved by applying it to analyzing the reliability of electrical system.展开更多
Accounting for static phased-mission systems (PMS) and imperfect coverage (IPC), generalized and integrated algorithm (GPMS-CPR) implemented a synthesis of several approaches into a single methodology whose advantages...Accounting for static phased-mission systems (PMS) and imperfect coverage (IPC), generalized and integrated algorithm (GPMS-CPR) implemented a synthesis of several approaches into a single methodology whose advantages were in the low computational complexity, broad applicability, and easy implementation. The approach is extended into analysis of each phase in the whole mission. Based on Fussell-Vesely importance measure, a simple and efficient importance measure is presented to analyze component’s importance of phased-mission systems considering imperfect coverage.展开更多
Policy conflicts may cause substantial economic losses.Although a large amount of effort has been spent on detecting intra-domain policy conflict,it can not detect conflicts of heterogeneous policies.In this paper,con...Policy conflicts may cause substantial economic losses.Although a large amount of effort has been spent on detecting intra-domain policy conflict,it can not detect conflicts of heterogeneous policies.In this paper,considering background knowledge,we propose a conflict detection mechanism to search and locate conflicts of heterogeneous policies.First,we propose a general access control model to describe authorization mechanisms of cloud service and a translation scheme designed to translate a cloud service policy to an Extensible Access Control Markup Language(XACML)policy.Then the scheme based on Multi-terminal Multi-data-type Interval Decision Diagram(MTMIDD)and Extended MTMIDD(X-MTMIDD)is designed to represent XACML policy and search the conflict among heterogeneous policies.To reduce the rate of false positives,the description logic is used to represent XACML policy and eliminate false conflicts.Experimental results show the efficiency of our scheme.展开更多
Recently, the physics-of-failure(PoF) method has been more and more popular in engineering to understand the failure mechanisms(FMs) of products.However, due to the lack of system modeling methods and problem-solving ...Recently, the physics-of-failure(PoF) method has been more and more popular in engineering to understand the failure mechanisms(FMs) of products.However, due to the lack of system modeling methods and problem-solving algorithms,the information of FMs cannot be used to evaluate system reliability.This paper presents a system reliability evaluation method with failure mechanism tree(FMT) considering physical dependency(PDEP) such as competition, trigger, acceleration, inhibition, damage accumulation, and parameter combination.And the binary decision diagram(BDD) analytical algorithm is developed to establish a system reliability model.The operation rules of ite operators for generating BDD are discussed.The flow chart of system reliability evaluation method based on FMT and BDD is proposed.The proposed method is applied in the case of an electronic controller drive unit.Results show that the method is effective to evaluate system reliability from the perspective of FM.展开更多
CNC machine tool is a large complex system which contains both mechanical and electrical components.As one of these components,the spindle is crucial for the performance of CNC machine tool.To improve the quality of C...CNC machine tool is a large complex system which contains both mechanical and electrical components.As one of these components,the spindle is crucial for the performance of CNC machine tool.To improve the quality of CNC machine,the reliability of spindle was evaluated in this paper using a fault tree analysis(FTA)method.The FTA method is a set of calculation methods based on Boolean algebra.However,it is difficult to analyze a large and complex fault tree with inaccurate results and low efficiency as well as the complexity of time and space.Both of them will result in the so-called "combinatorial explosion".To overcome this problem,the analysis method based on binary decision diagram(BDD)was introduced in our works,and a sorting method about bottom events was also recommended which can reduce the size of the BDD effectively.展开更多
Dynamic fault tree analysis is widely used for the reliability analysis of the complex system with dynamic failure characteristics. In many circumstances, the exact value of system reliability is difficult to obtain d...Dynamic fault tree analysis is widely used for the reliability analysis of the complex system with dynamic failure characteristics. In many circumstances, the exact value of system reliability is difficult to obtain due to absent or insufficient data for failure probabilities or failure rates of components. The traditional fuzzy operation arithmetic based on extension principle or interval theory may lead to fuzzy accumulations. Moreover, the existing fuzzy dynamic fault tree analysis methods are restricted to the case that all system components follow exponential time-to-failure distributions. To overcome these problems, a new fuzzy dynamic fault tree analysis approach based on the weakest n-dimensional t-norm arithmetic and developed sequential binary decision diagrams method is proposed to evaluate system fuzzy reliability. Compared with the existing approach,the proposed method can effectively reduce fuzzy cumulative and be applicable to any time-tofailure distribution type for system components. Finally, a case study is presented to illustrate the application and advantages of the proposed approach.展开更多
An enhanced ordered binary decision diagram (EOBDD) algorithm is proposed to evaluate the reliability of wireless sensor networks (WSNs), based on the considerations of the common cause failure (CCF) and a large...An enhanced ordered binary decision diagram (EOBDD) algorithm is proposed to evaluate the reliability of wireless sensor networks (WSNs), based on the considerations of the common cause failure (CCF) and a large number of nodes in WSNs. The EOBDD algorithm analyzes the common cause event (CCE) and the network structure when CCE takes place according to the stochastic graph and the CCF model of WSNs. After constructing the ordered binary decision diagram (OBDD) of the original network with node expansion, it uses a set of OBDD variables (SOV) to guide reliability computations along this OBDD. The two steps about OBDD can decrease the cost of OBDD constructions and storage. Furthermore, the efficient OBDD structure and Hash tables can greatly decrease redundant computations of isomorphs. The experiment results show that the EOBDD can be used to evaluate the reliability of WSN efficiently.展开更多
Fault tolerance designs are essential techniques for systems that require high levels of reliability,such as aircraft or spacecraft control system.Imperfect Fault Coverage(IFC)may lead to the failure of a system or su...Fault tolerance designs are essential techniques for systems that require high levels of reliability,such as aircraft or spacecraft control system.Imperfect Fault Coverage(IFC)may lead to the failure of a system or subsystem even with adequate redundancy.Previous studies of IFC mostly concentrated on evaluating Coverage Factor(CF),whereas the system failure behaviors with IFC have rarely been involved.Failures that occur in low-layer may be covered by highlayer.However,if the coverage is imperfect,uncovered failure will have functional and physical impact on the system behavior.In this thesis,the failure behavior and reliability of IFC of multi-layer systems are studied and a Binary Decision Diagram(BDD)-based modeling and simulation method are proposed to evaluate system reliability.As a case,the failure behavior of an aero engine electronic controller with IFC is studied.The results show that the IFC may impact system behavior without taking the IFC into account,the system maintenance intervals may reduce,and thus the maintenance costs will increase.展开更多
The aircraft condition monitoring network is responsible for collecting the status of each component in aircraft. The reliability of this network has a significant effect on safety of the aircraft. The aircraft condit...The aircraft condition monitoring network is responsible for collecting the status of each component in aircraft. The reliability of this network has a significant effect on safety of the aircraft. The aircraft condition monitoring network works in a real-time manner that all the data should be transmitted within the deadline to ensure that the control center makes proper decision in time. Only the connectedness between the source node and destination cannot guarantee the data to be transmitted in time. In this paper, we take the time deadline into account and build the task-based reliability model. The binary decision diagram (BDD), which has the merit of efficiency in computing and storage space, is introduced when calculating the reliability of the network and addressing the essential variable. A case is analyzed using the algorithm proposed in this paper. The experimental results show that our method is efficient and proper for the reliability analysis of the real-time network.展开更多
A short-time scaling criterion of variable ordering of OBDDs is proposed. By this criterion it is easy and fast to determine which one is better when several. variable orders are given, especially when they differ 10%...A short-time scaling criterion of variable ordering of OBDDs is proposed. By this criterion it is easy and fast to determine which one is better when several. variable orders are given, especially when they differ 10% or more in resulted BDD size from each other. An adaptive variable order selection method, based on the short-time scaling criterion, is also presented. The experimental results show that this method is efficient and it makes the heuristic variable ordering methods more practical.展开更多
An efficient heuristic algorithm for variable ordering of OBDDs, the WDHA (Weight and Distance based Heuristic Algorithm), is presented. The algorithm is based on the heuristics implied in the circuit structure grap...An efficient heuristic algorithm for variable ordering of OBDDs, the WDHA (Weight and Distance based Heuristic Algorithm), is presented. The algorithm is based on the heuristics implied in the circuit structure graph. To scale the heuristics, pi -weight , node -weight , average -weight and pi -distance in the circuit structure graph are defined. As any of the heuristics is not a panacea for all circuits, several sub algorithms are proposed to cope with various cases. One is a direct method that uses pi -weight and pi -distance . The others are based on the depth first search (DFS) traversal of the circuit structure graph, with each focusing on one of the heuristics. An adaptive order selection strategy is adopted in WDHA. Experimental results show that WDHA is efficient in terms of BDD size and run time, and the dynamic OBDD variable ordering is more attractive if combined with WDHA.展开更多
基金co-supported by the Natural Science Foundation of China(No.61833016)the Shaanxi Out-standing Youth Science Foundation(No.2020JC-34)+1 种基金the Shaanxi Science and Technology Innovation Team(No.2022TD-24)the Natural Science Foundation of Heilongjiang Province of China(No.LH2021F038).
文摘As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions to be completed are different,consecutive and non-over-lapping,from which the turntable system can be considered to be a phased-mission system(PMS).Reliability analysis for PMS has been widely studied.However,the system mode cycle characteristic has not been taken into account before.In this paper,reliability analysis method of the satellite turntable system is proposed considering its multiple operation modes and mode cycle characteristic.Firstly,the multi-valued decision diagrams(MDD)manipulation rules between two adjacent mission cycles are proposed.On this basis,MDD models for the turntable system in different states are established and the reliability is calculated using the continuous time Markov chains(CTMC)method.Finally,the comparative study is carried out to show the effectiveness of our proposed method.
基金supported by Natural Science Foundation of Guangdong Provincial of China (No.7005833)
文摘The binary decision diagrams (BDDs) can give canonical representation to Boolean functions; they have wide applications in the design and verification of digital systems. A new method based on cultural algorithms for minimizing the size of BDDs is presented in this paper. First of all, the coding of an individual representing a BDDs is given, and the fitness of an individual is defined. The population is built by a set of the individuals. Second, the implementations based on cultural algorithms for the minimization of BDDs, i.e., the designs of belief space and population space, and the designs of acceptance function and influence function, are given in detail. Third, the fault detection approaches using BDDs for digital circuits are studied. A new method for the detection of crosstalk faults by using BDDs is presented. Experimental results on a number of digital circuits show that the BDDs with small number of nodes can be obtained by the method proposed in this paper, and all test vectors of a fault in digital circuits can also be produced.
基金Supported by the National Natural Science Foun-dation of China (60006002) Natural Science Research Project of Education Department of Guangdong Province of China (02019)
文摘With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of a single fault. A new method for the detection of multiple faults in digital circuits is presented in this paper, the method is based on binary decision diagram (BDD). First of all, the BDDs for the normal circuit and faulty circuit are built respectively. Secondly, a test BDD is obtained by the XOR operation of the BDDs corresponds to normal circuit and faulty circuit. In the test BDD, each input assignment that leads to the leaf node labeled 1 is a test vector of multiple faults. Therefore, the test set of multiple faults is generated by searching for the type of input assignments in the test BDD. Experimental results on some digital circuits show the feasibility of the approach presented in this paper.
基金National Natural Science Foundation of China(No.61164009)the Science and Technology Research Project,Department of Education of Jiangxi Province,China(No.GJJ14420)Natural Science Foundation of Jiangxi Province,China(No.20132BAB206026)
文摘Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system.
文摘Fault tree analysis(FTA),as a structurally simple,visualized and scientific method,is widely used in various fields.To complete the FTA of the launching device,the binary decision diagram(BDD)method is used to obtain the non-intersect cut sets,the minimum cut sets and the probability importance of components.Then,the expert evaluation method is applied to solving fuzzy probability rate of bottom event with zero failure data.In this paper,the BDD and expert evaluation method are applied into FTA to analyze a launch device.
文摘Paper considers the calculation of the values of Gibbs derivatives on finite Abelian groups. The calculation procedure is based upon the decision diagram representation of functions defined on finite Abelian groups. Approach permits processing of large functions.
文摘The electrical system of CNC machine tool is very complex which involves many uncertain factors and dynamic stochastic characteristics when failure occurs.Therefore,the traditional system reliability analysis method,fault tree analysis(FTA)method,based on static logic and static failure mechanism is no longer applicable for dynamic systems reliability analysis.Dynamic fault tree(DFT)analysis method can solve this problem effectively.In this method,DFT first should be pretreated to get a simplified fault tree(FT);then the FT was modularized to get the independent static subtrees and dynamic subtrees.Binary decision diagram(BDD)analysis method was used to analyze static subtrees,while an approximation algorithm was used to deal with dynamic subtrees.When the scale of each subtree is smaller than the system scale,the analysis efficiency can be improved significantly.At last,the usefulness of this DFT analysis method was proved by applying it to analyzing the reliability of electrical system.
基金Supported by National Outstanding Youth Science Foundation of China (No.79725002)
文摘Accounting for static phased-mission systems (PMS) and imperfect coverage (IPC), generalized and integrated algorithm (GPMS-CPR) implemented a synthesis of several approaches into a single methodology whose advantages were in the low computational complexity, broad applicability, and easy implementation. The approach is extended into analysis of each phase in the whole mission. Based on Fussell-Vesely importance measure, a simple and efficient importance measure is presented to analyze component’s importance of phased-mission systems considering imperfect coverage.
基金This work has been funded by the National Natural Science Foundation of China(No.U1836203)the Shandong Provincial Key Research and Development Program(2019JZZY20127).
文摘Policy conflicts may cause substantial economic losses.Although a large amount of effort has been spent on detecting intra-domain policy conflict,it can not detect conflicts of heterogeneous policies.In this paper,considering background knowledge,we propose a conflict detection mechanism to search and locate conflicts of heterogeneous policies.First,we propose a general access control model to describe authorization mechanisms of cloud service and a translation scheme designed to translate a cloud service policy to an Extensible Access Control Markup Language(XACML)policy.Then the scheme based on Multi-terminal Multi-data-type Interval Decision Diagram(MTMIDD)and Extended MTMIDD(X-MTMIDD)is designed to represent XACML policy and search the conflict among heterogeneous policies.To reduce the rate of false positives,the description logic is used to represent XACML policy and eliminate false conflicts.Experimental results show the efficiency of our scheme.
基金supported by the National Natural Science Foundation of China (6150301462073009)。
文摘Recently, the physics-of-failure(PoF) method has been more and more popular in engineering to understand the failure mechanisms(FMs) of products.However, due to the lack of system modeling methods and problem-solving algorithms,the information of FMs cannot be used to evaluate system reliability.This paper presents a system reliability evaluation method with failure mechanism tree(FMT) considering physical dependency(PDEP) such as competition, trigger, acceleration, inhibition, damage accumulation, and parameter combination.And the binary decision diagram(BDD) analytical algorithm is developed to establish a system reliability model.The operation rules of ite operators for generating BDD are discussed.The flow chart of system reliability evaluation method based on FMT and BDD is proposed.The proposed method is applied in the case of an electronic controller drive unit.Results show that the method is effective to evaluate system reliability from the perspective of FM.
基金National Science and Technology Major Project of China(No.2013ZX04013-011)
文摘CNC machine tool is a large complex system which contains both mechanical and electrical components.As one of these components,the spindle is crucial for the performance of CNC machine tool.To improve the quality of CNC machine,the reliability of spindle was evaluated in this paper using a fault tree analysis(FTA)method.The FTA method is a set of calculation methods based on Boolean algebra.However,it is difficult to analyze a large and complex fault tree with inaccurate results and low efficiency as well as the complexity of time and space.Both of them will result in the so-called "combinatorial explosion".To overcome this problem,the analysis method based on binary decision diagram(BDD)was introduced in our works,and a sorting method about bottom events was also recommended which can reduce the size of the BDD effectively.
基金supported by the National Defense Basic Scientific Research program of China (No.61325102)
文摘Dynamic fault tree analysis is widely used for the reliability analysis of the complex system with dynamic failure characteristics. In many circumstances, the exact value of system reliability is difficult to obtain due to absent or insufficient data for failure probabilities or failure rates of components. The traditional fuzzy operation arithmetic based on extension principle or interval theory may lead to fuzzy accumulations. Moreover, the existing fuzzy dynamic fault tree analysis methods are restricted to the case that all system components follow exponential time-to-failure distributions. To overcome these problems, a new fuzzy dynamic fault tree analysis approach based on the weakest n-dimensional t-norm arithmetic and developed sequential binary decision diagrams method is proposed to evaluate system fuzzy reliability. Compared with the existing approach,the proposed method can effectively reduce fuzzy cumulative and be applicable to any time-tofailure distribution type for system components. Finally, a case study is presented to illustrate the application and advantages of the proposed approach.
基金supported by the National Natural Science Foundation of China (60672086)the Hi-Tech Research and Development Program of China (2007AA01Z2A1, 2008AA01A316)the EUFPT Project EFIPSANS (215547), and the Foundation for Western Returned Chinese Scholars of the Ministry of Education
文摘An enhanced ordered binary decision diagram (EOBDD) algorithm is proposed to evaluate the reliability of wireless sensor networks (WSNs), based on the considerations of the common cause failure (CCF) and a large number of nodes in WSNs. The EOBDD algorithm analyzes the common cause event (CCE) and the network structure when CCE takes place according to the stochastic graph and the CCF model of WSNs. After constructing the ordered binary decision diagram (OBDD) of the original network with node expansion, it uses a set of OBDD variables (SOV) to guide reliability computations along this OBDD. The two steps about OBDD can decrease the cost of OBDD constructions and storage. Furthermore, the efficient OBDD structure and Hash tables can greatly decrease redundant computations of isomorphs. The experiment results show that the EOBDD can be used to evaluate the reliability of WSN efficiently.
基金funded by the National Natural Science Foundation of China(Nos.61503014 and 61573043)。
文摘Fault tolerance designs are essential techniques for systems that require high levels of reliability,such as aircraft or spacecraft control system.Imperfect Fault Coverage(IFC)may lead to the failure of a system or subsystem even with adequate redundancy.Previous studies of IFC mostly concentrated on evaluating Coverage Factor(CF),whereas the system failure behaviors with IFC have rarely been involved.Failures that occur in low-layer may be covered by highlayer.However,if the coverage is imperfect,uncovered failure will have functional and physical impact on the system behavior.In this thesis,the failure behavior and reliability of IFC of multi-layer systems are studied and a Binary Decision Diagram(BDD)-based modeling and simulation method are proposed to evaluate system reliability.As a case,the failure behavior of an aero engine electronic controller with IFC is studied.The results show that the IFC may impact system behavior without taking the IFC into account,the system maintenance intervals may reduce,and thus the maintenance costs will increase.
基金National Natural Science Foundation of China (60879024)
文摘The aircraft condition monitoring network is responsible for collecting the status of each component in aircraft. The reliability of this network has a significant effect on safety of the aircraft. The aircraft condition monitoring network works in a real-time manner that all the data should be transmitted within the deadline to ensure that the control center makes proper decision in time. Only the connectedness between the source node and destination cannot guarantee the data to be transmitted in time. In this paper, we take the time deadline into account and build the task-based reliability model. The binary decision diagram (BDD), which has the merit of efficiency in computing and storage space, is introduced when calculating the reliability of the network and addressing the essential variable. A case is analyzed using the algorithm proposed in this paper. The experimental results show that our method is efficient and proper for the reliability analysis of the real-time network.
文摘A short-time scaling criterion of variable ordering of OBDDs is proposed. By this criterion it is easy and fast to determine which one is better when several. variable orders are given, especially when they differ 10% or more in resulted BDD size from each other. An adaptive variable order selection method, based on the short-time scaling criterion, is also presented. The experimental results show that this method is efficient and it makes the heuristic variable ordering methods more practical.
基金the National Natural Science Foundationof China! ( No.69873 0 2 6)the Post-doctoral ScienceFoundation of China
文摘An efficient heuristic algorithm for variable ordering of OBDDs, the WDHA (Weight and Distance based Heuristic Algorithm), is presented. The algorithm is based on the heuristics implied in the circuit structure graph. To scale the heuristics, pi -weight , node -weight , average -weight and pi -distance in the circuit structure graph are defined. As any of the heuristics is not a panacea for all circuits, several sub algorithms are proposed to cope with various cases. One is a direct method that uses pi -weight and pi -distance . The others are based on the depth first search (DFS) traversal of the circuit structure graph, with each focusing on one of the heuristics. An adaptive order selection strategy is adopted in WDHA. Experimental results show that WDHA is efficient in terms of BDD size and run time, and the dynamic OBDD variable ordering is more attractive if combined with WDHA.