Информатика. Информационные системы. Рубрика в журнале - Вестник Пермского университета. Математика. Механика. Информатика
Статья научная
Рассмотрены различные функции существующих социальных сервисов, которые могут служить для образовательных целей и для выявления того, насколько педагоги готовы воспользоваться открывшимися возможностями. Мощным двигателем в этом процессе стала программа Intel® "Обучение для будущего". Исследование проводилось на основе данных системы переподготовки работников образовательных учреждений Оренбургской области.
Бесплатно
Самосинхронный регистр с расчетверением транзисторов
Статья научная
Самосинхронная схемотехника (ССС) является альтернативой синхронной и обеспечивает фиксацию завершение переходного процесса, что повышает быстродействие, позволяет работать на сверхнизких напряжениях питания и выполнять самоконтроль. Основоположником ССС является Д. Маллер. В настоящее время ССС активно продвигается не только на "зелёной" волне энергосберегающих технологий, но и в русле повышения степени интеграции цифровых чипов до наноуровня, когда уже начинают сказываться квантовые эффекты. В Институте проблем информатики - ИПИ РАН активно работает группа Ю.А. Степченко-ва, которая, продолжая дело группы В.И. Варшавского, разработала обширную библиотеку самосинхронных элементов. В Великобритании работает в направлении ССС проф. А. Яковлев, ранее работавший с В. Варшавским. Однако вопросы отказоустойчивости самосинхронных схем до сих пор исследованы недостаточно. Авторами статьи предложено комбинированное резервирование самосинхронной схемотехники (ССС) на основе расчет-верения (по терминологии классификатора ФИПС) транзисторов. В статье предлагается и оценивается комбинированное резервирование триггеров самосинхронного регистра, выполняющего функции приемопередатчика тестового самосинхронного процессора. Показывается эффективность такого резервирования по сравнению с троированием.
Бесплатно
Семантические фильтры входных данных для системы научной визуализации SciVi
Статья научная
Рассматривается метод для расширения системы научной визуализации SciVi, предоставляющий дополнительные возможности более тонкой настройки на специфику решаемых в этой системе прикладных задач. Предлагается метод построения семантических фильтров средствами графического интерфейса пользователя. Расширяемость и гибкость предложенного решения достигается за счет управления работой программы посредством онтологической базы знаний о фильтрах. Для осуществления настройки системы визуализации на специфику конкретной задачи пользователю достаточно провести связи между узлами, описывающими входные и выходные данные решателя, и выбранными для визуализации объектами. В качестве промежуточных узлов полученной в результате этого диаграммы потока данных выступают семантические фильтры, предлагаемые пользователю на выбор из репо-зитория системы. Клиент-серверная архитектура приложения позволяет распределить нагрузку в соответствии с потребностями пользователей.
Бесплатно
Семиотический аспект автоматизации обучения китайской иероглифике
Статья научная
Изложен семиотический аспект подхода, лежащего в основе автоматизированного обучения китайской иероглифике, и описаны стратегии, облегчающие процесс запоминания китайских иероглифов, реализованные в среде программной системы ОнтоКит 2.0.
Бесплатно
Симулятор нейронных сетей для вузов
Статья научная
Для изучения нейросетевых технологий необходим несложный, доступный, легкий в освоении симулятор нейронных сетей. В статье приведен обзор существующих симуляторов нейронных сетей и дана оценка пригодности их использования в учебном процессе. В качестве альтернативы предлагается авторская разработка, являющаяся продолжением серии курсовых и дипломных работ, выполненных на механико-математическом факультете ПГНИУ.
Бесплатно
Синтез автомата-распознавателя кода
Статья научная
Описывается методика синтеза и моделирования синхронного автомата-распознавателя заданной последовательности с повторяющимися символами в рамках курсовой работы на основе схем-шаблонов как продолжения лабораторного занятия. Показывается, что в шаблоне блок формирования кода клавиши может быть реализован на базе кодера, а логика переходов и выходов - на основе дешифраторов. Выполняется моделирование в системе схемотехнического моделирования NI Multisim 10 фирмы National Instruments Electronics Workbench Group. Делается вывод о целесообразности использования предложенного подхода для простой последовательности в лабораторных работах и усложненных версий синхронного автомата во время курсовой работы студентов.
Бесплатно
Система визуализации результатов MPI-тестирования коммуникационной среды вычислительных комплексов
Статья научная
Эффективная программа, как правило, учитывает архитектуру того вычислителя, для которого она была написана. Но выяснение архитектуры может стать проблемой для разработчика программ. Зачастую документация к вычислителю позволяет получить лишь поверхностные, недостаточные знания. В связи с этим в статье предлагаются подход к выяснению архитектуры, основанный на синтетических тестах, а также система визуализации результатов тестов. Система визуализации ориентирована на наглядное отображение данных в режиме реального времени, обладает полезным дополнительным функционалом. Проводится также сравнение реализованной системы с существующими аналогами.
Бесплатно
Системная реализация логики в плис FPGA
Статья научная
Списываются и оцениваются по сложности в количестве транзисторов известная и предло -женные реализации логического элемента (ЛЭ) программируемых логических интегральных схем (ПЛИС) типа FPGA ( field-programmable gate array). Существующие ЛЭ FPGA реализуют логические функции (ЛФ) в СДНФ (совершенной дизъюнктивной нормальной форме) - СДНФ ЛЕ на основе деревьев передающих транзисторов. Делается вывод, что предлагаемая структура - дешифратор DC LUT предпочтительна для системной реализации логических функций по аппаратным затратам при незначительном увеличении задержки.
Бесплатно
Создание базы данных и разработка архитектуры системы для выявления участников "групп смерти”
Статья научная
Рассматривается развитие "групп смерти", описываются системы поиска игроков и системы заданий для участников таких групп. Также анализируются различные способы борьбы с "группами смерти". Описаны результаты первых этапов по разработке программного обеспечения для определения участников "групп смерти".
Бесплатно
Сравнение потранзисторного резервирования с троированием логических элементов
Статья научная
Анализируется так называемое расчетверение - резервирование путем учетверения на уровне КМДП-транзисторов на примере полного сумматора. Показывается, что при таком резервировании цепочек транзисторов длиной более двух необходимо выполнять декомпозицию схемы сложения по модулю два (исключающее ИЛИ) в связи с ограничением в КМДП-схемах, запрещающих использование последовательного соединения более чем четырех транзисторов. Оцениваются аппаратные затраты и вероятность безотказной работы в сравнении с троированием. Показывается предпочтительность расчетверения.
Бесплатно
Стратегия миграции программного кода из монолитной архитектуры в микросервисы
Статья научная
Целью данной работы является описание стратегии, которая сможет помочь предприятиям с переходом от монолитной архитектуры программного кода приложений к архитектуре микросервисов. Используя эту стратегию миграции, новая система получит ряд преимуществ, предлагаемых архитектурой микросервисов, таких как масштабируемость и ремонтопригодность. Компании смогут перенести свои старые системы в более гибкие, увеличивая при этом производительность своего программного обеспечения.
Бесплатно
Тенденции перехода к социально-экономической кибернетике
Статья научная
Рассматриваются современные социально-экономические отношения с позиций кибернетического подхода. При анализе проблемы были использованы работы по общей теории систем, основанной Людвигом фон Берталанффи, концепция философа, академика РАН Вячесла́ва Степина о постнеклассической рациональности, работы по синергетике и прогнозированию поведения сложных систем, работы психолога, профессора Владимира Лепского и его коллег по системам управления и формирования кибернетики третьего порядка на основе саморазвивающихся активных сред, а также были приняты во внимание работы по теории принятия решений, политологии, социологии и поведенческой экономике. Предлагается социально-экономическую кибернетику рассматривать как развитие социальной кибернетики и кибернетики третьего порядка.
Бесплатно
Статья научная
Приведена краткая постановка задачи реконфигурации ПЛИС, описаны базовый и генетический алгоритмы реконфигурации. Генетический алгоритм использует двухуровневое кодирование решений с промежуточным представлением в виде матрицы смежности полного двудольного графа. Сформулирована и доказана теорема о сходимости разработанного генетического алгоритма к точному решению задачи реконфигурации ПЛИС.
Бесплатно
Технология создания трехмерных приложений реального времени для ОС Android
Статья научная
Рассматривается разработка технологии для создания трехмерных приложений для ОС Android. Описаны этапы выбора инструментария, объектного анализа трехмерной графики как предметной области. Приведены результаты работы, проиллюстрированы примеры применения на практике. Сделаны выводы и поставлена задача для дальнейшей работы.
Бесплатно
Транспортная задача. Реализация по критерию времени в программе MS Excel
Статья научная
Описана реализация решения неклассической транспортной задачи по критерию времени с помощью линейного симплекс-метода в программном продукте Microsoft Excel. Найденная реализация показывает, что у задачи может существовать линейный подход решения, который заключается в получении искомого плана перевозок путем оптимизации линейной целевой функции, определяющей суммарные затраты по времени всех перевозок. Такой подход позволяет получить наиболее точный ответ за счет линейности, при этом используя для его поиска самую распространенную программу для построения электронных таблиц, упрощая реализацию решения на практике.
Бесплатно
Другой
На занятиях по математической логике правила перестановки кванторов поясняют с использованием интерпретаций на двух двухэлементных множествах. Однако вопрос для большего количества кванторов не исследовался. В статье рассматриваются особенности выражений с одним, двумя и тремя кванторами при максимально возможной из простых интерпретаций - на трех множествах, содержащих по два элемента.
Бесплатно
Учебные демонстрационные программы на C++ в Borland C++ Builder 6
Статья научная
Приведено несколько demo-программ на алгоритмическом языке С++ в объектноориентированной среде компилятора Borland С++ Builder 6, показывающие некоторые "современные" требования к программным продуктам и реализуемым возможностям. Это, во-первых, создание формы на экране дисплея для визуализации задачи, размещение на ней объектов-компонент, предлагающих интерактивное выполнение необходимых действий, а также возможности графики, сервисных функций для работы с файлами (поиск, чтение, запись) и запуск приложений.
Бесплатно
Уязвимости системы "умный дом"
Статья научная
Рассмотрены существующие уязвимости системы "Умный дом". Определены характерные уязвимости информационной безопасности некоторых устройств, входящих в систему "Умный дом". Предложены методы повышения информационной безопасности систем "Умный дом".
Бесплатно
Формальная система вывода отказоустойчивых КМДП-структур самосинхронных схем
Статья научная
Для обеспечения пассивной отказоустойчивости самосинхронных схем - ССС предложено "терминальное" резервирование транзисторных структур, а также парирующее отказы части транзисторов, которые возникают, например, в результате воздействия радиации и других негативных факторов. Однако такое резервирование возможно не всегда в силу ограничений Мида и Конвей на число последовательно соединенных транзисторов. Предлагается формальная система, обеспечивающая вывод резервированной КМДП ССС с учетом заданного ограничения на длину последовательной цепочки транзисторов.
Бесплатно
Формальное описание механизма логического вывода в прологе
Статья научная
Цель статьи: обосновать целесообразность и изложить формальное описание механизма логического вывода в Прологе. Неформальное описание того, как Пролог-система отвечает на вопросы, позволяет ввести основные понятия механизма вывода, однако даёт понятное объяснение поиска решения только простых задач. Формальное же описание механизма логического вывода позволяет понять все особенности организации и управления поиском решения задач любой сложности. Так как программирование на Прологе требует глубокого понимания процесса доказательства цели, использование формального описания механизма вывода является достаточно важным.
Бесплатно
