A Diffusion-Based Time-Frequency Dual-Stream Contrastive Learning Model for Multivariate Time Series Anomaly Detection | Synapse