004.31 А 391 Акимов, Е. В. Автоматизация проверки текстов экзаменационных работ на базе онтологий / Е. В. Акимов> // Актуальные проблемы математики, механики, информатики - 2012: материалы межд. науч.-метод. конф. - Пермь, 2012. - С. 151
Рубрики: Вычислительная техника Обработка данных Кл.слова (ненормированные): тесты -- проверка текста -- метод онтологий |
517 П 54 Поляков, В. Б. Матричное представление нечеткой логики на микроконтроле / В. Б. Поляков> // Вестник Пермского университета. Сер.: Информационные системы и технологии. - 2013. - Вып. 13 (40). - С. 82-90. - Библиогр.: с. 89-90 (11 назв.)
Рубрики: Математика Математический анализ Вычислительная техника Блоки обработки данных Кл.слова (ненормированные): Мамдани алгоритм -- алгоритм Мамдани -- матричное представление операций -- микроконтроллер -- нечеткая логика Аннотация: В данной работе сравниваются программные реализации матричной и традиционной модели нечетких операций с точки зрения объема памяти микроконтроллера, требуемого для их реализации. |
Городилов, А. Ю. Теорема о сходимости генетического алгоритма к с двухуровневым кодированием к точному решению задачи реконфигурации ПЛИС / А. Ю. Городилов, Е. Ю. Данилова> // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2015. - Вып. 4. - С. 84-90
Рубрики: Вычислительная техника Блоки обработки данных Кл.слова (ненормированные): FPGA -- ПЛИС -- генетический алгоритм -- оптимизация -- реконфигурация -- сходимость Аннотация: Приведена краткая постановка задачи реконфигурации ПЛИС, описаны базовый и генетический алгоритмы реконфигурации. Генетический алгоритм использует двухуровневое кодирование решений с промежуточным представлением в виде матрицы смежности полного двудольного графа. Сформулирована и доказана теорема о сходимости разработанного генетического алгоритма к точному решению задачи реконфигурации ПЛИС. Доп.точки доступа: Данилова, Е.Ю. |
Корнилков, А. Н. Диагностические возможности САПР Quartus II фирмы Altera / А. Н. Корнилков> // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2016. - Вып. 1 (32). - С. 22-28. - Библиогр.: с. 27-28 (14 назв.)
Рубрики: Вычислительная техника Блоки обработки данных Кл.слова (ненормированные): логические интегральные схемы -- логические элементы -- логические ячейки -- радиоэлектронная аппаратура Аннотация: В статье анализируется встраиваемый логический анализатор SignalTapII, процедуры создания текста, хранения и анализа текстовой информации. |
004.31 Р 17 Разработка элементов криптопроцессора с использованием отечественной САПР / О. А. Зобнина [и др.]> // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2019. - Вып. 2 (45). - С. 60-66. - Библиогр.: с. 65 (11 назв.)
Рубрики: Вычислительная техника Блоки обработки данных Кл.слова (ненормированные): САПР -- информационная безопасность -- криптопроцессоры -- логические интегральные схемы Аннотация: Исследуется криптопроцессор - абонентский шифратор "КРИПТОН" с целью оценки возможности реализации на отечественной элементной базе в рамках задач импортозамещения. Доп.точки доступа: Зобнина, О. А.; Каменских, А. Н.; Королев, Г. К.; Тюрин, С. Ф. |