雷达部队是国家防空体系和空军指挥系统的重要组成部分，也是军队作战指挥和武器控制的重要保障力量。雷达属于高技术装备，具有科技含......

本文主要讨论基于投影时序逻辑PTL(Projection Temporal Logic)的MSVL(Modeling, Simulation and Verification Language)建模、仿......

...

现在，解决工程力学问题的方法有三种：理论推演、数值计算和实验。由于实验的成本高，通常仅用于发展理论和验证数值计算的方法、程序时......