Журналы на компьютерную тематику. Журнал РАН «Программирование

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

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

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

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

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

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

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

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

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

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

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

1. Журнал « CHIP » . Сайт: http://ichip.ru/

Это номер один во всём мире – «CHIP» выходит в пятнадцати странах мира. Всегда полезные советы, тесты «железа», обзоры софта, который в изобилии представлен на диске в комплекте с журналом (в продаже есть версия без него). Часто на диске представляются дистрибутивы Linux и ПО для них. В последнее время особое внимание уделяется мобильным устройствам и технологиям.

2. Журнал . Сайт: http :// www . computerbild . ru /

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

3. Журнал HARD’n’SOFT . Сайт: http://www.hardnsoft.ru/

Объективная информация от экспертов. Она тем полезней, что представлена максимально полно и объективно. Диск присутствует.

4. Журнал«Мир ПК» . Сайт: http://www.pcworld.ru/

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

5. Журнал «Домашний ПК» . Сайт http://www.dpk.com.ua/

Разнообразие статей поражает: компьютерные игры, Интернет, мультимедиа, «Тестовая лаборатория», новинки софта и «железа».

6. Журнал«Компьютерра» . Сайт: http://www.computerra.ru/

Тем, кто любит читать о компьютерах. Журнал выходит достаточно часто – раз в неделю, чтобы успевать освещать новейшие технологии и новости рынка.
7. Журнал«КомпьютерПресс» . Сайт: http://compress.ru/

Известен аж с 1989 года и интересен, в первую очередь, специалистам, но и адепты компьютерного мира найдут в нём множество ценной информации.
8. Журнал. Сайт: http://www.upweek.ru

Читать полезно! Это относится не только к этому журналу, а этот интересен не только подбором качественных комплектующих для апгрейда компьютера в описаниях, но и разносторонними материалами о мире IT.
9. Журнал«Хакер» . Адрес: http://www.xakep.ru/

Почитаешь и руки так и тянутся совершить нечто криминальное, но на самом деле, авторы вовсе к этому не призывают, а рассматривают очередные уязвимости для пользы дела.

Между тем, в издании пишут не только о хакерах, а подача материала, с обилием молодежного сленга, с юморком подкупает искренностью.
10. Журнал«Железо» от создателей предыдущего. Адрес: http://www.xard.ru/

Это огромное количество тестов всевозможного «железа». Быть «в курсе» – это значит читать «Железо».
11. Журнал«InZone» . Адрес: http://www.andrakov.narod.ru/

Возможно, лучший электронный журнал о компьютерах. Но не только – тут и «вкусняшки» для сайтостроителей, новости Сети, обзоры ПО с прямыми ссылками для скачивания.

12. Журнал F1CD . Адрес компьютерного журнала: http://www.f1cd.ru/

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

13. Журнал для гиков . Сайт журнала http://supreme2.ru/category/magazine/

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

Полезные инструменты

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

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

Вам также может понравиться