Теоретическая и системная информатика. Рубрика в журнале - Проблемы информатики

Публикации в рубрике (9): Теоретическая и системная информатика
все рубрики
Автоматическая генерация тестов для GFX-offload компилятора Intel

Автоматическая генерация тестов для GFX-offload компилятора Intel

Панкратов Святослав Борисович

Статья научная

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

Бесплатно

Асимптотический анализ первого порядка двухфазной RQ-системы М/М/1 в условии большой задержки в источниках повторных вызовов

Асимптотический анализ первого порядка двухфазной RQ-системы М/М/1 в условии большой задержки в источниках повторных вызовов

Назаров Анатолий Андреевич, Анисимова Анна

Статья научная

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

Бесплатно

Кластерный анализ сети цитирования научных журналов

Кластерный анализ сети цитирования научных журналов

Бредихин Сергей Всеволодович, Ляпунов Виктор Михайлович, Щербакова Наталья Григорьевна

Статья научная

Изучается есть цитирования научных журналов, представленная взвешенным ориентированным графом. Основное внимание сфокусировано на проблемах связности и выявлении модульной структуры сети. Рассмотрены методы анализа объектов остевой структуры. На основе реальных библиографических данных, извлеченных из БД RePEc [1], построены главная связная сетевая компонента G и производные сети: коцитирования - Gcoc и библиографического сочетания - Gblb. Для этих сетей измерены локальный и взвешенный коэффициенты кластеризации. Выявление модульности рассматривается как задача идентификации структурно эквивалентных вершин соответствующих графов. С применением алгоритмов BTW, IMP, WTR и MLO выполнен кластерный анализ компоненты G и производных сетей. Результаты представлены в виде рисунка и таблиц. Сравнение результатов осуществлено с помощью индексов согласованности NMI и RAND.

Бесплатно

Кумулятивные оценки показателей структурной надежности сети и их использование

Кумулятивные оценки показателей структурной надежности сети и их использование

Родионов Алексей Сергеевич

Статья научная

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

Бесплатно

Моделирование и сравнение различных транспортных микромоделей

Моделирование и сравнение различных транспортных микромоделей

Казанцев Григорий Юрьевич, Омарова Гульзира Алимовна

Статья научная

Данная работа является продолжением цикла работ авторов. В предложенном исследовании рассматриваются транспортные модели клеточных автоматов (СА) и модель Трайбера. Проведен сравнительный анализ результатов моделирования с более ранними работами и между собой. Приведены фундаментальные диаграммы моделирования рассматриваемых моделей. Продолжены исследования, где каждый объект характеризуется индивидуальной скоростью, в отличии от ранних работ, где скорости были равны.

Бесплатно

Моделирование семантики типизированного атрибутного разграничения доступа

Моделирование семантики типизированного атрибутного разграничения доступа

Бияшев Рустем Гакашевич, Калимолдаев Максат Нурадилович, Рог Ольга Алексеевна

Статья научная

Построена многоуровневая формальная модель типизированного атрибутного разграничения доступа (ТАРД) и многокритериального атрибутного разграничения доступа (МнТАРД), основанная на понятии тина атрибутов разграничения доступа, заданного в виде математического объекта. Тип, определенный на нескольких уровнях, представляет собой систему семантического моделирования, присваивающую значения именам метамодели, затем переменным полученной из нее конкретной модели разграничения доступа, такой как DAC, MAC или RBAC, и, наконец, матрицы доступа, формируемой в процессе функционирования системы разграничения доступа. Выполнение операций над однотипными значениями атрибутов и их структурированными подмножествами ускоряет вычисления, снижает их сложность, а также облегчает администрирование. Включение в системы нескольких независимых типов обеспечивает множественную типизацию сущностей и осуществляет разграничение доступа но ряду критериев.

Бесплатно

Об одной задаче оптимизации распределения ресурсов в иерархических сетях

Об одной задаче оптимизации распределения ресурсов в иерархических сетях

Жусупбаев Амангельди, Токтошов Гулжигит Ысакович

Статья научная

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

Бесплатно

Объектно-ориентированный подход при компьютерном моделировании алгоритма шифрования на базе непозиционной полиномиальной системы счисления

Объектно-ориентированный подход при компьютерном моделировании алгоритма шифрования на базе непозиционной полиномиальной системы счисления

Нысанбаева Сауле Epкебулановна, Магзом Мирас Мухтарулы

Статья научная

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

Бесплатно

Правила получения системы дифференциальных уравнений для оценки распространения тепла в стержне с использованием квадратичной аппроксимации при увеличении числа элементов

Правила получения системы дифференциальных уравнений для оценки распространения тепла в стержне с использованием квадратичной аппроксимации при увеличении числа элементов

Кудайкулов Анарбай Кудайкулович, Ташев Азат Арипович

Статья научная

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

Бесплатно

Журнал