Соавтор: Святослав Размыслов SvyatoslavMC.
В рекламных целях мы решили попробовать проверить ядро Linux с помощью нашего статического анализатора кода. Эта задача интересна своей сложностью. Исходные коды Linux чем только не проверялись и проверяются. Поэтому найти хоть что-то новое, весьма сложная задача. Но если получится, то это будет хорошая рекламная заметка о возможностях анализатора PVS-Studio.
Читать полностью »
Мы с вами люди рабочие и зачастую не замечаем ничего что происходит за пределами нашей работы. Так и я, работая изо дня в день, знаю только про свой SpecFlow и смежные вопросы. Но ничего – по сторонам. Этим постом я хочу восполнить пробелы новостей в области .Net
Новости хаба .Net на Хабре занимают 33 страницы или 328 постов. Что говорит о том что новости появляются почти каждый день =) Посмотрим на самое интересное из них (на мой скромный взгляд). Ну и загляните под кат: до ката, конечно же, не все.
Доступен новый JIT: теперь с поддержкой SIMD
Как работает декомпиляция в .Net или Java на примере .Net
Microsoft раскрыла исходный код компилятора С#
Consulo: ~1000 коммитов, или как прошла осень
Под капотом у Stopwatch
Как тестировать код финализатора (c#). Послесловие: тест все-таки упалЧитать полностью »
Каталог смартфонов компании Archos пополнился моделью 50C Helium 4G — новинка базируется на однокристальной платформе MediaTek MT6732, в состав которой входит четырехъядерный процессор ARM Cortex-A53, поддерживающий 64-разрядные вычисления, и GPU Mali-760 MP2.
Вредоносная программа Win32/Virlock представляет из себя первый известный на сегодняшний день вымогатель (ransomware), который специализируется на заражении исполняемых файлов, т. е. ведет себя как файловый вирус. Virlock умеет блокировать рабочий стол пользователя с требованием выкупа, шифровать файлы пользователя, а также размножать свое тело как полиморфный вирус.
Компания Shuttle объявила о выпуске нового, уже четвертого поколения моноблочного компьютера X50. Изделие по-прежнему заключено во всепогодный корпус (степень защиты — IP54), но базируется на новой платформе: Intel Haswell (Intel Celeron 2957U) против Intel Cedar Trail-D (Intel Atom D2700) в X50 V3.
В Сети появились новые изображения смартфона Nokia C1, за разработкой которого стоит компания Foxconn. Официальная премьера изделия, по предварительным данным, состоится в ближайшие месяцы, но оценить особенности его внешнего исполнения уже можно.
Источник поделился открытием, сделанным в базе данных утилиты GPU-Z. Речь идет о записи, соответствующей 3D-карте Nvidia Quadro M6000.
Предположительно, основой изделия с идентификатором 10DE-17F0 и версией BIOS 84.00.0E.00.01, работающего под управлением драйверов ForceWare 347.09, служит GPU GM200 или GM210.
Ссылаясь на информацию, поступившую от представителя Nvidia, источник пролил свет на некоторые планы производителя графических процессоров и однокристальных систем. Как утверждается, Nvidia не планирует использовать архитектуру Maxwell в профессиональных решениях линейки Tesla, предназначенных для суперкомпьютеров. В линейке Quadro появление моделей на GPU Maxwell вероятно, но ускорители Tesla будут продолжать выпускаться на GPU Kepler. Примером следования этой стратегии является выпуск в ноябре модели Nvidia Tesla K80 на двух GPU GK210Читать полностью »
Компания WD, дочернее предприятие Western Digital, планирует продемонстрировать на мероприятии Storage Visions 2015, которое пройдет 4-5 января в Лас-Вегасе, по ее словам, самый быстрый в мире гибридный накопитель объемом 4 ТБ.
Здравствуйте!
На сегодняшний день в веб-проектировании такое понятие, как Usability, является главенствующим. Существует множество подходов увеличения эффективности взаимодействия пользователя с меню. В этой публикации я приведу пример работы с паркетным меню, но в более упрощенном стиле, не похожем на меню Windows 8.
Для начала приведем формулировку закона Фиттса:
— общий закон, касающийся сенсорно-моторных процессов, связывающий время движения с точностью движения и с расстоянием перемещения: чем дальше или точнее выполняется движение, тем больше коррекции необходимо для его выполнения, и соответственно, больше времени требуется для внесения этой коррекции.
Формула:
T = a + b * log ( D / W + 1 ),
где T — время работы пользователя с меню в (мс), a и b — коэффициенты навыков и умений работы пользователя с тем или иным устройством, D — расстояние от одного до другого пункта меню, W — ширина пункта меню при движении к нему от другого пункта меню.
Для большего понимания представим расчетную схему:
Рисунок — Расчетная схема закона Фиттса.
Для достижения нужных результатов я провел несколько опытов на написанной мной программе. На данный момент программа может проанализировать заданное вами меню и выдать результаты для нескольких пользователей с учетом их умений и навыков работы с компьютером.
Рассчитаем среднее время для паркетного меню с параметрами: p1=120 px, p2=160 px, d=10 px, n=6, где n – количество пунктов меню.
Получим таблицу, в которой указаны параметры Wi, Di, Ti.
Читать полностью »
