马尔可夫过程在型号AIT合理性检查中的应用

针对型号AIT合理性不能定量评价的现状,提出将其作为马尔可夫过程来处理的方法。以经典马氏四元组为基本框架建模。采用领域知识训练模型,提高模型优化能力和适用性。通过报酬的期望平均来表征AIT的优劣,以此判断其合理性。应用实例表明,方法效果明显,结合自动化手段,具有可观的应用前景。