多态关联系统模型检验方法

夏胜平; 谢红卫

doi:10.13951/j.cnki.37-1213/n.2000.03.003

烟台大学学报（自然科学与工程版） ›› 2000, Vol. 13 ›› Issue (3) : 164 -170. DOI: 10.13951/j.cnki.37-1213/n.2000.03.003

多态关联系统模型检验方法

夏胜平,谢红卫

作者信息 +

Author information +

文章历史 +

摘要

多态关联系统可靠性分析是可靠性理论一个前沿研究课题 .其可靠性逻辑模型满足一定的关联约束条件 ,这样的系统有许多优良的性质 ,从而便于多态关联系统可靠性分析 ,因此只有在所建模型满足这些关联约束的条件之下 ,多态关联系统可靠性分析才得以顺利进行 .针对这种情况 ,本文研究了对多态关联系统可靠性逻辑模型单调性和关联性进行检验的方法