Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
Подобные документы
Теоретические основы подготовки и реализации тестирования. Способ автоматизации проведения тестирования. Разработка в среде Delphi программы тестирования по предмету "Компьютерные сети". Прогрессивность использования тестирования как средства оценки знани
курсовая работа, добавлен 17.06.2010- 77. Исследование и разработка метода алгебраического моделирования пространственных окрашенных объектов
Анализ компьютерных методов и моделей описаний и раскраски пространственных объектов. Исследование и разработка метода и основных алгоритмов алгебраического моделирования пространственных окрашенных объектов (ПОО), перспективной модели описания ПОО.
автореферат, добавлен 31.07.2018 Разработка аналитических и процедурных моделей оценки сложности сетевых информационных систем. Обеспечение стабильности функционирования сетевых информационных систем на основе мониторинга сложности на примере региональной образовательной системы.
автореферат, добавлен 25.07.2018Физическое и математическое моделирование. Сравнение имитационной и аналитической моделей. Характеристика программных комплексов, которые позволяют проводить построение и исследование моделей. Возможности компьютерных симуляций. Выбор программы AnyLogic.
статья, добавлен 13.04.2022Анализ существующих программных агентов, описание инструментария. Языки программирования и платформы для создания программных агентов. Средства спецификаций типовых моделей. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 27.10.2016Трехмерная модель литого алюминиевого герметичного корпуса. Чертежи крышки и сборки детали. Сравнение систем автоматизированного проектирования конструкций электронной аппаратуры. Разработка трёхмерной модели конструкции блока и создание документации.
реферат, добавлен 07.12.2016Описание оценочного показателя заданий и тестов, основанного на одновременном учете сложности, качества, времени и выполнения задания. Согласование показателя с критерием оценки эффективности открытых экономических систем, особенности его использования.
статья, добавлен 14.01.2017- 83. Оценка структурной сложности программных средств в промышленности на ранних стадиях жизненного цикла
Алгоритм построения модели для оценки структурной сложности объектов программных средств. Разработка информационной системы интеллектуальной поддержки управленческих решений при планировании материальных и временных ресурсов для программных средств.
автореферат, добавлен 02.07.2018 Определение миссии сбора биометрических характеристик населения страны. Процесс автоматизированной идентификации и верификации субъектов персональных данных. Необходимость создания биометрических загранпаспортов. Порядок сканирования отпечатков пальцев.
реферат, добавлен 29.03.2014Классификация сервисного оборудования для диагностики, обслуживания и ремонта средств вычислительной техники. Разработка конструкции стенда для исследования сервисной аппаратуры. Организация производственного процесса диагностики ПК в НП АО "Электромаш".
дипломная работа, добавлен 29.06.2012Развитие программных агентов и средств из разработки. Средства спецификаций типовых моделей. Языки программирования и программные платформы для создания программных агентов. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 19.10.2016Исследование и разработка моделей, методов и средств совершенствования качества функционирования информационных систем. Разработка системы дескриптивной, математической и физической модели показателей качества и алгоритма исправления ошибок в задачах ИС.
автореферат, добавлен 13.02.2018Матрицы яркостной зависимости. Выбор размера матрицы яркостной зависимости (количество уровней серого). Исследование влияния количества эталонных уровней серого цвета, используемых для вычислений, на скорость и качество текстурной сегментации изображения.
статья, добавлен 08.03.2019- 89. Создание базы спецификаций форматов данных и их уточнение на основе анализа набора трасс программ
Разработка методов и компонентов модуля среды анализа бинарного кода, осуществляющий автоматизированное восстановление спецификаций формата данных по бинарным трассам программ, с возможностью выгрузки промежуточных результатов в хранилище форматов.
дипломная работа, добавлен 14.08.2020 Разработка алгоритма оценивания компетенций на основе результатов тестирования участников деловой игры. Архитектура "Студии компетентностных деловых игр". Статистических методы оценки результатов тестирования. Разработка модуля и архитектуры приложения.
дипломная работа, добавлен 01.08.2017Построение деревьев и графов принятия решений и исследование качества классификационных моделей на их основе. Повышение эффективности описательной и обобщающей способности по сравнению с классическим и нейросетевым алгоритмом на основе деревьев решений.
статья, добавлен 08.02.2022Исследование системы имитационного моделирования сетевого трафика и его оптимизации. Разработка динамических моделей фильтра на основе алгоритма маркерной корзины и мультиплексора, поддерживающего контроль качества сети. Параметры фильтров трафика.
статья, добавлен 08.03.2019Применение инвариантов в математике и программировании. Использование инварианта цикла в теории верификации программ для доказательства правильности результата, полученного циклическим алгоритмом. Проблема автоматического поиска инварианта цикла.
курсовая работа, добавлен 19.12.2015Прогноз популярности на основе признаков настроения и содержания видео. Способ прогнозирования популярности на основе сверточной сети с долгосрочной памятью. Предсказание славы видеоконтента на основе статистики видеоконтента c помощью нейронной сети.
дипломная работа, добавлен 19.08.2020Проблемы организации документирования программных средств. Цикл поэтапного определения формирования совокупности спецификаций требований к компонентам и документации проекта. Реальные ограничения ресурсов, используемых в процессе его разработки.
реферат, добавлен 14.02.2015Изучение и характеристика интеллектуальной информационной системы "Эйдос". Разработка методики оценки качества математических моделей систем искусственного интеллекта для классификации животных по внешним признакам на основе базы данных репозитария UCI.
статья, добавлен 14.05.2017- 97. О текстурных признаках в задаче сегментации аэрофотоснимков на основе матриц яркостной зависимости
Компьютерный анализ изображения как автоматическая обработка изображения, в процессе которой происходит определение и классификация расположенных на изображении объектов. Особенности метода текстурной сегментации изображения на основе построения.
статья, добавлен 08.03.2019 Описание языков веб-программирования, необходимых для решения поставленной задачи. Возможности использования языков программирования, синтаксис которых лежит в основе создания фрагмента программного обеспечения для автоматизированной обработки данных.
статья, добавлен 06.05.2018Разработка нового, теоретико-информационного критерия оптимальности решения задачи автоматического распознавания изображений на основе теоретико-вероятностной модели изображений. Реализация критерия в виде комплекса программ для проведения исследований.
автореферат, добавлен 01.05.2018Характеристика обобщенной структурной схемы передачи данных. Расчет основных параметров прямого и обратного каналов. Разработка и алгоритм функционирования передающей и приемной части. Выбор способа защиты от ошибок. Разработка функциональной схемы.
курсовая работа, добавлен 12.12.2014