摘要：状态空间复杂、多过程并发执行和子过程反复迭代的特点，使航天器发射工程实施全过程的任务可靠性评估难以量化．通过构建多个并发执行的时间连续的Markov链对航天器发射工程状态转移约束关系进行描述，采用互模拟时间等价关系简化航天器发射工程实施过程的状态空间．利用连续时间Markov链的概率转移特性进行建模与分析，得到了全系统、全过程的航天器发射任务可靠度模型．数值验证表明该模型可用于航天器发射任务工期推演、可靠度评估以及薄弱环节分析．

关键词：航天器发射 互模拟 markov链 任务可靠度 状态转移概率 

单位：国防科学技术大学信息系统与管理学院 长沙410073 酒泉卫星发射中心 酒泉732750