Издания о компьютерах. Термины, используемые в Соглашение

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

Скачать и читать Журнал, ПРОграммист, № 8, 2010

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

Скачать и читать Журнал, ПРОграммист, № 7, 2010

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

Скачать и читать Журнал, ПРОграммист, № 6, 2010

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

Скачать и читать Журнал, ПРОграммист, № 5, 2010

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

Скачать и читать Журнал, ПРОграммист, № 4, 2010

Журнал, ПРОграммист, № 3, 2010

Журнал, ПРОграммист, № 3, 2010.

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

Связаться

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

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

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

Регистрация

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

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

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

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

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

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

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

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

Договор, в соответствии со статьей 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. «Администрация сайта» собирает и хранит только необходимые для функционирования Сайта данные Пользователя. «Администрация сайта» может использовать данные Пользователя для его идентификации, уточнения данных платежа, предоставления персонализированных сервисов, обратной связи с Пользователем, обработки заявок и запросов, выполнения обезличенных статистических вычислений и улучшения качества услуг, оказываемых Пользователю.

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

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

Главный редактор журнала

А.И. Аветисян, член-корреспондент РАН, доктор физ.-мат. наук. Институт системного программирования РАН, Москва, Россия.

Заместитель главного редактора

А. К. Петренко, доктор физ.-мат. наук, профессор. Институт системного программирования РАН, Москва, Россия.

Ответственный секретарь

Л. Е. Карпов, доктор техн. наук. Институт системного программирования РАН, Москва, Россия.

Редакционная коллегия

С. А. Абрамов, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия;
И. Б. Вирбицкайте, доктор физ.-мат. наук, профессор. Институт систем информатики им. А. П. Ершова, СО РАН, Новосибирск, Россия;
К. В. Воронцов, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына РАН Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия.
В. А. Галактионов, доктор физ.-мат. наук, профессор. Институт прикладной математики им. М. В. Келдыша, РАН, Москва, Россия;
Ф. Я. Дзержинский. ТехноСофт, Москва, Россия;
С. В. Клименко , доктор физ.-мат. наук, профессор. Нижегородский государственный архитектурно-строительный университет, Нижний Новгород, Россия;
М. Р. Когаловский, кандидат техн. наук. Институт проблем рынка РАН, Москва, Россия;
А. С. Косачев, кандидат физ.-мат. наук. Институт системного программирования РАН, Москва, Россия;
И. В. Машечкин, доктор физ.-мат. наук, профессор. Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова, Москва, Россия;
Б. А. Новиков, доктор физ.-мат. наук, профессор. Санкт-Петербургский государственный университет, г. Санкт-Петербург, Старый Петергоф, Россия;
А. Н. Прокопеня, доктор физ.-мат. наук. Варшавский университет естественных наук (Szkoła Główna Gospodarstwa Wiejskiego), Варшава, Польша;
В. А. Серебряков, доктор физ.-мат. наук, профессор. Вычислительный центр им. А. А. Дородницына РАН Федерального исследовательского центра «Информатика и управление», РАН, Москва, Россия.

Зав. редакцией журнала

Т.А. Оловянникова. ФГУП Академиздатцентр "Наука" РАН, Москва, Россия.

Журнал реферируется и индексируется

Научные статьи, опубликованные в журнале «Программирование», полностью переводятся на английский язык группой издательств Pleiades Publishing и печатаются издательством Springer в журнале «Programming and Computer Software», сведения о котором можно найти и . Там же можно найти сведения об импакт-факторе переводного журнала и международных системах, индексирующих его.

Журнал "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 год журнал входит в пятерку лидеров по охвату читательской аудитории. Сайт журнала