Minimal cut sets （or prime implicants： minimal combinations of basic event conditions leading to system failure） are important information for reliability/safety analysis and design. To obtain minimal cut sets for ...Minimal cut sets （or prime implicants： minimal combinations of basic event conditions leading to system failure） are important information for reliability/safety analysis and design. To obtain minimal cut sets for general non-coherent fault trees, including negative basic events or multi-valued basic events, a special procedure such as the consensus rule must be applied to the results obtained by logical operations for coherent fault trees, which will require more steps and time. This paper proposes a simple method for a non-coherent fault tree, whose top event is represented as an AND combination of monotonic sub-trees. A ＂monotonic＂ sub-tree means that it does not have both positive and negative representations for each basic event. It is proven that minimal cut sets can be obtained by a conventional method for coherent fault trees. An illustrative example of a simple event tree analysis shows the detail and characteristics of the proposed method.展开更多
Simultaneous faults often occur in running equipments, in order to solve the problems of the simultaneous faults, a new approach based on random sets and Dezert-Smarandache Theory (DSmT) is proposed in this paper. Fir...Simultaneous faults often occur in running equipments, in order to solve the problems of the simultaneous faults, a new approach based on random sets and Dezert-Smarandache Theory (DSmT) is proposed in this paper. Firstly, the simultaneous faults' model is built based on the generalized frame of discernment in DSmT. Secondly, according to the unified description of combination rules in evidence reasoning based on random sets, a new combination rule for simultaneous faults diagnosis is proposed. Thirdly, according to the working characteristics and environment of the sensors used to acquire fault characteristic information, a new method to construct basic probability assignment function is pro- posed based on membership. Finally, diagnosis result is obtained by use of the new combination rule combined with decision rules. A case pertaining to the fault diagnosis for a multi-function rotor test-bed is given, and the result shows that the proposed diagnosis approach is feasible and efficient.展开更多
This study contains comparative research of sulfate resistance of ordinary Portland cement pastes with addition of basic aluminum sulfate (hydroxosulfate, Al(OH)1.78(SO4)0.61) and amorphous Al(OH)3. Over 3 months of s...This study contains comparative research of sulfate resistance of ordinary Portland cement pastes with addition of basic aluminum sulfate (hydroxosulfate, Al(OH)1.78(SO4)0.61) and amorphous Al(OH)3. Over 3 months of storing in sodium sulfate solution, the most significant expansion and deterioration occur in case of samples with aluminum hydroxide. During sulfate resistance test, the ratio between aluminum nuclei in AFt (ettringite) and AFm phases was studied by 27Al-MAS NMR, and the impact of aluminum-containing admixtures on this ratio was specified. In accordance with NMR data, in samples with Al(OH)3, the rate of secondary ettringite formation becomes noticeable after one month of storing in sulfate solution. For samples with Al(OH)1.78(SO4)0.61, the rate of elongation and temper of changes in molar ratio between sulfoaluminate phases were comparable with reference samples without admixtures.展开更多
In this paper,a compound-type inclusion interval of basic coneigenvalues of(com- plex)matrix is obtained.The corresponding boundary theorem and isolating theorem are given.
In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics h...In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics has also been set forth.展开更多
This paper gives the definition of λ-cut sets and studies the structure of fuzzy rough sets. Based on the concept of rough sets, this paper proposes the representation theorem of fuzzy rough sets.
On condition that the basic equations set of atmospheric motion possesses the best stability in the smooth function classes, the structure of solution space for local analytical solution is discussed, by which the thi...On condition that the basic equations set of atmospheric motion possesses the best stability in the smooth function classes, the structure of solution space for local analytical solution is discussed, by which the third-class initial value problem with typ- icality and application is analyzed. The calculational method and concrete expressions of analytical solution about the well-posed initial value problem of the third-kind are given in the analytic function classes. Near an appointed point, the relevant theoretical and computational problems about analytical solution of initial value problem are solved completely in the meaning of local solution. Moreover, for other type ofproblems for determining solution, the computational method and process of their stable analytical solution can be obtained in a similar way given in this paper.展开更多
A new fault tree analysis (FTA) computation method is put forth by using modularization technique in FTA with cut sets matrix, and can reduce NP (Nondeterministic polynomial) difficulty effectively. This software can ...A new fault tree analysis (FTA) computation method is put forth by using modularization technique in FTA with cut sets matrix, and can reduce NP (Nondeterministic polynomial) difficulty effectively. This software can run in IBM PC and DOS 3.0 and up. The method provides theoretical basis and computation tool for application of FTA technique in the common engineering system展开更多
By analyzing the results of compliance minimization of thermoelastic structures,we observed that microstructures play an important role in this optimization problem.Then,we propose to use a multiple variable cutting(M...By analyzing the results of compliance minimization of thermoelastic structures,we observed that microstructures play an important role in this optimization problem.Then,we propose to use a multiple variable cutting(M-VCUT)level set-based model of microstructures to solve the concurrent two-scale topology optimization of thermoelastic structures.A microstructure is obtained by combining multiple virtual microstructures that are derived respectively from multiple microstructure prototypes,thus giving more diversity of microstructure and more flexibility in design optimization.The effective mechanical properties of microstructures are computed in an off-line phase by using the homogenization method,and then a mapping relationship between the design variables and the effective properties is established,which gives a data-driven model of microstructure.In the online phase,the data-driven model is used in the finite element analysis to improve the computational efficiency.The compliance minimization problem is considered,and the results of numerical examples prove that the proposed method is effective.展开更多
Segmentation of three-dimensional(3D) complicated structures is of great importance for many real applications.In this work we combine graph cut minimization method with a variant of the level set idea for 3D segmenta...Segmentation of three-dimensional(3D) complicated structures is of great importance for many real applications.In this work we combine graph cut minimization method with a variant of the level set idea for 3D segmentation based on the Mumford-Shah model.Compared with the traditional approach for solving the Euler-Lagrange equation we do not need to solve any partial differential equations.Instead,the minimum cut on a special designed graph need to be computed.The method is tested on data with complicated structures.It is rather stable with respect to initial value and the algorithm is nearly parameter free.Experiments show that it can solve large problems much faster than traditional approaches.展开更多
The aim of this work is to analyse the global dynamics of an extended mathematical model of Hepatitis C virus (HCV) infection in vivo with cellular proliferation, spontaneous cure and hepatocyte homeostasis. We firstl...The aim of this work is to analyse the global dynamics of an extended mathematical model of Hepatitis C virus (HCV) infection in vivo with cellular proliferation, spontaneous cure and hepatocyte homeostasis. We firstly prove the existence of local and global solutions of the model and establish some properties of this solution as positivity and asymptotic behaviour. Secondly we show, by the construction of appropriate Lyapunov functions, that the uninfected equilibrium and the unique infected equilibrium of the mathematical model of HCV are globally asymptotically stable respectively when the threshold number and when .展开更多
Intuitionistic fuzzy starshaped sets (i.f.s.) is a generalized model of fuzzy starshaped set. By the definition of i.f.s., the intuitionistic fuzzy general starshaped sets (i.f.g.s.), intuitionistic fuzzy quasi-starsh...Intuitionistic fuzzy starshaped sets (i.f.s.) is a generalized model of fuzzy starshaped set. By the definition of i.f.s., the intuitionistic fuzzy general starshaped sets (i.f.g.s.), intuitionistic fuzzy quasi-starshaped sets (i.f.q-s.) and intuitionistic fuzzy pseudo-starshaped sets (i.f.p-s.) are proposed and the relationships among them are studied. The equivalent discrimination conditions of i.f.q-s. and i.f.p-s. are presented on the basis of their properties which are meaningful for the research of the generalized fuzzy starshaped sets. Moreover, the invariance of the two given fuzzy sets under the translation transformation and linear reversible transformation are discussed.展开更多
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.展开更多
Fuzzy equations were solved by using different standard methods. One of the well-known methods is the method of α-cut. The method of superimposition of sets has been used to define arithmetic operations of fuzzy numb...Fuzzy equations were solved by using different standard methods. One of the well-known methods is the method of α-cut. The method of superimposition of sets has been used to define arithmetic operations of fuzzy numbers. In this article, it has been shown that the fuzzy equation , where A, X, B are fuzzy numbers can be solved by using the method of superimposition of sets. It has also been shown that the method gives same result as the method of α-cut.展开更多
The system of linear equations plays a vital role in real life problems such as optimization, economics, and engineering. The parameters of the system of linear equations are modeled by taking the experimental or obse...The system of linear equations plays a vital role in real life problems such as optimization, economics, and engineering. The parameters of the system of linear equations are modeled by taking the experimental or observation data. So the parameters of the system actually contain uncertainty rather than the crisp one. The uncertainties may be considered in term of interval or fuzzy numbers. In this paper, a detailed study of three solution techniques namely Classical Method, Extension Principle method and α-cuts and interval Arithmetic Method to solve the system of fuzzy linear equations has been done. Appropriate applications are given to illustrate each technique. Then we discuss the comparison of the different methods numerically and graphically.展开更多
From the perspective of theoretical analysis,based on the annotation of ancient doctors on the theory of"acting according to time,"this article puts forward the view of "time";that is,the impact of...From the perspective of theoretical analysis,based on the annotation of ancient doctors on the theory of"acting according to time,"this article puts forward the view of "time";that is,the impact of the social environment on the occurrence and development of diseases.In addition,it points out that the characteristics of modem diseases are of"multiple heat syndromes and multiple repletion pattern."Based on this characteristic,the use of heat-clearing drugs in the clinical stage would have a good eflect.It has been suggested that contemporary doctors should not only inherit the theories from predecessors,but also think diligently and innovate bravely along with the current environment in order to ensure that the theories ofTCM are constantly full of vitality to better serve the clinical aspect.展开更多
In this article, we define the arithmetic operations of generalized trapezoidal picture fuzzy numbers by vertex method which is assembled on a combination of the (α, γ, β)-cut concept and standard interval analysis...In this article, we define the arithmetic operations of generalized trapezoidal picture fuzzy numbers by vertex method which is assembled on a combination of the (α, γ, β)-cut concept and standard interval analysis. Various related properties are explored. Finally, some computations of picture fuzzy functions over generalized picture fuzzy variables are illustrated by using our proposed technique.展开更多
文摘Minimal cut sets （or prime implicants： minimal combinations of basic event conditions leading to system failure） are important information for reliability/safety analysis and design. To obtain minimal cut sets for general non-coherent fault trees, including negative basic events or multi-valued basic events, a special procedure such as the consensus rule must be applied to the results obtained by logical operations for coherent fault trees, which will require more steps and time. This paper proposes a simple method for a non-coherent fault tree, whose top event is represented as an AND combination of monotonic sub-trees. A ＂monotonic＂ sub-tree means that it does not have both positive and negative representations for each basic event. It is proven that minimal cut sets can be obtained by a conventional method for coherent fault trees. An illustrative example of a simple event tree analysis shows the detail and characteristics of the proposed method.
基金Supported by the National Natural Science Foundation of China (No.60434020, No.60772006)the Zhejiang Natural Science Foundation (R106745, Y1080422)
文摘Simultaneous faults often occur in running equipments, in order to solve the problems of the simultaneous faults, a new approach based on random sets and Dezert-Smarandache Theory (DSmT) is proposed in this paper. Firstly, the simultaneous faults' model is built based on the generalized frame of discernment in DSmT. Secondly, according to the unified description of combination rules in evidence reasoning based on random sets, a new combination rule for simultaneous faults diagnosis is proposed. Thirdly, according to the working characteristics and environment of the sensors used to acquire fault characteristic information, a new method to construct basic probability assignment function is pro- posed based on membership. Finally, diagnosis result is obtained by use of the new combination rule combined with decision rules. A case pertaining to the fault diagnosis for a multi-function rotor test-bed is given, and the result shows that the proposed diagnosis approach is feasible and efficient.
文摘This study contains comparative research of sulfate resistance of ordinary Portland cement pastes with addition of basic aluminum sulfate (hydroxosulfate, Al(OH)1.78(SO4)0.61) and amorphous Al(OH)3. Over 3 months of storing in sodium sulfate solution, the most significant expansion and deterioration occur in case of samples with aluminum hydroxide. During sulfate resistance test, the ratio between aluminum nuclei in AFt (ettringite) and AFm phases was studied by 27Al-MAS NMR, and the impact of aluminum-containing admixtures on this ratio was specified. In accordance with NMR data, in samples with Al(OH)3, the rate of secondary ettringite formation becomes noticeable after one month of storing in sulfate solution. For samples with Al(OH)1.78(SO4)0.61, the rate of elongation and temper of changes in molar ratio between sulfoaluminate phases were comparable with reference samples without admixtures.
文摘In this paper,a compound-type inclusion interval of basic coneigenvalues of(com- plex)matrix is obtained.The corresponding boundary theorem and isolating theorem are given.
文摘In this paper, the new development of three basic theories of Extenics, including basic element theory, extension set theory and extension logic theory, has been introduced. And the new theoretical frame of Extenics has also been set forth.
基金Supported by the National Natural Science Foundation of China (No. 69803007)
文摘This paper gives the definition of λ-cut sets and studies the structure of fuzzy rough sets. Based on the concept of rough sets, this paper proposes the representation theorem of fuzzy rough sets.
基金Project supported by the National Natural Science Foundation of China (Major Program of the Tenth Five-Year Plan) (No.90411006).
文摘On condition that the basic equations set of atmospheric motion possesses the best stability in the smooth function classes, the structure of solution space for local analytical solution is discussed, by which the third-class initial value problem with typ- icality and application is analyzed. The calculational method and concrete expressions of analytical solution about the well-posed initial value problem of the third-kind are given in the analytic function classes. Near an appointed point, the relevant theoretical and computational problems about analytical solution of initial value problem are solved completely in the meaning of local solution. Moreover, for other type ofproblems for determining solution, the computational method and process of their stable analytical solution can be obtained in a similar way given in this paper.
文摘A new fault tree analysis (FTA) computation method is put forth by using modularization technique in FTA with cut sets matrix, and can reduce NP (Nondeterministic polynomial) difficulty effectively. This software can run in IBM PC and DOS 3.0 and up. The method provides theoretical basis and computation tool for application of FTA technique in the common engineering system
基金supported by the National Natural Science Foundation of China(Grant No.12272144).
文摘By analyzing the results of compliance minimization of thermoelastic structures,we observed that microstructures play an important role in this optimization problem.Then,we propose to use a multiple variable cutting(M-VCUT)level set-based model of microstructures to solve the concurrent two-scale topology optimization of thermoelastic structures.A microstructure is obtained by combining multiple virtual microstructures that are derived respectively from multiple microstructure prototypes,thus giving more diversity of microstructure and more flexibility in design optimization.The effective mechanical properties of microstructures are computed in an off-line phase by using the homogenization method,and then a mapping relationship between the design variables and the effective properties is established,which gives a data-driven model of microstructure.In the online phase,the data-driven model is used in the finite element analysis to improve the computational efficiency.The compliance minimization problem is considered,and the results of numerical examples prove that the proposed method is effective.
基金support from the Centre for Integrated Petroleum Research(CIPR),University of Bergen, Norway,and Singapore MOE Grant T207B2202NRF2007IDMIDM002-010
文摘Segmentation of three-dimensional(3D) complicated structures is of great importance for many real applications.In this work we combine graph cut minimization method with a variant of the level set idea for 3D segmentation based on the Mumford-Shah model.Compared with the traditional approach for solving the Euler-Lagrange equation we do not need to solve any partial differential equations.Instead,the minimum cut on a special designed graph need to be computed.The method is tested on data with complicated structures.It is rather stable with respect to initial value and the algorithm is nearly parameter free.Experiments show that it can solve large problems much faster than traditional approaches.
文摘The aim of this work is to analyse the global dynamics of an extended mathematical model of Hepatitis C virus (HCV) infection in vivo with cellular proliferation, spontaneous cure and hepatocyte homeostasis. We firstly prove the existence of local and global solutions of the model and establish some properties of this solution as positivity and asymptotic behaviour. Secondly we show, by the construction of appropriate Lyapunov functions, that the uninfected equilibrium and the unique infected equilibrium of the mathematical model of HCV are globally asymptotically stable respectively when the threshold number and when .
文摘Intuitionistic fuzzy starshaped sets (i.f.s.) is a generalized model of fuzzy starshaped set. By the definition of i.f.s., the intuitionistic fuzzy general starshaped sets (i.f.g.s.), intuitionistic fuzzy quasi-starshaped sets (i.f.q-s.) and intuitionistic fuzzy pseudo-starshaped sets (i.f.p-s.) are proposed and the relationships among them are studied. The equivalent discrimination conditions of i.f.q-s. and i.f.p-s. are presented on the basis of their properties which are meaningful for the research of the generalized fuzzy starshaped sets. Moreover, the invariance of the two given fuzzy sets under the translation transformation and linear reversible transformation are discussed.
文摘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.
文摘Fuzzy equations were solved by using different standard methods. One of the well-known methods is the method of α-cut. The method of superimposition of sets has been used to define arithmetic operations of fuzzy numbers. In this article, it has been shown that the fuzzy equation , where A, X, B are fuzzy numbers can be solved by using the method of superimposition of sets. It has also been shown that the method gives same result as the method of α-cut.
文摘The system of linear equations plays a vital role in real life problems such as optimization, economics, and engineering. The parameters of the system of linear equations are modeled by taking the experimental or observation data. So the parameters of the system actually contain uncertainty rather than the crisp one. The uncertainties may be considered in term of interval or fuzzy numbers. In this paper, a detailed study of three solution techniques namely Classical Method, Extension Principle method and α-cuts and interval Arithmetic Method to solve the system of fuzzy linear equations has been done. Appropriate applications are given to illustrate each technique. Then we discuss the comparison of the different methods numerically and graphically.
文摘From the perspective of theoretical analysis,based on the annotation of ancient doctors on the theory of"acting according to time,"this article puts forward the view of "time";that is,the impact of the social environment on the occurrence and development of diseases.In addition,it points out that the characteristics of modem diseases are of"multiple heat syndromes and multiple repletion pattern."Based on this characteristic,the use of heat-clearing drugs in the clinical stage would have a good eflect.It has been suggested that contemporary doctors should not only inherit the theories from predecessors,but also think diligently and innovate bravely along with the current environment in order to ensure that the theories ofTCM are constantly full of vitality to better serve the clinical aspect.
文摘In this article, we define the arithmetic operations of generalized trapezoidal picture fuzzy numbers by vertex method which is assembled on a combination of the (α, γ, β)-cut concept and standard interval analysis. Various related properties are explored. Finally, some computations of picture fuzzy functions over generalized picture fuzzy variables are illustrated by using our proposed technique.
