Рассматривается задача верификации реактивных систем управления с параллелизмом поведения. Полагается, что описание функционирования устройства, заданного на языке параллельных автоматов, корректно, проверке подлежит схемная (или программная) реализация. Генерация тестовой последовательности основана на обходе графа достижимых состояний параллельного автомата. Предлагается метод сокращения графа достижимости, который основан на предположении независимости параллельно происходящих переходов автомата. Усечение графа достижимости достигается за счет доопределения частичного порядка на множестве переходов, позволяющего существенно уменьшить число рассматриваемых состояний системы управления и, соответственно, число вершин графа. Получаемое сокращение графа достижимых состояний позволяет решать задачу построения тестов для более сложных систем управления.
Реконфигурируемые системы на кристалле (РСнК) занимают все большую долю на рынке микро- и наноэлектроники. Наличие программируемой части в совокупности с жесткими сложными функциональными (СФ) блоками на одном кристалле делает их универсальными и пригодными для выполнения разного рода задач. При проектировании интегральных схем (ИС) на основе РСнК остро стоит вопрос быстродействия схем. Оно зависит как и от архитектуры целевой реконфигурируемой системы, так и от результатов каждого этапа маршрута проектирования. Основополагающим фактором, влияющим на скорость распространения сигнала между логическими элементами, является их расположение относительно друг друга. Это определяется на этапе кластеризации и размещения элементов разрабатываемой схемы на базе РСнК. В данной статье эти два этапа рассматриваются совместно, т. к. они неразрывно связаны друг с другом и решают общую задачу распределения логических элементов схемы по группам логических элементов РСнК. Для выполнения кластеризации и размещения выбраны методы, использующие программный модуль KaHyPar, последовательный многоуровневый алгоритм размещения (ПМАР) и стандартный плоский алгоритм размещения (СПАР). Результатом работы является сравнительный анализ представленных методов. В качестве оценки используются такие параметры как количество трассировочных элементов в цепях, количество цепей с определенным числом трассировочных элементов, а также трассируемость схем. На основе полученных результатов показаны преимущества и недостатки представленных методов.
В работе приведен разработанный авторами алгоритм автоматизированного визуального контроля монолитных интегральных схем и описываются его модификации для повышения эффективности. Осуществленные модификации заключаются в изменение порядка расчёта карты дефектности, введении расчёта средневзвешенного пиксельного расстояния и в изменении веса слоёв фотошаблона. Проведенное тестирование модификаций на наборах микрофотографий монолитных интегральных схем различных топологий показало, что изменение порядка расчёта карты дефектности и изменение коэффициента веса слоёв фотошаблона позволили существенно повысить повторяемость ручного визуального контроля до 98%.
Цель этого сообщения - раскрыть важную особенность концепции высшего образования в ФГБОУ ВО «Академия акварели и изящных искусств Сергея Андрияки». Ключевая особенность обучения студентов этого вуза - воспитание художника-универсала. Каждый обучающийся должен овладеть не только академическим рисунком, живописью (акварель, мас ло, пастель), композицией, скульптурой, но и разнообразными техниками декоративно прикладного искусства.
Крупноформатная картина Наталии Васильевой в технике многослойной акварели посвящена теме «Свержение идолов» из истории Киевской Руси конца Х столетия. Обращение к подобным сюжетам, далеко отстоящим по времени, требует от автора особых исторических познаний и художественной интуиции, чтобы добиться правдоподобия в передаче ответственной темы. Молодая художница проделала большую подготовительную работу не только в связи с по иском композиционного решения многофигурной картины, но и для того, чтобы найти убедительные археологические и этнографические детали. В работе нет ничего случайного, ее отличают продуманность и знаточество, основанные на изучении письменных источников, памятников искусства и научной литературы.
Контраст советской действительности и восточной архаики. Слева направо двигается колоритный караван со всевозможными дарами. Он словно принес с собой раскаленный воздух Аравии. Играет музыка, звучит не знакомая речь, воздух пропитан запахами пряностей и фруктов… Справа - двое прохожих, простых советских граждан: они шли по своим повседневным делам, о которых мигом забыли.
SA постоянно публикует произведения лучших учеников предпрофессионального отделения Академии. Их результаты напрямую связаны с методикой преподавания и мастерством, талантом преподавателя. В этой статье художник-педагог Алла Давлашян делится своим педагогическим опытом, методическими наработками, которые помогли талантливой трудолюбивой ученице Евгении Кульшенко создать блестящие рисунки.
Растущая сложность современных систем обработки видеоинформации и ограниченные сроки их проектирования требуют применения новых инструментов разработки, используемых в современных системах автоматизированного проектирования и основанные на программируемых логических интегральных схемах (ПЛИС). В настоящее время в дополнение к традиционным языкам описания аппаратного обеспечения (hardware description languages - HDL) всё большую популярность набирают инструменты высокоуровневого синтеза (High Level Synthesis - HLS) микроархитектур, преимущество которых состоит в повышении уровня абстракции при разработке различных систем обработки сигналов, в частности изображений в области транспорта. Несмотря на простоту проектирования и тестирования в сравнении HDL, при использовании HLS необходимо учитывать недостатки, проявляющиеся при генерации описания аппаратного обеспечения, свойственные данному подходу. В статье на примере проектирования известного фильтра Кэнни, позволяющего выделить границы транспортных объектов на изображениях при решении задач обнаружения и распознавания, представлено сравнительное исследование двух методик синтеза цифровых устройств обработки изображений: HLS и HDL. Приведены результаты сравнения двух реализаций HDL и HLS, полученные на основании оценки вычислительных ресурсов и времени выполнения операций. Поскольку фильтр Кэнни, как и многие другие фильтры выделения контуров, является сверточным, данная работа позволяет оценить сильные и слабые стороны любого оператора в области обработки изображений. Исследование показало, что с учетом затрачиваемых ресурсов и времени отклика реализация HLS продемонстрировала более высокие показатели с точки зрения задействования ресурсов и времени отклика в сравнении с подходом HDL.
В Академии акварели и изящных искусств Сергея Андрияки помимо обычного для российских художественных вузов комплекса дисциплин (рисунок, живопись, композиция) студенты изучают большое количество прикладных предметов: витраж, основы ювелирного дела, римскую и флорентийскую мозаику, гончарное искусство, роспись керамики и т. д. Каждый дипломник защищает выпускную квалификационную работу (ВКР), состоящую из станковой картины и прикладной части с использованием любой из освоенных техник. С предметом «Римская мозаика» учащийся знакомится на четвертом курсе. На выполнение небольшой авторской работы отводится 95 часов. Студент делает серию эскизов по темам на выбор: портрет, натюрморт, звери, птицы, рыбы. Самый удачный эскиз переносится в размер и отрисовывается. На этом этапе продумывается структура кладки и модульность будущей мозаики. Обращаясь к данной технике, ребята нередко увлекаются ею и выбирают ее для прикладной части своего диплома. В Академии имеется просторная мозаичная мастерская с большой цветовой палитрой смальты и мрамора. Тут можно найти весь необходимый инструмент для колки: молотки, щипцы, специальную гильотину. Здесь работают как студенты, так и мастера, выполняющие более сложные художественные задачи (в некотором роде происходит наглядное обучение). Ниже представлены работы, выполненные в технике римской мозаики и являющиеся прикладной частью выпускных квалификационных работ.
Современные системы автоматизации проектирования разрабатываются с использованием графических интерфейсов пользователя. Применение таких интерфейсов позволяет упростить и ускорить разработку устройств. В данной работе рассматривается проблема разработки алгоритмов визуализации, необходимых для создания инструмента графического проектирования цифровых интегральных схем на вентильном уровне. Предложена графовая модель представления схемы как основа для разработки алгоритмов. Рассмотрены алгоритмы размещения и трассировки, необходимые для построения графического представления схемы. Упомянутые алгоритмы реализованы в виде программного модуля на основе разработанной графовой модели. Представлены результаты работы программного модуля для некоторых схем из набора ISCAS’89.