Ох уж эта вечная гонка за звание идеального программиста. Годами учите язык, набиваете руку, кодируя, читаете книги стопками, а всё равно мозг не успевает за потоками набегающей информации. Мне было 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

Связаться

Отправьте сообщение и мы ответим Вам в ближайшее время

Заполните все обязательные поля

Спасибо!
Ваша заявка была успешно принята.

Регистрация

Вы успрешно зарегестрировались

Персональная карточка пользователя

Добавление в корзину

Выбранные издания были успешно добавлены в корзину

Ваша заявка была успешно отправлена

Выбор типа подписчика

ДОГОВОР - ПУБЛИЧНАЯ ОФЕРТА

ФГУП "Издательство "Наука" в лице Врио директора Коротков Дмитрий Павлович, действующего на основании Устава, именуемое в дальнейшем «Издательство» , с одной стороны, и пользователь сети Интернет, именуемый в дальнейшем «Пользователь» , с другой стороны, совместно именуемые «Стороны», заключили настоящий договор (далее – «Договор»)

Договор, в соответствии со статьей 435 и частью 2 статьи 437 Гражданского кодекса Российской Федерации, является публичной офертой (предложением) в адрес неограниченного числа лиц, пользователей сети Интернет.

В соответствии со статьей 438 Гражданского Кодекса Российской Федерации, полным и безоговорочным акцептом (принятием) Договора является подтверждение Пользователем своего согласия с условиями Договора или осуществление им добровольного платежа.

1. Термины, используемые в Договоре

1.1.Пользователь– пользователь сети Интернет, принявший условия Договора и зарегистрированный на Сайте «Издательства».

1.2.Произведения (Контент)– электронные версии научных изданий, включая периодические издания а также непериодические издания, представленные в электронном виде в сети Интернет в различных форматах, размещенные на Сайте «Издательства», доступные Пользователям посредством Сайта «Издательства».

1.3.Каталог– совокупность Произведений.

1.4.Логин и Пароль– два уникальных набора символов, идентифицирующих Пользователя.

1.5.Сайт «Издательства»– информационный ресурс в сети Интернет, принадлежащий «Издательству», расположенный на домене

1.6.Скачивание– запись Пользователем Произведений в память ЭВМ.

1.7.Биллинг– система учета платежей.

1.8.Учетная запись Пользователя – Аутентификационные и личные данные Пользователя, хранящиеся на серверах Сайта «Издательства». Учетная запись создается в результате прохождения Пользователем процедуры регистрации и может потребоваться для того, чтобы воспользоваться некоторыми возможностями или отдельными функциями Сайта.

2. Предмет Договора

2.1. «Издательство» предоставляет возможность Пользователю на платной основе осуществлять просмотр, чтение и скачивание Произведений, представленных в Каталоге. «Издательство» может предоставлять Пользователю иные услуги на условиях Приложений к Договору.

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

3. Обязанности сторон

3.1.Обязанности «Издательства»:

3.1.1. Предоставлять Пользователю возможность просмотра, чтения и скачивания Произведения не позднее 24 часов с момента подтверждения Биллингом произведенной оплаты и идентификации Пользователя как плательщика произведенного платежа. В случае оформления и оплаты Пользователем предварительной подписки в соответствии с п.2.2. Договора, предоставлять Пользователю возможность просмотра, чтения и скачивания Произведения не позднее 24 часов с момента их размещения в Каталоге при условии подтверждения Биллингом произведенной ранее оплаты и идентификации Пользователя как плательщика произведенного платежа.

3.1.2. Не разглашать третьим лицам Логин и Пароль, адрес электронной почты Пользователя, а также прочие сведения, полученные от Пользователя при регистрации.

3.1.3. Уведомлять Пользователя об изменениях условий Договора и его Приложений путем размещения соответствующей информации на Сайте «Издательства» не менее чем за 30 (тридцать) календарных дней до вступления изменений в силу.

3.2.Обязанности Пользователя:

3.2.1. Зарегистрироваться на Сайте «Издательства». Установить Логин и Пароль, уникальность которых подтвeрждаeтся «Издательством». При этом строго и неукоснительно следовать указаниям «Издательства» о порядке регистрации, размещенном на Сайте «Издательства».

3.2.2. Производить оплату получения возможности просмотра, чтения и скачивания Произведений согласно п.4 Договора.

3.2.3. Обеспечивать конфиденциальность Логина и Пароля, сообщенного при регистрации.

3.2.4. Использовать скачанные Произведения исключительно в личных целях.

При этом Пользователю предоставляются следующие права на использование Произведений:

• осуществлять дистанционный доступ в сети Интернет посредством Сайта «Издательства» к Произведениям, под которым понимается возможность поиска, просмотра, скачивания и чтения Произведений.
• цитировать в оригинале и в переводе в научных, исследовательских, полемических, критических и информационных целях отрывки Произведений в объеме, оправданном целью цитирования,
• использовать отдельные части Произведений из них в качестве иллюстраций в изданиях, в радио- и телепередачах, звуко- и видеозаписях учебного характера в объеме, оправданном поставленной целью;
• использование Произведений (их составных частей) по настоящему Договору осуществляется с обязательным указанием имени авторов (соавторов) Произведений (их составных частей), наименования правообладателя Произведений, указанных в Произведении.

3.2.5.Пользователь не имеет право:

• передавать либо рассылать скачанные Произведения третьим лицам как полностью, так и частично, за исключением случаев, предусмотренных п.3.2.4. Договора;
• сообщать публично Произведения как полностью, так и частично по известным каналам вещания, таким как радио, телевидение и проч., за исключением случаев, предусмотренных п.3.2.4. Договора;
• переделывать, изменять или прочим образом перерабатывать тексты Произведений.
• использовать иные программные средства для автоматического поиска и загрузки, кроме тех, которые реализованы на Сайте «Издательства»

Несоблюдение требований п.3.2.5. Договора является нарушением законодательства об авторском праве и карается по закону!

3.2.6. Вся информация, размещенная на Сайте «Издательства» о порядке пользования Каталогом, порядке оплаты и прочих особенностях исполнения Договора является неотъемлемой частью Договора и обязательна к исполнению Пользователем.

4. Условия оплаты

4.1. Пользователь производит авансовый платеж в рублях РФ на условиях, указанных на Сайте «Издательства».

4.2. Способы оплаты указаны на Сайте в разделе Способы оплаты. Согласованным способом оплаты считается способ, выбранный Пользователем из доступных способов оплаты на Сайте «Издательства».

4.3. Порядок оплаты с помощью банковских карт указан на Сайте в разделе Способы оплаты. Операции с использованием банковских карт могут совершаются исключительно держателем карты. Авторизация операций по банковским картам осуществляется банком. Прием и обработка платежей с использованием банковских карт проводится провайдером электронных платежей Яндекс.Касса, либо иным провайдером электронных платежей. «Издательство» не осуществляет обработку, в том числе сбор и хранение данных банковских карт Пользователей.

4.4. Для Пользователей, являющихся юридическими лицами доступна оплата только путем безналичного банковского перевода с расчетного счета Пользователя на расчетный счет «Издательства».

4.5. Цена предоставления возможности Пользователю – физическому лицу осуществлять просмотр, чтение и скачивание Произведений указана на Сайте «Издательства» в соответствующих разделах. Пользователям, являющимся юридическими лицами, цены направляются «Издательством» по запросу по согласованным каналам связи. «Издательство» вправе в одностороннем порядке изменять действующие цены путем размещения соответствующей информации на Сайте «Издательства» либо информирования Пользователей иным доступным способом. Любое изменение цен не касается уже оплаченного доступа.

5. Ответственность сторон. Ограничение ответственности «Издательства».

5.1. Пользователь принимает на себя полную ответственность и риски, связанные с использованием Каталога.

5.2. Пользователь полностью несет ответственность за использование третьими лицами Логина и Пароля.

5.3. Пользователь полностью несет ответственность за использование третьими лицами информации, передаваемой «Издательству» на адрес электронной почты, указанный Пользователем при регистрации.

5.4. «Издательство» не несет ответственности за любые расходы Пользователя или прямой либо косвенный ущерб, который может быть нанесен Пользователю вследствие использования Каталога.

5.5. «Издательство» нe нeсeт отвeтствeнности за качество доступа к Каталогу через сеть Интернет.

5.6. Ни при каких обстоятельствах «Издательство» не несет ответственности за использование третьими лицами Логина и Пароля.

5.7. «Издательство» не несет ответственности за прямой или косвенный ущерб, понесенный Пользователем в результате ошибок передачи данных, сбоев/дефектов в работе программного обеспечения и/или оборудования, потерь и повреждений данных, ошибок обработки или отображения данных, задержек в передаче данных и других сбоев, случившихся не по вине «Издательства».

5.8. Сайт «Издательства» и все сопутствующие сервисы предоставляются на условиях «как есть», без каких-либо прямых или косвенных гарантий того, что указанные Сайт и (или) сервисы могут подходить или не подходить для конкретных целей использования.

5.9. «Издательство» не несет ответственности за невозможность пользования Сайтом, и (или) сопутствующими сервисами Пользователем по каким-либо причинам, включая, но не ограничиваясь: ошибки, упущения, прерывания, удаление, дефекты, задержку в обработке или передаче данных, нарушение работы линий связи, неисправность оборудования, любые технические сбои или иные проблемы любых телефонных сетей или служб, компьютерных систем, серверов или провайдеров, компьютерного или телефонного оборудования, программного обеспечения, невыполнение обязательств поставщиков тех или иных услуг, кражу, уничтожение или неправомерный доступ к материалам Пользователей, размещенным на Cайте или в любом другом месте и т.п.

5.10. Ни при каких обстоятельствах «Издательство» не несет ответственности за любые расходы Пользователя или прямой либо косвенный ущерб, включая упущенную выгоду или потерянные данные, вред чести, достоинству или деловой репутации, который может быть нанесен Пользователю вследствие использования Сайта и (или) сопутствующих сервисов.

5.11. В случае невозможности для «Издательство» предоставить Пользователю возможность просмотра, чтения и скачивания Произведения по независящим от «Издательства» причинам, «Издательства» по требованию Пользователя осуществляет возврат полученного авансового платежа. При этом размер ответственности «Издательство» ограничивается размером полученного от Пользователя авансового платежа за возможность просмотра, чтения и скачивания Произведения, которая не была предоставлена.

6. Срок действия Договора

6.1. Договор вступает в силу с момента принятия Пользователем условий Договора (каждое Приложение к Договору вступает в силу с момента принятия Пользователем условий этого Приложения) и действует до полного исполнения Сторонами своих обязательств.

7. Обстоятельства непреодолимой силы

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

8. Прочие условия

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

8.2. Все Приложения к настоящему Договору являются его неотъемлемой частью.

8.3. Во всем остальном Стороны договорились руководствоваться действующим законодательством Российской Федерации.

8.4. «Издательство» вправе вносить изменения в Договор с обязательным размещением соответствующей информации на Сайте «Издательства» не позднее, чем за 30 (тридцать) календарных дней до вступления соответствующих изменений в силу.

8.5. По всем возникающим вопросам Пользователь вправе обращаться в Службу поддержки «Издательства» по адресу электронной почты:

9. Разрешение споров

9.1. Споры и разногласия, которые могут возникнуть по данному Договору, решаются путем соблюдения досудебного (претензионного) порядка. Срок рассмотрения «Издательством» претензии – 10 (Десять) календарных дней с момента ее получения от Пользователя.

9.2. Если Стороны не придут к соглашению, эти споры и разногласия разрешаются в судебном порядке согласно действующему законодательству Российской Федерации в суде по месту нахождения «Издательства» в соответствии с правилами подведомственности и подсудности.

10. Уведомление о конфиденциальности

10.1 Согласие Пользователя на предоставление персональной информации, определяется согласием с настоящей публичной офертой, происходящей автоматически при прохождении Пользователем процедуры регистрации на Сайте «Издательства».

10.2 «Издательство» собирает и хранит только необходимые персональные данные Пользователя. «Издательство» может использовать персональные данные Пользователя для его идентификации, уточнения данных платежа, предоставлению персонализированных сервисов, обратной связи с Пользователем, обработки заявок и запросов, выполнения обезличенных статистических вычислений и улучшения качества услуг, оказываемых Пользователю.

10.3. «Издательство» вправе передать персональную информацию Пользователя третьим лицам только в случаях, если Пользователь выразил свое согласие на такие действия, передача необходима для оказания услуги Пользователю, передача предусмотрена законодательством РФ.

«Издательство»: ФГУП "Издательство "Наука"

ПОЛЬЗОВАТЕЛЬСКОЕ СОГЛАШЕНИЕ

1. Общие положения

1.1. Настоящее Пользовательское соглашение (далее – Соглашение) относится к сайту Электронной библиотечной системы - www. (далее «Электронная библиотечная система»).

1.2. Сайт «Электронной библиотечной системы» www. (далее – Сайт) является собственностью Федерального государственного унитарного предприятия «Академический научно-издательский, производственно-полиграфический и книгораспространительский центр «Наука» (ФГУП «Издательство «Наука»).

1.3. Настоящее Соглашение регулирует отношения между Администрацией сайта «Электронной библиотечной системы» www. (далее – Администрация сайта) и Пользователем (Пользователями) данного Сайта.

1.4. Настоящее соглашение в соответствии со статьей 435 и пунктом 2 статьи 437 Гражданского кодекса Российской Федерации, является публичной офертой в адрес неограниченного числа лиц, пользователей сети Интернет.

1.5. В соответствии со статьей 438 Гражданского Кодекса Российской Федерации, полным и безоговорочным акцептом (принятием) Соглашения является:

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

1.6. Администрация сайта оставляет за собой право в любое время изменять, добавлять или удалять пункты настоящего Соглашения без уведомления Пользователя.

1.7. Продолжение использования Сайта Пользователем означает принятие Соглашения и изменений, внесенных в настоящее Соглашение.

1.8. Пользователь несет персональную ответственность за проверку настоящего Соглашения на наличие изменений в нем.

2. Термины, используемые в Соглашение

2.1. Пользователь – пользователь сети Интернет, любое физическое или юридическое лицо (представитель юридического лица), добровольно прошедшее Регистрацию и/или начавший пользоваться любыми услугами Сайта.

2.2. Произведения (Контент) – электронные версии научных изданий, включая периодические издания, а также непериодические издания, представленные в электронном виде в сети Интернет в различных форматах, размещенные на Сайте «Электронной библиотечной системы», доступные Пользователям посредством Сайта «Электронной библиотечной системы».

2.3. Каталог – совокупность Произведений.

2.4. Логин и Пароль – два уникальных набора символов, идентифицирующих Пользователя.

2.5. Сайт «Электронная библиотечная система» – информационный ресурс в сети Интернет, принадлежащий ФГУП «Издательство «Наука», расположенный на домене www. .

2.6. Администрация Сайта – уполномоченные на управление Сайтом сотрудники, действующие от имени ФГУП «Издательство «Наука»

2.7. Скачивание – запись Пользователем Произведений в память ЭВМ.

2.8. Биллинг – система учета платежей.

2.9. Учетная запись Пользователя – Аутентификационные и личные данные Пользователя, хранящиеся на серверах Сайта «Электронной библиотечной системы». Учетная запись создается в результате прохождения Пользователем процедуры регистрации и может потребоваться для того, чтобы воспользоваться некоторыми возможностями или отдельными функциями Сайта.

3. Предмет Соглашения

3.1. «Электронная библиотечная система» предоставляет возможность Пользователю на платной основе осуществлять просмотр, чтение и скачивание Произведений, представленных в Каталоге.

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

4. Обязанности сторон

4.1. Обязанности «Администрации сайта»:

4.1.1. Предоставлять Пользователю возможность просмотра, чтения и скачивания Произведения на Сайте не позднее 24 часов с момента подтверждения Биллингом произведенной оплаты и идентификации Пользователя как плательщика произведенного платежа. В случае оформления и оплаты Пользователем предварительной подписки в соответствии с п.3.2. Соглашения, предоставлять Пользователю возможность просмотра, чтения и скачивания Произведения не позднее 24 часов с момента их размещения в Каталоге при условии подтверждения Биллингом произведенной ранее оплаты и идентификации Пользователя как плательщика произведенного платежа.

4.1.2. Не разглашать третьим лицам Логин и Пароль, адрес электронной почты Пользователя, а также прочие сведения, полученные от Пользователя при регистрации.

4.1.3. Уведомлять Пользователя об изменениях условий Соглашения и его Приложений путем размещения соответствующей информации на Сайте «Электронной библиотечной системы» не менее чем за 30 (тридцать) календарных дней до вступления изменений в силу.

4.2. Обязанности Пользователя:

4.2.1. Зарегистрироваться на Сайте «Электронной библиотечной системы». Установить Логин и Пароль, уникальность которых подтверждается «Администрацией сайта». При этом строго и неукоснительно следовать указаниям Администрации сайта о порядке регистрации, размещенном на Сайте «Электронной библиотечной системы».

4.2.2. Производить оплату получения возможности просмотра, чтения и скачивания Произведений согласно п.4 Соглашения.

4.2.3. Обеспечивать конфиденциальность Логина и Пароля, сообщенного при регистрации.

4.2.4. Использовать скачанные Произведения исключительно в личных целях. При этом Пользователю предоставляются следующие права на использование Произведений:

• осуществлять дистанционный доступ в сети Интернет посредством Сайта «Электронной библиотечной системы» к Произведениям, под которым понимается возможность поиска, просмотра, скачивания и чтения Произведений.
• распечатывать отдельные части Произведений только в архивных целях.
• осуществлять запись и хранение отдельных частей Произведений в память ЭВМ, принадлежащего Пользователю в архивных, учебных и исследовательских целях;
• цитировать в оригинале и в переводе в научных, исследовательских, полемических, критических, информационных и учебных целях, отрывки Произведений в объеме, оправданном целью цитирования,
• воспроизводить в газетах, передавать в эфир или сообщать по кабелю для всеобщего сведения отдельные части Произведений в объеме, оправданном информационной целью.
• использование Произведений (их составных частей) по настоящему Соглашению осуществляется с обязательным указанием имени авторов (соавторов) Произведений (их составных частей), наименования правообладателя Произведений, указанных в Произведении.

4.2.5. Пользователь не имеет право:

• передавать либо рассылать скачанные Произведения третьим лицам как полностью, так и частично, за исключением случаев, предусмотренных п.4.2.4. Соглашения;
• сообщать публично Произведения полностью, по известным каналам вещания, таким как радио, телевидение и прочее, за исключением случаев, предусмотренных п.4.2.4. Соглашения;
• воспроизводить Произведения, то есть изготавливать экземпляры Произведений или их частей в любой материальной форме если это воспроизведение имеет цель дальнейшего распространения;
• доводить Произведения до всеобщего сведения с использованием сети Интернет и прочих цифровых сетей как полностью, так и частично;
• изменять или прочим образом перерабатывать тексты Произведений.
• распечатывать целиком Произведение, представляющее собой выпуск журнала, журнал или книгу;
• размещать ссылки на Произведения, доступные для использования Пользователем, на каких-либо ресурсах таким образом, чтобы третье лицо имело доступ к данным Произведениям. В том числе Пользователю запрещается сообщать третьим лицам сведения, необходимые для получения доступа на персональные страницы Сайта, требующие авторизации Пользователя.
• использовать иные программные средства для автоматического поиска и загрузки, кроме тех, которые реализованы на Сайте «Электронной библиотечной системы»
• Несоблюдение Пользователем требований п.4.2.5. Соглашения является нарушением законодательства об авторском праве и влечет за собой последствия, указанные в п. 10.1 и п. 10.2 Соглашения.

4.2.6. Вся информация, размещенная на Сайте «Электронной библиотечной системы» о порядке пользования Каталогом, порядке оплаты и прочих особенностях исполнения Соглашения является неотъемлемой частью Соглашения и обязательна к исполнению Пользователем.

5. Условия оплаты

5.1. Пользователь производит авансовый платеж в рублях РФ на условиях, указанных на Сайте «Электронной библиотечной системы».

5.2. Способы оплаты указаны на Сайте в разделе Способы оплаты. Согласованным способом оплаты считается способ, выбранный Пользователем из доступных способов оплаты на Сайте «Электронной библиотечной системы».

5.3. Порядок оплаты с помощью банковских карт указан на Сайте в разделе Способы оплаты. Операции с использованием банковских карт могут совершаются исключительно держателем карты. Авторизация операций по банковским картам осуществляется банком. Прием и обработка платежей с использованием банковских карт проводится провайдером электронных платежей Яндекс.Касса, либо иным провайдером электронных платежей. «Администрация сайта» не осуществляет обработку, в том числе сбор и хранение данных банковских карт Пользователей.

5.4. Цена предоставления возможности Пользователю – физическому лицу осуществлять просмотр, чтение и скачивание Произведений указана на Сайте «Электронной библиотечной системы» в соответствующих разделах. Пользователям, являющимся юридическими лицами, цены направляются «Администрацией сайта» по запросу по согласованным каналам связи. «Администрация сайта» вправе в одностороннем порядке изменять действующие цены путем размещения соответствующей информации на Сайте «Электронной библиотечной системы» либо информирования Пользователей иным доступным способом. Любое изменение цен не касается уже оплаченного доступа.

6. Ответственность сторон. Ограничение ответственности «Электронной библиотечной системы».

6.1. Пользователь принимает на себя полную ответственность и риски, связанные с использованием Каталога.

6.2. Пользователь полностью несет ответственность за использование третьими лицами Логина и Пароля.

6.3. Пользователь полностью несет ответственность за использование третьими лицами информации, передаваемой «Администрацией сайта» на адрес электронной почты, указанный Пользователем при регистрации.

6.4. «Администрация сайта» не несет ответственности за любые расходы Пользователя или прямой либо косвенный ущерб, который может быть нанесен Пользователю вследствие использования Каталога.

6.5. «Администрация сайта» не несёт ответственности за качество доступа к Каталогу через сеть Интернет.

6.6. Ни при каких обстоятельствах «Администрация сайта» не несет ответственности за использование третьими лицами Логина и Пароля.

6.7. «Администрация сайта» не несет ответственности за прямой или косвенный ущерб, понесенный Пользователем в результате ошибок передачи данных, сбоев/дефектов в работе программного обеспечения и/или оборудования, потерь и повреждений данных, ошибок обработки или отображения данных, задержек в передаче данных и других сбоев, случившихся не по вине «Администрации сайта».

6.8. Сайт «Электронной библиотечной системы» и все сопутствующие сервисы предоставляются на условиях «как есть», без каких-либо прямых или косвенных гарантий того, что указанные Сайт и (или) сервисы могут подходить или не подходить для конкретных целей использования.

6.9. «Администрация сайта» не несет ответственности за невозможность пользования Сайтом, и (или) сопутствующими сервисами Пользователем по каким-либо причинам, включая, но не ограничиваясь: ошибки, упущения, прерывания, удаление, дефекты, задержку в обработке или передаче данных, нарушение работы линий связи, неисправность оборудования, любые технические сбои или иные проблемы любых телефонных сетей или служб, компьютерных систем, серверов или провайдеров, компьютерного или телефонного оборудования, программного обеспечения, невыполнение обязательств поставщиков тех или иных услуг, кражу, уничтожение или неправомерный доступ к материалам Пользователей, размещенным на Сайте или в любом другом месте и т.п.

6.10. Ни при каких обстоятельствах «Администрация сайта» не несет ответственности за любые расходы Пользователя или прямой либо косвенный ущерб, включая упущенную выгоду или потерянные данные, вред чести, достоинству или деловой репутации, который может быть нанесен Пользователю вследствие использования Сайта и (или) сопутствующих сервисов.

6.11. В случае невозможности для «Электронной библиотечной системы» предоставить Пользователю возможность просмотра, чтения и скачивания Произведения по независящим от «Администрации сайта» причинам, «Администрация сайта» по требованию Пользователя осуществляет возврат полученного авансового платежа. При этом размер ответственности «Администрации сайта» ограничивается размером полученного от Пользователя авансового платежа за возможность просмотра, чтения и скачивания Произведения, которая не была предоставлена.

7. Срок действия Соглашения

7.1. Соглашение вступает в силу с момента принятия Пользователем условий Соглашения (каждое Приложение к Соглашению вступает в силу с момента принятия Пользователем условий этого Приложения) и действует до полного исполнения Сторонами своих обязательств.

8. Обстоятельства непреодолимой силы

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

9. Прочие условия

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

9.2. Во всем остальном Стороны Соглашения согласились руководствоваться действующим законодательством Российской Федерации.

9.3. «Администрация сайта» вправе вносить изменения в Соглашение с обязательным размещением соответствующей информации на Сайте «Электронной библиотечной системы» не позднее, чем за 30 (тридцать) календарных дней до вступления соответствующих изменений в силу.

9.4. Отношения «Администрации сайта» и Пользователя, являющиеся юридическими лицами, регулируются на основании отдельно заключаемых Договоров, в которых указываются конкретные условия взаимоотношения Сторон.

9.5. По всем возникающим вопросам Пользователь вправе обращаться в Службу поддержки Сайта по адресу электронной почты:

10. Разрешение споров

10.1. Споры и разногласия, которые могут возникнуть по данному Соглашению, решаются путем соблюдения досудебного (претензионного) порядка. Срок рассмотрения «Администрацией сайта» претензии – 10 (Десять) календарных дней с момента ее получения от Пользователя.

10.2. Если Стороны не придут к соглашению, эти споры и разногласия разрешаются в судебном порядке согласно действующему законодательству Российской Федерации в суде по месту нахождения ФГУП «Издательство «Наука» в соответствии с правилами подведомственности и подсудности.

11. Уведомление о конфиденциальности

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

11.2. В соответствии с Федеральным Законом «О персональных данных» № 152-ФЗ от 27 июля 2006 г. и настоящей политикой конфиденциальности Администрация Сайта не использует, не обрабатывает и не хранит персональные данные Пользователя.

11.3. «Администрация сайта» собирает и хранит только необходимые для функционирования Сайта данные Пользователя. «Администрация сайта» может использовать данные Пользователя для его идентификации, уточнения данных платежа, предоставления персонализированных сервисов, обратной связи с Пользователем, обработки заявок и запросов, выполнения обезличенных статистических вычислений и улучшения качества услуг, оказываемых Пользователю.

Журнал "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) более эффективным протоколом перешифрования, выполняемым криптосерверами.

Налоги и платежи