Новости 22 февраля 2004 года

Собственно, после появления в розничной продаже процессоров Prescott 2.8E и Prescott 3.0E настало время подвести первые итоги глобальной статистики разгона. Тем более, что максимальные достижения в этой области традиционно демонстрируют японские мастера криогенного разгона, и именно в этом регионе процессоры Prescott начинают получать наибольшее распространение - по номенклатуре продаваемых моделей :).

Для анализа новейших достижений мы воспользовались данными, занесенными в новую версию статистики разгона сайта VR-Zone, где любой желающий может получить выборку по результатам разгона интересующего его процессора. Примечательно, что в базу данных уже занесены "чистые страницы" для таких процессоров, как Prescott 3.6 ГГц и спектра моделей Celeron на ядре Prescott.

Между тем, применение жидкого азота, сухого льда и фреона для охлаждения разгоняемых процессоров Prescott позволило выявить некоторые тенденции, высказываемые ранее в рамках обсуждения первых экспериментов по разгону.

Во-первых, модель Prescott 2.8E на степпинге C0 действительно крайне неохотно преодолевает рубеж 4.2 ГГц даже с использованием экстремального охлаждения в виде "фреонки" или жидкого азота. Характерно, что в некоторых случаях экземпляры Prescott 2.8E разгоняются до частот 4.0-4.2 ГГц только при использовании мощного воздушного охлаждения. Другими словами, степпинг С0 достаточно ограничен в разгонном потенциале, поскольку лучшие его представители разгоняются до сопоставимых частот при совершенно разных способах охлаждения.

Есть в этой статистике и приятные достижения - известный мастер экстремального разгона по имени Coolaler разогнал процессор Prescott 3.2E до частоты 4.4 ГГц с применением жидкого азота.

Кроме того, один из японских криогенных гуру по имени OMEGA смог разогнать серийный образец Prescott 3.0E (SL79L) до частоты 4.6 ГГц с использованием комбинированного охлаждения из сухого льда и жидкого азота:

Поскольку процессоры Prescott 3.0E начали появляться в японской рознице лишь на минувшей неделе, можно предположить, что свежие партии Prescott несут некоторое улучшение разгонного потенциала, хотя судить об этом еще рано.

Частота 4.6 ГГц не является абсолютным рекордом для процессоров Pentium 4 - представители ядра Northwood разгонялись под воздействием жидкого азота до частот порядка 5 ГГц. Надеемся, что более совершенные ревизии ядра Prescott позволят ему побить эти рекорды, ведь удлиненный конвейер Prescott предназначен для более уверенного наращивания частот.

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

Итак, знакомые с планами Intel на 2004 год читатели уже знают, что младшей моделью Pentium 4 в обозримой перспективе должны стать процессоры с частотой 2.8 ГГц. Характерно, что процессоры на ядре Prescott с частотой 2.8 ГГц существуют в двух вариантах: модель с 800 МГц шиной, 1 Мб кэша и поддержкой Hyper-Threading, и модель с 533 МГц шиной, 1 Мб кэша без поддержки Hyper-Threading (так называемый Pentium 4 2.8A). До сих пор считалось, что именно последний процессор станет "надеждой и опорой" тех, кому суждено довольствоваться 533 МГц шиной.

Перспективы семейства Northwood тоже обозначены достаточно четко - в этом квартале младшим официально выпускаемым процессором должен был стать Pentium 4 2.6C, уже в августе он будет снят с производства. Более того, программа по снятию с производства процессоров Pentium 4 2.4A (400 МГц шина) и Pentium 4 2.4B (533 МГц шина) уже начала действовать, и фактически, младшим представителем Northwood остается Pentium 4 2.4C с 800 МГц шиной. Поскольку его цена опустилась ниже планки $163, популярностью эти процессоры уже не пользуются, лишь оверклокеры продолжают за ними охотиться с переменным успехом.

Неужели Intel действительно оставит покупателей без возможности приобретения дешевых и прогрессивных процессоров уже к середине года? Под прогрессивностью мы понимаем качества, присущие ядру Prescott, хотя по многим критериям эти процессоры нельзя назвать супер-удачными. Не будем забывать, что уже в мае ядро Prescott перейдет на степпинг D0, и проблемы с масштабированием по частоте и тепловыделением удастся частично решить.

Как выясняется, семейство процессоров Prescott с 1 Мб кэша и 533 МГц шиной не будет состоять из единственной модели Pentium 4 2.8A. Процессоры Celeron с 533 МГц шиной и 256 Кб кэша мы в расчет не берем - к известной медлительности ядра они добавляют малый объем кэша, прогнозы по уровню их быстродействия достаточно неутешительны.

Так вот, отправившись вот на эту страницу официального сайта Intel, можно обнаружить упоминание о процессоре с маркировкой, соответствующей последовательности символов BX80546PE2400E:

Вспомним незатейливую "азбуку" маркировок процессоров Pentium 4, чтобы точно идентифицировать данную модель:

• BX -> "коробочная версия", BOX;
• 80546 -> 0.09 мкм ядро Prescott;
• PE -> 533 МГц шина;
• 2400 -> тактовая частота процессора равна 2.4 ГГц;
• E -> "фирменный" суффикс ядра Prescott.

Другими словами, официальный сайт Intel намекает на близость появления процессора Prescott, работающего на частоте 2.4 ГГц и поддерживающего 533 МГц шину. Заметим, что в этих списках ранее появлялись упоминания о процессорах Northwood 3.4 ГГц и Pentium 4 XE 3.4 ГГц - в те дни, когда информация о планах выпуска этих моделей существовала лишь неофициально. В общем, источник достаточно надежный :).

Такого рода информацию можно было бы посчитать ошибкой или провокацией, если бы не многочисленные предложения процессора Prescott 2.4E в онлайновых магазинах минимум трех регионов: Германии, Канады и Новой Зеландии. В описаниях характеристик этого процессора мы находим упоминание о 1 Мб кэше и разъеме Socket 478:

Стало быть, процессор действительно готовится к анонсу, и это будет не Celeron, а полноценный эквивалент снятого с производства Northwood 2.4B, выполненный на 0.09 мкм ядре Prescott и оснащенный 1 Мб кэша. По логике вещей, технологию Hyper-Threading этот процессор поддерживать не будет - это дозволено лишь моделям с 800 МГц шиной.

О наличии процессора на складе магазины пока не сообщают, но цена уже известна - она колеблется от 142-161 евро (Германия и Австрия) до $174 (Канада, цена указана в долларах США). Другими словами, процессор Pentium 2.4E в коробочном исполнении должен иметь оптовую цену не менее $163, ведь именно эта отметка является минимальной для прайс-листа Intel. Разумеется, что это справедливо лишь для варианта развития событий, согласно которому процессор Prescott 2.4E будет анонсирован официально. С другой стороны, коробочные версии подпольно не производятся, они всегда предназначены для розничного рынка. Любопытно, будет ли процессор комплектоваться тем же мощным боксовым кулером, который мы встречаем в упаковке его старших собратьев? :)

Между прочим, маркировка S-Spec, соответствующая SL7E8, дает достаточно поводов призадуматься. Известно, что последовательность символов SL7Ex Intel выбрала для обозначения моделей на степпинге D0, заняв ряд маркировок с SL7E2 (Prescott 2.8A) по SL7E5 (Prescott 3.2E). Если здесь существует какая-то зависимость (что весьма непредсказуемо), процессор Prescott 2.4E с маркировкой SL7E8 тоже может принадлежать к степпингу D0.

Возможно, маркировка SL7E6 достанется модели с частотой 3.4 ГГц, основанной на степпинге D0. Кстати, данные о версии Prescott 3.4E на степпинге C0 с маркировкой SL7B9 уже появились на официальном сайте Intel. Это значит, что производство данных процессоров набирает обороты, и в марте мы увидим их в розничной продаже.

Предположим, что маркировка SL7E7 достанется какому-то другому процессору на ядре Prescott. Скажем, Prescott 2.66E (FSB 533 МГц), если Intel решится такой выпустить. Тогда маркировка SL7E8 весьма удачно достается модели Prescott 2.4A. Кстати, модель имела бы право называться Prescott 2.4A, если бы существовало только две разновидности Prescott, работающих на этой частоте (как в случае с Pentium 4 2.8A и Pentium 4 2.8E). Для частоты 2.4 ГГц существует четыре разновидности процессоров, и соответствие суффиксов логичнее выстроить следующим образом:

• Northwood 2.4 (FSB 400 МГц) -> Pentium 4 2.4A;
• Northwood 2.4 (FSB 533 МГц) -> Pentium 4 2.4B;
• Northwood 2.4 (FSB 800 МГц) -> Pentium 4 2.4C;
• Prescott 2.4 (FSB 533 МГц) -> Pentium 4 2.4E.

Другими словами, если наделить Prescott 2.4 ГГц обозначением "Pentium 4 2.4E", кривотолков о его сущности возникать не должно.

Попробуем предположить, зачем Intel понадобилось выпускать такой процессор. Судя по всему, к разряду мелкосерийных диковинок с разблокированным множителем его отнести нельзя. Значит, он вполне официально придет на смену Northwood 2.4B. Напомним, что ОЕМ-версия Northwood 2.4B будет выпускаться до 15 июля 2005 года, процессоры будут поставляться на рынок встраиваемых устройств. Возможно, Intel просто предусматривает им замену в виде более экономически выгодного в производстве 0.09 мкм варианта.

Это было бы справедливо для ОЕМ-варианта, но мы совершенно четко видим маркировку коробочной версии Prescott 2.4 ГГц. Возможно, Intel желает насыщать этими процессорами рынки развивающихся стран, и переход на 0.09 мкм техпроцесс в паре с 300 мм пластинами делает эту задачу более рентабельной. Кроме того, 2.4 ГГц процессор на сегодняшний день обладает достаточным потенциалом производительности, и для бюджетных систем будущего он вполне пригоден.

Если говорить о разгонном потенциале процессора Prescott 2.4E, то приверженность 533 МГц шине благоприятна для оверклокеров. Множитель этой модели равен 18х, и при достаточно хорошем частотном потенциале (будем ориентироваться на степпинг D0), уже на частоте системной шины 200 МГц тактовая частота процессора составит 3.6 ГГц. Очень удобное свойство для фиксированных множителей серийных процессоров Pentium 4, в этом наш сегодняшний герой немногим уступает Prescott 2.8A, имеющему множитель 21х. А по цене он даже выигрывает :).

Мы будем следить за развитием темы, ибо младшие процессоры семейства всегда представляют для оверклокеров наибольший интерес.

Еще 18 февраля корпорация Nvidia должна была выпустить новую, кардинально переработанную серию драйверов ForceWare 2.0 (с внутренним номером версии 56.56). Но, как сообщают ее представители, в самый последний момент новые драйверы были отозваны, так как были обнаружены серьезные проблемы в работе/быстродействии Unreal Tournament 2004 Demo. Исправленная версия ForceWare 2.0 должна быть готова к 1 марту, а пока партнерам Nvidia было разрешено при желании распространять первоначальную версию ForceWare 2.0, чем те и воспользовались, выложив драйверы ForceWare 56.55 и 56.56 для Windows 2000/XP для свободного доступа.

Изменений в лучшую сторону в драйвере действительно много. Если кратко, то в драйвере появились такие новшества:

• Профили игр/приложений, позволяющие задать настройки качества/быстродействия для любых приложений и автоматически применять их при запуске. 
• Улучшенная справка и подробные всплывающие подсказки для всех графических настроек.
• Улучшена интеграция в Windows Explorer - доступ к настройкам и их изменение происходят теперь намного проще и быстрее.
• nView 3.5 - значительно доработанное и улучшенное ПО для работы с несколькими дисплеями. Содержит в том числе блокировщик всплывающих окон и значительно расширенные функции управления окнами рабочих столов.
• Легкое включение TV-out - теперь по нажатию правой кнопки мыши на видео можно сразу выбрать переключение на телевизор.
• Поддержка решений на базе PCI Express.
• Автоматический поиск предела разгона видеокарты (по типу ATI Overdrive).
• Возможность отключения пиксельных шейдеров произвольной версии.

Многие находят смешным наличие блокиратора всплывающих окон непосредственно в драйверах видеокарты и я, пожалуй, разделю это мнение .

Что касается быстродействия, то со времен первых исследований особых изменений не произошло: новые драйверы 56-й серии демонстрируют снижение производительности в большинстве бенчмарков сравнительно с драйверами 53.03, но в тяжелых видеорежимах с анизотропной фильтрацией и полноэкранным сглаживанием опережают предшественников. В самой же Nvidia утверждают, что в новом драйвере по сравнению с 53.03 на 108% повышена производительность в игре F1 Challenge на GeForce FX 5200 и 5900XT, а также на 48% в игре Neverwinter Nights на GeForce FX 5950 Ultra.

Отдельно хотелось бы сказать о так называемых драйверах "ForceWare 56.57", информация о которых появилась на множестве популярных интернет-ресурсов. Данные драйверы, очевидно, являются ни чем иным, как модификацией первоначальных 56.55, к которым некий доброжелатель добавил в INF-файлы поддержку мобильных решений серии GeForce GO, посчитав, что это дает ему праву назвать их как "ForceWare My56.57", и сменил версии файлов на "56.57". Путешествуя из новостей одного веб-сайта к другому, приставка "My" отпала. Учитывая отзывы пользователей, успевших опробовать "56.57", мы категорически не рекомендуем их использование. 

Редким же владельцам систем на базе процессоров AMD64 будет приятно узнать, что выпущена новая версия драйверов ForceWare 53.04 для Windows XP 64-Bit Edition for 64-Bit Extended Systems и Windows Server 2003 SP1 for 64-Bit Extended Systems, одним из изменений в которых заявлена поддержка GeForce 5900 XT. А поклонникам Intel, ожидающим появления новых Pentium 4 Presscott с 64-битными расширениями IA-32e, будет приятно узнать, что с этой версии данные технологии (которых некоторые уже метко окрестили iAMD64 ) также поддерживаются - были бы процессоры.

Перепакованные архиватором 7-zip и изрядно похудевшие дистрибутивы новых драйверов уже выложены в нашем файловом архиве:

• ForceWare 56.55 Multilanguage (9,7 МБ, Windows 2000/XP).
• ForceWare 56.56 English (6,3 МБ, Windows 2000/XP).
• ForceWare 53.04 English (6,8 МБ, Windows XP/2003 64-bit).
• ForceWare 53.04 Multilanguage (9,9 МБ, Windows XP/2003 64-bit).

Вчера мы в очередной раз поделились с вами соображениями аналитиков по поводу перспектив распространения памяти типа DDR-II в этом году. Похоже, что Intel все же обладает избыточным пессимизмом в этом вопросе - до 2005 года память DDR-II не имеет шансов стать массовой.

Тем не менее, в японских магазинах некоторые производители уже демонстрируют инженерные образцы модулей DDR2-533. Проблема в том, что точными сведениями о стоимости реальных розничных продуктов мы до сих пор не обладали. Ранее упоминались лишь оценки производителей материнских плат, которые называли двукратную разницу в цене для DDR-II по сравнению с существующими модулями DDR-I.

Оказывается, 100% наценка - "это еще цветочки". В эти выходные ряд японских магазинов начал демонстрацию модулей памяти DDR-II производства Buffalo и Kuroutoshikou, основанных на чипах Elpida. В частности, демонстрировался 256 Мб односторонний модуль DDR2-533, содержащий четыре чипа в упаковке FBGA:

Примечательно, что в номенклатуре Elpida все компоненты DDR2-533 рассчитаны на работу с таймингами 4-4-4, что заведомо хуже, чем у DDR 400. С другой стороны, сертифицированные на работу в режиме DDR 533 модули DDR-I тоже имеют подобные тайминги, так что однозначно говорить о более высоких задержках DDR-II по таким поверхностным характеристикам нельзя.

Демонстрировались также модули DDR2-400 емкостью по 256 Мб и 512 Мб. Интересно, что первые собраны на 4 чипах с таймингами 3-3-3, а вторые - на 8 чипах с таймингами 4-4-4. Появление такого разброса в характеристиках "пограничного" типа памяти DDR2-400 дает надежду на то, что модули DDR-II с уменьшенными задержками все же позволят отыграть кое-что у "старой доброй" DDR 400.

Демонстрировались модули DDR-II разного предназначения: небуферизованные для настольных систем (на фото снизу), регистровые модули для серверов (на фото посередине) и модули SO-DIMM для ноутбуков (на фото вверху).

Последние имеют 200 штырьков и двустороннюю организацию:

А теперь - самое главное известие об этих модулях памяти. Материнские платы с 240-штырьковыми разъемами DIMM в продажу еще не поступили, соответствующие чипсеты не анонсированы, а продажа модулей DDR2-400 через интернет в ограниченных количествах намечена уже на эти выходные. Судя по всему, это предложение предназначено для коллекционеров и ценителей всего самого нового :). Заметим, что цены далеки от пресловутой 100% разницы - за 256 Мб модуль DDR2-400 (3-3-3) просят $458, за 512 Мб модуль DDR2-400 просят $917. Если сравнить со стоимостью соответствующих по емкости модулей DDR 400, то разница в цене достигает почти девяти раз! Надеемся, что после анонса поддерживающих DDR-II чипсетов цены на память DDR2-400 начнут планомерно снижаться.

Один из наших постоянных читателей Peter Levchenko провел собственное расследование о причинах столь высокой эффективности программы Prime95 как инструмента для оценки стабильности системы. Приводим его письмо целиком.

---

Я вот тут прочитал ваши сообщения по поводу Prime95 и исследовать почему программа дает такую эффективную оценку стабильности...

Разберемся в устройстве программы.

Как вы могли разобраться, программа занимается итерациями (повторными применениями фиксированного числа математических операций) теста Лукаса-Лемера (Lucas-Lehmer test). Он гласит, что для P > 2, число 2^P-1 является простым (делящимся только на себя и на единицу) тогда и только тогда, когда S_p-2 равно нулю в последовательности: S₀ = 4, S_N = (S_N-1² - 2) mod (2^P-1) . Ну например докажем что число 2⁷ - 1 простое:

S₀ = 4
S₁ = (4 * 4 - 2) mod 127 = 14
S₂ = (14 * 14 - 2) mod 127 = 67
S₃ = (67 * 67 - 2) mod 127 = 42
S₄ = (42 * 42 - 2) mod 127 = 111
S₅ = (111 * 111 - 2) mod 127 = 0

(Надеюсь вы знаете что такое конгруэнтность и что значит mod. Если x конгруэнтно y по модулю N, т.е. x ≡y mod N, это значит, что выражение y - x / N "возвращает" целое число. Например:  3 ≡23 mod 10 так как (23 - 3) / 10 = 2. Конгруэнтность - основа Теории Чисел).

Очевидно, что в компьютационных целях задача программы применять Lucas-Lehmer test наиболее эффективно (а главное ведь скорость !), следовательно, она сокращает время тем что просто возводит в квадрат числа по модулю 2^P-1 выше упомянутой последовательности S. Это и есть суть проекта GIMPS (Great Internet Mersenne Primes Search), который занимается поиском простых чисел Мерсенна, т.е. простых чисел формы 2^P-1, впервые предложенных французским монахом Марином Мерсенном. (Кстати, самое большое на данный момент известное простое число было найдено этим самым проектом в Ноябре 2003, это число, 2( в степени 20996011)-1, является простым числом Мерсенна (уже сороковым известным).

Что-то я отвлекся, так что же это за самый быстрый метод, который использует программа?

Алгоритм состоит из следующих операций:

1. разбитие числа на секции и сложение их в массив;
2. применение быстрого преобразования Фурье (Fast Fourier Transform - FFT);
3. возведение в квадрат;
4. применение ОБРАТНОГО быстрого преобразования Фурье (Inverse Fast Fourier Transform - IFFT).

А что же такое это FFT ?

Быстрое преобразование Фурье (FFT) это дискретный алгоритм который сокращает число компьютаций (вычислений) аргумента в порядке  N₀²   к   N₀ log N₀ . Короче говоря, дан аргумент x, и необходимое число вычислений этого аргумента равно может быть выражено в форме z = N₀² . Тогда использование этого алгоритма сокращает число вычислений до N₀ log N₀ . 

Здесь, log - это логарифм. Чаще выбирают основание логарифма 2, но это необязательно... Отсюда IFFT вы я думаю разгадаете сами !

А этот "дискретный алгоритм" называется DFT (Discrete Fourier Transform) и используется вместо FT (Fourier Transform) потому, что компьютер работает только с дискретными числами, а значит численные компьютации обыкновенных преобразований Фурье (они в своей основе разлагают или разделяют функцию на синусоиды различной частоты, сумма которых равна начальной функции) требуют только дискретные числа функции (назовем ее f(t)). Кроме того, компьютер может только вычислить преобразование f(t) для дискретных значений t. Таким образом, обычная трансформация Фурье была переопределена и модифицирована в дискретную трансформацию для использования компьютерами. Ее алгоритм и использован FFT (Fast Fourier Transform).

Так для чего же все это ?

А вот здесь нам и чисто компьютерные знания процессора помогут !

Для двоичных чисел (помните основание 2 логарифма используемого FFT ?) этот тест идеален поскольку деление на 2^p-1 в двоичном коде может быть осуществлено ТОЛЬКО с использованием побитного смещения и сложения !!! (Т.е. здесь чисто нагружается CPU да еще только простыми операциями!)

Кроме того, Prime95 использует FFT с плавающей запятой, написанные на ассемблере в конвейерной организации (специально сделанная под дополнительные архитектурные особенности процессоров).

Так как такие вычисления неточны, после каждой итерации числа с плавающей запятой округлены (до нижнего барьера) в целые. Отклонение (неточность) между полученными целым числом и числом с плавающей запятой называется сверточной ошибкой (или ошибкой свертки). Когда ошибка превышает 0.5, округление приводит к неверным результатам, т.е. большая FFT должна быть использована!

Вот в чем заключается мощность Prime95!

Те же 3DMark2001, CPU Stability test, SiSoft Sandra (насчет Hot CPU Tester сказать нечего - я за эту программу еще не садился...) проводят итерации FFT вида "а выдержит ли процессор", т.е. тесты на точность у них работают по методу проверки. На некоторых вообще используются целочисленные FFT (!), другие же не проверяют на свертку (я имею ввиду сверточную ошибку - convolution error) и таким образом просто переходят на другую итерацию. Т.е. если эта сверточная ошибка действительно допущена, вас ожидает либо BSOD (Blue Screen Of Death), либо рестарт, в то время как 3DMark 2001 и т. п. скажет вам что test passed!

А вот если Prime95 комп протестирует, за поставленный диагноз можно ручаться (во всяком случае, уверенности намного больше)....

Для гарантии можно запустив CPU Torture Test на хотя бы от 6 до 24 часов !!! (чтобы провести итерацию большего числа блоков и различной длины).

Конечно, FFT - это не весь CPU, но он, я бы осмелился сказать, нагружает одновременно CPU, память, кеш L1 и L2, и также побочно тестирует охлаждение CPU и кейса гораздо сильнее любых других алгоритмов вроде комплексной матрицы или ассемблирования (причины перечислены выше) и эффективно оценивается Prime95.

Убедительно ?

 

С наилучшими пожеланиями, M@je$+c

www.htworld.0catch.com

---

 

Если у вас уже появилось необратимое желание испробовать Prime95, скачивайте ее из нашего файлового архива:

• Prime95 23.8 (1,0 МБ, Windows 9x/ME/NT/2000/XP).

Появившиеся на днях драйверы Nvidia кроме новых интереснейших функций преподносят нам и еще несколько сюрпризов. Так, в файле nv4_disp.inf драйвера ForceWare 56.55, попавшего в сеть с подачи компании Gainward и датированного 29 января 2004, имеются следующие строки:

NVIDIA_NV34.DEV_0323.1 = "NVIDIA GeForce FX 5200SE"

А в аналогичном файле из новейшего "просочившегося" ForceWare 56.56, датированном 4 февраля, можно обнаружить еще более загадочный экземпляр:

NVIDIA_NV34.DEV_0327.1 = "NVIDIA GeForce FX 5100"

Если про GeForce FX 5200SE еще можно предположить, что это "узаконенный" вариант FX 5200 с 64-битной памятью, то появление GeForce FX 5100 вызывает вполне обоснованные опасения: видеокарта с производительностью ниже чем у FX 5200 / 5200 SE и с поддержкой DirectX 9? (в качестве дешевой видеокарты без поддержки оного выпущена MX4000, как вы помните). Страшно себе представить быстродействие такого DirectX 9 решения .

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