🥇Статьи блога Блог. Все статьи по тематике Блог

От моделирования процессов к проектированию автоматизированной системы (Часть 2)

Опубликовано 31.10.2019

«Один день из жизни белки» или от моделирования процессов к проектированию автоматизированной системы учёта материальных ценностей «Белка-1.0» (Часть 2) Использована иллюстрация к «Сказке о царе Салтане» А.С.Пушкина, изд.»Детская литература», Москва, 1949 год, Ленинград, рисунки К.Кузнецова Краткое содержание предыдущей серии В 1-ой части мы использовали «сказочную» предметную область, вдохновленные примерами изучения диаграмм UML с опорой на […]

Уточняем описание функций системы с помощью диаграммы Sequence

Опубликовано 31.10.2019

Уточняем описание функций системы с помощью диаграммы Sequence (продолжение «Белки») В данной статье рассмотрим, как можно детализировать (уточнить) описание автоматизируемой функции с помощью UML Sequence Diagram — диаграммы последовательности. В данном примере я использую среду Enterprise Architect от австралийской компании Sparx Systems [1]. Полную спецификацию UML см. здесь [2]. Для начала поясню, что мы будем […]

Выбор телевизора себе, любимому, с позиции науки, а не рекламы

Опубликовано 31.10.2019

Всем привет. На написание этой небольшой статьи меня натолкнул спор касательно выбора телевизора. Сейчас в этой области — равно как в «мегапикселях для камер» — царит маркетинговая вакханалия в погоне за разрешениями: HD Ready давно сменились на Full HD, а уже становятся всё более популярными 4К и даже 8К. Давайте разберёмся — а что нам […]

Представлен робот для безопасного десантирования с высоты без парашюта

Опубликовано 31.10.2019

Группа инженеров из Университета Беркли, компании Squishy Robotics и разработчиков НАСА начала полевые испытания «упруго-жёсткого» робота для безопасного десантирования с высоты без парашюта. Изначально подобные роботы интересовали учёных из агентства по аэронавтике и исследованию космического пространства для сброса с космических аппаратов на Титан, одну из лун Сатурна. Но на Земле тоже найдётся много применений роботизированным […]

Dell запустила в России продажи ноутбуков Alienware m15 и m17, G5 15 (5590) и G7 17 (7790), а также ПК Alienware Aurora R8

Опубликовано 31.10.2019

Компания Dell объявила о старте продаж в России новых игровых компьютеров, анонсированных на выставке CES 2019, — ноутбуков Alienware m15 и m17, G5 15 (5590) и G7 17 (7790), а также ПК Alienware Aurora R8. Ноутбуки Alienware m15 и Alienware m17 оснащены процессорами Intel Core i5 и i7 8-го поколения, обеспечивающими в сочетании с графическими […]

К моменту выхода PlayStation 5 Sony продаст более 100 млн консолей PS4

Опубликовано 31.10.2019

Компания Sony опубликовала отчётность за финансовый год, который подошёл к концу 31 марта 2019 года. На основе представленных данных можно сделать вывод о том, что несмотря на некоторое замедление продаж оборудования для PlayStation4, сама консоль всё ещё продаётся с впечатляющей скоростью. На данный момент по всему миру реализовано 96,8 млн копий PS4, а значит общее […]

Тест: Как вы соблюдаете требования к обработке персональных данных?

Опубликовано 31.10.2019

Штраф за нарушение закона о персональных данных составляет до 75 тыс. рублей. Как обезопасить себя от нарушений при обработке персональных данных? Выполнены ли вами все требования законодательства? С 1-го июля 2017 года штрафы были увеличены и стали зависеть от вида нарушений. Да, прошло достаточно много времени, но, как это часто бывает, особенно в России, где, […]

Научно-технический центр «Модуль» представил приёмник для высокоточной навигации

Опубликовано 31.10.2019

Один из крупнейших российских разработчиков научно-технический центр «Модуль» пришёл в навигацию. До сих пор в активе центра были контроллеры и микропроцессоры широкого спектра назначения. Новая сфера деятельности позволит расширить опыт и предложение российских разработчиков. В частности, «Модуль» собирается выйти на рынок устройств высокоточной навигации, рассчитывая к 2024 году занять в России 15–18 % на этом рынке, […]

Будущие видеокарты Intel будут унифицированы с интегрированной графикой по архитектуре

Опубликовано 31.10.2019

В годовом отчёте, который на сайте Intel впервые появился в феврале этого года, компания в силу не совсем очевидных причин называет разрабатываемое дискретное графическое решение «первым в своей истории», хотя знатоки развития отрасли могут помнить, что с дискретными видеокартами Intel попытала счастья ещё в середине девяностых годов прошлого века. По сути, разработка дискретного графического решения […]

Windows 10 «растолстеет» минимум до 32 Гбайт

Опубликовано 31.10.2019

Компания Microsoft в своё время объявила, что будет использовать порядка 7 Гбайт пространства на жёстком диске пользователя для хранения файлов обновлений. Преимущество такого подхода заключается в том, что это позволит гарантировать, что место не закончится в середине обновления. Недостаток же банален — на недорогих планшетах и ноутбуках места попросту не хватит. Если ранее минимальное требование […]

Формальная верификация на примере задачи о волке, козе и капусте

Опубликовано 31.10.2019

На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую сторону реки. Но вначале вкратце опишу, что из себя представляет формальная верификация и зачем […]

Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python

Опубликовано 31.10.2019

Формальная верификация — это проверка одной программы либо алгоритма с помощью другой. Это один из самых мощных методов, который позволяет найти в программе все уязвимости либо же доказать, что их нет. Более подробное описание формальной верификации можно увидеть на примере решения задачи о Волке, Козе, и капусте в моей предыдущей статье. В этой статье я […]

« назад « к началу 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 в конец » вперед »

Рубрика: Блог