Ford намерена увеличить к концу 2019 года свой парк самоуправляемых автомобилей до 100 единиц, а также приступить к их тестированию ещё в одном городе, так как компания наращивает темпы развёртывания автономных технологий. Об этом сообщил инвесторам генеральный директор Ford Джим Хакетт (Jim Hackett) в ходе подведения итогов работы компании за первый квартал 2019 года. Хакетт […]
Уточняем описание функций системы с помощью диаграммы Sequence (продолжение «Белки») В данной статье рассмотрим, как можно детализировать (уточнить) описание автоматизируемой функции с помощью UML Sequence Diagram — диаграммы последовательности. В данном примере я использую среду Enterprise Architect от австралийской компании Sparx Systems [1]. Полную спецификацию UML см. здесь [2]. Для начала поясню, что мы будем […]
«Один день из жизни белки» или от моделирования процессов к проектированию автоматизированной системы учёта материальных ценностей «Белка-1.0» (Часть 2) Использована иллюстрация к «Сказке о царе Салтане» А.С.Пушкина, изд.»Детская литература», Москва, 1949 год, Ленинград, рисунки К.Кузнецова Краткое содержание предыдущей серии В 1-ой части мы использовали «сказочную» предметную область, вдохновленные примерами изучения диаграмм UML с опорой на […]
Похоже, что дела у Uber идут как никогда хорошо. Вчера американская компания установила цену за свои акции в диапазоне от 44 до 50 долларов США за ценную бумагу, согласно обновлённой информации из Комиссии по ценным бумагам и биржам США. Uber планирует предложить 180 миллионов акций и привлечь около 9 миллиардов долларов в ходе проведения IPO. […]
Армия пользователей ПК, использующих свои системы для развлечений, в ближайшие несколько лет будет активно терять своих приверженцев. Ожидается, что за период до 2022 года порядка 20 миллионов геймеров по всему миру откажутся от использования ПК. Все они перейдут с компьютеров на игровые консоли или какие-то другие подобные устройства, подключаемые к телевизорам. Такой безрадостный для компьютерного […]
Ford Motor Company опубликовала финансовый отчёт, в котором сообщается, что министерство юстиции США проводит расследование в отношении её методов внутреннего контроля выбросов. По словам автомобильной компании, расследование находится на «предварительном этапе». Причём Ford утверждает, что расследование не имеет ничего общего с использованием «нейтрализующих устройств» или программного обеспечения, предназначенного для обмана регуляторов при проведении тестов на […]
Компания Sony опубликовала отчётность за финансовый год, который подошёл к концу 31 марта 2019 года. На основе представленных данных можно сделать вывод о том, что несмотря на некоторое замедление продаж оборудования для PlayStation4, сама консоль всё ещё продаётся с впечатляющей скоростью. На данный момент по всему миру реализовано 96,8 млн копий PS4, а значит общее […]
Компания Dell объявила о старте продаж в России новых игровых компьютеров, анонсированных на выставке CES 2019, — ноутбуков Alienware m15 и m17, G5 15 (5590) и G7 17 (7790), а также ПК Alienware Aurora R8. Ноутбуки Alienware m15 и Alienware m17 оснащены процессорами Intel Core i5 и i7 8-го поколения, обеспечивающими в сочетании с графическими […]
Группа инженеров из Университета Беркли, компании Squishy Robotics и разработчиков НАСА начала полевые испытания «упруго-жёсткого» робота для безопасного десантирования с высоты без парашюта. Изначально подобные роботы интересовали учёных из агентства по аэронавтике и исследованию космического пространства для сброса с космических аппаратов на Титан, одну из лун Сатурна. Но на Земле тоже найдётся много применений роботизированным […]
Всем привет. На написание этой небольшой статьи меня натолкнул спор касательно выбора телевизора. Сейчас в этой области — равно как в «мегапикселях для камер» — царит маркетинговая вакханалия в погоне за разрешениями: HD Ready давно сменились на Full HD, а уже становятся всё более популярными 4К и даже 8К. Давайте разберёмся — а что нам […]
Штраф за нарушение закона о персональных данных составляет до 75 тыс. рублей. Как обезопасить себя от нарушений при обработке персональных данных? Выполнены ли вами все требования законодательства? С 1-го июля 2017 года штрафы были увеличены и стали зависеть от вида нарушений. Да, прошло достаточно много времени, но, как это часто бывает, особенно в России, где, […]
Формальная верификация — это проверка одной программы либо алгоритма с помощью другой. Это один из самых мощных методов, который позволяет найти в программе все уязвимости либо же доказать, что их нет. Более подробное описание формальной верификации можно увидеть на примере решения задачи о Волке, Козе, и капусте в моей предыдущей статье. В этой статье я […]