Формальная модель вклада разведки в разработку физиками ядерного и термоядерного оружиястатья