SpecCTMC 采用精确的接受-校正程序，确保最终采样结果严格服从原始连续时间马尔可夫链的联合分布。