软件工程 释文 automated verification tool 自动验证工具
- solar neighbourhood
- solar network magnetic field
- solar neutrino
- solar neutrino deficit
- solar neutrino flux
- solar neutrino problem
- solar neutrino unit
- solar noise
- solar nutation
- solar oblateness
- solar observation
- solar occultation flux Fourier transform infrared spectrometer
- solar optical telescope
- Solar Orbiter
- solar orbit telescope
- solar oscillation
- solar outburst
- solar paddle
- solar panel
- solar parallax
- solar particle ejection
- solar particle event
- solar patrol
- solar phase angle
- solar photosphere