这些核设施确实是伊朗公开的，在国际原子能机构备案的。