CAJ | 학술논문

任务可靠性反映武器系统在规定的任务时间和维修保障条件下完成规定作战或训练任务的能力,因此对于评价武器系统的综合效能具有重要意义.将概率模型检验技术引入到复杂武器系统的任务可靠性评估过程中,以某型弹炮结合武器系统为例,建立基于进程代数语言的系统演化过程描述模型:在此基础上,通过连续随机逻辑语言给出任务可靠度、任务可用度、任务效能等多种评价指标的形式化描述公式,借助概率模型检验器实现评价指标的自动计算.该方法能够有效地简化复杂武器系统任务可靠性的评估建模过程和各种评价指标的推导计算过程,并且在求解过程中自动地应用多种优化技术,大幅度提高计算效率.与传统的分析计算方法相比,该方法更适于在工程实践中应用.
임무가고성반영무기계통재규정적임무시간화유수보장조건하완성규정작전혹훈련임무적능력,인차대우평개무기계통적종합효능구유중요의의.장개솔모형검험기술인입도복잡무기계통적임무가고성평고과정중,이모형탄포결합무기계통위례,건립기우진정대수어언적계통연화과정묘술모형:재차기출상,통과련속수궤라집어언급출임무가고도、임무가용도、임무효능등다충평개지표적형식화묘술공식,차조개솔모형검험기실현평개지표적자동계산.해방법능구유효지간화복잡무기계통임무가고성적평고건모과정화각충평개지표적추도계산과정,병차재구해과정중자동지응용다충우화기술,대폭도제고계산효솔.여전통적분석계산방법상비,해방법경괄우재공정실천중응용.