验证软件相关论文
雷达部队是国家防空体系和空军指挥系统的重要组成部分,也是军队作战指挥和武器控制的重要保障力量。雷达属于高技术装备,具有科技含......
本文主要讨论基于投影时序逻辑PTL(Projection Temporal Logic)的MSVL(Modeling, Simulation and Verification Language)建模、仿......
目的:探讨计划验证系统Mobius验证系统软件的调试方法,并对其临床应用结果进行分析.方法:以三维水箱测量的数据为基准,对Mobius验......
目的:探讨计划验证系统Mobius验证系统软件的调试方法,并对其临床应用结果进行分析。方法:以三维水箱测量的数据为基准,对Mobius验......
现在,解决工程力学问题的方法有三种:理论推演、数值计算和实验。由于实验的成本高,通常仅用于发展理论和验证数值计算的方法、程序时......