Верификация визуализации изображений на электронно-лучевой трубке видеокадров протокола Fibre Channel на основе смешанного языкового описания в среде моделирования ModelSim
Изучение верификации проекта на стадии моделирования как одной из важнейших проблем при моделировании электронных систем, состоящих из цифровых и аналоговых модулей. Описание визуализации растрового изображения видеокадров протокола Fibre Channel.
Подобные документы
UML как язык визуального описания принципов работы программных продуктов, созданный для определения, визуализации, проектирования и документирования, в основном, программных систем. Плюсы и минусы языка моделирования, динамичное развитие и поддержка.
статья, добавлен 30.04.2019Ведущие системы моделирования. Постановка задачи визуализации результатов компьютерного моделирования процессов обработки металлов давлением. Способы задания цветов. Разработка алгоритмов визуализации. Использование среды разработки Visual C++.
курсовая работа, добавлен 05.07.2016Реализация 3d моделирования в среде AutoCad. Создание атрибутов. Проектирование в AutoCAD 3D модели детали с настройкой параметров визуализации. Проектирование масштабных многообразных строительных объектов. Настройка визуализации реального объекта.
курсовая работа, добавлен 26.05.2014Понятие жесткого диска, его характеристики и строение: гермозона, блок электроники. Принципы работы накопителей на жестких дисках. Причины перехода на увеличенный размер сектора. Интерфейсы SCSI, SAS, АТА, FireWire, SATA Revision, USB и Fibre Channel.
курсовая работа, добавлен 16.05.2016Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Характеристика способов и алгоритмов моделирования систем автоматического управления с помощью параллельных систем обработки информации. Ряд оптимизаций и моделей алгоритмов организации параллельных вычислений. Анализ процесса/канала (Process/Channel).
статья, добавлен 14.10.2018Анализ открытой модели представления знаний о ситуации, включающей понятийное и функциональное описание условия. Разработка человеко-машинного интерфейса построения и настройки моделей, визуализации, объяснения и интерпретации результатов моделирования.
автореферат, добавлен 27.09.2018Описание предшественников аналоговых и цифровых управляющих машин и средств моделирования процессов и систем - машины для централизованного контроля и аналоговых вычислительных машин. Рассмотрение их роли в истории систем автоматического управления.
курсовая работа, добавлен 10.05.2017Компьютер как программно-аппаратный комплекс обработки информации. Способы классификации архитектур аппаратных средств компьютера. Структурная схема ЭВМ. Устройство и функции жесткого диска. Получение растрового изображения в электронно-лучевой трубке.
реферат, добавлен 26.09.2012Основные методы, используемые при трехмерной визуализации реконструированных объектов. Объемный и поверхностный рендеринг. Примеры современных систем трехмерной визуализации. Рассмотрение алгоритма получения 3D-изображений в компьютерной томографии.
статья, добавлен 29.01.2019- 11. Метод визуализации патологических структур на маммограммах с использованием послойного наложения
Анализ основных этапов обработки медицинских радиологических изображений. Сущность алгоритма Канни и результаты его работы на реальных данных. Особенности метода визуализации на основе послойного наложения изображений, перспективы его применения.
статья, добавлен 22.03.2016 Этапы и требования к моделированию технических объектов и систем. Исследование программной среды Visual Simulator, предназначенной для визуализации расчетов и моделирования технологических процессов. Использование данной системы при каландровании шин.
статья, добавлен 25.02.2019Анализ визуализации проектируемых деталей с помощью 3D-моделирования. Применение комплексов программного моделирования для проектирования систем питания и управления жидкостных ракетных двигателей. Определение геометрических параметров камеры сгорания.
статья, добавлен 09.09.2021Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
статья, добавлен 19.01.2018Организация интеллектуального интерфейса с системами автоматизации проектирования. Интеграция лингвистической трансляции с онтологиями и средствами визуализации. Переход от онтологического описания конструкции до ее визуализации в графическом изображении.
реферат, добавлен 09.01.2016Математическое моделировании изображения и его количественные характеристики. Рассмотрение растрового изображения как бинарного дерева, его анализ на основе комбинированного критерия. Учет аргументов, который реализует алгоритм массовой селекции.
статья, добавлен 25.08.2020Программно-технологический комплекс обеспечения моделирования, использующий в качестве инструмента построения моделей и визуализации результатов L-системы (системы Линденмайера), его использование для моделирования социально-экономических процессов.
статья, добавлен 30.05.2017Постулаты BAN-логики. Правила и значения сообщения, проверки нонсов, полномочий. Анализ протокола аутентификации участников сеанса. Описание протокола аутентификации. Идеализация протокола, предположения о начальном состоянии. Формальный анализ протокола.
реферат, добавлен 15.09.2012- 19. Средства визуализации распространения света в задачах проектирования и анализа оптических систем
Принципы использования программных средств визуализации распространения света для эффективного анализа и проектирования сложных оптических систем. Понятие критерия распространения света, способы представления результата оптического моделирования.
статья, добавлен 28.10.2018 Роль компьютерного моделирования на отдельных этапах проектирования оптико-электронных систем. Требования, предъявляемые к программным средствам компьютерной модели оптико-электронных систем. Методика составления компьютерного описания системы.
статья, добавлен 17.11.2018Схема проверки и диагностики неисправностей цифровых электронных модулей, электронных компонентов. Метод исследования и проектирования оборудования для проверки и диагностики неисправностей цифровых электронных модулей с использованием продуктов Huntron.
статья, добавлен 13.01.2021Изучение проблемы визуализации жидких сред в компьютерной графике. Применение уравнений Навье-Стокса для задач нефотореалистичного рендеринга. Математическое моделирование поверхности бумаги. Использование метода Лагранжа для дискретной системы частиц.
курсовая работа, добавлен 14.11.2014Унифицированный графический язык моделирования для описания, визуализации, проектирования и документирования систем. Развернутая модель информационной системы: диаграммы прецедентов, последовательности и кооперации, деятельности и классов модели.
курсовая работа, добавлен 18.05.2015Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
статья, добавлен 28.10.2018Micali-Reyzin computational model. Target circuit and block cipher. Analysis of single point leakages. Towards the analysis of real constructions. Definition of security against side-channel attacks. The initialize a PRNG securely with a public seed.
статья, добавлен 15.09.2012