Австралійські вчені створили мікроядро операційної системи, відсутність в якому різних типів помилок, підтверджена математично. Ця розробка спрямована на створення "безпечного програмного забезпечення безпрецедентного рівня надійності" для літаків та автомобілів. 

Створене командою центру NICTA (Information and Communications Technology Centre of Excellence) мікроядро отримало назву "secure embedded L4" (seL4). За словами вчених, воно являє собою перший "зразок ядра операційної системи загального призначення, який пройшов сувору машинну перевірку". 

За підсумками чотирьох років роботи було написано і перевірено 7500 рядків коду мовою C. В ході перевірок розробники довели понад 10 000 проміжних теорем, написали більше двохсот тисяч рядків чітких доведень, які потім були перевірені з використанням інтерактивної програми Isabelle, призначеної спеціально для доведення теорем. 

Вся ця клопітка математична робота означає, що створене ядро повинно мати імунітет до поширен ... Читати далі »

Інженери Американського космічного агентства (NASA) впевнені, що невеликий ядерний реактор є можливим джерелом енергії для мешканців блок-посту на Місяці. Співробітники енергетичного департаменту агентства заявили про можливість створення такого пристрою до 2020 року. 

Можливість використання енергії ядерного розпаду для забезпечення електрикою космічних апаратів обговорюється в NASA з кінця 50-х років минулого століття. Однак, серйозна розробка цього проекту була призупинена через побоювання, що кораблі і ракети-носії з радіоактивною «начинкою» небезпечні з екологічної точки зору. 

Інтерес до космічних ядерних реакторів знову виник у зв'язку з перспективою запуску пілотованих кораблів на Місяць і Марс та створення на них населених баз. Інженери NASA провели випробування властивостей реактора, з'єднавши його з двигуном Стирлінга, що здатен працювати від будь-якого джерела енергії. Тепло від реактора до двигуна передається через «прошарок» металів (суміш натрію і калію). < ... Читати далі »

Будь-яка мама мріє про можливість завжди бачити свого малюка, навіть будучи зайнятою приготуванням їжі, розважаючи гостей, займаючись спортом чи, просто, відпочиваючи, - зрештою і це потрібно. З безпровідниковою відеонянею з нічним баченням (Wireless Baby Monitor with Night Vision) ви зможете спостерігати за дитиною 24 години на добу.

Відеоняня, яка складається з відеоприймача, розмірами 109 мм x 69 мм x 29 мм, з 2,5" рідкокристалічним монітором з роздільною здатністю 480х234 пікселі, та відеокамери, розмірами 71мм x 73 мм x 44 мм з мінімальним випромінюванням (5 люкс, а при роботі в інфрачервоному режимі – 0 люкс), проста у використанні та не вимагає складної установки.Необхідно просто розмістити камеру в місці, звідки добре оглядається територія по якій зазвичай переміщується дитина, а безпровідниковий приймач з монітором ... Читати далі »

Майже вся хімічна апаратура може тепер вміститися на площі, що своїм розмірами не перевищує поштову марку. Століттями вчені проводили експерименти і будували для цих цілей величезні лабораторії, але дослідники майбутнього, найімовірніше, будуть просто вставляти мікрочіп в комп'ютер. Щоб втілити цю ідею в реальність, багато різнопланових фахівців з університету Каліфорнії працюють не покладаючи рук. Їм вже вдалося створити керований звичайним комп'ютером мікрочіп, який одночасно виконує більше тисячі хімічних реакцій. Подібне диво здатне практично самостійно виявити навіть, скажімо, потенційні ліки від раку. 

Принцип дії мікроскопічної лабораторії полягає в наявності каналів, насосів, сепараторів, тощо, в які подаються найдрібніші кількості певної речовини, що потім аналізуються "розумним чіпом". Щоб знайти потрібну "лікувал ... Читати далі »

Американське Агентство DARPA, що спеціалізується на перспективних дослідницьких проектах в області оборони, працює над створенням комп'ютерних мереж, які зможуть розгортатися та функціонувати самостійно, без людського втручання, а також працювати в значно ширшому діапазоні радіочастот. 

Низка подібних систем вже перебуває на завершальних етапах розробки. В дію вже запущена система Network Centric Radio System (NCRS), яка здатна надавати шлюзи, що самодіагностують та зв'язують системи радіопередачі і мережеві комунікаційні пристрої. 

DARPA також планує виділяти кошти на ефективніше використання та розширення спектру доступних таким пристроям радіочастот. Зокрема, отримає подальший розвиток технологія neXt Generation (XG) Communications, випробування якої демонструють десятиразове зростання ефективності використання радіочастот.

Організація підзвітна Міністерству оборони США. В Стратегічному плані на 2009 рік, який DARPA надала Конгресу, один з розділів повністю прис ... Читати далі »

Нападающий «Барселоны» Педро Родригес Ледесма подписал новый контракт с клубом. 22-летний форвард останется в команде до 2014 года. Другие команды смогут приобрести Педро за 75 миллионов евро – такова сумма отступных, установленная каталонцами.

В прошлом сезоне футболист провел в чемпионате Испании 5 матчей, а в это межсезонье он стал лучшим бомбардиром «Барселоны», информирует официальный сайт клуба

Нападающий «Арсенала» Эдуардо сможет сыграть в матче 2-го тура премьер-лиги против «Портсмута». Хорватский футболист не попал в заявку «канониров» на матч Лиги чемпионов с «Селтиком» (2:0) из-за проблем с пахом, но, по словам главного тренера клуба Арсена Венгера, травма оказалась несерьезной, информирует официальный сайт лондонцев.

Посмотреть статистику выступлений Эдуардо в этом сезоне можно здесь.

Испанский форвард Альваро Негредо перешел из «Реала» в «Севилью» за 15 миллионов евро.

Оба клуба подтвердили трансфер игрока, сообщает сайт «Севильи».

Нападающий будет официально представлен в качестве нового игрока «Севильи» уже в пятницу в 15.00 по московскому времени.

Защитник «Спартака» Малик Фатхи, возможно, не примет участия в матче 19-го тура премьер-лиги против «Терека». Вчера у игрока поднялась температура, сообщает «Спорт-Экспресс». 

Тем не менее руководство красно-белых не будет настаивать на немедленном прибытии Егора Филипенко, который вернется из аренды в «Томи» в начале следующей недели. 

Встречу с «Тереком» точно пропустят травмированные Ибсон, Кристиан Майдана и Мартин Штранцль.

Московский «Спартак» договорился о товарищеском матче с владимирским «Торпедо». Игра состоится 9 сентября во Владимире, сообщает «Спорт-Экспресс». 

Матч начнется в 18.00.

В экспертизе 2-го тура премьер-лиги Михаил Гершкович, Валерий Непомнящий, Анзор Кавазашвили, Руслан Нигматуллин, Максим Калиниченко и Сергей Семак специально для Sports.ru порассуждали на тему: «Что ждет Олега Блохина на посту главного тренера «Москвы». Все они сошлись в одном – украинскому специалисту нужно время, чтобы наладить игру столичного клуба». 

Михаил Гершкович: «Пока прошло мало времени, чтобы делать глобальные выводы. К тому же, есть объективные причины поражения «Москвы» от «Зенита». Во-первых, «горожанам» противостоял соперник, который находится в хорошем состоянии. А, во-вторых, «Москва» испытывала кадровые проблемы: Блохину пришлось сделать пять перестановок по сравнению с матчем во Владивостоке. В общем и целом, подопечные Блохина не смогли оказать достойного сопротивления «Зениту». Впрочем, надо просто дать украинскому специалисту время» ... Читати далі »

Какой резон держать в запасе нападающего ценой в 14 миллионов фунтов? Какие качества не помешают «Зениту», «Динамо» и «Амкару» в стартовых матчах Лиги Европы? Движется ли вперед «Шахтер»? Как сложилась бы карьера Адвоката в «Кубани»? Как соотносятся уровень судейства и качество футбола в России? На Sports.ru – ежедневный дайджест СМИ.

В канун старта российских клубов в Лиге Европы обозреватель «Спорт-Экспресса» Евгений Дзичковский желает «Амкару» смелости, «Динамо» – выносливости, а «Зениту» – солидности.

«У нашей троицы в противниках далеко не «Сент-Патрик». Поэтому вряд ли стоит напоминать о силе португальцев и англичан, о неуступчивости болгар, о высокой ответственности перед болельщиками и национальным рейтингом. Любые напутствия такого рода очевидны и потому не слишком эффективны. Раз так, ограничусь пожеланиями.

«Амкару» – смелости. Ес ... Читати далі »

Хэдлайнером очередного эпизода сериала Sports.ru становится «Сибирь». Новосибирцы в очередной раз попытаются пробить себе дорогу в число крепких середняков. Громовая поддержка на домашней арене, дар предвидения, посетивший тренера Владимира Семенова, и вундеркинд Тарасенко в составе – им в помощь.
Арена

КСК «Сибирь» вполне можно сравнивать со столичными «Лужниками». Дворец был построен еще в 1964 году. Только в начале века пережил масштабную реконструкцию и сейчас вмещает 7400 болельщиков. Единственной архаичной приметой остаются деревянные перекрытия, на которых располагаются трибуны. Топать ногами в самые жаркие моменты игры новосибирцы научились вполне профессионально. Грохот обычно смешивается с гвалтом – и льется на уши соперников «Сибири» в виде не самого приятного коктейля. Сезонные абонементы стоят от 4500 до 30 000 рублей. В качестве бонуса пе ... Читати далі »

«Лион» – единственный французский клуб, доходы которого на протяжении более чем пяти последних сезонов подряд только увеличивались, причем завидными темпами. Минувший же сезон прервал эту приятную для клуба тенденцию, и в графе «доход» в отчетной ведомости OL теперь значится цифра, на 10 процентов уступающая прошлогоднему показателю. В блоге «Министерство образования» – о том, почему «Лион» не досчитался пары десятков миллионов.

Нужно отметить, что пока речь пойдет о цифрах без учета трансферной деятельности клуба. Так вот, рост доходов семикратного чемпиона Франции наблюдается по такому показателю, как продажа билетов – 3% (22,4 млн в сезоне-2008/09 против 21,8 млн в сезоне-2007/08), а также по партнерским и спонсорским программам – 4% (21,3 против 20.4). В остальном же «Лион» сдал, и если в контексте продажи телевизионных прав речь идет о 9-процентном п ... Читати далі »

Ювентиец Диего, интеристы Это’О, Лусио и Арнаутович, миланисты Хунтелар с Оньеву и другие новые персонажи серии А – в фотогалерее Sports.ru, предваряющей старт итальянского чемпионата.

Леонид Слуцкий едва не покинул «Крылья». Спасли его лишь собственные игроки. И это… опасно. Потому как это теперь грозит положению тренера в клубе. Я не раз бывал в положении Слуцкого, более того – я не раз бывал в положении Слуцкого в Самаре. Где постоянно возникают подобные финансовые сбои, которые тренер обязан встречать правильно. Думаю, с опытом Леонид будет поступать иначе.

С чего все началось? С того, что Слуцкий полностью поддержал футболистов. Логично это? Безусловно. По молодости людям, наверное, кажется, что это даже беспроигрышно. На деле же ты таким поведением получишь репутацию ненадежного человека для потенциальных работодателей, а для иных футболистов – репутацию подконтрольного тренера. Я сейчас имею в виду ни плохих людей, ни хороших. Я говорю о психологии и только.

Явно поддерживая игроков во время финансового кризиса, ты допу ... Читати далі »

Поднимающий судейство в Казахстане Николай Левников в курсе проблем когда-то возглавляемой им российской организации. В интервью Sports.ru он рассказал о своем видении этих проблем, о том, как с ними бороться, а заодно вспомнил, как однажды помогал исправлять ошибки Пьерлуиджи Коллине. 

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

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

– А вы сейчас пытаетесь внедрить то, о чем говорите, в Казахстане?

– Знаете, для меня это очень богаты ... Читати далі »

Александр Овечкин разработал собственную линию одежды, на презентацию которой приехал на лимузине в сопровождении кортежа. Александр заявил, что на предолимпийский сбор он приедет без кортежа, объяснил, почему устроил хоккейный мастер-класс певицам, а не детям, и пообещал фирменную майку своему главному болельщику Дону Черри.

Александр Овечкин оказался нашим человеком: он чудовищно опаздывал. Хоккеист созывал всех на презентацию к 16.00, но было уже 17.10 и, хоть полчаса назад кто-то радостно прокричал: «Через пять минут он будет», – Овечкина не было. Ждущие роптали:

– Вот уйти сейчас всем вместе – и тогда он поймет.

– Да, да!

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

Я бы, может, тоже негодовал, если бы сам приехал не в 16.3 ... Читати далі »

В прошлом году Гран-при Европы заслужил право называться самым скучным этапом чемпионата. Но, возможно, судить по одной попытке не стоит, и предстоящая гонка сможет удивить. Тем более что после перерыва в календаре «Формулы-1» накопилось немало вопросов о противостоянии «Брауна» и «Ред Булл», форме «Макларена», «Феррари» и «Рено», новичках и старичках. Предисловие к Большому призу в испанской Валенсии – в материале Sports.ru.

Промоутер «Формулы-1» Берни Экклстоун, как известно, прозорлив и дальновиден. Иногда его речи и поступки кажутся немного странными, однако во многих из них прослеживается четкий принцип: выше популярность – больше денег. Многоходовые комбинации с продажами телевизионных прав и постоянным расширением географии чемпионата служат прекрасной иллюстрацией деятельности Берни – он знает, чего хочет, и, как правило, добивается этого. Однако ... Читати далі »

Усэйн Болт, сжав зубы, сокрушил свой же мировой рекорд на 200-метровке (19,19), Бланка Влашич вновь взлетела выше всех. Анна Чичерова взяла серебро, а десятиборец Александр Погорелов – бронзу. Райан Брэтуэйт из Барбадоса неожиданно стал и.о. короля барьеров Дэйрона Роблеса. Sports.ru подводит итоги шестого дня XII чемпионата мира по легкой атлетике.
Герой

Усэйн Болт проникся всеобщей тоской по безвременно утраченной интриге и хохмил в гораздо меньших масштабах, публика же вопросительно повернулась к американцам Спирмону и Кроуфорду: ну дотащите, мол, парня до мирового рекорда, поучаствуйте в феерии. Американцы всем своим видом обещали помочь…

Они только-только вбежали в финишные клетки, а ямаец уже привычно колотил себя в грудь: все олимпийское и мировое золото, все рекорды обеих дистанций (с подкатегориями CR и OR) теперь его, и конца этой «Бол ... Читати далі »

Травмы являются неотъемлемой частью большого спорта. В страданиях спортсменов нет ничего смешного. Но порой обстоятельства получения повреждения или его характер не могут не вызвать улыбку. Sports.ru вспоминает наиболее курьезные случаи из практики Национальной Баскетбольной Ассоциации.
Первис Эллисон («Селтикс»)

Форвард Первис Эллисон, в университетские годы ассоциировавшийся с прозвищем «Никогда не нервничающий Первис», а в бытность игроком НБА получивший от соратника по «Сакраменто» Дэнни Эйнджа наименование «вышел-из-строя-Первис» создал немало проблем медицинскому штабу и руководителям «Бостона» в 90-е. Карьера Эллисона в «Селтикс» вошла в историю. Всего она исчислялась шестью сезонами. Половину первого он пропустил, так как долечивал травмы обеих коленей, которые мучили его еще в «Вашингтоне». Ну а за последние четыре сезона Эллисон выходил лишь ... Читати далі »

Исчезновение главной звезды соперника, легендарный бомбардир на тренерском мостике и почти полное отсутствие сюжета игры – Sports.ru рецензирует первый матч московского «Динамо» в Лиге Европы.

Попытка наскоком обогатиться информацией в отношении софийского ЦСКА вряд ли сообщила бы страждущим что-нибудь по-настоящему ценное. Типичный гранд из Восточной Европы, из той ее части, о существовании которой на футбольной карте континента и вспоминают-то по большим праздникам. Череда чеканных болгарских имен и фамилий, средь которых и пара весьма известных в прошлой жизни, и пара занесенных невесть каким ветром португальцев, и бразилец Маркиньос, заблаговременно отряженный российской прессой в главные звезды софийского клуба. Впрочем, ныне бразилец в разладе с поклонниками армейцев да вдобавок травмирован. Единственная же, пожалуй, всамделишная футбольная величина софийцев обретается в районе тренерской скамейки: завершив полную славных моментов европейскую карьеру, Любо Пенев пытается д ... Читати далі »

Дмитрий Федоров побывал в стране, которая дала Руси просветителей Кирилла и Мефодия, а взамен в минувший четверг получила чартер с динамовскими болельщиками, которые были более активны, чем их любимая команда. Блог «Футбольного клуба» – об интересном дне в Софии.

В мире не так много стран, где к России лояльны. Страны, где Россию любят, – эксклюзивны, как иголка в стоге сена. Болгария из их числа. Несмотря на это, полиция сопровождает прилетевших динамовских болельщиков от самого аэропорта. Наша группа – человек пятнадцать – садится на обычный рейсовый автобус и следует в центр. Машина органов правопорядка следует впереди на протяжении всего маршрута.

Более того, как только мы попадаем в пробку, полицейские расчищают нам путь. Водитель предпочитает русский английскому и объясняет, что ему дано четкое указание, в какой точке высадить десант из Москвы. На остановке попадаем в плотное ... Читати далі »

На старте европейских чемпионатов и в разгар российского Sports.ru продолжает серию интервью с теми, кто будет рассказывать нам о главных матчах сезона. Комментатор «НТВ-Плюс» Георгий Черданцев – очередной герой ТВ-сериала – рассказывает о своей футбольной карьере в «Спартаке», вспоминает крики во время матча Россия – Голландия и объясняет, почему по-прежнему считает Гуса Хиддинка халтурщиком.
«Спартак» и Игорь Рабинер

- В 80-х вы играли за «Спартак-2». Пробился ли кто-нибудь из вашей команды в профессиональный футбол?

– У меня в этом смысле трагическая история. Лосиноостровский в советское время был очень тяжелым районом, вообще жутким местом, и команда у меня была составлена из детей из неблагополучных семей. Наш тренер все время вызволял кого-нибудь из милиции, один парень вообще попал в колонию лет в 14. Из той команды, точно знаю, два парн ... Читати далі »