本文以一体化作战系统的可靠性评估作为研究目标,从状态事件故障树(State/Event Fault Tree,SEFT)定性分析、转换过程存在的状态空间爆炸问题、生成Markov状态转移图几个方面进行了研究,主要内容如下:首先,提出一种面向Markov的SEFT定性分析方法。Markov状态转移图的生成需要考虑导致系统失效的关键状态事件以及状态事件的顺序逻辑关系。针对现有的SEFT树定性分析方法在体现构件状态与事件顺序逻辑关系方面的不足,提出一种面向Markov的SEFT定性分析方法。通过建立端口映射表生成构件与逻辑门的端口映射关系,定义逻辑门转换规则限定状态和事件的次序关系,根据顺序逻辑推理规则获得导致系统失效的最小状态事件序列,即最小扩展割序集。实例表明该扩展割序集可以体现各失效事件和状态间的顺序逻辑关系,符合作战系统客观实际的需要。同时也为Markov状态转移图的生成创造了前提条件。其次,提出一种基于时序关系的Markov状态转移图生成算法。针对将SEFT生成Markov状态转移图的过程中存在的状态空间爆炸问题,本文提出基于时序关系的Markov状态转移图生成算法。根据时序规则获得系统内部触发类型事件和被触发类型事件的时序关系,通过分析时序关系获得系统活动图,根据连接表和最小割集生成Markov状态转移图。实例表明该方法有效的缓解了状态空间爆炸问题,验证了该算法的可行性与稳定性。但该算法为了便于生成Markov状态转移图,限制逻辑门均为纯状态逻辑门。再次,提出系统活动图到Markov状态转移图的生成算法。针对基于时序关系的Markov状态转移图生成算法无法处理混合逻辑门的局限性,改进Markov状态转移图生成算法,结合最小割序集和系统活动图,提出系统活动图到Markov状态转移图的转换算法,建立基于Markov的作战系统一体化可靠性评估模型。利用Markov模型可靠性评估算法进行系统可靠性评估,求解系统失效概率随时间的变化情况。最后,基于作战系统一体化可靠性评估模型,设计与实现了作战系统一体化可靠性评估系统软件。以作战系统反潜任务为例,构建作战系统的故障模型,对其进行可靠性评估。实验结果表明,基于Markov的作战系统一体化可靠性评估模型为作战系统可靠性评估提供了一种新的有效途径。