Аппаратное ускорение решения задач выполнимости для построения тестов цифровых схем
Обзор методологии решения задач выполнимостей аппаратной реализации в системах автоматизированного проектирования и искусственного интеллекта. Построение алгоритма локального стохастического поиска. Разработка конфигурирования программного средства.
Подобные документы
Расширение функционала систем автоматизированного проектирования, которые позволяют реализовать новые возможности. Поиск решения задач эффективного энергопотребления, детектирования проблемных зон, выявления нерациональной компоновки нагревателей.
статья, добавлен 07.03.2019Методы решения систем линейных уравнений. Разработка классов функций Matrix и Vector для решения простейших задач линейной алгебры, написание алгоритмов на языке Borland C++ для данных классов и ошибки, которые могут возникнуть при их использовании.
курсовая работа, добавлен 25.09.2014Изучение средств программирования для решения геометрических задач ассоциативного планирования целенаправленной деятельности. Идея Rete-алгоритма поиска близких ситуаций, основанного на компиляции описаний стереотипных ситуаций в сеть специального вида.
курсовая работа, добавлен 28.10.2018Понятие экспертных систем, как совместного результата научных дисциплин, изучающих методы решения задач искусственного интеллекта. Классификация электронных вычислительных машин. Обзор технологий, применяемых для пленочных интегральных микросхем.
учебное пособие, добавлен 06.10.2013Рассмотрение теории решения творческих задач. Изучение основных понятия и определений системы комплексной программы алгоритмизации. Классификация противоречий, логика и структура решения изобретательских задач. Пример решения задачи подводное крыло.
реферат, добавлен 21.03.2015Ознакомление с инструментами и методами решения маркшейдерско-геодезических задач. Рассмотрение основной идеи и возможностей программного обеспечения Surpac, предназначенного для проектирования цифровых объемных 3D-моделей капитальных горных выработок.
статья, добавлен 17.06.2018Средства описания алгоритмов решения математических задач. Интерфейс MathCAD 2001. Входной язык MathCAD 2001. Константы, переменные, векторы, матрицы, операторы. Решение уравнений и систем, построение графиков. Решение математических и физических задач.
курсовая работа, добавлен 15.02.2014Разработка программы расчёта резьбовых соединений с использованием средств визуального программирования. Ввод исходных данных, вывод расчетных параметров, описание алгоритма. Формирование изображения резьбовых соединений, построение чертежей в AutoCAD.
курсовая работа, добавлен 28.02.2019Разработка программного обеспечения для решения задач поиска кратчайшего пути между вершинами графа на языке программирования Delphi с помощью алгоритма Дейкстры. Достоинства динамических массивов, понятия теории графов, представление графов на ЭВМ.
курсовая работа, добавлен 07.06.2011Методика преобразования исходных данных тестовых задач для систем искусственного интеллекта. Использование стандартных возможностей интернет-браузера и программного интерфейса. Оценка качества математических моделей и систем искусственного интеллекта.
статья, добавлен 25.04.2017Изучение методологии, алгоритмов и инструментов систем автоматизированного проектирования в современном мире. Описание программ, предназначенных для автоматизации процессов проектирования и расчета электрических схем. Применение графических редакторов.
статья, добавлен 30.07.2018Преимущества и возможности Cuba Platform. Изучение алгоритма выполнения расчетов для формирования общих отчетов. Анализ предметной области и проектирование базы данных системы. Возможные пути и способы решения задач автоматизации гендерации отчетов.
дипломная работа, добавлен 07.08.2018Освоение специального инструментария MS Excel для решения оптимизационных задач. Основные типы задач оптимизации. Выбор методов экстраполяции и алгоритма оптимизации. Основные диапазоны, отведенные под переменные, целевую функцию и ограничения.
курсовая работа, добавлен 15.12.2014Практические аспекты математического моделирования механики деформирования упругого тела с учетом особенностей поведения составных тонкостенных конструкций. Разработка алгоритмов решения задач устойчивости и колебаний предварительно нагруженных панелей.
автореферат, добавлен 27.03.2018Гибридный модифицированный эволюционный алгоритм и перспективы его применения для решения задач многокритериальной оптимизации. Оценка эффективности многоточечности и полигамности, составляющими основу предложенного смешанного эволюционного метода.
статья, добавлен 28.04.2017Цель автоматизации комплекса задач автоматизированного рабочего места (АРМ) логиста. Экономическая и организационная сущность задачи, формализация ее решения. Таблица классификаторов и их структура в АРМ логиста. Описание компонентов проектного решения.
курсовая работа, добавлен 21.03.2013- 67. Исследование и разработка методов и средств обеспечения интероперабельности в облачных вычислениях
Основные понятия и аспекты проблемы интероперабельности в системах различных классов и масштабов. Методика, модель, средства и алгоритмы решения задач обеспечения интероперабельности систем на базе облачных вычислений. Разработка программного интерфейса.
автореферат, добавлен 29.10.2018 Рассмотрение методики и алгоритмов решения задач отраслевых информационных систем. Исследование автоматизированных процессов решения экономических задач в различных отраслях. Логическое (концептуальное) проектирование обеспечения паспортного стола.
дипломная работа, добавлен 01.10.2015Интеграция методов искусственного интеллекта и новые интеллектуальные технологии для решения задач управления и методов поддержки принятия управленческих решений. Основные факторы, влияющие на процессы информационного обмена, новая технология решения.
статья, добавлен 17.01.2018Разработка распределенного алгоритма для решения задачи поиска различий в графах с точки зрения изоморфизма. Применение алгоритма на примере поиска структурных различий в web-графах. Поиск взаимнооднозначного соответствия между вершинами двух графов.
статья, добавлен 30.04.2018Анализ особенностей системы Neural-Network-Driven Fuzzy Reasoning (NNDFR) и рассмотрение вариантов ее оптимизации. Разработка программного модуля для реализации алгоритма системы NNDFR. Применение системы для решения задач регрессионного прогнозирования.
дипломная работа, добавлен 30.08.2016Изучение экстремальных задач и разработка методов их решения. Решение задач математического программирования, в которых все или некоторые переменные должны принимать только целочисленные значения. Приведение системы ограничений к каноническому виду.
статья, добавлен 29.04.2018Изучение логических моделей представления образов. Комплексное исследование и характеристика тенденций и перспектив развития систем искусственного интеллекта, предназначенных для решения задач распознавания образов. Н. Винер и искусственный интеллект.
контрольная работа, добавлен 09.05.2012Этапы разработки гибридного алгоритма, объединяющего результаты решения алгоритмов с логическим и прецедентным способами представления информации. Оценка его качества обоснование эффективности программной технологии для решения комбинированных задач.
автореферат, добавлен 19.08.2018Исследование особенностей методов решения задач линейного программирования, транспортных и планирования производства. Разработка практического материала, иллюстрирующего анализ компьютерного решения в MS Excel и математического решения данных задач.
контрольная работа, добавлен 07.11.2016