指控系统综合验证法研究

指控系统验证是以指控系统为研究对象的新兴专有概念,用于检验指控系统是否满足作战需求。总结提炼了指控系统验证的概念,指出其具有的对抗性、系统性、真实性的三大特征。在分析现有指控系统验证方法优缺点的基础上,提出了指控系统综合验证法,并对该方法的关键环节进行了详细分析;从效费比、可信性、完备性和重用性四个方面进行了对比分析,指出以作战仿真为基础的实兵、模拟环境验证法是指控系统综合验证法的重点,对该方法的阶段划分、主要流程进行了详细分析;最后设计了验证支持系统,对其体系结构和支撑技术进行了详细说明,重点分析了验证支持系统的仿真实现,从指控系统与作战仿真系统的无缝连接技术、仿真环境的可视化构建技术、高逼真度的作战仿真技术以及仿真控制等方面进行了具体描述。开展的指控系统综合验证法研究对于促进陆军指控系统信息化建设、探索指控系统应用有着较高的意义。

综合验证对比测试法在大庆油田X采油厂的应用

针对单一的生产测井方法不能准确判断油、水井的异常情况,在现有的常规测试方法中,通过组合多种测试方法,对异常油、水井或措施井进行综合验证对比实验。采用综合验证对比20余井次,结果表明,应用综合验证对比方法可以准确反映井下生产状态、管柱状态、措施效果的真实情况,为采油厂进一步措施提供重要依据。综合验证对比测试法为油水井井下诊断提供重要方法依据。

高效能ESCA协处理器验证技术研究

处理器结构的日益复杂使得对处理器功能进行有效验证变得越来越重要和关键。基于一款高效能计算协处理器ESCA,讨论了边界值验证、等价类验证和决策表验证等三类验证方法在ESCA处理器功能验证中的具体实现,并针对ESCA处理器中不同功能模块的基本特性提出了一种综合验证方法。实验结果表明,采用综合验证方法进行的ESCA处理器功能验证,不仅高效保证了验证案例集的生成,而且以较少的验证工作量实现了100%功能覆盖率,有效减少了ESCA处理器功能验证时间,提高了验证效率。