基于概率模型检验的复杂武器系统任务可靠性评估方法研究

来源 :机械工程学报 | 被引量 : 0次 | 上传用户:cattlecattle
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
任务可靠性反映武器系统在规定的任务时间和维修保障条件下完成规定作战或训练任务的能力,因此对于评价武器系统的综合效能具有重要意义。将概率模型检验技术引入到复杂武器系统的任务可靠性评估过程中,以某型弹炮结合武器系统为例,建立基于进程代数语言的系统演化过程描述模型;在此基础上,通过连续随机逻辑语言给出任务可靠度、任务可用度、任务效能等多种评价指标的形式化描述公式,借助概率模型检验器实现评价指标的自动计算。该方法能够有效地简化复杂武器系统任务可靠性的评估建模过程和各种评价指标的推导计算过程,并且在求解过程中自动地应用多种优化技术,大幅度提高计算效率。与传统的分析计算方法相比,该方法更适于在工程实践中应用。
其他文献
广西电网的电源和负荷中心相距较远,调压手段不足,存在电压稳定性薄弱的隐患,故对广西电网进行详尽的电压稳定分析十分必要。综合运用灵敏度、奇异值和裕度指标,针对2001年和
本文用氯乙醇作为醚化剂在碱性条件下与甲壳素进行醚化,合成了具有良好水溶性的羟乙基甲壳素(hydroxyethyl chitin,HECH)。由单因素实验确定了该醚化反应的主要影响因素,用正交实
为提高微电子机械系统(Micro-electro-mechanical systems,MEMS)压电传声器的灵敏度和成品率,提出一种优化设计的圆形振动膜MEMS压电传声器。采用硼扩散方法实现振动膜的圆形
粘胶纤维的生产是一个耗水量较大的生产过程,做好节水工作关系到生产的成本和环境的保护,是企业发展的关键问题之一。结合某粘胶纤维厂生产实际,对粘胶纤维生产过程中的各个
扬琴(洋琴)作为一种遍及全球的乐器,无论从其历史的渊源还是流变的轨迹看,都是世界各民族共同创造的产物。但其参与创造的方式则是多种多样的。以历史悠久文化灿烂著称于世的中华
介绍了抗紫外纤维及织物的加工技术原理,并对抗紫外纤维的制造方法及织物的抗紫外后整理技术进行了探讨。
课程创新是高校人才培养的基础和关键,创新是高校课程设置的必然要求,创新有利于学生能力的强化。当前。制约高校课程建设存在的主要因素是,课程目标定位不合理,课程设置的模式简
法国知识界精英对俄罗斯语言、文化和历史研究的兴趣由来已久,早在18世纪中叶起就开始在法国展现,这一点我们也在其他欧洲国家,尤其是日耳曼语系国家中可以看到。关于俄国历
曾朴的《孽海花》,作为晚清四大谴责小说之一,表现出与以往中国历代小说甚至同时代的谴责小说明显不同的审美方式,那就是伦理判断与政治判断的融合与倾斜。