Динамическая верификация цифровой аппаратуры на основе формальных спецификаций
Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
Подобные документы
- 76. Исследование и разработка метода алгебраического моделирования пространственных окрашенных объектов
Анализ компьютерных методов и моделей описаний и раскраски пространственных объектов. Исследование и разработка метода и основных алгоритмов алгебраического моделирования пространственных окрашенных объектов (ПОО), перспективной модели описания ПОО.
автореферат, добавлен 31.07.2018 Теоретические основы подготовки и реализации тестирования. Способ автоматизации проведения тестирования. Разработка в среде Delphi программы тестирования по предмету "Компьютерные сети". Прогрессивность использования тестирования как средства оценки знани
курсовая работа, добавлен 17.06.2010Разработка аналитических и процедурных моделей оценки сложности сетевых информационных систем. Обеспечение стабильности функционирования сетевых информационных систем на основе мониторинга сложности на примере региональной образовательной системы.
автореферат, добавлен 25.07.2018Анализ существующих программных агентов, описание инструментария. Языки программирования и платформы для создания программных агентов. Средства спецификаций типовых моделей. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 27.10.2016Физическое и математическое моделирование. Сравнение имитационной и аналитической моделей. Характеристика программных комплексов, которые позволяют проводить построение и исследование моделей. Возможности компьютерных симуляций. Выбор программы AnyLogic.
статья, добавлен 13.04.2022Трехмерная модель литого алюминиевого герметичного корпуса. Чертежи крышки и сборки детали. Сравнение систем автоматизированного проектирования конструкций электронной аппаратуры. Разработка трёхмерной модели конструкции блока и создание документации.
реферат, добавлен 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Проблемы организации документирования программных средств. Цикл поэтапного определения формирования совокупности спецификаций требований к компонентам и документации проекта. Реальные ограничения ресурсов, используемых в процессе его разработки.
реферат, добавлен 14.02.2015Прогноз популярности на основе признаков настроения и содержания видео. Способ прогнозирования популярности на основе сверточной сети с долгосрочной памятью. Предсказание славы видеоконтента на основе статистики видеоконтента c помощью нейронной сети.
дипломная работа, добавлен 19.08.2020Изучение и характеристика интеллектуальной информационной системы "Эйдос". Разработка методики оценки качества математических моделей систем искусственного интеллекта для классификации животных по внешним признакам на основе базы данных репозитария UCI.
статья, добавлен 14.05.2017- 97. О текстурных признаках в задаче сегментации аэрофотоснимков на основе матриц яркостной зависимости
Компьютерный анализ изображения как автоматическая обработка изображения, в процессе которой происходит определение и классификация расположенных на изображении объектов. Особенности метода текстурной сегментации изображения на основе построения.
статья, добавлен 08.03.2019 Описание языков веб-программирования, необходимых для решения поставленной задачи. Возможности использования языков программирования, синтаксис которых лежит в основе создания фрагмента программного обеспечения для автоматизированной обработки данных.
статья, добавлен 06.05.2018Разработка нового, теоретико-информационного критерия оптимальности решения задачи автоматического распознавания изображений на основе теоретико-вероятностной модели изображений. Реализация критерия в виде комплекса программ для проведения исследований.
автореферат, добавлен 01.05.2018Характеристика обобщенной структурной схемы передачи данных. Расчет основных параметров прямого и обратного каналов. Разработка и алгоритм функционирования передающей и приемной части. Выбор способа защиты от ошибок. Разработка функциональной схемы.
курсовая работа, добавлен 12.12.2014