Abstract
In order to analyze system function structure, the system function structure analysis theory is put forward based on factor space theory. Factors space is more suitable for describing cognition process of intelligence science than the qualitative cartesian space. Based on factor logic, the justice system of the function structure analysis was built. It is proved that the system function logic structure is a minimal disjunctive normal form from the system function analysis. The relationship is discussed between the classification reasoning method of inward analysis of system structure in space fault tree (SFT) and the function structure analysis. The process of inward analysis of system function structure in SFT is realized by the function structure analysis theory. The original classification reasoning method is enhanced to the level of logic mathematics. The system function structures of both incomplete information and complete information are analyzed with the method respectively, and the minimal disjunctive normal forms obtained from the analyses are \(T = x_{1}x_{4} + x_{3}x_{5} + x _{1}x_{2}\) and \(T = x_{1}x_{4} + x_{3}x_{5} +x_{1}x_{2} x_{3}\). The findings indicate that there are some implicit relationships between \(A_{3}\) and \(A_{2}\) , \(A_{1}\). They added the phase set to the background sets and converted uncertain problems to certain ones.
Similar content being viewed by others
Abbreviations
- SFT:
-
Space fault tree
- \(f_{1}\),...\(,f_{n}\) :
-
1th\(\sim i \)th condition factors
- U :
-
Universe
- F :
-
A set of condition factors
- g :
-
Result(function) factors
- \(f_{i}\) :
-
\(U\rightarrow X(f_{i})\): \(f_{i}(u)\) express phase of system components \(A_{i}\) in a moment
- \(A_{i}\) :
-
ith component
- X(f):
-
Phase space
- \(\nabla \) :
-
Comprehensive operation
- \(\Delta \) :
-
Decomposition operation
- \(B=F(U)\) :
-
Background relationship between the factors
- [a]=\(f_{j}^{-1}(a)\) :
-
Structure factor phase
- \(d=h\)/m :
-
Decision ratio
- \(L_{f}\) :
-
Factor logic system
- S= X \(=X(f_{1})\cup \)...\(\cup X(f_{n})\) :
-
Symbol set of factor logic system
- \(x_{ij}\) :
-
Phase
- ij :
-
The word \(x_{ij}\) is the ith phase of factor \(f_{j}\).
- F(S):
-
Formula set
- (F(S), \(\vee \), \(\wedge \), \(\lnot \), \(\rightarrow )\) :
-
Boolean algebra
- \(x_{i(1)j(1)}\wedge \)...\(\wedge x_{i(k)j(k)}\) :
-
Conjunction, simply \(x_{i(1)j(1)}\)...\(x_{i(k)j(k)}\)
- \(r_{1}\vee \)...\(\vee r_{t}\) :
-
Disjunction, general \(r_{1}\)+...+\(r_{t}\)
- p :
-
A tautology form
- b :
-
A disjunctive normal form
- \(W_{2}\) :
-
Value domain
- MP :
-
Reasoning rules
- \(\varSigma \) :
-
Axiom sets
- W :
-
Assignment set
- \(\varGamma \)-theorem:
-
The subsystem of the theorem
- \(\Gamma \)1:
-
Word name axiom
- \(\Gamma \)2:
-
Background axiom
- \(F_{b}(S)=\{{p\wedge b}{\vert }{p\in F}(S)\}\) :
-
Formula set of factor logic
- \(F^{+}(S)\) :
-
Proposition set or predicate set
- \(U'=U_{/F}\) :
-
Quotient space
- \(P^{\mathrm{c}}\) :
-
A subset of B
- T :
-
Positive class
- F :
-
Negative class
- CSFT:
-
Continuous space fault tree
- DSFT:
-
Discrete space fault tree
- IASS:
-
Inward analysis of system structure
- IASFS:
-
Inward analysis of system factor structure
- IASCS:
-
Inward analysis of system component structure
- 01SFT:
-
01 Space fault tree
- TM:
-
Table method
- IIA:
-
Item by item analyses
- CRM:
-
Classification reasoning method
- O :
-
A system
- \(A_{1}\sim A_{N}\) :
-
N basic events or components compose system O
- \(x_{j}\) :
-
Component normal state
- x \(_{j}\) :
-
Component failure state
References
Iwasaki, T.: Robust performance analysis for systems with structured uncertainty. Int. J. Robust Nonlinear Control 6(2), 85–99 (1996)
Dang, Y.Z.: A transfer expansion method for structural modeling in systems analysis. Trans. Syst. Eng. 13(1), 66–74 (1998)
Lu, Z., Yu, Y., Woodman, N.J.: A theory of structural vulnerability. Struct. Eng. 77(18), 17–24 (1999)
Agarwal, J., Blockley, D.I., Woodman, N.J.: Vulnerability of 3D trusses. Struct. Saf. 23(3), 203–220 (2001)
Wang, H., Xiao, J.: Structure identification in fuzzy system based on multi-resolution analysis. J. Syst. Simul. 16(8), 1630–1632 (2004)
Hosack, G.R., Hayes, K.R., Dambacher, J.M.: Assessing model structure uncertainty through an analysis of system feedback and bayesian networks. Ecol. Appl. 18(4), 1070–1082 (2008)
Tolone, W.J., Johnson, E.W., Lee, S.W.: Enabling system of systems analysis of critical infrastructure behaviors. In: The 3rd International Workshop on Critical Information Infrastructures Security, pp. 24–35. Springer-Verlag, Rome (2009)
Tao, H.Q., Han, G.J., Zou, M.: The system analysis of solar inverter based on network controlling. In: International Conference on Challenges in Environmental Science and Computer Engineering. Wuhan, CPS, pp. 243–246 (2010)
Yi, X.J., Dhillon, B.S., Shi, J., Mu, H.N., Dong, H.P.: Reliability analysis method on repairable system with standby structure based on goal oriented methodology. Qual. Reliab. Eng. Int. 32(7), 2505–2517 (2016)
Li, M.H., Xia, J.B., Chen, C.Q.: A new system structure analysis arithmetic with reachable effect factor. Transa. Beijing Inst. Technol. 32(2), 135–140 (2012)
Li, M.H., Xia, J.B., Chen, C.Q.: System structural analysis of communication networks. J. Beijing Univ. Posts Telecommun. 35(3), 38–41 (2012)
Li, Y.L., Ma, F., Geng, X.G.: Effect of annular clearance inside the double damping chamber on the dynamic characteristics of a rock drill damping system. J. Univ. Sci. Technol. Beijing (2014). http://www.cnki.net/kcms/detail/j.issn1001-053x.2014.12.015.html
Bu, W.S., Zu, C.L., Lu, C.X.: Decoupling control strategy of bearingless induction motor under the conditions of considering current dynamic characteristics. Control Theory Appl (2014). http://www.cnki.net/kcms/detail/44.1240.TP.20150115.1603.016.html
Qiu, S.Q., Sallak, M., Schön, W., et al.: Graphical models for reliability, availability, maintainability, and safety assessment and risk analysis of systems of systems under uncertainty. Insight 18(4), 17–19 (2015)
Ge, D.C., Yang, Y.H.: Reliability analysis of non-repairable systems modeled by dynamic fault trees with priority AND gates. Appl. Stoch. Models Bus. Ind. 31(6), 809–822 (2015)
You, D.Z., Pham, H.: Reliability analysis of the CNC system based on field failure data in operating environments. Qual. Reliab. Eng. Int. 32(5), 1955–1963 (2016)
Wang, P.Z., Sugeno, M.: The factors field and background structure for fuzzy subsets. Fuzzy Math. 1(2), 45–54 (1992)
Wang, P.Z.: Factor space and description of concepts. J. Softw. 1(1), 30–40 (1992)
Wang, P.Z., Li, H.X.: A Mathematical Theory on Knowledge Representation. Tianjin Scientific and Technical Press, Tianjin (1994)
Wang, P.Z.: Factor spaces and factor data-bases. J. Liaoning Tech. Univ. (Nat. Sci.) 32(10), 1–8 (2013)
Wang, P.Z., Guo, S.C., Bao, Y.K., et al.: Factorial analysis in factor space. J. Liaoning Tech. Univ. (Nat. Sci.) 32(10), 1–8 (2013)
Bao, Y.K., Ru, H.Y., Jin, S.J.: A new algorithm of knowledge mining in factor space. J. Liaoning Tech. Univ. (Nat. Sci.) 33(8), 1141–1144 (2014)
Wang, H.D., Wang, P.Z., Guo, S.C.: Improved factor analysis on factor spaces. J. Liaoning Tech. Univ. (Nat. Sci.) 34(4), 539–544 (2015)
Wang, P.Z.: Factor spaces and data science. J. Liaoning Tech. Univ. (Nat. Sci.) 34(2), 273–280 (2015)
Wang, H.D., Guo, S.Z.: Feedback extension-enveloping in factor spaces and its improvements. Fuzzy Syst. Math. 29(1), 83–90 (2015)
Cui, T.J., Ma, Y.D.: Research on multi-dimensional space fault tree construction and application. China Saf. Sci. J. 23(4), 32–37 (2013)
Cui, T.J., Ma, Y.D.: Definition and understand on size set domain and cut set domain based on multi-dimensional space fault tree. China Saf. Sci. J. 24(4), 27–32 (2014)
Cui, T.J., Ma, Y.D.: Research on the maintenance method of system reliability based on multi-dimensional space fault tree. J. Syst. Sci. Math. Sci. 34(6), 682–692 (2014)
Cui, T.J., Ma, Y.D.: System security classification decision rules considering the Scope attribute. J. Saf. Sci. Technol. 10(11), 6–9 (2014)
Cui, T.J., Ma, Y.D.: Research on the importance element in the system under the influence of the macro factors. Math. Pract. Theory 44(18), 124–131 (2014)
Cui, T.J., Ma, Y.D.: Research on the classification method about coal mine safety situation based on the factor space. Syst. Eng. Theory Pract. 35(11), 2891–2897 (2015)
Cui, T.J., Ma, Y.D.: Research on the method of system fault location based on space fault tree. Math. Pract. Theory 45(21), 135–142 (2015)
Cui, T.J., Ma, Y.D.: Determine the system repair rate and optimization based on SFT and DFT. Math. Pract. Theory 45(22), 140–150 (2015)
Cui, T.J., Ma, Y.D.: Definition of the attribute circle in factors space and its application in object classification. Comput. Eng. Sci. 37(11), 2170–2174 (2015)
Li, S.S., Cui, T.J.: Research on the cloud fault probability distribution trend in SFT. J. Saf. Sci. Technol. 11(11), 18–24 (2015)
Cui, T.J., Ma, Y.D: SFT concept reconstruction and its significance based on fuzzy structured element. Appl. Res. Comput. (2016). http://www.cnki.net/kcms/detail/51.1196.TP.20150929.1149.544.html
Wang, F., Cui, T.J.: Inward analysis of system factor structure based on item by item analysis in 01SFT theory. China Saf. Sci. J. 25(6), 51–56 (2015)
Li, S.S., Cui, T.J.: System reliability assessment method based on space fault tree. J. Saf. Sci. Technol. 11(6), 86–92 (2015)
Cui, T.J., Ma, Y.D.: The definition and cognition of the factor importance distribution in continuous space fault tree. China Saf. Sci. J. 25(3), 24–28 (2015)
Cui, T.J., Ma, Y.D.: The method research on decision criterion discovery of system reliability. Syst. Eng. Theory Pract. http://www.cnki.net/kcms/detail/11.2267.N.20150512.1412.109.html
Cui, T.J., Wang, P.Z.: Structured representation methods for 01 space fault tree. J. Dalian Jiaotong Univ. 37(1), 82–87 (2016)
Acknowledgements
The author wishes to thank all his friends for their valuable critics, comments and assistances on this paper. This study was partially supported by the grants (Grant Nos. 51474121, 61350003, 51674127) from the Natural Science Foundation of China.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cui, TJ., Wang, PZ. & Li, SS. The function structure analysis theory based on the factor space and space fault tree. Cluster Comput 20, 1387–1399 (2017). https://doi.org/10.1007/s10586-017-0835-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10586-017-0835-2