Журналы на компьютерную тематику. Бортовой журнал программиста

Ох уж эта вечная гонка за звание идеального программиста. Годами учите язык, набиваете руку, кодируя, читаете книги стопками, а всё равно мозг не успевает за потоками набегающей информации. Мне было 10, когда я начал изучать программирование, и с тех пор я не помню момента, чтобы новые знания давались легко, какими бы интересными они не были. В работе и дома неизбежно сталкиваешься с моментами, когда хочется всё бросить, сменить профессию и больше не пыхтеть над этим треклятым кодом. Некоторые, кстати, так и делают. Но это не наш путь, правда?

Упорство - вот залог к успеху. Необходимо проявлять усидчивость в изучении ТЗ, написании кода, его чтении, тестировании. Необходимо строго следить за своим распорядком дня, временем для работы и отдыха, образом жизни и питанием. Надо учитывать каждую мелочь, но как это сделать, когда мозг и без того перегружен информацией? Выход есть - ваш личный бортовой журнал. И вот чем он вам может помочь.

Всего лишь порядок

Западные психологи часто советуют своим пациентам, которые ведут себя асоциально или, например, жалуются на провалы в памяти, вести дневник. Возможно именно из-за этой стереотипной связи я долгое время отрицал необходимость конспектировать свои действия, а старших коллег, которые это делали, не понимал. Но в какой-то момент, когда количество срочных рабочих дел на единицу времени перевалило за три, я осознал, что заполнение подручного блокнота информацией - единственный вариант решать их все оперативно. Иного выхода в условиях open-space офиса я просто не нашёл. И я прозрел.

Сначала это была просто запись текущих задач, потом к ним добавились статусы, решения, а в итоге всё свелось к тому, что я стал помечать каждую относительно сложную задачу, которая возникала в работе. С вопросами попроще, когда надо подумать над созданием класса и его переменных, в общем-то можно справиться и не задействуя ручку с листком. Но когда речь идёт о структуре программы, о входных и выходных данных, о вариантах возможных решений - здесь лучше потратить немного времени и всё внимательно визуализировать.

Плюсы в организации

Первый и самый очевидный плюс в ведении собственного журнала - организация дел и действий. Вам больше не придётся мычать, вспоминая нужный ответ, при нападках разъярённого начальника. Вы больше не пропустите важный дедлайн, увлёкшись решением второстепенной задачи. Вы будете всегда чётко знать, когда, где и что вы должны сделать.

Второй плюс - организация мыслей. Решение любой комплексной задачи предполагает движение от общего к частному. Но не имея возможности или не желая зафиксировать этот «спуск» на бумаге или носителе, вы неизбежно начнёте путь в обратном направлении. Как итог, «доработанный» результат и чаще всего недовольный заказчик.

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

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

Но самое главное - с подручным журналом вы сохраните свои нервы и здоровье. Зачем держать кучу простой информации в голове, если можно заставить мозг работать над более сложными задачами? Зачем вообще запоминать какие-то оперативные рабочие моменты, если вы хотите стать идеальным программистом, а не работником месяца?

Минусы

Минус ведения журнала понятен - категорическое нежелание вести конспекты, когда перед вами стоит интересная задача, которую надо срочно решить. Вам хочется поскорее взяться за её реализацию, а не корпеть над структурой, алгоритмами и конкретными названиями классов и переменных.

Кроме того, запись своих действий и задач имеет смысл только в существовании одного-единственного журнала (в крайнем случае двух: рабочего и общего). А если вы просто заполняете все подручные стикеры свежей информацией, то и толк от этого будет минимальный.

Формат

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

Во-вторых, если вы ведете журнал в бумажном виде, он должен быть по-настоящему прочным. Простые миниатюрные блокноты помнутся, порвутся и затеряются, так что выбирайте хороший толстый органайзер, который выдержит все удары судьбы.

Третий совет - начинайте ключевые записи в формате «дата - проект - описание», а важные заметки отмечайте отдельно. Так вам не придётся тратить время на их поиски.

И последнее - сохраняйте регулярность. Даже если вы ведёте исключительно механическую работу, не решая сложных задач, выработайте привычку отмечать хотя бы раз в пару дней свои действия.

Журнал по философии

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

Пополняем словарный запас и расширяем кругозор.

Свободная неделя после Нового года отличное время для занятий самообразованием, в том числе для повышения уровня знания английского языка. Но напрягаться в эти дни не хочется совсем. Есть легкий и приятный способ пополнить свой словарный запас без излишнего интеллектуального напряжения - читать англоязычные журналы на тему, которая тебе интересна.

До начала 2010-ых годов, когда многие издания ушли в онлайн, в США издавалось невероятное количество печатной прессы на всевозможные темы. В том числе многочисленные журналы для любителей персональных компьютеров и программистов. Многие из них ориентированы на тинейджеров и оформлены соответственно: много картинок, яркие цвета, текст разбит на небольшие блоки.

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

Вот небольшая подборка журналов на разные темы, связанные с IT: разработка игр, Linux, старое железо и программирование под него, ретро компьютерные игры и DIY.

GAME DEVELOPER

Издавался с 1994 по 2013 год компанией UBMTechWeb. До последнего номера сохранил оформление в стиле игровых журналов 90-ых. В нем публиковались интервью с командами разработчиков, анонсы новых проектов, отчеты с ведущих GameDev-конференций и аналитическая информация о рынке игр.

Примеры поднимаемых тем (2013):

Топ-30 разработчиков игр всех времен и народов;
Как оперативно завершить разработку игры и успеть до дедлайна;
Какими будут видеоигры в будущем?
Обзор графического планшета;
Советы по организации процесса разработки игр.

Сайт журнала не сохранился (на старом адресе стоит редирект на gamasutra.com). Отсканированные выпуски разбросаны по разным ресурсам. Вот пример номера .

LINUX JOURNAL

Издается с 1994 года и по сей день, но год назад начал выходить только в виде версий для планшетов. На страницах издания освещаются самые разнообразные вопросы, связанные с open source, программированием, системным администрированием и информационной безопасностью. Статьи для людей, которые только начинают знакомство с Linux, перемешаны с руководствами для опытных специалистов в узких областях. Все это очень щедро разбавлено рекламой.

Примеры поднимаемых тем (июнь 2014):

Анализируем трафик Android устройств в Wireshark;
Как мобильные устройства меняют интернет;
Обзоры свежих книг про Linux;
Сравнение технических характеристик новых ноутбуков;
Научные вычисления на Python;
Bash-скрипты для начинающих.

COMPUTE!

Журнал выходил с 1979 по 1994. По его выпускам можно изучать историю важнейших событий в компьютерной индустрии. В нем рассказывается обо всем, что связано с персональным компьютерам, но больше всего статей о технике производства компании Commodor, которая издавала этот журнал.

Примеры поднимаемых тем (1988 год):

Обзор 3D-эмулятора вертолета;
Руководство по использованию дискет для начинающих;
Отчет с мероприятия Winter Consumer Electronic Show;
Обзор новинок игр;
Обзор книг по использованию Apple Llgs;
Как написать симулятор солнечной системы на Basic;
Есть ли эмуляторы MS-DOS для Commandor 64;

THE TRANSACTOR

Это черно-белый журнал, на страницах которого публиковали материалы для людей, серьезно увлеченным компьютерами: многостраничные листинги кода, глубокие и подробные описания решений рабочих проблем программистов разных областей, обзоры техники, не предназначенной для домашнего использования. Издавался с 1978 до 1990 год.

Примеры поднимаемых тем (1984 год):

Звуковые эффекты на VIC 20;
Обзор нового компьютера Commodore 264;
Сравнение текстовых редакторов;
Как программировать повороты спрайтов;
Автоматическая генерация отчетов;
Как воспроизводить музыку на компьютере по нотам;
Как менять цвета на экране компьютера Commodore 264;

Также стоит отметить обилие комиксов, юмор которых понятен и через 30 лет:

COLOR COMPUTER

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

Примеры поднимаемых тем (из выпуска за июнь 1983 года):

Как написать компьютерную игру за лето;
Как организовать программистов из твоего города в сообщество;
Как писать хорошую документацию к программам;
Отрывок из книги Дугласа Адамса «Автостопом по галактике»;
Как рисовать на компьютере;
Обзор дизассемблера;
Как анимировать объекты на Basic.

Любопытно, что софт тогда выпускался в двух версиях - на дискетах и на кассетах (для компьютеров Spectrum).

Некоторые номера журнала можно скачать .

CALL A.P.P.L.E.

Основан Apple Pugetsound Program Library Exchange - старейшим в мире сообществом пользователей Apple. Издавался с 1978 по 1990 год ежемесячно. В 2002 году журнал возродился и стал выходить один раз в год. По компактным выпускам этого журнала можно изучать раннею историю компании.

Примеры поднимаемых тем (1981 год):

Обзор компиляторов;
Дизассемблеры для Apple;
Обзор текстового редактора Zardax.

А вот так выглядели объявления о приеме на работу программистов 34 года назад.

MAKE

Журнал "CHIP" - одно из наиболее авторитетных компьютерных изданий в мире. CHIP, выходящий в 15 странах Европы и Азии, читают более 5 миллионов человек. Ежемесячно на 164 страницах российской версии журнала публикуются тесты оборудования, обзоры программ, уникальные интервью и другая полезная информация о компьютерах и средствах коммуникаций. Читатели полюбили этот журнал благодаря высокому уровню изложения материалов, независимости авторских мнений... Адрес: ichip.ru

Журнал "Computer Bild" - крупнейшей европейский журнал о компьютерах. Новости, Hard, Soft, Интернет, Коммуникации, Как это работает, Игры, Аудио/видео/фото, Интервью, Блог Computerbild. Вот список тем, которые рассматриваются в журнале. Полезен как начинающим, так и опытным специалистам в компьютерном мире. Сайт журнала: computerbild.ru

Журнал "Мир ПК" - Старейший в России специализированный журнал, освещающий широкий спектр вопросов развития аппаратного и программного обеспечения персональных компьютеров, серверов и рабочих станций, применяемых в различных сферах жизни, от дома до среднего предприятия. «Мир ПК» предназначен для читателей различной квалификации, для которых предлагаются объективные сведения, помогающие уверенно ориентироваться в многообразии информационных технологий и принимать обоснованные решения при приобретении техники и программного обеспечения. Журнал Мир ПК содержит новости ИТ-рынка, аналитические статьи, сообщения о крупнейших выставках, обзоры и советы Адрес: pcworld.ru

Журнал "Мобильные Компьютеры" - посвященный, самым современным устройствам: мобильным компьютерам, мобильным телефонам и ноутбукам. Журнал рассказывает обо всем, что так или иначе связано с мобильными технологиями тем, кому это интересно. Все последние новинки, тесты и обзоры, решения и полезные советы, а также большой каталог устройств. Редакция помогает читателю освоиться в мире мобильных устройств, дает конкретные бизнес решения по оптимизации процессов с помощью КПК, ноутбуков и смартфонов. Читатели журнала активные пользователи персональных и мобильных компьютеров, Internet, современных средств мобильной связи, в том числе технологии SMS, WAP, GPRS Адрес: mconline.ru

Журнал "Компьютерра" - На сегодняшний день является одним из передовых компьютерных изданий, тематика которого посвящена компьютерным и другим новейшим технологиям, их внедрению и влиянию на развитие общества. Издается с ноября 1992 года с еженедельной периодичностью. Характерной аудиторией журнала «Компьютерра» являются мужчины в возрасте 25-34 лет, работающие, имеющие высокий социальный статус, с высоким или средним уровнем доходов, активно пользующиеся компьютером. Журнал интересен всем, кто любит читать о компьютерах Адрес: computerra.ru

Журнал "Железо" - Полная (бумажная) электронная версия в pdf-формате журнала о компьютерном железе от создателей Хакер Издательского дома "Гейм Лэнд". Предпосылкой возникновению журнала послужил большой читательский фидбек на данную тему во всех изданиях, а также результаты многих исследований, которые показывают необходимость оперативно обеспечивать читателей информацией об огромном количестве новых моделей и принципиально новых продуктов на рынке компьютерного оборудования, помогать им делать выбор при покупке компьютеров и комплектующих. Кредо представленного журнала: «Больше объективных тестов!». Основу издания составляют масштабные тесты наиболее интересных моделей разнообразных комплектующих и компьютерного оборудования. «Железные» новости, анонсы оборудования и короткие заметки о новейших моделях призваны держать читателя в курсе самых последних изменений на рынке. Адрес: xard.ru

Журнал "Хакер" - Полная электронная версия популярного компьютерного журнала Хакер в pdf-формате, который рассказывает о компьютерах вообще, программном обеспечении, железе, технологиях, играх и, конечно же, о самих хакерах. Другими словами, обо всем, что связано с компьютерами и хакерами. Но на этом все не ограничивается. Часто в журнале бывают материалы о стиле жизни, о каких-то абсолютно жизненных вещах, о здоровье и проведении свободного времени. Главное отличие от других изданий - это манера подачи материалов. Журналисты Хакера объясняют сложные вещи простым языком, с юмором и молодежным сленгом. Адрес: xakep.ru

Журнал "PC ИГРЫ" - Полная (бумажная) электронная версия в pdf-формате (Acrobat) журнала PC ИГРЫ - правильного журнала о компьютерных играх, который предоставляет читателю оперативную, исчерпывающую, подробную и эксклюзивную информацию о компьютерных играх, о событиях и тенденциях в игровой индустрии, и, конечно же, все о новинках в области компьютерных технологий, необходимых для игр; это самый объемный журнал с богатейшей комплектацией. Максимум необходимой активным геймерам информации - это «РС ИГРЫ»! Адрес: gameland.ru

Журнал "InZone" - компактный, аккуратно оформленный журнал в классическом "фреймовом" исполнении. В этом издании собраны интересные и полезные статьи Рунета по компьютерной тематике. Он является продолжением традиций популярного журнала Internet Zone, который в свое время прекращал издаваться. По мере сил и возможностей автор старается сохранить идею и дух журнала IZone, начав нумерацию своего проекта с №591, т. е. с номера IZone. В InZone всегда можно прочитать последние новости сетевого мира, материалы для строителей сайтов, обзоры нового программного обеспечения, статьи для самообразования и другую интересную компьютерную информацию. Журнал выходит с периодичностью 3-4 раза в неделю. По мнению некоторых авторитетных ресурсов журнал InZone является лучшим электронным журналом. Адрес: andrakov.narod.ru

Журнал "КомпьютерПресс" - Ежемесячный компьютерный журнал КомпьютерПресс выпускается с 1989 г. Сегодня на страницах журнала Компьютер Пресс находится практически вся информация о компьютерах и обо всем, что с ними связано. Актуальность данного журнала не только в том, что он очень своевременно реагирует на все новые веяния и тенденции компьютерной моды, но и в том, что это издание имеет практическую направленность и является ценным практическим руководством в самых различных ситуациях. Журнал адресован в первую очередь специалистам в области информационных технологий. Подавляющее большинство материалов написано отечественными авторами, и это говорит о том, что КомпьютерПресс ориентирован прежде всего на российских пользователей ПК. Адрес: compress.ru

Журнал F1CD - Компьютерный журнал F1CD - это периодическое издание о компьютерных и мобильных технологиях, софте и всём том, что, так или иначе, связано с высокими технологиями (Hi-Tech ). Интересной особенностью нашего журнала является способ распространения - на данный момент мы выходим в двух версиях - на CD и DVD дисках.
Наша читательская аудитория заинтересована в качественной информации, поэтому нас читают, как школьники и студенты, так и люди с высшим образованием в возрасте далеко за тридцать.
Почему нас читают? Ответ прост - в каждом номере F1CD мы стараемся выделять самое интересное и важное из произошедшего за уходящий месяц.
Важная часть нашего издания - это раздел "Программы", в котором публикуются качественные, преимущественно бесплатные, приложения для ПК, сотовых телефонов и смартфонов.
Мы НЕ занимаемся распространением пиратского ПО, напротив, мы считаем, что при современной конкуренции на рынке программного обеспечения, существует лишь очень узкий круг программ, которым совсем нет достойного доступного (а всё чаще и вовсе бесплатного) аналога. Так зачем же использовать пиратскую продукцию, тем самым вступая в конфликт с законом, если можно воспользоваться вполне легальной альтернативой? Адрес компьютерного журнала: f1cd.ru

Журнал UPgrade - Еженедельный журнал о компьютерах и компьютерных технологиях, стал первопроходцем на рынке массовых изданий о высоких технологиях, сегодня журнал - признанный лидер в своем медиасегменте. UPgrade - первое еженедельное издание для широкого круга читателей, которых интересует не только сам по себе апгрейд компьютера, но и все, что так или иначе связано с миром IT. Сайт upweek.ru

Журнал для гиков - Журнал для тех, кто интересуется событиями в мире информационных технологий. Новинки интересных гаджетов, железа, обзоры интернет-сервисов, новые технологии, прорывы в науке, мобильные устройства и др. Выходит в формате PDF. Сайт журнала supreme2.ru/category/magazine

Журнал "Домашний ПК" - Раздел "ХардWare" - это руководство для тех, кто интересуется новинками новой техники. В каждом номере "Тестовая лаборатория" представляет тесты новых программ и приложений! А также статьи о сети Internet, компьютерных играх, мультимедиа, новинках программного и аппаратного обеспечения. Сайт журнала dpk.com.ua

Журнал HARD"n"SOFT - Популярный российский ежемесячный журнал о компьютерной технике, программах, играх. Лучшие специалисты и эксперты предоставляют читателям необходимую, максимально полную и объективную информацию по цифровым и компьютерным технологиям. По данным исследований TNS Gallup Media за 2009 год журнал входит в пятерку лидеров по охвату читательской аудитории. Сайт журнала

Журнал основан в 1975 году и публикует статьи по всем проблемам, связанным с теоретическим и практическим программированием: операционные системы, технологии программирования, языки программирования и компиляторы, параллельное программирование, верификация и тестирование программ, машинная графика, компьютерная алгебра и т.п. Журнал предназначен для исследователей, практиков и студентов. Периодичность выпуска – 6 номеров в год. Журнал внесен в список ВАК.

Архив научных статейиз журнала «Программирование»

АВТОМАТИЗАЦИЯ СОЗДАНИЯ ТАБЛИЦЫ КОНФИГУРАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ В АВИОНИКЕ
БАТОВА С.В., БЛАГОНРАВОВ С.А., ЖАРИНОВ И.О., КОНОВАЛОВ П.В., УТКИН С.Б. - 2015 г.

Рассматривается задача автоматизации процесса создания таблиц конфигурации операционных систем реального времени. Вводится классификация конфигурационной информации программного обеспечения систем реального времени: зависимая от целевой функции системы; зависимая от используемой операционной системы; зависимая от аппаратуры системы. Вводятся информационные связи компонентов специализированной системы автоматизации проектирования конфигурации для операционных систем с другими функциональными элементами инструментального программного обеспечения в составе рабочего места программиста. Описывается разработанная авторами автоматизированная среда конфигурирования программного обеспечения. Приводятся примеры рабочих окон программы автоматизации проектирования для конфигурирования компонентов программного обеспечения систем авионики, в основе которых лежит операционная система реального времени, соответствующая стандарту ARINC 653.
АВТОРСКИЙ УКАЗАТЕЛЬ СТАТЕЙ, ОПУБЛИКОВАННЫХ В 2014 ГОДУ
АЛГОРИТМ ПРОВЕРКИ ТРИВИАЛЬНОСТИ «СМЕШАННЫХ» ИДЕАЛОВ В КОЛЬЦЕ ДИФФЕРЕНЦИАЛЬНЫХ МНОГОЧЛЕНОВ
ЗОБНИН А.И., ЛИМОНОВ М.А. - 2015 г.

В статье предлагается алгоритм проверки тривиальности идеала [f] + (h 1,...., h t) в обыкновенном кольце дифференциальных многочленов при некотором дополнительном условии на многочлен f. Эта задача тесно связана, с одной стороны, с задачей Колчина об экспонентах дифференциальных идеалов, а с другой - с вопросами конечности дифференциальных стандартных базисов.
АЛГОРИТМИЧЕСКИЕ ВОПРОСЫ КОНЪЮНКТИВНОЙ ДЕКОМПОЗИЦИИ БУЛЕВЫХ ФОРМУЛ
ЕМЕЛЬЯНОВ П.Г., ПОНОМАРЕВ Д.К. - 2015 г.

Под конъюнктивной декомпозицией понимают отыскание двух или более формул, компонент декомпозиции, конъюнкция которых эквивалентна исходной формуле. Декомпозиция называется дизъюнктной, если множества переменных у компонент не пересекаются. В статье показано, что проблема существования дизъюнктной конъюнктивной декомпозиции является трудной для булевых формул, заданных в КНФ/ДНФ. Для позитивных ДНФ, СДНФ и АНФ показано существование полиномиального алгоритма для нахождения компонент дизъюнктной декомпозиции. Данный результат следует из эффективной факторизации полилинейных полиномов над конечным полем порядка 2, для которой в статье предложен алгоритм, основанный на тестировании равенства нулю частных производных полилинейных полиномов.
АССОЦИИРОВАННЫЕ ТИПЫ И РАСПРОСТРАНЕНИЕ ОГРАНИЧЕНИЙ НА ПАРАМЕТРЫ-ТИПЫ ДЛЯ ОБОБЩЁННОГО ПРОГРАММИРОВАНИЯ НА SCALA
ПЕЛЕНИЦЫН А.М. - 2015 г.

Обобщённое программирование представляет собой принцип создания программных компонент, характеризующихся высокой степенью повторной используемости за счёт отделения реализации алгоритмов от конкретных определений типов данных, с которыми работают эти алгоритмы. В последние годы проведён ряд исследований, направленных на выявление имеющихся и разработку новых механизмов поддержки обобщённого программирования в различных языках программирования. В данной работе анализируются и развиваются подходы к реализации обобщённого программирования с использованием различных элементов языка программирования Scala, разработанного в Федеральной политехнической школе Лозанны специалистом в теории и реализации языков программирования Мартином Одерски.
ВЫСОКОУРОВНЕВАЯ МОДЕЛЬ ПАМЯТИ ПРОМЕЖУТОЧНОГО ЯЗЫКА JESSIE С ПОДДЕРЖКОЙ ПРОИЗВОЛЬНОГО ПРИВЕДЕНИЯ ТИПОВ УКАЗАТЕЛЕЙ
МАНДРЫКИН М.У., ХОРОШИЛОВ А.В. - 2015 г.

В статье представлен промежуточный язык, предназначенный для использования в качестве целевого анализируемого языка при верификации промышленного кода на языке GNU С (в частности, модулей ядра Linux). Язык представляет собой расширение существующего промежуточного языка, используемого подключаемым модулем JESSIE в системе статического анализа Frama-C. Он имеет семантику, совместимую с семантикой языка Си (в частности, для массивов), изначально поддерживает различаемые объединения и префиксные (иерархические) приведения типов указателей на структуры, и расширен ограниченной поддержкой низкоуровневого приведения типов указателей. Подходы к трансляции исходного Си-кода в промежуточный язык, а также трансляции промежуточного языка во входной язык платформы дедуктивной верификации Why3 рассматриваются на примерах. Эти примеры иллюстрируют выразительность расширенного промежуточного языка и эффективность получаемых аксиоматических спецификаций.
ДОКАЗАТЕЛЬСТВО СВОЙСТВ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ МЕТОДОМ НАСЫЩЕНИЯ РАВЕНСТВАМИ
ГРЕЧАНИК С.А. - 2015 г.

В данной статье показано, как метод насыщения равенствами может быть применён для доказательства алгебраических свойств программ на нетотальном функциональном языке первого порядка с нестрогой семантикой. В процессе насыщения равенствами мы используем преобразования, взятые главным образом из суперкомпиляции, а доказательство по индукции мы производим при помощи специального преобразования, которое мы называем слиянием по бисимуляции. Нашу экспериментальную реализацию прувера, основанного на данном методе, мы сравниваем с суперкомпилятором HOSC и с пруверами HipSpec и Zeno.
ИССЛЕДОВАНИЕ ОДНОЙ ВЕЩЕСТВЕННОЙ АЛГЕБРАИЧЕСКОЙ ПОВЕРХНОСТИ
БАХТИН А.Б., БРЮНО А.Д. - 2015 г.

Дается описание некоторого вещественного алгебраического многообразия в R 3. Это многообразие играет важную роль в исследовании нормализованного потока Риччи на обобщенных пространствах Уоллаха. Для понимания структуры многообразия дается описание всех его особых точек. В силу наличия внутренней симметрии изучаемого объекта, часть исследования проводится с использованием элементарных симметрических многочленов. Все вычисления в препринте выполнены с использованием алгоритмов компьютерной алгебры, в частности, с использованием базисов Грёбнера и алгоритмов работы с полиномиальными идеалами. В качестве сопутствующего результата сформулировано и доказано утверждение о структуре дискриминантной поверхности кубического многочлена.
КАЧЕСТВЕННОЕ ИССЛЕДОВАНИЕ МОДЕЛИ ГЕНА С ИСПОЛЬЗОВАНИЕМ АЛГОРИТМОВ КОМПЬЮТЕРНОЙ АЛГЕБРЫ
БУЛЬЕ ФРАНСУА, ЛЁМЭР ФРАНСУА, РОМАНОВСКИЙ ВАЛЕРИЙ, ХАН МАОАН - 2015 г.

С использованием алгоритмов и пакетов систем компьютерной алгебры проведено качественное исследование трехмерной автономной системы ОДУ, использованной в работе для моделирования динамики гена. Предложен вычислительный подход, основанный на алгоритмах теории исключения, для нахождения инвариантных поверхностей многомерных полиномиальных систем дифференциальных уравнений, который позволяет свести изучение динамики системы к исследованию динамики траекторий системы меньшего порядка. Предложен также эффективный подход, основанный на использовании функций Ляпунова, для изучения бифуркаций Андронова-Хопфа, который использован для поиска таких бифуркаций в рассматриваемой модели.
КОМПАКТНОЕ ПРЕДСТАВЛЕНИЕ ПОЛИНОМОВ ДЛЯ АЛГОРИТМОВ ВЫЧИСЛЕНИЯ БАЗИСОВ ГРЁБНЕРА И ИНВОЛЮТИВНЫХ БАЗИСОВ
ЯНОВИЧ Д.А. - 2015 г.

При вычислении базисов Грёбнера и инволютивных базисов с рациональными коэффициентами львиную долю памяти занимают числа произвольной точности, но в случае модулярных вычислений, а особенно при нахождении булевых базисов на первое место выходит проблема компактного представления мономов в составе полиномов системы. Для этого используют, к примеру, ZDD диаграммы и прочие структуры, которые осложняют выполнение типичных операций алгоритмов - умножения на моном и редукции полиномов. В данной работе сделана попытка создания удобного (в смысле вычисления базисов) и компактного представления полиномов на основе хэш-таблиц, приведены результаты тестовых прогонов.
КОМПАРАТИВНАЯ ТРАССОВАЯ СЕМАНТИКА ВРЕМЕННЫХ СЕТЕЙ ПЕТРИ
БУШИН Д.И., ВИРБИЦКАЙТЕ И.Б. - 2015 г.

В данной работе определяется и исследуется семейство трассовых эквивалентностей в иптерлbвинговой, шаговой, частично-упорядоченной и недетерминированной семантиках в контексте временных безопасных сетей Петри. Изучаемые эквивалентности основываются как на классическом понятии последовательностей срабатываний переходов, так и на временных процессах, т.е. временных расширениях сетей-процессов за счет сопоставления глобальных моментов времени срабатываниям переходов. Устанавливаются взаимосвязи эквивалентностей и строится иерархия классов эквивалентных временных сетей Петри.
КОНФИГУРИРУЕМАЯ СИСТЕМА СТАТИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ ЯДРА ОПЕРАЦИОННЫХ СИСТЕМ
ЗАХАРОВ И.С., МАНДРЫКИН М.У., МУТИЛИН В.С., НОВИКОВ Е.М., ПЕТРЕНКО А.К., ХОРОШИЛОВ А.В. - 2015 г.

Ядро операционной системы (ОС) представляет собой критичную в отношении надежности и производительности программную систему. Качество ядра современных ОС уже находится на достаточно высоком уровне. Иначе обстоит дело с модулями ядра, например, драйверами устройств, которые по ряду причин имеют существенно более низкий уровень качества. Одними из наиболее критичных и распространенных ошибок в модулях ядра являются нарушения правил корректного использования программного интерфейса ядра ОС. Выявить все такие нарушения в модулях или доказать их корректность потенциально можно с помощью инструментов статической верификации, которым для проведения анализа необходимо предоставить контрактные спецификации, описывающие формальным образом обязательства ядра и модулей по отношению друг к другу. В статье рассматриваются существующие методы и системы статической верификации модулей ядра различных ОС. Предлагается новый метод статической верификации модулей ядра ОС Linux, который позволяет конфигурировать процесс проверки на каждом из его этапов. Показывается, каким образом данный метод может быть адаптирован для проверки компонентов ядра других ОС. Описывается архитектура конфигурируемой системы статической верификации модулей ядра ОС Linux, реализующей предложенный метод, и демонстрируются результаты ее практического применения. В заключении рассматриваются направления дальнейшего развития.
МОДЕЛИРОВАНИЕ КВАНТОВОГО АЛГОРИТМА ОПРЕДЕЛЕНИЯ ФАЗЫ
ПРОКОПЕНЯ А.Н. - 2015 г.

В статье обсуждается квантовый алгоритм оценки фазы, которая определяет собственное значение унитарного оператора. Предполагается, что собственный вектор оператора и соответствующая ему квантовая схема заданы. Регистр памяти, в который записывается приближеное значение фазы, содержит n кубитов, что позволяет определить фазу с точностью до 2 - n с вероятностью большей, чем 8/π 2. В качестве примера выполнены вычисления в случае квантового оператора сдвига фазы. Моделирование квантового алгоритма и вычисление собственного значения производится с помощью пакета “QuantumCircuit”, написанного на языке системы компьютерной алгебры Wolfram Mathematica, которая также используется для выполнения всех расчетов и визуализации полученных результатов.
МОДЕЛИРОВАНИЕ ОКРУЖЕНИЯ С ИСПОЛЬЗОВАНИЕМ ШАБЛОНОВ ДЛЯ СТАТИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ ЯДРА LINUX
ЗАХАРОВ И.С., МУТИЛИН В.С., ХОРОШИЛОВ А.В. - 2015 г.

Модули ядра Linux функционируют в окружении, управляемом событиями. При статической верификации таких модулей необходимо учитывать все возможные сценарии взаимодействия между модулями и их окружением. Данная работа предлагает новый метод моделирования окружения, позволяющий автоматически генерировать модели окружения для заданного модуля ядра на основе анализа исходного кода модуля и набора спецификаций, описывающих шаблоны сценариев взаимодействий между модулями и их окружением. В спецификациях могут быть заданы как шаблоны сценариев для всего ядра Linux, так и детальные, которые характерны для определенной подсистемы. Это позволяет значительно сократить размер спецификации и позволяет верифицировать больше модулей с меньшими усилиями. Предложенный метод реализован в компоненте инструментария LDV Tools, который применяется для статической верификации модулей практически всех подсистем ядра Linux.
ОБРАТИМЫЕ ПРЕОБРАЗОВАНИЯ ДАРБУ ТИПА I
ШЕМЯКОВА Е.С. - 2015 г.

В работе предложен общий категорпый подход к обратимым преобразованиям Дарбу. Для операторов произвольной размерности и произвольного порядка предлагается рассматривать преобразования Дарбу определенного вида - преобразования типа I. Получены явные красивые формулы. В частности, любые обратимые преобразования Дарбу первого порядка и, например, преобразования Лапласа являются преобразованиями типа. Для операторов третьего порядка на плоскости получены аналоги цепочек преобразований Дарбу.
ПАРАЛЛЕЛЬНЫЕ ВЫЧИСЛЕНИЯ НА ГРАФЕ
БУРДОНОВ И.Б., КОСАЧЕВ А.С., КУЛЯМИН В.В. - 2015 г.

Рассматривается задача параллельного вычисления значения функции от мультимножества значений, записанных в вершинах ориентированного графа. Вычисление выполняется автоматами, находящимися в вершинах графа и обменивающихся между собой сообщениями, передаваемыми по дугам графа (в направлении их ориентации). Предполагается, что ёмкость дуги, то есть число одновременно передаваемых по ней сообщений, ограничена. Вычисление инициируется сообщением, приходящим извне в автомат выделенной начальной вершины графа. Этот же автомат в конце работы посылает вовне вычисленное значение функции. Для решения этой задачи предлагаются два алгоритма. Первый алгоритм выполняет исследование графа, основанное на его обходе. Его цель - разметить граф с помощью изменения состояний автоматов в вершинах. Строятся прямой и обратный остовы графа. Прямой остов ориентирован от корня, которым является начальная вершина графа. Обратный остов ориентирован к тому же корню. Кроме того, в каждой вершине устанавливается значение счётчика входящих дуг обратного остова. Такая разметка используется вторым алгоритмом, который и производит вычисление значения той или иной функции. Это вычисление основано на алгоритме пульсации: сначала от автомата начальной вершины по всему графу распространяются сообщения-вопросы, которые должны достигнуть каждой вершины, а затем от каждой вершины “в обратную сторону” к начальной вершине двигаются сообщения-ответы. Алгоритм пульсации, по сути, вычисляет агрегатные функции, для которых значение функции от объединения мультимножеств вычисляется по значениям функции от этих мультимножеств. Однако показано, что любая функция f (x) имеет агрегатное расширение, то есть может быть вычислена как h(f0(x)), где f" - агрегатная функция. Заметим, что разметка графа не зависит от той функции, которая будет вычисляться. Это означает, что разметка графа выполняется один раз, после чего может многократно использоваться для вычисления различных функций.
ПОИСК РАЦИОНАЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНЫХ И РАЗНОСТНЫХ СИСТЕМ С ПОМОЩЬЮ ФОРМАЛЬНЫХ РЯДОВ
АБРАМОВ С.А. - 2015 г.

Рассматриваются линейные дифференциальные и разностные системы произвольного порядка с полиномиальными коэффициентами. Предлагается алгоритм поиска их рациональных решений, основанный на том, что формальные ряды, в которые разлагаются эти решения, после умножения на предварительно найденный универсальный знаменатель становятся полиномами. Описывается также комбинированный алгоритм с элементами эвристики. Для сокращения вычислительных затрат этот последний выбирает в некоторый момент между двумя алгоритмами - новым и стандартным, основанном на использовании универсального знаменателя для замены неизвестных в системе и последующем поиске полиномиальных решений.
ПОПОЛНЕНИЕ ОНТОЛОГИЙ НА ОСНОВЕ АЛГЕБРАИЧЕСКОГО ФОРМАЛИЗМА ИНФОРМАЦИОННЫХ СИСТЕМ И МУЛЬТИАГЕНТНЫХ АЛГОРИТМОВ АНАЛИЗА ТЕКСТА
ГАРАНИНА Н.О., СИДОРОВА Е.А. - 2015 г.

В статье представлен подход к пополнению онтологий как работа с информационными системами Скотта. Отношение выводимости в информационной системе пополнения онтологии соответствует правилам обработки входных данных и пополнения онтологии. Для реализации процесса пополнения онтологий предложен мультиагентный подход, базирующийся на семантическом анализе текста на естественном языке. В предложенной мультиагентной модели взаимодействуют агенты двух основных типов: информационные агенты, соответствующие значимым единицам извлекаемой информации, и агенты-правила, реализующие правила пополнения заданной онтологии на основе семантико-синтаксической модели языка.
ПРИМЕНЕНИЕ МЕТОДОВ ИНТЕЛЛЕКТУАЛЬНОГО АНАЛИЗА ТЕКСТОВОЙ ИНФОРМАЦИИ ДЛЯ ПРЕДОТВРАЩЕНИЯ УТЕЧЕК ДАННЫХ
МАШЕЧКИН И.В., ПЕТРОВСКИЙ М.И., ЦАРЕВ Д.В. - 2015 г.

В настоящее время наибольшие риски для информационной безопасности организаций представляют не внешние, а внутренние угрозы. Для минимизации рисков, связанных с внутренними угрозами, используются DLP-системы. Основной функционал DLP-систем направлен на предотвращение утечки конфиденциальных данных, однако, в современных реалиях при сравнении DLP-систем на первое место начинают выходить их возможности по анализу перехваченной информации и удобстве проведения ретроспективных расследований. В статье представлен новый подход ретроспективного анализа работы корпоративного пользователя с текстовой информацией. Идея предлагаемого подхода состоит в тематическом анализе сложившихся в прошлом тенденций работы пользователя с текстовым контентом различных категорий, в том числе конфиденциальных, и прогнозировании его дальнейшего поведения. Тематический анализ работы пользователя предполагает определение основных тематик его текстового контента и соответствующие им веса в заданные интервалы времени. На основе отклонений поведения в работе пользователя с контентом от прогнозируемого можно выявить интервалы времени, когда работа с документами той или иной категории отличается от обычной (исторической) и когда велась работа с документами несвойственных категорий. Экспериментальные исследования предложенного подхода были проведены на примере реальной корпоративной переписки пользователей, сформированной из тестового набора данных Enron.
РОГОВЫЕ СИСТЕМЫ ГОМОМОРФНОГО ШИФРОВАНИЯ И ЗАЩИТА ИНФОРМАЦИИ В ОБЛАЧНЫХ ВЫЧИСЛЕНИЯХ
ВАРНОВСКИЙ Н.П., МАРТИШИН С.А., ХРАПЧЕНКО М.В., ШОКУРОВ А.В. - 2015 г.

Дается краткий анализ возможности реализации системы облачных вычислений над конфиденциальными данными на основе известных из литературы пороговых систем вполне гомоморфного шифрования. Предлагается протокол облачных вычислений над конфиденциальными данными в модели с вспомогательными криптосерверами. В результате получена система, не требующая дополнительного открытого ключа и заменяющая наиболее неэффективную и проблемную процедуру перешифрования (bootstrapping) более эффективным протоколом перешифрования, выполняемым криптосерверами.

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