共 50 条
- [43] Thermal design verification of the HELIOS 2 HR instrument 4TH INTERNATIONAL SYMPOSIUM ON ENVIRONMENTAL TESTING FOR SPACE PROGRAMMES, PROCEEDINGS, 2001, 467 : 197 - 205
- [44] Automated verification of spacecraft telemetry data 2014 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH (IEEE ICCIC), 2014, : 456 - 459
- [45] Runtime verification for autonomous spacecraft software 2005 IEEE Aerospace Conference, Vols 1-4, 2005, : 507 - 516
- [46] Thermal control design and analysis for the femtosecond optical frequency comb of spacecraft ADVANCED FIBER LASER CONFERENCE, AFL2022, 2022, 12595
- [50] Spacecraft Thermal Design Method Based on High Precision Analytical Solution Kung Cheng Je Wu Li Hsueh Pao/Journal of Engineering Thermophysics, 2023, 44 (05): : 1395 - 1399