Средства функциональной верификации компании Mentor Graphics
Исследование и верификация системы на архитектурном и алгоритмическом уровне. Аппаратная эмуляция, контроль эквивалентности. Аналоговое и смешанное моделирование систем на кристалле. Матрица конфигурации Questa, обобщенная структурная схема платформы.
Подобные документы
Необходимость создания моделируемой системы. Описание моделируемой системы и задание моделирования. Структурная схема модели системы. Блок–диаграмма. Текст программы. Описание текста программы. Результаты моделирования. Эксперимент, его результаты.
курсовая работа, добавлен 19.11.2007Структура лизинговой компании. Создание функциональной и информационной модели. Моделирование бизнес-процесса "Выполнить заказ клиента". Требование к техническому обеспечению и надежности системы. Состав ИБД лизинговой компании ООО "Лизинг–Трейд".
курсовая работа, добавлен 29.06.2014Создание функциональной структуры фирмы. Методологии проектирования информационных систем. Состав стандарта IDEF. Средства структурного системного анализа. Метод функционального моделирования SADT. Стратегии декомпозиции. Диаграмма потоков данных DFD.
презентация, добавлен 27.12.2013Моделирование арифметико-логического устройства для вычитания УДЦ для 18 разрядов. Операционная и аксиоматическая семантика команды ассемблера. Верификация линейного участка программы, участка, содержащего ветвления, цикла. Сети Петри для подпрограммы.
курсовая работа, добавлен 13.07.2012Анализ возможностей пакета MATLAB и его расширений. Язык программирования системы. Исследование выпрямительного устройства. Моделирование трёхфазного трансформатора. Схема принципиальная регулируемого конвертора. Возможности гибкой цифровой модели.
презентация, добавлен 22.10.2013Структурная схема модели системы и её описание. Временная диаграмма и Q-схема системы обмена пакетами данных, описание блоков моделирующего алгоритма. Сравнение результатов имитационного моделирования и аналитического расчёта характеристик системы.
курсовая работа, добавлен 03.07.2011Задачи теории массового обслуживания. Моделирование работы регулировочного участка цеха. Обобщенная схема моделирующего алгоритма. Краткая характеристика технологии реализации, особенности программирования. Описание функций программы и интерфейса.
курсовая работа, добавлен 15.06.2010Разработка на основе экономической информационной системы (на примере платформы "1С: Предприятие 8") конфигурации для учета продаж в студенческом киоске. Интеграция соответствующих прикладных решений (конфигураций) программы в универсальной рабочей среде.
курсовая работа, добавлен 21.06.2023Понятие и условие устойчивости бистабильной системы. Исследование модели "нагреватель - охлаждающая жидкость", построение фазового портрета стационарных состояний нагревателя. Компьютерное моделирование данной системы в пакете model vision studium.
курсовая работа, добавлен 07.06.2013Принципиальная и структурная схема системы стабилизации угловой скорости ДПТ. Критерий устойчивости Гурвица. Передаточная функция разомкнутой системы. Исследование САР в среде Simulink. Проверка расчетов с помощью моделирования системы в среде Matlab.
курсовая работа, добавлен 21.08.2012Понятие и характеристика основных систем электронных платежей, используемые методики и средства. Порядок и основные принципы создания соответствующей платформы. Главные показатели ее производительности, оценка значения на современном этапе и перспективы.
презентация, добавлен 30.05.2014Программное средство системного моделирования. Структурная схема модели системы, временная диаграмма и ее описание. Сравнение результатов имитационного моделирования и аналитического расчета характеристик. Описание машинной программы решения задачи.
курсовая работа, добавлен 28.06.2011- 38. SCADA система
Основные концепции автоматизированной системы управления технологическим процессом. Компоненты систем контроля и управления, их назначение. Программно-аппаратные платформы для SCADA-систем, их эксплуатационные характеристики. Графические средства InTouch.
реферат, добавлен 15.03.2014 Создание образа компании. Построение комплексной модели "AS IS". Разработка организационной, функциональной структуры и матрицы ответственности. Анализ бизнес-процессов и DFD-моделей. Построение комплексных моделей "TO BE" для бизнес-инжиниринга компании.
контрольная работа, добавлен 25.12.2015Анализ алгоритмов, оценка параметров алгоритма (эффективности, сложности, правильности). Комплексный анализ эффективности алгоритма на основе комплексной оценки ресурсов формальной системы. Верификация при коллективной разработке программных систем.
презентация, добавлен 22.10.2013Термины "логический" и "физический" как отражение различия аспектов представления данных. Методы доступа к записям в файлах. Структура систем управления базами данных. Отличительные особенности обработки данных, характерные для файловых систем и СУБД.
лекция, добавлен 19.08.2013Исследование структуры информационной системы промышленного предприятия. Сбор, обработка и представление первичной технологической информации. Основные понятия об измерении и измерительных приборах. Обобщенная схема информационно-измерительной системы.
презентация, добавлен 06.08.2013Нелинейности с симметричными характеристиками, их моделирование и фиксация на входе и выходе каждого звена средствами пакета Matlab. Изучение процессов в нелинейной системе с нелинейным элементом. Исследование систем методом гармонического баланса.
лабораторная работа, добавлен 06.07.2009Моделирование термодинамической системы с распределенными параметрами, случайных процессов и систем. Статистическое (имитационное) моделирование физических процессов, его результаты. Компьютерное моделирование систем управления с помощью пакета VisSim.
методичка, добавлен 24.10.2012Структурная схема процесса функционирования вычислительного центра. Моделирование процесса обслуживания ста пользователей. Оценка числа пользователей в очереди, коэффициента загрузки ЭВМ, вероятности отказа по причине отсутствия свободных мест в очереди.
курсовая работа, добавлен 25.06.2011Анализ популярности мобильных операционных систем в мире и России. Разработка структурно-функциональной модели. Реализация серверной и клиентской частей программы. Алгоритм поиска события в мобильном приложении. Тестирование программного обеспечения.
дипломная работа, добавлен 10.07.2017Применение численного метода решения систем линейных алгебраических уравнений, используемых в прикладных задачах. Составление на базе метода матрицы Гаусса вычислительной схемы алгоритма и разработка интерфейса программы на алгоритмическом языке.
курсовая работа, добавлен 19.06.2023Структурно-информационный анализ методов моделирования динамических систем. Математическое моделирование. Численные методы решения систем дифференциальных уравнений. Разработка структуры програмного комплекса для анализа динамики механических систем.
дипломная работа, добавлен 14.05.2010Создание математической модели системы массового обслуживания на примере банка. Разработка имитационной модели на языке программирования С++. Блок-схема программы, перевод модели на язык программирования. Верификация и валидация имитационной модели.
курсовая работа, добавлен 01.06.2015Основные подходы к решению проблем управления электронным документооборотом. Разработка информационной системы для работы с базой данных (БД). Проектирование логической структуры БД, программная реализация. Тестирование и отладка программного средства.
курсовая работа, добавлен 06.01.2013