Spec-Zone.ru › Ada 95
Справочник Ada 95

G.2.5 Требования к производительности генератора случайных чисел

В строгом режиме производительность Numerics.Float_Random и Numerics.Discrete_Random должна соответствовать указанным здесь требованиям.

Требования к реализации

Два разных вызова процедуры Reset, зависящей от времени, должны перевести генератор в разные состояния, при условии, что вызовы разделены по времени не менее чем на одну секунду и не более чем на пятьдесят лет.
Представления состояний генератора в реализации и алгоритмы для генерации случайных чисел должны обеспечивать период не менее 231-2; гораздо более длинные периоды желательны, но не являются обязательными.
Реализации Numerics.Float_Random.Random и Numerics.Discrete_Random.Random должны пройти не менее 85% отдельных испытаний в наборе статистических тестов. Для Numerics.Float_Random тесты применяются непосредственно к сгенерированным значениям с плавающей точкой (т.е. они не преобразуются в целые числа сначала), а для Numerics.Discrete_Random — к сгенерированным значениям различных дискретных типов. Каждый набор тестов выполняет 6 различных тестов, каждый из которых повторяется 10 раз, что в итоге даёт 60 отдельных испытаний. Отдельное испытание считается пройденным, если значение хи-квадрат (или другой статистический показатель), рассчитанное для наблюдаемых счётов или распределения, попадает в диапазон значений, соответствующих 2,5 и 97,5 процентилям для соответствующих степеней свободы (т.е. оно не должно быть слишком высоким или слишком низким). Для определения степеней свободы категории измерения объединяются всякий раз, когда ожидаемые счёты составляют менее 5.


Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API