Информатика. Информационные системы. Рубрика в журнале - Вестник Пермского университета. Серия: Математика. Механика. Информатика
Автоматизация контроля обучения студентов тестированию учебных программ методами "чёрного ящика"
Статья научная
При обучении программированию важную роль играет освоение методов тестирования программ. В статье описывается система для автоматизации контроля обучения студентов тестированию учебных программ методами "черного ящика".
Бесплатно
Автоматизация контроля стиля учебных программ
Статья научная
Описывается программа для автоматизации контроля хорошего стиля учебных программ на языке Паскаль. Программа позволяет автоматизировать часть работы преподавателя по обучению основам программирования.
Бесплатно
Актуальные проблемы в построении сигнального обеспечения для имитостойких систем связи
Статья научная
Проводится анализ построения сигнального обеспечения на основе фазоманипулированных сигналов, используемых в имитостойких системах передачи информации ограниченного доступа. Раскрываются основные недостатки применяемого сигнального обеспечения, в результате которых не обеспечивается защита сообщений от расшифровки в случае применения злоумышленником современных технических средств разведки и обработки информации ограниченного доступа. На основе полученных заключений сформулированы требования, предъявляемые к сигнальному обеспечению, позволяющие не допустить раскрытия построения кодового словаря, используемого в системах закрытой связи.
Бесплатно
Алгоритм выбора оптимального набора конфигурируемых строго самосинхронных логических элементов
Статья научная
Описывается разработанный алгоритм выбора оптимального набора новых конфигурируемых строго самосинхронных (ССС) логических элементов, в котором учитываются комплексные характеристики, такие как: количество транзисторов, площадь, быстродействие и потребляемая мощность. В качестве вариантов в составе конфигурируемого логического блока программируемых логических интегральных схем (ПЛИС) рассматриваются следующие предложенные универсальные логические элементы: ССС-генератор функций на основе стандартных логических элементов базового матричного кристалла - БМК (ГФ), ССС-генератор функций на основе универсального логического элемента программируемых логических интегральных схем - ПЛИС (LUT-ST), ССС-генератор систем функций на основе дешифрации водного набора DC LUT-ST и ССС-эквивалент программируемой логической матрицы - ПЛМ (ДНФ-LUT-ST).
Бесплатно
Статья научная
Рассмотрена нетривиальная проблема защиты авторских прав информации, размещенной и передаваемой с помощью телекоммуникационной сети Интернет. Предложен вариант реализации "запутывающего" алгоритма, который подразумевает динамическую смену функциональной составляющей, и доступен в каждый момент времени для расшифровки и исполнения web-клиентом только один раз.
Бесплатно
Анализ надёжности логических элементов с избыточным базисом при учёте резервирования входов
Статья научная
Описывается исследование вариантов резервирования входов элемента с избыточным базисом, сохраняющего реализуемую логическую функцию, показывается, что наиболее предпочтительным является дублирование входов, которое по вероятности безотказной работы в пределах допустимых значений превосходит описанное троирование и учетверение входных сигналов.
Бесплатно
Анализ рекурсивного алгоритма решения задачи о ханойской башне на основе подстановок
Статья научная
Анализируется система подстановок, описывающая рекурсивный алгоритм решения задачи о Ханойской башне. Показывается, что для трех стержней формируются 6 возможных подстановок переменных, обозначающих стержни и их глобальный и локальный смысл. Приводятся примеры подстановок в задаче для одного, двух и трех дисков.
Бесплатно
Анализ точности и времени решения задачи коммивояжера с помощью "антижадного" алгоритма
Статья научная
Предложен новый "антижадный" алгоритм для решения задачи коммивояжера, имеющий меньшую погрешность, чем известные приближенные полиномиальные алгоритмы. Идея "антижадного" алгоритма заключается в том, что из графа последовательно удаляются ребра наибольшей длины при одновременном соблюдении для оставшегося графа двух правил. Во-первых, из каждой его вершины должно выходить, как минимум, два ребра. Во-вторых, в нем не должно возникать циклов, состоящих менее чем из n ребер, где n -количество вершин в исходном графе. Проведено исследование работы трех алгоритмов: "антижадный", "жадный" и алгоритм Кристофидеса, - для евклидовых и неевклидовых графов. Получены статистические данные о погрешности и времени работы алгоритмов, которые демонстрируют значительное превосходство "антижадного" алгоритма в точности, в особенности для неевклидовых графов.
Бесплатно
Анализ ячейки памяти SRAM, как SR триггера и автомата Мура
Статья научная
Анализируется шеститранзисторная ячейка памяти SRAM как SR триггер и автомат Мура. Рассматривается описание SRAM на базе инверторов с учётом монтажного И. Выполняется моделирование функционирования шеститранзисторной ячейки памяти SRAM в системе схемотехнического моделирования NI Multisim 10 фирмы National Instruments Electronics Workbench Group.
Бесплатно
Архитектура интеллектуальной охранной системы
Статья научная
Разработана система охраны объектов различной важности. ЭВМ, прикрепленная к охраняе- мой территории, обнаруживает движущийся объект, выделяет его изображение рамкой с це- лью фокусирования внимания оператора и вычисляет относительный размер движущегося объекта. Данные, полученные на ЭВМ, передаются на сервер, который предлагает возмож- ные решения на экране диалогового окна.
Бесплатно
Архитектура программного комплекса определения надежности информационной системы
Статья научная
Современные информационные системы занимают важное место в жизни организации. Выход их из строя может повлечь остановку работы всей организации. Поэтому крайне актуальным становится обеспечение их надежной и бесперебойной работы. В статье описывается архитектура программного комплекса, предназначенного для определения уровня надежности существующей информационной системы, разработки комплекса изменений, позволяющего повысить уровень надежности ИС до приемлемого уровня, а также для подготовки системных администраторов.
Бесплатно
Архитектура системы имитационного моделирования грузопотока в калийных рудниках - ПК "Рудопоток"
Статья научная
Рассмотрена разработка системы имитационного моделирования по добыче и транспортировке руды в подземной части калийных шахт. Показаны отличительные особенности предложенной модели (добыча комбайновыми комплексами, использование конвейерного транспорта и перегрузочных пунктов в моделировании непрерывного грузопотока). Представлена архитектура программной реализации ПК "Рудопоток".
Бесплатно
Взаимодействие объектов в объектно-ориентированном программировании
Статья научная
В статье излагается один из возможных способов организации взаимодействия объектов объектно-ориентированной программы, приведены фрагменты программного кода для конкретного примера. Для наглядного представления передачи сообщений между объектами описаны диаграммы их взаимодействия и последовательностей. Предложенная методика может быть использована при обучении технологии объектно-ориентированного программирования.
Бесплатно
Статья научная
При проведении имитационного эксперимента особую важность приобретает скорость вычислений и эффективность загрузки вычислительных мощностей, потому как в отличие от реально действующих систем ресурсы виртуальны и скорость доступа к ним ничтожно мала. В системе имитационного моделирования Triad.Net за эффективную загрузку вычислительных узлов и соединительных каналов отвечает подсистема балансировки TriadBalance и ее ключевое звено - агент анализа. Выбор схемы работы агента анализа приведен в [1, 2]. В данной статье предлагается ряд подходов к улучшению работы агента анализа, а также описываются результаты пробного внедрения этих подходов.
Бесплатно
Восстановитель информации в двухканальной самосинхронной схеме
Статья научная
Самосинхронные (СС) схемы (ССС), работающие по фактическим временным задержкам элементов, обладающие способностью фиксировать константные отказы по незавершению переходного процесса, рассматриваются как один из перспективных вариантов высоконадёжной отечественной электронной компонентной базы. Однако таким образом можно строить лишь активно отказоустойчивые схемы, причем для этого необходимо иметь дополнительные средства контроля максимально допустимого времени завершения переходного процесса, локализации места отказа и соответствующей реконфигурации, что может требовать относительно много времени. Для реализации пассивной отказоустойчивости, парирующей отказы в онлайн-режиме необходимо структурное резервирование и средства восстановления информации. Как правило, в синхронных схемах для этого применяют троирование с мажоритарными элементами в качестве восстановителей правильной информации. С целью парирования отказов в самих мажоритарных элементах, троируют и их. Но ССС и так имеют два канала - основной и парафазный. Если добавить вторую такую схему, получим фактически четыре канала. Единственная проблема заключается в том, что информация передается в парафазном коде, но это поправимо дополнительными инверторами. С целью обеспечения гашения (фазы спейсера) используется транзисторы разрешения. Предлагается восстановитель информации на основе избыточной транзисторной структуры, парирующий однократный отказ в рабочей фазе или в фазе гашения.
Бесплатно
Выбор набора конфигурируемых логических элементов с использованием венгерского метода
Статья научная
Получаются оценки сложности конфигурируемых логических элементов, реализующих системы функций. Анализируются и сравниваются варианты реализации элементов. Для выбора оптимального набора элементов для различных параметров систем логических функций предлагается модификация венгерского метода реализации.
Бесплатно
Выбор среды имитационного моделирования информационно-управляющих сетей
Статья научная
Выполняется анализ программных сред имитационного моделирования информационно-управляющих сетей, составляющих их шин данных и коммуникационных стеков протоколов. Производится анализ сред моделирования универсального и общецелевого, специализированного назначения, по выделенным общим и частным, для анализируемого класса сетей, критериям. В результате работы выбрана эффективная среда общецелевого имитационного моделирования AnyLogic, характеризуемая наибольшей эффективностью применительно к созданию и анализу новых корректных моделей исследуемых информационно-управляющих сетей.
Бесплатно
Гистерезисный триггер для пассивно отказоустойчивых самосинхронных схем
Статья научная
Рассматривается так называемый гистерезисный триггер (Г-триггер) или С-элемент Малле-ра, фиксирующий завершение переходного процесса в самосинхронных (СС) схемах (ССС), работающих по фактическим задержкам элементов. ССС рассматриваются как один из пер -спективных вариантов энергосберегающей "зеленой" логики, работающей на ультранизких напряжениях питания и обладающих способностью фиксировать константные отказы. Предлагается и исследуется Г-триггер для резервированных структур, фисирующий завершение переходного процесса хотя бы в двух из трех каналов. Строится таблица переходов выходов соответствующего автомата и определяются логические функции.
Бесплатно
Двухфакторная аутентификация с использованием СМС-сервиса
Статья научная
Разработана компьютерная программа, предназначенная для реализации двухфакторной аутентификации пользователя при получении доступа к закрытой информации. Программа предполагает использование основного пароля, данного владельцу информации, и пароля, который приходит пользователю/владельцу информации при запросе доступа к соответствующим данным на компьютере. Только при предъявлении двух верных паролей пользователь/владелец может получить доступ к информации.
Бесплатно
Диагностические возможности САПР Quartus II фирмы Altera
Статья научная
Рассматриваются вопросы диагностики проектов в САПР Quartus II фирмы Altera для ПЛИС типа FPGA (Field -Programmable Gate Array). Анализируется встраиваемый логический анализатор SignalTap II, процедуры создания теста, хранения и анализа тестовой информации. Делается вывод о том, что процедуры существующей диагностики собственно логических элементов ПЛИС, описанные в открытых источниках, не позволяет использовать их остаточную функциональность в критических приложениях.
Бесплатно
