|
Это серия историй, где автор, заглянув в недалекое будущее, постарался описать взаимоотношения мужчины и женщины. «Прошивка» – трогательная история, где герои уже состарились, но благодаря новой технологии смогли вернуть былые чувства. «Чистка» – со временем человеческие воспоминания блокируют эмоции, и он становится скучным. Чтобы вернуться к прежней жизни, можно кое-что почистить в голове. «Умышленная блокировка» – трагедия, связанная с памятью, где после расторжения брачного контракта герои потеряли друг друга. «Любовь в процентах» – уже давно не секрет, что программы сводят людей, а те, забыв, что такое любовь, доверяют машине. Любовь – эта мысль проходит красной нитью через всю книгу, хотя порой она принимает причудливую форму.
Получить ссылку |
Теория соответствия для систем с блокировками и разрушениями
Автор: Виктор Кулямин
Год издания:
В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение ioco – обобщение отношения ioco (InputOutput COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных трассах, которые не могут привести к разрушению. Предлагается гипотеза о безопасности, определяющая класс реализаций, которые можно тестировать на соответствие заданной спецификации. Рассматриваются два вида моделей: трассовые модели и система переходов (Labelled Transition System), и показывается их эквивалентность. Описывается генерация тестов и её алгоритмизация. Обсуждаются различные виды пополнения спецификаций частично-определённых по стимулам. Сравниваются семантики отношений ioco и ioco. Анализируется проблема несохранения соответствия при композиции и предлагается её решение с помощью монотонного преобразования спецификаций. Излагается общая теория монотонности соответствия и определяются достаточные условия монотонности. Предлагаются монотонные преобразования для общего случая и для подклассов без блокировок и/или разрушения. Рассматриваются проблемы алгоритмизации преобразований и композиции и описываются соответствующие алгоритмы.
О блокировках и свободе
Автор: Творческий коллектив программы «Overtime: другой эфир»
Год издания:
Марат Кашин, Михаил Гуревич и интернет-омбудсмен Дмитрий Мариничев – в подкасте «Ъ FM».
Умышленная недосказанность
Автор: Юлия Шульц
Год издания:
Главная героиня романа Ольга всегда была первой – в школе, университете, на работе. Но внезапно обрушившиеся жизненные обстоятельства перевернули ее сформировавшийся мир с ног на голову: все пришлось начинать сначала, и к этому главная героиня была совершенно не готова… Разочарование в людях, потеря работы, предательство друзей, разочарование в любимом человеке… Книга о том, как не пропасть под гнетом жизненных обстоятельств, ведь выход всегда есть, нужны лишь желание, большое терпение, и вкус вновь обретенной победы не заставит себя ждать.
Блокировка бизнеса
Автор: Радио «Комсомольская правда»
Год издания:
Максим Коряко рассказывает в каких ситуациях может произойти внезапная остановка работы
Чтобы скачать книгу, отключите блокировку рекламы. Спасибо!