用区间套定理证明Darboux定理

Darboux定理是数学分析中的一个重要定理.在已有文献的基础上,对该定理作了进一步的研究,利用区间套定理给出了它的新的证明方法.证明思路与现有的其它证明思路是不同的.

基于数据的雷达产品快速排故技术研究

随着电子信息技术的不断发展,雷达产品的集成度和复杂度日益提高,产品交付的资料难以全面有效地指导用户排查产品故障,而在产品使用过程中,大量的故障数据并没得到有效利用。基于数据的雷达产品快速排故技术是以雷达产品大量使用数据为主要输入,利用分层推理集合搜索技术模型,从雷达产品的层次结构入手,分析功能故障与系统故障的关系,利用有向图的传播路径,形成故障相关性矩阵。依据故障相关性矩阵,通过故障现象等数据输入,推理出有效的排故策略。形成故障排查指导手册等形式的指导文件,以指导用户快速定位故障,解决问题,提升用户自身的排故能力。

装备备件方案及使用可用度的评价方法

本文运用马尔可夫过程理论,对武器装备使用状态建立了马氏链模型,分别以装备长期稳定后出现有故障无备件的概率和稳态情形时处在正常工作状态的概率,作为指标来评价备件方案和使用可用度。该方法为科学合理地确定备件池的备件种类和数量、优化备件申领时间等提供决策支持。

用确界原理证明Darboux定理

利用确界原理给出了它的新的证明方法,其证明思路与现有的其它证明思路是不同的.