白雪0001 马丁·弗伦泽 詹乃军（Naijun Zhan） 塞尔吉·博戈莫洛夫 碧灿霞 随机常微分方程的安全性验证。 4090-4101 2020 39 IEEE传输。计算。辅助设计。集成。电路系统。 11 https://doi.org/10.109/TCAD.2020.3013135 https://www.wikidata.org/entity/Q115263803 db/journals/tcad/tcad39.html#XueFZBX20