2017 № 2 (35)



А. А. Назаров, А. А. Анисимова
Национальный исследовательский Томский государственный университет, 634050, Томск, Россия
 
АСИМПТОТИЧЕСКИЙ АНАЛИЗ ПЕРВОГО ПОРЯДКА ДВУХФАЗНОЙ СИСТЕМЫ М/М/1 В УСЛОВИИ БОЛЬШОЙ ЗАДЕРЖКИ В ИСТОЧНИКАХ ПОВТОРНЫХ ВЫЗОВОВ
 

УДК 519.872
 
В данной статье рассматривается двухфазная система массового обслуживания следующего вида. На вход системы поступает простейший входящий ноток заявок, которые последовательно проходят две фазы. Каждая фаза содержит один обслуживающий прибор и один источник повторных вызовов (ИПВ), куда отправляется заявка, если застает прибор занятым. Приборы на обеих фазах обрабатывают заявку в течение экспоненциально распределенного промежутка времени. Находясь в ИПВ, заявка через экспоненциально распределенные промежутки времени делает попытки вновь встать на обслуживание. После обслуживания на второй фазе заявка считается обработанной и покидает систему. Целью данной работы является исследование числа заявок в ИПВ на обеих фазах. Исследование проводится методом асимптотического анализа в условии большой задержки в ИПВ. Получены семиинварианты первого порядка и проведено сравнение с результатами имитационной модели.
Ключевые слова: система массового обслуживания, RQ-система, источник повторных вызовов.
 
Библиографическая ссылка: журнал Проблемы информатики, ­2017, № 2. С. 4-12
___________________________________________________________________
С. Б. Панкратов
Институт систем информатики им. А. П. Ершова СО РАН,630090, Новосибирск, Россия
 
АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ  GFX-OFFLOAD КОМПИЛЯТОРА INTEL
 
УДК 004.43
 
Компилятор инструмент, требования к надежности которого чрезвычайно высоки. Так как дефекты программного обеспечения, вызванные ошибками в компиляторе, сложно выявить, а тем более исправить без вмешательства в сам компилятор, поэтому важнейшим этапом разработки компилятора является его верификация. Из-за сложности входных данных и производимых над ними преобразований задача верификации компиляторов является весьма трудоемкой и непростой. А в случае использования оптимизирующего компилятора еще и алгоритмически неразрешимой, поэтому можем рассмотреть поведение компилятора только на некотором ограниченном классе программ. В статье представлен подход к автоматизации создания тестов для верификации GFX-offload компилятора, основанный на генераторе, использующем грамматики для порождения синтаксически корректных исполняемых тестов. Также приведены результаты использования полученной грамматики в процессе тестирования компилятора в компании Intel.
Ключевые слова: тестирование, генерация тестов, компиляторы, оффлоад, грамматики, графические ускорители.
 
Библиографическая ссылка: журнал Проблемы информатики, ­2017, № 2. С. 13-23
___________________________________________________________________
Г. А. Самигулина, А. Т. Нюсупов
Институт информационных и вычислительных технологий, 050010,Республика Казахстан, Алма-Ата
 
ОБЗОР ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ ДЛЯ ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ, ПОСТРОЕННЫХ НА ОСНОВЕ МУЛЬТАГЕНТНОГО ПОДХОДА
 
УДК 004.85:004.89
 
В статье проведен аналитический обзор но интеллектуальным системам в дистанционном образовании на основе агентно-ориентированного подхода. Показана актуальность разработки мультиагентных систем при создании инновационных интеллектуальных технологий дистанционного обучения, основанных на применении различных подходов и системном анализе. Особое внимание уделено когнитивным агентам, у которых имеются поведенческие и эмоциональные функции взаимодействия со студентами в системе обучения. Показана важность дистанционного образования для обучающихся с различными ограниченными возможностями и перспективы их развития. Приведены основные достоинства и недостатки применения мультиагентного подхода при построении интеллектуальных систем дистанционного образования.
Ключевые слова: интеллектуальная система, дистанционное образование, мультиагентные системы, когнитивный подход.
 

Библиографическая ссылка: журнал Проблемы информатики, ­2017, № 2. С. 24-37
___________________________________________________________________
С.В. Бредихин, В.М. Ляпунов, Н.Г. Щербакова
Институт вычислительной математики и математической геофизики СО РАН, 630090, Новосибирск, Россия
 
СТРУКТУРА СЕТИ ЦИТИРОВАНИЯ  НАУЧНЫХ ЖУРНАЛОВ
 
УДК 001.12+303.2
 

Идея определения важности научного журнала путем измерения его цитируемости возникла в 1927 г. Идея получила развитие: на основе информации о цитировании журналов, статей и других научных единиц строятся сети цитирования, а структура сетей рассматривается как основа для библиометрического анализа. При этом применяются концепции и методы, используемые в теории графов и социальных сетей. В статье рассматривается сеть цитирования научных журналов, моделируемая взвешенным ориентированным графом, а также модели производных сетей коцитирования и библиографического сочетания. Исследованы методы, позволяющие вычислять параметры среднее расстояние, плотность, радиус и диаметр для случая слабой связности и/или взвешенности графа. На основе реальной информации, извлеченной из распределенной библиографической базы данных RePEc, вычислены значения указанных параметров для графа цитирования и производных сетей. Результаты анализа представлены в виде таблиц и рисунков.
Ключевые слова:
есть цитирования научных журналов, взвешенный ориентированный граф, взвешенное среднее расстояние, взвешенная плотность, взвешенные радиус и диаметр.
 
Библиографическая ссылка: журнал Проблемы информатики, ­2017, № 2. С. 38-52
___________________________________________________________________
В.П. Маркова*, М.Б. Остапкевич**
Институт вычислительной математики и математической геофизики СО РАН, 630090, Новосибирск, Россия
* Новосибирский национальный исследовательский государственный университет, 630090, Новосибирск, Россия
**Новосибирский государственный технический университет, 630073, Новосибирск, Россия
 
СРАВНЕНИЕ ВОЗМОЖНОСТЕЙ MPI И LUNA НА ПРИМЕРЕ РЕАЛИЗАЦИИ МОДЕЛИ КЛЕТОЧНО-АВТОМАТНОЙ ИНТЕРФЕРЕНЦИИ ВОЛН
 
УДК 519.688
 

В статье рассматривается параллельная реализация алгоритма клеточно-автоматной интерференции двух волн c использованием технологии фрагментированного программирования и основанной на ней системы LuNA. Технология основана на стратегии управления потоками данных. В отличие от других известных технологий и систем, LuNA предоставляет унифицированный способ написания параллельных программ для мультикомпьютеров с неоднородными узлами. Программа на LuNA содержит описание фрагментов данных, вычислительных фрагментов и информационных зависимостей между ними. В данной работе LuNA программа исполняется на мультикомпьютере с однородными узлами. Результаты сравнения LuNA и MPI показали, что время выполнения LuNA программы больше, чем время выполнения MPI программы. Это обусловлено особенностями алгоритмов распределения, поиска и передачи данных и вычислительных фрагментов между узлами мультикомпьютера. Написание программы для LuNA существенно проще, чем написание MPI программы.
Ключевые слова:
параллельное программирование, фрагментированное программирование, система LuNA, клеточный автомат, решеточный газ, моделирование интерференции.
 
 

Библиографическая ссылка: журнал Проблемы информатики, ­2017, № 2. С. 53-64
___________________________________________________________________
Дугласс Т. Росс
 
КАЧЕСТВО НАЧИНАЕТСЯ С ОПРЕДЕЛЕНИЯ ТРЕБОВАНИЙ
 

Идеей этого постановочного выступления является то, что качество программного обеспечения зависит от его предлагаемого применения и может быть достигнуто с помощью некоторой упорядоченной методологии, в которой требования к качеству включены в исходные определения требований ко всей задаче и тщательно проверяются и подтверждаются па каждом этапе разработки.
______
Статья была опубликована в Трудах рабочей конференции Международной федерации по обработке информации. 1978, том 2, Новосибирск. С. 132 139
 
Библиографическая ссылка: журнал Проблемы информатики, ­2017, № 2. С. 65-69
___________________________________________________________________
А. П. Ершов, С. Б. Покровский

ЭВОЛЮЦИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ

В докладе осуществлена попытка описать и свойства языков программирования высокого уровня; терминологию; историю; критерии оценки языков программирования; дан обзор важнейших языков общего назначения (ПЛ/1, Алгол 68, Симула 67, Паскаль) с указанием важнейшей библиографии).
______
Статья была написана для доклада на Второй всесоюзной конференции по исследованию операций в Петрозаводске в мае 1976 г. Ссылки на источнике в тексте даны в авторской редакции. А. П. Ершов, С. Б. Покровский. Эволюция языков программирования // Тез. докл. 2-й Всесоюз. конф. по исследованию операций, Петрозаводск, 10 14 мая 1976 г. М., 1976. С. 39-54.
 

Библиографическая ссылка: журнал Проблемы информатики, ­2017, № 2. С. 70-79
___________________________________________________________________