Технология электронных формул в вероятностном анализе стрельбы