`

СПЕЦІАЛЬНІ
ПАРТНЕРИ
ПРОЕКТУ

Чи використовує ваша компанія ChatGPT в роботі?

BEST CIO

Определение наиболее профессиональных ИТ-управленцев, лидеров и экспертов в своих отраслях

Человек года

Кто внес наибольший вклад в развитие украинского ИТ-рынка.

Продукт года

Награды «Продукт года» еженедельника «Компьютерное обозрение» за наиболее выдающиеся ИТ-товары

 

Виталий Кобальчинский

С рисками округления покончено?

+77
голосов

Мы живём в эпоху удивительных открытий во всех отраслях человеческой деятельности, вызванных прогрессом технологий анализа больших объёмов информации. Профессия с непереводимым на русский язык названием Data Scientist стала самой высокооплачиваемой и востребованной в мире. Но оборотной стороной популярности и массовости является узкая специализация и растущая «численная наивность», как это называет «Отец плавающей запятой» — заслуженный профессор Калифорнийского университета в Беркли Уильям Кахан (Willam M. Kahan).

Профессионалы, свободно ориентирующиеся в своих областях науки, техники, статистики, финансов, медицины и пр., наивно используют в своих программах математически корректные, но численно уязвимые формулы. В своей повседневной деятельности, в Вебе, в облаке, пользуясь навигационным оборудованием на дороге или строя планы с учётом прогноза погоды, мы полагаемся на разработанное такими профессионалами ПО, с заложенными в него «численными минами».

Насколько часто приходится иметь дело с неточными результатами вычислений никому не известно. Судить об этом можно лишь по отдельным случаям, получившим широкую огласку. Среди них: 28 погибших в Саудовской Аравии из-за неточного наведения ракеты Patriot, ложный двукратный скачок индексов на Ванкуверской фондовой бирже в 1983 г., отвергнутый в 90-е годы NASA на стадии цифровой симуляции проект сверхзвукового транспортника, некорректная встроенная функция round(x), использовавшаяся в популярном ПО MATHLAB на протяжении десяти лет с 1988 по 1998 гг.

Профессор Алан Йоргенсен (Alan Jorgensen), столкнувшийся с ошибками в вычислениях с плавающей запятой при тестировании процессорной архитектуры в 1975 г., спустя несколько десятилетий добился успеха в решении этой все ещё актуальной проблемы.

Его фирма Bounded Floating Point (BFP) анонсировала получение «революционного патента» на конструкцию вычислительного устройства, которое «впервые в истории компьютеров обеспечивает представление реальных чисел с точностью до последнего десятичного знака».

Как заявил Йоргенсен, использование предложенной им системы гарантирует, что числа, отображаемые в формате с плавающей запятой, точны вплоть до плюс/минус единицы в последнем знаке. BFP рассчитывает два предела, между которыми находится нужное реальное число, что позволяет контролировать ошибку округления в реальном времени на каждом этапе вычислений.

Эта ошибка записывается в дополнительном поле, введённом в стандартный арифметический формат с плавающей запятой ANSI/IEEE 754-2008. Если ошибка выходит за пределы допустимого, текущий результат и все последующие отмечаются как неточные.

Йоргенсен утверждает, что его система произведёт переворот в компьютерной индустрии, в первую очередь, в тех её областях, которые связаны с интенсивными расчётами — прогнозирование погоды, сервисы глобального позиционирования и автономные машины.

Ready, set, buy! Посібник для початківців - як придбати Copilot для Microsoft 365

+77
голосов

Напечатать Отправить другу

Читайте также

 

Ukraine

 

  •  Home  •  Ринок  •  IТ-директор  •  CloudComputing  •  Hard  •  Soft  •  Мережі  •  Безпека  •  Наука  •  IoT