"Русский переплет" зарегистрирован как СМИ.
Свидетельство о регистрации в Министерстве печати РФ: Эл. #77-4362 от
5 февраля 2001 года. При полном или частичном использовании
материалов ссылка на www.pereplet.ru обязательна.
|
|
15.08.2014
23:14 |
Фоновый шум позволит подзаряжать батареи гаджетов
Исследователи из компании Nokia и Лондонского университета королевы Марии (Великобритания) разработали устройство для подзарядки гаджетов, генерирующее энергию . . . |
|
15.08.2014
20:06 |
Половина линий московского метро получила бесплатный Wi-Fi
15 августа на Замоскворецкой линии Московского метрополитена заработала бесплатная сеть Wi-Fi. Пассажиры метро теперь могут выходить в интернет и на <зелёной> линии . . . |
|
15.08.2014
18:42 |
Разработано нанопокрытие для самолетов
Российский холдинг "РТ-Химкомпозит" представит на выставке "Оборонэкспо-2014" новое наноразмерное покрытие, которое сохраняет прозрачность стекла кабины, но при . . . |
|
15.08.2014
17:55 |
Группировка из тысячи роботов научилась выстраиваться в сложные фигуры
Группа по исследованию самоорганизующихся систем при Гарвардском университете добилась четкого взаимодействия между 1024 <килоботами> - миниатюрными роботами . . . |
|
15.08.2014
16:22 |
На территории Москвы пройдут масштабные археологические раскопки
На предназначенных для строек Новой Москвы земельных участках могут быть расположены тысячи объектов археологического наследия, сообщают РИА Новости со ссылкой . . . |
|
15.08.2014
16:19 |
Ученые установили время начала таяния ледников
Глобальное отступление (таяние) ледников началось еще в XIX веке, но только в последние 20 лет на него стала оказывать основное влияние деятельность человека, . . . |
|
15.08.2014
16:16 |
Умер последний в Африке белый медведь
В Йоханнесбурге скончался последний живущий в Африке белый медведь. 28-летнее животное по кличке Вэнг (Wang) усыпили сотрудники городского зоопарка. Последние годы . . . |
|
15.08.2014
16:14 |
О практической пользе Всеобъемлющего Интернета
Этим летом в Инновационном центре НЦЧ РАН по инициативе Научного центра Российской академии наук в Черноголовке, Администрации муниципального образования . . . |
|
15.08.2014
16:09 |
Intel и SMS Audio* создают новые носимые устройства для занятия спортом
Наушники с функцией контроля физических параметров окажутся полезными для всех поклонников здорового образа жизни Компания SMS Audio* (www.SMSAudio.com), один из ведущих . . . |
|
15.08.2014
10:26 |
Роскосмос попросил 214 миллиардов на ракету для полетов к Луне
Роскосмос предлагает начать создание ракеты-носителя сверхтяжелого класса для полетов к Луне уже в 2016 году, чтобы сам ракетный комплекс был готов примерно к 2030 . . . |
|
14.08.2014
22:59 |
Питание мобильных гаджетов возможно через Wi-Fi
Для работы любого современного мобильного устройства требуется собственный источник электропитания (аккумулятор). Если запас сохраненной электроэнергии . . . |
|
14.08.2014
22:57 |
К 2020 г. Интернет вещей станет многомиллиардным рынком
Согласно данным исследования PwC, все большее число организаций внедряют технологии интернета вещей (Internet of things, IoT). Рынок IoT охватывает как оборудование . . . |
|
14.08.2014
18:51 |
Медведь научит человека быть толстым и здоровым
Человеку стоит поучиться у медведей правильно распоряжаться своим жиром Человеку стоит поучиться у медведей правильно распоряжаться своим жиром. Такое . . . |
|
14.08.2014
18:41 |
Российский рынок персональных компьютеров и планшетов сокращается
Как пишет 3DNews, компания IDC подвела итоги исследования российского рынка персональных компьютеров, а также сегмента планшетов по итогам второй четверти 2014 года . . . |
|
14.08.2014
18:33 |
В России появится новая система секретной спутниковой связи
В России будет создана мощная инфраструктура персональной космической связи, которая сможет обеспечить глобальный охват и конфиденциальность коммуникаций. Об . . . |
|
14.08.2014
18:31 |
Размер яичек увязали с численностью популяции
Международная группа исследователей подтвердила теорию о том, что изменение плотности популяции может повлиять на размер тестикул у животных, что, в свою очередь, . . . |
|
14.08.2014
18:25 |
Люди услышат <голоса> мостов и небоскребов
Ученые и художники совместными усилиями создали специальный костюм, позволяющий человеку подключиться к вибрациям мостов и зданий, чтобы превратить их в звуки и . . . |
|
14.08.2014
18:23 |
Связь между предпочтениями в сексе и лицевой симметрией вновь поставлена под вопрос
Исследователи из ряда британских университетов выяснили, что лицевая симметрия у молодых людей никак не связана с хорошим здоровьем, как считалось ранее. Именно . . . |
|
14.08.2014
18:20 |
Ученые раскрыли секрет прочности астероидов типа <куча щебня>
Изучив околоземной астероид 1950 DA, американские ученые выяснили, что это небесное тело, вращающееся с огромной скоростью, удерживается от распада силами . . . |
|
14.08.2014
18:16 |
Компьютер проверил доказательство гипотезы Кеплера Машина подтвердила правильность доказательства гипотезы Кеплера математиком Томасом Хейлзом (Thomas Hales) из Питтсбургского университета в США. Как считают специалисты, это демонстрирует широкие возможности компьютеров для проведения трудоемких вычислительных доказательств, позволяя человеку сконцентрироваться на концептуальных сторонах проверки, сообщается на сайте New Scientist.
Свою гипотезу Кеплер опубликовал еще в 1611 году в своем знаменитом исследовании <О шестиугольных снежинках>. В нем он предположил, что наиболее плотная упаковка шаров одинаковых размеров (то есть такая, когда объем пространства между шарами минимален при заданном количестве шаров) достигается при их пирамидальном упорядочивании по отношению друг к другу. Постановке задачи ученый обязан военному вопросу об оптимальном расположении пушечных ядер на палубе корабля.
В современной формулировке гипотезы Кеплера предполагается, что n-мерные шары живут в n+1-мерном евклидовом пространстве. Наиболее явно такая упаковка выглядит в двумерном случае, для которой условия на ее максимальную плотность были доказаны еще в 1940 году.
Наилучшая упаковка кругов равных диаметров на плоскости выглядит так: плоскость полностью покрывают одинаковыми правильными шестиугольниками (образуя так называемый шестиугольный паркет), а в центре и на вершинах шестиугольников размещают круги, диаметр которых равен длине стороны многоугольников. Получается, что на один шестиугольник приходится семь кругов: один - в центре и шесть - вокруг.
Доказательством гипотезы Кеплера Хейлз занимался с 1992 года по 1998-ой. Последовательное изложение доказательства содержало около 300 страниц текста и три гигабайта компьютерных данных вместе с программами, поэтому только в 1999 году математик отправил свою статью на публикацию в журнал Annals of Mathematics. Доказательство гипотезы Кеплера ученый свел к машинной процедуре перебора конечного числа различных вариантов упаковки шаров и минимизации функций, реализующих условия такого компактного расположения - типичной задаче линейного программирования.
Проверкой статьи Хейлза занимались в течение четырех лет 12 рецензентов, которые смогли заключить, что она на 99 процентов верна. Оставшийся непроверенный процент связан с тем, что рецензентам удалось проверить не все детали компьютерных вычислений автора. Только в 2006 году в Annals of Mathematics ученый опубликовал статью на 120 страницах. Работа содержала часть доказательства, напрямую не связанную с компьютерными вычислениями.
Для завершения полной проверки своего доказательства Хейлз начал специальный Flyspeck project, в рамках которого ему удалось создать программы, анализирующие непротиворечивость выводов компьютерной части доказательства гипотезы Кеплера. Автоматизация, формализация и совершенствование алгоритмов этих программ составили основную часть работы над проверкой машинного доказательства гипотезы Кеплера.
Хейлз намерен еще больше формализовать алгоритм компьютерной проверки математического доказательства гипотезы Кеплера, в том числе для его использования в других областях дискретной (комбинаторной) геометрии и совершенствования методов линейного программирования.
|
