Израиль знаменит своими дронами - страна считается одним из мировых лидеров в разработке БПЛА-технологий и с успехом демонстрирует свои аппараты на международных выставках. Однако на всех авиашоу подобного рода дроны Израиля представляются только как средства наблюдения.
качества". Правда, совсем не обязательно, что это будет Ultra HD. Это вполне может оказаться 3D.
Zalman показывал 3D-мониторы еще на прошлом CES, но в продаже они появились только в конце 2007 года. Мониторы линейки Trimon не идеальны, но по крайней мере понятно, зачем и кому это нужно: к монитору прилагается внушительный список игр с поддержкой 3D-режима.[На самом деле, проблема даже не в самих играх, а в драйверах поддержки 3D-режима. Такие драйверы есть для видеокарт от nVidia, так что главное системное требование для Trimon - соответствующая графическая карта.] Без очков, увы, не обойтись, зато цены умеренные: 22-дюймовая модель стоит около 800 долларов.
По-настоящему меня воодушевила скромная разработка компании Zeiss: очки Cinemizer для индивидуального просмотра фильмов. Надеваешь такие очки - и словно оказываешься в небольшом кинозале, где кроме тебя больше никого нет. Продвигают очки со слоганом made for iPod, но совместимы они и с другими плеерами. Однако дело даже не в совместимости, а в том, что в Zeiss подумали о людях, которые и так носят очки: те, у кого зрение испорчено в рамках 3,5 до +3,5 диоптрии, могут настроить изображение так, что повседневные очки для просмотра не понадобятся. Меня так растрогала неожиданная забота производителя, что даже объявленная цена в 370 евро (дороже, между прочим, чем iPod!) поначалу показалась незначительной.
Ну и чтобы покончить с темой мониторов, расскажу о найденных в лабиринтах Future Park мониторах MyToh2ii. Специальный интегрированный модуль отслеживает движения глаз пользователя, а написанный в шведской компании Toh2ii софт позволяет эти движения записывать и использовать для управления компьютером. Теоретически пользователь может работать таким способом с любым Windows-приложением, но удерживать мышку взглядом трудно, поэтому к мониторам прилагается комплект специального ПО. Наверняка работает это так себе (при мне посетитель выставки случайно "обманул" программу, которая предлагала угадать загаданную карту), но человеку, который вынужден работать за компьютером таким способом, выбирать не из чего. Воодушевленный заботой об инвалидах, я поинтересовался у представителя компании, сколько стоит этот замечательный монитор.
- Тридцать тысяч евро, - сказал представитель, и глаза его сверкнули [Сверкание я отследил с помощью интегрированного и слегка близорукого модуля, доставшегося мне от родителей бесплатно.].
Жук в аэробусе
Автор: Владислав Бирюков В девятом павильоне Цебита традиционно располагается "Future park", собирающий всевозможные инновации, которые еще не пошли в серию. Основу его экспозиции составляют стенды немецких университетов, а вместо ушлых менеджеров по продажам посетителей обычно встречают сами авторы разработок - студенты, аспиранты и их старшие коллеги. Естественно, и рассказывают они о подопечных технологиях другими словами и с иными эмоциями, нежели специально нанятые стендисты, быстренько проштудировавшие за полдня каталог товаров фирмы, о которой до этого и слыхом не слыхивали.
На стенде университета Саарланда ученый с исконно немецким именем Сергей Твёрдышев рассказывал, как его исследовательская группа (проект Verisoft XT, www.verisoft.de) доказывает безошибочность реализации различных программ. Например, в 2009 году Audi планирует выпустить новую модель A4 с опцией dynamic steering. Идея в следующем. Если автомобиль стоит на месте или движется с небольшой скоростью, то малый поворот руля приведет к значительному изменению положения колес, облегчая, например, процесс парковки. А на автобане рулевое управление, напротив, "потупеет", сделав машину менее нервной[Идея, в принципе, не нова, впервые она была реализована, кажется, еще в советских луноходах. Из автопроизводителей с динамическим рулением экспериментировали в числе прочих Seat и Citroen. ].
Конечно, если на скорости 200 км/час система вдруг переключится в парковочный режим - последствия будут малоприятными. Вот группа Твёрдышева и доказывает, что все возможные варианты поведения
имплементации (контроллеров и софта) однозначно соответствуют первоначальной задумке. (Не путать с отловом багов, здесь задача более сложная - доказать полное отсутствие ошибок относительно заданной спецификации.)
Еще один проект выполняется по заказу Microsoft и доказывает безошибочность гипервайзора новой системы виртуализации компании. Там, в частности, приходится доказывать, что области памяти, выделяемые для работы разным гостевым ОС, не пересекаются. Конечно, я не удержался от вопроса, а реально ли, например, доказать "абсолютную безглючность" Windows или микропроцессора класса Pentium 4? Как ответил Сергей, теоретически реально, практически нет - слишком велик объем необходимой работы. Для относительно простых чипов процесс верификации уже поставлен на поток (например, коллеги Твёрдышева доказывали безошибочность FPU процессора Cell), с софтом пока труднее, проект с Microsoft - один из первых в этом роде. Не менее сложную задачу предстоит выполнить по заказу компании SysGo, которая готовит операционную систему для лайнеров Airbus (кстати, она тоже построена на принципах виртуализации). Цитируя Сергея: "Написать программу сейчас несложно: берем несколько индусов, и они быстренько ваяют код. Вот только вопрос - насколько корректно она будет работать. Верифицировать ее гораздо сложнее". После этого разговора я с некоторой опаской поднимался на борт A320 в ганноверском аэропорту - с системой этого авиалайнера группа Твёрдышева не работала.