2017 № 2 (35)

Содержание

  1. Назаров А.А., Анисимова А.А. АСИМПТОТИЧЕСКИЙ АНАЛИЗ ПЕРВОГО ПОРЯДКА ДВУХФАЗНОЙ СИСТЕМЫ М/М/1 В УСЛОВИИ БОЛЬШОЙ ЗАДЕРЖКИ В ИСТОЧНИКАХ ПОВТОРНЫХ ВЫЗОВОВ

  2. Панкратов С.Б. АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ  GFX-OFFLOAD КОМПИЛЯТОРА INTEL

  3. Самигулина Г.А., Нюсупов А.Т. ОБЗОР ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ ДЛЯ ДИСТАНЦИОННОГО ОБРАЗОВАНИЯ, ПОСТРОЕННЫХ НА ОСНОВЕ МУЛЬТАГЕНТНОГО ПОДХОДА

  4. Бредихин С.В., Ляпунов В.М., Щербакова Н.Г. СТРУКТУРА СЕТИ ЦИТИРОВАНИЯ  НАУЧНЫХ ЖУРНАЛОВ

  5. Маркова В.П., Остапкевич М.П. СРАВНЕНИЕ ВОЗМОЖНОСТЕЙ MPI И LUNA НА ПРИМЕРЕ РЕАЛИЗАЦИИ МОДЕЛИ КЛЕТОЧНО-АВТОМАТНОЙ ИНТЕРФЕРЕНЦИИ ВОЛН

  6. Дугласс Т. Росс  КАЧЕСТВО НАЧИНАЕТСЯ С ОПРЕДЕЛЕНИЯ ТРЕБОВАНИЙ

  7. Ершов А.П.,  Покровский С.Б. ЭВОЛЮЦИЯ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ

Назаров А.А., Анисимова А.А.

Национальный исследовательский Томский государственный университет, 634050, Томск, Россия

АСИМПТОТИЧЕСКИЙ АНАЛИЗ ПЕРВОГО ПОРЯДКА ДВУХФАЗНОЙ СИСТЕМЫ М/М/1 В УСЛОВИИ БОЛЬШОЙ ЗАДЕРЖКИ В ИСТОЧНИКАХ ПОВТОРНЫХ ВЫЗОВОВ

УДК 519.872

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

статья

Библиографическая ссылка: Назаров А.А., Анисимова А.А. Асимптотический анализ первого порядка двухфазной системы м/м/1 в условии большой задержки в источниках повторных вызовов //журнал Проблемы информатики, ­2017, № 2. С. 4-12. 

Панкратов С.Б.

Институт систем информатики им. А. П. Ершова СО РАН,630090, Новосибирск, Россия

АВТОМАТИЧЕСКАЯ ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ  GFX-OFFLOAD КОМПИЛЯТОРА INTEL

УДК 004.43

Компилятор инструмент, требования к надежности которого чрезвычайно высоки. Так как дефекты программного обеспечения, вызванные ошибками в компиляторе, сложно выявить, а тем более исправить без вмешательства в сам компилятор, поэтому важнейшим этапом разработки компилятора является его верификация. Из-за сложности входных данных и производимых над ними преобразований задача верификации компиляторов является весьма трудоемкой и непростой. А в случае использования оптимизирующего компилятора еще и алгоритмически неразрешимой, поэтому можем рассмотреть поведение компилятора только на некотором ограниченном классе программ. В статье представлен подход к автоматизации создания тестов для верификации GFX-offload компилятора, основанный на генераторе, использующем грамматики для порождения синтаксически корректных исполняемых тестов. Также приведены результаты использования полученной грамматики в процессе тестирования компилятора в компании Intel.
Ключевые слова: тестирование, генерация тестов, компиляторы, оффлоад, грамматики, графические ускорители.

статья

Библиографическая ссылка: Панкратов С.Б. Автоматическая генерация тестов для  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, клеточный автомат, решеточный газ, моделирование интерференции.

статья

Библиографическая ссылка: Маркова В.П., Остапкевич М.П. Сравнение возможностей 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.