Тьюринговская премия, выдаваемая Association for Computing Machinery, самым крупным в мире компьютерным научно-образовательным сообществом, основанным в 1947 году, была учреждена в 1966 году. Премия вручается за вклад в усовершенствование компьютерных технологий. Чтобы ее получить, нужно сделать нечто такое, что имеет значимость для практического развития компьютерных систем. Это объясняет и состав награжденных ею, и то, почему академические работы не могут быть основанием для номинации. (Тем, кто сетует на отсутствие среди награжденных этой премией наших соотечественников, следует учитывать необходимость наличия практического применения у награждаемых работ.)

Невзирая на высокий статус, Тьюринговская премия скорее почетна, чем финансово значима. И если сравнивать ее с призовыми награждениями теннисистов или гонорарами в кино и шоу-бизнесе, то ее денежное выражение ничтожно. Пока единственным спонсором премии была корпорация Intel, размер премии составлял всего 100 тыс. долл. С подключением Google он вырос до 250 тыс. Традиционно премию называют "Нобелевской премией в компьютерных науках", хотя это явное преувеличение: и уровень почета, и масштаб вознаграждения явно не в пользу Тьюринговской премии.

Лауреатами 2008 года стали Эдмунд Кларк (Университет Карнеги-Меллона), Аллен Эммерсон (Техасский университет в Остине) и Джозеф Сифаркис (Гренобльский университет, Франция). Они награждены за достижения в области, называемой в оригинале model checking, а по-русски - "верификацией моделей". Перевод оставляет впечатление, что проверка моделей является целью, однако это всего лишь средство. Если быть точным, то model checking - скорее не верификация самой модели, а метод проверки какой-либо системы с использованием модели. Верификация с использованием модели - один из четырех теоретически возможных способов проверки проекта аппаратных или программных систем; помимо него выделяют еще имитационное моделирование, тестирование и дедуктивную верификацию.

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

Model checking осуществляется в три этапа – создание модели, создание спецификации системы, верификация модели по спецификации. В данном случае под моделью понимаются не те модели, которые были так или иначе использованы в процессе проектирования. Наоборот - реальная аппаратная или программная система, конвертированная в формальную модель, предназначенную для интерпретации как автомат с конечным числом состояний.

Методы model checking позволяют алгоритмически верифицировать формальные системы. Они в большей степени подходят к аппаратным системам, чем к программным, поскольку последние не всегда удается описать формально. Поэтому область применения model checking пока ограничена моделированием аппаратуры и в лучшем случае аппаратно-программных встроенных систем. Базисом для model checking служит математический аппарат темпоральной логики (temporal logic), то есть такой логики, в которой присутствует фактор времени. Эта разновидность логики была предложена в 60-е годы, обычно ее появление связывают с именами Амира Пнуели и Зохара Манна. Лауреаты премии Тьюринга смогли приложить аппарат темпоральной логики к решению практических задач, создав методы формальной верификации систем. Признанным родоначальником model checking является профессор Университета Карнеги-Меллона Эдмунд Кларк. Его книга, ставшая классической (Э.М. Кларк, О. Грамберг, Д. Пелед "Верификация моделей программ: Model Checking"), переведена на русский язык. Еще две школы model checking сложились в университетах Остина и Гренобля, ими руководили соответственно профессора Аллен Эммерсон и Джозеф Сифаркис.

По оценкам специалистов, у model checking большое будущее, которое связано с крупными программными системами.

Благоприятные обстоятельства - прежде всего постоянно растущий спрос на технологии работы с информацией в сочетании с правильно выбранной технической политикой - способствовали тому, что для всей компании EMC и для ее российского представительства, минувший год был весьма успешен. Выступление вице-президента по региону EMEA North Арно Кристофеля на пресс-конференции, состоявшейся 15 февраля, изобиловало рекордными показателями. За год выручка компании достигла 13,23 млрд. долл., что на 19% больше прошлогодней. В России за четвертый квартал объем бизнеса увеличился на 24%, а в СНГ – на 27%.

В абсолютном исчислении Россия смогла сравняться с Голландией, являющейся лидером по потреблению систем хранения данных в Северной Европе. При этом в структуре локальных доходов EMC более половины приходится на аппаратуру и только 7% - на сервис. Такое распределение отличает Россию от развитых стран, но постепенно оно изменяется в пользу программного обеспечения и сервисов. Положительная динамика и потенциал для роста внушают Кристофелю оптимизм, он рассчитывает на то, что в следующем году Россия станет лидером региона, входящего в его компетенцию.

Показательно, что еще пять-шесть лет назад штат российского представительства насчитывал всего несколько человек, а сейчас он достиг 380 и продолжает расти. Происходящие изменения являются в том числе и следствием специальной инвестиционной программы, реализуемой EMC; эта программа, стартовавшая в 2007 году. предполагает вложение в России 100 млн. долл. на протяжении четырех лет. Сегодня помимо группы технических специалистов, возглавляемой Игорем Корнетовым, в состав московского офиса входят менеджеры, деятельность которых связана с отдельными сегментами рынка.

Более 150 человек работают в санкт-петербургской лаборатории, созданной в 2007 году. Руководитель лаборатории Игорь Агамирзян заверил, что она укомплектована разработчиками самой высокой квалификации, выпускниками ведущих университетов города, есть также представители из других регионов, им созданы самые лучшие условия для работы. В итоге, несмотря на свою недолгую историю, лаборатория показала способность к решению сложных задач, что дает ей очевидные преимущества по сравнению с аналогичными центрами разработки, расположенными в Индии или странах Юго-Восточной Азии. Для закрепления своего статуса в нескольких вузах Санкт-Петербурга в рамках корпоративной академической программы созданы учебные лаборатории, специально для них готовятся кадры профессиональных преподавателей.

Третьей составляющей обновленного представительства стала купленная недавно компания "Документум Сервисиз", новое подразделение возглавит Константин Синюшин, бывший прежде генеральным директором этой компании. Что касается VMware, еще одной компании, входящей в состав EMC и являющейся крупнейшим игроком рынка программных средств виртуализации, то пока она продолжит автономное существование.

EMC удалось извлечь выгоды из рыночной ситуации, оказавшейся чрезвычайно благоприятной для производителей аппаратного и программного обеспечения, предназначенного для работы с данными. За минувший год были модернизированы практически все составляющие модельной линейки, от младших CLARiiON до старших моделей Symmetrix. Наряду с очевидными усовершенствованиями технических характеристик внедряются и принципиально новые решения. В Symmetrix стали использоваться твердотельные диски; их применение позволяет почти на порядок увеличить скорость обработки оперативных транзакций, при этом потребление энергии составляет доли процентов по сравнению с соответствующими быстрыми дисками. Одновременно в этих системах для менее востребованных данных используются диски SATA-II емкостью 1 Тбайт с низким потреблением.

Совершенствование программного обеспечения идет как за счет собственных разработок так и за счет приобретения других компаний, за год было уже приобретено или намечено к приобретению почти десять. Появились новые технологии, среди них, например, Mozy Remote Backup, представляющая собой сервис для автоматического резервного копирования ваших данных с жесткого диска на сервер Mozy; технология дедупликации хранимых данных, что позволяет оптимально использовать ресурсы.

Можно предположить, что с внедрением первых твердотельных дисков на флэш-памяти в корпоративные системы хранения открывается новая полоса в развитии накопителей. Скорее всего, она будет связана с освоением новых принципов хранения, таких как память на материалах, меняющих фазовое состояние, и разнообразных подходах к виртуализации. Основной целью компании на будущее провозглашено создание "информационной инфраструктуры" (Information Infrastructure), которая состоит из комплекса технологий, обеспечивающих архивирование, информационную безопасность, оптимизацию ресурсов средствами виртуализации, интеллектуальное управление информацией, резервное копирование и восстановление, а также ряд других операций.

Представительство ZyXEL объявило 15 февраля о выпуске на российский рынок серии продуктов, поддерживающих технологию HomePlug AV, которая обеспечивает передачу данных по силовой проводке в пределах квартиры, офиса или даже небольшого дома. Скорость передачи данных при использовании этой технологии составляет 80 Мбит/с на расстоянии до 300 метров. Как пояснили в ZyXEL, устройства с поддержкой HomePlug AV предназначены главным образом для создания локальной компьютерной сети в пределах одной квартиры. Ее офисное применение сильно ограничено не очень большой пропускной способностью и дороговизной адаптера – он стоит около 100 долл.

Основу устройств составляют наборы микросхем компании Intellon, которая в течение 17 лет занимается совершенствованием методов передачи данных по силовой проводке. Некоторое время назад по инициативе этой компании был образован альянс HomePlug Powerline Alliance, в рамках которого выпускаются соответствующие спецификации, что позволяет другим членам альянса создавать совместимые продукты. В состав альянса, помимо самой Intellon, входят, в том числе, и такие крупные компании, как Intel, Sharp, LG Electronics, Motorola, Texas Instruments.

В рамках альянса подготовлено уже второе поколение стандартов. Именно оно обеспечивает передачу данных на скоростях до 80 Мбит/с. Однако новый стандарт рассчитан на передачу аудио- и видеопотоков, что отражено в его названии в виде префикса AV. Ориентация на мультимедийный контент выражена в использовании механизмов приоритизации трафика, которые позволяют резервировать каналы до 40 Мбит/с для передачи HDTV по технологии IP. Стандарт основан на использовании модуляции 1024-QAM с большим выбором несущих из диапазона от 2 МГц до 30 МГц. При этом устройство при первоначальной настройке выбирает наименее "шумные" частоты, а в дальнейшем перестраивается в зависимости от вновь появляющихся шумов (работе HomePlug-устройств мешают сетевые фильтры и счетчики, а также дешевые зарядные устройства для мобильных телефонов и некоторые энергосберегающие лампы).

Простейшее устройство из числа представленных, PLA400, - это HomePlug-адаптер. Оно просто преобразует Ethernet в сигнал HomePlug и обратно, не имея собственного сетевого "интеллекта". В адаптер PLA470 добавлен коммутатор Ethernet на четыре порта. Эти устройства уже продаются в России. Рекомендованная цена для PLA400 - 2663 рублей, а для PLA470 - 3322 рублей. Для удобства пользователей будет также предлагаться комплект из двух PLA400 по цене 5233 рублей.

В апреле компания планирует выпустить на российский рынок два Internet-центра и сетевой медиаплейер, в которые также будет интегрирована поддержка HomePlug. В частности, появится Internet-центр P660HWP, который предназначен для подключения к Internet по ADSL2+. Кроме адаптеров ADSL и HomePlug AV, в это устройство планируется интегрировать точку беспроводного доступа стандарта 802.11g и четвырехпортовый Ethernet-коммутатор. Аналогичные модули будет содержать Internet-центр NBG318S, который предназначен для подключения квартиры к Internet по технологии Ethernet (в нем будет отсутствовать порт ADSL). В компания предполагают, что устройства P660HWP будут продаваться по цене 5895 рублей, а в комплекте с PLA400 - за 8505 рублей.

Также в апреле ZyXEL планирует выпустить на рынок набор так называемых сетевых медиаплейеров, которые предназначены для хранения и проигрывания мультимедийной информации, такой как фильмы и музыка. Пока известно только о сетевом медиаплейере DMA1100P с адаптером HomePlug AV, а также о телевизионной приставке STB1001S, которая позволяет проигрывать видео- и аудиофайлы, получаемые по Ethernet. Про DMA1100P известно, что его можно подключить к обычному телевизору или монитору с поддержкой формата HD по интерфейсу HDMI. К устройству также можно будет подключить внешний USB-диск, на котором может располагаться хранилище мультимедийного контента. В ZyXEL рассчитывают, что медиаплейеры позволят компании выйти на новый для нее рынок телевизионных приставок для технологии IPTV.

Технологическими альтернативами для HomePlug AV являются беспроводные сети и квартирные структурированные кабельные системы. От беспроводных технологий HomePlug AV отличается гарантированной передачей данных на скорости не ниже 40 Мбит/с в условиях сильных помех, в то время как в беспроводном стандарте не предусмотрены механизмы приоритизации трафика. Квартирная СКС в некоторых случаях связана с дорогостоящим ремонтом и прокладкой новых кабелей, в то время как HomePlug AV может работать по уже проложенной силовой проводке.

По итогам 2007 года продажи операционной системы Symbian выросли в полтора раза, и, по словам генерального директора Symbian Найджела Клиффорда, у нее есть все необходимое для дальнейшего роста.

В четвертом квартале 2007 года на рынок было поставлено 22,4 млн. телефонов, оснащенных Symbian. Суммарные продажи таких телефонов за год достигли 77 млн., принеся компании в общей сложности около 350 млн. долл. лицензионных отчислений. В Symbian рассчитывают удешевить свою операционную систему, с тем чтобы выйти за пределы сектора смартфонов и начать освоение рынка более массовых моделей телефонов.

"Наш 'базовый лагерь' разбит на вершине, -- отметил Клиффорд. -- Средний класс -- вот в чем мы видим основной источник своего дальнейшего роста. Именно в этом сегменте мы надеемся привлечь следующие 300 млн. пользователей. Наша операционная система продолжает удерживать лидирующие позиции на рынке смартфонов, а если вести речь о телефонах в целом, включая недорогие устройства, ее доля составляет вполне достойные 7%".

В ответ на сообщение о выпуске компанией SonyEricsson телефона на базе Windows Mobile, Клиффорд указал, что одновременно SonyEricsson представила два устройства с Symbian, и пообещал поддерживать высокую конкурентоспособность на всех видах аппаратных платформ и во всех регионах мира, включая Дальний Восток, где предпочитают телефоны на базе Linux, а также США. Говоря об успехе iPhone, Клиффорд отметил, что пока этот успех ограничивается в основном территорией США, где позиции Apple традиционно сильны.

Кроме того, Клиффорд указал, что Google Android представляет собой всего лишь одну из многих разновидностей Linux, и появление этой платформы приведет к дальнейшей фрагментации рынка.

Создание Android призвано ознаменовать собой появление операционной системы для телефонов, которая будет совершенно бесплатной, однако впечатление это обманчиво. Код Linux - лишь малая часть того, что может понадобиться пользователю телефона. А в этом плане цена решений на базе Symbian по отношению к другим вариантам устойчиво снижается.

В ноябре 2006 года компания Dell запустила в Москве и Санкт-Петербурге службы поддержки корпоративных клиентов, аналогичные своим глобальным службам: телефонная поддержка в режиме “24x7” и возможность выезда инженера к заказчику в течение нескольких часов (пакеты сервисных услуг уровня Gold и Platinum Plus, из которых первый подобен “скорой помощи”, а второй - семейному доктору: к заказчику прикрепляется персональный менеджер). Клиентами этих служб могут стать покупатели серверов, систем хранения данных, корпоративного сетевого оборудования Dell. В феврале нынешнего года в Dell объявили о переходе во вторую фазу развития сервисной сети. Глобальные режимы поддержки теперь будут применимы ко всей продукции Dell, включая ПК, рабочие станции, ноутбуки. Каждый продукт будет обеспечен уникальной идентифицирующей сервисной меткой.

По словам руководителя отдела корпоративных решений Dell в России Леонида Беляева, на практике все это означает, что продукты компании в России будут обеспечены возможностью быстрого ремонта бесплатно в одном из более чем 160 авторизованных сервисных центров по России. “Быстрого” – означает в данном случает в течение шести дней плюс время доставки необходимых запчастей в регион (один-три дня). Это меньше тридцатидневного срока, установленного “Законом о защите прав потребителей”, но и в гарантийном договоре эта цифра не указана – просто таков новый внутренний норматив Dell в России.

Кроме того, покупатели клиентской линейки продуктов Dell в Москве и Санкт-Петербурге теперь смогут за дополнительную плату заказать выезд специалиста Dell на место поломки в течение четырех, восьми часов или на следующий рабочий день. В перспективе такую услугу планируется предоставлять и в других городах-"миллионниках", а пока клиентам Dell в российских регионах доступен ремонт на месте по мере поступления запчастей в региональный центр (те же один-три дня).

Глобальная система поддержки пользователей Dell имеет соглашения со службами поддержки многих производителей программного обеспечения, включая Microsoft, Oracle, SAP, Novell, Red Hat, Citrix, Altiris и других. Таким образом, если выявленная проблема у пользователя может быть вызвана легально приобретенным программным продуктом от такого производителя, то Dell будет координировать процесс ее разрешения, вплоть до построения виртуальной команды из специалистов разных производителей, которая будет разбираться в сложном случае.

Пакеты поддержки можно будет приобрести у российских партнеров Dell. Авторизованными дистрибьюторами компании являются Merlion System Solutions, IBS Platformix, “Крок”, Trinity Logic, “Марвел”, Lanck, Nexus и “ТехноСерв А/С”. По словам Беляева, возможно, пакеты поддержки также будут продаваться и в розничных сетях.

Ассортимент цифровых проекторов InFocus, поставляемых в Россию через дистрибьюторскую компанию "Русский стиль", в ближайшее время пополнится рядом новых моделей на основе технологии DLP. Это проекторы для переговорных, а также легкие проекторы для делового применения, входящие в серию Work Big.

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

Модели различаются разрешающей способностью, которая составляет 800х600, 1024х768 и 1280х800 точек соответственно, а также основным форматом изображения — 4:3 или 16:10. Максимальная яркость светового потока — 2500 лм, коэффициент контрастности — 2000:1. Устройства имеют функцию цифровой коррекции вертикальных трапецеидальных искажений, оснащены, наряду с композитным входом и входом S-Video, двумя входами VGA, выходом VGA и могут управляться по интерфейсам RS-232 и USB. Расстояние проецирования лежит в диапазоне от 1,2 до 10 м, а размеры изображения — от 0,6 до 6 м.

Мобильный проектор IN10 очень легок (чуть более 1 кг). Его максимальная яркость - 1800 лм, а коэффициент контрастности 1100:1, при этом оптическая система проектора позволяет получать изображение на расстоянии от 1,5 до 10 м, а ресурс лампы составляет 4 тыс. часов. Разрешающая способность матрицы - 1024х768, соотношение сторон 4:3. Проектор оснащен входом M1, допускающим подключение по интерфейсам DVI и VESA, может принимать компонентный и композитный сигналы и имеет вход S-Video.

Наконец, переносная модель IN15 при массе 1,8 кг характеризуется малой толщиной — 43 мм. Ее предельная яркость достигает 2500 лм, коэффициент контрастности — 1800:1; проектор оснащен объективом с функцией двукратного увеличения и может автоматически корректировать трапецеидальные искажения по вертикали. Номенклатура входов ограничена компонентным, композитным входами и VGA, разрешающая способность - 1024х768, проекционное расстояние — 0,85-8,7 м.

Как сообщила менеджер InFocus по продажам в Восточной Европе и России Малгоржата Патковская-Матчак, в текущем году также будет выпущен предназначенный в первую очередь для образовательных учреждений переносной проектор XS1, позволяющий при расстоянии проецирования менее метра получать изображение с диагональю 178 см. В Россию будет поставляться полностью локализованная модель, при этом школам она будет предлагаться по специальной цене.

По данным, приведенным Матчак, доля DLP-устройств на российском рынке проекторов в 2007 году составила около 57%. Около 43% — проекторы с тремя ЖК-матрицами, и всего лишь долями процента измеряется объем рынка проекторов системы LCOS ("жидкие кристаллы на кремнии"). В то же время на мировом рынке соотношения преобладающих технологий примерно равны: чуть более 51% занимают проекторы с тремя ЖК-матрицами, более 48% — доля DLP-устройств. Компания InFocus выпускает проекторы обеих конструкций. Объем российского рынка проекторов в 2007 году представители InFocus оценили в 138 тыс. устройств, а мирового рынка — в 5,5 млн. устройств. Для сравнения, в 2006 году объем мирового рынка проекторов составил 4,99 млн. устройств, а в 2005 — 4,13 млн.

Ситуация на российском рынке ноутбуков меняется настолько быстро, что производители должны максимально четко планировать свои действия. Иначе можно потерять темп развития бизнеса. Нечто подобное едва не произошло в прошлом году с компанией Toshiba в России.

По словам Питера Икса, вице-президента по региону EMEA Toshiba Europe GmbH, сейчас Россия находится на четвертом месте среди европейских стран по темпам роста продаж ноутбуков. Рынок России, СНГ и стран Балтии на сегодняшний день оценивается компанией как один из самых перспективных и быстрорастущих. Как заявил Икс, за последний год продажи в этом регионе выросли втрое и составляют сейчас около 40% европейского оборота компании. В 2006 году компания также добилась отличных результатов: продажи ноутбуков в России выросли более чем вдвое. Это сразу вывело Toshiba на третье место (после Acer и Asustek) с долей в 10,9% рынка.

Итоги 2007 года оказались менее однозначными. Несмотря на то, что рост продаж составил 50,8%, доля ноутбуков Toshiba на российском рынке снизилась до 10%. Компания по-прежнему занимает третью строчку в списке лидеров продаж, однако положение было оценено как... критическое. Причиной таких результатов стала ошибка в аналитических прогнозах. Согласно им, объем российского рынка ноутбуков в третьем квартале прошлого года должен был составить примерно 660 тыс. штук. Но по итогам квартала оказалось, что прогнозы были занижены более чем в полтора раза, то есть реальный объем продаж составил более 930 тыс. штук. Неправильно рассчитанные объемы поставок привели к дефициту в самых продаваемых сегментах ноутбуков -- низкой и средней ценовой категории. Ситуацию не удалось исправить и в четвертом, самом значимом с точки зрения объемов продаж, квартале. По отдельным моделям ноутбуков Toshiba спрос превышал предложение на 80%.

Сделав выводы из итогов прошедшего года, компания приняла решение сделать рывок и достичь в этом году доли рынка в 15%. Правда, если не произойдет снижение рыночной доли ноутбуков основных конкурентов, то Toshiba все равно останется на третьем месте, но с гораздо более убедительными результатами. Для достижения поставленной цели компании снова придется продемонстрировать взрывной рост продаж, но имеющиеся оценки объема российского рынка и динамики его роста позволяют говорить о достижимости намеченной цели. Так, предполагается, что рост рынка в этом году составит около 30% и всего будет продано около 3,4 млн мобильных компьютеров. А уже в январе Toshiba увеличила объемы продаж ноутбуков втрое по сравнению с аналогичным периодом прошлого года.

Способы достижения поставленной цели были названы достаточно традиционные - расширение модельного ряда, улучшение взаимодействия с дистрибьюторами и с партнерами второго уровня, маркетинговые и рекламные акции, направленные на конечных пользователей. Для увеличения лояльности пользователей компания создала собственный информационный центр. Принимая это решение, в Toshiba опирались на опыт европейского рынка, на котором возможность обратиться за консультацией по телефону горячей линии является важным фактором при выборе ноутбука того или иного производителя. Теперь и в России по всем вопросам, связанным с ноутбуками Toshiba, можно получить консультацию по телефону горячей линии. Операторы информационного центра дадут информацию по вопросам гарантийного и послегарантийного обслуживания, подскажут характеристики новых моделей, адреса магазинов и сервисных центров, а также примут предложения и пожелания клиентов. Пока время работы информационного центра оптимально для средней полосы нашей страны, но в скором времени предполагается сделать его более удобным и для жителей Сибири и Дальнего Востока.

Кроме того, принято решение о диверсификации бизнеса. В частности, начато производство жидкокристаллических мониторов и цифровых видеокамер. В Toshiba приняли решение стартовать сразу в сегменте видеокамер высокой четкости. В настоящий момент компания представила четыре разные модели, использующие в качестве носителя информации жесткие диски, которые защищены от ударов системой, аналогичной используемой в ноутбуках Toshiba. Как отметил Игорь Снытко, генеральный менеджер по странам СНГ и Балтии Toshiba Europe, к концу 2009 года компания намерена занять второе место среди производителей любительских цифровых видеокамер.